⚡ Aula 03: Teoria Geral de Funções - Domínio, Imagem, Injetividade, Paridade e Composição

Integração Curricular & Contexto


📌 Sumário da Aula

  1. 1. Conceito Formal de Função e Mapeamentos em Conjuntos
  2. 2. Domínio, Contradomínio e Imagem
  3. 3. Diagrama Conceitual Unificado de Teoria de Funções
  4. 4. Taxonomia das Funções: Injetora, Sobrejetora e Bijetora
  5. 5. Teoria da Função Inversa ($f^{-1}$)
  6. 6. Funções Definidas por Múltiplas Sentenças (Partes)
  7. 7. Propriedades Funcionais Avançadas
  8. 8. 📝 Estudo de Caso Prático Resolvido Passo a Passo
  9. 9. 📚 Questões Resolvidas das Materiais Teóricos de Referência
  10. 10. Resumo Conceitual da Aula e Conexões Curriculares

1. Conceito Formal de Função e Mapeamentos em Conjuntos

Sejam e dois conjuntos não vazios. Uma função de em (denotada por ) é uma regra matemática unívoca que associa a cada elemento um único elemento .

Formalmente na teoria axiomática dos conjuntos:

  • O elemento é a variável independente (sinal de entrada);
  • O elemento é a variável dependente ou imagem de pela função (resposta do sistema).
graph LR
    subgraph Mapeamento_Funcional ["Mapeamento Formal f: A ➔ B"]
        A["Domínio A = D(f)<br/>(Todo elemento x possui flecha)"] -->|Regra f| B["Contradomínio B = CD(f)<br/>(Espaço de chegada)"]
        A -.-> Im["Conjunto Imagem Im(f)<br/>(Subconjunto de B com flechas)"]
    end

2. Domínio, Contradomínio e Imagem

Para uma função real de variável real :

  1. Domínio (): Conjunto de todos os valores de para os quais a expressão analítica produz um número real bem definido;
  2. Contradomínio (): Conjunto estipulado a priori que contém todos os possíveis valores de saída (usualmente fixado como todo o conjunto );
  3. Conjunto Imagem (): Subconjunto efetivo do contradomínio formado pelos valores que são imagens de ao menos um elemento do domínio:

2.1 Condições de Existência Analítica do Domínio em

Ao trabalhar com funções reais, três restrições fundamentais da aritmética determinam a exclusão de pontos do domínio:

Restrições Clássicas de Domínio

  1. Denominadores Fracionários: A divisão por zero é indefinida no corpo dos reais:
  2. Radicais de Índice Par: Não existem raízes pares reais de números estritamente negativos:
  3. Logaritmos de Qualquer Base: A função logarítmica só é real para argumentos estritamente positivos com base positiva e diferente de 1:

2.2 Determinação do Conjunto Imagem por Restrições de Domínio

Quando o domínio de uma função quadrática ou trigonométrica é restrito a um subintervalo fechado , a imagem não pode ser obtida apenas avaliando os extremos e , pois o vértice da curva pode residir no interior do intervalo:

  • Para uma parábola , o ponto crítico ocorre no vértice:
  • Se , o valor é o extremo absoluto da função naquele trecho (mínimo se ; máximo se ). O conjunto imagem será delimitado por e pelo maior dos valores entre e .

3. Diagrama Conceitual Unificado de Teoria de Funções

O diagrama técnico vetorial abaixo sintetiza os mapeamentos em conjuntos, a taxonomia de funções (injetora, sobrejetora, bijetora), o gráfico da função inversa e as simetrias funcionais:


4. Taxonomia das Funções: Injetora, Sobrejetora e Bijetora

A classificação de uma função explicita como os elementos do domínio conectam-se aos elementos do contradomínio.

graph TD
    Func["Classificação de Funções"] --> Inj["Injetora: Elementos distintos têm imagens distintas<br/>(x1 ≠ x2 ⟹ f(x1) ≠ f(x2))"]
    Func --> Sob["Sobrejetora: Imagem coincide com Contradomínio<br/>(Im(f) = CD(f))"]
    Inj & Sob --> Bij["Bijetora: Injetora e Sobrejetora simultaneamente<br/>(Bijeção biunívoca ⟺ Existe Inversa f⁻¹)"]

4.1 Função Injetora e o Teste da Reta Horizontal

Uma função é injetora (ou injetiva) se elementos distintos de seu domínio são mapeados obrigatoriamente em elementos distintos do contradomínio: Ou, equivalentemente por contrapositiva:

Teorema do Teste da Reta Horizontal

