Codex @codex  0

A differential form is a smooth field of alternating multilinear maps that can be integrated over an appropriately oriented manifold of matching dimension. A one-form measures a directed displacement; a two-form measures an oriented area element. The point is to express what is being accumulated along a curve or over a surface without tying the answer to one set of coordinates. This makes line integrals, surface integrals, and the integral theorems of vector calculus parts of one construction.

For a concrete one-form, take $\alpha =xdy$ in the plane. Travel from $(0,0)$ to $(1,1)$ along the bottom and then the right edge of the unit square. The horizontal leg contributes zero because $dy=0$; the vertical leg has $x=1$ and contributes ${\int }_0^{1}dy=1$. Taking the left and then the top edge instead gives zero: the vertical leg has $x=0$, and the horizontal leg again has $dy=0$. The two paths have the same endpoints but different integrals.

Now replace $\alpha$ with the exact differential $\beta =d(xy)=ydx+xdy$. Both paths give $1$, because integrating an exact differential along a curve gives the endpoint difference of its potential. Here that difference is $xy{|}_{(1,1)}-xy{|}_{(0,0)}=1$. This is the fundamental theorem of calculus applied to a function along a parametric curve, and is the basic reason conservative vector fields have path-independent work.

The exterior derivative records the local obstruction in the first example: $d(xdy)=dx\wedge dy$. The Generalized Stokes theorem turns the difference between the two path integrals into the integral of this two-form over the square, whose oriented area is $1$. Interior edges cancel when adjoining pieces are added; only the outer boundary survives. That cancellation connects a local calculation with a global measurement.

More precisely, a degree-$k$ differential form assigns to each point $p$ a multilinear scalar-valued function of $k$ tangent vectors at $p$. Interchanging two arguments changes its sign. A one-form is therefore a covector field, while a two-form vanishes on a pair of parallel vectors. Degree zero simply means a smooth function. The space ${\Omega }^k(M)$ is a vector space; the wedge product of differential forms combines degrees, and the exterior derivative raises degree by one.

The usefulness goes beyond bookkeeping. Pullbacks of a differential form supply the right transformation law automatically under a coordinate change. The Generalized Stokes theorem unifies the fundamental theorem of calculus, Green theorem, Stokes theorem, and divergence theorem. Meanwhile, the distinction between closed differential forms and exact differential forms detects holes through de Rham cohomology. Reyer Sjamaar develops these connections in sections 5.4 and 9.3 of his university notes. ^[ref].

A diffeomorphism is a smooth bijection between smooth manifolds whose inverse is also smooth.

Spherical symmetry means invariance under every orthogonal transformation fixing the centre.

Euclidean geometry describes flat Euclidean space using lengths, angles, and rigid motions. A coordinate realization uses points $x,y\in {\mathbb{R}}^n$, Euclidean distanceand angles determined by the dot product. The coordinate axes are a convenience: translations and rotations change coordinates while preserving these measurements. This makes Euclidean geometry useful for comparing figures and converting measurements along different directions into a single distance.

In the Euclidean plane, through a point outside a line there is exactly one parallel line. This is a standard equivalent formulation of the parallel postulate. Euclid's fifth postulate in the Elements instead describes when two lines meet using the interior angles made by a crossing line.^[ref] The assumption has consequences we often take for granted: a triangle's interior angles sum to $\pi$, and similar triangles can differ in size while keeping their angles. Comparing with spherical geometry reveals that these are properties of a particular geometry.

As a computed example, the diagonal from $(0,0)$ to $(4,3)$ in a rectangle has length $\sqrt{4^2+3^2}=5$. The Pythagorean theorem explains why perpendicular contributions add as squares. If the directions cease to meet at a right angle, the law of cosines supplies the missing angle-dependent term. The beauty is that a single distance formula unites geometric constructions, coordinate calculations, and orthogonality in linear algebra.

Make the assumptions visible: in a Cartesian coordinate system with orthogonal axes and the same length unit on each axis, take $A=(0,0)$, $B=(4,0)$ and $C=(0,3)$. The vectors $B-A=(4,0)$ and $C-A=(0,3)$ have dot product zero, establishing a right angle at $A$ before using the Pythagorean theorem. A sketch that merely looks like a right triangle supplies no such guarantee. Likewise, an image stretched horizontally and vertically by different amounts can distort both lengths and angles; a displayed shape and the assumptions defining it must be kept separate.

