Aula 02 EspacosVetoriais TopicosAdicionais

Notas de aula de lgebra Linear
Cursos de Engenharia
Semana 2 Subespaos Vetoriais
Prof. Louis Augusto

louis.augusto@ifsc.edu.br
Instituto Federal de Santa Catarina

Campus Florianpolis
Louis Augusto Gonalves (IFSC, DALTEC) Sem 2017-1 1 / 23

ndice
1 Subespao Vetorial
Definio e critrio de subespao vetorial
Exemplos de subespaos vetoriais
Exemplos de conjuntos que no formam subespaos vetoriais
Subespaos Triviais
2 Operaes de Subespaos
Interseo de subespaos
Unio de subespaos
Soma de subespaos
Soma direta de subespaos

Sumrio
1 Subespao Vetorial
Subespaos Triviais
Unio de subespaos
Soma de subespaos

Definio de subespao vetorial
Definio
Considere (V, +, ) um EV sobre um corpo K.
Seja F um subconjunto de V, ou seja, F V.
Se (F, +, ) sobre o corpo K for tambm um EV, dizemos que (F, +, ) um
subespao vetorial de (V, +, ) sobre K.
Estudamos na aula 1 que nem todos os subconjuntos de V formaro EV, por

exemplo:
R2 e as retas que no passam pela origem.
R2 e as pontos que esto sobre uma circunferncia.
Ento precisamos de um critrio para verificar se F V forma um espao

vetorial, com o corpo e as operaes definidas em (V, +, ).

Definio

exemplo:


Definio

exemplo:


Definio

exemplo:


Definio

exemplo:


Definio

exemplo:


Definio

exemplo:


Critrio de subespao vetorial
Teorema (Critrio de Subespao)

Seja (V, +, ) um EV sobre um
corpo K.

F V
0V F

F V subespao de V

u, v F, u + v F
K, u F, .u F

Em outras palavras no necessrio provar todos os teoremas sobre EV

para verificar se um subconjunto forma um subespao vetorial.
Basta verificar se a soma fechada, se a multiplicao externa fechada e

se o nulo do espao elemento do conjunto F.


corpo K.

F V
0V F

F V subespao de V

u, v F, u + v F
K, u F, .u F





corpo K.

F V
0V F

F V subespao de V

u, v F, u + v F
K, u F, .u F





corpo K.

F V
0V F

F V subespao de V

u, v F, u + v F
K, u F, .u F




Sumrio
1 Subespao Vetorial
Subespaos Triviais
Unio de subespaos
Soma de subespaos

Exemplos de Subespaos Vetoriais
Alguns subespaos do R2 :
G = {(x, y ) R2 : x = 0}, eixo 0y .
H = {(x, y ) R2 : x = y }, bissetriz dos quadrantes mpares.
L = {(x, y ) R2 : x = y }, bissetriz dos quadrantes pares.
Rm = {(x, y ) R2 : y = mx}, (m R), reta com declive m que passa
pela origem.
Alguns subespaos das matrizes quadradas:

Matrizes com diagonal principal nula.
Matrizes triangulares superiores e inferiores.
Diagonais.
Simtricas.
Anti-simtricas.
Obviamente todos os casos precisam ser demonstrados usando o critrio de

subespao vetorial.
G = {(x, y ) R2 : x = 0}, eixo 0y .
pela origem.

Diagonais.
Simtricas.
Anti-simtricas.

subespao vetorial.
G = {(x, y ) R2 : x = 0}, eixo 0y .
pela origem.

Diagonais.
Simtricas.
Anti-simtricas.

subespao vetorial.
G = {(x, y ) R2 : x = 0}, eixo 0y .
pela origem.

Diagonais.
Simtricas.
Anti-simtricas.

subespao vetorial.
G = {(x, y ) R2 : x = 0}, eixo 0y .
pela origem.

Diagonais.
Simtricas.
Anti-simtricas.

subespao vetorial.
G = {(x, y ) R2 : x = 0}, eixo 0y .
pela origem.

Diagonais.
Simtricas.
Anti-simtricas.

