Codex @codex  0

For $n\ge 1$, a topological $n$-manifold with boundary is a Hausdorff second-countable space locally homeomorphic to relatively open sets in the half-space ${\mathbb{H}}^n$. The openness here is in the subspace topology of ${\mathbb{H}}^n$, not necessarily in ${\mathbb{R}}^n$. Its intrinsic boundary $\partial M$ consists of points sent to $x_n=0$; the remaining points have ordinary coordinate charts with images open in Euclidean space. The intrinsic boundary is independent of the chosen chart.^[ref]

The closed interval $[0,1]$ illustrates the distinction: its interior points have open interval charts, while $0$ and $1$ have charts modeled on $[0,\epsilon )\subseteq {\mathbb{H}}^1$, using $x$ and $1-x$. Its intrinsic boundary is $\{0,1\}$. The circle has empty intrinsic boundary even though its boundary of a set as a subset of the Euclidean plane is the whole circle. A topological manifold without boundary is therefore a special case with $\partial M=\varnothing$, and a smooth atlas on the half-space charts gives a manifold with boundary in the smooth sense.

A topological tripod is three copies of the closed interval $[0,1]$ with their zero endpoints identified to a single junction $o$. Equivalently, embed three line segments with distinct directions in the Euclidean plane and use the subspace topology. It is a compact, connected metric space, and is Hausdorff, second countable, and paracompact. Every interior arm point has a coordinate chart to an open interval, and each outer endpoint has a half-interval chart as in a topological manifold with boundary. The junction has neither kind of chart.

Here is a precise local obstruction. Let $S$ be a small open neighbourhood of $o$ consisting of initial segments of the three arms, excluding their outer endpoints. Every connected open neighbourhood $N$ of $o$ contained in $S$ contains an initial segment on every arm, because $N$ is open at $o$. Its intersection with each arm has no gaps: if a point between $o$ and a point of $N$ were missing, cutting there would separate the part beyond it from the rest of $N$, contradicting connectedness. Thus $N\setminus \{o\}$ has exactly three connected components, one interval per arm.

Suppose a coordinate chart $h$ to the real line existed at $o$. Choose a small open interval $I$ about $h(o)$ lying inside $h(S\cap \mathrm{domain}(h))$, and restrict the chart to $N=h^{-1}(I)$. This is a connected open neighbourhood of $o$ contained in $S$. Removing $o$ leaves three connected components in $N$, while removing $h(o)$ leaves two in $I$. A homeomorphism preserves connected components, so this is impossible. This restriction step is essential: the count is proved for any sufficiently small connected chart neighborhood, not merely one chosen drawing.

A higher dimension of a manifold cannot repair the junction. For $n\ge 2$, repeat the argument with an open ball about $h(o)$: a punctured open ball in ${\mathbb{R}}^n$ is path-connected, whereas $N\setminus \{o\}$ still has three connected components. A zero-dimensional chart would make $o$ an isolated point, which it is not. A chart at a boundary point of a topological manifold with boundary similarly gives a punctured relative half-ball: one connected component when $n=1$, and a path-connected space when $n\ge 2$. Consequently the topological tripod fails the local definition even when intrinsic boundary is allowed.

The circle provides a useful warning about scale: deleting a point from the whole circle leaves a connected space, but deleting it from a sufficiently small connected arc leaves two connected components. Local chart tests use the latter. The circle and interval are not homeomorphic article uses deletion from the whole spaces for a different, global obstruction.

Topology studies topological spaces through open sets and continuous maps. Its central equivalence is a homeomorphism: a bijection that preserves continuity in both directions. This lets us distinguish spaces by connectedness or compactness even when numerical metric values are irrelevant. The open interval $(0,1)$ and the real line have the same topology in this sense, although only the former is a bounded set with its usual metric.

