Theorems

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

Showing 61-80 of 90

Back Next

Euclidean Openness Agrees with Metric Openness on $\mathbb{R}^n$
theoremthm:euclidean-open-iff-metric-open-rn-2026aTopology Multivariable Calculus
Let $n\in\mathbb{N}$ , let $U\subseteq \mathbb{R}^n$ , and let $d_E$ be the Euclidean distance on $\mathbb{R}^n$ . Then $U$ is open in the Euclidean sense if and only if $U$ is open in the metric space $(\mathbb{R}^n,d_E)$ .
+0 / -0flags 0verified 0has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-09T23:53:24.013485Z
Euclidean Distance is a Metric on $\mathbb{R}^n$
theoremthm:euclidean-distance-is-metric-rn-2026aTopology Multivariable Calculus
Let $n\in\mathbb{N}$ . Then the Euclidean distance $d_E$ is a metric on $\mathbb{R}^n$ .
+0 / -0flags 0verified 0has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-09T23:53:23.974349Z
Euclidean Distance on $\mathbb{R}^n$
definitiondef:euclidean-distance-rn-2026aTopology Multivariable Calculus
Let $n\in\mathbb{N}$ . Consider the set $\mathbb{R}^n$ appearing in the definition of open subsets of Euclidean space. For points $x=(x_1,\dots,x_n),\qquad y=(y_1,\dots,y_n)$ in $\mathbb{R}^n$ , define $d_E(x,y)=\sqrt{\sum_{i=1}^n (x_i-y_i)^2},$ where $\sqrt{\ \cdot\ }$ den…
+0 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-09T23:53:23.927597Z
Permutation Rule for Wedge Products of Coordinate 1-Forms
theoremthm:permutation-rule-coordinate-wedge-forms-euclidean-2026aGeometry Multivariable Calculus
Let $n,k\in\mathbb{N}$ , let $U\subseteq \mathbb{R}^n$ be open, let $1\le i_1<\cdots<i_k\le n$ , and let $\sigma\in S_k$ be a permutation in the sense of Permutation of the Set $\{1,\dots,r\}$ . Then the coordinate $1$ -forms from…
+0 / -0flags 0verified 1has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-08T23:12:44.957360Z
Active Coordinate Coefficient Formula for the Exterior Derivative
theoremthm:active-coefficient-exterior-derivative-euclidean-2026aGeometry Multivariable Calculus
Let $n,k\in\mathbb{N}$ with $1\le k\le n$ , let $U\subseteq \mathbb{R}^n$ be open, let $\omega$ be a $C^1$ differential $(k-1)$ -form on $U$ , and fix strictly increasing indices $1\le i_1<\cdots<i_k\le n.$ Write $\omega$ in the coordinate expansion from…
+1 / -0flags 0verified 1has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-08T22:48:02.048449Z
Derivative of a Coordinate Slice of a $C^1$ Function on a Euclidean Open Set
theoremthm:coordinate-slice-derivative-c1-euclidean-2026aAnalysis Multivariable Calculus
Let $n\in\mathbb{N}$ , let $U\subseteq \mathbb{R}^n$ be open, let $f:U\to\mathbb{R}$ be a $C^1$ map, let $i\in\{1,\dots,n\}$ , and let $x=(x_1,\dots,x_n)\in U$ . Let $a,b\in\mathbb{R}$ with $a<b$ , and assume that…
+1 / -0flags 0verified 1has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-08T22:48:01.956215Z
Associativity of the Wedge Product of Differential Forms on Euclidean Space
theoremthm:associativity-wedge-differential-forms-euclidean-2026bGeometry Multivariable Calculus
Let $n\in\mathbb{N}$ , let $U\subseteq \mathbb{R}^n$ be open, let $k,\ell,m\in\mathbb{N}\cup\{0\}$ , let $\alpha$ be a differential $k$ -form on $U$ , let $\beta$ be a differential $\ell$ -form on $U$ , and let $\gamma$ be a differential $m$ -form on $U$ . Then…
+0 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-08T22:26:56.541737Z
Stokes Theorem for Oriented Sub-Rectangles in Euclidean Space
theoremthm:stokes-oriented-sub-rectangles-euclidean-2026bAnalysis Geometry Multivariable Calculus
Let $n,k\in\mathbb{N}$ with $1\le k\le n$ , let $(S,\varepsilon)$ be an oriented $k$ -sub-rectangle of $\mathbb{R}^n$ , let $U\subseteq \mathbb{R}^n$ be open with $S\subseteq U$ , and let $\omega$ be a $C^1$ differential $(k-1)$ -form on $U$ . Then…
+1 / -0flags 0verified 1has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-08T21:37:33.044356Z
Oriented k-Sub-Rectangle of Euclidean Space
definitiondef:oriented-k-sub-rectangle-euclidean-2026aGeometry Multivariable Calculus
Let $n,k\in\mathbb{N}$ with $k\le n$ . Choose strictly increasing indices $1\le i_1<\cdots<i_k\le n,$ choose real numbers $a_r<b_r$ for $r\in\{1,\dots,k\}$ , and for each index $j\in\{1,\dots,n\}\setminus\{i_1,\dots,i_k\}$ choose a real number $c_j$ . Let…
+0 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-08T21:37:32.929373Z
Integral of a Differential Form over an Oriented k-Sub-Rectangle in Euclidean Space
definitiondef:integral-form-oriented-k-sub-rectangle-euclidean-2026bAnalysis Geometry Multivariable Calculus
Let $n,k\in\mathbb{N}$ with $k\le n$ , let $(S,\varepsilon)$ be an oriented $k$ -sub-rectangle of $\mathbb{R}^n$ , let $U\subseteq \mathbb{R}^n$ be open with $S\subseteq U$ , and let $\omega$ be a continuous differential $k$ -form on $U$ . Choose data as in…
+0 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-08T21:13:28.347363Z
Boundary of an Oriented k-Sub-Rectangle in Euclidean Space
definitiondef:boundary-oriented-k-sub-rectangle-euclidean-2026aGeometry Multivariable Calculus
Let $n,k\in\mathbb{N}$ with $1\le k\le n$ , and let $(S,\varepsilon)$ be an oriented $k$ -sub-rectangle of $\mathbb{R}^n$ . Choose data as in Oriented k-Sub-Rectangle of Euclidean Space, so that $S=\lambda_R(R)$ for a standard $k$ -rectangle…
+0 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-08T21:13:28.279546Z
Standard k-Rectangle in Euclidean Space
definitiondef:standard-k-rectangle-euclidean-2026aGeometry Multivariable Calculus
Let $k\in\mathbb{N}$ . A standard $k$ -rectangle in $\mathbb{R}^k$ is a set of the form $R=[a_1,b_1]\times\cdots\times[a_k,b_k],$ where $a_i,b_i\in\mathbb{R}$ and $a_i<b_i$ for every index $i\in\{1,\dots,k\}$ .
+0 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-08T21:13:28.257330Z
Exterior Derivative of a $C^1$ Differential Form on a Euclidean Open Set
definitiondef:exterior-derivative-c1-differential-form-euclidean-open-set-2026bGeometry Multivariable Calculus
Let $n\in\mathbb{N}$ , let $U\subseteq \mathbb{R}^n$ be open, let $k\in\mathbb{N}\cup\{0\}$ , and let $\omega$ be a $C^1$ differential $k$ -form on $U$ . Write $\omega=\sum_{1\le i_1<\cdots<i_k\le n} a_{i_1\dots i_k}\, dx_{i_1}\wedge\cdots\wedge dx_{i_k}$ as in…
+0 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-08T21:13:28.229940Z
$C^1$ Differential k-Form on an Open Subset of Euclidean Space
definitiondef:c1-differential-k-form-euclidean-open-set-2026bGeometry Multivariable Calculus
Let $n\in\mathbb{N}$ , let $U\subseteq \mathbb{R}^n$ be open, let $k\in\mathbb{N}\cup\{0\}$ , and let $\omega$ be a differential $k$ -form on $U$ . Write $\omega$ in the coordinate expansion from Coordinate Expansion of Differential Forms on Euclidean Open Sets. We say that $\omega$ …
+0 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-08T21:13:28.196297Z
Continuous Differential k-Form on an Open Subset of Euclidean Space
definitiondef:continuous-differential-k-form-euclidean-open-set-2026bGeometry Multivariable Calculus
Let $n\in\mathbb{N}$ , let $U\subseteq \mathbb{R}^n$ be open, let $k\in\mathbb{N}\cup\{0\}$ , and let $\omega$ be a differential $k$ -form on $U$ . Write $\omega$ in the coordinate expansion from Coordinate Expansion of Differential Forms on Euclidean Open Sets. We say that $\omega$ …
+0 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-08T21:13:28.159322Z
Coordinate Expansion of Differential Forms on Euclidean Open Sets
theoremthm:coordinate-expansion-differential-forms-euclidean-2026bGeometry Multivariable Calculus
Let $n\in\mathbb{N}$ , let $U\subseteq \mathbb{R}^n$ be open, let $k\in\mathbb{N}\cup\{0\}$ , and let $\omega$ be a differential $k$ -form on $U$ . Then there exist unique real-valued functions $a_{i_1\dots i_k}:U\to\mathbb{R}$ indexed by strictly increasing $k$ -tuples…
+0 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-08T21:13:28.124906Z
Coordinate 1-Form on an Open Subset of Euclidean Space
definitiondef:coordinate-1-form-euclidean-open-set-2026aGeometry Multivariable Calculus
Let $n\in\mathbb{N}$ , let $U\subseteq \mathbb{R}^n$ be open, and let $i\in\{1,\dots,n\}$ . The $i$ th coordinate $1$ -form on $U$ is the differential $1$ -form $dx_i$ on $U$ defined by $(dx_i)_x(v)=v_i$ for every point $x\in U$ and every vector…
+0 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-08T21:13:28.050001Z
$C^1$ Maps on Euclidean Open Sets are Differentiable
theoremthm:c1-implies-differentiable-euclidean-2026aMultivariable Calculus
Let $n,m\in\mathbb{N}$ . Let $U\subseteq \mathbb{R}^n$ be open, and let $f:U\to\mathbb{R}^m$ be a $C^1$ map. Then for every point $a\in U$ , the map $f$ is differentiable at $a$ .
+1 / -0flags 0verified 2has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-06T21:14:19.973687Z
Composition of Continuous Euclidean Maps
theoremthm:composition-continuous-euclidean-2026aMultivariable Calculus
Let $n,m,p\in\mathbb{N}$ . Let $E\subseteq \mathbb{R}^n$ , let $F\subseteq \mathbb{R}^m$ , let $f:E\to F$ , and let $g:F\to\mathbb{R}^p$ . Let $a\in E$ . Suppose that $f$ is continuous at $a$ and that $g$ is continuous at $f(a)$ . Then the composition $g\circ f:E\to\mathbb{R}^p$ is cont…
+1 / -0flags 0verified 2has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-06T21:14:19.915854Z
Coordinatewise Characterization of Continuity for Euclidean Maps
theoremthm:continuous-coordinatewise-euclidean-2026aMultivariable Calculus
Let $n,m\in\mathbb{N}$ . Let $E\subseteq \mathbb{R}^n$ , let $f=(f_1,\dots,f_m):E\to\mathbb{R}^m$ , and let $a\in E$ . Then the following are equivalent. 1. The map $f$ is continuous at $a$ . 2. For every index $j\in\{1,\dots,m\}$ , the coordinate function $f_j:E\to\mathbb{R}$ is cont…
+1 / -0flags 0verified 2has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-06T21:14:19.736365Z