subespao vetorial.
G = {(x, y ) R2 : x = 0}, eixo 0y .
pela origem.

Diagonais.
Simtricas.
Anti-simtricas.

subespao vetorial.
G = {(x, y ) R2 : x = 0}, eixo 0y .
pela origem.

Diagonais.
Simtricas.
Anti-simtricas.

subespao vetorial.
G = {(x, y ) R2 : x = 0}, eixo 0y .
pela origem.

Diagonais.
Simtricas.
Anti-simtricas.

subespao vetorial.
G = {(x, y ) R2 : x = 0}, eixo 0y .
pela origem.

Diagonais.
Simtricas.
Anti-simtricas.

subespao vetorial.
G = {(x, y ) R2 : x = 0}, eixo 0y .
pela origem.

Diagonais.
Simtricas.
Anti-simtricas.

subespao vetorial.
G = {(x, y ) R2 : x = 0}, eixo 0y .
pela origem.

Diagonais.
Simtricas.
Anti-simtricas.

subespao vetorial.
G = {(x, y ) R2 : x = 0}, eixo 0y .
pela origem.

Diagonais.
Simtricas.
Anti-simtricas.

subespao vetorial.
Sumrio
1 Subespao Vetorial
Subespaos Triviais
Unio de subespaos
Soma de subespaos

No so Subespaos Vetoriais
No R2 :
M = {(x, y ) R2 : x.y = 1}.
N = {(x, y ) R2 : x 6= y }.
Rm,b = {(x, y ) R2 : y = mx + b}, (m R, b 6= 0), reta com declive m
que no passa pela origem.
Q = {(x, y ) R2 : x 0}.
No caso das
matrizes:

a b
P= no subespao de M22 (R).
c 1
Matrizes com diagonal principal no nula.
Invertveis.
No invertveis.
Identifique nos casos acima qual critrio falha para os conjuntos no serem
subespaos vetoriais dos conjuntos pais.

No R2 :
M = {(x, y ) R2 : x.y = 1}.
N = {(x, y ) R2 : x 6= y }.
Q = {(x, y ) R2 : x 0}.
No caso das
matrizes:

a b
c 1
Invertveis.
No invertveis.

No R2 :
M = {(x, y ) R2 : x.y = 1}.
N = {(x, y ) R2 : x 6= y }.
Q = {(x, y ) R2 : x 0}.
No caso das
matrizes:

a b
c 1
Invertveis.
No invertveis.

No R2 :
M = {(x, y ) R2 : x.y = 1}.
N = {(x, y ) R2 : x 6= y }.
Q = {(x, y ) R2 : x 0}.
No caso das
matrizes:

a b
c 1
Invertveis.
No invertveis.

No R2 :
M = {(x, y ) R2 : x.y = 1}.
N = {(x, y ) R2 : x 6= y }.
Q = {(x, y ) R2 : x 0}.
No caso das
matrizes:

a b
c 1
Invertveis.
No invertveis.

No R2 :
M = {(x, y ) R2 : x.y = 1}.
N = {(x, y ) R2 : x 6= y }.
Q = {(x, y ) R2 : x 0}.
No caso das
matrizes:

a b
c 1
Invertveis.
No invertveis.

No R2 :
M = {(x, y ) R2 : x.y = 1}.
N = {(x, y ) R2 : x 6= y }.
Q = {(x, y ) R2 : x 0}.
No caso das
matrizes:

a b
c 1
Invertveis.
No invertveis.

No R2 :
M = {(x, y ) R2 : x.y = 1}.
N = {(x, y ) R2 : x 6= y }.
Q = {(x, y ) R2 : x 0}.
No caso das
matrizes:

a b
c 1
Invertveis.
No invertveis.

No R2 :
M = {(x, y ) R2 : x.y = 1}.
N = {(x, y ) R2 : x 6= y }.
Q = {(x, y ) R2 : x 0}.
No caso das
matrizes:

a b
c 1
Invertveis.
No invertveis.

No R2 :
M = {(x, y ) R2 : x.y = 1}.
N = {(x, y ) R2 : x 6= y }.
Q = {(x, y ) R2 : x 0}.
No caso das
matrizes:

