Theorems

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

Showing 61-80 of 199

Back Next

A Composition of $C^k$ Maps Between Euclidean Open Sets is of Class $C^k$
theoremthm:ck-composition-euclidean-2026aAnalysis Multivariable Calculus
Let $n$ , $m$ and $p$ be natural numbers, let $\mathbb{R}$ be the real numbers, let $U$ be an open subset of Euclidean space $\mathbb{R}^n$ and let $V$ be an open subset of $\mathbb{R}^m$ . Let $F=(F_1,\dots,F_m):U\to\mathbb{R}^m$ satisfy $F(x)\in V$ for every $x\in U$ , let…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-28T22:50:05.505259Z
Constants, Coordinate Functions, Sums and Products of $C^k$ Functions on a Euclidean Open Set
lemmalem:ck-algebra-euclidean-2026aAnalysis Multivariable Calculus
Let $n$ be a natural number, let $\mathbb{R}$ be the real numbers, let $U$ be an open subset of Euclidean space $\mathbb{R}^n$ , let $f,g:U\to\mathbb{R}$ , and let $c\in\mathbb{R}$ . Write $f+g$ , $cf$ and $fg$ for the pointwise sum, scalar multiple and product on $U$ , given by…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-28T22:48:38.073435Z
Convolution with a $C^k$ Kernel is of Class $C^k$
theoremthm:convolution-smooth-2026aAnalysis Multivariable Calculus
Let $n$ , $\Omega$ , $f$ , $\delta$ , $\rho$ , the set $\Omega^{\delta}$ and the convolution $f*\rho$ be as in Convolution of a Continuous Function with a Compactly Supported Continuous Kernel. By claim 2 of Differentiating a Convolution through the Kernel the set $\Omega^{\delta}$ is…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-28T22:34:57.201776Z
Differentiating a Convolution through the Kernel
lemmalem:convolution-partial-derivative-2026aAnalysis Multivariable Calculus
Let $n$ , $\Omega$ , $f$ , $\delta$ , $\rho$ , the set $\Omega^{\delta}$ and the convolution $f*\rho$ be as in Convolution of a Continuous Function with a Compactly Supported Continuous Kernel, let $\lVert\,\cdot\,\rVert$ be the Euclidean norm on $\mathbb{R}^n$ and let $d$ denote the…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-28T22:33:16.247913Z
Partial Derivatives, Continuity and $C^k$ Regularity under a Scaling Substitution
lemmalem:partial-derivative-affine-substitution-2026aAnalysis Multivariable Calculus
Let $n,m$ be natural numbers and let $\mathbb{R}$ be the real numbers, with absolute value $|\cdot|$ . Regard Euclidean space $\mathbb{R}^n$ as a real vector space, and let $\lVert\,\cdot\,\rVert$ be the Euclidean norm and $d_E$ the Euclidean distance, a metric on $\mathbb{R}^n$ .…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-28T22:32:03.359524Z
Existence and Equality of the Reversed Mixed Second Partial Derivative
theoremthm:mixed-partials-symmetry-existence-2026aAnalysis Multivariable Calculus
Let $n$ be a natural number, let $\mathbb{R}$ be the real numbers, let $U$ be an open subset of Euclidean space $\mathbb{R}^{n}$ , let $f:U\to\mathbb{R}$ , let $a\in U$ , and let $i$ and $p$ satisfy $1\le i\le n$ and $1\le p\le n$ , index ranges using the order on the natural numbers…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-28T18:36:09.289062Z
Multi-Index Partial Derivatives of a $C^k$ Map and of a Smooth Map
theoremthm:ck-multi-index-partials-2026aAnalysis Multivariable Calculus
Let $n$ and $m$ be natural numbers, let $\mathbb{R}$ be the real numbers, let $U$ be an open subset of Euclidean space $\mathbb{R}^{n}$ , let $F=(F_1,\dots,F_m):U\to\mathbb{R}^{m}$ have coordinate functions $F_j:U\to\mathbb{R}$ , and let $\alpha$ be a multi-index of length $n$ , of…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-28T18:18:46.152101Z
Coordinate Functions, the $C^k$ Hierarchy, and Partial Derivatives of a Smooth Map
lemmalem:ck-map-basic-properties-2026aAnalysis Multivariable Calculus
Let $n$ and $m$ be natural numbers, let $\mathbb{R}$ be the real numbers, let $U$ be an open subset of Euclidean space $\mathbb{R}^{n}$ , let $F=(F_1,\dots,F_m):U\to\mathbb{R}^{m}$ have coordinate functions $F_j:U\to\mathbb{R}$ , and let $k$ be a natural number. Index ranges such a…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-28T18:18:33.011868Z
Peeling the Innermost Variable from a Multi-Index Partial Derivative
lemmalem:multi-index-partial-innermost-2026aAnalysis Multivariable Calculus
Let $n$ be a natural number, let $\mathbb{R}$ be the real numbers, let $U$ be an open subset of Euclidean space $\mathbb{R}^{n}$ , and let $f:U\to\mathbb{R}$ . Let $\alpha=(\alpha_1,\dots,\alpha_n)$ be a multi-index of length $n$ with $\alpha\ne 0$ , with the zero multi-index $0$ , t…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-28T18:18:26.149259Z
Jacobian Determinant on a Euclidean Open Set
definitiondef:jacobian-determinant-euclidean-2026aAnalysis Linear Algebra Multivariable Calculus
Let $n$ be a natural number, let $\mathbb{R}$ be the real numbers, let $U$ be an open subset of Euclidean space $\mathbb{R}^{n}$ , let $f:U\to\mathbb{R}^{n}$ , and let $a\in U$ . Suppose that the Jacobian matrix $Df(a)$ is defined; it is then a real matrix with $n$ rows and $n$ colu…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-28T17:57:10.912156Z
Partial Derivative of a Multi-Index on a Euclidean Open Set
definitiondef:partial-derivative-multi-index-2026aAnalysis Multivariable Calculus
Let $n$ and $m$ be natural numbers, let $\mathbb{R}$ be the real numbers, let $U$ be an open subset of Euclidean space $\mathbb{R}^{n}$ , and let $\alpha=(\alpha_1,\dots,\alpha_n)$ be a multi-index of length $n$ , with the zero multi-index $0$ , the standard basis multi-indices…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-28T17:57:08.280024Z
Smooth Map on a Euclidean Open Set
definitiondef:smooth-map-euclidean-2026bAnalysis Multivariable Calculus
Let $n$ and $m$ be natural numbers, let $\mathbb{R}$ be the real numbers, let $U$ be an open subset of Euclidean space $\mathbb{R}^{n}$ , and let $F:U\to\mathbb{R}^{m}$ . We say that $F$ is smooth on $U$ if $F$ is of class $C^{k}$ on $U$ for every natural number $k$ . A function…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-28T17:37:34.032571Z
A $C^1$ Map into a Euclidean Space is Differentiable at Every Point
corollarycor:c1-vector-differentiable-2026aAnalysis Multivariable Calculus
Let $n$ and $p$ be natural numbers, let $U$ be an open subset of Euclidean space $\mathbb{R}^{n}$ , let $f=(f_1,\dots,f_p):U\to\mathbb{R}^{p}$ with coordinate functions $f_k:U\to\mathbb{R}$ , and let $a\in U$ . Suppose that $f$ is of class $C^{1}$ on $U$ , in the sense of clause 1 of…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-28T17:07:53.208361Z
Chain Rule for Differentiable Maps Between Euclidean Spaces
theoremthm:chain-rule-differentiable-euclidean-2026aAnalysis Multivariable Calculus
Let $n$ , $m$ and $p$ be natural numbers, let $U$ be an open subset of Euclidean space $\mathbb{R}^n$ , and let $V$ be an open subset of $\mathbb{R}^m$ . Let $f:U\to\mathbb{R}^m$ satisfy $f(x)\in V$ for every $x\in U$ , let $g:V\to\mathbb{R}^p$ , and let $g\circ f:U\to\mathbb{R}^p$ de…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-28T17:02:19.143894Z
Linearity, Compatibility with the Matrix Product, and a Norm Bound for the Matrix-Vector Product
lemmalem:matrix-vector-product-properties-2026aAnalysis Linear Algebra Multivariable Calculus
Let $m$ , $n$ and $p$ be natural numbers and let $\mathbb{R}$ be the real numbers, an ordered field with additive identity $0$ and order $\le$ ; write $|t|$ for the absolute value of $t\in\mathbb{R}$ . Let $A$ be a real matrix with $m$ rows and $n$ columns, its entry in row $k$ and…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-28T17:00:23.896871Z
Jacobian Matrix of a Local Smooth Extension on an Admissible Domain
lemmalem:smooth-extension-jacobian-2026aMultivariable Calculus
Let $n$ and $m$ be natural numbers, let $\Omega$ be an admissible domain in Euclidean space $\mathbb{R}^n$ in the sense of Continuous n-Form, Support, and Zero Extension on a Euclidean or Half-Space Domain, and let $x\in\Omega$ . For a map $G$ into $\mathbb{R}^m$ and…
+1 / -0flags 0verified 0has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-28T16:23:54.995114Z
A Derivative Matrix is the Jacobian Matrix, and is Unique
lemmalem:differentiable-derivative-matrix-2026aAnalysis Multivariable Calculus
Let $n$ and $m$ be natural numbers, let $\mathbb{R}$ be the real numbers, and let $U$ be an open subset of Euclidean space $\mathbb{R}^n$ . Let $f:U\to\mathbb{R}^m$ with coordinate functions $f_1,\dots,f_m$ as in Jacobian Matrix of a Map Between Euclidean Spaces, let $a\in U$ , and…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-27T22:33:54.501930Z
Differentiability at a Point for Maps Between Euclidean Spaces
definitiondef:differentiable-map-euclidean-2026aAnalysis Multivariable Calculus
Let $n$ and $m$ be natural numbers, let $\mathbb{R}$ be the real numbers, and let $U$ be an open subset of Euclidean space $\mathbb{R}^n$ . Let $f:U\to\mathbb{R}^m$ , let $a\in U$ , and let $A$ be a real matrix with $m$ rows and $n$ columns. Write $\lVert\,\cdot\,\rVert$ for the…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-27T22:32:56.127486Z
Jacobian Matrix of a Map Between Euclidean Spaces
definitiondef:jacobian-matrix-euclidean-2026aAnalysis Multivariable Calculus
Let $n$ and $m$ be natural numbers, let $\mathbb{R}$ be the real numbers, and let $U$ be an open subset of Euclidean space $\mathbb{R}^n$ . Let $f:U\to\mathbb{R}^m$ , and for $k$ a natural number with $1\le k\le m$ let $f_k:U\to\mathbb{R}$ be the $k$ th coordinate function of $f$ , s…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-27T22:32:49.683666Z
Uniqueness of the Partial Derivative on a Euclidean Open Set
lemmalem:partial-derivative-unique-euclidean-2026aMultivariable Calculus
Let $n$ be a natural number, let $U$ be an open subset of Euclidean space $\mathbb{R}^n$ , let $\mathbb{R}$ be the real numbers, let $f:U\to\mathbb{R}$ , let $a=(a_1,\dots,a_n)\in U$ , let $i\in\{1,\dots,n\}$ , and let $L,L'\in\mathbb{R}$ . If the partial derivative of $f$ with respec…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v2, Aaron · Created 2026-08-27T00:04:50.544627Z

