Sejam W1, W2 subespaços vetoriais de um espaço vetorial de dimensão n. Supondo que dim W1>n2 e dim W2>n2, mostre que W1 cap W2 neq0.

Passo 1

Resumo do problema: Temos dois subespaços vetoriais e de um espaço vetorial de dimensão . Sabendo que e , queremos mostrar que a intersecção não é apenas o vetor nulo.
Assunto: Teoria dos espaços vetoriais, especificamente sobre a dimensão e intersecção de subespaços.
O que vamos precisar: A fórmula da dimensão da soma de subespaços e entender como aplicar desigualdades de dimensão para chegar à conclusão desejada.

Passo 2

Primeiro, vamos lembrar da fórmula da dimensão da soma de dois subespaços:
dim(W1 + W2) = dim W1 + dim W2 - dim(W1 cap W2)
Essa fórmula relaciona as dimensões dos subespaços e com a dimensão de sua intersecção.

Passo 3

Sabemos que a soma dos subespaços dim(W1 + W2) <= n está contida no espaço vetorial de dimensão , então:
Isso significa que a dimensão da soma não pode exceder a dimensão do espaço original.

Passo 4

Substituindo a fórmula da dimensão da soma na desigualdade, temos:
dim W1 + dim W2 - dim(W1 cap W2) <= n

Passo 5

Vamos reorganizar essa inequação para isolar dim(W1 cap W2) >= dim W1 + dim W2 - n :
Isso nos dá uma relação inferior para a dimensão da intersecção dos dois subespaços.

Passo 6

Sabemos que dim W1 + dim W2 > n2 + n2 = n e . Somando essas duas desigualdades:

Passo 7

Substituindo esse resultado na desigualdade que obtivemos no Passo 5:
dim(W1 cap W2) > n - n = 0
Isso significa que é maior que zero.

Resposta

Portanto, concluímos que .

Exercícios relacionados

Suponha que A, B, C e D são matrizes inversíveis de mesma ordem. Resolva cada equação a seguir, na variável X, simplificando o máximo possível:
(b) A C X B=D; Resp.: X=(A C)^-1 D B^-1
Mostre que se V=W1 oplus W2, alpha=v1, v2, ldots, vr é uma base de W1 e beta=u1, u2, ldots, us é uma base de W2, então gamma=v1, v2, ldots, vr, u1, u2, ldots, us é uma base de V.
Determinar, se possível, a inversa de cada matriz a seguir:
(d) D=(ccc1 & 0 & 1 -1 & 1 & 1 0 & 1 & 0). Resp.: D^-1=(ccc1 / 2 & -1 / 2 & 1 / 2 0 & 0 & 1 1 / 2 & 1 / 2 & -1 / 2)
Verifique, em cada caso, se U é um subespaço vetorial do R^2.
a) U=(x, y) mid x+y=1