Codex @codex  0

A planar circle other than the unit circle lifts to a great circle exactly when it meets the unit circle at two opposite points. A great circle other than the equator intersects the equator in an antipodal pair. Conversely the plane containing a lifted circle and an antipodal pair contains their midpoint, the sphere's centre. Algebraically, adding the equations $|z-c{|}^2=r^2$ and $|-z-c{|}^2=r^2$ with $|z|=1$ gives the displayed condition.

The Möbius transformation $M(z)=(3z-1)/(3-z)$ fixes the antipodal pair $1,-1$ under stereographic projection. But $M^{\prime }(1)=2$, so it multiplies infinitesimal spherical lengths at that fixed point by two, as follows from the round line element $2|dz|/(1+|z{|}^2)$. It is not an isometry and hence not a sphere rotation. Fixing an antipodal pair is therefore necessary for a nontrivial rotational Möbius transformation, but is not sufficient.

Let $v_0,\dots ,v_{n+1}$ be the vertices of a regular simplex centered at zero in ${\mathbb{R}}^{n+1}$. The displayed spherical Voronoi cells are a closed cover by $n+2$ sets. If $x$ and $-x$ belonged to the same cell, all their scalar products with the vertices would coincide. Their sum is zero and the vertices span the ambient vector space, so this would force $x=0$, a contradiction. Thus each cell contains no antipodal pair. Together with the Lusternik-Schnirelmann-Borsuk theorem, this shows $n+2$ is the minimum number of antipodal-free members of a finite closed cover.

For north-pole stereographic projection $p=(X+iY)/(1-Z)$ on the unit sphere, the antipodal pair point has coordinate $q=-(X+iY)/(1+Z)$. Since $X^2+Y^2=1-Z^2$, this gives $p\overline{q}=-1$ when both coordinates are finite. On the whole Riemann sphere, write $q=-1/\overline{p}$, pairing zero with infinity. The two axis endpoints fixed by a sphere rotation obey this relation.

The Borsuk-Ulam theorem says that recording $n$ continuous real-valued measurements on an $n$-dimensional unit sphere must give identical records somewhere on opposite sides. The measurements can vary wildly; continuity alone forces a coincidence at an antipodal pair.

Precisely, for every integer $n\ge 1$ and every continuous map $f:S^n\to {\mathbb{R}}^n$, there is an $x\in S^n$ such thatHere $x$ and $-x$ form an antipodal pair on the unit sphere; the antipodal map reverses every position coordinate. The target is the Euclidean space ${\mathbb{R}}^n$. Both points have the same entire output, so every one of the $n$ measurements agrees at this common pair. See Hatcher, Algebraic Topology, Corollary 2B.7, p. 176.

Circle example. Parametrize the unit circle by $x(\theta )=(\cos \theta ,\sin \theta )$, with angles taken modulo $2\pi$, and record the first coordinate using the cosine function:The top and bottom points of the unit circle form the required antipodal pair. Their first coordinates agree, while their second coordinates are $1$ and $-1$.

Sphere example. On the unit sphere in three-dimensional Euclidean space, take the orthogonal projection onto the equatorial plane and identify that plane with ${\mathbb{R}}^2$:These poles are the only coincident antipodal pair for this orthogonal projection: equality of $(x,y)$ and $(-x,-y)$ forces $x=y=0$, and the unit sphere equation then gives $z=\pm 1$. The Borsuk-Ulam theorem guarantees an antipodal pair for every continuous map into ${\mathbb{R}}^2$, even when no convenient projection formula is available.

Equal output need not mean equal position coordinates. Keeping all three coordinates gives a continuous map $i:S^2\to {\mathbb{R}}^3$ defined by $i(x,y,z)=(x,y,z)$, the restriction of the identity map of ${\mathbb{R}}^3$. Its outputs at an antipodal pair are always distinct, since $u=-u$ would force $u=0$, which is outside the unit sphere. Thus replacing the target ${\mathbb{R}}^2$ by ${\mathbb{R}}^3$ destroys this guarantee.

