Definition:Orthonormal Basis

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\mathbb F$ be a field.

Let $V$ be a vector space over $\mathbb F$.

Let $S \subset V$ be a subset of $V$.


Then $S$ is an orthonormal basis if and only if:

$(1): \quad S$ is a basis.
$(2): \quad S$ is orthonormal.