Sunday, 27 April 2014

Linear algebra question about definition of basis



From Wikipedia:



"A basis $B$ of a vector space $V$ over a field $K$ is a linearly independent subset of $V$ that spans (or generates) $V$.(1)



$B$ is a minimal generating set of $V$, i.e., it is a generating set and no proper subset of B is also a generating set.(2)



$B$ is a maximal set of linearly independent vectors, i.e., it is a linearly independent set but no other linearly independent set contains it as a proper subset."(3)




I tried to prove (1) => (3) => (2), to see that these are equivalent definitions, can you tell me if my proof is correct:



(1) => (3):
Let $B$ be linearly independent and spanning. Then $B$ is maximal: Let $v$ be any vector in $V$. Then since $B$ is spanning, $\exists b_i \in B, k_i \in K: \sum_{i=1}^n b_i k_i = v$. Hence $v - \sum_{i=1}^n b_i k_i = 0$ and hence $B \cup \{v\}$ is linearly dependent. So $B$ is maximal since $v$ was arbitrary.



(3) => (2):
Let $B$ be maximal and linearly independent. Then $B$ is minimal and spanning:



spanning: Let $v \in V$ be arbitrary. $B$ is maximal hence $B \cup \{v\}$ is linearly dependent. i.e. $\exists b_i \in B , k_i \in K : \sum_i b_i k_i = v$, i.e. $B$ is spanning.




minimal: $B$ is linearly independent. Let $b \in B$. Then $b \notin span( B \setminus \{b\})$ hence $B$ is minimal.



(2) => (1):
Let $B$ be minimal and spanning. Then $B$ is linearly independent:
Assume $B$ not linearly independent then $\exists b_i \in B, k_i \in K: b = \sum_i b_i k_i$. Then $B \setminus \{b\}$ is spanning which contradicts that $B$ is minimal.


Answer



The proof looks good (appart form the obvious mix up in the numbering). One thing which is not totally precise:
In your second proof you write
Let $v\in V$ be arbitrary. $B$ is maximal hence $B\cup\{v\}$ is linearly dependent. i.e. $\exists b_i\in B,k_i\in K: \sum_i b_ik_i=v$, i.e. $B$ is spanning.

To be precise you have $k_i\in K$ not all vanishing such that $k_0v+\sum_i k_ib_i=0$. Since $B$ is linearly independent $k_0=0$ implies $k_i=0$ for all $i$, therefore $k_0\neq 0$ and $v$ is in the span of $B$.


No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...