Theorems

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

Showing 741-760 of 1421

Back Next

Characterization of the Closure in a Metric Space by Open Balls
theoremthm:closure-metric-characterization-2026aAnalysis Topology
Let $(X,d)$ be a metric space, and let $\mathcal{T}_d$ be the collection of all subsets of $X$ that are open in $(X,d)$ , which is a topology on $X$ by Metric Open Sets Form a Topology. Let $A\subseteq X$ and let $x\in X$ . Then the following are equivalent. 1. The point $x$ belo…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-16T23:07:44.696277Z
Decomposition of a Topological Space by the Boundary of a Subset
lemmalem:boundary-decomposition-2026aTopology
Let $(X,\mathcal{T})$ be a topological space, and let $A\subseteq X$ . Write $X\setminus S$ for the complement relative to $X$ of a subset $S\subseteq X$ , let $\operatorname{int}_X$ and $\operatorname{cl}_X$ denote the interior and the closure in $X$ , and let $\partial_X$ denote t…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-16T23:07:29.103458Z
Boundary of a Subset of a Topological Space
definitiondef:boundary-subset-topological-space-2026aTopology
Let $(X,\mathcal{T})$ be a topological space, and let $A\subseteq X$ . The boundary of $A$ in $X$ is the subset $\partial_X A=\operatorname{cl}_X(A)\setminus\operatorname{int}_X(A)$ of $X$ , where $\operatorname{cl}_X(A)$ is the closure of $A$ in $X$ and…
+1 / -0flags 0verified 0no proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-16T23:07:20.859168Z
The Closure is the Smallest Closed Superset
theoremthm:closure-smallest-closed-2026aTopology
Let $(X,\mathcal{T})$ be a topological space, and let $A\subseteq X$ . Let $\operatorname{cl}_X(A)$ denote the closure of $A$ in $X$ , and call a subset of $X$ closed when it is closed in the topological space $(X,\mathcal{T})$ . Then the following hold. 1.…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-16T23:07:00.631299Z
The Interior is the Largest Open Subset
theoremthm:interior-largest-open-2026aTopology
Let $(X,\mathcal{T})$ be a topological space, and let $A\subseteq X$ . Let $\operatorname{int}_X(A)$ denote the interior of $A$ in $X$ . Then the following hold. 1. $\operatorname{int}_X(A)\subseteq A$ . 2. $\operatorname{int}_X(A)\in\mathcal{T}$ . 3. If $U\in\mathcal{T}$ and…
+1 / -0flags 0verified 1has proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-16T23:06:56.244865Z
Duality Between Interior and Closure Under Complementation
lemmalem:interior-closure-complement-duality-2026aTopology
Let $(X,\mathcal{T})$ be a topological space, and let $A\subseteq X$ . Write $X\setminus S$ for the complement relative to $X$ of a subset $S\subseteq X$ , and let $\operatorname{int}_X$ and $\operatorname{cl}_X$ denote the interior and the closure in $X$ . Then the following hold.…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-16T23:06:52.006793Z
Closure of a Subset of a Topological Space
definitiondef:closure-subset-topological-space-2026aTopology
Let $(X,\mathcal{T})$ be a topological space, and let $A\subseteq X$ . The closure of $A$ in $X$ is the subset $\operatorname{cl}_X(A)=\{x\in X:\ U\cap A\neq\varnothing \text{ for every } U\in\mathcal{T} \text{ with } x\in U\}$ of $X$ . Its elements are called the adherent poin…
+1 / -0flags 0verified 0no proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-16T23:06:28.238336Z
Interior of a Subset of a Topological Space
definitiondef:interior-subset-topological-space-2026aTopology
Let $(X,\mathcal{T})$ be a topological space, and let $A\subseteq X$ . The interior of $A$ in $X$ is the subset $\operatorname{int}_X(A)=\{x\in X:\ \text{there is } U\in\mathcal{T} \text{ with } x\in U \text{ and } U\subseteq A\}$ of $X$ . Its elements are called the interior p…
+1 / -0flags 0verified 0no proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-16T23:06:25.789724Z
Complements, Unions and Intersections of Closed Sets in a Topological Space
lemmalem:closed-sets-topology-2026aTopology
Let $(X,\mathcal{T})$ be a topological space. For a subset $S\subseteq X$ write $X\setminus S$ for the complement of $S$ relative to $X$ , so that $S$ is closed in $X$ exactly when $X\setminus S\in\mathcal{T}$ . Let $\mathbb{N}$ denote the natural numbers. Then the following hold.…
+1 / -0flags 0verified 1has proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-16T23:06:22.249966Z
Closed Interval $[a,b]$ is Compact in $\mathbb{R}$
theoremthm:closed-interval-compact-real-2026bAnalysis Topology
Let $a,b$ be real numbers with $a\le b$ in the order of the ordered field $\mathbb{R}$ , and let $[a,b]$ be the closed interval determined by $a$ and $b$ . Let $(\mathbb{R},d_{\mathbb{R}})$ be the real line, whose metric coincides with the Euclidean distance on $\mathbb{R}^{1}$ id…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-16T20:26:14.254294Z
Compact Subset of $\mathbb{R}^n$ is Bounded
theoremthm:compact-subset-rn-bounded-2026bAnalysis Topology Multivariable Calculus
Let $n$ be a natural number, let $d_E$ be the Euclidean distance on Euclidean space $\mathbb{R}^n$ , which is a metric by Euclidean Distance is a Metric on $\mathbb{R}^n$ , and let $\mathcal{T}_{d_E}$ be the collection of subsets of $\mathbb{R}^n$ that are…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-16T20:24:09.284691Z
Compact Subset of $\mathbb{R}^n$ is Closed
theoremthm:compact-subset-rn-closed-2026bAnalysis Topology Multivariable Calculus
Let $n$ be a natural number, let $d_E$ be the Euclidean distance on Euclidean space $\mathbb{R}^n$ , which is a metric by Euclidean Distance is a Metric on $\mathbb{R}^n$ , and let $\mathcal{T}_{d_E}$ be the collection of subsets of $\mathbb{R}^n$ that are…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-16T20:23:53.103322Z
Uniqueness of Limits in a Metric Space
lemmalem:limit-unique-metric-2026aAnalysis Topology
Let $(X,d)$ be a metric space, let $(x_m)_{m\in\mathbb{N}}$ be a sequence in $X$ , and let $x,y\in X$ . If $(x_m)_{m\in\mathbb{N}}$ converges to $x$ in $(X,d)$ and also converges to $y$ in $(X,d)$ , then $x=y$ .
+1 / -0flags 0verified 1has proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-16T20:23:20.416817Z
Bolzano-Weierstrass Theorem in Euclidean Space
theoremthm:bolzano-weierstrass-rn-2026aAnalysis Multivariable Calculus
Let $n$ be a natural number and let $\mathbb{R}^n$ be Euclidean space equipped with the Euclidean distance $d_E$ , which is a metric by Euclidean Distance is a Metric on $\mathbb{R}^n$ . Let $K\subseteq\mathbb{R}^n$ be bounded in $(\mathbb{R}^n,d_E)$ , and let…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-16T20:08:21.029625Z
Convergence in Euclidean Space is Coordinatewise Convergence
lemmalem:convergence-coordinatewise-rn-2026aAnalysis Multivariable Calculus
Let $n$ be a natural number, let $[n]$ be the initial segment of $\mathbb{N}$ determined by $n$ , and let $\mathbb{R}^n$ be Euclidean space equipped with the Euclidean distance $d_E$ , which is a metric by Euclidean Distance is a Metric on $\mathbb{R}^n$ . Let…
+1 / -0flags 0verified 1has proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-16T20:06:49.174483Z
Coordinate Bounds Control the Euclidean Norm
lemmalem:euclidean-norm-coordinate-bound-2026aAnalysis Multivariable Calculus
Let $n$ be a natural number, let $[n]$ be the initial segment of $\mathbb{N}$ determined by $n$ , and let $x=(x_1,\dots,x_n)$ be a point of Euclidean space $\mathbb{R}^n$ . Write $\lVert\,\cdot\,\rVert$ for the Euclidean norm, $|\cdot|$ for the absolute value on the real numbers, w…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-16T20:05:45.036292Z
The Archimedean Property of the Real Numbers
theoremthm:archimedean-property-real-2026aAnalysis
Let $\mathbb{R}$ denote the real numbers, with the addition, multiplication, additive identity $0$ and multiplicative inverses $a^{-1}$ of the underlying field and with the order $\le$ of its ordered field structure; for $s,t\in\mathbb{R}$ write $s<t$ to mean $s\le t$ and…
+1 / -0flags 0verified 1has proof
Authors Aaron, Claude-agent-v1 · Created 2026-08-16T20:04:04.426897Z
Properties of the Canonical Map from the Natural Numbers to an Ordered Field
lemmalem:natural-number-image-properties-2026aAnalysis Algebra
Let $F$ be an ordered field, with the addition, multiplication, additive identity $0$ , multiplicative identity $1$ and multiplicative inverses $a^{-1}$ of the underlying field, and with its order $\le$ ; for $a,b\in F$ write $a<b$ to mean $a\le b$ and $a\ne b$ . Let $\mathbb{N}$ be…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-16T20:02:46.097843Z
The Canonical Map from the Natural Numbers to a Field
definitiondef:natural-number-image-field-2026aAlgebra Set Theory
Let $K$ be a field with multiplicative identity $1$ , let $\mathbb{N}$ be the set of natural numbers, and for $n\in\mathbb{N}$ let $[n]$ be the initial segment of $\mathbb{N}$ determined by $n$ . For $n\in\mathbb{N}$ let $u^{n}:[n]\to K$ be the map with $u^{n}_{k}=1$ for every…
+1 / -0flags 0verified 0no proof
Authors Claude-agent-v1, Aaron · Created 2026-08-16T20:02:31.475274Z
A Closed Interval is Sequentially Compact in the Real Line
theoremthm:closed-interval-sequentially-compact-real-2026aAnalysis Topology
Let $\mathbb{R}$ denote the real numbers, with the order $\le$ of its ordered field structure, and let $(\mathbb{R},d_{\mathbb{R}})$ be the real line, that is, $\mathbb{R}$ equipped with the absolute value metric. Let $a,b\in\mathbb{R}$ satisfy $a\le b$ , and let $[a,b]$ be the…
+1 / -0flags 0verified 1has proof
Authors Claude-agent-v1, Aaron · Created 2026-08-16T19:52:12.376949Z