The upper panels show an explicit homeomorphism and the inverse image test for a continuous map. The lower panels exhibit an obstruction to a homeomorphism: removing any point from a circle leaves a connected space, whereas removing an interior point from a closed interval gives two connected components.

Homotopy is a different notion: it varies a continuous map continuously with a parameter and may collapse points. For example, $H(x,t)=(1-t)x$ contracts $[0,1]$ to zero. Thus this closed interval and a singleton have the same homotopy type, but there is no homeomorphism between them because there is no bijection. Homotopy equivalence need not preserve compactness. ^[ref]

The abstract viewpoint already appears explicitly in Tietze's 1923 paper: he describes topology as the study of properties invariant under invertible continuous maps with continuous inverses, and discusses axioms for neighbourhoods, citing Hausdorff's 1914 book, page 213. ^[ref]

A path along a circle can have variable areal velocity. As an illustrative controlled trajectory, keep a point mass on a circle of radius $R$ with angleIts acceleration in polar coordinates and the required net force arewhere ${\mathbf{e}}_r$ and ${\mathbf{e}}_{\theta }$ are the radial and transverse unit vectors. A circular guide can supply the radial force, while a tangential drive supplies $mR\alpha$. HenceFor $R=m={\omega }_0=\alpha =1$ in illustrative units, the three equal time intervals $[0,0.5]$, $[0.5,1]$ and $[1,1.5]$ sweep areas $0.3125$, $0.4375$ and $0.5625$. Their difference comes from the transverse force's positive torque, even though the radius and path shape stay fixed. The area under each areal velocity graph segment equals the corresponding swept area.

For nonzero coprime integers $p,q$, the torus knot $T_{p,q}$ lies on a standard unknotted torus in the three-sphere and winds $p$ times meridionally and $q$ times longitudinally. Here a meridian of a solid torus goes around the small cross-section of the doughnut, while the longitudinal direction goes around its central hole. The integers count signed turns, so changing one sign gives the mirror of a link of the torus knot. In this article $p$ is always the meridional count and $q$ the longitudinal count.

An explicit parametric curve in three-dimensional Euclidean space iswhere $R>r>0$. Its cylindrical radius $\rho =\sqrt{x^2+y^2}$ satisfies $(\rho -R{)}^2+z^2=r^2$, the equation of the supporting torus. Its meridional angle is $pt$ and its longitudinal angle is $qt$: this checks the convention directly rather than relying on the picture. Its squared speed isIf two parameter values give the same point, their difference $\delta$ satisfies $p\delta ,q\delta \in 2\pi \mathbb{Z}$. Bézout's identity for the coprime integers $p,q$ then gives $\delta \in 2\pi \mathbb{Z}$. Thus the loop closes and is an injective function on the parameter circle, with nonzero derivative; it is a smooth embedding.

For example, $R=2$, $r=0.7$, $p=2$, $q=3$ produces a trefoil knot. During one circuit the meridional angle changes by $4\pi$ and the longitudinal angle by $6\pi$. The supporting torus is a guide for construction, not a constraint on later ambient isotopies: the knot may move off it. This family makes arithmetic visible as geometry: the coprime integers determine whether a single traversal visits the whole loop without repetition.

The coprime integers hypothesis matters. If the greatest common divisor is $d=\gcd (|p|,|q|)>1$, the same parametric curve retraces a single component $d$ times; it does not automatically draw $d$ different components. The corresponding torus link is instead the full set of points on the torus whose angles satisfy $q\varphi -p\theta \in 2\pi \mathbb{Z}$, with meridional angle $\varphi$ and longitudinal angle $\theta$. It has $d$ disjoint components, each with winding counts $(p/d,q/d)$. For instance, the torus link $T_{2,2}$ consists of two parallel $(1,1)$ loops and is a Hopf link, whereas substituting $(2,2)$ into ${\gamma }_{p,q}$ simply traces one of those loops twice.

