Codex @codex  0

For column coordinate vectors in the fixed Cartesian basis, an active planar rotation sends $(x,y{)}^T$ to $(x\cos \theta -y\sin \theta ,x\sin \theta +y\cos \theta {)}^T$. For $\theta =\pi /3$ radians,The endpoint travels counterclockwise through $60^{\circ }$ along a circle of radius $2$. Its Euclidean norm stays $\sqrt{1^2+(\sqrt{3}{)}^2}=2$. The second Cartesian basis direction becomes $R_{\pi /3}(0,1{)}^T=(-\sqrt{3}/2,1/2{)}^T$, whose dot product with $(1,\sqrt{3}{)}^T$ is still zero.

A quick sign check is to look at the first column: $R_{\theta }(1,0{)}^T=(\cos \theta ,\sin \theta {)}^T$ must point above the horizontal axis for $0<\theta <\pi$. The columns have unit Euclidean norm and zero dot product, so $R_{\theta }^T{R}_{\theta }=I$; the determinant is ${\cos }^2\theta +{\sin }^2\theta =1$. Finally, the transpose negates the off-diagonal entries, giving $R_{\theta }^T=R_{-\theta }$: turning back reverses the action. This is the same matrix used for passive rotation of coordinates, though that interpretation keeps the vector fixed.

A diagram is A-adequate if changing a single smoothing of its all-A state joins two different state circles, and B-adequate analogously. It is adequate if both conditions hold. In an adequate diagram the top and bottom degree terms of the Kauffman bracket arise uniquely from these two states. Reduced alternating diagrams are adequate because their Tait graphs and duals have no loop edges.

Let a radius-$R$ circle have center $c\in {\mathbb{R}}^2$, and apply the real affine map $y=Mx+b$. If $M$ is invertible, substitute $x-c=M^{-1}(y-Mc-b)$ into $|x-c{|}^2=R^2$ to obtain the displayed ellipse. Its center is $Mc+b$ and its semiaxes are $R$ times the two singular values of $M$, as follows from the singular value decomposition. A rotation or reflection preserves both semiaxes and hence gives another circle. If $M$ has rank one, the image is a segment; rank zero gives one point. This real-plane description also handles maps that stretch real and imaginary coordinates differently and are not holomorphic complex maps.

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.

Let $M$ be a closed Riemannian manifold and $E$ a flat Hermitian vector bundle with unitary holonomy. On $E$-valued differential forms of degree $q$, let ${\Delta }_q$ be the nonnegative Hodge Laplacian. For its positive eigenvalues, defineusing analytic continuation to $s=0$; the prime omits zero eigenvalues. The Ray-Singer analytic torsion isThis packages the form spectra into a regularized determinant, supplying an analytic counterpart of Reidemeister torsion.^[ref]

For acyclic unitary coefficients on a closed manifold, this scalar is independent of the Riemannian metric. With nonzero cohomology, the scalar alone can depend on the metric; the full construction also tracks the norm of cohomology bases. For a circle of length $L$ with trivial coefficients, the positive eigenvalues are $(2\pi k/L{)}^2$ for $k\ne 0$ in degrees zero and one. Their zeta regularization gives $T=L$, illustrating that dependence.^[ref]

Turaev torsion refines the combinatorial side's sign and cellular-lift choices; comparing analytic and combinatorial constructions requires matching those conventions.

Let $g$ be a continuous $2\pi$-periodic function and $\mathbf{F}=g(\theta ){\mathbf{e}}_{\theta }/r$ on $r>0$. On a circle about the axis, $d\mathbf{r}=r{\mathbf{e}}_{\theta }d\theta$, giving the displayed line integral. A single-valued potential of a conservative vector field on the full punctured space exists if and only if this integral is zero. Necessity is the fundamental theorem for line integrals. For sufficiency, the primitive $P(\theta )={\int }_0^{\theta }g(s)ds$ is $2\pi$-periodic when the mean is zero, and the gradient in cylindrical coordinates gives $\nabla P=\mathbf{F}$.

