Enunciado
Álgebra Linear e Geometria Analítica - Callioli - Álgebra Linear e Aplicações - Parte 1- Ed: 6º - Capítulo 2.7 - Ex. 15
Mostrar que é subespaço de o subconjunto formado pelas matrizes antissimétricas. Mostrar também que é some direta dos subespaços das matrizes simétricas e das antissimétricas.
Passo 1
Vamos lá!
Vamos considerar o conjunto das matrizes simétricas e o conjunto das matrizes antissimétricas. Beleza?
Temos que mostrar 3 coisas nessa questão:
- é um subespaço vetorial de ;
- é um subespaço vetorial de ;
Show de bola?
Passo 2
- é um subespaço vetorial de
- é um subespaço vetorial de
Já podemos reparar de cara que o elemento nulo (matriz nula) .
Vamos verificar agora se a soma e a multiplicação estão em . Vamos fazer um pouco diferente dessa vez, vamos provar as duas propriedades de uma vez só. Poderíamos fazer separado também, daria no mesmo.
Sejam . Temos que
Portanto,
Podemos então concluir que é um subespaço vetorial de
Passo 3
Já podemos reparar também de cara que o elemento nulo (matriz nula) .
Vamos verificar agora se a soma e a multiplicação estão em .
Sejam . Temos que
Portanto,
Podemos então concluir que é um subespaço vetorial de
Passo 3
Para mostrar essa última afirmação, vamos considerar , tal que
Onde e . Beleza?
Podemos, então, concluir que
Além disso, podemos observar que se , pois pela definição teríamos que
Logo,
Resposta
Ei, a resposta está no passo a passo :)