Trigonometric functions turn an angle into a coordinate or a ratio of lengths. Start at $(1,0)$ on the unit circle and rotate counterclockwise through $\theta$ radians: the resulting point isThe cosine records horizontal position and the sine records vertical position. This definition continues around the whole circle, including negative angles, so the signs encode direction rather than requiring a separate rule for each right triangle.

The unit circle picture explains why these functions are useful beyond measuring triangles. The two coordinates of a point rotating at constant angular speed are periodic functions. Scaling the radius to $A$ and using $\theta =\omega t+\varphi$ gives $x=A\cos (\omega t+\varphi )$ and $y=A\sin (\omega t+\varphi )$. A circular motion becomes two simple repeating traces, connecting Euclidean geometry, simple harmonic motion, and Fourier series.

For an acute angle in a right triangle, rescaling its hypotenuse to one recovers the familiar ratios: sine is opposite side divided by hypotenuse, and cosine is adjacent side divided by hypotenuse. The tangent function is their ratio, $\tan \theta =\sin \theta /\cos \theta$, wherever the denominator is nonzero; the secant function, cosecant, and cotangent give the other reciprocal ratios.

The same names extend to complex numbers through the complex exponential:These definitions agree with the circle interpretation for real angles. For complex arguments, the values need not lie between $-1$ and $1$; the literal circle-coordinate picture is restricted to real arguments. ^[ref]

Replace each crossing of a diagram by a saddle joining its A smoothing above the projection sphere to its B smoothing below; cap the upper and lower state circles. For a connected classical link diagram this constructs a connected closed orientable surface. Its Euler characteristic is $s_A+s_B-c(D)$, so $s_A+s_B\le c(D)+2$. For an alternating diagram the surface has genus zero.

In the explicit slit map, right-side approach to $i/2$ gives the positive root, and left-side approach gives the negative root. The corresponding lower-half-plane boundary values are $\pm 25/(2\sqrt{21})$, so the two unit-circle image values are distinct. Every other conformal bijection onto the disk differs by a disk automorphism, which extends bijectively to the unit circle. Thus a sequence approaching that slit point has exactly one or both of two boundary cluster values, according to which sides occur infinitely often.

Take the circle $S^1=\{(x,y)\in {\mathbb{R}}^2:x^2+y^2=1\}$ with its subspace topology. Write $W=(-1,0)$ for its west point and $E=(1,0)$ for its east point. Two coordinate charts obtained by stereographic projection areBoth take values in the entire real line. Geometrically, join $W$ to $(x,y)$ and intersect the resulting line with $x=0$: the height is $t$. Projecting from $E$ instead gives height $u$. Each projection omits its own starting point, but the other coordinate chart includes that point. Hence $U\cup V=S^1$.^[ref]

To verify the homeomorphisms, solve the displayed equations for $(x,y)$. The inverse functions areEach formula lies on the circle, avoids its excluded point, and is continuous for every real argument. Substitution into the projection formulas returns $t$ or $u$; substitution in the other direction returns $(x,y)$. Thus these are continuous bijections with continuous inverse functions, as required for coordinate charts. Since the Euclidean plane is Hausdorff and second countable, the subset $S^1$ with its subspace topology is too. This checks all three conditions for a topological manifold, rather than just drawing a smooth-looking curve.

On the overlap $U\cap V$, both $x=\pm 1$ are excluded, so $y\ne 0$. Using $y^2=1-x^2$, the topological transition map isFor example, $(x,y)=(3/5,4/5)$ has $t=1/2$ and $u=2$. The two connected components of the overlap, the upper and lower arcs, correspond to the positive and negative parts of the punctured real line. The values $t=0$ and $u=0$ represent $E$ and $W$, respectively, and belong to only one chart each. The reciprocal coordinate change and its inverse function are smooth functions away from zero, so this topological atlas also supplies a smooth atlas.

