
数学において、ベクトル空間 Xとそれに関連する二次形式 q ( X、q )が与えられたとき、ヌルベクトルまたは等方性ベクトルとは、 q ( x ) = 0となるXの非ゼロ要素xのことです。
実 双線型形式の理論において、定位二次形式と等方二次形式は区別される。これらは、後者にのみ非零の零ベクトルが存在するという点で区別される。
零ベクトルを持つ二次空間 ( X , q ) は擬ユークリッド空間と呼ばれる。q ( v ) = 0のときの等方性ベクトル vという用語は二次空間において用いられており[1] 、零ベクトルを持たない二次空間には 異方性空間と呼ばれる。
擬ユークリッドベクトル空間は、X = A + Bとすれば、直交部分空間 AとBに(一意ではない形で)分解することができる。ここで、 qはA上で正定値、 B上で負定値である。Xのヌル円錐、あるいは等方円錐は、均衡球面の和集合から構成される。 また、 ヌル円錐は原点を通る 等方直線の和集合でもある。
ヌルベクトルを持つ合成代数は分割代数である。[2]
合成代数( A , +, ×, *)において、二次形式は q( x ) = xx * です。xがヌルベクトルのとき、 xの逆数は存在せず、x ≠ 0 であるため、A は除算代数ではありません。
ケーリー・ディクソン構成においては、複素数体、双四元数、双四元数という級数に分解代数が生じる。これらの代数は、LEディクソン(1919)によるこの倍加構成の基礎として複素数体を用いる。特に、これらの代数は2つの虚数単位を持ち、それらは可換であるため、それらの積を2乗すると+1となる。
実数部分代数、分割複素数、分割四元数、分割八元数は、そのヌル円錐が 0 ∈ Aに出入りする光の追跡を表しており、時空トポロジーを示唆しています。
4つの線形独立な 双四元数 l = 1 + hi、n = 1 + hj、m = 1 + hk、m ∗ = 1 – hkはヌルベクトルであり、{ l、n、m、m ∗ } は時空を表す部分空間の基底として用いることができる。ヌルベクトルは、ニューマン・ペンローズ形式による時空多様体へのアプローチでも用いられる。[3]
リー代数のVerma モジュールにはヌル ベクトルが存在します。