Anisotropic Vector Gives Composition of Bilinear Space

Theorem

Let $\mathbb K$ be a field.

Let $\struct {V, f}$ be a bilinear space over $\mathbb K$.

Let $v \in V$ be anisotropic.

Let $\sequence v$ be its span.

Let $v^\perp$ be its orthogonal complement.

Then $\struct {V, f}$ is the internal orthogonal sum of $\sequence v$ and $v^\perp$:

$V = \sequence v \oplus v^\perp$

Proof

This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.