Alphabeta Math
ExampleConstruction: AI-adaptedVerification: AI-adaptedprecheck passverified 2026-08-05 (gpt-5.6-sol-codex-subscription)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

R∗ is homeomorphic to the unit circle by inverse stereographic projection, and N∗ is the ordinal space ω+1

Example

Let X∗=X∪{∞} denote the one-point compactification (The one-point (Alexandroff) compactification X∗=X∪{∞}, whose open sets are the open sets of X together with the complements in X∗ of the closed compact subsets of X), whose added point is ∞={ y∈X:y∉y }. Then:

  1. The naturals. Give N the discrete topology (The discrete, indiscrete, cofinite, cocountable, particular-point and Sierpinski topologies). Then N∗ is the ordinal ω+1 (Ordinal addition α+β) as a set, and the topology T∗ is the order topology of that ordinal (On an ordinal with its order topology the sets [0,β] and (α,β] form a basis of clopen sets, the isolated points are exactly the non-limit ordinals, and the space is Hausdorff); so the identity map is a homeomorphism (Homeomorphism, open map, closed map, embedding, and what it means for a property to be topological) and no construction is needed.
  2. The line. Give R its usual topology and let S1  :=  { (x,y)∈R2:x2+y2=1 } carry the subspace topology from R2 (Rn as the set of functions n→R, and d1, d2, d∞ are metrics on it, For n≥1 the product topology on n copies of the usual topology of R is the metric topology of d∞ on Rn, and hence also of d1 and d2, so Rn as a product and Rn as a metric space are one space, Subspace topology: the traces of the open sets, its closed sets and its bases, the continuity of the inclusion, and the characteristic property of a map into a subspace). The map h:R∗→S1,h(t):=(2tt2+1, t2−1t2+1)  (t∈R),h(∞):=(0,1), the inverse of stereographic projection from the north pole, is a homeomorphism.

No trigonometry is used, and no circle is described by angles; the map above and its inverse (x,y)↦x/(1−y) are rational.

Facts & Assumptions

Given: N with the discrete topology, R with its usual topology, the one-point compactifications N∗ and R∗, the circle S1⊆R2, and the map h.

[L2]

Every natural number satisfies n∉n, N=ω is an ordinal, ω+1=ω+=ω∪{ω}, and the elements of ω are exactly the naturals (Basic closure properties of ordinals, Ordinal (von Neumann), ω is the least limit ordinal, Ordinal addition α+β, The natural numbers N (von Neumann)).

[L5]

R2 carries one topology, the product topology and the metric topology of d∞(x,y)=max⁡{∣x0−y0∣,∣x1−y1∣} being the same; a subset of R2 is a compact subset exactly when it is closed and bounded; and every subspace of a metrizable space is metrizable and hence Hausdorff (Rn as the set of functions n→R, and d1, d2, d∞ are metrics on it, For n≥1 the product topology on n copies of the usual topology of R is the metric topology of d∞ on Rn, and hence also of d1 and d2, so Rn as a product and Rn as a metric space are one space, A subset of Rn with the product topology is compact exactly when it is closed and bounded, the product topology being the Euclidean metric topology, Metrizable space: a topological space whose topology is induced by some metric; metrizability is topological, the metric is not, Every subspace of a metrizable space is metrizable and every subspace of a first countable space is first countable, the metric case being the subspace metric already identified with the subspace topology, Hausdorff space: distinct points have disjoint open neighbourhoods; every metrizable space is Hausdorff and the indiscrete topology on two points is not, The metric topology: a set is open when every one of its points has a ball around it inside the set; closed means open complement, Open ball, closed ball and sphere in a metric space, Bounded subset, diameter, distance from a point to a set, and distance between two sets in a metric space).

[L6]

A map into a product is continuous exactly when both components are; a quotient of polynomial functions with nowhere vanishing denominator is continuous as a map R→R, and continuity there agrees with continuity as a map of metric spaces and hence of topological spaces (A map into a product is continuous iff each of its components is; the projections are continuous and open; and each projection is surjective when every factor is nonempty, which for an infinite index set uses the Axiom of Choice, claim 2; Sums, scalar multiples, products, absolute values, maxima, minima and quotients with nonvanishing denominator of continuous functions are continuous, as are constants, the identity and every polynomial function, Dictionary: for A⊆R with the metric d(x,y)=∣x−y∣, continuity and uniform continuity of f:A→R agree with the metric-space notions, the Lipschitz and Hölder conditions are the metric ones instantiated, and a subset of R is compact in the open-cover sense of R exactly when it is a compact metric subspace, claim 1; Continuity of a map of topological spaces at a point and globally, For a map of spaces the following agree: continuity at every point, preimages of open sets open, preimages of closed sets closed, preimages of subbasic open sets open, and f(A‾)⊆f(A)‾, Metrizable space: a topological space whose topology is induced by some metric; metrizability is topological, the metric is not, The absolute value makes R a metric space: d(x,y)=∣x−y∣ is a metric, its open balls are the intervals (x−r,x+r), and it is unbounded, The product set ∏i∈IXi of functions choosing a point in each factor, the projections, the box topology, and the product topology as the initial topology of the projections; the empty product is a one-point space).

