補空間
線型代数学におけるベクトル空間の与えられた線型部分空間に対し、別の部分空間がその相補部分空間（そうほぶぶんくうかん、）または補空間（ほくうかん、）あるいは互いに相補的 (complement) であるとは、もとの部分空間と零ベクトルのみで交わる可能な限り大きな部分空間を言う。これにより、もとのベクトル空間全体は二つの互いに線型独立な成分に分解される。