Topologia e conjuntos em exercícios

===== Formalização de funções e relações =====

<WRAP info>
Dados conjuntos $X$ e $Y$, chamamos de uma {{entry>relação}} de $X$ em $Y$ um subconjunto $R \subset X \times Y$. Chamamos de domínio de $R$ o conjunto $\{x \in X: \exists y \ (x, y) \in R\}$. Chamamos de imagem de $R$ o conjunto $\{y \in Y: \exists x \ (x, y) \in R\}$. Muitas vezes, denotamos $x R y$ no lugar de $(x, y) \in R$.  
</WRAP>

<WRAP tip>
No caso acima, quando $X = Y$, dizemos que a relação é sobre $X$.
</WRAP>
 
**~~#~~** Considere $R = \{(m, n) \in \omega \times \omega: \exists k \in \omega \ m + k = n\}$. Essa é uma relação bastante conhecida sobre $\omega$. Quem é ela? E seu domínio e sua imagem?

<WRAP info>
Dada uma relação $R$ de $X$ em $Y$, dizemos que $R$ é uma função se, para todo $(x, y), (x, y') \in R$, temos que $y = y'$. Neste caso, adotamos a notação $y = R(x)$ no lugar de $(x, y) \in R$.
</WRAP>

<WRAP tip>
Note que dada uma função $f: X \to Y$ o conjunto que normalmente chamamos de gráfico de $f$ nada mais é que a própria função da maneira como definimos aqui. Note também que a definição de conjunto domínio e imagem de $f$ usual coincide com a apresentada aqui.
</WRAP>

**~~#~~** Seja $X$ e $Y$ conjuntos. Sejam $f, g$ funções de $X$ em $Y$. Dizemos que $f$ e $g$ são {{entry>compatíveis}} se, para todo $x \in dom(f) \cap dom(g)$ temos $f(x) = g(x)$.

**~~#.#~~** Note que se $f$ e $g$ não têm pontos em comum em seus domínios, elas são compatíveis.

**~~#.#~~** Dê um exemplo de duas funções não compatíveis.

**~~#.#~~** Sejam $A, B \subset X$. Dadas $f:A \to Y$ e $g:B \to Y$, mostre que $f \cup g$ é uma função se, e somente se, $f$ e $g$ são compatíveis.

**~~#.#~~** Generalize o item anterior da seguinte forma: se $\mathcal F$ é uma família de funções de subconjuntos de $X$ em $Y$, então $\bigcup_{f \in \mathcal F} f$ é uma função se, e somente se, para cada $f, g \in \mathcal F$, $f$ e $g$ são compatíveis.
Topologia e conjuntos em exercícios

Ferramentas do usuário

Ferramentas do site

Ferramentas da página