a b
c 1
Invertveis.
No invertveis.

No R2 :
M = {(x, y ) R2 : x.y = 1}.
N = {(x, y ) R2 : x 6= y }.
Q = {(x, y ) R2 : x 0}.
No caso das
matrizes:

a b
c 1
Invertveis.
No invertveis.

No R2 :
M = {(x, y ) R2 : x.y = 1}.
N = {(x, y ) R2 : x 6= y }.
Q = {(x, y ) R2 : x 0}.
No caso das
matrizes:

a b
c 1
Invertveis.
No invertveis.

Sumrio
1 Subespao Vetorial
Subespaos Triviais
Unio de subespaos
Soma de subespaos

Subespaos Triviais
Para qualquer espao vetorial (V, +, , K), temos dois subespaos que
sempre existem:
O prprio V.
O conjunto unitrio composto pelo nulo: {0V }

Subespaos Triviais
Para qualquer espao vetorial (V, +, , K), temos dois subespaos que
sempre existem:
O prprio V.
O conjunto unitrio composto pelo nulo: {0V }

Sumrio
1 Subespao Vetorial
Subespaos Triviais
Unio de subespaos
Soma de subespaos

Definio
Dados dois subespaos F e G de um EV V, definimos a interseo de F e V
por:
F G = {u V : u F e u G}
Exemplo:
Em R4 , considere os subespaos:
F = {(a, b, c, d) R4 : a b = 0 e c d = 0}
G = {(a, b, c, d) R4 : b c = 0 e d = 0}
Determine F G.
Teorema
Se F e G so dois subespaos de um EV V, ento F G tambm um
subespao de V.

Definio
por:
F G = {u V : u F e u G}
Exemplo:
F = {(a, b, c, d) R4 : a b = 0 e c d = 0}
G = {(a, b, c, d) R4 : b c = 0 e d = 0}
Determine F G.
Teorema
subespao de V.

Definio
por:
F G = {u V : u F e u G}
Exemplo:
F = {(a, b, c, d) R4 : a b = 0 e c d = 0}
G = {(a, b, c, d) R4 : b c = 0 e d = 0}
Determine F G.
Teorema
subespao de V.

Definio
por:
F G = {u V : u F e u G}
Exemplo:
F = {(a, b, c, d) R4 : a b = 0 e c d = 0}
G = {(a, b, c, d) R4 : b c = 0 e d = 0}
Determine F G.
Teorema
subespao de V.

Definio
por:
F G = {u V : u F e u G}
Exemplo:
F = {(a, b, c, d) R4 : a b = 0 e c d = 0}
G = {(a, b, c, d) R4 : b c = 0 e d = 0}
Determine F G.
Teorema
subespao de V.

Definio
por:
F G = {u V : u F e u G}
Exemplo:
F = {(a, b, c, d) R4 : a b = 0 e c d = 0}
G = {(a, b, c, d) R4 : b c = 0 e d = 0}
Determine F G.
Teorema
subespao de V.

Sumrio
1 Subespao Vetorial
Subespaos Triviais
Unio de subespaos
Soma de subespaos

Unio de subespaos
Definio
Dados dois subespaos F e G de um EV V, definimos a unio de F e V por:
F G = {u V : u F ou u G}
Diferentemente da interseo, nem sempre a unio de dois subespaos um

subespao vetorial.
Exemplo:
V = R2 , e F = {(x, y ) R2 : x = 0}, G = {(x, y ) R2 : u = 0}
Verifique que a soma de elementos de F G no pertence a F G, o que
impede de ser um subespao.

Unio de subespaos
Definio

subespao vetorial.
Exemplo:
V = R2 , e F = {(x, y ) R2 : x = 0}, G = {(x, y ) R2 : u = 0}

Unio de subespaos
Definio

subespao vetorial.
Exemplo:
V = R2 , e F = {(x, y ) R2 : x = 0}, G = {(x, y ) R2 : u = 0}

Unio de subespaos
Definio