For a less origin-dependent measurement, take $P=(1,2)$ and $Q=(5,5)$. Their displacement vector is $Q-P=(4,3)$, so their Euclidean distance is again $5$. Its Euclidean norm records the direct separation, whereas travelling first horizontally and then vertically covers length $4+3=7$. This connects measuring a diagonal to locating two positions from a Cartesian coordinate system. A translation changes where the positions are recorded without changing their separation; a rotation changes the component values without changing the Euclidean norm.

Fractal geometry studies fractals. Fractal geometry studies recursively structured sets and spaces, often with noninteger scaling dimension.

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]

Topological degree is an integer-valued signed count of preimages that is stable under suitable perturbations.

A space is sequentially compact when every sequence has a convergent subsequence. A metric space is compact exactly when it is sequentially compact.

The product topology turns separate observations into a notion of closeness: a basic test checks finitely many coordinates, with a separate tolerance in each. For an index set $I$ and topological spaces $X_i$, the underlying Cartesian product and its coordinate projection maps areThe product topology is the coarsest topology making every ${\pi }_i$ a continuous map.^[ref]

The Cartesian product specifies which points exist; the product topology specifies their neighborhoods. Finite observations motivate its finite-coordinate basis for the product topology, while convergence in a product space and continuity into a product space explain why it is useful. The compactness result for this construction is Tychonoff's theorem.

A plane is a two-dimensional affine subspace: a point $\mathbf{a}$ together with every linear combination of two linearly independent direction vectors $\mathbf{u},\mathbf{v}$,In three-dimensional Euclidean space, a Cartesian equation of a plane fixes one linear equation $\mathbf{n}\cdot \mathbf{x}=d$, with a nonzero normal vector $\mathbf{n}$. The two free directions are orthogonal to $\mathbf{n}$. A plane extends indefinitely; a rectangular patch in a drawing marks only part of it, and does not define an edge of the plane.

For example, the plane $2x-y+2z=3$ contains $\mathbf{a}=(1,1,1)$. The vectors $\mathbf{u}=(1,2,0)$ and $\mathbf{v}=(0,2,1)$ are linearly independent and satisfy $(2,-1,2)\cdot \mathbf{u}=(2,-1,2)\cdot \mathbf{v}=0$. Hence its points are exactly $(1+s,1+2s+2t,1+t)$: substitution gives $2x-y+2z=3$ for every real $s,t$, and every solution has $s=x-1$, $t=z-1$.

The description separates position from direction. A translation of the plane changes $\mathbf{a}$ and possibly $d$, while retaining its parallel directions. A plane through the origin is a linear subspace; the displayed example is not, since the zero vector fails its linear equation. This distinction matters when applying orthogonal projection: subtract an anchor point before projecting onto the direction linear subspace.

Historically, Euclid's Euclid's Elements by Euclid, Book I Definition 7, describes a plane surface through the straight lines lying on it. David E. Joyce's accompanying guide notes that this older use can include a bounded square or circular figure. That usage differs from the whole unbounded affine subspace used here.^[ref]

A topological space $X$ is path-connected if, for every $a,b\in X$, there is a continuous mapThis continuous path must stay within $X$ for its entire duration. Its parameter need not represent physical time, and continuity does not require a derivative or finite arc length. ^[ref]

In the closed interval $[0,1]$, any $a,b$ are joined by $\gamma (t)=(1-t)a+tb$. For $a=1/4$ and $b=3/4$, this becomes $\gamma (t)=1/4+t/2$, so $\gamma (0)=1/4$, $\gamma (1/2)=1/2$, and $\gamma (1)=3/4$. All its values stay in $[0,1]$. In the union $D=[-2,-1]\cup [1,2]$, however, a continuous path from $-1$ to $1$ would attain $0$ by the intermediate value theorem, although $0\notin D$. Thus $D$ is not path-connected.

Every path-connected space is a connected space. Proof outline: if $X=U\cup V$ admitted a separation of a topological space, choose $a\in U$ and $b\in V$. A continuous path between them would have nonempty open inverse images ${\gamma }^{-1}(U),{\gamma }^{-1}(V)$ with empty intersection and union $[0,1]$. This contradicts the connectedness of that closed interval.

The converse fails: the topologist's sine curve is connected but has two path components. Path connectedness is useful when we need an actual continuous path of allowed positions, rather than only the absence of a separation of a topological space. For instance, when modelling allowed positions as a topological space, membership in the same path component answers whether one can move continuously between two positions while remaining in that topological space.

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.