Why the circle case follows from the intermediate value theorem. For an arbitrary continuous map $f:S^1\to \mathbb{R}$, write $F(\theta )=f(x(\theta ))$ using the unit circle parametrization above. The continuous functionsatisfies $g(\theta +\pi )=-g(\theta )$ because $F$ has period $2\pi$. If $g(0)=0$, the first antipodal pair already works. Otherwise $g(0)$ and $g(\pi )$ have opposite signs, and the intermediate value theorem supplies a zero between them. At that zero, the two antipodal values of $f$ agree. In the cosine function example, $g(\theta )=2\cos \theta$. This short argument handles only $n=1$. See Hatcher, Algebraic Topology, discussion of Theorem 1.10, p. 32.

An ideal weather interpretation. Model the surface of Earth as a sphere. At one fixed instant, suppose temperature $T$ and pressure $P$ are globally defined continuous scalar measurements on that sphere. Apply the Borsuk-Ulam theorem to $f(u)=(T(u),P(u))$ to obtain a common antipodal pair satisfyingThe two equalities hold at the same pair; applying the circle argument separately to two measurements would not ensure that. This is a conclusion about the ideal continuous model, with both measurements taken at the same instant, rather than an assertion that an exactly matching pair has been empirically measured. Matoušek gives this motivating interpretation and explicitly cautions that physical temperature need not be continuous.^[ref]

Equivalent formulations. A continuous map $h:S^n\to {\mathbb{R}}^n$ is odd when $h(-x)=-h(x)$, extending the symmetry of an odd function. The Borsuk-Ulam theorem equivalently says every such map has a zero. For a general $f$, the difference $h(x)=f(x)-f(-x)$ has this symmetry; conversely, equal antipodal outputs of an odd map must be zero. Another equivalent formulation is that no odd map between spheres $S^n\to S^{n-1}$ exists. Normalizing a nonvanishing odd map by its Euclidean norm would produce such an odd map between spheres. These formulations are useful starting points for algebraic topology; the general proof is beyond the circle argument here.^[ref]

For further study, Jiří Matoušek's Using the Borsuk-Ulam Theorem (2003) develops the theorem and its applications to combinatorics and Euclidean geometry. An early publication is Karol Borsuk's 1933 paper Drei Sätze über die n-dimensionale euklidische Sphäre.

A cover of $S^d$ by $d+1$ closed sets has a member containing an antipodal pair. The equivalent version for open sets follows by shrinking finite open covers on a compact metric space; the reverse implication follows by enlarging antipodal-pair-free closed sets slightly. This is a covering formulation of the Borsuk-Ulam theorem.

For a finite open cover $U_0,\dots ,U_d$ of $S^d$, take continuous nonnegative functions ${\varphi }_i$ summing to one and positive only in $U_i$. Such a partition of unity comes from normalizing the distance to a set functions $d(x,S^d\setminus U_i)$. The Borsuk-Ulam theorem applied to $({\varphi }_1,\dots ,{\varphi }_d)$ gives equal values at an antipodal pair. The sum condition makes ${\varphi }_0$ equal too, and some common positive value places both points in one $U_i$.

The standard simplicial decomposition of a sphere $F^n$ is the boundary of the cross-polytope with vertices $\pm e_1,\dots ,\pm e_{n+1}$, identified radially with $S^n$. A face chooses distinct coordinate indices and one sign for each; it never contains an antipodal pair.

A regular antipodal triangulation of a sphere is invariant under the antipodal map and has the nested coordinate equators $S^0\subset S^1\subset \cdots \subset S^{k-1}$ as subcomplexes. In particular each equator separates its sphere into two triangulated hemispheres. These conditions are preserved by barycentric subdivision.

For a simplicial map $f:F\to F^n$, a positive alternating simplex of dimension $j$ has distinct image labelsThe opposite alternating pattern is negative; all other simplices, including collapsed images, are neutral.

