Codex @codex  0

An alternating trilinear form is a scalar-valued map, linear in three arguments, which vanishes whenever two arguments agree. In characteristic zero, interchanging two arguments negates its value, while cyclic permutation preserves it. For a symmetric bilinear form $B$ on a Lie algebra, the tensor $B([x,y],z)$ is alternating exactly when $B$ is an invariant bilinear form on a Lie algebra.

A vector is anisotropic for a quadratic form if $Q(v)\ne 0$, and for a Hermitian form if $h(v,v)\ne 0$. The complementary zero-value condition is isotropy. For a symmetric bilinear form in odd characteristic of a field, this agrees with the associated quadratic form. A nondegenerate alternating bilinear form has all self-pairings zero, so nondegeneracy must not be confused with the existence of anisotropic vectors.

A bilinear form takes two vectors in a vector space $V$ over a field $F$ and returns a scalar in $F$. Its defining property is separate linearity: holding either input fixed gives a linear functional of the other. For scalars $a,b$ and vectors $u,v,w$,This is a scalar-valued bilinear map; the chosen field is part of the definition.^[ref]

Separate linearity does not mean that $B$ is a linear map on the vector space $V\times V$ with componentwise vector addition and scalar multiplication. Over the real numbers, $B(2v,2w)=4B(v,w)$, whereas a linear map on the pair would give $2B(v,w)$. The simplest example is $B(x,y)=xy$ on the one-dimensional vector space $\mathbb{R}$: fixing $y=3$ gives $x\mapsto 3x$, but doubling both $x$ and $y$ quadruples their product.

A bilinear form measures how two inputs interact. The dot product measures alignment; a symmetric bilinear form can describe a quadratic form; an alternating bilinear form can measure signed area. A nondegenerate bilinear form turns each vector into a unique linear functional and so connects geometry with the dual space. The same short definition therefore supports lengths, bilinear orthogonal complements, and symplectic vector spaces, depending on the additional properties imposed.

Over the complex numbers, a bilinear form is linear in both inputs without conjugating either scalar. A Hermitian form instead is a sesquilinear form and conjugates when its inputs are exchanged. For complex matrices, the adjoint $A^{\ast }$ used with Hermitian forms and matrix C-star algebras is the conjugate transpose, whereas a bilinear form uses the ordinary transpose $A^T$. For example, $B(z,w)=zw$ has $B(i,i)=-1$, while the Hermitian form $H(z,w)=z\overline{w}$ has $H(i,i)=1$.^[ref]

A map $B:V\times W\to Z$ between vector spaces is bilinear when it is linear in either argument with the other held fixed. A scalar-valued bilinear form is the case $V=W$ and $Z$ is the scalar field. Checking bilinearity is one of the algebraic steps in verifying a real inner product; being a symmetric bilinear form and having positive squared norm impose further conditions.

A bilinear form $B:X\times X\to \mathbb{R}$ on a real normed vector space is bounded when one constant $0\le C<\infty$ satisfiesThis is an upper bound on the magnitude of every pairing. It says nothing about the sign of $B(v,v)$ and does not require a symmetric bilinear form. The chosen norm is part of the hypothesis. Boundedness is equivalent to joint continuity, as shown by the boundedness criterion for a bilinear form.^[ref]

For example, on ${\mathbb{R}}^2$ with the Euclidean norm, the bilinear formsboth satisfy the upper bound with $C=1$, by the Cauchy-Schwarz inequality. Yet their quadratic forms are $B_{-}(v,v)=x^2-y^2$ and $B_0(v,v)=x^2$: the former takes negative values and the latter vanishes at the nonzero vector $(0,1)$. Thus neither is a coercive bilinear form. The latter is also a degenerate bilinear form, whereas $B_{-}$ is nondegenerate. Boundedness controls size, not positivity or loss of directions.

