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