real_part_of_a_complex_number

Loading [MathJax]/jax/output/HTML-CSS/jax.js

Real part of a complex number

Set

context

$z\in \mathbb C$

postulate

$\mathrm{Re}(z)\equiv \frac{z+\bar z}{2}$

Ramifications

Parents

Complex conjugate of a complex number