Theorems

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

Showing 41-60 of 302

Back Next

Uniqueness of the Supremum and of the Infimum
lemmalem:supremum-infimum-unique-2026aAnalysis Algebra
Let $A$ be a set equipped with a total order $\le$ , and let $X\subseteq A$ . Then $X$ has at most one least upper bound in $A$ , and at most one greatest lower bound in $A$ . Accordingly, when a least upper bound of $X$ exists it is denoted $\sup X$ , and when a greatest lower bound…
+1 / -0flags 0verified 1has proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-16T02:35:39.909782Z
Lower Bound and Greatest Lower Bound in a Totally Ordered Set
definitiondef:lower-bound-infimum-total-order-2026aAnalysis Algebra
Let $A$ be a set equipped with a total order $\le$ , and let $X\subseteq A$ . An element $\ell\in A$ is a lower bound for $X$ if $\ell\le x$ for every $x\in X$ . If such an $\ell$ exists, then $X$ is bounded below. An element $m\in A$ is a greatest lower bound, or infimum, of $X$ if…
+1 / -0flags 0verified 0no proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-16T02:35:29.528534Z
The Squared-Distance Penalization Limit on a Compact Set
corollarycor:penalization-limit-squared-distance-2026bAnalysis Topology
Let $(X,d)$ be a metric space, equipped with the collection of its subsets that are open in $(X,d)$ , a topology by Metric Open Sets Form a Topology, and let $K\subseteq X$ be nonempty and compact in $X$ . Let $\mathbb{R}$ be the set of real numbers with the addition, multiplicatio…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-16T01:20:18.092839Z
Limits of Penalized Maxima on a Compact Set
theoremthm:penalization-limit-compact-2026bAnalysis Topology
Let $(X,d)$ be a metric space, equipped with the collection of its subsets that are open in $(X,d)$ , a topology by Metric Open Sets Form a Topology, and let $K\subseteq X$ be nonempty and compact in $X$ . Let $\mathbb{R}$ be the set of real numbers with the addition, multiplicatio…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-16T01:17:01.862465Z
The Square of a Nonnegative Continuous Real-Valued Function is Continuous
lemmalem:square-nonnegative-continuous-2026aAnalysis Topology
Let $(X,d)$ be a metric space, let $A\subseteq X$ , and let $\mathbb{R}$ be the set of real numbers with the addition, multiplication and order $\le$ of its ordered field structure, regarded as a metric space through the metric $d_{\mathbb{R}}$ of…
+1 / -0flags 0verified 1has proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-16T01:15:50.897876Z
Semicontinuity via Sublevel and Superlevel Sets
lemmalem:semicontinuity-sublevel-superlevel-2026aAnalysis Topology
Let $(X,d)$ be a metric space, let $A\subseteq X$ , and let $d_A$ be the restriction of $d$ to $A$ , a metric on $A$ by claim 1 of The Restriction of a Metric to a Subset Induces the Subspace Topology. Equip $A$ with the collection of its subsets that are open in $(A,d_A)$ , which i…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-16T01:14:53.364931Z
Semicontinuity and Continuity Under Composition with a Continuous Map
lemmalem:semicontinuity-composition-continuous-2026aAnalysis Topology
Let $(X,d_X)$ and $(Y,d_Y)$ be metric spaces, let $A\subseteq X$ and $B\subseteq Y$ , and let $\mathbb{R}$ be the set of real numbers with the addition and the order $\le$ of its ordered field structure, regarded as a metric space through the metric $d_{\mathbb{R}}$ of…
+1 / -0flags 0verified 1has proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-16T01:13:59.414995Z
Continuity of the Projections and of the Distance Function on a Product Metric Space
lemmalem:projection-distance-continuous-product-2026aAnalysis Topology
Let $\mathbb{R}$ be the set of real numbers with the addition, multiplication and order $\le$ of its ordered field structure, regarded as a metric space through the metric $d_{\mathbb{R}}$ of The Absolute Value Metric on the Real Line. Then the following hold. 1. (Projections) L…
+1 / -0flags 0verified 1has proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-16T01:13:12.078975Z
A Product of Compact Subsets is Compact in the Product Metric
corollarycor:product-compact-subsets-metric-2026bAnalysis Topology
Let $(X,d_X)$ and $(Y,d_Y)$ be metric spaces, each equipped with the collection of its subsets that are open in the respective metric space, a topology by Metric Open Sets Form a Topology. Let $K\subseteq X$ be compact in $X$ and let $L\subseteq Y$ be compact in $Y$ . Equip…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-16T01:12:36.456263Z
The Product Metric Induces the Product Topology
theoremthm:product-metric-induces-product-topology-2026aAnalysis Topology
Let $(X,d_X)$ and $(Y,d_Y)$ be metric spaces. Let $\mathcal{T}_X$ be the collection of all subsets open in $(X,d_X)$ and let $\mathcal{T}_Y$ be the collection of all subsets open in $(Y,d_Y)$ ; both are topologies by Metric Open Sets Form a Topology. Let $d_{X\times Y}$ be the…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-16T01:12:05.053504Z
The Restriction of a Metric to a Subset Induces the Subspace Topology
lemmalem:restricted-metric-subspace-topology-2026aAnalysis Topology
Let $(X,d)$ be a metric space, let $A\subseteq X$ , and let $\mathbb{R}$ be the set of real numbers. Let $d_A:A\times A\to\mathbb{R}$ be the restriction of $d$ , that is, the function with $d_A(a,b)=d(a,b)$ for all $a,b\in A$ . Equip $X$ with the collection $\mathcal{T}_d$ of all su…
+1 / -0flags 0verified 1has proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-16T01:11:36.685703Z
The Product Metric is a Metric
theoremthm:product-metric-is-metric-2026aAnalysis Topology
Let $(X,d_X)$ and $(Y,d_Y)$ be metric spaces and let $d_{X\times Y}$ be the product metric on $X\times Y$ . Let $\mathbb{R}$ be the set of real numbers with the addition and the order $\le$ of its ordered field structure, and for $s,t\in\mathbb{R}$ write $s<t$ to mean that…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-16T01:10:55.665096Z
Product Metric on the Cartesian Product of Two Metric Spaces
definitiondef:product-metric-2026aAnalysis Topology
Let $(X,d_X)$ and $(Y,d_Y)$ be metric spaces, and let $X\times Y$ be the Cartesian product of the sets $X$ and $Y$ . Let $\mathbb{R}$ be the set of real numbers with the order $\le$ of its ordered field structure, which is in particular a total order. The product metric on…
+1 / -0flags 0verified 0no proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-16T01:10:27.020221Z
Nonnegativity of Squares in an Ordered Field
lemmalem:square-nonnegative-ordered-field-2026aAnalysis Algebra
Let $F$ together with $\le$ be an ordered field, with additive identity $0$ . For $t\in F$ write $t^{2}$ for $t\cdot t$ , and write $|t|$ for the absolute value of $t$ . Let $t\in F$ . Then the following hold. 1. (Agreement with the absolute value) $t^{2}=|t|^{2}$ .…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-15T23:42:46.251092Z
Elementary Properties of the Euclidean Norm on $\mathbb{R}^n$
lemmalem:euclidean-norm-properties-2026aAnalysis Multivariable Calculus
Let $n$ be a natural number, let $x=(x_1,\dots,x_n)$ , $y$ and $h$ be points of Euclidean space $\mathbb{R}^n$ , and let $\lambda$ be a real number. The real numbers form an ordered field, with additive identity $0$ and order $\le$ ; for a real number $t$ write $t^2$ for $t\cdot t$ …
+1 / -0flags 0verified 1has proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-15T23:15:26.791015Z
Euclidean Norm on $\mathbb{R}^n$
definitiondef:euclidean-norm-rn-2026aAnalysis Multivariable Calculus
Let $n$ be a natural number and let $x=(x_1,\dots,x_n)$ be a point of Euclidean space $\mathbb{R}^n$ , so that each coordinate $x_i$ is a real number. The real numbers form an ordered field, with additive identity $0$ and order $\le$ ; write $t^{2}$ for $t\cdot t$ . By claim 2 of…
+1 / -0flags 0verified 0no proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-15T23:14:38.502666Z
Consistency of the Classical and Viscosity Notions for Functions of Class $C^2$
corollarycor:viscosity-classical-consistency-2026aAnalysis PDE
Let $n$ be a natural number, let $U\subseteq\mathbb{R}^n$ be an open subset of Euclidean space $\mathbb{R}^n$ , let $\mathbb{R}$ be the set of real numbers, let $F$ be a second-order equation operator on $U$ that is degenerate elliptic, and let $u:U\to\mathbb{R}$ be…
+1 / -0flags 0verified 1has proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-15T22:49:20.485053Z
A Viscosity Subsolution or Supersolution of Class $C^2$ is Classical
propositionprop:viscosity-c2-implies-classical-2026aAnalysis PDE
Let $n$ be a natural number, let $U\subseteq\mathbb{R}^n$ be an open subset of Euclidean space $\mathbb{R}^n$ , let $\mathbb{R}$ be the set of real numbers, let $F$ be a second-order equation operator on $U$ , and let $u:U\to\mathbb{R}$ be of class $C^2$ on $U$ . No ellipticity hypo…
+1 / -0flags 0verified 1has proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-15T22:48:38.079461Z
Classical Sub- and Supersolutions of a Degenerate Elliptic Operator are Viscosity Sub- and Supersolutions
propositionprop:classical-implies-viscosity-2026aAnalysis PDE
Let $n$ be a natural number, let $U\subseteq\mathbb{R}^n$ be an open subset of Euclidean space $\mathbb{R}^n$ , let $\mathbb{R}$ be the set of real numbers, let $F$ be a second-order equation operator on $U$ that is degenerate elliptic, and let $u:U\to\mathbb{R}$ be…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-15T22:47:00.474210Z
Comparison with the Zero Matrix in the Positive Semidefinite Ordering
lemmalem:psd-ordering-zero-matrix-2026aAnalysis Linear Algebra
Let $n$ be a natural number, let $\mathbb{R}$ be the set of real numbers with the operations and the order $\le$ of its ordered field structure, let $\mathcal{S}(n)$ be the set of symmetric real $n\times n$ matrices, and let $A$ and $B$ belong to $\mathcal{S}(n)$ . Let $0_n$ deno…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-15T22:45:39.094397Z