subespao vetorial.
Exemplo:
V = R2 , e F = {(x, y ) R2 : x = 0}, G = {(x, y ) R2 : u = 0}

Unio de subespaos
Definio

subespao vetorial.
Exemplo:
V = R2 , e F = {(x, y ) R2 : x = 0}, G = {(x, y ) R2 : u = 0}

Sumrio
1 Subespao Vetorial
Subespaos Triviais
Unio de subespaos
Soma de subespaos

Soma de subespaos
Definio (Soma de subespaos)

Dados dois subespaos F e G de um EV V, definimos a soma de F e V por:
F + G = {u + v : u F e v G}
Segundo a definio T = F + G, se todo elemento de T puder ser escrito

como a soma de um elemento de F e de outro de G.
Exemplo:
V = R2 , F = {(x, y ) R2 : y = 0}, G = {(x, y ) R2 : x = 0} e
H = {(x, y ) R2 : x = y }.
Mostre que:
a.) F + G = R2 .
b.) F + H = R2 .

Soma de subespaos

F + G = {u + v : u F e v G}

Exemplo:
V = R2 , F = {(x, y ) R2 : y = 0}, G = {(x, y ) R2 : x = 0} e
H = {(x, y ) R2 : x = y }.
Mostre que:
a.) F + G = R2 .
b.) F + H = R2 .

Soma de subespaos

F + G = {u + v : u F e v G}

Exemplo:
V = R2 , F = {(x, y ) R2 : y = 0}, G = {(x, y ) R2 : x = 0} e
H = {(x, y ) R2 : x = y }.
Mostre que:
a.) F + G = R2 .
b.) F + H = R2 .

Soma de subespaos

F + G = {u + v : u F e v G}

Exemplo:
V = R2 , F = {(x, y ) R2 : y = 0}, G = {(x, y ) R2 : x = 0} e
H = {(x, y ) R2 : x = y }.
Mostre que:
a.) F + G = R2 .
b.) F + H = R2 .

Soma de subespaos

F + G = {u + v : u F e v G}

Exemplo:
V = R2 , F = {(x, y ) R2 : y = 0}, G = {(x, y ) R2 : x = 0} e
H = {(x, y ) R2 : x = y }.
Mostre que:
a.) F + G = R2 .
b.) F + H = R2 .

Soma de subespaos

F + G = {u + v : u F e v G}

Exemplo:
V = R2 , F = {(x, y ) R2 : y = 0}, G = {(x, y ) R2 : x = 0} e
H = {(x, y ) R2 : x = y }.
Mostre que:
a.) F + G = R2 .
b.) F + H = R2 .

Diferena entre soma e unio de subespaos
Para entender a diferena entre os conceitos, vamos analisar o espao R2 .

Considere:
i.) U = {(x, y ) R2 : y = 0}: representa o eixo x.
ii.) W = {(x, y ) R2 : x = 0}: representa o eixo y .
Como os conjuntos acima representam retas que passam pela origem, so
subespaos vetoriais do R2 .
U W significa a unio dos eixos, e neste caso o ponto est no eixo x,
ou no eixo y , ou nos dois (origem).
O ponto (2, 3) no pertence unio, porque no est sobre nenhum dos
eixos.
U + W, diferentemente, representa todo o espao, pois qualquer ponto
do R2 pode ser escrito, de forma nica, como a soma de um ponto de U
com um ponto de W.
Esta noo nos d um novo conceito, soma direta:


Considere:
eixos.
com um ponto de W.


Considere:
eixos.
com um ponto de W.


Considere:
eixos.
com um ponto de W.


Considere:
eixos.
com um ponto de W.


Considere:
eixos.
com um ponto de W.


Considere:
eixos.
com um ponto de W.


Considere:
eixos.
com um ponto de W.

Sumrio
1 Subespao Vetorial
Subespaos Triviais
Unio de subespaos
Soma de subespaos

Definio (Soma direta de subespaos)

Um EV V a soma direta de dois de seus subespaos U e W se todo v V
puder ser escrito, de modo nico, como v = u + w, sendo u U e w W.
A notao usada para soma direta de dois subespaos U e W de V
V =U W
Teorema
O EV V a soma direta de seus subespaos U e W se e somente se :
i.) V = U+ W.
ii.) U W = {0V }.


