AL 3 - Espaços Vetoriais
AL 3 - Espaços Vetoriais
AL 3 - Espaços Vetoriais
F(X; R) = {f : X → R; f é função},
para todo x ∈ X.
Prova. Chequemos a validade de algumas das condições definidoras de um
espaço vetorial, deixando a verificação das demais como exercı́cio para o
leitor.
Para f, g ∈ F(X; R) e x ∈ X, segue da comutatividade da adição de
números reais que
logo, f + g = g + f .
Para f, g, h ∈ F(X; R) e x ∈ X, a associatividade da adição de números
reais fornece
(f + (g + h))(x) = f (x) + (g + h)(x) = f (x) + (g(x) + h(x))
= (f (x) + g(x)) + h(x) = (f + g)(x) + h(x)
= ((f + g) + h)(x);
logo, f + (g + h) = (f + g) + h.
Denotemos por 0 : X → R a função nula, ou seja, tal que 0(x) = 0 para
todo x ∈ X. Para f ∈ F(X; R), temos
√
Munindo Q( p) com as operações usuais de adição e multiplicação de núme-
√
ros reais, e utilizando o fato de que p é um número irracional, não é difı́cil
√
mostrar que Q( p) é um corpo.
Exercı́cios
1. Capı́tulo 1 do livro do Elon.