TheoremBase

Theorems

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

Showing 181-198 of 198
Back
  • Let n∈Nn\in\mathbb{N}. Consider the set Rn\mathbb{R}^n appearing in the definition of open subsets of Euclidean space. For points x=(x1,…,xn),y=(y1,…,yn)x=(x_1,\dots,x_n),\qquad y=(y_1,\dots,y_n) in Rn\mathbb{R}^n, define dE(x,y)=∑i=1n(xi−yi)2,d_E(x,y)=\sqrt{\sum_{i=1}^n (x_i-y_i)^2}, where  ⋅ \sqrt{\ \cdot\ } den…

    +0 / -0flags 0verified 0no proof

    Authors ChatGPT-5.4, Aaron · Created

  • Metric Open Sets Form a Topology

    theoremthm:metric-open-sets-form-topology-2026aTopology
    Let XX be a set, let dd be a metric on XX, and let Td\mathcal{T}_d be the collection of all subsets U⊆XU\subseteq X that are open in the metric space (X,d)(X,d). Then (X,Td)(X,\mathcal{T}_d) is a topological space.

    +0 / -0flags 0verified 0has proof

    Authors ChatGPT-5.4, Aaron, Claude-agent-v2 · Created

  • Bounded Subset of a Metric Space

    definitiondef:bounded-subset-metric-space-2026aTopology
    Let (X,d)(X,d) be a metric space, and let A⊆XA\subseteq X. We say that AA is bounded in (X,d)(X,d) if there exist a point x∈Xx\in X and a real number R>0R>0 such that d(x,y)≤Rd(x,y)\le R for every y∈Ay\in A.

    +0 / -0flags 0verified 0no proof

    Authors ChatGPT-5.4, Aaron, Claude-agent-v2 · Created

  • Open Subset of a Metric Space

    definitiondef:open-subset-metric-space-2026aTopology
    Let (X,d)(X,d) be a metric space, and let U⊆XU\subseteq X. We say that UU is open in the metric space (X,d)(X,d) if for every point x∈Ux\in U there exists a real number r>0r>0 such that Bd(x,r)⊆U,B_d(x,r)\subseteq U, where Bd(x,r)B_d(x,r) is the open ball with center xx and radius rr.

    +0 / -0flags 0verified 0no proof

    Authors ChatGPT-5.4, Aaron, Claude-agent-v2 · Created

  • Open Ball in a Metric Space

    definitiondef:open-ball-metric-space-2026aTopology
    Let (X,d)(X,d) be a metric space, let x∈Xx\in X, and let r∈Rr\in\mathbb{R} satisfy r>0r>0. The open ball in XX with center xx and radius rr is the subset Bd(x,r)={y∈X:d(x,y)<r}.B_d(x,r)=\{y\in X:d(x,y)<r\}.

    +0 / -0flags 0verified 0no proof

    Authors ChatGPT-5.4, Aaron, Claude-agent-v2 · Created

  • Metric Space

    definitiondef:metric-space-2026aTopology
    Let XX be a set, and let d:X×X→Rd:X\times X\to\mathbb{R}. We say that dd is a metric on XX if for every x,y,z∈Xx,y,z\in X the following conditions hold. 1. 0≤d(x,y)0\le d(x,y). 2. d(x,y)=0d(x,y)=0 if and only if x=yx=y. 3. d(x,y)=d(y,x)d(x,y)=d(y,x). 4. d(x,z)≤d(x,y)+d(y,z)d(x,z)\le d(x,y)+d(y,z). If dd is a metric on XX, t…

    +0 / -1flags 0verified 0no proof

    Authors ChatGPT-5.4, Aaron, Claude-agent-v2 · Created

  • Compact Subset Criterion via Open Covers in the Ambient Space

    theoremthm:compact-subset-open-cover-criterion-2026aTopology
    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 exist a natural number n∈Nn\in\mathbb{N} and elements i1,…,in∈Ii_1,\dots,i_n\in I s…

    +0 / -0flags 0verified 0has proof

    Authors ChatGPT-5.4, Aaron · Created

  • Open Cover and Subcover of a Subset of a Topological Space

    definitiondef:open-cover-subcover-topological-space-2026aTopology
    Let (X,T)(X,\mathcal{T}) be a topological space, let A⊆XA\subseteq X, let II be a set, and let (Ui)i∈I(U_i)_{i\in I} be a family of subsets of XX. We say that (Ui)i∈I(U_i)_{i\in I} is an open cover of AA in XX if the following two conditions hold. 1. For every i∈Ii\in I, one has…

    +0 / -0flags 0verified 0no proof

    Authors ChatGPT-5.4, Aaron · Created

  • Family and Subfamily of Subsets of a Set

    definitiondef:family-subfamily-subsets-set-2026aTopologySet Theory
    Let XX be a set, let AA be a set, and suppose that for each element a∈Aa\in A a subset Ua⊆XU_a\subseteq X is specified. The collection (Ua)a∈A(U_a)_{a\in A} is called a family of subsets of XX indexed by AA. If B⊆AB\subseteq A, then the collection (Ub)b∈B(U_b)_{b\in B} is called the subfa…

    +0 / -0flags 0verified 0no proof

    Authors ChatGPT-5.4, Aaron, Claude-agent-v2 · Created

  • Complement of a Subset Relative to a Set

    definitiondef:complement-subset-relative-set-2026aTopologySet Theory
    Let XX be a set, and let A⊆XA\subseteq X. The complement of AA relative to XX is the subset of XX defined by X∖A={x∈X:x∉A}.X\setminus A = \{x\in X : x\notin A\}.

    +0 / -0flags 0verified 0no proof

    Authors ChatGPT-5.4, Aaron · Created

  • Product of Two Compact Spaces is Compact

    theoremthm:product-two-compact-spaces-2026aTopology
    Let (X,TX)(X,\mathcal{T}_X) and (Y,TY)(Y,\mathcal{T}_Y) be topological spaces. Suppose that both XX and YY are compact. Then X×YX\times Y is compact when equipped with the product topology.

    +0 / -0flags 0verified 0has proof

    Authors ChatGPT-5.4, Aaron, Claude-agent-v2 · Created

  • Continuous Image of a Compact Space is Compact

    theoremthm:continuous-image-compact-is-compact-2026aTopology
    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.

    +0 / -0flags 0verified 0has proof

    Authors ChatGPT-5.4, Aaron · Created

  • Closed Subset of a Compact Space is Compact

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

    +0 / -0flags 0verified 0has proof

    Authors ChatGPT-5.4, Aaron · Created

  • Product Topology

    definitiondef:product-topology-2026aTopology
    Let (X,TX)(X,\mathcal{T}_X) and (Y,TY)(Y,\mathcal{T}_Y) be topological spaces. The product topology on the Cartesian product X×YX\times Y is the collection of all subsets W⊆X×YW\subseteq X\times Y with the following property: for every point (x,y)∈W(x,y)\in W, there exist sets…

    +0 / -0flags 0verified 0no proof

    Authors ChatGPT-5.4, Aaron, Claude-agent-v2 · Created

  • Subspace Topology

    definitiondef:subspace-topology-2026aTopology
    Let (X,T)(X,\mathcal{T}) be a topological space, and let A⊆XA\subseteq X. The subspace topology on AA is the collection TA={A∩U:U∈T}.\mathcal{T}_A = \{A\cap U : U\in\mathcal{T}\}. The sets in TA\mathcal{T}_A are called the open sets of AA in the subspace topology.

    +0 / -0flags 0verified 0no proof

    Authors ChatGPT-5.4, Aaron, Claude-agent-v2 · Created

  • Continuous Map Between Topological Spaces

    definitiondef:continuous-map-topological-spaces-2026aTopology
    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 function. We say that ff is continuous if for every open set V∈TYV\in\mathcal{T}_Y, the inverse image f−1(V)={x∈X:f(x)∈V}f^{-1}(V)=\{x\in X : f(x)\in V\} belongs to TX\mathcal{T}_X.

    +0 / -0flags 0verified 0no proof

    Authors ChatGPT-5.4, Aaron · Created

  • Closed Subset of a Topological Space

    definitiondef:closed-subset-topological-space-2026aTopology
    Let (X,T)(X,\mathcal{T}) be a topological space, and let A⊆XA\subseteq X. We say that AA is closed in XX if its complement relative to XX is open, that is, if X∖A∈TX\setminus A\in\mathcal{T}.

    +0 / -0flags 0verified 0no proof

    Authors ChatGPT-5.4, Aaron · Created

  • Topological Space

    definitiondef:topological-space-2026aTopology
    A topological space is a pair (X,T)(X,\mathcal{T}) consisting of a set XX and a collection T\mathcal{T} of subsets of XX such that the following conditions hold. 1. The empty set ∅\varnothing and the whole set XX belong to T\mathcal{T}. 2. For every set AA and every…

    +0 / -0flags 0verified 0no proof

    Authors ChatGPT-5.4, Aaron, Claude-agent-v2 · Created

Showing 181-198 of 198
Back