Mais vetores do que geradores: a lista é LD
Se \(V\) é gerado por \(m\) vetores, quaisquer \(m+1\) vetores de \(V\) são LD. Em particular, quaisquer \(n+1\) vetores de \(\R^n\) são LD, e quaisquer \(n+2\) polinômios de \(\Pol{n}\) são LD.
cor-ld · ver o LaTeX · sugerir uma correção
LaTeX deste card
O texto-fonte do card, para propor uma correção ou escrever um card no mesmo formato.
\cardid{cor-ld}
\cardtipo{corolario}
\cardtitulo{Mais vetores do que geradores: a lista é LD}
\cardtags{}
\cardautor{}
\cardrequer{lem-troca}
\cardrequerdem{}
\cardveja{}
\begin{cartao}
Se $V$ é gerado por $m$ vetores, quaisquer $m+1$ vetores
de $V$ são LD. Em particular, quaisquer $n+1$ vetores de $\R^n$ são LD, e quaisquer $n+2$
polinômios de $\Pol{n}$ são LD.
\end{cartao}