Orthonormal basis

In an Inner product space $(𝑉, 𝕂, ⟨ \cdot | \cdot ⟩)$ an orthonormal basis is a vector basis that is an Orthonormal set, #m/def/linalg i.e. orthogonal to each other with norm $1$ . In a countable basis ${𝑣 𝑗} 𝑗 \in ℕ$ the basis vectors obey the orthogonality relation

⟨ 𝑣 𝑗 | 𝑣 𝑘 ⟩ = 𝛿 𝑗 𝑘

where $𝛿 𝑗 𝑘$ is the Kronecker delta.

#state/tidy | #lang/en | #SemBr