===== Orthonormal basis =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $V$...pre-Hilbert space |

| @#FFBB00: definiendum | @#FFBB00: $B\in \mathrm{OrthonormalBasis}(V)$ |

| @#55CCEE: context     | @#55CCEE: $B\in \mathrm{Basis}(V)$ |

| $v,w\in B$ |

| @#55EE55: postulate   | @#55EE55: $v\ne w\implies \langle v|w\rangle = 0 $ |
| @#55EE55: postulate   | @#55EE55: $\Vert v\Vert = 1 $ |
==== Discussion ====
==== Parents ====
=== Subset of ===
[[Orthogonal basis]]