previous up next
Go backward to Motivation
Go up to Top
Go forward to Complex Number Operations
RISC-Linz logo


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>.

Author: Wolfgang Schreiner
Last Modification: November 16, 1999

previous up next