Definitions
,
Results
,
Conjectures
Result
on
D5208: Symmetric random real number
Subresult
to
R3922: Gaussian random real number is symmetric about its expectation
Standard gaussian random real number is symmetric about zero
Formulation 0
Let $Z \in \text{Gaussian}(0, 1)$ be a
D211: Standard gaussian random real number
.
Then \begin{equation} Z \overset{d}{=} - Z \end{equation}
Proofs
<No proofs for this assertion yet>