The kernel is a closed identity fiber. The image is closed because a constructible subgroup is closed. Every nonempty fiber is a kernel translate, so the fiber dimension theorem gives $\dim G=\dim \ker \phi +\dim \mathrm{im}\phi$, even for inseparable morphisms.

This is a group action whose action map $G\times V\to V$ is a morphism of varieties. Orbits are locally closed: constructibility gives a relatively open piece, and its translates cover the orbit. An orbit of an irreducible group is irreducible and open in its closure. These facts control degenerations of quiver representations.

The multiplicative algebraic group has ${\mathbb{G}}_m(K)=K^{\times }$, with multiplication as its group operation. Its coordinate ring is $K[z,z^{-1}]$. The formal multiplicative group describes its law near the identity $z=1$.

Inversion is continuous on the group of invertible elements of a Banach algebra. The Neumann series gives a local bound on inverse norms, while $b^{-1}-a^{-1}=b^{-1}(a-b)a^{-1}$ makes the difference tend to zero as $b\to a$.

A topos classifies a geometric theory when geometric morphisms into it from any Grothendieck topos correspond naturally to internal models of that theory. Pulling back one generic model gives the corresponding model. For a finitary algebraic theory, the classifying topos is the covariant functor category on finitely presented models.

A uniform-depth particle-laden gravity current in fixed triangular cross section has conserved volume proportional to $h^{2}X$. A gravity-current front condition and absorbing-boundary particle deposition flux give $\dot{X}=\mathrm{Fr}\sqrt{G\varphi h}$ and $\dot{\varphi }=-2w(\varphi )\varphi /h$. The box describes late-time bulk evolution; it does not resolve the nose or immediate dam-break flow.

For fixed component masses, total mass $M=M_1+M_2$ and reduced mass $\mu =M_1{M}_2/M$, in the weak-field slow-motion circular orbits, $E=-GM\mu /(2a)$ and $J=\mu \sqrt{GMa}$ obey $dE/dJ=\Omega$. The gravitational-wave energy and angular-momentum balance makes the secular loss tangent to this circular family. Substituting $v^2=GM/a$ into the instantaneous quadrupole luminosity of a Kepler binary and differentiating $E$ gives the displayed inspiral equation. Integration givesThe orbit is quasicircular, with small radial drift. The formal coalescence time is not a valid extension of the weak-field point-mass model into the final strong-field or stellar-contact phase.

Sampling $G(n,p)$ and deleting one vertex per triangle and per independent $t$-set gives $R(3,t)>n-\left(\genfrac{}{}{0ex}{}{n}{3}\right)p^3-\left(\genfrac{}{}{0ex}{}{n}{t}\right)(1-p{)}^{\left(\genfrac{}{}{0ex}{}{t}{2}\right)}$. Choosing $n$ of order $(t/\log t{)}^{3/2}$ and $p$ of order $\log t/t$ makes the forbidden configurations inexpensive enough to prove the corresponding lower bound.

For $Au=u^{\prime \prime }-(1+x^2)u$ on $D(A)=\{u\in H^2(\mathbb{R}):x^{2}u\in L^2\}$, the form $a_{\lambda }(u,v)=\int u^{\prime }\overline{v^{\prime }}+(1+\lambda +x^2)u\bar{v}$ is coercive on the one-dimensional harmonic oscillator form domain when $\lambda >0$. The Lax-Milgram theorem gives a unique weak solution of $(\lambda -A)u=g$. The graph estimate for the harmonic oscillator puts it in $D(A)$, and $a_{\lambda }(u,u)\ge (1+\lambda )\Vert u{\Vert }_2^2$ gives the displayed resolvent bound. The domain is dense and the bounded resolvent proves closedness, so the Hille-Yosida theorem gives a contraction semigroup. An exponentially shifted semigroup with generator $A+I$ solves the heat equation with oscillator potential.

Cloning a vertex replaces it by several nonadjacent vertices with identical neighbourhoods. In homomorphism density, conditioning on the images of all other vertices reduces cloning to the inequality $\mathbb{E}{p}^t\ge (\mathbb{E}p{)}^t$ from the Jensen inequality. Iterated cloning shows that positive clique homomorphism density forces any fixed complete multipartite blow-up.

