Seja E=F1 oplus F2. Se B1 é uma base de F1 e B2 é uma base de F2, prove que B1 cup B2 é uma base de E.

Passo 1

Vamos entender o que o problema está pedindo. Temos o espaço vetorial que é a soma direta de dois subespaços e . Também sabemos que é uma base de e é uma base de . Nosso objetivo é provar que a união dessas duas bases, , forma uma base de . Para isso, vamos precisar dos conceitos de base de um espaço vetorial, soma direta de subespaços, e as propriedades de linearidade e independência linear.

Passo 2

Primeiro, vamos lembrar o que significa que . Isso quer dizer que todo vetor em pode ser escrito de forma única como a soma de um vetor de e um vetor de . Ou seja, e .

Passo 3

Como é uma base de , todo vetor em pode ser escrito como combinação linear dos vetores de , e os vetores de são linearmente independentes. O mesmo vale para em .

Passo 4

Vamos agora considerar a união . Precisamos mostrar que esse conjunto gera e que é linearmente independente.

Passo 5

Primeiro, vamos verificar se gera . Como qualquer vetor em pode ser escrito como , com e , então pode ser escrito como combinação linear dos vetores de e como combinação linear dos vetores de . Assim, pode ser escrito como combinação linear dos vetores de .

Passo 6

Agora, vamos verificar a independência linear de sumb in B1 alphab b + sumb in B2 betab b = 0 . Suponha que uma combinação linear dos vetores de resulte no vetor zero:
Como , a decomposição é única, então temos que e .

Passo 7

Como os vetores de são linearmente independentes em , segue que todas as . Analogamente, os vetores de são linearmente independentes em , então todas as .

Resposta

Portanto, é uma base de .

Exercícios relacionados

Determine o conjunto solução dos seguintes sistemas lineares reais, usando os algoritmos de eliminação e eliminação total:
x+y & =2 y+z & =0 z+w & =2 w+x & =0 x+y+z+w & =4
Determine o conjunto solução dos seguintes sistemas lineares reais, usando os algoritmos de eliminação e eliminação total:
x+y & =1 y+z & =1 z+w & =1 w+x & =1 x+y+z+w & =2
Determine o conjunto solução dos seguintes sistemas lineares reais, usando os algoritmos de eliminação e eliminação total:
lx1+x4=1+x2+x3 x1+x2=1+x4+x4 x1+x3=1+x2+x4 x2+x4=1+x1+x3
Exiba uma base para cada um dos subespaços de R^4 listados a seguir:
l F=(x1, x2, x3, x4) ; x1=x2=x3=x4 G=(x1, x2, x3, x4) ; x1=x2 e x3=x-4 H=(x1, x2, x3, x-4) ; x1=x2=x3 K=(x1, x2, x3, x4) ; x-1+x2+x3+x4=0