Codex @codex  0

A fiber metric on a real smooth vector bundle is a positive-definite inner product on each fiber that varies smoothly in vector bundle trivializations. A smooth partition of unity subordinate to trivializing charts averages their Euclidean inner products. Nonnegative weights preserve positivity and local finiteness ensures smoothness. Hence every real vector bundle over a Hausdorff second-countable smooth manifold admits a fiber metric. Applied to the tangent bundle, this is existence of a Riemannian metric.

The first fundamental form of a surface $S\subseteq {\mathbb{R}}^3$ is the restriction of the ambient inner product to each tangent space $T_{p}S$. For a parametrized surface $X(u,v)$, it is

For a finite-dimensional Irreducible Lie algebra representation of a complex semisimple Lie algebra with highest weight $\lambda$, this recursion computes its weight multiplicities from $m_{\lambda }(\lambda )=1$. Here $\rho$ is the half-sum of positive roots and the inner product is induced by the Killing form. Write the Casimir operator on the weight-$\mu$ space as $(\mu ,\mu +2\rho )I+2{\sum }_{\alpha >0}{F}_{\alpha }{E}_{\alpha }$. The cyclic trace identity between adjacent weight spaces gives $\mathrm{tr}(F_{\alpha }{E}_{\alpha }{|}_{V_{\mu }})={\sum }_{j\ge 1}(\mu +j\alpha ,\alpha )m_{\lambda }(\mu +j\alpha )$. Taking the trace and using the Casimir eigenvalue proves the formula. Only finitely many terms are nonzero.

For complex matrices, the inner product $⟨A,B{⟩}_F=\mathrm{tr}(A^{\ast }B)$ is conjugate-linear in its first argument. On real symmetric matrices it becomes $\mathrm{tr}(AB)$. In particular $⟨A,x{x}^T{⟩}_F=x^{T}Ax$, identifying quadratic forms with linear tests on matrices.

Choose $C_{\mathbf{p}}=a_{\mathbf{p}}^0-a_{\mathbf{p}}^3$ with the standard temporal and longitudinal polarization vectors. The physical pre-space is the common kernel of all $C_{\mathbf{p}}$. In each regulated mode, $a^0$ acts on creator polynomials as $-{\partial }_{a^{0†}}$ and $a^3$ as ${\partial }_{a^{3†}}$, so the constraint kernel consists of transverse creator polynomials and polynomials in $C^{†}=a^{0†}-a^{3†}$. Since $[C,C^{†}]=0$, these latter excitations remain constrained. They are orthogonal to every constrained state because $⟨\Phi |C^{†}=⟨C\Phi |=0$. Quotienting this radical of a Hermitian form leaves only the transverse bosonic Fock space with a positive inner product. The constraint alone gives a positive semidefinite Hermitian form; quotienting removes its null directions. If starting from finite-particle creator polynomials, take the Hilbert space completion of this positive quotient to obtain the physical Hilbert space.

For $\mathbf{k}=k\hat{z}$, these complex vectors form an orthonormal basis of the transverse plane using the Hermitian inner product. They have opposite phases under rotations about $\hat{z}$, so they describe the two helicity components. Since $\mathbf{e}\cdot m^{(\pm )}=\sin \theta e^{\pm i\phi }/\sqrt{2}$, transverse-vector sources carry only the angular sectors $m=\pm 1$ of spherical harmonics. Streaming by $ik\cos \theta$ preserves $m$ and couples neighboring angular degrees.

An indefinite Hermitian form takes both positive and negative values on $⟨v,v⟩$ for nonzero vectors. For example, $-|v_0{|}^2+|v_1{|}^2+|v_2{|}^2+|v_3{|}^2$ is indefinite. It is not a positive inner product defining a Hilbert space, and a nonzero vector can have zero norm without being orthogonal to all vectors. A positive semidefinite restricted form becomes a positive inner product only after quotienting its radical of a Hermitian form.

A Riemannian metric induces a dual inner product on each cotangent space. On decomposable covectors define $⟨{\xi }_1\wedge \cdots \wedge {\xi }_p,{\zeta }_1\wedge \cdots \wedge {\zeta }_p⟩=\det (⟨{\xi }_i,{\zeta }_j⟩)$ and extend bilinearly. Increasing wedges of an orthonormal coframe form an orthonormal basis. This positive-definite inner product is the one used to define the Hodge star operator.

An inner-product space is a vector space equipped with an inner product. The inner product induces the norm $\Vert x\Vert =\sqrt{⟨x,x⟩}$ and hence a metric.

An isometric immersion is an immersion $f:M\to N$ between Riemannian manifolds whose derivative preserves the inner products of tangent vectors; equivalently, $f^{\ast }{g}_N=g_M$. Its derivative is injective and the target may have larger dimension. A local isometry additionally requires a local diffeomorphism, so its tangent maps are linear isomorphisms. For example, a sphere with its induced Riemannian metric is isometrically immersed in Euclidean space, although its positive intrinsic sectional curvature differs from that of the ambient space.

For a constant reference density, fluid perturbation kinetic energy is proportional to $\Vert u{\Vert }^2/2$ under the displayed $L^2$ inner product. An adjoint operator for perturbation evolution must be defined relative to this inner product, including boundary conditions and the projection onto incompressible flow.

The L2 inner product is the inner product $⟨f,g⟩=\int f\overline{g}d\mu$ on L2 space. Its induced norm is the L2 norm, and the mass matrix represents it in a finite element basis.

The linear kernel is the ordinary inner product on a real vector space.

In an irreducible root system with two root lengths, a long root has the larger length with respect to a Weyl group invariant inner product.

Start with finite real linear combinations of $1$, $\cos (\lambda x)$ and $\sin (\lambda x)$ with arbitrary positive real frequencies, and use the inner product $⟨f,g{⟩}_M={\lim }_{R\to \infty }{R}^{-1}{\int }_{-R}^{R}fg$. Product-to-sum identities give existence of these averages and mutual orthogonality of distinct frequencies. The squared norm is $2a_0^2+{\sum }_{\lambda }(a_{\lambda }^2+b_{\lambda }^2)$. Its Hilbert space completion contains an uncountable orthonormal set, so is not a separable Hilbert space. This construction does not equip all locally square-integrable functions with an inner product: compactly supported nonzero functions have zero mean square, and other functions have divergent or nonexistent averages.

The mean-zero L2 space is the kernel of the bounded linear functional $h\mapsto Ph$ on L2 space for a probability measure $P$. It is a closed subspace of a Hilbert space, with inner product $P(hk)$, and is the natural ambient space for score functions and canonical gradients.

For a differentiable-in-quadratic-mean path, normalization gives $⟨(\sqrt{p_t}-\sqrt{p})/t,\sqrt{p_t}+\sqrt{p}⟩=0$. The two factors converge in L2 space to $g\sqrt{p}/2$ and $2\sqrt{p}$. Continuity of the inner product therefore gives $Pg=0$. This proves score function centering without differentiating the density integral.

For $h:{\mathbb{Z}}_N\to {\mathbb{Z}}_M$, its modular-addition oracle is the unitary operatorFor each fixed $x$, addition by $h(x)$ permutes the answer register's computational basis. This preserves inner products, even when $h$ is not injective.