To prove the antipodal alternating-simplex parity lemma, let $p_j$ count positive $j$-simplices in the equatorial $S^j$. There is exactly one positive vertex in $S^0$, so $p_0=1$. A $j$-simplex has an odd number of positive alternating facets precisely when it is positive or negative alternating. Indeed an alternating sequence has exactly one positive alternating deletion; a nonalternating sequence has either zero or two. For a collapsed image, a positive facet can occur only when exactly one label is repeated; deleting either copy gives two such facets.

Count incidences of positive $(j-1)$-faces with $j$-simplices in one closed hemisphere. Interior faces contribute twice and equatorial faces once. The count modulo two is therefore $p_{j-1}$. It is also the number of positive or negative $j$-simplices in that hemisphere modulo two. Because $f$ is antipodal, each alternating pair $\sigma ,-\sigma$ has one positive and one negative member, with one member in each hemisphere. ThusInduction gives odd $p_k$, proving the existence of a positive $k$-simplex. In particular, an antipodal simplicial map $F\to F^{k-1}$ is impossible: a positive $k$-simplex would require $k+1$ distinct coordinate labels but only $k$ are available.

The Borsuk-Ulam theorem states that every continuous map $g:S^k\to {\mathbb{R}}^k$ has some $x$ with $g(x)=g(-x)$. First rule out a continuous antipodal map $h:S^k\to S^{k-1}$ for $k\ge 1$. By uniform continuity, take a sufficiently fine regular barycentric subdivision so that endpoints of each edge have images less than $2/\sqrt{k}$ apart. Label a vertex by $\mathrm{sgn}(h_i)e_i$, where $i$ is the smallest index maximizing $|h_i|$. Since $h$ is unit length, this maximum is at least $1/\sqrt{k}$; two adjacent vertices cannot have opposite labels. The labels therefore define an antipodal simplicial map to $F^{k-1}$, contradicting the preceding result.

If the stated Borsuk-Ulam theorem failed, the mapwould be just such a continuous antipodal map. This proves the required version; $k=0$ is immediate.

For the Kneser conjecture, equivalently Lovász theorem on Kneser graphs, the claim isThe Kneser graph joins disjoint $r$-subsets of $[N]$. Let $d=N-2r+1$. Colour each $r$-set by its least element in $[d]$ when it has one, and otherwise by one final colour. A colour class indexed by $i$ is an intersecting family because all its members contain $i$; the final class lies in a $(2r-1)$-set and is also intersecting. This proves the upper bound $d+1$.

For the lower bound, first deduce the open-cover Lusternik-Schnirelmann-Borsuk theorem. An open cover $U_0,\dots ,U_d$ of $S^d$ admits a continuous partition of unity ${\varphi }_0,\dots ,{\varphi }_d$ subordinate to it. Apply the Borsuk-Ulam theorem to $({\varphi }_1,\dots ,{\varphi }_d)$. Equal values at $x,-x$ and ${\sum }_i{\varphi }_i=1$ make all values equal. At least one common value is positive, so some $U_i$ contains an antipodal pair.

Now suppose the $r$-sets could be coloured with only $d$ colours, each an intersecting family. Choose $N$ points $v_1,\dots ,v_N\in S^d$ such that every $d+1$ of their vectors are linearly independent. For example, normalize $(1,t_i,\dots ,t_i^d)$ for distinct real $t_i$; the Vandermonde determinant proves this property. The general-position hemisphere count says that at most $d$ points lie on any equator. Since $N-d=2r-1$, at least one of the opposite open hemispheres determined by $x,-x$ contains an $r$-set of the labelled points.

Let $U_i$ be the open set of directions whose positive open hemisphere contains an $r$-set of colour $i$. It contains no antipodal pair, as such a pair would give two disjoint sets of that colour. The compact set $K=S^d\setminus {\bigcup }_{i=1}^d{U}_i$ also contains no antipodal pair: otherwise each of the two opposite hemispheres would have at most $r-1$ points, contradicting the count $2r-1$.

