lgebra Linear

Prof. Esp.: Thiago VedoVatto

Espaos Vetoriais: Teorema do Completamento Prof. Esp.: Thiago VedoVatto

Universidade Federal de Gois Campus Jata Coordenao de Matemtica

lgebra Linear

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

16 de outubro de 2011

Objetivos da Aula

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Dimenso Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio (Denio de Dimenso(recapitulando))

Seja V um espao vetorial nitamente gerado

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio (Denio de Dimenso(recapitulando))

Seja V um espao vetorial nitamente gerado. Denomina-se dimenso de V

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio (Denio de Dimenso(recapitulando))

Seja V um espao vetorial nitamente gerado. Denomina-se dimenso de V (notao: dim V ) o nmero de vetores de uma quaisquer de suas bases

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio (Denio de Dimenso(recapitulando))

Seja V um espao vetorial nitamente gerado. Denomina-se dimenso de V (notao: dim V ) o nmero de vetores de uma quaisquer de suas bases. Diz-se tambm, neste caso, que V um espao de dimenso nita.

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Teorema (Teorema da Invarincia (recapitulando))

Seja V um espao vetorial nitamente gerado

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Teorema (Teorema da Invarincia (recapitulando))

Seja V um espao vetorial nitamente gerado

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Teorema (Teorema da Invarincia (recapitulando))

Seja V um espao vetorial nitamente gerado. Ento duas bases quaisquer de V tm o mesmo nmero de vetores.

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Teorema (Teorema do Completamento)

Seja V um espao vetorial de dimenso n 1

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Teorema (Teorema do Completamento)

Seja V um espao vetorial de dimenso n 1

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Teorema (Teorema do Completamento)

Seja V um espao vetorial de dimenso n 1. Se {u1 , . . . , ur } V um subconjunto L.I. com r vetores e r <n

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Teorema (Teorema do Completamento)

