TIP

The standard basis of the real vector space is

The standard basis in is often denoted as

Theorem: Orthonormality of the Real Standard Basis

The standard basis of the real vector space is orthonormal.