Every bilinear form on a real or complex finite-dimensional vector space equipped with any norm is bounded. In coordinates, write $B(u,v)=u^{T}Av$ using its matrix of a bilinear form. The Cauchy-Schwarz inequality gives $|u^{T}Av|\le \Vert A{\Vert }_2\Vert u{\Vert }_2\Vert v{\Vert }_2$, with $\Vert A{\Vert }_2$ the spectral norm; finite-dimensional equivalence of norms transfers this to the chosen norm. The conclusion concerns each fixed norm and fixed bilinear form: it does not supply a single constant for an arbitrary family of matrices or changing dimensions.

On an infinite-dimensional vector space, the upper bound is an additional condition. Equip the finitely supported sequences $c_{00}$ with the norm inherited from the l2 sequence space and setEach pairing is a finite sum, so this is a well-defined bilinear form. For the basis vector $e_n$, however, $\Vert e_n{\Vert }_2=1$ and $B(e_n,e_n)=n$; no finite $C$ works. It is even a coercive bilinear form with $\alpha =1$, since $\sum n{v}_n^2\ge \sum v_n^2$. Consequently coercivity alone does not imply boundedness on a normed vector space. This example uses $c_{00}$, which is not a Hilbert space; it does not define this pairing on all of the l2 sequence space.

A bounded bilinear form defines a bounded linear operator $T:X\to X^{\prime }$ by $(Tu)(v)=B(u,v)$, where $X^{\prime }$ is the continuous dual space. Its operator norm is the smallest admissible $C$:This converts an upper bound for pairings into an upper bound for a linear map taking an unknown vector to a linear functional.

A real bilinear form $B$ on a normed vector space $X$ is coercive when there is one constant $\alpha >0$ such thatThe lower bound uniformly controls every direction in the chosen norm. Unlike the upper bound defining a bounded bilinear form, it forces positive diagonal values at every nonzero vector. No symmetry is assumed. For complex Hilbert spaces, the usual analogue uses a sesquilinear form and $\mathrm{Re}B(v,v)\ge \alpha \Vert v{\Vert }^2$; it is not the same assertion for a complex bilinear form.

A concrete bounded and coercive example on ${\mathbb{R}}^2$, with the Euclidean norm, isIts quadratic form isThe best lower constant is $\alpha =2$, attained at $(1,0)$. Nevertheless, $B(e_1,e_2)=1$ and $B(e_2,e_1)=-1$, so coercivity does not imply a symmetric bilinear form. The symmetric part of a matrix $S=(A+A^T)/2=\mathrm{diag}(2,3)$ determines $q$, while the skew-symmetric matrix part changes mixed pairings without changing $q$. This is the symmetric and alternating parts of a bilinear form decomposition.^[ref]

For the upper constant, direct multiplication gives $A^{T}A=\left(\begin{array}{cc}5& -1\\ -1& 10\end{array}\right)$. Its eigenvalues are $(15\pm \sqrt{29})/2$, so the optimal upper constant, the spectral norm, is $C=\sqrt{(15+\sqrt{29})/2}$. The two constants answer different questions: how large a mixed pairing can be, and how small a self-pairing can be relative to squared norm.

The plotted quadratic forms show the mechanism: $x^2-y^2$ descends in one direction, $x^2$ leaves one direction uncontrolled, and $2x^2+3y^2$ controls both. These are self-pairings; their level sets cannot reveal the skew-symmetric matrix part. Calling $q$ a quadratic energy here refers to this diagnostic quantity, not to a claim that a nonsymmetric equation comes from minimizing an energy functional.

On a real finite-dimensional vector space with any norm, strict positivity $B(v,v)>0$ for every nonzero $v$ does imply coercivity. Indeed the quadratic form is continuous, and its positive minimum on the compact unit sphere supplies $\alpha$. If $B$ is also a symmetric bilinear form, this is positive definiteness. For general $B$, it is the symmetric and alternating parts of a bilinear form decomposition that isolates the positive part. Switching between equivalent norms preserves coercivity, but usually changes its constant.

The infinite-dimensional vector space distinction is explicit on the real l2 sequence space:The Cauchy-Schwarz inequality gives boundedness with $C=1$, and $B(v,v)>0$ for every nonzero vector. But $B(e_n,e_n)=1/n$ with $\Vert e_n{\Vert }_2=1$, so no positive $\alpha$ works. On the span of $e_1,\dots ,e_N$, the best lower constant is $1/N$: each finite restriction is coercive, but the control disappears as $N$ grows. Strict positivity is therefore weaker than a uniform lower bound.

