Sufficient Conditions for Basis of Finite Dimensional Vector Space

From ProofWiki
Jump to navigation Jump to search


Let $K$ be a division ring.

Let $n \ge 0$ be a natural number.

Let $E$ be an $n$-dimensional vector space over $K$.

Let $B \subseteq E$ be a subset such that $\card B = n$.

The following are equivalent:

$(1): \quad$ $B$ is a basis of $E$.
$(2): \quad$ $B$ is linearly independent.
$(3): \quad$ $B$ is a generator for $E$.


1 implies 2 and 3

Let $B$ be a basis of $E$.

Then conditions $(2)$ and $(3)$ follow directly by the definition of basis.


2 implies 1

Let $B$ be linearly independent.

Suppose $B$ does not generate $E$.

Then, because $\card B = n$, by Linearly Independent Subset also Independent in Generated Subspace there would be a linearly independent subset of $n + 1$ vectors of $E$.

But this would contradict Size of Linearly Independent Subset is at Most Size of Finite Generator.

Thus condition $(2)$ implies $(1)$.


3 implies 1

Let $B$ be a generator for $E$.

By Vector Space has Basis Between Linearly Independent Set and Finite Spanning Set, $B$ contains a basis $B'$ of $E$.

But $B'$ has $n$ elements and hence $B' = B$ by Bases of Finitely Generated Vector Space have Equal Cardinality.

Thus condition $(3)$ implies $(1)$.



Example: $2$ Dimensions

Let $V$ be a vector space of $2$ dimensions.

Let $\mathbf u, \mathbf v \in V$ be vectors

Let $\mathbf u$ and $\mathbf v$ be such that neither $\mathbf u$ nor $\mathbf v$ is a scalar multiple of the other..

Let $\mathbf w \in V$.

Then there exist scalars such that:

$\mathbf w = a \mathbf u + b \mathbf v$