Seja V um espao vetorial de dimenso n 1. Se {u1 , . . . , ur } V um subconjunto L.I. com r vetores e r < n, ento existem n r vetores ur +1 , . . . , un V , de maneira que B = {u1 , . . . , ur , ur +1 , . . . , un } uma base de V.

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Demonstrao.
Considerando {u1 , . . . , ur } V

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Demonstrao.
Considerando {u1 , . . . , ur } V

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Demonstrao.
Considerando {u1 , . . . , ur } V . Tomemos uma base C = {v1 , . . . , vn } de V e formemos a unio

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Demonstrao.
Considerando {u1 , . . . , ur } V . Tomemos uma base C = {v1 , . . . , vn } de V e formemos a unio: S = {u1 , . . . , ur , v1 , . . . , vn }

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Demonstrao.
Considerando {u1 , . . . , ur } V . Tomemos uma base C = {v1 , . . . , vn } de V e formemos a unio: S = {u1 , . . . , ur , v1 , . . . , vn }. Dentre os conjuntos de S que so L.I. e que contm u1 , . . . , ur tomemos um com o maior nmero possvel de elementos

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Demonstrao.
Considerando {u1 , . . . , ur } V . Tomemos uma base C = {v1 , . . . , vn } de V e formemos a unio: S = {u1 , . . . , ur , v1 , . . . , vn }. Dentre os conjuntos de S que so L.I. e que contm u1 , . . . , ur tomemos um com o maior nmero possvel de elementos. Seja B esse conjunto: B = {u1 , . . . , ur , v1 , . . . , vs }

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Demonstrao.
Considerando {u1 , . . . , ur } V . Tomemos uma base C = {v1 , . . . , vn } de V e formemos a unio: S = {u1 , . . . , ur , v1 , . . . , vn }. Dentre os conjuntos de S que so L.I. e que contm u1 , . . . , ur tomemos um com o maior nmero possvel de elementos. Seja B esse conjunto: B = {u1 , . . . , ur , v1 , . . . , vs }Mostremos desse modo que B satisfaz a denio de base, sendo o mesmo uma base de V

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Demonstrao.
Considerando {u1 , . . . , ur } V . Tomemos uma base C = {v1 , . . . , vn } de V e formemos a unio: S = {u1 , . . . , ur , v1 , . . . , vn }. Dentre os conjuntos de S que so L.I. e que contm u1 , . . . , ur tomemos um com o maior nmero possvel de elementos. Seja B esse conjunto: B = {u1 , . . . , ur , v1 , . . . , vs }Mostremos desse modo que B satisfaz a denio de base, sendo o mesmo uma base de V : v1 , . . . , vs so obviamente combinaes lineares de B

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Demonstrao.
Considerando {u1 , . . . , ur } V . Tomemos uma base C = {v1 , . . . , vn } de V e formemos a unio: S = {u1 , . . . , ur , v1 , . . . , vn }. Dentre os conjuntos de S que so L.I. e que contm u1 , . . . , ur tomemos um com o maior nmero possvel de elementos. Seja B esse conjunto: B = {u1 , . . . , ur , v1 , . . . , vs }Mostremos desse modo que B satisfaz a denio de base, sendo o mesmo uma base de V : v1 , . . . , vs so obviamente combinaes lineares de B

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Demonstrao.
Considerando {u1 , . . . , ur } V . Tomemos uma base C = {v1 , . . . , vn } de V e formemos a unio: S = {u1 , . . . , ur , v1 , . . . , vn }. Dentre os conjuntos de S que so L.I. e que contm u1 , . . . , ur tomemos um com o maior nmero possvel de elementos. Seja B esse conjunto: B = {u1 , . . . , ur , v1 , . . . , vs }Mostremos desse modo que B satisfaz a denio de base, sendo o mesmo uma base de V : v1 , . . . , vs so obviamente combinaes lineares de B. O mesmo pode ser dito de vs +1 , . . . , vn

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Demonstrao.
Considerando {u1 , . . . , ur } V . Tomemos uma base C = {v1 , . . . , vn } de V e formemos a unio: S = {u1 , . . . , ur , v1 , . . . , vn }. Dentre os conjuntos de S que so L.I. e que contm u1 , . . . , ur tomemos um com o maior nmero possvel de elementos. Seja B esse conjunto: B = {u1 , . . . , ur , v1 , . . . , vs }Mostremos desse modo que B satisfaz a denio de base, sendo o mesmo uma base de V : v1 , . . . , vs so obviamente combinaes lineares de B. O mesmo pode ser dito de vs +1 , . . . , vn . Sendo todos os vetores de C combinaes lineares de B, conclu-se, pelo fato de C ser uma base de V , que todos os vetores de V tambm so combinaes lineares de B. A prpria construo de B garante que o mesmo L.I. Portanto B uma base de V .

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Teorema
Todo subespao vetorial de um espao vetorial nitamente gerado tambm nitamente gerado.

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Teorema
Todo subespao vetorial de um espao vetorial nitamente gerado tambm nitamente gerado.

Prof. Esp.: Thiago VedoVatto

Dimenso

Demonstrao.
Seja V nitamente gerado e W um subespao vetorial de V

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Teorema
Todo subespao vetorial de um espao vetorial nitamente gerado tambm nitamente gerado.

Prof. Esp.: Thiago VedoVatto

Dimenso

Demonstrao.
Seja V nitamente gerado e W um subespao vetorial de V

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Teorema
Todo subespao vetorial de um espao vetorial nitamente gerado tambm nitamente gerado.

Prof. Esp.: Thiago VedoVatto

Dimenso

Demonstrao.
Seja V nitamente gerado e W um subespao vetorial de V . Se W = {o}, no h nada a provar

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Teorema
Todo subespao vetorial de um espao vetorial nitamente gerado tambm nitamente gerado.

Prof. Esp.: Thiago VedoVatto

Dimenso

