Eine lineare Abbildung ist eindeutig durch die Bilder der Basisvektoren bestimmt.
Wenn {b, c} linear unabhängig ist
Dann ist \(\{b,c\} \cup B\) linear unabhängig, weil
\(\begin{aligned} \sum_{v\in B}a_{v} v+a_{b}b+a_{c}c & =0\\ \implies\qquad\sum_{v\in B}a_{v} v & =-a_{b}b-a_{c}c\\ \implies\qquad\sum_{v\in B}a_{v} v & =0\,\wedge\,-a_{b}b-a_{c}c=0\\ \implies\qquad\phantom{\sum_{v\in B}v}a_{v} & =0\wedge\,a_{b}=0\wedge a_{c}=0 \end{aligned}\)
wegen \([B]\cap [\{b,c\}] = \{0\}\) wegen \(b, c \in V\setminus [B]\).
Wenn {b, c} ∪ B linear unabhängig ist,
Siehe (A)
Wenn {b, c} linear abhängig ist
Dann gibt es ein \(a\neq 0\) mit \(a\cdot b = c\), weil \(b,c\neq 0\).