なるほど。ありがとうございます。
証明は次元と基底の数が一致するのでってことを使うんですかね…ちょっと
証明までは難しいです。

そうなると、自分が解こうとしていた問題(ａ↑＝｛１　０　１｝とｂ↑＝｛０　２　１｝を
含むＲ^３の１組の基底を求めなさい)というのは、
{a,b,c}として、残りのcを求めれば良いということですよね？
そうなると＜a,b,c＞＝Ｗとなるのですが、このＷっていうのは？
この問題ではＷは与えられてないですよね？そういう場合はどうすれば
良いのでしょうか？