"d"("u")は実ベクトル空間を成す。