Codex @codex  0

The level equation is $|z_1{|}^2+|z_2{|}^2=|z_0{|}^2$. In particular $z_0\ne 0$, so the global affine coordinates on this level are $w_j=z_j/z_0$. They identify it withThe diagonal circle action becomes $(w_1,w_2)\mapsto (t{w}_1,t{w}_2)$ and is free: at least one coordinate is nonzero, so fixing a point forces $t=1$. Since the circle is compact, the Free proper Lie-group action theorem makes the quotient a smooth two-dimensional smooth manifold.

The map $(w_1,w_2)\mapsto [w_1,w_2]$ is the Hopf fibration. It is onto the complex projective line, and two unit representatives determine the same complex line precisely when they differ by a scalar of modulus one, hence by a circle orbit. Local sections, for example $[1,u]\mapsto (1,u)/\sqrt{1+|u{|}^2}$, show that the induced identification is a diffeomorphism. ThereforeThis identifies the symplectic reduction as a smooth manifold; no computation of its reduced symplectic form is needed.

Write the closed oriented surface of genus $g$ as ${\Sigma }_g=A\cup B$, where $B$ is a closed disk, $A$ is a slightly enlarged once-punctured surface, and $A\cap B$ is an annulus. Thus $B$ is contractible, $A\cap B$ is homotopy equivalent to the circle, and $A$ is homotopy equivalent to the wedge sum of $2g$ circles. The boundary circle represents the product of the $g$ commutators in the fundamental group of $A$, so its image in the first homology group, which is the abelianization of that group, is zero.

The relevant part of the Mayer–Vietoris sequence is consequentlyThe degree-zero part says that the connected space ${\Sigma }_g$ has $H_0({\Sigma }_g)\cong \mathbb{Z}$, while the groups above degree two vanish. Hence

Now $A_0=0$, so every mass is again at rest after the pulse and $z=0+O({ϵ}^2)$. Put $k=ϵA_1>0$. The final transverse coordinates areThe unit vectors along $x=y$ and $x=-y$ are eigenvectors with eigenvalues $1-k$ and $1+k$, respectively. Consequently an initial circle becomes, to first order, an ellipse compressed along the line $x=y$ and stretched along $x=-y$. This persistent deformation is displacement memory.

The unitization of $C_0(\mathbb{R})$ is $C({\mathbb{R}}^{+})$ on the one-point compactification of $\mathbb{R}$. The supplied homeomorphism identifies ${\mathbb{R}}^{+}$ with the circle $\mathbb{T}$. Every character $\phi$ of $C_0(\mathbb{R})$ extends to the unital characterBy part d, $\tilde{\phi }$ is evaluation at a point of ${\mathbb{R}}^{+}$. Evaluation at the point at infinity vanishes on $C_0(\mathbb{R})$ and cannot restrict to the nonzero character $\phi$. The point is therefore some $x\in \mathbb{R}$, and $\phi ={\delta }_x$. Conversely each ${\delta }_x$ is plainly a character, so

Polarization of waves describes the direction and time-dependent geometry of a transverse wave's vector during its oscillation at a fixed position. In three spatial dimensions, a transverse wave can have two independent directions of oscillation, both perpendicular to its direction of propagation. For polarization of an electromagnetic wave, the relevant vector is the transverse electric field; for a mechanical transverse wave, it can be the transverse displacement. A purely longitudinal wave has no choice between these transverse directions, and the orientation of a static electric field is not polarization of waves.

Choose transverse axes $x,y$ in a Cartesian coordinate system. A monochromatic wave with a fixed phase difference has the real electric fieldHere $A_x,A_y$ are wave amplitudes, $\omega$ is the angular frequency, and $\delta$ is the phase difference of the $y$ oscillation relative to the $x$ oscillation. The vector's tip traces its path during the wave period $T=2\pi /\omega$. Both plotted coordinates are real electric field components; neither axis represents the imaginary part of a complex amplitude.

For nonzero wave amplitudes, $\delta =0$ or $\pi$ modulo $2\pi$ gives linear polarization: the vector moves back and forth along a fixed line. Equal nonzero wave amplitudes and $\delta =\pm \pi /2$ modulo $2\pi$ give circular polarization: the tip traces a circle of constant radius. Unequal nonzero wave amplitudes with $\delta =\pm \pi /2$ give a noncircular ellipse whose axes coincide with $x,y$. More generally, nonzero wave amplitudes and $\sin \delta \ne 0$ give elliptical polarization, with circular polarization as a special case. If exactly one wave amplitude vanishes, the nonzero wave has linear polarization for every $\delta$; if both vanish, there is no nonzero wave to assign a polarization of waves. ^[ref].

