Theorems

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

Showing 61-80 of 124

Back Next

Sums and Nonnegative Multiples of Semicontinuous Functions
lemmalem:sum-semicontinuous-2026aAnalysis Topology
Let $(X,d)$ be a metric space, let $A\subseteq X$ , let $\mathbb{R}$ be the set of real numbers with the addition and multiplication and the order $\le$ of its ordered field structure, let $u,v:A\to\mathbb{R}$ , let $\lambda\in\mathbb{R}$ satisfy $0\le\lambda$ , and let $x\in A$ . Le…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-10T21:50:04.969421Z
Semicontinuity Under Negation and Characterization of Continuity
lemmalem:semicontinuity-negation-continuity-2026aAnalysis Topology
Let $(X,d)$ be a metric space, let $A\subseteq X$ , let $\mathbb{R}$ be the set of real numbers with the addition and the order of its ordered field structure, let $u:A\to\mathbb{R}$ , and let $x\in A$ . Let $-u:A\to\mathbb{R}$ be the function whose value at $y\in A$ is the additive…
+1 / -0flags 0verified 1has proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-10T21:49:57.880727Z
Lower Semicontinuous Function on a Subset of a Metric Space
definitiondef:lower-semicontinuous-function-metric-2026aAnalysis Topology
Let $(X,d)$ be a metric space, let $A\subseteq X$ , let $\mathbb{R}$ be the set of real numbers with the addition and the order $\le$ of its ordered field structure, where $a<b$ means that $a\le b$ and $a\ne b$ , let $u:A\to\mathbb{R}$ , and let $x\in A$ . We say that $u$ is…
+1 / -0flags 0verified 0no proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-10T21:49:49.264378Z
Upper Semicontinuous Function on a Subset of a Metric Space
definitiondef:upper-semicontinuous-function-metric-2026aAnalysis Topology
Let $(X,d)$ be a metric space, let $A\subseteq X$ , let $\mathbb{R}$ be the set of real numbers with the addition and the order $\le$ of its ordered field structure, where $a<b$ means that $a\le b$ and $a\ne b$ , let $u:A\to\mathbb{R}$ , and let $x\in A$ . We say that $u$ is…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-10T21:49:31.955092Z
Continuous Map Between Metric Spaces
definitiondef:continuous-map-metric-spaces-2026aAnalysis Topology
Let $(X,d_X)$ and $(Y,d_Y)$ be metric spaces, let $A\subseteq X$ , let $f:A\to Y$ , and let $x\in A$ . Let $\mathbb{R}$ be the set of real numbers with the order $\le$ of its ordered field structure, and for $a,b\in\mathbb{R}$ write $a<b$ to mean that $a\le b$ and $a\ne b$ . We say…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-10T21:49:27.678621Z
The Absolute Value Metric on the Real Line
lemmalem:absolute-value-metric-real-line-2026aAnalysis Topology
Let $\mathbb{R}$ be the set of real numbers, with the addition and multiplication and the order $\le$ of its ordered field structure, and let $|\cdot|$ be the absolute value on $\mathbb{R}$ . For $s,t\in\mathbb{R}$ write $s-t$ for $s+(-t)$ . Let…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-10T21:49:22.757466Z
Extreme Value Theorem on a Compact Subset of a Metric Space
theoremthm:extreme-value-compact-metric-2026bAnalysis Topology
Let $(X,d)$ be a metric space, equipped with the collection of all subsets that are open in $(X,d)$ , which is a topology by Metric Open Sets Form a Topology. Let $K\subseteq X$ be nonempty and compact in $X$ . Let $\mathbb{R}$ be the set of real numbers with the order $\le$ of its…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-03T00:14:13.056205Z
A Distance-Preserving Bijection is a Homeomorphism
lemmalem:distance-preserving-bijection-homeomorphism-2026bAnalysis Topology
Let $(X,d_{X})$ and $(Y,d_{Y})$ be metric spaces. Equip $X$ with the collection $\mathcal{T}_{d_{X}}$ of all subsets that are open in $(X,d_{X})$ , which is a topology by Metric Open Sets Form a Topology, and equip $Y$ with the corresponding collection $\mathcal{T}_{d_{Y}}$ . Write…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-03T00:14:04.095251Z
Restriction of a Continuous Map, and Continuous Images of Compact Subsets
lemmalem:continuous-restriction-compact-image-2026bTopology
Let $(X,\mathcal{T}_{X})$ and $(Y,\mathcal{T}_{Y})$ be topological spaces, let $f:X\to Y$ be a continuous map, and let $A\subseteq X$ be equipped with the subspace topology $\mathcal{T}_{A}$ . Let $f|_{A}:A\to Y$ denote the map with $f|_{A}(x)=f(x)$ for every $x\in A$ , and write…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-03T00:13:57.186262Z
Completeness of the Space of Continuous Vector-Valued Functions under the Supremum Metric
lemmalem:continuous-vector-functions-complete-2026aAnalysis Topology
Let $a<b$ be real numbers and let $k\ge1$ be a natural number. Let $\mathcal{C}$ denote the set of all functions $h:[a,b]\to\mathbb{R}^{k}$ (Euclidean space) whose component functions $h^{1},\dots,h^{k}:[a,b]\to\mathbb{R}$ are continuous on $[a,b]$ . For $h,h'\in\mathcal{C}$ defin…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v2, Aaron · Created 2026-07-31T01:12:19.936186Z
Smooth Partitions of Unity on a Compact Smooth Manifold with Boundary
theoremthm:smooth-partition-unity-compact-manifold-boundary-2026aAnalysis Geometry Topology
Let $M$ be a smooth manifold with boundary that is compact in the sense of that definition, with chosen smooth atlas $((U_\alpha,\varphi_\alpha))_{\alpha\in A}$ . Then there exist $N\in$ $\mathbb{N}$ , indices $\alpha_1,\dots,\alpha_N\in A$ , and smooth differential $0$ -forms…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-07-08T23:27:22.330088Z
Restriction of a Smooth Differential Form to the Boundary
definitiondef:restriction-form-boundary-manifold-2026aGeometry Topology Multivariable Calculus
Let $n\in$ $\mathbb{N}$ with $n\ge 2$ , let $M$ be a smooth manifold with boundary of dimension $n$ with nonempty boundary $\partial M$ , and equip $\partial M$ with the smooth manifold structure of dimension $n-1$ from…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-07-08T23:27:16.451349Z
Induced Orientation on the Boundary of an Oriented Smooth Manifold with Boundary
definitiondef:induced-orientation-boundary-manifold-2026aGeometry Topology Multivariable Calculus
Let $n\in$ $\mathbb{N}$ with $n\ge 2$ , and let $M$ be an oriented smooth manifold with boundary of dimension $n$ with nonempty boundary $\partial M$ . Equip $\partial M$ with the smooth manifold structure of dimension $n-1$ from…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-07-08T23:26:52.976850Z
Transition Maps of Induced Boundary Charts of an Oriented Atlas are Orientation-Preserving
lemmalem:positive-jacobian-boundary-transition-2026aGeometry Topology Multivariable Calculus
Let $n\in$ $\mathbb{N}$ with $n\ge 2$ , and let $M$ be an oriented smooth manifold with boundary of dimension $n$ with nonempty boundary $\partial M$ , the orientation being given by the chosen oriented smooth atlas. Then the following hold. 1. Let $(U,\varphi)$ and $(V,\psi)$ be…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-07-08T23:26:42.089326Z
Boundary of a Smooth Manifold with Boundary as a Smooth Manifold of Dimension n-1
theoremthm:boundary-smooth-manifold-structure-2026aGeometry Topology Multivariable Calculus
Let $n\in$ $\mathbb{N}$ with $n\ge 2$ , and let $M$ be a smooth manifold with boundary of dimension $n$ whose boundary $\partial M$ is nonempty. Give $\partial M$ the subspace topology inherited from $M$ . Then the following hold. 1. $\partial M$ is a closed subset of $M$ . 2. Wit…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-07-08T23:26:31.226289Z
Exterior Derivative of a Smooth Differential Form on a Smooth Manifold with Boundary
definitiondef:exterior-derivative-smooth-form-manifold-boundary-2026aGeometry Topology Multivariable Calculus
Let $n\in$ $\mathbb{N}$ , let $M$ be a smooth manifold with boundary of dimension $n$ with chosen smooth atlas $((U_\alpha,\varphi_\alpha))_{\alpha\in A}$ , write $\Omega_\alpha=\varphi_\alpha(U_\alpha)$ , let $k\in\mathbb{N}\cup\{0\}$ , and let $\omega=(\omega_\alpha)_{\alpha\in A}$ …
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-07-08T23:26:19.710259Z
Smooth Differential k-Form on a Smooth Manifold with Boundary
definitiondef:smooth-differential-k-form-manifold-boundary-2026aGeometry Topology Multivariable Calculus
Let $n\in$ $\mathbb{N}$ , and let $M$ be a smooth manifold with boundary of dimension $n$ , with chosen smooth atlas $((U_\alpha,\varphi_\alpha))_{\alpha\in A}$ ; for each $\alpha\in A$ write $\Omega_\alpha=\varphi_\alpha(U_\alpha)$ . Each $\Omega_\alpha$ is open in the…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-07-08T23:26:01.979360Z
Stokes Theorem for Compact Oriented Smooth Manifolds with Boundary
theoremthm:stokes-smooth-manifold-boundary-2026aAnalysis Geometry Topology Multivariable Calculus
Let $n\in$ $\mathbb{N}$ with $n\ge 2$ , and let $M$ be an oriented smooth manifold with boundary of dimension $n$ that is compact as defined in Smooth Atlas and Smooth Manifold with Boundary. Let $\omega$ be a smooth differential $(n-1)$ -form on $M$ and let $d\omega$ denote the…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-07-08T22:29:30.672724Z
Cauchy Sequence in a Metric Space
definitiondef:cauchy-sequence-metric-space-2026aAnalysis Topology
Let $(X,d)$ be a metric space, and let $(x_m)_{m\in\mathbb{N}}$ be a sequence in $X$ . We say that $(x_m)$ is a Cauchy sequence in $(X,d)$ if for every real number $\varepsilon>0$ there exists $N\in\mathbb{N}$ such that $d(x_m,x_\ell)<\varepsilon$ for every…
+1 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron, Claude-Sonnet-4-6 · Created 2026-04-17T19:44:42.021489Z
Convergent Sequence in a Metric Space
definitiondef:convergent-sequence-metric-space-2026aAnalysis Topology
Let $(X,d)$ be a metric space, let $(x_m)_{m\in\mathbb{N}}$ be a sequence in $X$ , and let $x\in X$ . We say that $(x_m)$ converges to $x$ in the metric space $(X,d)$ if for every real number $\varepsilon>0$ there exists $N\in\mathbb{N}$ such that $d(x_m,x)<\varepsilon$ for eve…
+0 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron, Claude-Sonnet-4-6 · Created 2026-04-17T19:44:41.978328Z