Demonstrao.
Seja V nitamente gerado e W um subespao vetorial de V . Se W = {o}, no h nada a provar

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Teorema
Todo subespao vetorial de um espao vetorial nitamente gerado tambm nitamente gerado.

Prof. Esp.: Thiago VedoVatto

Dimenso

Demonstrao.
Seja V nitamente gerado e W um subespao vetorial de V . Se W = {o}, no h nada a provar; Se W = {o} tomemos w1 W , w1 = o

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Teorema
Todo subespao vetorial de um espao vetorial nitamente gerado tambm nitamente gerado.

Prof. Esp.: Thiago VedoVatto

Dimenso

Demonstrao.
Seja V nitamente gerado e W um subespao vetorial de V . Se W = {o}, no h nada a provar; Se W = {o} tomemos w1 W , w1 = o

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Teorema
Todo subespao vetorial de um espao vetorial nitamente gerado tambm nitamente gerado.

Prof. Esp.: Thiago VedoVatto

Dimenso

Demonstrao.
Seja V nitamente gerado e W um subespao vetorial de V . Se W = {o}, no h nada a provar; Se W = {o} tomemos w1 W , w1 = o.
Se

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

W = {1w1 : 1 R}

, est provado

lgebra Linear

Teorema
Todo subespao vetorial de um espao vetorial nitamente gerado tambm nitamente gerado.

Prof. Esp.: Thiago VedoVatto

Dimenso

Demonstrao.
Seja V nitamente gerado e W um subespao vetorial de V . Se W = {o}, no h nada a provar; Se W = {o} tomemos w1 W , w1 = o.
Se

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

W = {1w1 : 1 R}

, est provado

lgebra Linear

Teorema
Todo subespao vetorial de um espao vetorial nitamente gerado tambm nitamente gerado.

Prof. Esp.: Thiago VedoVatto

Dimenso

Demonstrao.
Seja V nitamente gerado e W um subespao vetorial de V . Se W = {o}, no h nada a provar; Se W = {o} tomemos w1 W , w1 = o.
Se

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

W = {1w1 : 1 R} w2 W {w1 , w2 }
Seno, existe L.I.

, est provado.

, que no da forma

w1

, isto ,

lgebra Linear

Teorema
Todo subespao vetorial de um espao vetorial nitamente gerado tambm nitamente gerado.

Prof. Esp.: Thiago VedoVatto

Dimenso

Demonstrao.
Seja V nitamente gerado e W um subespao vetorial de V . Se W = {o}, no h nada a provar; Se W = {o} tomemos w1 W , w1 = o.
Se

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

W = {1w1 : 1 R} w2 W {w1 , w2 }
Seno, existe L.I.

, est provado.

, que no da forma

w1

, isto ,

lgebra Linear

Teorema
Todo subespao vetorial de um espao vetorial nitamente gerado tambm nitamente gerado.

Prof. Esp.: Thiago VedoVatto

Dimenso

Demonstrao.
Seja V nitamente gerado e W um subespao vetorial de V . Se W = {o}, no h nada a provar; Se W = {o} tomemos w1 W , w1 = o.
Se

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

W = {1w1 : 1 R} w2 W {w1 , w2 } W
Seno, existe L.I.. Se terminado

, est provado.

, que no da forma gerado por

w1 , w2 }

w1

, isto ,

, est

lgebra Linear

Teorema
Todo subespao vetorial de um espao vetorial nitamente gerado tambm nitamente gerado.

Prof. Esp.: Thiago VedoVatto

Dimenso

Demonstrao.
Seja V nitamente gerado e W um subespao vetorial de V . Se W = {o}, no h nada a provar; Se W = {o} tomemos w1 W , w1 = o.
Se

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

W = {1w1 : 1 R} w2 W 1 w1 {w1 , w2 } W {w1 , w2 } w3 W { w1 , w2 }

, est provado. Seno, existe , que no da forma gerado por em L.I.. Se terminado. Seno, existe combinao linear de , que no

, isto ,

, est