For example, take $\omega =2\pi {\mathrm{s}}^{-1}$, so the wave period is $T=1\mathrm{s}$. The choices $(A_x,A_y,\delta )=(2,1,0)$, $(1,1,\pi /2)$ and $(2,1,\pi /2)$, with electric field wave amplitudes in $V/m$, produce respectively the line segment $E_y=E_x/2$, the circle $E_x^2+E_y^2=1$ and the ellipse $E_x^2/4+E_y^2=1$, when coordinates are measured in $V/m$. At $t=T/4$, their tips are respectively $(0,0)$, $(0,-1)$ and $(0,-1)V/m$. The last two share a point without having the same path.

Resolving the electric field into two transverse components makes polarization of waves useful: the same frequency and wave amplitudes can describe different paths when their phase difference changes. An ideal linear polarizer selects the component along its pass axis, letting its orientation probe the direction of linear polarization through Malus's law. A fixed pair of wave amplitudes and a fixed phase difference describe one stable path; unpolarized light requires a statistical description rather than one fixed ellipse.

For a polynomial $p(z)=c{\prod }_j(z-a_j)$ with $c\ne 0$, no polynomial root at zero, and $R>0$ different from every $|a_j|$, Jensen's formula gives the displayed expression. The polynomial roots are repeated according to their multiplicity of a zero: an exterior root contributes $\log |a_j|$, whereas an interior root contributes $\log R$.

For an explicit example, take the polynomialIts two simple zeros are $1/4$ and $-1/2$. The circle log-mean of a holomorphic function is thereforeAt $R=0.2$ the open disc contains no zeros of a function, at $R=0.4$ it contains $1/4$ only, and at $R=0.75$ it contains both. These three circles avoid the polynomial roots; the radii $1/4$ and $1/2$ are excluded from the displayed version.

The corresponding values of the circle log-mean of a holomorphic function and the circle geometric mean of a holomorphic function areFor example, at $R=0.4$ the contribution of the sole interior zero of a function is $\log (0.4/0.25)=\log (8/5)$; adding it to $\log (3/8)$ gives $\log (3/5)$. The second polynomial root still affects $f(0)$, but contributes no additional interior-zero term at this radius.

For a simple closed curve in the standard oriented complex plane, positive orientation keeps the bounded interior on the left while traversing the curve. A circle is therefore traversed counterclockwise; reversing direction changes the sign of its contour integral.

A power law is a relation $f(x)=C{x}^p$, with fixed constants $C$ and $p$. For positive $x$, any real number $p$ is allowed. Its useful feature is a simple scaling rule:The same proportional change of input produces the same proportional change of output, independently of the starting value. The exponent controls that response; the coefficient fixes the magnitude.

For example, the area of a circle is $A(r)=\pi r^2$. Doubling the radius multiplies its area by four, and tripling it multiplies the area by nine. The volume of a sphere is $V(r)=4\pi r^3/3$: the same changes multiply its volume by eight and twenty-seven. The distinction explains why similarly shaped objects do not preserve their ratio of surface area to volume when their size changes.

When the output is positive, a logarithm turns the power law into a straight-line relation. Using positive reference values $x_0$ and $f_0=f(x_0)$,These ratios are dimensionless quantities, so the formula also applies to physical measurements with units. Plotting both ratios on a logarithmic scale gives a line of slope $p$. Changing a unit changes the numerical coefficient, while the exponent stays the same. Positive $p$ describes increasing values; negative $p$ describes decreasing values; $p=0$ gives a constant. The zero coefficient is a degenerate case with no useful logarithmic slope.

Exact scaling is stronger than regular variation. The function $x^2\log x$ has a doubling ratio tending to four, but its logarithmic correction keeps growing. The diagram contrasts it with the exact power law $x^2$.

A power law for a probability density and a power law for a tail probability have different exponents. For a Pareto distribution with $\alpha >0$ and lower endpoint one,The tail probability has exponent $-\alpha$; differentiating it and changing sign gives the probability density exponent $-\alpha -1$. Confusing them changes the interpretation of a fitted exponent. The normalizing coefficient and lower endpoint also matter: a decreasing power law is not automatically a valid probability density over the entire positive real line.