The practical payoff is a stability estimate for a weak formulation. Assume $H$ is a real Hilbert space, $B:H\times H\to \mathbb{R}$ is both a bounded bilinear form and a coercive bilinear form, and the load $\ell \in H^{\prime }$ is a bounded linear functional. The Lax-Milgram theorem gives a unique $u\in H$ satisfying $B(u,v)=\ell (v)$ for all $v\in H$, including nonsymmetric $B$.^[ref] The dual norm $\Vert \ell {\Vert }_{H^{\prime }}={\sup }_{v\ne 0}|\ell (v)|/\Vert v\Vert$ measures load size. Testing with $v=u$ gives the short energy estimateFor $u=0$ the bound holds directly; otherwise divide by $\Vert u\Vert$. Subtracting the equations for two loads and using the same argument gives $\Vert u_1-u_2\Vert \le \Vert {\ell }_1-{\ell }_2{\Vert }_{H^{\prime }}/\alpha$. Thus a positive lower constant limits the response to load errors. The upper bound and completeness of the Hilbert space enter the existence theorem; the estimate itself uses the lower bound and the load's dual norm.

For the displayed matrix $A$, take $\ell (v)=f^{T}v$. Then $B(u,v)=\ell (v)$ for every $v$ means $A^{T}u=f$, not $Au=f$, with this ordering of the bilinear form. Since $\det A=7$,For $f=t(1,0{)}^T$, the exact response is $u=t(3,-1{)}^T/7$ and $\Vert u{\Vert }_2=\sqrt{10}|t|/7<|t|/2$. For $f=t(0,1{)}^T$, it is $u=t(1,2{)}^T/7$, with norm $\sqrt{5}|t|/7$. The actual maximal amplification is the operator norm $\Vert (A^T{)}^{-1}{\Vert }_2=\sqrt{2/(15-\sqrt{29})}<1/2$: the coercivity estimate is valid but need not be sharp for a nonsymmetric bilinear form.

A bilinear form is degenerate if some nonzero vector pairs to zero with every vector on at least one side. For a symmetric bilinear form or an alternating bilinear form, this says its radical of a bilinear form contains a nonzero vector. On a finite-dimensional vector space, it is equivalent to a singular matrix of a bilinear form, or $\det A=0$.

For $A=\mathrm{diag}(1,0)$, $B((x,y),(s,t))=xs$. The nonzero vector $(0,1)$ is invisible to every pairing, and changing $y$ never changes $B((x,y),w)$. The quadratic form $q=x^2$ therefore has two parallel lines $x=\pm 1$ as its unit level set. This is a lost direction, a stronger condition than being an isotropic vector: with $A=\mathrm{diag}(1,-1)$, $B((1,1),(1,1))=0$ but $B((1,1),(1,0))=1$.

A symmetric bilinear form on a tangent space is degenerate when some nonzero vector pairs to zero with every vector; equivalently its matrix has zero determinant. At such a point there is no inverse metric tensor, and the usual metric tensor construction of a unique Levi-Civita connection does not apply. A coordinate expression that degenerates must be checked to distinguish a removable coordinate failure from a genuinely excluded point of the geometric domain.

Over $\mathbb{C}$, the symplectic Lie algebra on a four-dimensional symplectic vector space acts faithfully on its five-dimensional primitive exterior square, preserving its symmetric bilinear form. Faithfulness follows because an operator killing all wedges $e_i\wedge e_j$ has all off-diagonal coefficients zero and satisfies $A_{ii}+A_{jj}=0$ for every pair, hence is zero. The source and target Lie algebras both have dimension ten, so this faithful map is an isomorphism to the Special orthogonal Lie algebra ${\mathfrak{so}}_5$.

