ESCOLA ONLINE DE CIÊNCIAS FORMAIS

Elementos de Teoria dos Conjuntos

AULA 10 – FUNÇÃO

Função

Uma função 𝐹 é basicamente um conjunto de pares ordenados, isto é, uma relação, com
uma propriedade em particular:

Para cada 𝑥∈𝑑𝑜𝑚𝐹 existe um único 𝑦 tal que ⟨𝑥,𝑦⟩∈𝐹.

DEFINIÇÃO: Dizemos que uma relação 𝐹 entre 𝐴 e 𝐵 é uma função de A em B se para

todo 𝑥∈𝐴 existe um único 𝑦∈𝐵 tal que ⟨𝑥,𝑦⟩∈𝐹.
1
Obs.: Quando nem todos os elementos de A participam da função, dizemos que a função
é uma função parcial de A em B. Caso contrário, dizemos que F é uma função total ou
simplesmente que é uma função.

Domínio e imagem

As definições de domínio e imagem seguem o mesmo esquema das definições de domínio

e imagem de relações.

𝑑𝑜𝑚𝐹={𝑥∈⋃⋃𝐹:∃𝑦(⟨𝑥,𝑦⟩∈𝐹}

𝑖𝑚𝑔𝐹={𝑦∈⋃⋃𝐹:∃𝑥(⟨𝑥,𝑦⟩∈𝐹}

Dada uma função, podemos “recuperar o domínio e a imagem”. Dessa forma, se 𝐹 é uma
função (total) de 𝐴 em 𝐵, então:

 O conjunto 𝐴 é o domínio de 𝐹
 O conjunto {𝑦∈𝐵:∃𝑥∈𝐴(𝑥𝐹𝑦)} é a imagem de 𝐹

numeroimaginario.wordpress.com
 ESCOLA ONLINE DE CIÊNCIAS FORMAIS
Elementos de Teoria dos Conjuntos

Contradomínio

Geralmente, se 𝐹 é uma função de 𝐴 em 𝐵, costuma-se dizer que 𝐵 é o contradomínio da

função 𝐹. Entretanto, devemos notar que este conjunto não pode ser “recuperado” a partir
da função:

Exemplo:

𝐹={⟨𝑥,𝑦⟩∈ℝ^2:𝑦=𝑥^2}.

Aqui, 𝐹 pode ser uma função tanto de ℝ em ℝ, quanto de ℝ em ℝ+ (reais não negativos).

Notações
2
Se ⟨𝑥,𝑦⟩∈𝐹 e 𝐹 é uma função, então denotamos 𝑦 por 𝐹(𝑥). Isso só é possível porque este
𝑦 é o único associado àquele 𝑥∈𝑑𝑜𝑚𝐹. Se 𝐹 é uma função de 𝐴 em 𝐵, comumente
indicamos isso por:

𝐹:𝐴⟶𝐵.

Injeção, sobrejeção e bijeção

DEFINIÇÃO: Uma função 𝐹:𝐴⟶𝐵 é

 Injetora, se para todos 𝑥,𝑦∈𝐴, temos que se 𝑥≠𝑦, então 𝐹(𝑥)≠𝐹(𝑦).

 Sobrejetora em relação a B se para todo 𝑦∈𝐵 existe 𝑥∈A tal que 𝑦=𝐹(𝑥).
 Bijetora se ela é injetora e sobrejetora em relação a B.

numeroimaginario.wordpress.com
 ESCOLA ONLINE DE CIÊNCIAS FORMAIS
Elementos de Teoria dos Conjuntos

Função composta e função inversa

Se 𝐹 e 𝐺 são funções, com 𝑖𝑚𝑔𝐺⊂𝑑𝑜𝑚𝐹, então definimos a função composta de 𝐹 e 𝐺

da seguinte maneira:

𝐹∘𝐺={⟨𝑥,𝑦⟩∈𝑑𝑜𝑚𝐺×𝑖𝑚𝑔𝐹:∃𝑦(𝑥𝐺𝑦 & 𝑦𝐹𝑧}.

Dada uma relação 𝑅, definimos a inversa de 𝑅, denotada por 𝑅^(−1), o conjunto:

𝑅 −1={⟨𝑦,𝑥⟩:⟨𝑥,𝑦⟩∈𝑅}.

Para toda relação 𝑅, existe sua inversa. No entanto, quando 𝐹 é um função, então 𝐹 −1 3
também é um função se e somente se 𝐹 é injetora.

APOIO

Todo o nosso conteúdo é gratuito. Você pode ajudar na manutenção do nosso projeto
tornando-se um dos nossos patrocinadores! Acesse:

padrim.com.br/numeroimaginario

apoia.se/numeroimaginario

numeroimaginario.wordpress.com