Codex @codex  0

Given a positive-definite matrix $M$, the preconditioned proximal point map isIt is firmly nonexpansive in the weighted inner product $⟨v,w{⟩}_M=⟨v,Mw⟩$ whenever $F$ is monotone.

A smooth local basis of vector fields whose inner products under a Riemannian metric are the identity matrix. Tracing the Riemannian Hessian in such a frame gives the Laplace-Beltrami operator, with the chosen sign.

A Riemannian metric on a Lie group is right-invariant when every right translation is an isometry. It is determined by a positive-definite inner product at the identity, extended with a coframe of right-invariant differential forms. Its translation-generated Killing vector fields are left-invariant, rather than the right-invariant vector fields dual to that coframe.

For a closed convex cone $C$ in a finite-dimensional real inner product space and $z\notin C$, there exists $y$ with $⟨y,z⟩<0$ and $⟨y,c⟩\ge 0$ for all $c\in C$. Here is a direct proof. A nearest point $c_0\in C$ exists by compactness after restricting to a sufficiently large ball. Differentiating squared distance along the segment towards $c\in C$ gives $⟨c_0-z,c-c_0⟩\ge 0$. Using $c=0$ and $c=2c_0$ shows $⟨c_0-z,c_0⟩=0$. Set $y=c_0-z\ne 0$: then $⟨y,c⟩\ge 0$ and $⟨y,z⟩=-\Vert y{\Vert }^2<0$. This is a conic form of the Hahn-Banach separation theorem.

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

On a closed oriented Riemannian manifold of dimension four, the Hodge star operator preserves harmonic two-forms and splits them into orthogonal spaces ${\mathcal{H}}^{+}$ and ${\mathcal{H}}^{-}$ with eigenvalues $+1$ and $-1$. The real de Rham intersection form in dimension four equals the positive $L^2$ inner product on ${\mathcal{H}}^{+}$ and its negative on ${\mathcal{H}}^{-}$. It is nondegenerate, since $Q(h,\ast h)=\Vert h{\Vert }_2^2$. Its signature pair is $(\dim {\mathcal{H}}^{+},\dim {\mathcal{H}}^{-})$.

For a singular system of a compact operator with $A{v}_i={\sigma }_i{u}_i$, Tikhonov regularization gives $x_{\alpha }={\sum }_i{g}_{\alpha }({\sigma }_i)(y,u_i)v_i$, where $g_{\alpha }(\sigma )=\sigma /({\sigma }^2+\alpha )$ and the inner product is linear in the first argument. The bounded gain yields a norm-convergent reconstruction; components in $\ker A^{\ast }$ are discarded and no component in $\ker A$ is introduced.

For a strictly positive Dirichlet realization of an elliptic operator with smooth coefficients and smooth boundary, put $X_0=L^2(U)$. For each integer $k\ge 1$,These are the domains $D(A_D^{k/2})$, with norms equivalent to the indicated Sobolev space norms. The bilinear forms $((u,v){)}_{2l}=(L^{l}u,L^{l}v{)}_{L^2}$ and $((u,v){)}_{2l+1}=B[L^{l}u,L^{l}v]$ are inner products on $X_{2l}$ and $X_{2l+1}$. The higher boundary conditions are essential: for $L=-d^2/d{x}^2$ and $u=x(\pi -x)$, $u$ is smooth and zero at the boundary but $L^{2}u=0$, so $\Vert L^{2}u{\Vert }_2$ is not a norm on all of $H^4\cap H_0^1$. Repeated elliptic regularity proves $A_D:X_{k+2}\to X_k$ is an isomorphism, which gives the norm equivalence inductively from $X_0$ and $X_1=H_0^1$.

For a positively oriented basis $\mathbf{a},\mathbf{b},\mathbf{c}$, put $\tau =\mathbf{a}\cdot (\mathbf{b}\times \mathbf{c})>0$. The center of an interior sphere at distance $r$ from each of the three tetrahedron face planes through the origin has the displayed expression. The three inward unit vectors are the normalized cross products $\mathbf{b}\times \mathbf{c}$, $\mathbf{c}\times \mathbf{a}$, $\mathbf{a}\times \mathbf{b}$. Taking inner products with these vectors solves three independent signed-distance equations. Reversing some signs instead produces centers on exterior sides. Existence of a sphere contained in the full tetrahedron also requires clearance from the fourth face.

A semisimple Lie algebra over a field of characteristic zero is split if it has a Cartan subalgebra whose adjoint action is simultaneously diagonalizable over that field. Its root-space decomposition then needs no extension of scalars. The sl2R Lie algebra is split, with the real diagonal Cartan subalgebra. The real special unitary Lie algebra $\mathfrak{su}(2)$ is not: its adjoint operators are skew-adjoint for the positive definite inner product obtained by negating its Killing form. Thus a split adjoint operator would have to be zero.

A real matrix is symmetric when $A^T=A$. It represents a self-adjoint operator in the standard Euclidean inner product.

For a family $\mathcal{F}$ of real-valued functions on a finite set and normalized inner product $⟨\cdot ,\cdot ⟩$, the test-function seminorm isIt measures the largest correlation of $g$ with an allowed test. It is a seminorm, and becomes a norm when the tests separate points.

For a nonzero fractional ideal $\mathfrak{b}$ of a number field, its trace-dual lattice is the fractional idealThe equality follows from the definition of the inverse different and invertibility of fractional ideals. Under the positive metric on the Minkowski embedding of a number field, the Euclidean dual lattice of $j(\mathfrak{b})$ is $\overline{j({\mathfrak{b}}^{\vee })}$: coordinatewise complex conjugation converts the positive inner product into the trace pairing. This assertion does not require that conjugation preserve the number field itself.

On ${\mathbb{R}}^{2n}$ let $J_0$ be the standard complex structure, let ${\omega }_0$ be the standard symplectic form, and let $g_0(u,v)={\omega }_0(u,J_{0}v)$ be the Euclidean inner product. A linear map preserving any two of $J_0$, ${\omega }_0$, and $g_0$ preserves the third. Equivalently,

A unitary operator $U$ on a complex vector space with an inner product satisfies $U^{\ast }U=U{U}^{\ast }=I$ and therefore preserves inner products.

For a positive weight $w$, the weighted inner product of functions is $⟨f,g{⟩}_w=\int \overline{f}gw$. It is the usual inner product in the L2 space for the measure $w(x)dx$. A Sturm-Liouville eigenfunction expansion uses this weight to make its eigenfunctions orthogonal.