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