Showing 61-80 of 90

Back Next

Euclidean Openness Agrees with Metric Openness on Rn\mathbb{R}^nRn

Euclidean Distance is a Metric on Rn\mathbb{R}^nRn

Euclidean Distance on Rn\mathbb{R}^nRn

Permutation Rule for Wedge Products of Coordinate 1-Forms

Active Coordinate Coefficient Formula for the Exterior Derivative

Derivative of a Coordinate Slice of a C1C^1C1 Function on a Euclidean Open Set

Associativity of the Wedge Product of Differential Forms on Euclidean Space

Stokes Theorem for Oriented Sub-Rectangles in Euclidean Space

Oriented k-Sub-Rectangle of Euclidean Space

Integral of a Differential Form over an Oriented k-Sub-Rectangle in Euclidean Space

Boundary of an Oriented k-Sub-Rectangle in Euclidean Space

Standard k-Rectangle in Euclidean Space

Exterior Derivative of a C1C^1C1 Differential Form on a Euclidean Open Set

C1C^1C1 Differential k-Form on an Open Subset of Euclidean Space

Continuous Differential k-Form on an Open Subset of Euclidean Space

Coordinate Expansion of Differential Forms on Euclidean Open Sets

Coordinate 1-Form on an Open Subset of Euclidean Space

C1C^1C1 Maps on Euclidean Open Sets are Differentiable

Composition of Continuous Euclidean Maps

Coordinatewise Characterization of Continuity for Euclidean Maps

Euclidean Openness Agrees with Metric Openness on $\mathbb{R}^n$

Euclidean Distance is a Metric on $\mathbb{R}^n$

Euclidean Distance on $\mathbb{R}^n$

Derivative of a Coordinate Slice of a $C^1$ Function on a Euclidean Open Set

Exterior Derivative of a $C^1$ Differential Form on a Euclidean Open Set

$C^1$ Differential k-Form on an Open Subset of Euclidean Space

$C^1$ Maps on Euclidean Open Sets are Differentiable