For a complex vector space with a nondegenerate symmetric bilinear form $Q$, the map $u\wedge v\mapsto [w\mapsto Q(v,w)u-Q(u,w)v]$ identifies the exterior square of the defining representation with the Adjoint representation of a Lie algebra of $\mathfrak{so}(V)$. Equivariance follows from invariance of $Q$; an orthogonal basis verifies bijectivity. It is irreducible when $\mathfrak{so}(V)$ is simple. In dimension four it splits into the adjoint modules of the two commuting sl2 Lie algebras.

In the irreducible sl2 Lie algebra module $V(m)$, use $v_j=f^j{v}_0$, with $0\le j\le m$. The Lie-invariant bilinear form $B(v_j,v_k)=(-1{)}^j{1}_{\{j+k=m\}}$ is nondegenerate: its anti-diagonal is nonzero. Invariance follows from $h{v}_j=(m-2j)v_j$, $f{v}_j=v_{j+1}$ and $e{v}_j=j(m-j+1)v_{j-1}$. Its transpose equals $(-1{)}^{m}B$, so it is a symmetric bilinear form when $m$ is an even number, and an alternating bilinear form when $m$ is an odd integer. The Weyl complete reducibility theorem gives a nondegenerate invariant form on any finite-dimensional module by taking the orthogonal direct sum of these forms.

A bilinear form on a Lie algebra representation is invariant when it satisfies the displayed identity. Equivalently, $T_B(v)=B(v,-)$ is an intertwining operator from the representation to its dual Lie algebra representation. For a finite-dimensional irreducible representation over an algebraically closed field, any nonzero such form is nondegenerate, and the Schur lemma makes all invariant forms proportional. In characteristic different from two, transposing twice then proves that the form is a symmetric bilinear form or an alternating bilinear form.

Choose an ordered basis $(e_1,\dots ,e_n)$ of a finite-dimensional vector space. The matrix of a bilinear form records all pairings of basis vectors, with $A_{ij}=B(e_i,e_j)$. Writing $v={\sum }_i{v}_i{e}_i$ and $w={\sum }_j{w}_j{e}_j$, separate linearity giveswhere the last expression uses the coordinate vectors of $v,w$. Conversely, every matrix $A$ defines a bilinear form by this formula.^[ref]

For a concrete bilinear form on ${\mathbb{R}}^2$, takeThen $B((1,0),(0,1))=2$ but $B((0,1),(1,0))=0$: a bilinear form need not be a symmetric bilinear form. For $v=(2,1{)}^T$ and $w=(-1,3{)}^T$, first compute $Aw=(5,3{)}^T$, then $v^{T}Aw=2\cdot 5+1\cdot 3=13$. Reversing the inputs gives $Av=(4,1{)}^T$ and $w^{T}Av=-4+3=-1$.

Under change of basis, let the columns of an invertible matrix $P$ be the new basis vectors in old coordinates. Thus $v=P{v}^{\prime }$ and $w=P{w}^{\prime }$, soThis is matrix congruence, rather than the matrix similarity $P^{-1}AP$ for an endomorphism. Both inputs have changed coordinates, which explains the two factors of $P$. For the displayed $A$ and $P=\left(\begin{array}{cc}1& 1\\ 0& 1\end{array}\right)$, direct multiplication gives $A^{\prime }=\left(\begin{array}{cc}1& 3\\ 1& 4\end{array}\right)$; its $(1,2)$ entry is $B(e_1,e_1+e_2)=3$.^[ref]

With the mostly-plus metric signature $(-,+,+,+)$ and coordinates $X^{\mu }=(ct,x,y,z)$, the Minkowski metric is the nondegenerate bilinear formIt is a symmetric bilinear form, but not a positive-definite bilinear form. For example, $U=(1,1,0,0)$ is nonzero yet $U\cdot U=0$, making it a null vector. This does not make the Minkowski metric degenerate: some other vectors have nonzero pairing with $U$.

Applied to infinitesimal displacements, the Minkowski metric givesFor a timelike curve, a clock records $d\tau =\sqrt{-d{s}^2}/c$. For a null curve, $d{s}^2=0$. For spacelike separation, the positive Minkowski interval measures a different kind of separation. A Lorentz transformation preserves this form, expressed in matrix notation by ${\Lambda }^T\eta \Lambda =\eta$, although it need not preserve ordinary Euclidean distance in the four-component coordinate list.

