Orthonormal basis
Set
context
$V$…pre-Hilbert space
definiendum
$B\in \mathrm{OrthonormalBasis}(V)$
context
$B\in \mathrm{Basis}(V)$
$v,w\in B$
postulate
$v\ne w\implies \langle v|w\rangle = 0 $
postulate
$\Vert v\Vert = 1 $
Discussion
Parents
Subset of
Orthogonal basis