2.1 Definição e exemplos

Como visto acima, uma função ff (de uma variável real) é um mecanismo que, a um número real xx, chamado entrada (ou variável), associa um único número real construído a partir de xx, denotado f⁢(x)f(x) e chamado saída (ou imagem). Essa associação costuma ser denotada:

x↦f⁢(x).x\mapsto f(x)\,.

Neste curso, a entrada e a saída serão ambos números reais. Veremos em breve que cada função precisa ser definida com um domínio.

Exemplo 2.1.

A função “multiplicação por dois” x↦2⁢xx\mapsto 2x (por exemplo 3↦63\mapsto 6, −13↦−26-13\mapsto-26), a função “valor absoluto” x↦|x|x\mapsto|x| (por exemplo 3↦33\mapsto 3, −13↦13-13\mapsto 13), a função “quadrado” x↦x2x\mapsto x^{2} (por exemplo 3↦93\mapsto 9, −13↦169-13\mapsto 169), e a função “valor inteiro” x↦⌊x⌋x\mapsto\lfloor x\rfloor, onde ⌊x⌋\lfloor x\rfloor é o maior número inteiro menor ou igual a xx (por exemplo 3↦33\mapsto 3, 1.5↦11.5\mapsto 1, −3.1415↦−4-3.1415\mapsto-4), são todas bem definidas para qualquer real x∈ℝx\in\mathbb{R}.

Exemplo 2.2.

Para definir a função “inverso”, x↦1xx\mapsto\frac{1}{x}, é preciso evitar uma divisão por zero, isto é, somente tomar uma entrada x∈ℝ∖{0}x\in\mathbb{R}\setminus\{0\}. Assim, a função f⁢(x)=1xf(x)=\tfrac{1}{x} é bem definida uma vez que escrita da seguinte maneira:

f:ℝ∖{0}\displaystyle f:\mathbb{R}\setminus\{0\} →ℝ\displaystyle\to\mathbb{R}
x\displaystyle x ↦1x.\displaystyle\mapsto\tfrac{1}{x}\,.

Do mesmo jeito, para definir f⁢(x)=xx2−1f(x)=\tfrac{x}{x^{2}-1}, é preciso excluir os valores em que o denominador é zero:

f:ℝ∖{−1,+1}\displaystyle f:\,\mathbb{R}\setminus\{-1,+1\} →ℝ\displaystyle\to\mathbb{R}
x\displaystyle x ↦xx2−1.\displaystyle\mapsto\tfrac{x}{x^{2}-1}\,.

Os dois últimos exemplos mostram que em geral, uma função deve ser definida junto com o seu domínio, que dá os valores de xx para os quais f⁢(x)f(x) é definida. O domínio será em geral denotado por DD:

f:D\displaystyle f:\,D →ℝ\displaystyle\to\mathbb{R}
x\displaystyle x ↦f⁢(x).\displaystyle\mapsto f(x)\,.

O domínio será importante para garantir que f⁢(x)f(x) seja bem definida. Mas às vezes, poderemos escolher um domínio particular somente por razões específicas, ou pelas exigências de um problema.

Exemplo 2.3.

As funções trigonométricas encontradas no Capítulo 1 podem ser consideradas como funções no sentido acima. O seno, por exemplo, associa ao ângulo α\alpha de um triângulo retângulo a razão do lado oposto sobre a hipotenusa: α↦sen⁡α\alpha\mapsto\operatorname{sen}\alpha. Aqui vemos que, pela origem geométrica do problema, é necessário especificar os valores possíveis de α\alpha: para o triângulo ser bem definido, o ângulo precisa tomar valores entre 0 e π2\tfrac{\pi}{2} (de fato, é delicado falar de “lado oposto” para um ângulo nulo ou maior que π2\tfrac{\pi}{2}). Para indicar que a função assim definida pega a sua entrada no intervalo (0,π2)(0,\tfrac{\pi}{2}), escreveremos

sen:(0,π2)\displaystyle\operatorname{sen}:(0,\tfrac{\pi}{2}) →ℝ\displaystyle\to\mathbb{R}
α\displaystyle\alpha ↦sen⁡α.\displaystyle\mapsto\operatorname{sen}\alpha\,.