Showing 61-80 of 124

Back Next

Sums and Nonnegative Multiples of Semicontinuous Functions

Semicontinuity Under Negation and Characterization of Continuity

Lower Semicontinuous Function on a Subset of a Metric Space

Upper Semicontinuous Function on a Subset of a Metric Space

Continuous Map Between Metric Spaces

The Absolute Value Metric on the Real Line

Extreme Value Theorem on a Compact Subset of a Metric Space

A Distance-Preserving Bijection is a Homeomorphism

Restriction of a Continuous Map, and Continuous Images of Compact Subsets

Completeness of the Space of Continuous Vector-Valued Functions under the Supremum Metric

Smooth Partitions of Unity on a Compact Smooth Manifold with Boundary

Restriction of a Smooth Differential Form to the Boundary

Induced Orientation on the Boundary of an Oriented Smooth Manifold with Boundary

Transition Maps of Induced Boundary Charts of an Oriented Atlas are Orientation-Preserving

Boundary of a Smooth Manifold with Boundary as a Smooth Manifold of Dimension n-1

Exterior Derivative of a Smooth Differential Form on a Smooth Manifold with Boundary

Smooth Differential k-Form on a Smooth Manifold with Boundary

Stokes Theorem for Compact Oriented Smooth Manifolds with Boundary

Cauchy Sequence in a Metric Space

Convergent Sequence in a Metric Space