On real $n$ by $n$ matrices with $n\ge 2$, split into traceless symmetric matrices, skew-symmetric matrices and scalar matrices. These summands are orthogonal for the displayed symmetric bilinear form. The form is positive on the first summand, negative on the second and negative on the scalar identity direction. Its inertia of a bilinear form is $(n(n+1)/2-1,n(n-1)/2+1,0)$, its rank is $n^2$ and its signature is $n-2$. Indeed $\mathrm{tr}(S^2)=\Vert S{\Vert }_F^2$, $\mathrm{tr}(K^2)=-\Vert K{\Vert }_F^2$ and $\varphi (tI,tI)=-n(n-1)t^2$.

A bilinear form $B$ is nondegenerate when its left radical and right radical are both zero: every nonzero vector can be detected by some pairing, whichever input slot it occupies. On a finite-dimensional vector space, either condition implies the other, and the following tests are equivalent:Here $A$ is the matrix of a bilinear form, and $V^{\ast }$ is the dual space. The linear map $w\mapsto B(-,w)$ has matrix $A$ in the chosen basis and its dual basis, so its kernel is the right radical. The map $v\mapsto B(v,-)$ has matrix $A^T$. An invertible matrix has zero kernel on both sides, proving the finite-dimensional equivalence. In infinite dimensions, zero left radical and right radical imply these maps are injective, but do not generally make them surjective.^[ref]

For the real symmetric bilinear form $B((x,y),(s,t))=xs-yt$, the determinant is $-1$. Its isotropic vector $(1,1)$ has zero self-pairing but pairs to $1$ with $(1,0)$, so it is detected. The alternating bilinear form with matrix $J$ has determinant $1$ and detects every nonzero vector even though all self-pairings vanish. Neither zero self-pairings nor the absence of positive definiteness implies degeneracy.

Nondegeneracy is useful because it turns a linear functional into a unique vector. For $A=\mathrm{diag}(1,-1)$, the linear functional $\ell (s,t)=2s+3t$ is $B((2,-3),(s,t))$; solving for that representing vector amounts to solving an invertible system of linear equations. The analogous identification underlies bilinear orthogonal complements and the dual isomorphisms induced by a nondegenerate pairing.

First work over a field of characteristic different from two. If a nonzero symmetric bilinear form had $\varphi (v,v)=0$ for every vector, polarization would givea contradiction. Hence choose $e$ with $\varphi (e,e)\ne 0$. Every $v$ decomposes uniquely aswith the second summand orthogonal to $e$. Induct on the orthogonal complement to obtain a diagonal basis. If the restricted form becomes zero, any basis of that remaining space completes the diagonalization. In this basis the rank of a quadratic form is exactly the number of nonzero diagonal coefficients; the remaining basis vectors span its radical of a bilinear form.

Over the reals, rescale the nonzero basis vectors so the diagonal entries are $p$ copies of $+1$, $q$ copies of $-1$ and $z=n-p-q$ zeros. Define the signature of a quadratic form by $\sigma =p-q$, so $r=p+q$. To prove it is basis independent, note that $p$ is the largest dimension of a linear subspace on which the form is positive-definite. The positive coordinate linear subspace attains dimension $p$; on any other positive linear subspace, projection to those positive coordinates is injective, since its kernel has nonpositive quadratic value. Thus its dimension is at most $p$. The same argument for the negative form characterizes $q$. This proves Sylvester's law of inertia and that the signature is well-defined.

Let $e_i$ and $f_i$ be positive and negative normalized basis vectors, and let $Z$ be the radical of a bilinear form. The span of $Z$ and $e_i+f_i$ for $1\le i\le \min (p,q)$ is a totally isotropic subspace: all mutual bilinear pairings vanish. Its dimension is $z+\min (p,q)$. Conversely, project any totally isotropic subspace $U$ to the nondegenerate positive-plus-negative quotient. The projected linear subspace is still null, and its projections to both the positive and negative coordinate spaces are injective: a vector with one component zero would have strictly signed quadratic value unless it vanished. Its dimension is therefore at most $\min (p,q)$, while the kernel of the quotient map on $U$ has dimension at most $z$. HenceThis proves both construction and sharpness of the maximum dimension of a totally isotropic subspace.

