The complex tautological line bundle over Complex projective space isOn the standard chart $U_i=\{[z_0:\cdots :z_n]:z_i\ne 0\}$, the vector $v_i([z])=z/z_i$ is independent of the chosen representative and gives a continuous nonzero frame. The mapis a local trivialization; its inverse takes the $i$th coordinate of the vector in the fibre. Hence $\lambda$ is a locally trivial complex line bundle.

Its unit sphere bundle is $S^{2n+1}$: a unit vector $v\in {\mathbb{C}}^{n+1}$ corresponds to $([v],v)$. The projection is the Hopf fibration. Regard $\lambda$ as an oriented real rank-two vector bundle using its complex orientation, and put $t=e(\lambda )\in H^2({\mathbb{CP}}^n;\mathbb{Z})$. The Gysin sequence of a sphere bundle gives, for $2\le q\le 2n$,as an isomorphism, since the intervening cohomology groups of $S^{2n+1}$ vanish. It also gives $H^1({\mathbb{CP}}^n)=0$. The CW complex structure has one cell in dimensions $0,2,\dots ,2n$ and none above $2n$, so these groups and products giveThe Euler class of $\lambda$ is the negative of the usual hyperplane generator; replacing $t$ by $-t$ gives the same ring presentation. For $n=0$ the formula reads $\mathbb{Z}$.

Now let $\alpha$ generate $H^2(S^2;\mathbb{Z})$ and let $u_i$ be its pullback from the $i$th factor of $(S^2{)}^n$. The Künneth theorem gives $H^2((S^2{)}^n;\mathbb{Z})={⨁}_i\mathbb{Z}{u}_i$. If a map $f$ were invariant under all factor permutations, write $f^{\ast }\alpha ={\sum }_i{a}_i{u}_i$; naturality under a transposition forces every $a_i$ to have the same integer value $a$. Let $\Delta :S^2\to (S^2{)}^n$ be the diagonal. ThenThe second condition is $f\circ \Delta =\mathrm{id}$, so this must equal $\alpha$, giving $na=1$. For $n>1$ this is impossible in $\mathbb{Z}$, and $\boxed{\text{no such continuous map exists}.}$ This is the diagonal-degree obstruction to a symmetric sphere retraction.

A metric space is complete if every Cauchy sequence in it converges to a point of that space. The stated shrinking-set characterization is the Cantor intersection theorem together with its converse.

First assume completeness, and choose $x_n\in A_n$. If $m,n\ge N$, then both points belong to $A_N$, so $d(x_m,x_n)\le \mathrm{diam}(A_N)$. The vanishing diameters imply that $(x_n)$ is a Cauchy sequence, hence it converges to some $x\in X$. For every fixed $N$, its tail belongs to the closed set $A_N$, so $x\in A_N$. Thus $x\in {\bigcap }_N{A}_N$. In fact the intersection contains only one point, since any two of its points have distance at most every diameter.

Conversely assume the stated intersection property and let $(x_n)$ be a Cauchy sequence. PutThese closures are nonempty, closed and nested. Taking a closure does not increase the diameter: approximate two points of the closure by points of the set and use continuity of distance. The Cauchy sequence therefore makes $\mathrm{diam}(A_N)\to 0$. Choose $x$ in the intersection. For $n\ge N$, both $x_n$ and $x$ belong to $A_N$, and $d(x_n,x)\le \mathrm{diam}(A_N)\to 0$. Every Cauchy sequence converges in $X$, proving completeness.

Replace the autocovariance in the finite-lag linear prediction equations by the sample autocovariance function. The last regression coefficient at order $k$ estimates the lag-$k$ partial autocorrelation function.

For $\dot{A}=D^{2}f(t)B$ and $\dot{B}=iA$, with $f$ alternating between $+1$ and $-1$ for intervals of length $T$, the monodromy matrix of a periodic linear system has determinant one and trace $\cosh (\sqrt{2}DT)+\cos (\sqrt{2}DT)>2$. Its reciprocal Floquet multipliers give positive dominant Floquet growth rate for $D,T>0$, despite the zero mean of $f$. An exceptional initial state in the stable eigenspace decays.

A parallel frame along a curve consists of a basis of vector fields $E_a$ satisfying $D_t{E}_a=0$ for its covariant derivative along a curve. Transporting a basis at the initial point constructs the frame. If the connection preserves the metric, an initially orthonormal basis stays orthonormal. In this frame the Jacobi equation becomes a linear matrix ordinary differential equation.