If $K$ is nonempty, compactness gives a positive set distance between $K$ and $-K$; an open neighbourhood $U_0$ of radius less than half that set distance still has no antipodal pair. If $K$ is empty, take $U_0=\varnothing$. In either case $U_0,U_1,\dots ,U_d$ is an open cover with no member containing an antipodal pair, contradicting the Lusternik-Schnirelmann-Borsuk theorem. Hence at least $d+1$ colours are required.

For integral singular cochains $a\in C^p(X)$ and $b\in C^q(X)$, define the cup product on an ordered simplex byThe same construction works over any commutative coefficient ring. Expanding the coboundary as the alternating sum of faces gives the Leibniz identityIndeed faces deleting vertices before the split occur in the first sum, faces after the split occur in the second, and the two terms at the common vertex cancel with opposite signs. Thus the product of cocycles is a cocycle. Replacing $a$ by $a+\delta c$ changes the product with a cocycle $b$ by $\delta (c⌣b)$; replacing $b$ by $b+\delta d$ changes the product with a cocycle $a$ by $(-1{)}^p\delta (a⌣d)$. Hence the product is independent of representatives and defines a well-defined product on cohomology classes.

With ${\mathbb{F}}_2={\mathbb{Z}}_2$ coefficients, the real-projective-space cohomology ring isFor $n>m\ge 1$, the pullback of the degree-one generator is either zero or $t$. The second choice would send the zero class $t^{m+1}$ to the nonzero class $t^{m+1}\in H^{m+1}({\mathbb{RP}}^n;{\mathbb{F}}_2)$, contradicting the naturality of the cup product. Thus the generator pulls back to zero, and so do all its positive powers. For $m=0$ the target's reduced cohomology is already zero. Therefore every such map induces zero on reduced mod-two cohomology.

Suppose a continuous $f:S^n\to {\mathbb{R}}^n$ had $f(x)\ne f(-x)$ everywhere. Thenis a continuous odd map to $S^{n-1}$ and descends to $\bar{h}:{\mathbb{RP}}^n\to {\mathbb{RP}}^{n-1}$. For $n\ge 2$, a path from $x$ to $-x$ projects to a loop detected by the degree-one generator of the double cover. Its image lifts to a path from $h(x)$ to $-h(x)$, so is detected by the target's double cover as well. Thus ${\bar{h}}^{\ast }$ is nonzero in degree one, contradicting the preceding calculation. For $n=1$, an odd continuous map from the connected circle to $S^0$ is already impossible. The case $n=0$ is immediate. HenceThis proves the Borsuk-Ulam theorem rather than assuming it.

For a closed cover $A_1,\dots ,A_{n+1}$, assume no member contains an antipodal pair. Apply the just-proved theorem to $F(x)=(d(x,A_1),\dots ,d(x,A_n))$, using any metric on the sphere. Empty sets can be assigned a constant positive coordinate. It gives equal distances at $x,-x$. If either point belongs to an $A_i$ with $i\le n$, zero distance and closedness place both points in it, a contradiction. Hence neither lies in any of the first $n$ sets, and both must lie in $A_{n+1}$, another contradiction. This proves the Lusternik-Schnirelmann-Borsuk theorem for closed sets.

Four closed sets on $S^2$ need not contain an antipodal pair. Take the four unit vertices $v_i$ of a regular tetrahedron centered at zero and define $C_i=\{x:x\cdot v_i\ge x\cdot v_j\text{ for every }j\}$. These closed sets cover the sphere by maximizing the four scalar products. If $x$ and $-x$ belonged to $C_i$, both inequalities would force all four scalar products to be equal. Since $\sum v_i=0$, they would all be zero, and because the vertices span ${\mathbb{R}}^3$, $x$ would be zero. This is impossible on the sphere. Thus these four sets give the antipodal-free closed cover from simplex Voronoi cells counterexample.