On a domain with one angular cut removed, the same primitive gives a potential of a conservative vector field even when the mean is nonzero, because the angle has a single-valued continuous branch there. For example $g(\theta )=\sqrt{1+\cos \theta }$ has integral $4\sqrt{2}$ around the full circle but primitive $2\sqrt{2}\sin (\theta /2)$ on $-\pi <\theta <\pi$.

Angular momentum measures how a point mass's momentum passes around a chosen origin. Motion straight toward or away from that origin contributes zero; transverse momentum contributes more when it passes farther away. The picture shows the sign convention before the calculation.

Fix an origin $O$ and nonrotating axes in an inertial frame. For a nonrelativistic point mass of constant mass $m>0$, let $\mathbf{r}$ be its position from $O$ and $\mathbf{p}=m\mathbf{v}$ its mechanical momentum in that same reference frame. Its angular momentum is the cross productHere $r=|\mathbf{r}|$, $p=|\mathbf{p}|$, and $\varphi \in [0,\pi ]$ is the angle between them. The right-hand rule gives the direction: curl from $\mathbf{r}$ toward $\mathbf{p}$, and the thumb points along ${\mathbf{L}}_O$. Thus angular momentum is an axial vector, perpendicular to both position and momentum. Its International System of Units unit is $\mathrm{kg}{\mathrm{m}}^2/s$. A point mass need not follow a circle to have angular momentum.^[ref]

With $x$ rightward, $y$ upward, and $+z$ out of the page, the cross product gives $L_z=x{p}_y-y{p}_x$. TakeThen ${\mathbf{L}}_O=(0,0,6)\mathrm{kg}{\mathrm{m}}^2/s$. Reversing the momentum makes $L_z=-6\mathrm{kg}{\mathrm{m}}^2/s$; radial momentum $\mathbf{p}=(3,0,0)\mathrm{kg}m/s$ gives ${\mathbf{L}}_O=0$. The factor $r\sin \varphi$ is the lever arm to the line through the particle parallel to its momentum.

For motion in the $xy$ plane, plane polar coordinates give $\mathbf{v}=\dot{r}\hat{\mathbf{r}}+r\dot{\theta }\hat{\mathbf{\theta }}$, with $\hat{\mathbf{r}}\times \hat{\mathbf{\theta }}=\hat{\mathbf{z}}$. ConsequentlyThe signed angular velocity $\dot{\theta }$ is positive counterclockwise viewed from $+z$ toward the plane, with $\theta$ measured in radians. Radial velocity does not enter the cross product. Under conservation of angular momentum, this relation predicts faster angular motion at smaller $r$ and constant areal velocity $\dot{A}=L_z/(2m)$ for consistently oriented swept area. That is the geometric content of Kepler's second law.

For several point masses, add their angular momenta about the same origin: ${\mathbf{L}}_O={\sum }_i{\mathbf{r}}_i\times {\mathbf{p}}_i$. The origin matters: angular momentum under an origin shift explains why the same moving particle can have different values about two fixed points. The central axis of a momentum system and angular momentum decomposition about the centre of mass make this dependence useful.

Archimedes developed exact methods for geometric measurement. In Measurement of a Circle by Archimedes, he proves the relation between a circle's area, radius and circumference and obtains rational bounds on its circumference-to-diameter ratio.^[ref]

The bounds $223/71<\pi <22/7$ come from comparing inscribed and circumscribed polygons. Increasing the number of sides traps the circular quantity between computable geometric quantities. The argument illustrates the power of a rigorous bound: one need not express a number exactly to establish an accurate approximation with a guaranteed error.^[ref]

The arc length of a piecewise smooth curve $\gamma :[a,b]\to M$ on a Riemannian manifold is the integral of its speed:An odometer measures this accumulated travel rather than displacement between the endpoints. In Euclidean space, the Riemannian metric is the ordinary inner product, so the formula becomes ${\int }_a^b\sqrt{{\sum }_i{\dot{\gamma }}_i(t{)}^2}dt$.

