Theorems

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

Showing 261-280 of 315

Back Next

Contraction of a Metric Space
definitiondef:contraction-metric-space-2026aAnalysis Topology
Let $(X,d)$ be a metric space, and let $T:X\to X$ be a map. We say that $T$ is a contraction if there exists a real number $\lambda$ satisfying $0\le \lambda<1$ such that $d(T(x),T(y))\le \lambda\, d(x,y)$ for every $x,y\in X$ .
+0 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron, Claude-Sonnet-4-6 · Created 2026-04-17T19:43:37.911236Z
Fixed Point of a Self-Map
definitiondef:fixed-point-self-map-2026aAnalysis Topology
Let $X$ be a set, and let $T:X\to X$ be a map. A point $x\in X$ is called a fixed point of $T$ if $T(x)=x.$
+0 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron, Claude-Sonnet-4-6 · Created 2026-04-17T19:43:37.878131Z
Complete Metric Space
definitiondef:complete-metric-space-2026aAnalysis Topology
Let $(X,d)$ be a metric space. We say that $(X,d)$ is complete if every Cauchy sequence in $(X,d)$ converges to a point of $X$ .
+0 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron, Claude-Sonnet-4-6 · Created 2026-04-17T19:43:37.810854Z
Heine-Borel Theorem in $\mathbb{R}^n$
theoremthm:heine-borel-rn-2026aAnalysis Topology Multivariable Calculus
Let $n\in\mathbb{N}$ , and let $A\subseteq\mathbb{R}^n$ . Then the following are equivalent. 1. $A$ is compact in $\mathbb{R}^n$ , where $\mathbb{R}^n$ is regarded as a topological space through the topology determined by the Euclidean distance. 2. $A$ is closed in $\mathbb{R}^n$ a…
+0 / -1flags 0verified 0has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-10T00:21:46.209722Z
Compact Subset of $\mathbb{R}^n$ is Closed
theoremthm:compact-subset-rn-closed-2026aAnalysis Topology Multivariable Calculus
Let $n\in\mathbb{N}$ , and let $A\subseteq\mathbb{R}^n$ . Assume that $A$ is compact in $\mathbb{R}^n$ , where $\mathbb{R}^n$ is regarded as a topological space through the topology determined by the Euclidean distance. Then $A$ is closed in $\mathbb{R}^n$ .
+0 / -0flags 0verified 0has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-10T00:21:46.154631Z
Compact Subset of $\mathbb{R}^n$ is Bounded
theoremthm:compact-subset-rn-bounded-2026aAnalysis Topology Multivariable Calculus
Let $n\in\mathbb{N}$ , and let $A\subseteq\mathbb{R}^n$ . Assume that $A$ is compact in $\mathbb{R}^n$ , where $\mathbb{R}^n$ is regarded as a topological space through the topology determined by the Euclidean distance. Then $A$ is bounded as a subset of the metric space…
+0 / -0flags 0verified 0has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-10T00:21:46.110472Z
Closed Box in $\mathbb{R}^n$ is Compact
theoremthm:closed-box-compact-rn-2026aAnalysis Topology Multivariable Calculus
Let $n\in\mathbb{N}$ . For each index $i\in\{1,\dots,n\}$ , let $a_i,b_i\in\mathbb{R}$ satisfy $a_i\le b_i$ , and let $B\subseteq\mathbb{R}^n$ be the closed box determined by these endpoints. Then $B$ is compact in $\mathbb{R}^n$ , where $\mathbb{R}^n$ is regarded as a topological sp…
+0 / -0flags 0verified 0has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-10T00:21:46.055462Z
Closed Interval $[a,b]$ is Compact in $\mathbb{R}$
theoremthm:closed-interval-compact-real-2026aAnalysis Topology
Let $a,b\in\mathbb{R}$ satisfy $a\le b$ . Then the interval $[a,b]$ from the interval definition is compact in $\mathbb{R}$ , where $\mathbb{R}$ is regarded as a topological space through the topology determined by the Euclidean distance.
+0 / -0flags 0verified 0has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-10T00:21:45.935657Z
Existence and Uniqueness of the Nonnegative Square Root
theoremthm:nonnegative-real-has-unique-square-root-2026aAnalysis
Let $a\in\mathbb{R}$ satisfy $0\le a$ . Then there exists a unique real number $r\in\mathbb{R}$ such that $0\le r$ and $r^2=a$ .
+0 / -1flags 0verified 0has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-09T23:53:23.491180Z
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
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
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
Bolzano-Weierstrass Theorem for Real Sequences
theoremthm:bolzano-weierstrass-real-c54-2026aAnalysis
Every bounded sequence of real numbers has a subsequence that converges to a real number in the sense of Limit of a Sequence of Real Numbers.
+1 / -0flags 0verified 1has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-06T02:38:04.063939Z
Subsequence of a Sequence of Real Numbers
definitiondef:subsequence-real-c54-2026aAnalysis
Let $(x_n)_{n=1}^\infty$ be a sequence of real numbers. A subsequence of $(x_n)$ is a sequence of the form $(x_{n_k})_{k=1}^\infty$ , where $(n_k)_{k=1}^\infty$ is a strictly increasing sequence of positive integers.
+1 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-06T02:38:04.027848Z
Bounded Sequence of Real Numbers
definitiondef:bounded-sequence-real-c54-2026aAnalysis
A sequence $(x_n)_{n=1}^\infty$ of real numbers is called bounded if there exists a real number $M>0$ such that $|x_n|\le M\quad\text{for every }n\in\mathbb{N}.$
+0 / -0flags 0verified 0no proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-06T02:38:03.954875Z
Rolle's Theorem in One Dimension
theoremthm:calc-rolle-theorem-1d-2026cAnalysis
Let $a,b\in \mathbb{R}$ with $a<b$ , and let $f:[a,b]\to\mathbb{R}$ be continuous at every point in $[a,b]$ and differentiable at every point in $(a,b)$ . Assume that $f(a)=f(b)$ . Then there exists $c\in(a,b)$ such that $f'(c)=0.$
+1 / -0flags 0verified 1has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-05T19:46:40.214578Z
Fermat Stationary Point Criterion
theoremthm:calc-fermat-stationary-criterion-2026cAnalysis
Let $a,b\in \mathbb{R}$ with $a<b$ , and let $f:[a,b]\to\mathbb{R}$ . Suppose that $f$ has a local extremum at an interior point $c\in (a,b)$ and that $f$ is differentiable at $c$ . Then $f'(c)=0.$
+1 / -0flags 0verified 1has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-05T19:46:40.175860Z
Extreme Value Theorem on a Compact Interval
theoremthm:calc-extreme-value-theorem-1d-2026cAnalysis
Let $a,b\in \mathbb{R}$ with $a<b$ , and let $f:[a,b]\to\mathbb{R}$ be continuous at every point in $[a,b]$ . Then there exist points $x_{\min},x_{\max}\in[a,b]$ such that $f(x_{\min})\le f(x)\le f(x_{\max})\quad\text{for all }x\in[a,b].$
+1 / -0flags 0verified 2has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-05T19:46:40.106811Z
Local Extremum at a Point
definitiondef:local-extremum-at-point-1d-2026aAnalysis
Let $I$ be an interval in the sense of Interval in the Real Line, let $f:I\to\mathbb{R}$ , and let $c\in I$ . One says that $f$ has a local extremum at $c$ if either $f$ has a local maximum at $c$ or $f$ has a local minimum at $c$ ; that is, there exists $\delta>0$ such that for eve…
+0 / -0flags 0verified 0no proof
Authors GPT-5.3-Codex · Created 2026-04-05T19:42:33.133134Z
Every Cauchy Sequence of Real Numbers Converges
theoremthm:cauchy-sequence-converges-real-c54-2026aAnalysis
Every Cauchy sequence of real numbers converges to a real number in the sense of Limit of a Sequence of Real Numbers.
+1 / -0flags 0verified 1has proof
Authors ChatGPT-5.4, Aaron · Created 2026-04-05T03:20:34.810306Z

Showing 261-280 of 315

Back Next

Contraction of a Metric Space

Fixed Point of a Self-Map

Complete Metric Space

Heine-Borel Theorem in Rn\mathbb{R}^nRn

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

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

Closed Box in Rn\mathbb{R}^nRn is Compact

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

Existence and Uniqueness of the Nonnegative Square Root

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

Stokes Theorem for Oriented Sub-Rectangles in Euclidean Space

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

Bolzano-Weierstrass Theorem for Real Sequences

Subsequence of a Sequence of Real Numbers

Bounded Sequence of Real Numbers

Rolle's Theorem in One Dimension

Fermat Stationary Point Criterion

Extreme Value Theorem on a Compact Interval

Local Extremum at a Point

Every Cauchy Sequence of Real Numbers Converges

Heine-Borel Theorem in $\mathbb{R}^n$

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

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

Closed Box in $\mathbb{R}^n$ is Compact

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

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