Gegeben sind:
$$ T_1 = \left\{ \begin{pmatrix} x_1 \\ x_2 \\ x_3 \end{pmatrix} \in \mathbb{R}^3\ \Bigg| \ x_2 = x_3-x_1 \right\} \subseteq \mathbb{R}^3$$ und:
$$ B = \left\{ \begin{pmatrix} 1 \\ -1 \\ 0 \end{pmatrix}, \begin{pmatrix} 0 \\ 1 \\ 1 \end{pmatrix} \right\} $$
Ich würde sagen, dass $$B$$ ein Erzeugendensystem von $$T_1$$ ist und, dass $$B$$ linear unabhängig ist. Doch bei der Frage, ob $$B$$ auch eine Basis von $$T_1$$ ist, schwanke ich, da ich nicht genau weiss, wie ich die $$ dim(T_1) $$ berechne. Kann mir das jemand zeigen?
Wenn $$dim(T_1)=2$$, dann wäre es eine Basis, ansonsten nicht. Ist das richtig?
Danke für eure Zeit!