V =U W
Teorema
i.) V = U+ W.
ii.) U W = {0V }.


V =U W
Teorema
i.) V = U+ W.
ii.) U W = {0V }.


V =U W
Teorema
i.) V = U+ W.
ii.) U W = {0V }.


V =U W
Teorema
i.) V = U+ W.
ii.) U W = {0V }.


V =U W
Teorema
i.) V = U+ W.
ii.) U W = {0V }.

Projees e espaos suplementares
Definio (Relacionamento entre os subespaos e o espao pai)

Quando V = U W, dizemos que U um espao suplementar de W (e
vice-versa) de V.
Definio
Relacionamento entre vetores O vetor v = u + w o par formado por (u, w),
com u U e w W.
O vetor u a projeo de v sobre U segundo W, e o vetor w a projeo de
v sobre W segundo U.
Faa um grfico que representa o R2 , e faa as projees, como em

Geometria Analtica, para entender as definies.


vice-versa) de V.
Definio
com u U e w W.



vice-versa) de V.
Definio
com u U e w W.



vice-versa) de V.
Definio
com u U e w W.


Somas diretas genricas
O conceito de soma direta pode ser estendido a mais fatores.
Suponha W1 , W2 , Wn subespaos de W tais que:

W = W1 + W2 + + Wn e W1 W2 Wn = 0W .
Neste caso um vetor v V pode ser escrito de forma nica como
v = w1 + w2 + + wn
e o EV V como
V = W1 W2 Wn
Os conceitos de projeo e suplementaridade so tambm generalizados.
Um esquema usando R3 bastante elucidativo.


W = W1 + W2 + + Wn e W1 W2 Wn = 0W .
v = w1 + w2 + + wn
e o EV V como
V = W1 W2 Wn


W = W1 + W2 + + Wn e W1 W2 Wn = 0W .
v = w1 + w2 + + wn
e o EV V como
V = W1 W2 Wn


W = W1 + W2 + + Wn e W1 W2 Wn = 0W .
v = w1 + w2 + + wn
e o EV V como
V = W1 W2 Wn


W = W1 + W2 + + Wn e W1 W2 Wn = 0W .
v = w1 + w2 + + wn
e o EV V como
V = W1 W2 Wn

Bibliografia
Elon Lages Lima

lgebra Linear
3a edio.
Coleo Matemtica Universitria, Impa, Cnpq.
Rio de Janeiro, 1998.
Isabel Cabral, Ceclia Perdigo e Carlos Saiago
lgebra Linear
2a edio
Escolar Editora, Lisboa, 2010.
Jeffrey Holt
Linear Algebra with applications
W. H. Freeman and Company, New York, 2013.
Stanlay I. Grossman
Elementary Linear Algebra
1a edio, Thomson Learning, 1994.

Bibliografia
Elon Lages Lima

lgebra Linear
3a edio.
lgebra Linear
2a edio
Jeffrey Holt
Stanlay I. Grossman

Bibliografia
Elon Lages Lima

lgebra Linear
3a edio.
lgebra Linear
2a edio
Jeffrey Holt
Stanlay I. Grossman

Bibliografia
Elon Lages Lima

lgebra Linear
3a edio.
lgebra Linear
2a edio
Jeffrey Holt
Stanlay I. Grossman

Aula 02 EspacosVetoriais TopicosAdicionais

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Aula 02 EspacosVetoriais TopicosAdicionais

Enviado por

Direitos autorais:

Formatos disponíveis

Notas de aula de lgebra Linear

Prof. Louis Augusto

Instituto Federal de Santa Catarina

Louis Augusto Gonalves (IFSC, DALTEC) Sem 2017-1 1 / 23

Louis Augusto Gonalves (IFSC, DALTEC) Sem 2017-1 2 / 23

Louis Augusto Gonalves (IFSC, DALTEC) Sem 2017-1 3 / 23

