Go backward to Motivation Go up to Top Go forward to Complex Number Operations

Definition

C:= R x R.

Constructor Function:

_+_i: R x R -> C

x+yi := <x, y>.

Let c in C and take x and y such that c=<x,y>. We call x the real part of c and y its imaginary part:

real(c)	:=	such x: exists y: c in C /\  c = <x, y>;
imaginary(c)	:=	such y: exists x: c in C /\  c = <x, y>.