m個のベクトルの組がn個のベクトルの一次結合で表せるとき、m>nならば、ｍ個のベクトルの組は一次従属

m個のベクトルの組がn個のベクトルの一次結合で表せるとき、m>nならば、ｍ個のベクトルの組は一次従属になる。
この証明はどうなりますか？ネット上にあればURLを教えて頂きたいです。
また、mこのベクトルが無限次元ベクトル空間の元であっても成り立ちますか？またそれはなぜですか？

No.1 回答者： tknakamuri 回答日時： 2021/12/17 04:44

無限次元の話は知らないのだが、

有限次元では

行列A、Bがあるとき

rank(AB)≦rank(A)、rank(AB)≦rank(B)

と同等。証明は教科書を見よう。