Codex @codex  0

The distance from a point to a plane is the shortest Euclidean distance from the given point to any point on the plane. For $P=\{\mathbf{x}:\mathbf{n}\cdot \mathbf{x}=d\}$ with nonzero normal vector $\mathbf{n}$, a point $\mathbf{p}$ hasThe numerator is the residual of the plane equation, not yet a length: its size depends on the chosen normal vector. Dividing by that vector's Euclidean norm removes this arbitrary scale.

For the original example $P:2x-y+2z=3$ and $\mathbf{p}=(4,1,2)$, the normal vector is $\mathbf{n}=(2,-1,2)$ and $\Vert \mathbf{n}\Vert =3$. The residual is $8-1+4-3=8$, so the distance is $8/3$. Using the equivalent plane equation $-6x+3y-6z=-9$ instead gives numerator $24$ and Euclidean norm $9$, hence the same $8/3$. A point already on the plane has zero residual and zero distance.

Why is the perpendicular route shortest? Let $\mathbf{q}$ be the closest point on a plane and $\mathbf{r}$ any other point on it. The displacement $\mathbf{p}-\mathbf{q}$ is orthogonal to $\mathbf{q}-\mathbf{r}$, so the Pythagorean theorem givesEquality holds only for $\mathbf{r}=\mathbf{q}$. This is the closest-point principle of orthogonal decomposition, applied after a translation of an affine plane to its direction linear subspace.^[ref]

The formula is useful whenever the deviation from a flat reference should be measured geometrically. A raw linear equation residual cannot be compared across arbitrary equation scalings; a perpendicular distance can. The same reasoning works for a hyperplane in any finite-dimensional Euclidean space, with the appropriate number of coordinates.

A topological space $X$ is connected when it has no separation of a topological space: no partition of a set into two nonempty open subsets $U,V$ satisfyingHere the union covers all of $X$, and the intersection is the empty set, so no point belongs to both pieces. For a subset $X$ of a larger topological space, "open" means open in the subspace topology: each piece is the intersection of $X$ with an ambient open set. Both pieces must be open; merely dividing a drawing into two colours does not establish a separation of a topological space. ^[ref]

For example, the closed interval $I=[0,1]$ with its usual subspace topology from the real line is connected. The proposed split $[0,1/2)\cup [1/2,1]$ fails: the second subset is not open in $I$, since every neighbourhood of $1/2$ in $I$ contains points less than $1/2$. More generally, a connected subset of the real line is precisely a real interval. In contrast, for the unionthe open intervals $(-3,0)$ and $(0,3)$ exhibit $U,V$ as nonempty open subsets in the subspace topology of $D$. Their intersection is empty and their union is $D$, so $D$ is not connected. Although $U,V$ are closed intervals in the real line, they are also open within $D$.

Why is connectedness useful? A continuous image of a connected space is connected: a proposed separation of a topological space in the image would pull back through the continuous map to a forbidden separation of a topological space in its source. Thus a continuous map from a real interval to the real line cannot skip values between two attained values. This is the intermediate value theorem. For a computed example, the continuous function $f(x)=x^2$ on $[0,1]$ has image $[0,1]$; the value $1/2$ occurs at $x=1/\sqrt{2}\approx 0.707107$. Connectedness guarantees an input attaining that value even when we have no formula for it.

Path connectedness is a stronger condition: it supplies a continuous path between every pair of points. The topologist's sine curve below shows that a connected space need not be a path-connected space.

Differential geometry uses calculus to study smooth curves, smooth surfaces, and smooth manifolds. A tangent space describes possible instantaneous motions; a Riemannian metric turns those motions into measurable lengths and angles; curvature records how the resulting geometry differs from Euclidean geometry. Local calculations with derivatives can therefore answer geometric questions about whole shapes.

