덧셈에 대한 선형성: Φ((a,b)+(c,d))=Φ(a+c,b+d)=(a+c)+(b+d)i=(a+bi)+(c+di)=Φ(a,b)+Φ(c,d)입니다.
실수 스칼라에 대한 동차성: 실수 t에 대해 Φ(t(a,b))=ta+tbi=t(a+bi)=tΦ(a,b)입니다. 스칼라가 실수라는 점이 중요합니다 — 이것이 실벡터공간으로서의 동형사상입니다.
단사: a+bi=c+di이면 복소수의 실수부·허수부가 유일하므로 a=c, b=d입니다. 따라서 Φ는 단사입니다.
전사: Ψ(a+bi)=(a,b)라 두면 Ψ(Φ(a,b))=(a,b)이고 Φ(Ψ(a+bi))=a+bi이므로 Ψ는 Φ의 역함수입니다. 전단사인 선형사상이므로 Φ는 동형사상입니다.