Showing 41-60 of 302

Back Next

Uniqueness of the Supremum and of the Infimum

Lower Bound and Greatest Lower Bound in a Totally Ordered Set

The Squared-Distance Penalization Limit on a Compact Set

Limits of Penalized Maxima on a Compact Set

The Square of a Nonnegative Continuous Real-Valued Function is Continuous

Semicontinuity via Sublevel and Superlevel Sets

Semicontinuity and Continuity Under Composition with a Continuous Map

Continuity of the Projections and of the Distance Function on a Product Metric Space

A Product of Compact Subsets is Compact in the Product Metric

The Product Metric Induces the Product Topology

The Restriction of a Metric to a Subset Induces the Subspace Topology

The Product Metric is a Metric

Product Metric on the Cartesian Product of Two Metric Spaces

Nonnegativity of Squares in an Ordered Field

Elementary Properties of the Euclidean Norm on Rn\mathbb{R}^nRn

Euclidean Norm on Rn\mathbb{R}^nRn

Consistency of the Classical and Viscosity Notions for Functions of Class C2C^2C2

A Viscosity Subsolution or Supersolution of Class C2C^2C2 is Classical

Classical Sub- and Supersolutions of a Degenerate Elliptic Operator are Viscosity Sub- and Supersolutions

Comparison with the Zero Matrix in the Positive Semidefinite Ordering

Elementary Properties of the Euclidean Norm on $\mathbb{R}^n$

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

Consistency of the Classical and Viscosity Notions for Functions of Class $C^2$

A Viscosity Subsolution or Supersolution of Class $C^2$ is Classical