. E assim por diante

lgebra Linear

Teorema
Todo subespao vetorial de um espao vetorial nitamente gerado tambm nitamente gerado.

Prof. Esp.: Thiago VedoVatto

Dimenso

Demonstrao.
Seja V nitamente gerado e W um subespao vetorial de V . Se W = {o}, no h nada a provar; Se W = {o} tomemos w1 W , w1 = o.
Se

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

Esse processo deve parar seno haveria em V um conjunto L.I. e innito.

W = {1w1 : 1 R} w2 W 1 w1 {w1 , w2 } W {w1 , w2 } w3 W { w1 , w2 }

, est provado. Seno, existe , que no da forma gerado por em L.I.. Se terminado. Seno, existe combinao linear de , que no

, isto ,

, est

. E assim por diante.

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Teorema
Seja W um subespao vetorial de V . Se dim W = dim V , ento W = V .

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Teorema
Seja W um subespao vetorial de V . Se dim W = dim V , ento W = V .

Dimenso

Demonstrao.
Pela Proposio 3, W nitamente gerado

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Teorema
Seja W um subespao vetorial de V . Se dim W = dim V , ento W = V .

Dimenso

Demonstrao.
Pela Proposio 3, W nitamente gerado

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Teorema
Seja W um subespao vetorial de V . Se dim W = dim V , ento W = V .

Dimenso

Demonstrao.
Pela Proposio 3, W nitamente gerado. Logo W tem uma base

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Teorema
Seja W um subespao vetorial de V . Se dim W = dim V , ento W = V .

Dimenso

Demonstrao.
Pela Proposio 3, W nitamente gerado. Logo W tem uma base. Toda base de W tambm base de V devido hiptese de que dim W = dim V

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Teorema
Seja W um subespao vetorial de V . Se dim W = dim V , ento W = V .

Dimenso

Demonstrao.
Pela Proposio 3, W nitamente gerado. Logo W tem uma base. Toda base de W tambm base de V devido hiptese de que dim W = dim V . Logo todo vetor de V pertence W

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Teorema
Seja W um subespao vetorial de V . Se dim W = dim V , ento W = V .

Dimenso

Demonstrao.
Pela Proposio 3, W nitamente gerado. Logo W tem uma base. Toda base de W tambm base de V devido hiptese de que dim W = dim V . Logo todo vetor de V pertence W . Assim V W

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Teorema
Seja W um subespao vetorial de V . Se dim W = dim V , ento W = V .

Dimenso

Demonstrao.
Pela Proposio 3, W nitamente gerado. Logo W tem uma base. Toda base de W tambm base de V devido hiptese de que dim W = dim V . Logo todo vetor de V pertence W . Assim V W e, como W V , segue que V = W.

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

Processo Prtico de Determinao de uma Base de um Subespao de Rn

O processo possui trs observaes apenas

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

Processo Prtico de Determinao de uma Base de um Subespao de Rn

O processo possui trs observaes apenas. Para tanto consideremos V = [u1 , . . . , ur ] um subespao do Rn

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

Processo Prtico de Determinao de uma Base de um Subespao de Rn

O processo possui trs observaes apenas. Para tanto consideremos V = [u1 , . . . , ur ] um subespao do Rn . Se no segundo membro da igualdade permutarmos dois dos elementos que l guram no alteramos o subespao gerado, ou seja

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

Processo Prtico de Determinao de uma Base de um Subespao de Rn

O processo possui trs observaes apenas. Para tanto consideremos V = [u1 , . . . , ur ] um subespao do Rn . Se no segundo membro da igualdade permutarmos dois dos elementos que l guram no alteramos o subespao gerado, ou seja

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

Processo Prtico de Determinao de uma Base de um Subespao de Rn

O processo possui trs observaes apenas. Para tanto consideremos V = [u1 , . . . , ur ] um subespao do Rn . Se no segundo membro da igualdade permutarmos dois dos elementos que l guram no alteramos o subespao gerado, ou seja: v = [u1 , . . . , ui , . . . , uj , . . . , ur ] = [u1 , . . . , uj , . . . , ui , . . . , ur ]

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

