Jeder komplexe Vektorraum ist auch ein reeller Vektorraum, letzterer Raum liegt also ersteren zugrunde, da jede reelle Zahl auch eine komplexe Zahl ist. ###>Every complex linear space is also a real linear space (the latter "underlies" the former), since each real number is also a complex number.