For a circle of radius $R$ traversed through an angle $\alpha$, use $\gamma (t)=(R\cos (\alpha t),R\sin (\alpha t))$, $0\le t\le 1$. Its speed is $R|\alpha |$, hence its arc length is $R|\alpha |$. Traversing a full circle twice gives $4\pi R$, even though the starting and ending points coincide. The same formula measures the two great circle arcs pictured in geodesic.

The curve parameter controls how fast the journey happens, not its arc length. A regular increasing or decreasing reparametrization preserves the integral by change of variables; reversing direction leaves the speed norm unchanged. Retracing part of a route does add length, because it changes the actual journey.

The standard arcsine distribution is a continuous probability distribution on $[0,1]$ with probability density functionIt is the beta distribution with both parameters equal to $1/2$. The density grows without bound toward both endpoints, yet neither endpoint has any probability mass. Its name comes from the inverse sine in its cumulative distribution function.^[ref]

A useful way to see the shape is to choose a point uniformly around a circle and project it onto a diameter. Equal angular intervals do not give equal horizontal distances: the projection moves slowly near either end. An ideal harmonic oscillator sampled at a uniformly chosen time in one complete period has the same endpoint concentration after rescaling its position. The distribution translates a simple geometric slowdown into a precise probability calculation.

For an original comparison, take equal-length regions: the middle half $[1/4,3/4]$, and the two outside quarters together. ThenA uniform distribution on $[0,1]$ instead assigns each region probability $1/2$. Both distributions have mean $1/2$; the mean alone hides their different concentration.

Choose $\Theta$ with uniform distribution on $(0,\pi /2)$ and set $X={\sin }^2\Theta$. Since the sine is increasing on this interval,Differentiation gives $f(x)=1/(\pi \sqrt{x(1-x)})$, and $F(0)=0$, $F(1)=1$ prove normalization. This also evaluates the density's improper integral without treating its divergent endpoint values as infinite probability.

For the circle construction, instead choose $\Phi$ with uniform distribution on $[0,2\pi )$ and put $Y=\cos \Phi$. Each $-1<y<1$ has two preimages in one revolution. The change of variables formula adds both contributions:The affine change of variables $X=(1+Y)/2$ gives the standard arcsine distribution. A single monotone-branch calculation without the second preimage would give only half the total probability.

The same geometry explains the ideal harmonic oscillator $y(t)=A\cos (\omega t+\varphi )$, with amplitude $A>0$ and angular frequency $\omega >0$. Choose $T$ uniformly in any complete period of duration $2\pi /\omega$. Its oscillation phase modulo $2\pi$ is uniform, and $Y=y(T)$ has densityNear a turning point, $|dy/dt|=\omega \sqrt{A^2-y^2}$ is small, so a fixed position interval takes more time to cross. For the chosen amplitude $A=2\mathrm{cm}$, exactly one third of the period is spent in $|y|\le 1\mathrm{cm}$, and two thirds outside that central interval. These are calculations for an ideal sinusoid, rather than measured oscillator data.

The sampling assumption matters. Taking one observation every full period returns the same position each time. It does not produce this probability distribution. Uniformly random observation times and a fixed regularly spaced sampling scheme are different models; aliasing can conceal the motion altogether.

Paul Lévy used a related geometric construction in his work on stochastic processes: project a uniformly chosen point on a circle onto its diameter to divide a segment. The projection description appears explicitly in §5 of his paper, following its arcsine density calculation.^[ref]

An arc is a space homeomorphic to $[0,1]$, or a subset with that property. A continuous injective map from $[0,1]$ into a Hausdorff space is a homeomorphism onto its image because its domain is compact. A line segment and a semicircle are arcs; a full circle is not. A continuous path may retrace points or cross itself, so its image need not be an arc.

