Inner product space

Orthonormal set

Let (𝑉,𝕂,⟨−|−⟩) be an inner product space. A set 𝐴 ⊆𝑉 is said to be orthonormal iff its vectors are mutually orthogonal and have norm 1, linalg i.e. for any 𝑎,𝑏 ∈𝐴

⟨𝑎|𝑏⟩=𝛿𝑎𝑏={1𝑎=𝑏0𝑎≠𝑏

---

tidy| en | SemBr