Damit das einen IR-Vektorraum gibt, müssen ja alle Vektorraumaxiome
gelten. Wenn du die ganz normale Addition auf C und die übliche
Multiplikation r*k = r*(x + iy) = r*x + r*iy nimmst, gelten die
einschlägigen Gesetze und die Ergebnisse sind auch wieder in C.
Also alles klar.