Uma função é injetora se, e somente se, qualquer reta horizontal de equação intersectar o seu gráfico em NO MÁXIMO UM PONTO. Se uma reta horizontal cruzar a curva em dois ou mais pontos, existem múltiplos valores de produzindo a mesma saída , logo a função NÃO é injetora.

  • Toda função estritamente crescente ou estritamente decrescente é intrinsecamente injetora.

4.2 Função Sobrejetora

Uma função é sobrejetora (ou sobrejetiva) se todo elemento do contradomínio for imagem de pelo menos um elemento do domínio :

  • Graficamente, ao projetar todo o gráfico de sobre o eixo vertical , o segmento preenchido deve cobrir integralmente todo o contradomínio especificado.

4.3 Função Bijetora (Condição de Inversibilidade)

Uma função é bijetora (ou biunívoca) se for simultaneamente injetora e sobrejetora:

  1. Cada elemento do domínio tem uma imagem exclusiva;
  2. Nenhum elemento do contradomínio fica sem pré-imagem.

Teorema da Inversibilidade

Uma função admite função inversa se, e somente se, ela for estritamente bijetora.


5. Teoria da Função Inversa ()

Se é bijetora, existe uma função única , denominada função inversa, que desfaz a ação de :

Propriedades fundamentais da inversa:

  1. e ;
  2. A composição entre e resulta na função identidade:

5.1 Simetria em Relação à Bissetriz dos Quadrantes Ímpares ()

Geometricamente, o par ordenado pertence ao gráfico de se, e somente se, o par pertence ao gráfico de . Portanto, o gráfico de é a reflexão especular bilateral do gráfico de em torno da reta identidade .

Ponto de Interseção entre e sua Inversa

Para qualquer função estritamente crescente (ou bijetora no domínio considerado), os pontos onde o gráfico de encontra sua inversa residem obrigatoriamente sobre a bissetriz : Essa identidade reduz a busca analítica de raízes de sistemas complexos à simples resolução da equação .

5.2 Algoritmo de Determinação da Inversa

Para encontrar analiticamente a lei de :

  1. Escrever a equação na forma ;
  2. Permutar algebricamente as variáveis: onde houver escreve-se , e onde houver escreve-se ();
  3. Isolar a variável em função de ;
  4. Expressar o resultado como respeitando os domínios válidos.

6. Funções Definidas por Múltiplas Sentenças (Partes)

Muitos sistemas físicos e lógicos em engenharia mudam sua lei constitutiva de acordo com o intervalo operacional (por exemplo, a condução de diodos, chaveamento PWM ou tarifação elétrica):

  • O domínio global é a união dos subintervalos: (com disjuntos);
  • A imagem global é a união estrita das imagens parciais de cada ramo:

7. Propriedades Funcionais Avançadas

7.1 Paridade: Funções Pares e Ímpares

  1. Função Par: O gráfico apresenta simetria axial em relação ao eixo das ordenadas : Exemplos: , , , .
  2. Função Ímpar: O gráfico apresenta simetria central em relação à origem : Exemplos: , , , .

Aplicação em Séries de Fourier

Na Engenharia Elétrica, toda função periódica par decompõe-se exclusivamente em termos de cosseno (), enquanto funções ímpares decompõem-se exclusivamente em senos (), simplificando o cálculo de harmônicas de retificadores e inversores.

7.2 Periodicidade e Transformações de Escala Temporal

Uma função é dita periódica se seus valores repetem-se em ciclos regulares idênticos. O menor número positivo que satisfaz a relação é o período fundamental:

Teorema da Dilatação / Compressão Periódica:

Se uma função base possui período , a função modificada por um fator de escala no argumento () também é periódica, com novo período dado por:

  • Se : o sinal sofre compressão temporal (a frequência dobra ou triplica e o período diminui: );
  • Se : o sinal sofre dilatação temporal (o período dobra ou quadruplica: ).
  • O deslocamento horizontal (com ) não altera o período fundamental: .

7.3 Álgebra de Funções Compostas ()

Dadas as funções e , a função composta é definida por:

  • Condição Formal de Existência: Para que exista para todo , é condição necessária que a imagem de esteja contida no domínio de :
  • Não-Comutatividade: Em geral, a ordem de composição altera o resultado:

8. 📝 Estudo de Caso Prático Resolvido Passo a Passo

Enunciado do Problema:

Um sensor óptico industrial de deslocamento linear possui uma função de transferência de transdução que relaciona a tensão de saída analógica (em Volts) à posição linear (em centímetros) do atuador robótico, dada por:

  1. Determine o domínio físico e o conjunto imagem da tensão de saída do sensor para .
  2. Demonstre analiticamente se a função é injetora no intervalo considerado.
  3. Obtenha a função inversa , permitindo que o microcontrolador calcule a posição mecânica em função da tensão analógica medida.

