Teste para ser espaço vetorial Nos exercícios 13-36, determine se o conjunto, juntamente com as operações usuais, é um espaço vetorial. Se não o for, identifique pelo menos um dos dez axiomas de espaço vetorial que não é válido.
O conjunto de todas as matrizes 4 times 4 da forma
[llll 0 & a & b & c a & 0 & b & c a & b & 0 & c a & b & c & 0 ]

Passo 1

Beleza, vamos dar uma olhada no que a questão está pedindo. A gente precisa verificar se um conjunto específico de matrizes forma um espaço vetorial quando usamos as operações habituais de soma e multiplicação por escalar. Para isso, vamos precisar conhecer os axiomas de espaço vetorial e verificar se esse conjunto os satisfaz.

Passo 2

Primeiro, vamos entender qual é o conjunto que estamos analisando. As matrizes no conjunto têm a seguinte forma:
[cccc 0 & a & b & c a & 0 & b & c a & b & 0 & c a & b & c & 0 ]
Aqui, os elementos , e podem ser quaisquer números reais. Notamos que todas as diagonais são zero, e os elementos fora da diagonal seguem um padrão específico.

Passo 3

Agora, vamos revisar rapidamente o que é um espaço vetorial. Um espaço vetorial sobre um corpo (como os números reais) deve satisfazer dez axiomas, como:
  1. Fechamento sob adição: A soma de dois vetores do espaço também está no espaço.
  2. Fechamento sob multiplicação por escalar: Multiplicar um vetor por um escalar resulta em um vetor no espaço.
  3. Existência do vetor zero: Há um vetor zero no espaço.
  4. Existência de inversos aditivos: Para todo vetor, existe um vetor que, somado a ele, dá o vetor zero.
  5. Associatividade da adição, comutatividade da adição, entre outros.
Vamos verificar se nosso conjunto atende a esses axiomas.

Passo 4

Primeiro Axioma: Fechamento sob adição
Vamos pegar duas matrizes desse conjunto e somá-las. Seja:
M1 = [cccc 0 & a & b & c a & 0 & b & c a & b & 0 & c a & b & c & 0 ], M2 = [cccc 0 & d & e & f d & 0 & e & f d & e & 0 & f d & e & f & 0 ]
A soma [cccc 0+0 & a+d & b+e & c+f a+d & 0+0 & b+e & c+f a+d & b+e & 0+0 & c+f a+d & b+e & c+f & 0+0 ] = [cccc 0 & a+d & b+e & c+f a+d & 0 & b+e & c+f a+d & b+e & 0 & c+f a+d & b+e & c+f & 0 ] é:
Perceba que a soma mantém a forma das matrizes no conjunto, afinal, as diagonais continuam zero e os outros elementos seguem o mesmo padrão. Portanto, o fechamento sob adição é válido.

Passo 5

Segundo Axioma: Fechamento sob multiplicação por escalar
Vamos multiplicar uma matriz do conjunto por um escalar k cdot M = k cdot [cccc 0 & a & b & c a & 0 & b & c a & b & 0 & c a & b & c & 0 ] = [cccc 0 & ka & kb & kc ka & 0 & kb & kc ka & kb & 0 & kc ka & kb & kc & 0 ] :
Novamente, as diagonais permanecem zero e os outros elementos seguem o mesmo padrão. Logo, o fechamento sob multiplicação por escalar também é válido.

Passo 6

Terceiro Axioma: Existência do vetor zero
O vetor zero no contexto de matrizes é a matriz onde todos os elementos são zero. Vamos ver se essa matriz está no nosso conjunto:
[cccc 0 & 0 & 0 & 0 0 & 0 & 0 & 0 0 & 0 & 0 & 0 0 & 0 & 0 & 0 ]
Sim, essa matriz pertence ao conjunto, pois todas as diagonais são zero e os outros elementos também são zero, seguindo o padrão definido.

Passo 7

Quarto Axioma: Existência de inversos aditivos
Para cada matriz -M = [cccc 0 & -a & -b & -c -a & 0 & -b & -c -a & -b & 0 & -c -a & -b & -c & 0 ] no conjunto, deve existir uma matriz também no conjunto, tal que .
Se tomarmos:
A matriz está no conjunto, pois as diagonais permanecem zero e os outros elementos seguem o padrão. Portanto, o inverso aditivo existe.

Passo 8

Vamos continuar verificando os demais axiomas, mas já que até agora todos estão valendo, vamos verificar qual axioma pode falhar, já que é improvável que todos sejam atendidos sem erro.
Axioma adicional: A existência de múltiplos vetores resultando fora do conjunto
Mas na verdade, todos os axiomas básicos estão sendo satisfeitos. Então, o conjunto parece ser um espaço vetorial.

Resposta

Sim, o conjunto de todas as matrizes da forma dada, juntamente com as operações usuais de matriz, forma um espaço vetorial, pois satisfaz todos os axiomas necessários.

Exercícios relacionados