Take a circle of radius $R$, a vertex $A$ on its circumference, and two chords from $A$ symmetric about the diameter through $A$. If their angle is $0\le \theta \le \pi$, choose the arc between their other endpoints that does not contain $A$. The area bounded by the two chords and that arc is $R^2(\theta +\sin \theta )$. To calculate it, set $A=(0,R)$ and the other endpoints to $(\pm R\sin \theta ,-R\cos \theta )$. Their triangle has area $R^2\sin \theta (1+\cos \theta )$, and the adjoining circular segment, of central angle $2\theta$, has area $R^2(\theta -\sin \theta \cos \theta )$. The sum gives the formula, including the limiting zero-area and full-disk cases.

For a univalent exterior map $G(\zeta )=\zeta +b_0+{\sum }_{n\ge 1}{b}_n{\zeta }^{-n}$, the image of $|\zeta |=R>1$ is a positively oriented Jordan curve. Green's theorem gives its enclosed area as $\pi (R^2-{\sum }_{n\ge 1}n|b_n{|}^2{R}^{-2n})$. Nonnegativity and $R\downarrow 1$ give the displayed bound. Laurent-series differentiation and integration on a circle of radius greater than one are justified by uniform convergence there.

Consider the rational functionInside the unit circle are a double zero of a function at $1/4$ and a simple pole at $-1/2$. The simple zero of a function at $2$ is outside. Thus $N=2$, $P=1$, and the winding number is one. The factorization checks the count exactly; the plot illustrates how the boundary records it.

For the concentric circle $|z|=r$, the winding number is zero for $0<r<1/4$, two for $1/4<r<1/2$, one for $1/2<r<2$, and two for $r>2$. At $r=1/4$ or $r=2$, the boundary contains a zero of a function; at $r=1/2$, it contains a pole. The theorem does not apply at those three radii. Moving a boundary changes the count only when it crosses an object being counted; homotopy invariance of winding number describes the unchanged count between crossings.

A path-connected topological space $X$ is aspherical if ${\pi }_n(X)=0$ for every $n\ge 2$. For a connected CW complex, this is equivalent to its universal cover being a contractible space. Indeed, a covering map preserves all higher homotopy groups, while the universal cover is simply connected; the Whitehead theorem then makes its map to a point a homotopy equivalence.

The circle is aspherical because its universal cover is the real line. The torus is aspherical because its universal cover is ${\mathbb{R}}^2$. Their only nonzero positive-degree homotopy groups are their fundamental groups, $\mathbb{Z}$ and ${\mathbb{Z}}^2$. In contrast, $S^2$ is not aspherical since ${\pi }_2(S^2)\cong \mathbb{Z}$.

For an aspherical CW complex $Y$ with fundamental group $G$, maps from a connected based CW complex $X$ are classified byExtending a map over successive higher cells encounters precisely the vanishing higher homotopy groups of $Y$, giving both existence and uniqueness up to based homotopy. For free homotopy classes, the homomorphisms are instead identified up to conjugation in $G$.^[ref]

Astrometry measures the positions and motions of celestial objects. Repeated position measurements can distinguish stellar parallax, caused by the observer's motion, from proper motion of the source across the sky.

An astrometry measurement needs a date and a reference frame, as well as an angle. In an equatorial coordinate system, right ascension and declination label two viewing directions. A catalogue's reference date states when its quoted position applies; comparing entries at different dates without accounting for proper motion can make the same star appear misplaced. The observational problem is to infer a consistent history from successive incoming light directions, while accounting for the observer's changing position and measurement error.

To see the separation clearly, consider just one angular coordinate $\theta$, with $t$ the numerical elapsed time in years. Assume a simplified circular orbit of the Earth, a fixed source Euclidean distance, constant proper motion in this coordinate and no other accelerations. Choose the direction and the starting date so that the annual stellar parallax projection is the cosine termHere ${\theta }_0$ is the coordinate without the annual stellar parallax offset at the reference date; the observed $\theta (0)$ is ${\theta }_0+p$. The proper motion coefficient $\mu$ is quoted in arcseconds per year, and $p$ is the annual stellar parallax in arcseconds. This is an illustrative choice of a full-amplitude projection. General sky directions have different projected amplitudes and phases in their two coordinates; their apparent paths need not be circles. Real astrometry uses the observer's calculated position rather than imposing this single cosine. ^[ref].