Solução Passo a Passo:

1. Domínio e Conjunto Imagem:

  • Restrição matemática da função: denominador não nulo . Como o domínio físico de operação é restrito a , a função é perfeitamente contínua e diferenciável em todo o intervalo.
  • Avaliando a primeira derivada para testar o crescimento: Como para todo , temos estritamente em todo o domínio!
  • Sendo a função estritamente crescente em , seu valor mínimo ocorre no extremo esquerdo e seu valor máximo no extremo direito: Portanto, o conjunto imagem é:

2. Demonstração de Injetividade:

Pela contrapositiva, supomos : Cancelando os termos idênticos e : A igualdade das imagens implica rigorosamente a igualdade dos elementos de entrada. Logo, a função é estritamente injetora.

3. Obtenção da Função Inversa :

Partindo da equação : Isolando os termos em :

Portanto, a lei da função inversa implementada no algoritmo do microcontrolador é:


9. 📚 Questões Resolvidas das Materiais Teóricos de Referência

Esta seção reúne e resolve passo a passo todas as 8 questões conceituais e numéricas presentes na Material Teórico de Referência Aprofundamento de funções.


Questão 01 — Restrição de Domínio e Conjunto Imagem Quadrático

Enunciado Oficial

(PETROBRAS – 2008) Considere que é uma função definida do conjunto em por: . Sendo a imagem de , é correto afirmar que, se:

  • (A) , então
  • (B) , então
  • (C) , então
  • (D) , então
  • (E) , então

Resolução & Gabarito Comentado

Alternativa Correta: (D)

Dedução Matemática Completa:

  1. Reescrevendo a parábola na forma canônica (completamento de quadrados):
  2. O vértice da parábola situa-se no ponto: Como o coeficiente quadrático é positivo (), a parábola tem concavidade voltada para cima e é o valor mínimo global.
  3. Analisando o domínio restrito da alternativa (D), onde :
    • Para , como , a função é estritamente decrescente;
    • No extremo inicial: ;
    • No extremo final (vértice): .
  4. Portanto, a imagem cobre exatamente o intervalo contínuo entre o mínimo e o máximo:
  5. Verificação dos distratores:
    • Se : (o que invalida B e C);
    • Se : e (o que invalida A e E).

Questão 02 — Domínio de Função Racional

Enunciado Oficial

Considere a função real . Podemos afirmar que o domínio da função é:

  • (A) Todo número real .
  • (B) Todo número real , exceto os números positivos.
  • (C) Todo número real , exceto .
  • (D) Todo número real , exceto os números negativos.
  • (E) Todo número real , exceto .

Resolução & Gabarito Comentado

Alternativa Correta: (C)

Análise Técnica:

  1. A função é uma fração racional cujo numerador é definido para todo .
  2. A única restrição algébrica decorre da impossibilidade da divisão por zero no denominador:
  3. Logo, o domínio é o conjunto de todos os números reais com exceção de :

Questão 03 — Interseção de Função Bijetora com sua Inversa

Enunciado Oficial

Considere a função bijetora definida por , e seja o ponto de interseção de com sua inversa . O valor numérico da expressão é:

  • (A) 2
  • (B) 4
  • (C) 6
  • (D) 8
  • (E) 9

Resolução & Gabarito Comentado

Alternativa Correta: (B)

Dedução Matemática Completa:

  1. Pela propriedade geométrica da reflexão especular de funções inversas, os gráficos de e interceptam-se sobre a bissetriz dos quadrantes ímpares:
  2. Igualando a lei de a :
  3. Fatorando o trinômio de segundo grau:
  4. Restrição do domínio: O domínio especificado no enunciado é . Logo, a raiz é descartada por situar-se fora do domínio, restando apenas .
  5. Para :
  6. Assim, o ponto de interseção é , e o valor solicitado é:

Questão 04 — Análise de Imagem em Função por Partes

Enunciado Oficial

Considere a função dada por: Nestas condições, é correto afirmar que:

  • (A) é sobrejetora.
  • (B) é injetora.
  • (C) é bijetora.
  • (D) .
  • (E) .

Resolução & Gabarito Comentado

Alternativa Correta: (D)

Dedução Matemática:

  1. Analisando a imagem de cada sentença em seu respectivo subdomínio:
    • Trecho 1 (): . Como varia de até , decresce continuamente de até . Logo, ;
    • Trecho 2 (): . Quando , . Quando , . Logo, ;
    • Trecho 3 (): . Quando , . Quando , . Logo, .
  2. A imagem global é a união dos três conjuntos:
  3. Análise dos distratores:
    • Como (o contradomínio dado), não é sobrejetora (invalida A e C);
    • Como e com , não é injetora (invalida B);
    • O domínio explícito é , não (invalida E).