Verification

technique · direct
1.1

For X=N the added point is ∞={ n∈N:n∉n }=N=ω by [L2], since every natural satisfies n∉n. Hence N∗=ω∪{ω}=ω+=ω+1, an equality of sets and not merely a bijection.

L1L2
1.2

For X=R the circle S1⊆R2 carries the subspace topology of R2, which is metrizable by [L5]; so S1 is metrizable and hence Hausdorff by [L5]. Nothing below uses compactness of S1.

L5
2.1

By [L3] the compact subsets of the discrete N are exactly its finite subsets, and every subset is closed; so by [L1] the open sets of N∗ are the subsets of N together with the sets N∗∖F with F⊆N finite.

L1L3step 1.1
2.2

By [L4] a subset V of ω+1 is open in the order topology exactly when each of its points lies in a set [0,β] or (α,β] inside V. A subset of ω is open, each of its naturals n lying in [0,0]={0} or in (n−1,n]={n}; and a set V∋ω is open exactly when it contains [0,ω]=ω+1 or some (α,ω] with α∈ω, that is exactly when (ω+1)∖V⊆[0,α] for some natural α, that is exactly when its complement is finite.

L2L4step 1.1
2.3

h is a bijection R∗→S1. For t∈R one computes (2t)2+(t2−1)2=(t2+1)2, so h(t)∈S1, and h(t)≠(0,1) since t2−1=t2+1 is impossible. Conversely for (x,y)∈S1 with y≠1 put t:=x/(1−y); then t2=x2/(1−y)2=(1−y2)/(1−y)2=(1+y)/(1−y), so t2+1=2/(1−y) and t2−1=2y/(1−y), whence h(t)=(x,y); and t is the unique such real, being recovered from h(t) by the same formula. With h(∞)=(0,1) this makes h a bijection.

L8step 1.2
3.1

h is continuous at every point of R: its two components are t↦2t/(t2+1) and t↦(t2−1)/(t2+1), quotients of polynomials whose denominator never vanishes, hence continuous by [L6], so h restricted to R is continuous into R2 by [L6] and hence into the subspace S1, which contains its image.

L5L6step 2.3
3.2

Claim 1 follows: by steps 2.1 and 2.2 the two topologies on the set ω+1 of step 1.1 are the same family of subsets, so the identity map is a bijection carrying open sets to open sets in both directions and is a homeomorphism.

L1step 1.1step 2.1step 2.2
4.1

h is continuous at ∞. Let V be open in S1 with (0,1)∈V; by [L5] there is a real r>0 with every point of S1 at d∞-distance less than r from (0,1) lying in V. By [L8] fix a natural M≥1 with 1/M<r/2, and put C:={ s∈R:∣s∣≤M }, which is a closed bounded interval of R, hence a compact subset of R by [L9]. For t∉C one has ∣t∣>M≥1, so ∣2t/(t2+1)∣≤2∣t∣/t2=2/∣t∣<2/M<r and ∣(t2−1)/(t2+1)−1∣=2/(t2+1)≤2/t2≤2/M<r; hence h(t)∈V. So W:=R∗∖C is open in R∗ by [L1], contains ∞, and satisfies h[W]⊆V.

L1L5L8L9step 2.3step 3.1
5.1

h is therefore a continuous bijection from R∗, which is compact by [L1], to S1, which is Hausdorff by step 1.2; so [L7] makes it a homeomorphism, which is claim 2. With claim 1 at step 3.2 both statements are proved.

L1L7step 1.2step 2.3step 3.1step 3.2step 4.1∎

Remarks

The naturals need no map at all. The added point of The one-point (Alexandroff) compactification X∗=X∪{∞}, whose open sets are the open sets of X together with the complements in X∗ of the closed compact subsets of X is constructed from the space, and for N that construction returns ω itself; the compactification is then literally the ordinal ω+1 with its order topology, which is compact by Every successor ordinal is compact in its order topology and every limit ordinal is not; and, assuming countable choice, ω1 is countably compact and sequentially compact while ω1+1 is compact, claim 1, as it must be.

Where compactness does the work for the circle. Producing the inverse of h explicitly is possible here and was done at step 2.3, but continuity of that inverse is never checked: [L7] supplies it from compactness of R∗ and the Hausdorff property of S1. That is the standard use of claim 3 of A continuous image of a compact space is compact; a continuous real-valued map on a nonempty compact space attains a maximum and a minimum; and a continuous bijection from a compact space to a Hausdorff space is a homeomorphism.

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · two levels

160 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources