⚡ Aula 03: Teoria Geral de Funções - Domínio, Imagem, Injetividade, Paridade e Composição
Integração Curricular & Contexto
- Disciplina: Matemática Instrumental | 01 Matemática e Estatística | Hub Principal
- Material Didático Oficial: Complemento analítico e aprofundamento da apostila Aprofundamento de funções.
- Aula Anterior: 📈 Aula 02: Plano Cartesiano, Relações e Interpretação Gráfica de Dados
- Próxima Aula: 🚀 Aula 04: Modelagem Matemática com Funções Afins, Quadráticas, Exponenciais e Logarítmicas
- Objetivo da Aula: Aprofundar a teoria formal de mapeamentos funcionais, a determinação rigorosa do domínio analítico e conjunto imagem, a classificação das funções (injetora, sobrejetora e bijetora), o Teste da Reta Horizontal, as propriedades geométricas e algébricas da função inversa (), o tratamento de funções definidas por partes, e os conceitos fundamentais de paridade, periodicidade e dilatação temporal de sinais.
📌 Sumário da Aula
- 1. Conceito Formal de Função e Mapeamentos em Conjuntos
- 2. Domínio, Contradomínio e Imagem
- 3. Diagrama Conceitual Unificado de Teoria de Funções
- 4. Taxonomia das Funções: Injetora, Sobrejetora e Bijetora
- 5. Teoria da Função Inversa ($f^{-1}$)
- 6. Funções Definidas por Múltiplas Sentenças (Partes)
- 7. Propriedades Funcionais Avançadas
- 8. 📝 Estudo de Caso Prático Resolvido Passo a Passo
- 9. 📚 Questões Resolvidas das Materiais Teóricos de Referência
- Questão 01 — Restrição de Domínio e Conjunto Imagem Quadrático
- Questão 02 — Domínio de Função Racional
- Questão 03 — Interseção de Função Bijetora com sua Inversa
- Questão 04 — Análise de Imagem em Função por Partes
- Questão 05 — Teste da Reta Horizontal em Gráfico Temporal
- Questão 06 — Equação Funcional de Homogeneidade Linear
- Questão 07 — Dilatação e Compressão de Período em Sinais
- Questão 08 — Periodicidade Composta e Monotonicidade em Intervalos
- 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 :
- Domínio (): Conjunto de todos os valores de para os quais a expressão analítica produz um número real bem definido;
- Contradomínio (): Conjunto estipulado a priori que contém todos os possíveis valores de saída (usualmente fixado como todo o conjunto );
- 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
- Denominadores Fracionários: A divisão por zero é indefinida no corpo dos reais:
- Radicais de Índice Par: Não existem raízes pares reais de números estritamente negativos:
- 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:
- Cada elemento do domínio tem uma imagem exclusiva;
- 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:
- e ;
- 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 :
- Escrever a equação na forma ;
- Permutar algebricamente as variáveis: onde houver escreve-se , e onde houver escreve-se ();
- Isolar a variável em função de ;
- 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
- Função Par: O gráfico apresenta simetria axial em relação ao eixo das ordenadas : Exemplos: , , , .
- 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:
- Determine o domínio físico e o conjunto imagem da tensão de saída do sensor para .
- Demonstre analiticamente se a função é injetora no intervalo considerado.
- 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:
- Reescrevendo a parábola na forma canônica (completamento de quadrados):
- 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.
- Analisando o domínio restrito da alternativa (D), onde :
- Para , como , a função é estritamente decrescente;
- No extremo inicial: ;
- No extremo final (vértice): .
- Portanto, a imagem cobre exatamente o intervalo contínuo entre o mínimo e o máximo:
- 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:
- A função é uma fração racional cujo numerador é definido para todo .
- A única restrição algébrica decorre da impossibilidade da divisão por zero no denominador:
- 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:
- 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:
- Igualando a lei de a :
- Fatorando o trinômio de segundo grau:
- Restrição do domínio: O domínio especificado no enunciado é . Logo, a raiz é descartada por situar-se fora do domínio, restando apenas .
- Para :
- 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:
- 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, .
- A imagem global é a união dos três conjuntos:
- 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:
- A interseção geométrica de uma reta horizontal com a curva fornece as soluções da equação .
- Ocorrida em exatamente dois instantes e , constata-se que o nível de foi atingido exatamente duas vezes ao longo do período trienal.
- 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:
- Aplicando recursivamente a relação funcional dada:
- Por sua vez, avaliando :
- Substituindo na expressão de :
- 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:
- Pela definição formal, para qualquer argumento real .
- Seja . Desejamos encontrar o período tal que :
- Para que , é necessário que o deslocamento no argumento seja idêntico ao período da função base :
- Portanto, ao multiplicar o argumento por , o período sofre compressão pela metade ().
- 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:
- Pela periodicidade de período , para qualquer e qualquer inteiro : Logo: . A primeira igualdade de (D) é verdadeira.
- Reduzindo os argumentos e ao intervalo fundamental :
- ;
- .
- Como o enunciado estipula que é estritamente crescente no intervalo :
- Substituindo os valores equivalentes:
- 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).