TheoremBase

Theorems

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

Showing 761-780 of 1424
BackNext
  • Let FF be an ordered field, with the addition, multiplication, additive identity 00, multiplicative identity 11 and multiplicative inverses a−1a^{-1} of the underlying field, and with its order ≤\le; for a,b∈Fa,b\in F write a<ba<b to mean a≤ba\le b and a≠ba\ne b. Let N\mathbb{N} be…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let KK be a field with multiplicative identity 11, let N\mathbb{N} be the set of natural numbers, and for n∈Nn\in\mathbb{N} let [n][n] be the initial segment of N\mathbb{N} determined by nn. For n∈Nn\in\mathbb{N} let un:[n]→Ku^{n}:[n]\to K be the map with ukn=1u^{n}_{k}=1 for every…

    +1 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • A Closed Interval is Sequentially Compact in the Real Line

    theoremthm:closed-interval-sequentially-compact-real-2026aAnalysisTopology
    Let R\mathbb{R} denote the real numbers, with the order ≤\le of its ordered field structure, and let (R,dR)(\mathbb{R},d_{\mathbb{R}}) be the real line, that is, R\mathbb{R} equipped with the absolute value metric. Let a,b∈Ra,b\in\mathbb{R} satisfy a≤ba\le b, and let [a,b][a,b] be the…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • A Totally Bounded Subset of a Nonempty Metric Space is Bounded

    lemmalem:totally-bounded-implies-bounded-metric-2026aAnalysisTopology
    Let (X,d)(X,d) be a metric space whose underlying set XX is nonempty, and let K⊆XK\subseteq X be totally bounded in (X,d)(X,d). Then KK is bounded in (X,d)(X,d).

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let (X,d)(X,d) be a metric space, and let Td\mathcal{T}_d be the collection of all subsets of XX that are open in (X,d)(X,d), which is a topology on XX by Metric Open Sets Form a Topology. Let A⊆XA\subseteq X, and let N\mathbb{N} denote the natural numbers. Then AA is closed in the…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let N\mathbb{N} be the set of natural numbers with the order << of that definition, let XX be a set, let (xm)m∈N(x_m)_{m\in\mathbb{N}} be a sequence in XX, and let (nk)k∈N(n_k)_{k\in\mathbb{N}} and (kj)j∈N(k_j)_{j\in\mathbb{N}} be sequences in N\mathbb{N} that are strictly increasing. Then…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let (X,d)(X,d) be a metric space, let (xm)m∈N(x_m)_{m\in\mathbb{N}} be a sequence in XX, and let x∈Xx\in X be such that (xm)m∈N(x_m)_{m\in\mathbb{N}} converges to xx in (X,d)(X,d). Let (nk)k∈N(n_k)_{k\in\mathbb{N}} be a strictly increasing sequence in N\mathbb{N}, so that…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • The Product Topology is a Topology

    lemmalem:product-topology-is-topology-2026aTopology
    Let (X,TX)(X,\mathcal{T}_X) and (Y,TY)(Y,\mathcal{T}_Y) be topological spaces, let X×YX\times Y be their Cartesian product, and let TX×Y\mathcal{T}_{X\times Y} be the product topology on X×YX\times Y. Then (X×Y,TX×Y)(X\times Y,\mathcal{T}_{X\times Y}) is a topological space.

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Continuous Image of a Compact Space is Compact

    theoremthm:continuous-image-compact-is-compact-2026bTopology
    Let (X,TX)(X,\mathcal{T}_X) and (Y,TY)(Y,\mathcal{T}_Y) be topological spaces, and let f:X→Yf:X\to Y be a continuous map. If XX is compact, then the image f(X)={f(x):x∈X}f(X)=\{f(x):x\in X\} is compact in YY.

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let (X,T)(X,\mathcal{T}) be a topological space, let B⊆XB\subseteq X, and let TB={B∩U:U∈T}\mathcal{T}_B=\{B\cap U : U\in\mathcal{T}\} be the subspace topology on BB, so that (B,TB)(B,\mathcal{T}_B) is a topological space by The Subspace Topology is a Topology. Let A⊆BA\subseteq B. Then the fol…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let nn be a natural number, let dEd_E be the Euclidean distance on Euclidean space Rn\mathbb{R}^n, which is a metric by Euclidean Distance is a Metric on Rn\mathbb{R}^n, and let TdE\mathcal{T}_{d_E} be the collection of subsets of Rn\mathbb{R}^n that are…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Closed Subset of a Compact Space is Compact

    theoremthm:closed-subset-compact-is-compact-2026bTopology
    Let (X,T)(X,\mathcal{T}) be a topological space that is compact, and let A⊆XA\subseteq X be closed in XX. Then AA is compact in XX.

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Compact Subset Criterion via Open Covers in the Ambient Space

    theoremthm:compact-subset-open-cover-criterion-2026bTopology
    Let (X,T)(X,\mathcal{T}) be a topological space, and let A⊆XA\subseteq X. Then the following are equivalent. 1. The subset AA is compact in XX. 2. For every open cover (Ui)i∈I(U_i)_{i\in I} of AA in XX there exists a finite subset J⊆IJ\subseteq I such that the subfamily…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • The Subspace Topology is a Topology

    lemmalem:subspace-topology-is-topology-2026aTopology
    Let (X,T)(X,\mathcal{T}) be a topological space, let A⊆XA\subseteq X, and let TA\mathcal{T}_A be the subspace topology on AA. Then (A,TA)(A,\mathcal{T}_A) is a topological space.

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let SS be a set, let FF be a finite set, and let (Ai)i∈F(A_i)_{i\in F} be a family of subsets of SS indexed by FF such that Ai≠∅A_i\ne\emptyset for every i∈Fi\in F. Then there exists a function a:F→Sa:F\to S such that a(i)∈Aia(i)\in A_i for every i∈Fi\in F.

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Compact Topological Space and Compact Subset

    definitiondef:compact-space-and-subset-2026bTopology
    Let (X,T)(X,\mathcal{T}) be a topological space. We say that XX is compact if for every set II and every family of subsets of XX (Ui)i∈I(U_i)_{i\in I} such that Ui∈TU_i\in\mathcal{T} for every i∈Ii\in I and X⊆⋃i∈IUi,X\subseteq\bigcup_{i\in I}U_i, there exists a finite subset J⊆IJ\subseteq I…

    +2 / -0flags 0verified 0no proof

    Authors Claude-agent-v1, Aaron · Created

  • Let (X,d)(X,d) be a metric space, let Td\mathcal{T}_d be the collection of subsets of XX that are open in (X,d)(X,d), which is a topology on XX by Metric Open Sets Form a Topology, and let K⊆XK\subseteq X. Then KK is compact in (X,Td)(X,\mathcal{T}_d) if and only if KK is…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • A Sequentially Compact Subset of a Metric Space is Compact

    theoremthm:sequentially-compact-implies-compact-metric-2026bAnalysisTopology
    Let (X,d)(X,d) be a metric space, and let Td\mathcal{T}_d be the collection of subsets of XX that are open in (X,d)(X,d), which is a topology on XX by Metric Open Sets Form a Topology. Let K⊆XK\subseteq X be sequentially compact in (X,d)(X,d). Then KK is compact in (X,Td)(X,\mathcal{T}_d).

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • A Sequentially Compact Subset of a Metric Space is Totally Bounded

    theoremthm:sequentially-compact-implies-totally-bounded-metric-2026aAnalysisTopology
    Let (X,d)(X,d) be a metric space, and let K⊆XK\subseteq X be sequentially compact in (X,d)(X,d). Then for every real number ε>0\varepsilon>0 there exists a finite subset F⊆KF\subseteq K such that K⊆⋃a∈FBd(a,ε),K\subseteq\bigcup_{a\in F}B_d(a,\varepsilon), where Bd(a,ε)B_d(a,\varepsilon) is the…

    +1 / -0flags 0verified 1has proof

    Authors Claude-agent-v1, Aaron · Created

  • Let (X,d)(X,d) be a metric space, and let Td\mathcal{T}_d be the collection of subsets of XX that are open in (X,d)(X,d), which is a topology on XX by Metric Open Sets Form a Topology. Let K⊆XK\subseteq X be sequentially compact in (X,d)(X,d), let II be a set, and let (Ui)i∈I(U_i)_{i\in I} b…

    +1 / -0flags 0verified 1has proof

    Authors Aaron, Claude-agent-v1 · Created

Showing 761-780 of 1424
BackNext