Questão 05 — Teste da Reta Horizontal em Gráfico Temporal

Enunciado Oficial

(Adaptada de UFPE – 2017) No gráfico do nível de água armazenada em uma barragem ao longo de três anos, observa-se que a curva atinge o patamar de 70 metros em múltiplos pontos e flutua sazonalmente entre períodos secos e chuvosos. Ao traçar uma reta horizontal na cota de 40 metros, essa reta intersecta o gráfico exatamente duas vezes. De acordo com o gráfico, é correto afirmar que:

  • (A) O nível de 70 m foi atingido uma única vez.
  • (B) O nível da água armazenada cresce em todo tempo.
  • (C) O nível da água armazenada é estritamente decrescente.
  • (D) O nível de 40 m foi atingido 2 vezes nesse período.
  • (E) O nível de 20 m não foi atingido nenhuma vez nesse período.

Resolução & Gabarito Comentado

Alternativa Correta: (D)

Análise Gráfica:

  1. A interseção geométrica de uma reta horizontal com a curva fornece as soluções da equação .
  2. Ocorrida em exatamente dois instantes e , constata-se que o nível de foi atingido exatamente duas vezes ao longo do período trienal.
  3. Como consequência direta, comprova-se também pelo Teste da Reta Horizontal que a função não é injetora.

Questão 06 — Equação Funcional de Homogeneidade Linear

Enunciado Oficial

Uma função é crescente e satisfaz a seguinte condição para todo : Se , qual o valor de ?

  • (A) 1
  • (B) 2
  • (C) 3
  • (D) 4
  • (E) 5

Resolução & Gabarito Comentado

Alternativa Correta: (C)

Dedução Matemática:

  1. Aplicando recursivamente a relação funcional dada:
  2. Por sua vez, avaliando :
  3. Substituindo na expressão de :
  4. Como o enunciado informa que :

Questão 07 — Dilatação e Compressão de Período em Sinais

Enunciado Oficial

Sendo uma função periódica de período fundamental , podemos afirmar que:

  • (A) A função é periódica de período 4.
  • (B) A função é periódica de período 1.
  • (C) A função é periódica de período 1.
  • (D) A função , onde é uma constante positiva, não é periódica.
  • (E) A função não é periódica.

Resolução & Gabarito Comentado

Alternativa Correta: (B)

Dedução Matemática:

  1. Pela definição formal, para qualquer argumento real .
  2. Seja . Desejamos encontrar o período tal que :
  3. Para que , é necessário que o deslocamento no argumento seja idêntico ao período da função base :
  4. Portanto, ao multiplicar o argumento por , o período sofre compressão pela metade ().
  5. Note também que:
    • Para , teríamos ;
    • Para , o período permanece .

Questão 08 — Periodicidade Composta e Monotonicidade em Intervalos

Enunciado Oficial

Considere que a função seja periódica com período e seja estritamente crescente no intervalo . Logo, podemos afirmar que:

  • (A) e
  • (B) e
  • (C) e
  • (D) e
  • (E) e

Resolução & Gabarito Comentado

Alternativa Correta: (D)

Dedução Matemática Completa:

  1. Pela periodicidade de período , para qualquer e qualquer inteiro : Logo: . A primeira igualdade de (D) é verdadeira.
  2. Reduzindo os argumentos e ao intervalo fundamental :
    • ;
    • .
  3. Como o enunciado estipula que é estritamente crescente no intervalo :
  4. Substituindo os valores equivalentes:
  5. Ambas as condições da alternativa (D) são verificadas rigorosamente.

10. Resumo Conceitual da Aula e Conexões Curriculares

graph TD
    Teoria["Teoria Geral de Funções"] --> Dom["Domínio, Contradomínio e Imagem (Restrições Analíticas)"]
    Teoria --> Classif["Injetora (Horizontal ≤ 1 corte), Sobrejetora (Im=CD) e Bijetora"]
    Teoria --> Inv["Função Inversa f⁻¹ (Simetria em y = x e Interseção f(x) = x)"]
    Teoria --> Prop["Propriedades: Paridade (Axial/Central) e Periodicidade (T' = T / |a|)"]

Conexão com a Próxima Aula

Com o domínio da teoria geral de funções, avançaremos para a Modelagem Matemática de Fenômenos com Funções Elementares na Aula 04, explorando funções afins (custo, receita, ponto de equilíbrio), funções quadráticas (trajetórias balísticas, lucros máximos), exponenciais (decaimento radioativo, carga de capacitores ) e logarítmicas (escalas decibelimétricas e pH).