For coefficient column $q=(q_0,\dots ,q_d{)}^T$, $M_{ij}=q_i\overline{q_j}$ is a Hermitian matrix and a positive semidefinite matrix because $x^{\ast }Mx=|q^{\ast }x{|}^2$. Expanding $|q(z){|}^2$ on the unit circle gives coefficient $p_k={\sum }_{i-j=k}{M}_{ij}$. Thus $M$ has matrix rank one when $q\ne 0$ and zero otherwise. General feasible Gram matrices need not have matrix rank one.

For a matrix $G$ with independent standard normal entries, $G^{T}G/n$ is a Gaussian empirical Gram matrix and has expectation equal to the identity. With mean known to be zero it is the raw empirical second moment. Subtracting a sample mean would give a different estimator. On any fixed unit vector its quadratic form is a chi-squared variable divided by $n$.

For a basis $(u_i)$ of a finite-dimensional inner product space with conjugate-linear first argument, define $G_{ij}=(u_i,u_j)$ and ${\hat{u}}_k={\sum }_l(G^{-1}{)}_{lk}{u}_l$. Then $(u_i,{\hat{u}}_k)={\delta }_{ik}$ and $({\hat{u}}_j,{\hat{u}}_k)=(G^{-1}{)}_{jk}$. This is the inner-product representation of the dual basis; requiring the dual vectors to lie in the given span is essential.

A graded module over a graded ring $R={⨁}_i{R}_i$ is an $R$-module with a direct sum decomposition $M={⨁}_d{M}_d$ satisfying $R_i{M}_d\subseteq M_{i+d}$. A graded homomorphism preserves these degrees. Over a polynomial ring with positive variable degrees, a finitely generated module of this kind is bounded below and has finite-dimensional graded components over the coefficient field.

For a finite-dimensional vector subspace $E\subseteq X^{\ast }$ and $x^{\ast \ast }\in B_{X^{\ast \ast }}$, exact interpolation on $E$ is possible by an $x\in X$ of norm less than $1+\epsilon$. The restriction map $X\to E^{\ast }$ is onto and open. Separation of the image of the radius-$1+\epsilon$ open ball would contradict $|x^{\ast \ast }(e)|\le \Vert e\Vert$. Scaling the interpolant slightly back into the closed unit ball proves the Goldstine theorem.

For $n\ge 2$, apply a Hadamard gate to one qubit, then controlled-NOTs from it to all others. Replacing each controlled-NOT gate by a target Hadamard, a Controlled-Z gate, and another target Hadamard uses $1+3(n-1)$ allowed gates. Each one-qubit reduced state is $I/2$, proving entanglement across each qubit-versus-rest bipartition.

For an initially uniform strip current of half-width $a$, the final balanced energy fraction isThe fraction tends to $1-r+O(r^2)$ for a narrow strip and to $1/(2r)$ for a wide strip. The difference is outgoing inertia-gravity wave energy, consistent with conservation of energy; the infinite-strip energies are interpreted per unit along-strip length.

A functor $F:\mathcal{C}\to \mathcal{D}$ induces a geometric morphism from the presheaf topos on $\mathcal{C}$ to that on $\mathcal{D}$. Its inverse image is precomposition with $F^{\mathrm{op}}$, its direct image is Right Kan extension and its extra left adjoint is left Kan extension. The extra left adjoint sends $yC$ to $y(FC)$.

A topos over sets is local when its global sections functor is itself an inverse image functor. For an idempotent-complete small indexing category, its presheaf topos is local exactly when the indexing category has a terminal object: then global sections are evaluation at that object.

A regular curve with tangent $v=dx/du$ is an unparametrized geodesic of an affine connection if ${\nabla }_{v}v=f(u)v$. Choose a new parameter $s$ with $ds/du=r(u)>0$ and $r^{\prime }/r=f$. Then $w=dx/ds=v/r$ obeys ${\nabla }_{w}w=r^{-2}({\nabla }_{v}v-(r^{\prime }/r)v)=0$. Conversely a reparametrized affine geodesic has acceleration proportional to its tangent. This criterion concerns the geometric curve, not a fixed parametrization.