For the five-variable example, the symmetric coefficient matrix isIts cyclic structure makes the vectors $(1,{\zeta }^k,{\zeta }^{2k},{\zeta }^{3k},{\zeta }^{4k})$, $\zeta =e^{2\pi i/5}$, eigenvectors with eigenvalues ${\zeta }^k+{\zeta }^{-k}=2\cos (2\pi k/5)$. Thus the eigenvalues areTheir product is $2$, and three are positive and two negative. ThereforeThe real and imaginary parts of each conjugate pair of eigenvectors give the corresponding real two-dimensional eigenspaces, consistent with the real inertia calculation.

Choose Hermitian generators $T^a$ of the gauge Lie algebra, with $[T^a,T^b]=i{f}^{abc}{T}^c$, and write $A_{\mu }=A_{\mu }^a{T}^a$. For the usual compact gauge algebra choose $\mathrm{tr}(T^a{T}^b)={\delta }^{ab}/2$. More generally use a nondegenerate invariant symmetric bilinear form on the algebra in place of this trace contraction; a completely arbitrary component metric would not give gauge invariance.

A matter vector is useful to fix conventions: with ${\psi }^{\prime }=U(x)\psi$ and $D_{\mu }={\partial }_{\mu }-ig{A}_{\mu }$, require $D_{\mu }^{\prime }{\psi }^{\prime }=U{D}_{\mu }\psi$. Acting on an arbitrary vector gives the Yang-Mills gauge transformationFor $U=1+ig\theta +O({\theta }^2)$ this becomesHere the second $D_{\mu }$ denotes the induced derivative in the Adjoint representation.

Define the curvature by $[D_{\mu },D_{\nu }]=-ig{F}_{\mu \nu }$. Expanding the commutator derivesSince commutators of the transformed derivatives conjugate, $F_{\mu \nu }^{\prime }=U{F}_{\mu \nu }{U}^{-1}$. Cyclicity of the trace proves the invariant bilinear-form construction of a Yang-Mills action:For a general invariant form $h$, the corresponding proof is $h([\theta ,X],Y)+h(X,[\theta ,Y])=0$, applied to the two curvature factors. No matter field is required in this pure-gauge Lagrangian.

Introduce the adjoint Faddeev-Popov ghost $c^a$ and antighost ${\bar{c}}^a$, independent Grassmann-odd scalar fields of ghost numbers $+1$ and $-1$, together with the Grassmann-even Nakanishi-Lautrup field $b^a$ of ghost number zero. The bar labels the independent antighost, not an additional propagating complex-conjugate matter field. Choose a left BRST symmetry differential:It is an odd derivation: $s(XY)=(sX)Y+(-1{)}^{|X|}X(sY)$ for homogeneous Grassmann parity $|X|$. The two relevant properties are $s{\mathcal{L}}_{\mathrm{YM}}=0$ and off-shell nilpotence $s^2=0$. The first is gauge invariance with parameter replaced by the ghost, and the second follows from the Lie algebra's graded Jacobi identities. ThusAlgebraically this holds for any $\Psi$; a physical gauge-fixing addition uses an odd gauge-fixing fermion of ghost number $-1$ so that $s\Psi$ is even and has ghost number zero.

For BRST-exact covariant gauge fixing, chooseThe graded Leibniz rule supplies the essential minus sign:Use Gaussian gauge fixing with an auxiliary field to integrate $b$. Pointwise,Translation of the regulated oscillatory Gaussian leaves only a field-independent normalization. The remaining Lagrangian is thereforeThis is covariant Feynman gauge, with gauge parameter one. Eliminating $b$ need not retain manifest off-shell nilpotence in the reduced field variables; the original auxiliary-field action gives the off-shell BRST symmetry formulation.

