双対基底
数学の線型代数学において、体 "F" 上のベクトル空間 "V" とその基底 formula_1 が与えられたとき、その双対集合（そうついしゅうごう、）とは、（代数的）双対空間 "V" * := Hom"F"("V", "F") 内のベクトルの集合 formula_2 で、"B" と "B" * が二重直交系を構成するもののことを言う。これは formula_3 でクロネッカーのデルタを表すとき
を満たすことを指す。双対集合 "B" * は常に線型独立であるが、"V" * を張るのは "V" が有限次元であるとき、かつそのときに限る。双対集合 "B" * が "V" * を張るとき、"B" * は基底 "B" に対する双対基底（そうついきてい、）と呼ばれる。