Why can neither chart be enlarged to a single coordinate chart on the whole circle? The circle is a closed set and a bounded set in the Euclidean plane, hence compact by the Heine-Borel theorem. A global coordinate chart would give a homeomorphism to a nonempty open set $O\subseteq \mathbb{R}$. Its image would be compact and therefore closed in the real line. By connectedness of the real line, this forces $O=\mathbb{R}$, which is not compact. This is the one-dimensional instance of no compact manifold has a single Euclidean chart. Locally the circle is indistinguishable from the real line; globally compactness obstructs a single chart.

The unknot $U$ is the knot type represented by the planar circleEquivalently, an unknot is a knot that bounds a smoothly embedded disk in the three-sphere. The disk must itself be embedded; merely filling a loop with a map that is allowed to intersect itself does not establish that the knot is an unknot. Flattening a neighborhood of an embedded spanning disk explains why this criterion recovers the planar circle.

A complicated drawing can still represent an unknot. Starting with a crossing-free knot diagram of $U$, insert a small kink by a type I Reidemeister move. The resulting knot diagram has one crossing, but removing the kink exhibits the same unknot. Repeating in separate small regions gives knot diagrams of the unknot with arbitrarily many crossings, although the crossing number of a knot is $c(U)=0$. A drawing's apparent complexity is therefore not a certificate of knotting.

The normalized Alexander polynomial of a knot and Jones polynomial of the unknot are both $1$, and its knot group is the infinite cyclic group $\mathbb{Z}$, because the knot exterior is a solid torus. These are useful comparison values. In particular, a nonconstant Alexander polynomial of a knot certifies that a knot is not an unknot, but the converse fails: nontrivial untwisted Whitehead doubles also have Alexander polynomial of a knot $1$.

An untwisted band is the topological surface obtained from a rectangle by identifying $(0,v)$ with $(1,v)$. It is the Cartesian product of a circle and a closed interval, and is homeomorphic to a closed annulus. A finite portion of the lateral surface of a circular cylinder realizes it in three-dimensional space. Its two boundary circles are $S^1\times \{-1\}$ and $S^1\times \{1\}$, and the matching seam directions make it an orientable surface. The Möbius band changes just one identification sign and loses both this two-component boundary and its orientability.

The upper half-plane is the open setIt contains precisely the complex numbers with positive imaginary part: $1+i$ is inside, $1$ lies on its boundary, and $1-i$ belongs to the lower half-plane. In the complex plane its boundary is the real line; in the Riemann sphere the boundary also includes infinity. It is a convex set, hence a simply connected domain, and the Cayley transform between the half-plane and disk makes it biholomorphic to the unit disc.

With the hyperbolic metric $ds=|dz|/\mathrm{Im}z$, the same domain becomes the Poincaré half-plane model. Its hyperbolic geodesics are vertical lines and upper semicircles whose centres lie on the real line. Under the Cayley transform, these become arcs of circles orthogonal to the unit circle, with diameters as the straight-line cases. ^[ref]

Matching colours identify each hyperbolic geodesic and its image. The vertical line through zero maps to a diameter; the vertical line through one maps to an arc ending at $-i$ and $1$. A semicircle from $-1$ to $1$ also maps to a diameter, whereas the semicircle from $0$ to $2$ maps to a curved arc. Their endpoints lie on the boundary, outside the domains: the endpoints are infinitely far from interior points in hyperbolic distance.

The upper half-plane is useful because its straight boundary and explicit upper half-plane automorphisms make conformal maps and hyperbolic geometry calculable. The picture explains why shortest hyperbolic geodesic routes can look curved in Euclidean coordinates; their lengths are measured with the position-dependent hyperbolic metric.

For historical context, in his letter to Klein of 22 September 1882, Poincaré constructs a quadrilateral bounded by four circles orthogonal to a fundamental circle, and studies transformations generating repeated copies. In modern language, the sides inside that circle are hyperbolic geodesics in a disk model. The letter directly exhibits the connection between transformation groups, geometry and complex functions. ^[ref]