Comunidades

IMECC
IMECC
tag:snake postagens contendo uma tag
answers:0 perguntas sem resposta
user:xxxx procurar pelo login do autor
score:0.5 pontuação de 0.5 ou mais
"snake oil" frase exata
votes:4 com 4 votos ou mais
created:<1w criado ha menos de 1 semana
post_type:xxxx tipo da postagem
Ajuda
Notificações
Marcar todas como lidas Exibir todas as notificações »
Dúvidas

Provar que os seguintes são espaços vetoriais

+0
−0

Provar que os seguintes são espaços vetoriais:

  1. Os espaços $\mathbb{F}^n$ das $n$-uplas sobre um corpo qualquer $\mathbb F$, isto é,
$$ \mathbb V = \{\alpha = (x_1, \dots, x_n)\mid x_i \in \mathbb F, \forall i \}, $$

com as operações

$$ \begin{array}{c} \alpha \boxplus \beta = (x_1+y_1, \dots, x_n+y_n),\quad\text{onde } \beta = (y_1, \dots, y_n),\\ a\cdot\alpha = (ax_1, \dots, ax_n) \end{array} $$

é um espaço vetorial.

  1. O espaço $\mathbb F^{n\times m}$ das matizes $n \times m$ sobre o corpo $\mathbb F$, com as operações
$$ (A\boxplus B)_{ij}=A_{ij}+B_{ij},\quad (a\cdot A)_{ij} = aA_{ij}, $$

é um espaço vetorial.

  1. O espaço $\mathcal P^n_{\mathbb F}[x]$ das funções polinomiais de grau menor ou igual a $n$ sobre $\mathbb{F}$, isto é,
$$ \mathcal P^n_{\mathbb F}[x]=\{p:\mathbb F \to \mathbb F \mid p(x)=a_0+a_1x+\cdots +a_nx^n, a_i \in \mathbb F\}, $$

com as operações

$$ \begin{array}{c} b \cdot p(x)=ba_0+ba_1x+\cdots+ba_nx^n\\ p(x) \boxplus q(x)=(a_0+b_0)+(a_1+b_1)x+\cdots+(a_n+b_n)x^n, \end{array} $$

onde $q(x)=b_0+b_1x+\cdots +b_nx^n$, é um espaço vetorial.

  1. Os conjuntos $\mathbb R,\mathbb C$ e $\mathbb Q$ com a soma e o produto usuais são espaços vetoriais sobre si mesmos.

  2. Sejam $\mathbb V_1, \dots, \mathbb V_k$ espaços vetoriais sobre $\mathbb F$. O conjunto

$$ \mathbb V = \mathbb V_1 \times \cdots \times \mathbb V_k $$

com as operações

$$ \begin{array}{c} (\alpha_1,\dots,\alpha_k)+(\beta_1,\dots,\beta_k)=(\alpha_1+_{\mathbb V_1}\beta_1,\dots,\alpha_k+_{\mathbb V_k}\beta_k),\\ c\cdot(\alpha_1,\dots,\alpha_k)=(c\cdot_{\mathbb V_1}\alpha_1,\dots,c\cdot_{\mathbb V_k}\alpha_k) \end{array} $$

é um espaço vetorial sobre $\mathbb F$.

History
Why does this post require attention from curators or moderators?
You might want to add some details to your flag.
Why should this post be closed?

0 comment thread

1 answer

+0
−0

Basta verificar os critérios da definição de espaço vetorial:

  1. A verificação decorre diretamente dos axiomas de corpo
  • Comutatividade:
$$ \alpha \boxplus \beta = (x_1+y_1,\dots,x_n+y_n)=(y_1+x_1,\dots,y_n+x_n)=\beta \boxplus \alpha $$
  • Associatividade aditiva:
$$ \begin{array}{rl} (\alpha \boxplus \beta) \boxplus \gamma &=((x_1+y_1)+z_1,\dots,(x_n+y_n)+z_n) \\ &=(x_1+(y_1+z_1),\dots,x_n+(y_n+z_n))\\ &=\alpha \boxplus (\beta \boxplus \gamma) \end{array} $$
  • Identidade aditiva:
$$ \begin{array}{c} {\bf 0} := (0,\dots, 0) \\ \alpha \boxplus {\bf 0}=(x_1+0,\dots,x_n+0)=(x_1,\dots,x_n)=\alpha \end{array} $$
  • Inverso aditivo:
$$ \begin{array}{c} -\alpha := (-x_1,\dots, -x_n) \\ \alpha \boxplus (-\alpha)=(x_1+(-x_1),\dots,x_n+(-x_n))=(0,\dots,0)={\bf 0} \end{array} $$
  • Associatividade multiplicativa:
$$ (ab)\cdot\alpha=((ab)x_1,\dots,(ab)x_n)=(a(bx_1),\dots,a(bx_n))=a\cdot(b\cdot\alpha) $$
  • Identidade multiplicativa:
$$ 1\cdot \alpha = (1x_1, \dots,1x_n)=(x_1, \dots,x_n)= \alpha $$
  • Distributividade:
$$ \begin{array}{rl} (a+b)\cdot\alpha&=((a+b)x_1,\dots,(a+b)x_n)\\ &=(ax_1+bx_1,\dots,ax_n+bx_n)\\ &=a\cdot\alpha\boxplus b\cdot\alpha\\ \\ a\cdot(\alpha \boxplus \beta)&=(a(x_1+y_1),\dots,a(x_n+y_n))\\ &=(ax_1+ay_1,\dots,ax_n+ay_n)\\ &=a\cdot\alpha\boxplus a\cdot\beta \end{array} $$

A verificação ocorre de forma similar para os items restantes.

History
Why does this post require attention from curators or moderators?
You might want to add some details to your flag.

0 comment thread

Sign up to answer this question »