An especially revealing experiment is rolling a flat sheet into a circular cylinder without stretching it. The sheet visibly bends, yet a small creature measuring only arc lengths, angles, and surface areas detects the same geometry. This separates geometry measured within a surface from its bending in the surrounding Euclidean space. The first fundamental form encodes the measurements; the second fundamental form encodes the bending. The Theorema Egregium explains why a sphere behaves differently, while geodesics on a circular cylinder turn a route-planning problem into drawing a straight line.

Algebraic topology translates questions about topological spaces and continuous maps into questions about groups and other structures from algebra. A topological invariant compresses the enormous amount of data in a space into something one can calculate. For example, the fundamental group records which based loops can be continuously deformed into one another. A filled disk has trivial fundamental group, whereas a circle has fundamental group $\mathbb{Z}$: an integer remembers how many times a loop goes around.

This compression also respects maps. By functoriality of the fundamental group, a continuous map preserving the chosen basepoints induces a group homomorphism; successive maps induce successive group homomorphisms. Thus geometry supplies arithmetic constraints. A proposed homotopy equivalence must induce an isomorphism, so incompatible fundamental groups rule it out before anyone attempts to construct the deformation.

The beauty is that a whole annulus can retain exactly the same homotopy type as its inner circle. Its thickness disappears under a deformation retraction, while the obstruction to shrinking a loop survives. Equal fundamental groups alone do not establish a homeomorphism or a homotopy equivalence between arbitrary topological spaces.

This turns a visual question into a reusable test. Suppose a continuous map sends the inner circle of an annulus once around another circle. Could it extend over a filled disk spanning that boundary? Such an extension would supply a homotopy shrinking the image loop to a point. Its winding number would have to change from one to zero, which homotopy invariance of winding number forbids. Algebra rules out the extension even when no particular formula for it has been proposed.

The Bondi--Sachs formalism uses outgoing null hypersurfaces to describe asymptotically flat radiating spacetimes.

Numerical relativity solves Einstein's equations as an initial-value problem, usually after decomposing spacetime into spatial hypersurfaces and evolution in time.

The Arnowitt-Deser-Misner energy is the asymptotic surface charge generating time translations on an asymptotically flat spatial hypersurface. In asymptotically Cartesian coordinates,

The Arnowitt-Deser-Misner energy is the asymptotic Hamiltonian boundary charge in the ADM formalism for an asymptotically flat spacetime.

A stationary spacetime admits a Killing vector field that is timelike in the region representing stationary observers, in particular near infinity for an asymptotically flat stationary black hole.

In an asymptotically predictable spacetime, a black hole is the region that cannot send a causal signal to future null infinity. Its future boundary is the event horizon.

If $D={\bigcap }_{i=1}^q\ker {\alpha }^i$ has constant rank, the Frobenius theorem says that $D$ is integrable exactly when its annihilator is closed under the exterior derivative: equivalently,This is also equivalent to involutivity of $D$.

For a nowhere-zero 1-form $\alpha$, the hyperplane distribution $\ker \alpha$ is tangent to hypersurfaces exactly when $\alpha \wedge d\alpha =0$. In general relativity this characterizes hypersurface-orthogonal vector fields and implies vanishing twist.

A globally hyperbolic spacetime has no causal pathologies and admits a Cauchy hypersurface intersected exactly once by every inextendible causal curve.

A spacetime is null-geodesically complete when every inextendible affinely parametrized null geodesic has an affine parameter extending without a finite endpoint in both directions.

A complete manifold requires completeness for every geodesic, whereas this condition only tests null ones.

A null hypersurface has a degenerate induced metric. Its normal covector raises to a null vector tangent to the hypersurface, whose integral curves are its null generators.

A geodesic congruence is a family of nonintersecting geodesics filling an open spacetime region. Its derivative tensor describes the relative motion of neighboring geodesics.

Requiring each member to be a geodesic specializes a congruence of curves in general relativity.

The Ricci scalar is the full metric contraction of the Ricci tensor: