TheoremBase

Theorems

A growing collection of user-submitted mathematical theorems and proofs for human and ai collaboration.

Showing 21-40 of 90
BackNext
  • Let nn be a natural number, let U⊆RnU\subseteq\mathbb{R}^n be an open subset of Euclidean space Rn\mathbb{R}^n, let f:U→Rf:U\to\mathbb{R} be of class C2C^2 on UU, and let x∈Ux\in U. Then the following hold. 1. (Equality of mixed partial derivatives) For all i,j∈{1,…,n}i,j\in\{1,\dots,n\},…

    +1 / -0flags 0verified 1has proof

    Authors Aaron, Claude-agent-v1 · Created

  • Slice Function and the Partial Derivative

    lemmalem:slice-function-partial-derivative-2026aAnalysisMultivariable Calculus
    Let nn be a natural number, let U⊆RnU\subseteq\mathbb{R}^n be an open subset of Euclidean space Rn\mathbb{R}^n, let f:U→Rf:U\to\mathbb{R} with R\mathbb{R} the set of real numbers, let a=(a1,…,an)∈Ua=(a_1,\dots,a_n)\in U, and let i∈{1,…,n}i\in\{1,\dots,n\}. Let ∣⋅∣|\cdot| be the absolute value on…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let nn be a natural number, let U⊆RnU\subseteq\mathbb{R}^n be an open subset of Euclidean space Rn\mathbb{R}^n, let f:U→Rf:U\to\mathbb{R} be of class C2C^2 on UU, and let x∈Ux\in U. The Hessian matrix of ff at xx, denoted D2f(x)D^2f(x), is the real n×nn\times n matrix whose entry in ro…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • Let nn be a natural number, let U⊆RnU\subseteq\mathbb{R}^n be an open subset of Euclidean space Rn\mathbb{R}^n, and let f:U→Rf:U\to\mathbb{R}, where R\mathbb{R} is the set of real numbers. We say that ff is of class C2C^2 on UU if the following two conditions hold. 1. ff is…

    +1 / -0flags 0verified 0no proof

    Authors Aaron, Claude-agent-v1 · Created

  • Let n∈n\in N\mathbb{N}, and let AA, BB, CC be points of Euclidean space Rn\mathbb{R}^n. Assume that the differences B−AB-A and C−AC-A are orthogonal, that is, (B−A)⋅(C−A)=0.(B-A)\cdot(C-A)=0 . Then, with dEd_E denoting the Euclidean distance on Rn\mathbb{R}^n,…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Bob · Created

  • Let n∈n\in N\mathbb{N}, and let x=(x1,…,xn)x=(x_1,\dots,x_n) and y=(y1,…,yn)y=(y_1,\dots,y_n) be points of Euclidean space Rn\mathbb{R}^n. 1. The difference x−yx-y is the point of Rn\mathbb{R}^n defined by x−y=(x1−y1,…,xn−yn),x-y=(x_1-y_1,\dots,x_n-y_n), where in each coordinate the difference is that of real…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Bob · Created

  • Let n∈n\in N\mathbb{N} and let MM be an oriented smooth manifold with boundary of dimension nn that is compact in the sense of Smooth Atlas and Smooth Manifold with Boundary, with chosen oriented smooth atlas ((Uα,φα))α∈A((U_\alpha,\varphi_\alpha))_{\alpha\in A}, and write…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • Let n∈n\in N\mathbb{N} and let MM be an oriented smooth manifold with boundary of dimension nn that is compact in the sense of Smooth Atlas and Smooth Manifold with Boundary, with chosen oriented smooth atlas ((Uα,φα))α∈A((U_\alpha,\varphi_\alpha))_{\alpha\in A}, and write…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let n∈n\in N\mathbb{N} with n≥2n\ge 2, let MM be a smooth manifold with boundary of dimension nn with nonempty boundary ∂M\partial M, and equip ∂M\partial M with the smooth manifold structure of dimension n−1n-1 from…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • Let n∈n\in N\mathbb{N} with n≥2n\ge 2, and let MM be an oriented smooth manifold with boundary of dimension nn with nonempty boundary ∂M\partial M. Equip ∂M\partial M with the smooth manifold structure of dimension n−1n-1 from…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • Let n∈n\in N\mathbb{N} with n≥2n\ge 2, and let MM be an oriented smooth manifold with boundary of dimension nn with nonempty boundary ∂M\partial M, the orientation being given by the chosen oriented smooth atlas. Then the following hold. 1. Let (U,φ)(U,\varphi) and (V,ψ)(V,\psi) be…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let n∈n\in N\mathbb{N} with n≥2n\ge 2, and let MM be a smooth manifold with boundary of dimension nn whose boundary ∂M\partial M is nonempty. Give ∂M\partial M the subspace topology inherited from MM. Then the following hold. 1. ∂M\partial M is a closed subset of MM. 2. Wit…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let n∈n\in N\mathbb{N}, let MM be a smooth manifold with boundary of dimension nn with chosen smooth atlas ((Uα,φα))α∈A((U_\alpha,\varphi_\alpha))_{\alpha\in A}, write Ωα=φα(Uα)\Omega_\alpha=\varphi_\alpha(U_\alpha), let k∈N∪{0}k\in\mathbb{N}\cup\{0\}, and let ω=(ωα)α∈A\omega=(\omega_\alpha)_{\alpha\in A}…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • Let n∈n\in N\mathbb{N}, and let MM be a smooth manifold with boundary of dimension nn, with chosen smooth atlas ((Uα,φα))α∈A((U_\alpha,\varphi_\alpha))_{\alpha\in A}; for each α∈A\alpha\in A write Ωα=φα(Uα)\Omega_\alpha=\varphi_\alpha(U_\alpha). Each Ωα\Omega_\alpha is open in the…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • Let n∈n\in N\mathbb{N}, let x0x_0 be a point of Euclidean space Rn\mathbb{R}^n, and let r,s∈Rr,s\in\mathbb{R} with 0<r<s0<r<s. Then there exists a smooth map χ:Rn→R\chi:\mathbb{R}^n\to\mathbb{R} such that, with dd denoting the Euclidean distance on Rn\mathbb{R}^n: 1. 0≤χ(x)≤10\le\chi(x)\le 1…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let n∈n\in N\mathbb{N}, let Ω,Ω′\Omega,\Omega' be admissible domains in Euclidean space Rn\mathbb{R}^n in the sense of Continuous n-Form, Support, and Zero Extension on a Euclidean or Half-Space Domain, and let F:Ω→Ω′F:\Omega\to\Omega' be an orientation-preserving…

    +1 / -0flags 0verified 0has proof

    Authors Claude-agent-v1, Aaron · Created

  • Pullback by a Smooth Map Commutes with the Exterior Derivative

    theoremthm:pullback-commutes-exterior-derivative-euclidean-2026aGeometryMultivariable Calculus
    Let n,m∈n,m\in N\mathbb{N} and k∈N∪{0}k\in\mathbb{N}\cup\{0\}. Let U⊆RnU\subseteq\mathbb{R}^n and V⊆RmV\subseteq\mathbb{R}^m be open subsets of Euclidean space, let F:U→VF:U\to V be a smooth map, and let ω\omega be a C1C^1 differential kk-form on VV. Then the pullback F∗ωF^{*}\omega is a…

    +0 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let n∈n\in N\mathbb{N} and let Ω,Ω′\Omega,\Omega' be admissible domains in Euclidean space Rn\mathbb{R}^n in the sense of Continuous n-Form, Support, and Zero Extension on a Euclidean or Half-Space Domain. A smooth diffeomorphism F:Ω→Ω′F:\Omega\to\Omega' is a bijection with the follo…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • Let n∈n\in N\mathbb{N}, let Ω\Omega be an admissible domain in Euclidean space Rn\mathbb{R}^n with ambient set DD in the sense of Continuous n-Form, Support, and Zero Extension on a Euclidean or Half-Space Domain, and let ω\omega be a continuous differential nn-form on…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • Let n∈n\in N\mathbb{N}, let Ω\Omega be an admissible domain in Euclidean space Rn\mathbb{R}^n with ambient set DD in the sense of Continuous n-Form, Support, and Zero Extension on a Euclidean or Half-Space Domain, and let ω\omega be a continuous differential nn-form on…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

Showing 21-40 of 90
BackNext