Processo Prtico de Determinao de uma Base de um Subespao de Rn

O processo possui trs observaes apenas. Para tanto consideremos V = [u1 , . . . , ur ] um subespao do Rn . Se no segundo membro da igualdade permutarmos dois dos elementos que l guram no alteramos o subespao gerado, ou seja: v = [u1 , . . . , ui , . . . , uj , . . . , ur ] = [u1 , . . . , uj , . . . , ui , . . . , ur ] Para todo nmero real tem-se a seguinte igualdade

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

Processo Prtico de Determinao de uma Base de um Subespao de Rn

O processo possui trs observaes apenas. Para tanto consideremos V = [u1 , . . . , ur ] um subespao do Rn . Se no segundo membro da igualdade permutarmos dois dos elementos que l guram no alteramos o subespao gerado, ou seja: v = [u1 , . . . , ui , . . . , uj , . . . , ur ] = [u1 , . . . , uj , . . . , ui , . . . , ur ] Para todo nmero real tem-se a seguinte igualdade

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

Processo Prtico de Determinao de uma Base de um Subespao de Rn

O processo possui trs observaes apenas. Para tanto consideremos V = [u1 , . . . , ur ] um subespao do Rn . Se no segundo membro da igualdade permutarmos dois dos elementos que l guram no alteramos o subespao gerado, ou seja: v = [u1 , . . . , ui , . . . , uj , . . . , ur ] = [u1 , . . . , uj , . . . , ui , . . . , ur ] Para todo nmero real tem-se a seguinte igualdade: v = [u1 , . . . , ui , . . . , uj + ui , . . . , ur ]

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

Processo Prtico de Determinao de uma Base de um Subespao de Rn

O processo possui trs observaes apenas. Para tanto consideremos V = [u1 , . . . , ur ] um subespao do Rn . Se no segundo membro da igualdade permutarmos dois dos elementos que l guram no alteramos o subespao gerado, ou seja: v = [u1 , . . . , ui , . . . , uj , . . . , ur ] = [u1 , . . . , uj , . . . , ui , . . . , ur ] Para todo nmero real tem-se a seguinte igualdade: v = [u1 , . . . , ui , . . . , uj + ui , . . . , ur ]

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

De fato, seja: u = 1 u1 + . . . + i ui + . . . + j uj + . . . + r ur um elemento de V

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

De fato, seja: u = 1 u1 + . . . + i ui + . . . + j uj + . . . + r ur um elemento de V

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

De fato, seja: u = 1 u1 + . . . + i ui + . . . + j uj + . . . + r ur um elemento de V . Esse elemento tambm pode ser escrito da seguinte maneira

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

De fato, seja: u = 1 u1 + . . . + i ui + . . . + j uj + . . . + r ur um elemento de V . Esse elemento tambm pode ser escrito da seguinte maneira: u = 1 u1 + . . . + i ui j ui + . . . + j uj j ui + r ur

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

De fato, seja: u = 1 u1 + . . . + i ui + . . . + j uj + . . . + r ur um elemento de V . Esse elemento tambm pode ser escrito da seguinte maneira: u = 1 u1 + . . . + i ui j ui + . . . + j uj j ui + r ur ou ainda

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

De fato, seja: u = 1 u1 + . . . + i ui + . . . + j uj + . . . + r ur um elemento de V . Esse elemento tambm pode ser escrito da seguinte maneira: u = 1 u1 + . . . + i ui j ui + . . . + j uj j ui + r ur ou ainda: u = 1 u1 + . . . + (i j )ui + . . . + j (uj + ui ) + r ur Logo

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

