
Inmathematics, given avector spaceX with an associatedquadratic formq, written(X,q), anull vector orisotropic vector is a non-zero elementx ofX for whichq(x) = 0.
In the theory ofrealbilinear forms,definite quadratic forms andisotropic quadratic forms are distinct. They are distinguished in that only for the latter does there exist a nonzero null vector.
Aquadratic space(X,q) which has a null vector is called apseudo-Euclidean space. The termisotropic vector v whenq(v) = 0 has been used in quadratic spaces,[1] andanisotropic space for a quadratic space without null vectors.
A pseudo-Euclidean vector space may be decomposed (non-uniquely) intoorthogonal subspacesA andB,X =A +B, whereq is positive-definite onA and negative-definite onB. Thenull cone, orisotropic cone, ofX consists of the union of balanced spheres:The null cone is also the union of theisotropic lines through the origin.
A composition algebra with a null vector is asplit algebra.[2]
In acomposition algebra (A, +, ×, *), the quadratic form is q(x) =x x*. Whenx is a null vector then there is no multiplicative inverse forx, and sincex ≠ 0,A is not adivision algebra.
In theCayley–Dickson construction, the split algebras arise in the seriesbicomplex numbers,biquaternions, andbioctonions, which uses thecomplex number field as the foundation of this doubling construction due toL. E. Dickson (1919). In particular, these algebras have twoimaginary units, which commute so their product, when squared, yields +1:
The real subalgebras,split complex numbers,split quaternions, andsplit-octonions, with their null cones representing the light tracking into and out of 0 ∈A, suggestspacetime topology.
Thelight-like vectors ofMinkowski space are null vectors.
The fourlinearly independentbiquaternionsl = 1 +hi,n = 1 +hj,m = 1 +hk, andm∗ = 1 –hk are null vectors and{l,n,m,m∗ } can serve as abasis for the subspace used to representspacetime. Null vectors are also used in theNewman–Penrose formalism approach to spacetime manifolds.[3]
In theVerma module of aLie algebra there are null vectors.