No entanto vimos que, usando o círculo trigonométrico, o seno de qualquer ângulo (mesmo negativo) pode ser definido, o que permite estender ele à reta real inteira:

sen:ℝ\displaystyle\operatorname{sen}:\mathbb{R} →ℝ\displaystyle\to\mathbb{R}
α\displaystyle\alpha ↦sen⁡α.\displaystyle\mapsto{\operatorname{sen}\alpha}\,.

A função cosseno se define de maneira análoga. Mas, com a tangente, uma restrição é necessária. De fato, tan⁡α=sen⁡αcos⁡α\tan\alpha=\frac{\operatorname{sen}\alpha}{\cos\alpha} e, a divisão por zero sendo proibida, a tangente não é definida para ângulos α∈ℝ\alpha\in\mathbb{R} tais que cos⁡α=0\cos\alpha=0. Logo (veja o Exercício 1.28),

tan:ℝ∖{π2⁢k⁢π,k∈ℤ}\displaystyle\tan:\mathbb{R}\setminus\{\tfrac{\pi}{2}k\pi,k\in\mathbb{Z}\} →ℝ\displaystyle\to\mathbb{R}
α\displaystyle\alpha ↦tan⁡α.\displaystyle\mapsto{\tan\alpha}\,.
Exemplo 2.4.

A função raiz. Seja a∈ℝa\in\mathbb{R}, e considere a equação

z2=a.z^{2}=a\,. (2.1)

Sabemos (ver Seção 1.1.1) que se a<0a<0, essa equação não possui soluções, se a=0a=0 ela possui a única solução z=0z=0, e se a>0a>0, ela possui duas soluções: z=+az=+\sqrt{a} e z=−az=-\sqrt{a}. Nesses dois últimos casos, quando a≥0a\geq 0, definiremos a função raiz de aa como sendo a solução positiva de (2.1), isto é, +a+\sqrt{a}. Quando a<0a<0, a função raiz de aa não é definida. Assim, a função raiz x↦f⁢(x)=xx\mapsto f(x)=\sqrt{x} é bem definida somente quando x≥0x\geq 0, o que se escreve da seguinte maneira:

f:ℝ+\displaystyle f:\,\mathbb{R}_{+} →ℝ\displaystyle\to\mathbb{R}
x\displaystyle x ↦x.\displaystyle\mapsto\sqrt{x}\,.

Por exemplo, para achar o domínio da função 1−x\sqrt{1-x}, é necessário que 1−x≥01-x\geq 0, isto é, que x≤1x\leq 1. Logo,

f:(−∞,1]\displaystyle f:\,(-\infty,1] →ℝ\displaystyle\to\mathbb{R}
x\displaystyle x ↦1−x.\displaystyle\mapsto\sqrt{1-x}\,.
Exercício 2.1.

Determine os domínios das seguintes funções:

  1. 1.
    ​

    1x2+3⁢x−40\frac{1}{x^{2}+3x-40}

  2. 2.
    ​

    xx\frac{x}{x}

  3. 3.
    ​

    |x−1||x-1|

  4. 4.
    ​

    x+1x2+1\frac{x+1}{x^{2}+1}

  5. 5.
    ​

    11−1−xx\frac{1}{1-\frac{1-x}{x}}

  6. 6.
    ​

    x−1\sqrt{x-1}

  7. 7.
    ​

    x2−1\sqrt{x^{2}-1}

  8. 8.
    ​

    11−x−1\frac{1}{1-\sqrt{x-1}}

  9. 9.
    ​

    8⁢x1−x2\frac{8x}{1-x^{2}}

  10. 10.
    ​

    8⁢x1−x2\frac{8x}{\sqrt{1-x^{2}}}

  11. 11.
    ​

    2⁢x−1−x2\sqrt{2x-1-x^{2}}

  12. 12.
    ​

    2⁢x−x22−x−x2\frac{\sqrt{2x-x^{2}}}{\sqrt{2-x-x^{2}}}

  13. 13.
    ​

    1cos⁡x\frac{1}{\cos x}

  14. 14.
    ​

    sen⁡x\sqrt{{\operatorname{sen}x}}

  15. 15.
    ​

    x−x\sqrt{x}-\sqrt{x}

  16. 16.
    ​

    1−1+x2\sqrt{1-\sqrt{1+x^{2}}}