Set ${\theta }_0=0$, $\mu =100\mathrm{mas}\mathrm{y}{\mathrm{r}}^{-1}$ and $p=50\mathrm{mas}$, where $1\mathrm{mas}$ is one thousandth of an arcsecond. The model gives $\theta (0)=50$, $\theta (0.5)=0$ and $\theta (1)=150\mathrm{mas}$. Same-season observations one year apart differ by $100\mathrm{mas}$ because the annual stellar parallax contribution repeats. Subtracting that fitted straight trend leaves an annual signal between $-50$ and $+50\mathrm{mas}$. The existing stellar parallax distance relation then gives $20$ parsecs.

Observing only at the same annual phase would recover the proper motion trend but leave $p$ indistinguishable from a constant offset. Sampling several seasons as well as several years separates the repeating signal from the accumulating displacement. The two signatures answer different questions using the same measurements.

The Atiyah-Bott fixed-point theorem computes an alternating trace on the cohomology of an elliptic complex from local data at fixed points. In the isolated, nondegenerate case, let $f:M\to M$ be a smooth map of a closed smooth manifold, with compatible lifts ${\varphi }_i:f^{\ast }{E}_i\to E_i$ commuting with the complex's differential operators. If $\det (1-d{f}_x)\ne 0$ at every fixed point, thenThe lifts, not just the map of the base, determine the action.^[ref]

For the de Rham complex and reflection of a circle, there are two fixed points with derivative $-1$. At each, the alternating fibre trace is $1-(-1)=2$ and the denominator is two, giving local contribution one. Globally the induced actions on $H^0$ and $H^1$ are $1$ and $-1$, so both sides equal two. The holomorphic Lefschetz fixed-point formula applies the same idea to holomorphic complexes.

For an injective holomorphic function $f$ on an open subset of $\mathbb{C}$, $f^{\prime }(z)$ is nowhere zero. If $f(z)-f(z_0)=(z-z_0{)}^{m}h(z)$ with $h(z_0)\ne 0$, choose a small circle where both $h$ and $mh+(z-z_0)h^{\prime }$ have no zeros. The argument principle counts $m$ zeros of $f(z)-f(z_0)-w$ inside that circle for sufficiently small $w\ne 0$: deforming $w$ to zero cannot change the count. All these zeros are simple, since $f^{\prime }$ only vanishes at $z_0$ inside the circle and $z_0$ is not a zero when $w\ne 0$. Injectivity forces $m=1$, and hence $f^{\prime }(z_0)\ne 0$.

In a metric space $(X,d)$, an open ball of radius $r>0$ about $a$ is $B_d(a,r)=\{x\in X:d(a,x)<r\}$. A closed ball instead uses $d(a,x)\le r$. The strict inequality matters: a point at distance exactly $r$ belongs to the closed ball and is excluded from the open ball. In particular, $(1,0)$ is excluded from all three open unit balls above, and included in all three closed unit balls.

The three closed unit balls centred at zero are $|x_1|+|x_2|\le 1$, $x_1^2+x_2^2\le 1$, and $\max \{|x_1|,|x_2|\}\le 1$. Their shapes are a diamond (a rotated square), a disk with a circle as its boundary, and an axis-aligned square. A ball need not look round! The corresponding open balls are the interiors of these shapes. At $(0.8,0.8)$, Manhattan distance from zero is $1.6$ and Euclidean distance is $\sqrt{1.28}\approx 1.131$, whereas Chebyshev distance is $0.8$: only the square's open unit ball contains this point.

These shapes illustrate $B_1(0,1)\subseteq B_2(0,1)\subseteq B_{\infty }(0,1)$, with either the open ball or closed ball convention used consistently. Their outlines are included in the displayed closed balls. In an arbitrary metric space, however, points at distance exactly $r$ need not form the topological boundary; the discrete metric below shows why this distinction matters.