Sejam dois conjuntos e , ambos diferentes do conjunto vazio e uma relação de em , diz-se que é uma função definida de em se, e somente se, para todo que pertence ao conjunto existe um, e só um elemento que pertence ao conjunto de maneira que o par ordenado pertença a função .
Em simbolos, temos:
é uma função de em
Nota: podemos dizer que é uma função ou é uma aplicação.
Exercício 1 Dados os conjuntos e e a seguinte relação de em . É uma função? Resolução
Vamos começar a resolver: Como segundo a definição, então temos:
Para , temos , logo .
Para , temos , logo .
Para , temos , logo .
Para , temos , logo . como todos elementos de correspondem a um, e só um elemento de , então a relação é uma função.
Exercício 2 Dados os conjuntos e pela lei de transformação . Mostre que é uma função de em . Resolução: Como é do conjunto , então temos:
Para . Para .
Para .
Para .
Para .
vimos que todos elementos do conjunto correspondem a um, e somente um elemento do conjunto , então é uma aplicação de em .
Exercício 3 Seja a relação aplicada de em , onde , mostre que não é uma aplicação de em Resolução: Vamos lá resolver esse exercício:
Segundo a linguagem do exercício, garante-nos, seguramente, que não é uma função(ou não é uma aplicação) de em , logo temos que provar que existe um elemento do conjunto que não corresponde a um elemento do conjunto ou,que corresponde mais de um elemento de conjunto .
Como o conjunto de partida é infinito, o processo que fizemos nos exemplos anteriores é trabalhoso demais que é, analisar um elemento por cada elemento correndo risco de fazê-lo cem vezes. Sendo assim, é suficiente mostrar que existe um elemento de que não corresponde a de ou, que corresponde mais de um elemento de . Temos:
Para Como não pertence ao conjunto dos números natural , implica que não é uma função em .
Exercício 4 Dados os conjuntos e definida por de em . É uma função?
Resolução: Como , então temos:
Para , logo .
Para , temos , logo .
Para , temos , não pertence a função.
Como existe um elemento do conjunto que não corresponde a nenhum elemento de , então a relação dada não é uma função de em . Não precisas terminar o processo, basta indicar um elemento do conjunto cujo resultado não é de é suficiente dizer que não é uma função.
Exercício 5 Seja a relação de em . Mostre se é uma aplicação.
Resolução:
Vamos mostrar ao contrário que não é uma aplicação, isto equivale dizer, existe um elemento de que não se relaciona com um, ou que se relaciona com mais de um elemento de . A relação de em para ,temos: , logo não é uma função porque para de , existem e em . Apenas um elementos em neste caso.
Exercício 6 A relação é uma função de em , onde ? Resolução:
Como é impossível numerar os elementos do conjunto é mais fácil provar ao contrário que não é uma aplicação indicando um elemento de que não resulta um elemento de ou que resulta dois ou mais elementos de .
É evidente que não existe nenhum elemento de cujo o resultado de não seja real ou seja, para todos os elementos de existe, claramente, um numero real, por isso é uma aplicação ou é uma função de em .
Exercício 7 Dados os conjuntos e e a lei definida por de em , prove se é uma função.
Resolução:
Como , então temos:
Para , temos , logo .
Para , temos , logo .
Para , temos , logo .
Para , temos , logo . Vimos que para todos elementos de que pertencem ao conjunto , pela lei de transformação , corresponde a um único elemento do conjunto , logo a relação de em é uma função ou é uma aplicação de em .