Lógica Matemática – Conjuntos e Funções (exercício 1)

2 min


0

Uma função $$f:X\longrightarrow Y$$ é sobrejetora, se, e somente se, para cada $$A\subset X$$, tem-se que $$Y-f(A)\subseteq f(X-A)$$.

Demonstração:

Assumimos que $$f$$ é sobrejetora, isto é: existe, para cada $$y\in Y$$, algum $$x\in X$$ tal que $$f(x)=y$$.

Dado algum $$p\in (Y-f(A))$$, é certo que $$p\in Y$$ e $$p\notin f(A)$$. Da segunda afirmação, ocorre que, para qualquer $$x\in A$$, $$f(x)\neq p$$. Por outro lado, da primeira afirmação e da hipótese de que a função é sobrejetora, existe $$x\in X$$ tal que $$p=f(x)$$. Porque a primeira afirmação é válida, conclui-se que $$x\in X-A$$. Deste modo, $$p=f(x)$$, para algum $$x\in X-A$$.

Por definição, isto é equivalente a dizer que $$p\in f(X-A)$$.

Assumimos que $$Y-f(A)\subseteq f(X-A)$$, para provarmos que a função é sobrejetora.

Com efeito, se $$p\in Y$$, há duas opções: ou $$p\in Y-f(A)$$, ou $$p\in f(A)$$. Do segundo caso, concluímos que existe $$x\in A\subset X$$ tal que $$p=f(x)$$. Em outras palavras, para $$p\in f(A)$$, existe $$x\in X$$ tal que $$f(x)=p$$.

No outro caso possível, temos $$p\in Y-f(A)$$, portanto $$p\in f(X-A)$$, ou seja, existe $$x\in X-A$$ tal que $$f(x)=p$$.

Em ambos os casos, se $$p\in Y$$, existe $$x\in X$$ para o qual $$f(x)=p$$.


Curtiu? Compartilhe com seus amigos!

0

O que achou desse exercício?

difícil difícil
0
difícil
#fail #fail
0
#fail
geeky geeky
0
geeky
ncurti ncurti
0
ncurti
amei! amei!
0
amei!
omg omg
0
omg
medo! medo!
0
medo!
lol lol
0
lol

0 comentários

O seu endereço de e-mail não será publicado. Campos obrigatórios são marcados com *