De fato, seja: u = 1 u1 + . . . + i ui + . . . + j uj + . . . + r ur um elemento de V . Esse elemento tambm pode ser escrito da seguinte maneira: u = 1 u1 + . . . + i ui j ui + . . . + j uj j ui + r ur ou ainda: u = 1 u1 + . . . + (i j )ui + . . . + j (uj + ui ) + r ur Logo: u [u1 , . . . , ui , . . . , uj + ui , . . . , ur ] Mostre que o subespao V contm o subespao gerado por u1 , . . . , ui , . . . , uj + ui , . . . , ur .

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Se u1 , . . . , ur se apresentam na forma escalonada, ento fcil mostrar que os vetores u1 , . . . , ur formam um conjunto L.I.

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Se u1 , . . . , ur se apresentam na forma escalonada, ento fcil mostrar que os vetores u1 , . . . , ur formam um conjunto L.I.e, portanto dim V = r

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Se u1 , . . . , ur se apresentam na forma escalonada, ento fcil mostrar que os vetores u1 , . . . , ur formam um conjunto L.I.e, portanto dim V = r . Se os geradores de V no formassem um conjunto L.I., ento teramos algo como: u1 = 2 u2 + . . . + r ur . Mas isso no possvel pois o nmero de zeros iniciais de u1 certamente diferente do nmero de zeros iniciais de 2 u2 + . . . + r ur , devido nossa hiptese a respeito desses vetores.

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Example
Seja V = [(2, 1, 1, 0), (1, 0, 1, 2), (0, 1, 1, 4)] R4

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Example
Seja V = [(2, 1, 1, 0), (1, 0, 1, 2), (0, 1, 1, 4)] R4 . Formamos com esses vetores as linhas de uma matriz simblica da seguinte maneira

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Prof. Esp.: Thiago VedoVatto

Example
Seja V = [(2, 1, 1, 0), (1, 0, 1, 2), (0, 1, 1, 4)] R4 . Formamos com esses vetores as linhas de uma matriz simblica da seguinte maneira: 2 1 1 0 1 0 1 2 0 1 1 4

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Example
Agora escalonemos esta matriz: 2 1 1 0 1 0 1 2 0 1 1 4

Prof. Esp.: Thiago VedoVatto

Dimenso

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Example
Agora escalonemos esta matriz: 2 1 1 0 1 0 1 2 0 1 1 4

L1 L2

Prof. Esp.: Thiago VedoVatto

Dimenso

1 0 1 2 2 1 1 0 0 1 1 4

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Example
Agora escalonemos esta matriz: 2 1 1 0 1 0 1 2 0 1 1 4

L1 L2 L2 L2 2L1

Prof. Esp.: Thiago VedoVatto

Dimenso

1 0 2 1 0 1 1 0 0 1 0 1

1 2 1 0 1 4 1 2 1 4 1 4

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Example
Agora escalonemos esta matriz: 2 1 1 0 1 0 1 2 0 1 1 4

L1 L2 L2 L2 2L1 L3 L3 +L2

Prof. Esp.: Thiago VedoVatto

Dimenso

1 2 0 1 0 0 1 0 0

0 1 1 0 1 1 0 1 0

1 2 1 0 1 4 1 2 1 4 1 4 1 2 1 4 0 0

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

lgebra Linear

Example
Agora escalonemos esta matriz: 2 1 1 0 1 0 1 2 0 1 1 4

L1 L2 L2 L2 2L1 L3 L3 +L2

Prof. Esp.: Thiago VedoVatto

Dimenso

1 2 0 1 0 0 1 0 0

0 1 1 0 1 1 0 1 0

1 2 1 0 1 4 1 2 1 4 1 4 1 2 1 4 0 0

Denio de Dimenso Teorema da Invarincia Teorema do Completamento Proposio 3 Proposio 4 Processo de Determinao de uma Base

As linhas em destaque indicam os vetores (1, 0, 1, 2) e (0, 1, 1, 4) como uma base do subespao vetorial V = [(2, 1, 1, 0), (1, 0, 1, 2), (0, 1, 1, 4)] R4 .