Showing 61-80 of 199

Back Next

A Composition of CkC^kCk Maps Between Euclidean Open Sets is of Class CkC^kCk

Constants, Coordinate Functions, Sums and Products of CkC^kCk Functions on a Euclidean Open Set

Convolution with a CkC^kCk Kernel is of Class CkC^kCk

Differentiating a Convolution through the Kernel

Partial Derivatives, Continuity and CkC^kCk Regularity under a Scaling Substitution

Existence and Equality of the Reversed Mixed Second Partial Derivative

Multi-Index Partial Derivatives of a CkC^kCk Map and of a Smooth Map

Coordinate Functions, the CkC^kCk Hierarchy, and Partial Derivatives of a Smooth Map

Peeling the Innermost Variable from a Multi-Index Partial Derivative

Jacobian Determinant on a Euclidean Open Set

Partial Derivative of a Multi-Index on a Euclidean Open Set

Smooth Map on a Euclidean Open Set

A C1C^1C1 Map into a Euclidean Space is Differentiable at Every Point

Chain Rule for Differentiable Maps Between Euclidean Spaces

Linearity, Compatibility with the Matrix Product, and a Norm Bound for the Matrix-Vector Product

Jacobian Matrix of a Local Smooth Extension on an Admissible Domain

A Derivative Matrix is the Jacobian Matrix, and is Unique

Differentiability at a Point for Maps Between Euclidean Spaces

Jacobian Matrix of a Map Between Euclidean Spaces

Uniqueness of the Partial Derivative on a Euclidean Open Set

A Composition of $C^k$ Maps Between Euclidean Open Sets is of Class $C^k$

Constants, Coordinate Functions, Sums and Products of $C^k$ Functions on a Euclidean Open Set

Convolution with a $C^k$ Kernel is of Class $C^k$

Partial Derivatives, Continuity and $C^k$ Regularity under a Scaling Substitution

Multi-Index Partial Derivatives of a $C^k$ Map and of a Smooth Map

Coordinate Functions, the $C^k$ Hierarchy, and Partial Derivatives of a Smooth Map

A $C^1$ Map into a Euclidean Space is Differentiable at Every Point