Seja o conjunto das matrizes triangular superior de ordem . Prove que é um subespaço vetorial real de . Obtenha uma base para e determine sua dimensão.
Resp.: $\left{\left( \right),\left( \right),\left( \right),\left( \right),\left( \right),\left( \right)\right} \operatorname{dim}(L)=6

Passo 1

Beleza, vamos com calma! O exercício pede para a gente provar que o conjunto das matrizes triangulares superiores é um subespaço vetorial das matrizes com entradas reais, ou seja, . Além disso, precisamos encontrar uma base para e descobrir a dimensão desse subespaço. Para resolver isso, vamos precisar entender o que é um subespaço vetorial, como provar que um conjunto é um subespaço, e o que são base e dimensão em álgebra linear.

Passo 2

Primeiro, vamos lembrar o que é uma matriz triangular superior. Uma matriz é triangular superior se todos os elementos abaixo da diagonal principal são zero. Ou seja, uma matriz em tem a seguinte forma:

Passo 3

Agora, para provar que é um subespaço vetorial de , precisamos verificar três condições:
  1. O vetor zero está em : A matriz zero é triangular superior porque todos os seus elementos são zero.
  2. Fechamento sob adição: Se e são matrizes triangulares superiores, então também será triangular superior.
  3. Fechamento sob multiplicação por escalar: Se é uma matriz triangular superior e é um escalar real, então também será triangular superior.
Vamos verificar cada uma dessas condições.

Passo 4

1. O vetor zero está em :
A matriz zero é:
Claramente, todos os elementos abaixo da diagonal principal são zero, então .

Passo 5

2. Fechamento sob adição:
Sejam e duas matrizes em :
A soma é:
Como todos os elementos abaixo da diagonal permanecem zero, também é uma matriz triangular superior. Logo, é fechado sob adição.

Passo 6

3. Fechamento sob multiplicação por escalar:
Seja um escalar real e uma matriz em :
A multiplicação por escalar é:
Todos os elementos abaixo da diagonal continuam zero após a multiplicação, então também está em . Assim, é fechado sob multiplicação por escalar.

Passo 7

Como todas as três condições para ser um subespaço vetorial são satisfeitas, concluímos que é, de fato, um subespaço vetorial de .

Passo 8

Agora, vamos encontrar uma base para . Uma base é um conjunto de vetores (no nosso caso, matrizes) que são linearmente independentes e que geram todo o espaço .
Observando a estrutura das matrizes triangulares superiores, podemos identificar quais elementos são livres, ou seja, podem assumir qualquer valor real. Nessa matriz , os elementos são os que podem variar livremente.
Então, podemos construir as matrizes básicas onde cada uma delas tem um desses elementos igual a 1 e os demais iguais a 0:
Essas seis matrizes formam uma base para .

Passo 9

Finalmente, a dimensão de é igual ao número de vetores na base. Como identificamos seis matrizes básicas, a dimensão de é 6.

Resposta

Exercícios relacionados

Dois vetores não-nulos e são paralelos se, e somente se, existe um escalar tal que (consequentemente, e ).
Dar um sistema de geradores para cada um dos seguintes subespaços do :
(a) Resp.:
(b) e Resp.:
© Resp.:
Se e não são paralelos, então .
Prove que é LI se, e somente se, é Ll.