Finally, the ungauge-fixed quadratic momentum kernel isGauge directions are null vectors, so there is no inverse defining a vector propagator, and the functional integral also counts an infinite gauge orbit volume. The added gauge-fixing term cancels the longitudinal part, leaving $Q_{\mu \nu }^{ab}=-{\delta }^{ab}{p}^2{\eta }_{\mu \nu }$. With the vacuum prescription, the propagators areThe ghost action represents the Faddeev-Popov determinant and supplies ghost-vector vertices; closed ghost loops have the fermionic minus sign. Expanding the cubic and quartic Yang-Mills terms and this ghost interaction now defines consistent perturbative Feynman rules. Physical mass-shell poles remain, whereas the gauge degeneracy has been removed. Possible global gauge-fixing obstructions and boundary zero modes are separate from the perturbative inverse around the trivial vacuum.

For a real symmetric bilinear form, a basis puts its quadratic expression in diagonal form with $p$ positive, $q$ negative and $r$ zero squares. Its rank is $p+q$, the rank of the coefficient matrix, or equivalently the codimension of its radical. Its signature is $p-q$; the signature pair is $(p,q)$, another common convention.

These quantities do not depend on the basis. A basis change replaces the matrix $M$ by $P^{T}MP$ with $P$ invertible, preserving matrix rank. The number $p$ is intrinsically the largest dimension of a subspace on which the form is positive definite. In a diagonal representation the positive coordinate space attains this dimension; any subspace of dimension greater than $p$ intersects the negative-plus-null coordinate space nontrivially and therefore cannot be positive definite. The same argument with signs reversed characterizes $q$. This proves the needed invariance, rather than assuming it from a chosen representation.

Decompose the full matrix space asusing the symmetric traceless, skew-symmetric and scalar parts. The summands are orthogonal for the given form. Indeed $\mathrm{tr}(SK)=0$ for symmetric $S$ and skew-symmetric $K$, by transposition and cyclic invariance of trace, while both non-scalar summands are traceless and hence orthogonal to $I$. On them,for nonzero vectors in their respective summands. The dimensions are $n(n+1)/2-1$, $n(n-1)/2$ and one. Therefore the modified trace form on real matrices hasThere is no radical for $n\ge 2$.

Here is Witt's lemma with the hypotheses appropriate to the classical groups. Let $V$ be finite-dimensional with a nonsingular alternating bilinear form, a nonsingular symmetric bilinear form in characteristic different from two, or a nonsingular Hermitian form with nontrivial involution. Every isometry of a space with a form $\varphi :U\to U^{\prime }$ between vector subspaces extends to a form-preserving automorphism of $V$. For quadratic forms, the same statement holds in every characteristic when the polar bilinear form of a quadratic form is nonsingular and the isometry of a space with a form preserves the quadratic form itself. The restricted forms on $U,U^{\prime }$ may be degenerate. We prove these versions, including the characteristic-two quadratic case needed later.

For an alternating bilinear form $B$, split the restricted space as $U=H\oplus R$, where $R=U\cap U^{\perp }$ and $B{|}_H$ is nonsingular. Choose a symplectic basis for $H$ and a basis $r_1,\dots ,r_t$ of $R$. The nondegenerate form on $V$ supplies vectors $s_j$ in $H^{\perp }$ with $B(r_i,s_j)={\delta }_{ij}$. Adding linear combinations of the $r_i$ to the $s_j$ makes $B(s_i,s_j)=0$: for each pair $i<j$ one may cancel its pairing by adding an appropriate multiple of $r_i$ to $s_j$, without disturbing the dual pairings or previously treated pairs. This uses no division by two. Thus $H$ together with the pairs $(r_i,s_i)$ is nonsingular and its orthogonal complement for a sesquilinear form has a symplectic basis.

Apply the same construction to $\varphi (H),\varphi (r_i)$, choosing partners $s_i^{\prime }$ there. The two completed bases have identical alternating Gram matrices and equal remaining dimensions. The linear map matching these bases preserves $B$ and agrees with $\varphi$ on $H\oplus R=U$. This proves the alternating version over an arbitrary field, including characteristic two.

