Listas: 2 de 2
Lista 2: Relações e funções
Lista de exercícios 2 de Matemática Aplicada à Computação (2026.2), com resolução comentada.
Lista de exercícios 2 de Matemática Aplicada à Computação, Instituto Federal da Paraíba, curso de Tecnologia em Análise e Desenvolvimento de Sistemas, 1º período, semestre 2026.2, professor Suemilton Nunes Gervázio. Cobre relações binárias (propriedades, ordenação e equivalência) e funções (imagem, sobrejeção, injeção, bijeção, composição, paridade, monotonicidade, raízes de polinômios e função inversa). Tente cada questão sozinho antes de abrir a resposta.
Questão 1
Sejam os conjuntos e de números reais e a relação definida por
Qual dos gráficos cartesianos seguintes representa a relação ?
Para cada , calculamos e conferimos se :
Os três valores caem em , logo
Esses são exatamente os pontos do gráfico (a). O gráfico (b) traça , o (c) traça com domínio errado (inclui ), e o (d) não é sequer o gráfico de uma relação funcional consistente com .
a)
Questão 2
Dado o conjunto e as relações sobre a seguir, indique qual alternativa mostra uma relação antissimétrica. Apresentar razões segundo as quais as outras relações não são antissimétricas.
a)
b)
c)
d)
Uma relação é antissimétrica quando, para todo par de elementos distintos , não podem existir simultaneamente e na relação.
: contém e , com → viola a antissimetria.
: contém e , com → viola a antissimetria.
: contém e , com → viola a antissimetria.
: os pares com elementos distintos são e ; nenhum dos pares invertidos, ou , pertence a . Os demais pares, e , têm e não violam a definição. Logo é antissimétrica.
d) é antissimétrica. , e falham porque cada uma contém um par e seu inverso com .
Questão 3
Considere a relação no conjunto . Assim, responda:
a) é reflexiva?
b) é transitiva?
c) é simétrica?
a) Reflexiva exige . Os três pares estão presentes, logo é reflexiva.
b) Transitiva exige que, sempre que e , também . Testando as combinações não triviais:
Todas as combinações verificadas fecham dentro de , logo é transitiva.
c) Simétrica exigiria que, para , também . Mas , logo não é simétrica.
a) Sim, é reflexiva. b) Sim, é transitiva. c) Não, não é simétrica (falta, por exemplo, o par ).
Questão 4
Considere e a relação . é uma relação de equivalência?
Uma relação de equivalência precisa ser reflexiva, simétrica e transitiva.
Reflexiva: ✓
Simétrica: o único par não trivial é , e seu inverso também está em ✓
Transitiva: e ✓; e ✓; os demais pares são triviais.
As três propriedades se verificam.
Sim, é uma relação de equivalência.
Questão 5
No conjunto , a relação é uma relação de equivalência?
é reflexiva, pois .
Porém e , logo não é simétrica.
Como falha a simetria, não pode ser relação de equivalência.
Não. é reflexiva, mas não é simétrica (falta o par ), logo não é relação de equivalência.
Questão 6
Mostre que no conjunto dos números inteiros a relação definida por é divisor de é relação de equivalência.
Dem.:
Reflexiva: e , logo para todo .
Simétrica: se , então , ou seja, para algum . Logo , com , portanto e .
Transitiva: se e , então e , com . Somando,
com , logo e .
Como é reflexiva, simétrica e transitiva, é relação de equivalência.
Questão 7
Em a relação definida por é uma relação de ordenação parcial?
Note que é equivalente a dizer que divide ().
Reflexiva: sempre, logo .
Antissimétrica: se e , então e . Como , isso só é possível se .
Transitiva: se e , então e , logo , ou seja, e .
Sim. É a relação de divisibilidade em , que é reflexiva, antissimétrica e transitiva — logo é uma relação de ordenação parcial.
Questão 8
Em a relação definida por é uma relação de ordenação parcial?
Para ser ordenação parcial, precisa ser reflexiva. Mas exigiria , o que é falso para todo .
Não. não é reflexiva (), logo não é relação de ordenação parcial.
Questão 9
No conjunto dos números naturais a relação definida por é par é relação de equivalência?
Para ser equivalência, precisa ser reflexiva: é par. Isso é falso quando é ímpar, por exemplo : , que é ímpar.
Não. não é reflexiva (falha para todo ímpar, como ), logo não é relação de equivalência.
Questão 10
No conjunto dos números inteiros a relação definida por é múltiplo de é uma relação de ordenação parcial?
é reflexiva (, múltiplo de ) e transitiva, mas para ser ordenação parcial precisa também ser antissimétrica.
Tome e : , múltiplo de , logo . E , também múltiplo de , logo . Como mas e simultaneamente, não é antissimétrica.
Não. é simétrica (é a relação de congruência módulo , uma relação de equivalência), não antissimétrica — logo não é ordenação parcial.
Questão 11
No conjunto dos números naturais a relação definida por é ímpar é uma relação de ordenação parcial?
Para ser ordenação parcial, precisa ser reflexiva, isto é, para todo . Mas é ímpar, o que é falso para todo par (por exemplo, ).
Não. não é reflexiva (falha para todo par), logo não é relação de ordenação parcial.
Questão 12
Em a relação definida por é uma relação de equivalência?
precisa ser reflexiva, isto é, , o que é falso para todo .
Não. não é reflexiva, logo não é relação de equivalência.
Questão 13
Mostre que no conjunto dos números naturais a relação definida por é par é uma relação de equivalência.
Dem.:
Para quaisquer , é sempre par e é sempre par; a soma de dois números pares é sempre par. Logo é par para todo par , ou seja, .
Reflexiva: vale sempre, pois é par.
Simétrica: se vale sempre, também vale sempre.
Transitiva: se e valem sempre, também vale sempre.
Como as três propriedades se verificam trivialmente, é relação de equivalência.
Questão 14
Mostre que no conjunto dos números naturais a relação definida por é par é uma relação de equivalência.
Dem.:
Para quaisquer , é sempre par e é sempre par; a diferença de dois números pares é sempre par. Logo é par para todo par , ou seja, .
Reflexiva: vale sempre, pois é par.
Simétrica: se vale sempre, também vale sempre.
Transitiva: se e valem sempre, também vale sempre.
Como as três propriedades se verificam trivialmente, é relação de equivalência.
Questão 15
Para dada por , determine:
a) Qual é a imagem de ?
b) Quais são as pré-imagens de ?
a) Substituindo :
b) As pré-imagens de são as raízes de . Pela fórmula de Bhaskara:
a) . b) As pré-imagens de são e .
Questão 16
Mostre que a função definida por é sobrejetora.
Dem.:
Seja arbitrário. Tomando , temos
Logo, para todo existe tal que . Assim, é sobrejetora.
Questão 17
Mostre que a função definida por é sobrejetora.
Dem.:
Seja arbitrário. Tomando , temos
Logo, para todo existe tal que . Assim, é sobrejetora.
Questão 18
Mostre que a função definida por é injetora.
Dem.:
Sejam tais que . Então
Logo, , ou seja, é injetora.
Questão 19
Mostre que a função definida por é injetora.
Dem.:
Sejam tais que . Então
Logo, é injetora.
Questão 20
Mostre que a função definida por é bijetora.
Dem.:
Injetora: sejam com , isto é, . Como a raiz cúbica real é única, .
Sobrejetora: seja arbitrário. Tomando , temos .
Sendo injetora e sobrejetora, é bijetora.
Questão 21
Mostre que a função definida por é bijetora.
Dem.:
Injetora: já demonstrado na Questão 18.
Sobrejetora: seja arbitrário. Tomando , temos .
Sendo injetora e sobrejetora, é bijetora.
Questão 22 Unicamp 2020
Sabendo que é um número real, considere a função definida para todo número real . Se , então:
- a
- b
- c
- d
Primeiro calculamos :
Agora aplicamos novamente sobre esse resultado:
Igualando a :
a)
Questão 23 Mackenzie, SP
As funções e são tais que , qualquer que seja real. O valor de é:
- a
- b
- c
- d
- e
Calculando as duas composições:
Igualando, o termo cancela dos dois lados:
c)
Questão 24
Seja definida por , então determine (caso exista) .
Escrevendo e isolando :
Trocando por para escrever a função inversa:
Questão 25
Seja uma função definida por , então determine (caso exista) .
Escrevendo e isolando :
Trocando por :
Questão 26
Mostre que a função , definida por é par.
Dem.:
Como para todo , é par.
Questão 27
Mostre que a função , definida por não é par.
Dem.:
Comparando com : para ser par seria necessário para todo , isto é, , o que só vale para , não para todo . Logo não é par.
Questão 28
Mostre que a função , definida por é ímpar.
Dem.:
Como para todo , é ímpar.
Questão 29
Mostre que a função , definida por não é ímpar.
Dem.:
Para ser ímpar seria necessário para todo , mas (os termos constantes e diferem). Logo não é ímpar.
Questão 30
Mostre que a função , definida por é ímpar.
Dem.:
Como para todo no domínio, é ímpar.
Questão 31
Mostre que a função , definida por é crescente em .
Dem.:
Sejam com . Multiplicando por , a desigualdade se preserva:
Assim, para todo , ou seja, é crescente.
Questão 32
Mostre que a função , definida por é crescente.
Dem.:
Sejam com . Como ambos são não negativos, elevar ao quadrado preserva a desigualdade:
Assim, é crescente em .
Questão 33
Mostre que a função , definida por é decrescente em .
Dem.:
Sejam com . Multiplicando por , a desigualdade se inverte:
Assim, , ou seja, é decrescente.
Questão 34
Mostre que a função , definida por é decrescente em .
Dem.:
Sejam com . Multiplicando por , a desigualdade se inverte:
Assim, é decrescente em .
Questão 35
Sejam e , com e . Assim, determine e o seu domínio.
A divisão só está definida onde , isto é, .
Questão 36
Sejam e , com e . Assim, determine e o seu domínio.
está definida em todo , mas exige . Logo o domínio da soma é .
Questão 37
Sabendo que é uma das raízes da função polinomial . Assim, quais são as outras raízes?
Passo 1. Separar os coeficientes.
Escreva os coeficientes em ordem decrescente de grau, sem pular nenhum.
Se algum termo estiver ausente, ele entra com coeficiente .
Passo 2. Montar o dispositivo de Briot-Ruffini.
Como é raiz, é divisível por .
Regras do dispositivo:
- A raiz fica à esquerda.
- Os coeficientes ficam na linha de cima.
- O primeiro coeficiente desce sem alteração.
- Cada número de baixo é multiplicado pela raiz e somado ao próximo coeficiente de cima.
Passo 3. Fazer as contas.
Passo 4. Ler o resultado.
O último número da linha de baixo é o resto.
O resto vale , o que confirma que é raiz.
Os outros números são os coeficientes do quociente, que tem grau uma unidade menor que :
Passo 5. Procurar uma raiz do quociente.
Chame o quociente de .
Se tiver raiz inteira, ela é divisor do termo independente .
Os candidatos são e . Testando cada um:
Logo é raiz de .
Passo 6. Dividir por .
Mesmo processo, agora com os coeficientes e a raiz :
O quociente é .
Assim, fica fatorado:
Passo 7. Resolver o fator de grau 2.
Calculando o discriminante de :
Como , não há raízes reais. As duas raízes são complexas:
Passo 8. Conferir pelas relações de Girard.
Para um polinômio :
- A soma das raízes é .
- O produto das raízes é .
Aqui , e :
As outras raízes são , e .
Questão 38
Considere a função polinomial . Sabendo que é raiz dessa função, então determine todas as suas raízes.
Passo 1. Separar os coeficientes.
Escreva os coeficientes em ordem decrescente de grau, sem pular nenhum.
Se algum termo estiver ausente, ele entra com coeficiente .
Passo 2. Montar o dispositivo de Briot-Ruffini.
Como é raiz, é divisível por .
Regras do dispositivo:
- A raiz fica à esquerda.
- Os coeficientes ficam na linha de cima.
- O primeiro coeficiente desce sem alteração.
- Cada número de baixo é multiplicado pela raiz e somado ao próximo coeficiente de cima.
Passo 3. Fazer as contas.
Passo 4. Ler o resultado.
O último número da linha de baixo é o resto.
O resto vale , o que confirma que é raiz.
Os outros números são os coeficientes do quociente, que tem grau uma unidade menor que :
Passo 5. Procurar uma raiz do quociente.
Chame o quociente de .
Se tiver raiz inteira, ela é divisor do termo independente .
Os candidatos são e . Testando cada um:
Logo é raiz de .
Passo 6. Dividir por .
Mesmo processo, agora com os coeficientes e a raiz :
O quociente é .
Assim, fica fatorado:
Passo 7. Resolver o fator de grau 2.
Calculando o discriminante de :
Como , não há raízes reais. As duas raízes são complexas:
Passo 8. Conferir pelas relações de Girard.
Para um polinômio :
- A soma das raízes é .
- O produto das raízes é .
Aqui , e :
As raízes de são , , e .
Questão 39
A função , definida por é ímpar, par ou apenas uma função? Justifique a sua resposta.
Simplificando o numerador, , logo
Calculando :
é par, pois para todo .
Questão 40
Mostre que a função , definida por é decrescente em .
Dem.:
Sejam com . Multiplicando por , a desigualdade se inverte:
Assim, é decrescente em .
Questão 41
Dada a função , a função inversa de é:
- a
- b
- c
- d
Escrevendo e isolando :
Trocando por :
b)