Real part of a complex number
Set
context
$z\in \mathbb C$
postulate
$\mathrm{Re}(z)\equiv \frac{z+\bar z}{2}$
Ramifications
Parents
Related
Complex conjugate of a complex number
Log In
Article
Read
Search
Log In
Log In
Improvements of the human condition
Graphxioms