In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, given a
vector space ''X'' with an associated
quadratic form
In mathematics, a quadratic form is a polynomial with terms all of degree two ("form" is another name for a homogeneous polynomial). For example,
:4x^2 + 2xy - 3y^2
is a quadratic form in the variables and . The coefficients usually belong to a ...
''q'', written , a null vector or isotropic vector is a non-zero element ''x'' of ''X'' for which .
In the theory of
real bilinear form
In mathematics, a bilinear form is a bilinear map on a vector space (the elements of which are called '' vectors'') over a field ''K'' (the elements of which are called ''scalars''). In other words, a bilinear form is a function that is linear i ...
s,
definite quadratic forms and
isotropic quadratic form
In mathematics, a quadratic form over a field ''F'' is said to be isotropic if there is a non-zero vector on which the form evaluates to zero. Otherwise the quadratic form is anisotropic. More precisely, if ''q'' is a quadratic form on a vector sp ...
s are distinct. They are distinguished in that only for the latter does there exist a nonzero null vector.
A quadratic space which has a null vector is called a
pseudo-Euclidean space.
A pseudo-Euclidean vector space may be decomposed (non-uniquely) into
orthogonal subspaces
In mathematics, orthogonality is the generalization of the geometric notion of ''perpendicularity''.
By extension, orthogonality is also used to refer to the separation of specific features of a system. The term also has specialized meanings in ...
''A'' and ''B'', , where ''q'' is positive-definite on ''A'' and negative-definite on ''B''. The null cone, or isotropic cone, of ''X'' consists of the union of balanced spheres:
The null cone is also the union of the
isotropic lines through the origin.
Examples
The
light-like
In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why differen ...
vectors of
Minkowski space are null vectors.
The four
linearly independent biquaternions , , , and are null vectors and can serve as a
basis for the subspace used to represent
spacetime. Null vectors are also used in the
Newman–Penrose formalism approach to spacetime manifolds.
[Patrick Dolan (1968]
A Singularity-free solution of the Maxwell-Einstein Equations
Communications in Mathematical Physics
''Communications in Mathematical Physics'' is a peer-reviewed academic journal published by Springer. The journal publishes papers in all fields of mathematical physics, but focuses particularly in analysis related to condensed matter physics, sta ...
9(2):161–8, especially 166, link from Project Euclid
A
composition algebra ''splits'' when it has a null vector; otherwise it is a
division algebra.
In the
Verma module of a
Lie algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an Binary operation, operation called the Lie bracket, an Alternating multilinear map, alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow ...
there are null vectors.
References
*
*
* {{cite book , last = Neville , first = E. H. (Eric Harold) , author-link =Eric Harold Neville , title =Prolegomena to Analytical Geometry in Anisotropic Euclidean Space of Three Dimensions , publisher =
Cambridge University Press , date = 1922 , pag
204 url =https://archive.org/details/prolegomenatoana00nevi
Linear algebra
Quadratic forms