# Anisotropic Vector Gives Composition of Bilinear Space

Jump to navigation
Jump to search

## 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. |