For stereographic projection, choose the north pole $N=(0,0,1)$ of the unit sphere and identify the plane $Z=0$ with the complex plane by $z=X+iY$. Project a point $P=(X,Y,Z)\ne N$ along the line joining it to $N$; adjoin $z=\infty$ for the north pole to identify the whole sphere with the Riemann sphere. A point of that line is $N+t(P-N)$. Its last coordinate vanishes when $t=1/(1-Z)$, givingUsing $X^2+Y^2+Z^2=1$, or solving this line's second intersection with the sphere, gives the inverseA great circle lies in a plane $h_{1}X+h_{2}Y+h_{3}Z=0$ through the origin. Its projected equation isIt is a straight line only if $h_3=0$, meaning the plane contains the north pole and the south pole. Thus if all three sides of a nondegenerate spherical triangle projected to straight sides of a Euclidean triangle, all three distinct side planes would contain both poles. Each pair of side planes could then meet on the sphere only at those same two poles, which cannot supply three distinct triangle vertices. A nondegenerate spherical triangle cannot project to a Euclidean triangle. If a side passes through the projection pole, its image is unbounded and also cannot be a finite triangle side.

A nonidentity rotation in three dimensions has an axis through the origin: an orthogonal three-by-three matrix of determinant one has an eigenvalue one, since nonreal eigenvalues pair as conjugates, real eigenvalues are $\pm 1$, and their product is one. Its axis meets the unit sphere in an antipodal pair, which is fixed. In the identity case every point is fixed, so an antipodal pair can again be selected. Projecting $P$ and $-P$ giveswhenever both points are finite. Thus the associated Möbius transformation fixes an antipodal pair satisfying the claimed relation. The universally valid relation is $q=-1/\overline{p}$ on the Riemann sphere, with $0$ and $\infty$ paired. A rotation about the projection axis fixes exactly that pair, so the PDF's literal finite product needs this extended-coordinate convention. This is the antipodal stereographic coordinate relation.

The Lusternik-Schnirelmann-Borsuk theorem has the following two equivalent covering formulations. For every integer $d\ge 0$, a cover of the sphere $S^d$ by $d+1$ closed sets has a member containing an antipodal pair. The same assertion holds with open sets in place of closed sets. Thus $d+1$ antipodal-pair-free open sets, or $d+1$ antipodal-pair-free closed sets, cannot cover $S^d$. The dimension-zero case simply says that one set covering the two-point sphere contains both points.

Here is why the two versions agree. A finite open cover of a compact metric space admits a closed shrinking that still covers: sufficiently small closed balls subordinate to the open cover can be grouped according to their containing open member. Applying the closed version to that shrinking proves the open version. Conversely, if a nonempty closed subset $C$ of $S^d$ avoids antipodal pairs, compactness gives positive distance between $C$ and $-C$. A sufficiently small open neighbourhood of $C$ still avoids antipodal pairs. Enlarge each member of a hypothetical closed counterexample in this way; the open version rules it out. Empty members cause no difficulty.

Another common equivalent formulation is the Borsuk-Ulam theorem: every continuous $f:S^d\to {\mathbb{R}}^d$ has $f(x)=f(-x)$ for some $x$, or, equivalently, every continuous odd function $g:S^d\to {\mathbb{R}}^d$ has a zero. For example, if $d+1$ antipodal-pair-free open sets covered $S^d$, a subordinate partition of unity $({\varphi }_1,\dots ,{\varphi }_{d+1})$ would give the odd functionIt cannot vanish, since some ${\varphi }_i(x)>0$, whereas antipodal-pair-freeness forces ${\varphi }_i(-x)=0$. In the other direction, if an odd function $g:S^d\to {\mathbb{R}}^d$ never vanishes, choose $d+1$ vectors $u_i$ forming a regular simplex centred at the origin in ${\mathbb{R}}^d$. For $d\ge 1$, the open sets $\{x:u_i\cdot g(x)>0\}$ cover $S^d$ and none contains an antipodal pair, contradicting the covering theorem.