Estudamos na aula 1 que nem todos os subconjuntos de V formaro EV, por

Ento precisamos de um critrio para verificar se F V forma um espao

Louis Augusto Gonalves (IFSC, DALTEC) Sem 2017-1 4 / 23

Estudamos na aula 1 que nem todos os subconjuntos de V formaro EV, por

Ento precisamos de um critrio para verificar se F V forma um espao

Louis Augusto Gonalves (IFSC, DALTEC) Sem 2017-1 4 / 23

Estudamos na aula 1 que nem todos os subconjuntos de V formaro EV, por

Ento precisamos de um critrio para verificar se F V forma um espao

Louis Augusto Gonalves (IFSC, DALTEC) Sem 2017-1 4 / 23

Estudamos na aula 1 que nem todos os subconjuntos de V formaro EV, por

Ento precisamos de um critrio para verificar se F V forma um espao

Louis Augusto Gonalves (IFSC, DALTEC) Sem 2017-1 4 / 23

Estudamos na aula 1 que nem todos os subconjuntos de V formaro EV, por

Ento precisamos de um critrio para verificar se F V forma um espao

Louis Augusto Gonalves (IFSC, DALTEC) Sem 2017-1 4 / 23

Estudamos na aula 1 que nem todos os subconjuntos de V formaro EV, por

Ento precisamos de um critrio para verificar se F V forma um espao

Louis Augusto Gonalves (IFSC, DALTEC) Sem 2017-1 4 / 23

Estudamos na aula 1 que nem todos os subconjuntos de V formaro EV, por

Ento precisamos de um critrio para verificar se F V forma um espao

Louis Augusto Gonalves (IFSC, DALTEC) Sem 2017-1 4 / 23

Teorema (Critrio de Subespao)

Em outras palavras no necessrio provar todos os teoremas sobre EV

Basta verificar se a soma fechada, se a multiplicao externa fechada e

Louis Augusto Gonalves (IFSC, DALTEC) Sem 2017-1 5 / 23

Teorema (Critrio de Subespao)

Em outras palavras no necessrio provar todos os teoremas sobre EV

Basta verificar se a soma fechada, se a multiplicao externa fechada e

Louis Augusto Gonalves (IFSC, DALTEC) Sem 2017-1 5 / 23

Teorema (Critrio de Subespao)

Em outras palavras no necessrio provar todos os teoremas sobre EV

Basta verificar se a soma fechada, se a multiplicao externa fechada e

Louis Augusto Gonalves (IFSC, DALTEC) Sem 2017-1 5 / 23

Teorema (Critrio de Subespao)

Em outras palavras no necessrio provar todos os teoremas sobre EV

Basta verificar se a soma fechada, se a multiplicao externa fechada e

Louis Augusto Gonalves (IFSC, DALTEC) Sem 2017-1 5 / 23

Louis Augusto Gonalves (IFSC, DALTEC) Sem 2017-1 6 / 23

Alguns subespaos das matrizes quadradas:

Obviamente todos os casos precisam ser demonstrados usando o critrio de

Alguns subespaos das matrizes quadradas:

Obviamente todos os casos precisam ser demonstrados usando o critrio de

Alguns subespaos das matrizes quadradas:

Obviamente todos os casos precisam ser demonstrados usando o critrio de

Alguns subespaos das matrizes quadradas:

Obviamente todos os casos precisam ser demonstrados usando o critrio de

Alguns subespaos das matrizes quadradas:

Obviamente todos os casos precisam ser demonstrados usando o critrio de

Alguns subespaos das matrizes quadradas:

Obviamente todos os casos precisam ser demonstrados usando o critrio de

Alguns subespaos das matrizes quadradas:

Obviamente todos os casos precisam ser demonstrados usando o critrio de

Alguns subespaos das matrizes quadradas:

Obviamente todos os casos precisam ser demonstrados usando o critrio de

Alguns subespaos das matrizes quadradas:

Obviamente todos os casos precisam ser demonstrados usando o critrio de

Alguns subespaos das matrizes quadradas:

Obviamente todos os casos precisam ser demonstrados usando o critrio de