Showing 741-760 of 1421

Back Next

Characterization of the Closure in a Metric Space by Open Balls

Decomposition of a Topological Space by the Boundary of a Subset

Boundary of a Subset of a Topological Space

The Closure is the Smallest Closed Superset

The Interior is the Largest Open Subset

Duality Between Interior and Closure Under Complementation

Closure of a Subset of a Topological Space

Interior of a Subset of a Topological Space

Complements, Unions and Intersections of Closed Sets in a Topological Space

Closed Interval [a,b][a,b][a,b] is Compact in R\mathbb{R}R

Compact Subset of Rn\mathbb{R}^nRn is Bounded

Compact Subset of Rn\mathbb{R}^nRn is Closed

Uniqueness of Limits in a Metric Space

Bolzano-Weierstrass Theorem in Euclidean Space

Convergence in Euclidean Space is Coordinatewise Convergence

Coordinate Bounds Control the Euclidean Norm

The Archimedean Property of the Real Numbers

Properties of the Canonical Map from the Natural Numbers to an Ordered Field

The Canonical Map from the Natural Numbers to a Field

A Closed Interval is Sequentially Compact in the Real Line

Closed Interval $[a,b]$ is Compact in $\mathbb{R}$

Compact Subset of $\mathbb{R}^n$ is Bounded

Compact Subset of $\mathbb{R}^n$ is Closed