
tem estrutura de espaço vetorial sobre um corpo
e que um conjunto
tem estrutura de espaço vetorial sobre um corpo
. Se qualquer subconjunto de
não tiver estrutura de espaço vetorial sobre o corpo
, então qualquer aplicação
não satisfaz :
.
, fosse uma aplicação satisfazendo tal propriedade , nesse caso o subconjunto
é um espaço vetorial sobre
. (Verifique !) ) .
implica que
. Ora ,nesse caso caso temos que ter uma aplicação bem definida
. Do contrário o segundo membro de (*) não faz sentido . Mas se Y não tiver estrutura de esp. vetorial sobre o mesmo corpo que o espaço de saida , o que garanti que pelo menos a aplicação acima pode ser bem definida ?x]
? Neste
.
para X , e escolha de forma arbitrária n vetores em Y , digamos
.
que se exprime unicamente como
; a correspondência
define uma aplicação
que satisfaz

for subcorpo de
, basta tomar
como a inclusão
que é claramente um homomorfismo . Nesse caso , vale
.Para evitar 'complicações' já refinamos e pedimos algo mais : Pedimos que ambos espaços vetoriais sejam sobre o mesmo corpo . Nota tbm que os exemplos mais interessantes em estudo são de espaços vetoriais sobre R ou C , principalmente os normados ...

Usuários navegando neste fórum: Nenhum usuário registrado e 0 visitantes
![\frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}} \frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}}](/latexrender/pictures/981987c7bcdf9f8f498ca4605785636a.png)
(dica : igualar a expressão a
e elevar ao quadrado os dois lados)