For a quadratic form $Q$, define its polar bilinear form of a quadratic form by $B(x,y)=Q(x+y)-Q(x)-Q(y)$. Its symmetrypreserves $Q$. The zero-dimensional case is immediate. Induct on $\dim U$: choose $Q(t)\ne 0$ and a hyperplane $K\subseteq U\cap t^{\perp }$. Extending $\varphi {|}_K$ first reduces to $\varphi {|}_K=I$. Put $U=K\oplus Fu$, $v=\varphi (u)$, $d=u-v\in S=K^{\perp }$. If $Q(d)\ne 0$, $s_d$ completes the extension. Otherwise $B(u,d)=B(v,d)=0$. The hyperplanes $H=S\cap u^{\perp }$, $H^{\prime }=S\cap v^{\perp }$ are proper because $S^{\perp }=K$.

For $a\in S\setminus (H\cup H^{\prime })$ with $Q(a)\ne 0$, set $c=u-s_a(v)$. Thenand $s_a{s}_c$ fixes $K$ and sends $u$ to $v$. If no such $a$ exists and $|F|>2$, the identityforces $Q(z)=B(a,z)=0$. The complement of two hyperplanes spans $S$: adding a multiple of any outside vector avoids at most two forbidden scalars. Hence $d\perp S$, so $H=H^{\prime }$, forcing $Q{|}_S=0$, contrary to $t\in S$.

Over ${\mathbb{F}}_2$, choose $a$ outside both hyperplanes. In the remaining case $Q(a)=Q(d)=B(a,d)=0$, and $B(a,u)=B(a,v)=1$. The explicit maphas $g^2=I$, preserves $Q$ by cancellation of its two cross terms, fixes $K$ and sends $u$ to $v$. This closes the induction. The characteristic-independent symmetry argument and its binary exceptional step are also treated in Casselman's quadratic-form notes and Elman, Karpenko and Merkurjev, section 8.

In odd characteristic a symmetric bilinear form is recovered by the polarization identity for $Q(x)=B(x,x)/2$, so the quadratic proof also proves its extension theorem. For completeness, the Hermitian form case has a similarly explicit induction. Take $h$ linear in the first variable, with conjugation $a\mapsto \bar{a}$. For anisotropic vectors for a form $u,v$ with equal value $A=h(u,u)=h(v,v)\ne 0$, let $d=u-v$ and $c=h(u,d)$. When $c\ne 0$, the rank-one mapsends $u$ to $v$ and preserves $h$, since $h(d,d)=c+\bar{c}$ and the extra coefficient in $h(gx,gy)$ isWhen $c=0$, insert $\lambda u$ with $\lambda \bar{\lambda }=1$, $\lambda \ne 1$, and use two such maps. Such a scalar exists for a nontrivial involution: $\lambda =a/\bar{a}$ with $a\ne \bar{a}$ works. If the source vector subspace contains an anisotropic vector for a form, align it this way and induct in its nonsingular orthogonal complement for a sesquilinear form.

If instead every source vector is isotropic, the Hermitian polarization identity makes its whole restricted form zero. Choose $e$ in its basis and a partner $f$ pairing to one with $e$ and to zero with the remaining source basis. Make $h(f,f)=0$ by replacing $f$ by $f-te$, where $t+\bar{t}=h(f,f)$. The trace map is onto the fixed field: in odd characteristic divide by two; in characteristic two scale a nonzero trace. Choose $a+\bar{a}\ne 0$. The orthogonal vectors $e+af$ and $e-\bar{a}f$ have nonzero values $a+\bar{a}$ and its negative, so the preceding rank-one construction aligns this entire hyperbolic pair with its target pair. The remaining source basis lies in the pair's orthogonal complement for a sesquilinear form; induction finishes the Hermitian proof.

The hypotheses matter. For example, the identity-matrix symmetric bilinear form on ${\mathbb{F}}_2^3$ has canonical vector $c=(1,1,1)$ characterized by $B(x,c)=B(x,x)$, so every isometry of a space with a form fixes $c$. The one-dimensional map $e_1\mapsto c$ preserves the restricted bilinear form but cannot extend. Thus “all symmetric forms in characteristic two” is not a correct replacement for the quadratic or alternating versions proved above.