The appearance of a line over a finite logarithmic range is evidence to investigate, rather than a proof of an exact power law or its mechanism. In their study of power-law distributions, Clauset, Shalizi and Newman combine maximum likelihood estimation, goodness-of-fit tests and comparisons with alternative models; their abstract explains why ordinary least-squares fitting can give misleading results for tail data. See Aaron Clauset, Cosma Rohilla Shalizi and M. E. J. Newman, Power-law distributions in empirical data, SIAM Review 51 (2009), 661–703. The scaling rule is mathematically exact when it defines a model; whether a dataset supports that model is a question of statistical inference.

In a complete decomposing sphere system for a knot, a disk inside a prime-factor ball that meets the knotted arc once cuts its factor into a connected sum of knots. One side must be an unknot. Replacing the ball by the side carrying the prime factor therefore preserves the unordered factor list. A disk missing the arc cuts off an empty ball and gives the same conclusion. After a small transverse perturbation, such a replacement removes an innermost intersection circle with another sphere system. If a chosen innermost disk contains both marked points, another innermost disk, or its complementary disk when it is the only intersection, contains neither. Iterating produces a prime-factor ball disjoint from both systems. The replacement changes only the location of a joining arc in the intervening punctured ball; capping the other boundaries still recovers the same oriented factors.

Every nontrivial oriented knot is a finite connected sum of knots of prime knots, uniquely up to permutation and oriented link isotopy. Existence follows by induction from additivity of Seifert genus. For uniqueness, compare complete decomposing sphere systems for a knot and remove their intersection circles by the prime-ball exchange lemma. Once a prime ball is disjoint from both systems, its factor can be removed from both; induction then matches all factors.

A quotient topological space is a quotient set equipped with the quotient topology. For a concrete gluing, give the closed interval $I=[0,1]$ its usual subspace topology, identify $0\sim 1$, and leave every interior point in its own singleton equivalence class. The resulting quotient space is a circle: the two endpoints become one point, while interior points remain distinct.

The exact continuous map to the unit circle in the plane isHere sine and cosine give $p(0)=p(1)=(1,0)$, and $p(s)=p(t)$ holds exactly when $s=t$ or $\{s,t\}=\{0,1\}$. Thus $p$ induces a bijection $\bar{p}:I/\sim \to S^1$. ^[ref] The universal property of the quotient topology makes $\bar{p}$ continuous. The quotient of a compact space is compact, and the unit circle is Hausdorff, so the compact-to-Hausdorff continuous bijection theorem makes $\bar{p}$ a homeomorphism. This verifies the topology, not merely the point identifications.

To inspect an open neighbourhood of the seam, choose $0<\epsilon <1/2$ and let $U_{\epsilon }=p([0,\epsilon )\cup (1-\epsilon ,1])$. Its full preimage isBoth pieces are open in the subspace topology on $I$, so $U_{\epsilon }$ is open in the circle. In contrast, $A=[0,\epsilon )$ is open in $I$, butis not open in $I$: it contains $1$ without any neighbourhood of $1$. Hence $p(A)$ is not open in the circle. A quotient map can therefore fail to be an open map.

For a continuous function $f:I\to \mathbb{R}$, the only gluing condition is $f(0)=f(1)$. For example, $f(t)=\cos (2\pi t)$ defines a continuous function on the circle, whereas $f(t)=t$ does not. This lets us use an interval as a coordinate for a periodic function while making the seam invisible. More general quotient spaces encode glued geometric pieces in the same way: describe continuous maps before gluing and check that their values agree on every equivalence class.

The Hausdorff property need not survive a quotient topology. In the non-Hausdorff quotient of the real line by rational translation, $x\sim y$ means $x-y\in \mathbb{Q}$. A nonempty open preimage $W$ must contain all translates by rational numbers of any open interval inside it. The density of the rational numbers then forces $W=\mathbb{R}$: for any $y$, some rational number $r$ has $y-r$ in that interval. Thus this quotient space has the indiscrete topology. The irrationality of the square root of two gives distinct equivalence classes for $0$ and $\sqrt{2}$, so this quotient space is not Hausdorff. Unlike the endpoint-gluing circle, this gluing identifies a dense subset with each point.

An angle in radians is the ratio of its subtended arc length to the radius of a circle. A full turn is $2\pi$ radians and a right angle is $\pi /2$ radians.