Aufgabe:
Es seien ein Körper \( K \), ein endlichdimensionaler \( K \)-Vektorraum \( V \) und \( K \)-Untervektorräume \( U \) und \( U^{\prime} \) von \( V \) mit \( V=U+U^{\prime} \) gegeben. Ferner seien \( n, n^{\prime} \in \mathbb{N}_{0} \), ein \( n \)-Tupel \( \left(s_{1}, \ldots, s_{n}\right) \) in \( U \) und ein \( n^{\prime} \)-Tupel \( \left(s_{1}^{\prime}, \ldots, s_{n^{\prime}}^{\prime}\right) \) in \( U^{\prime} \) gegeben.
Ansatz/Problem:
Wenn (s1, ... ,sn) linear abhängig in U und (s'1, ... s'n') linear abh. in U' ist, ist dann (s1, ... ,sn,s'1, ... s'n') eine Basis von V?