Along a smooth curve $\gamma :I\to M$, a horizontal lift of a linear connection on a vector bundle has fibre equation $v^{\prime }=-\Gamma (\dot{\gamma })v$. On each compact time interval the coefficient matrix is bounded, and the Gronwall inequality prevents finite-time blowup. A finite cover by vector bundle trivializations and ODE uniqueness patch local solutions. Exhausting the open interval gives a unique lift on all of $I$. Its endpoint map is linear, and reversal of the path gives its inverse; no completeness of the base manifold is needed.

Jointly time-change the radial and area martingales by the inverse of $A=\int R^{2}ds$. The bracket matrix becomes $u{I}_2$, so the Lévy characterization of multidimensional Brownian motion gives two independent Brownian coordinates. The clock is strictly increasing; if it were finite at infinity, the radial martingale would converge and $R_t^2=2t+O(1)$ would force its integral to diverge. Thus $R_t^2=2W_{A(t)}+2t$ and $Z_t=B_{A(t)}$ with $W,B$ independent.

Let $M_1,\dots ,M_N$ be continuous local martingales starting at zero, with $⟨M_i,M_j⟩=0$ for $i\ne j$ and $⟨M_j{⟩}_{\infty }=\infty$ almost surely. The individual Dambis-Dubins-Schwarz theorem time changes produce independent standard Brownian motions $B_j$ with $M_j(t)=B_j(⟨M_j{⟩}_t)$. Independence is between the Brownian motions; each may still depend on its own clock.

Equating the optically thin cooling time to the uniform-sphere free-fall time gives a critical gas density proportional to $T^2/{\Lambda }^2$. With hydrogen mass fraction $X$, particle ratio $\chi$ and gravitating gas fraction $f_g$, it is $[32G{m}_p/(3\pi X{f}_g)][3\chi k_{B}T/(2\Lambda ){]}^2$. At fixed temperature, gas above this density cools faster than free fall. A smaller gravitating gas fraction moves the boundary upward because gravity is faster at a fixed gas density.

The one-triangle adjunction idempotent splits if and only if $G$ has a left adjoint. From a splitting $F\stackrel{r}{\to }H\stackrel{s}{\to }F$, define the new unit $Gr\eta$ and counit $\epsilon s_G$; the absorption identities imply both triangle identities for an adjunction. Conversely, for $H⊣G$ with unit $\psi :1\Rightarrow GH$ and counit $\phi :HG\Rightarrow 1$, the splitting maps are $r={\epsilon }_{H}F\psi$ and $s={\phi }_{F}H\eta$. Their composites are $rs=1_H$ and $sr=e$.

For a planar nematic director $\mathbf{n}=(\cos \chi ,\sin \chi )$ and constant amplitude ${\lambda }_0$, the nematic order parameter isDifferentiation gives $\nabla \cdot Q={\lambda }_0(-\sin 2\chi {\chi }_x+\cos 2\chi {\chi }_y,\cos 2\chi {\chi }_x+\sin 2\chi {\chi }_y)$. The coefficient matrix is orthogonal, proving the identity. Hence $K|\nabla \cdot Q{|}^2/2$ is the angle-gradient energy with effective modulus $K{\lambda }_0^2$. The full tensor-gradient norm instead obeys ${\sum }_{ijk}({\partial }_k{Q}_{ij}{)}^2=2{\lambda }_0^2|\nabla \chi {|}^2$ in this normalization; the two local densities must not be confused.

The ocean transport streamfunction convention $Hu=-{\psi }_y$, $Hv={\psi }_x$ gives relative vorticity $\zeta =H^{-1}{\nabla }^2\psi -H^{-2}\nabla H\cdot \nabla \psi$. This identity is exact for variable positive depth and does not assume that depth variations are small.

For an integral normal variety that is Noetherian, removing a closed subset of codimension at least two does not create new regular functions. Affine-locally, a normal Noetherian domain is the intersection of its localizations at height-one primes inside its fraction field. The complement still contains every height-one point, so a regular function on it lies in each such localization and therefore in the original ring. On projective space this also follows directly by excluding irreducible polynomial factor of the denominators on each polynomial affine chart.

An algebraic variety whose local rings are integrally closed domains. In particular an irreducible variety that is a normal variety has normal affine coordinate rings, enabling codimension-two extension of regular functions on a normal variety.

A syllable is a nonidentity element of one factor in a free product word. A reduced normal form has successive syllables in different factors; its syllable length is the number of these elements. This length records factor elements, rather than letters in a chosen generating set.

With derivative-last connection coefficients and $N_{abc}={\nabla }_c{g}_{ab}$, the displayed tensor is the symmetric-in-$a,b$ correction associated with the nonmetricity tensor. Raising its final slot gives the correction to connection coefficients. It vanishes for metric compatibility. Reversing the sign used to define nonmetricity reverses this formula.