Real part of a function
Set
context
$f:X\to \mathbb C$
definiendum
$ \mathrm{Re}f:X\to\mathbb C $
definiendum
$ (\mathrm{Re}f)(x):=\mathrm{Re}(f(x)) $
Discussion
Parents
Context
Real part of a complex number