2.1.1 Limitação

Vimos que a função f⁢(x)=1xf(x)=\tfrac{1}{x} é bem definida quando x≠0x\neq 0, mas observemos agora o que acontece com f⁢(x)f(x) para os valores de xx perto de 0. Por exemplo, para os valores de xx positivos x=0.1x=0.1, x=0.01x=0.01, …

10.1=10,10.01=100,10.001=1000,…,10.0000001=10000000….\tfrac{1}{0.1}=10\,,\quad\tfrac{1}{0.01}=100\,,\quad\tfrac{1}{0.001}=1000\,,% \quad\dots\quad\,,\,\tfrac{1}{0.0000001}=10000000\,\dots.

Assim, vemos que a medida que x>0x>0 se aproxima de zero, 1x\tfrac{1}{x} atinge valores positivos arbitrariamente grandes. O mesmo fenômeno acontece para os valores de x<0x<0: 1x\tfrac{1}{x} atinge valores negativos arbitrariamente grandes. Diz-se que a função é não-limitada.

Uma função ff com domínio DD é dita limitada superiormente se existir um número finito M+M_{+} tal que

f⁢(x)≤M+∀x∈D.f(x)\leq M_{+}\quad\forall x\in D\,.

Por outro lado, ff é dita limitada inferiormente se existir um número finito M−M_{-} tal que

f⁢(x)≥M−∀x∈D.f(x)\geq M_{-}\quad\forall x\in D\,.

Se ff for limitada inferiormente e superiormente, então ela é limitada.

Exemplo 2.5.

A função seno é limitada. De fato, pela definição (olhe para o círculo trigonométrico), −1≤sen⁡x≤1-1\leq\operatorname{sen}x\leq 1. Aqui podemos tomar M+=1M_{+}=1, M−=−1M_{-}=-1.

Exemplo 2.6.

Como visto acima, a função 1x\tfrac{1}{x} não é limitada, nem inferiormente nem superiormente. Por outro lado, 1x2\tfrac{1}{x^{2}} não é limitada superiormente, pois pode tomar valores arbitrariamente grandes a medida que xx se aproxima de zero. No entanto, como 1x2≥0\tfrac{1}{x^{2}}\geq 0, ela é limitada inferiormente (podemos escolher M−=0M_{-}=0, ou M−=−3M_{-}=-3, ou qualquer outro número negativo).

Do mesmo jeito, a função f⁢(x)=xx2−1f(x)=\frac{x}{x^{2}-1} (Exemplo 2.2) é não-limitada, pois toma valores arbitrariamente grandes (negativos ou positivos) quando xx se aproxima de +1+1 ou −1-1.

Exemplo 2.7.

Considere f⁢(x)=x2x2+1f(x)=\frac{x^{2}}{x^{2}+1}. Observe que ff é sempre não-negativa, e que o numerador é menor do que o denominador para qualquer xx: x2≤x2+1x^{2}\leq x^{2}+1. Logo,

0≤f⁢(x)=x2x2+1≤x2+1x2+1=1,0\leq f(x)=\frac{x^{2}}{x^{2}+1}\leq\frac{x^{2}+1}{x^{2}+1}=1\,,

o que prova que ff é limitada (por exemplo com M−=0M_{-}=0, M+=1M_{+}=1).

Exercício 2.2.

Determine quais das funções abaixo são limitadas.

  1. 1.
    ​

    x2x^{2}

  2. 2.
    ​

    tan⁡x\tan x

  3. 3.
    ​

    1x2+1\frac{1}{x^{2}+1}

  4. 4.
    ​

    11−x\frac{1}{\sqrt{1-x}}

  5. 5.
    ​

    x−1x3−x2+x−1\frac{x-1}{x^{3}-x^{2}+x-1}

  6. 6.
    ​

    x+sen⁡xx+\operatorname{sen}x