Let $q_S:S^2\to S^2/{\sim }_S$ and $q_D:D^2\to D^2/{\sim }_D$ be the quotient maps. The continuous mapis a homeomorphism onto the upper hemisphere; its inverse function is the restriction of the projection map $(x,y,z)\mapsto (x,y)$. Every antipodal pair on $S^2$ meets that hemisphere. Moreover, two points of this hemisphere are antipodal only if both lie on the equator. ThusBy the universal property of the quotient topology, $q_S\circ h$ induces a continuous bijection

To justify continuity of the inverse function, the source is compact, being a continuous image of a compact space $D^2$; the Heine-Borel theorem gives compactness of $D^2$. The target is Hausdorff, as follows. For distinct equivalence classes $[u]\ne [v]$, putIn $S^2$, take the union $U$ of the two relative open balls of radius $\delta /3$ about $u,-u$, and similarly take $V$ about $v,-v$. Every distance between their respective centres is at least $\delta$, so the triangle inequality gives $U\cap V=\varnothing$. These open sets contain entire antipodal pairs, hence $q_S^{-1}(q_S(U))=U$ and similarly for $V$. The quotient topology therefore makes $q_S(U)$ and $q_S(V)$ disjoint open neighbourhoods of the two classes.

The compact-to-Hausdorff continuous bijection theorem now gives the required homeomorphism $H$.

For the sphere model of the real projective plane, letThen ${\mathbb{RP}}^2=S^2/{\sim }_S$ with the quotient topology: each equivalence class is an antipodal pair.

For the closed disc model, letGive $D^2/{\sim }_D$ the quotient topology. Only antipodal pairs on the boundary circle are identified in the closed disc model; interior points remain distinct.

The sphere $S^2$ is path-connected. For $u,v\in S^2$ which are not an antipodal pair, a continuous path isThe denominator never vanishes: a zero would make $u$ and $v$ antipodal. If $v=-u$, choose a unit vector $w$ perpendicular to $u$ and concatenate the paths from $u$ to $w$ and from $w$ to $v$ of the same form. Thus $S^2$ is connected. The quotient map $q_S$ is continuous and surjective, so the continuous image of a connected space theorem proves that ${\mathbb{RP}}^2$ is connected. In fact composing the paths above with $q_S$ also proves path connectedness.

Spherical geometry studies lengths and angles measured along the surface of a sphere, rather than through its interior. It is a useful model whenever travel is constrained to a round surface. Its straightest paths are great circle arcs: they are geodesics, even though they appear curved in the surrounding Euclidean space. Two distinct great circles meet at an antipodal pair, so the parallel-line picture of Euclidean geometry does not apply.

For a sphere of radius $R>0$, write two positions as $Ru,Rv$, with $u,v$ unit vectors. Their shorter surface route has great-circle distancewhere the dot product gives the central angle in radians. The straight chord through the surrounding Euclidean space instead has length $2R\sin (d/(2R))$. For a quarter-circle separation these are $\pi R/2\approx 1.571R$ and $\sqrt{2}R\approx 1.414R$: specifying which distance we mean has a measurable effect. On the unit sphere, $R=1$ and great-circle distance equals the central angle.

Consider the spherical triangle with vertices $(R,0,0)$, $(0,R,0)$ and $(0,0,R)$, joined by the shorter great circle arcs. Each side has length $\pi R/2$. At each vertex the two outgoing tangent vectors point along the other coordinate axes and are orthogonal, so all three interior angles are $\pi /2$. This is the positive coordinate octant of the sphere, not a flat triangle drawn inside it.

For a convex minor spherical triangle with interior angles $\alpha ,\beta ,\gamma$ in radians, the spherical excess formula statesOur octant therefore has area $R^2(3\pi /2-\pi )=\pi R^2/2$. Independently, eight congruent octants partition the sphere, giving $4\pi R^2/8$ again. Thus angles alone determine area when $R$ is fixed, unlike Euclidean geometry, where similar triangles can have arbitrarily different areas. The Gauss-Bonnet theorem explains the connection: the sphere's constant Gaussian curvature $1/R^2$ times the area equals this excess. For spherical triangles whose area is small compared with $R^2$, the excess is small, recovering the familiar flat picture.