Cálculo (Volume 1)/Limites e Continuidade

Origem: Wikilivros, livros abertos por um mundo aberto.
Wikiversidade - Disciplina: Cálculo I

Limites[editar | editar código-fonte]

Breve explanação[editar | editar código-fonte]

Vejamos o gráfico a seguir:

Figura 1

O gráfico representa a função definida pela regra:


Esta função não está definida para , pois não faz sentido escrever . No entanto, podemos calcular para valores de muito próximos de 6. Observe a tabela:

5,5 5,8 5,99 6 6,05 6,2 6,5
0,75 0,9 0,995 1,025 1,1 1,25

Se fizermos temos ; se agora fizermos teremos ; depois fazendo teremos ; portanto quando nós aproximamos de 6, vemos que também aproximamos de 1. Intuitivamente faremos o mesmo usando valores maiores que 6: se tivermos teremos ; e para teremos ; finalmente, se teremos e vemos que o mesmo acontece[1].

O que isto quer dizer?

Acontece que, quando aproximamos de 6, se aproxima de 1, o que indica uma tendência de se igualar a 1. Perceba que quando se aproxima de 6, de forma a alcançar o limite entre ele e o número mais próximo a ele, inevitavelmente faz com que também alcance um número ainda mais próximo de 1. Então dizemos que: se então, o limite de quando tende a 6 é igual a 1.

Como veremos mais adiante, isto é representado pela seguinte notação:


Como pode ver, acabamos de caracterizar o conceito de limite a partir da noção intuitiva de aproximar um número de outro.

Mas como podemos dizer "se aproximar" em termos matemáticos?

Se levarmos em consideração que ao aproximar duas coisas, a distância entre elas diminui, fica fácil perceber que será necessário medir a distância entre os números. Sendo assim, vale a pena recordar que a distância entre dois números reais é dada pela fórmula . Assim, usando essa fórmula podemos dizer que, por exemplo:

  • Se é um número pequeno e então está próximo de ;
  • Se diminuimos gradativamente o valor de , e ao mesmo tempo escolhemos satisfazendo , podemos dizer que estamos aproximando de L;

Com isso em mente, vamos retomar o nosso exemplo. A dependência entre a variação de e a variação dos valores assumidos pela função pode agora ser expressa de uma forma bem simples. Como é mostrado na tabela, é possível fazer ficar extremamente próximo de 1, bastando escolher valores de suficientemente próximos de 6. Assim, se queremos fazer ficar menor que , é suficiente encontrar um valor de pequeno o bastante e fazer escolhas de que satisfaçam , ou seja, basta escolher próximo de 6.

Analisando as condições[editar | editar código-fonte]

Sugestão de aprimoramento:
Remover esta seção "Analisando as condições", conforme este tópico da discussão

Seja a função , onde . Façamos isto apenas para restringir o escopo da análise a funções mais simples e assim, que isto permita-nos colocar as condições dentro de parâmetros mais fáceis de analisar.

Sendo , definido ou não em um determinado ponto do domínio, verificamos a existência de valores que tendem a se aproximar de um valor , próximo aos valores trivialmente encontrados para a função em pontos próximos e com valores conhecidos. Então, arbitramos um número , delimitando uma região em de forma que as condições sejam suficientes para garantir que:


Ao tomarmos um subintervalo em com extensão , o efeito esperado é que tenhamos delimitado um valor correspondente para . Consideramos que temos um número , neste intervalo, para todo que obtemos quando arbitramos um na função. Da mesma forma que temos um esperado valor em devemos ter um número no domínio, tal que:


Devemos ter o cuidado de observar que a afirmativa acima exige que o valor da diferença não seja nulo, caso contrário a relação de correspondência dos valores na função e no domínio não existiria.

Caso as condições acima sejam satisfeitas e a relação entre os valores seja possível, dizemos que é o limite de quando tende a .

Definição[editar | editar código-fonte]

Adotamos a notação


para dizer que a função possui a seguinte propriedade:

De agora em diante, para indicar que uma função tem esta propriedade, usaremos indiferentemente qualquer das seguintes alternativas:

  • é o limite de , quando tende para , ou que
  • tende quando tende para

ou com símbolos:

  • quando

Observação

Para aqueles que também se interessam por lógica e fundamentos da matemática, podemos reescrever a definição anterior usando as notações do cálculo quantificacional clássico. Assim, dado , diremos que , quando:


Interpretação intuitiva da definição[editar | editar código-fonte]

Uma forma de compreender, de forma intuitiva, esta definição, é ver o limite como um jogo. Neste jogo, exite um proponente e um desafiante. O proponente declara que


Então cabe, ao desafiante, propor um número . Sempre que o desafiante propuser algum , o proponente deve exibir um e provar que, sempre que , necessariamente temos que

Como exemplo, digamos que a função seja f(x) = x + 1, e o proponente declara que


(uma proposição claramente absurda). Então, caso o desafiante proponha , basta ao proponente escolher , porque para valores de x entre -1/2 e 1/2, temos que f(x) está entre 1/2 e 3/2, ou seja, a distância de f(x) para 2 é menor que 10. Só que isto não é o bastante, o proponente deve responder ao desafio para todo , então caso o desafiante proponha , o proponente não será capaz de encontrar um com a propriedade desejada.

Propriedades[editar | editar código-fonte]

Uma vez motivada a definição do conceito de limite, e apresentada sua caracterização formalmente, é muito útil garantir que os limites satisfazem certas propriedades operatórias, no sentido de que pode-se fazer operações com as expressões que representam limites. As principais propriedades válidas para limites são apresentadas nos teoremas T1 até T6.

Resumidamente, T1 garante que o limite de uma função em um ponto (ou no infinito) é único. Isso significa que quando duas pessoas se propõe a calcular um limite (que exista), elas chegarão obrigatoriamente a um mesmo resultado. Isso justifica por exemplo o uso da expressão o limite de f(x) no ponto a em vez de um limite de f(x) no ponto a.

O teorema T2 estabelece a somatividade dos limites: para somar dois limites que existem, podemos somar as duas funções e calcular apenas o limite desta soma. Uma propriedade análoga vale para a diferença entre limites.

Os teoremas seguintes (de T3 até T6) exploram o mesmo tipo de propriedade para as operações de multiplicação, divisão, potenciação e radiciação de limites. Observe que tradicionalmente estas operações são definidas para números reais. No entanto, talvez por causa de sua simplicidade, podem ser facilmente estendidas para operações entre funções.

Considere, por exemplo, o caso da potenciação. O teorema T5, mostra que para se calcular o limite da (função) n-ésima potência de f(x) que tem limite no ponto a, é suficiente calcular a n-ésima potência do (número dado pelo) limite de f(x) no ponto a.

T1 - (Unicidade)[editar | editar código-fonte]

Unicidade
Seja uma função real se o limite da mesma em um ponto existe, então ele é único. Em outras palavras:
Se e então

Demonstração:

Proponhamos que e , mas .

Logo, pela definição de limite, teremos que admitir que para cada , existe tal que:

para todo que satisfaz

Além disso, existe para o qual vale

sempre que verifica a desigualdade

Como e não são iguais, a diferença é não nula.

Da desigualdade triangular:

Se tivermos um e , serão válidas as condições:

Teremos em consequência que:

para todo para o qual .

Como podemos arbitrar , teremos, ao fazer , que:

Mas isto é contraditório, portanto .

T2 - (Soma e diferença)[editar | editar código-fonte]

Limites da soma e da diferença
Sejam duas funções e , cujo limite em um ponto exista. O limite da soma (ou da diferença) das funções no ponto existe e é:

Demonstração:

Faremos a demonstração apenas para o caso da soma de funções, deixando a cargo do leitor verificar que a propriedade análoga para a diferença de funções pode ser provada de forma parecida.

Tomando e , devemos, pela definição, provar que:

Dado qualquer positivo, existe algum positivo, para o qual sempre que satisfaz

Posto que existem os limites de e em , já sabemos que para quaisquer e positivos, existem e positivos satisfazendo:

  • , tal que
  • , tal que

e pela desigualdade triangular:

Então, ao arbitrar , existe , de modo que se vale:

, ou seja,

Observação[editar | editar código-fonte]

Ao provar a propriedade para a diferença de funções, a principal mudança é no passo onde é utilizada a desigualdade triangular. Em tal caso, deveriamos observar que:

T3 - (Produto)[editar | editar código-fonte]

Limite do produto de duas funções
Se existem os limites das funções e em um ponto , então o limite do produto das funções neste ponto existe, e é dado por:

Demonstração:

Consideremos que e que .

Queremos verificar se para cada positivo, existe algum positivo, tal que

, para todo que verifica

Considerando que existem os limites e , é possível encontrar certo , para o qual

  • (1) sempre que e .

do que podemos concluir que, para estes valores de , vale .

Mas para qualquer , com e , também existem valores positivos e , de modo que

  • (2), quando e e
  • (3), se e .

Então, se , e , valem as desigualdades (1), (2) e (3).

Vamos então trabalhar com a expressão para concluir que ela é fica menor que para estes valores de . Primeiramente, observe que

Usando a desigualdade triangular nesta última expressão, e observando que , obtemos

Aplicando as desigualdades (1), (2) e (3), resulta

Como , concluimos que

Portanto, , o que confirma a validade do teorema.

T4 - (Razão)[editar | editar código-fonte]

Limite da razão de duas funções
Se existem os limites das funções e em um ponto , e se o limite da função no ponto é diferente de zero, então o limite da razão das funções neste ponto existe e é:

Demonstração:

Seja . Basta mostrar que , e aplicar a regra do produto para .

Queremos verificar se para cada positivo, existe algum positivo, tal que

, para todo que verifica

Mas esta expressão pode ser reescrita como: .

A ideia agora é mostrar que, na fração acima, temos que o denominador é um número não muito pequeno, enquanto que o numerador é um número pequeno.

Como g(x) se aproxima de M, vamos forçar o denominador a ser um número maior (em módulo) que , e vamos, portanto, forçar o numerador a ser um número menor (em módulo) que . Assim, a razão dos dois será menor (em módulo) que .

  • Denominador

Pelo fato de , temos que para o número positivo existe um tal que .

Mas isto implica, em particular, que .

Portanto, temos que .

  • Numerador

É imediato, pela propriedade da subtração de limites, que, como , temos que existe tal que .

  • Fração

Agora basta tomar , e observar o resultado desejado.

T5 - (Potência)[editar | editar código-fonte]

Limite da função com expoente.
Seja a função , o limite da função em um ponto , quando a mesma é elevada a um expoente inteiro , é:

Demonstração:

De fato, para cada número natural temos:

O que, pelo teorema do produto, é igual ao produto dos limites:

E portanto, estabelece o que pretendíamos demonstrar.

T6 - (Radiciação)[editar | editar código-fonte]

Limite da radiciação de uma função.
Sejam a função , o limite da função em um ponto , quando a mesma está sob um radical de potência inversa , é:

Demonstração:

Conseqüentes para funções algébricas:

Estas propriedades são verificadas rapidamente a partir da definição.



Além disso, as regras a seguir são conseqüências diretas dos teoremas relacionados acima:

 sendo 
 sendo 

Limites laterais[editar | editar código-fonte]

Consideremos a função: . Podemos notar que nenhum valor de menor que 2 está no domínio da função, ou seja, ela não está definida no intervalo . Esta indefinição também se refletirá nos limites dos valores da função neste intervalo, pois não faz sentido falar de "limites" em valores nos quais a função não esteja definida (neste exemplo, uma certa faixa de números reais).

O que poderíamos fazer para analisar os valores válidos da função?

Como o seu domínio é apenas , devemos restringir o cálculo de limites a este intervalo; quando um conjunto (no caso, um intervalo) de números precisa ser excluído do domínio da função, ou quando já se sabe que a função não está definida em tal conjuto, podemos também, excluir certa faixa de valores durante o cálculo de limites; Por exemplo, ao analisar o comportamento de nas proximidades do ponto , se quisermos adotar apenas números maiores que na análise, podemos simbolizar isto desta forma: , da mesma forma poderemos adotar apenas números menores que , representando a restrição da seguinte forma: .

No primeiro caso dizemos que o limite lateral pela direita da função é o valor para o qual a função tende quando se aproxima de pela direita. No segundo caso dizemos que o limite lateral pela esquerda da função é o valor para o qual a função tende quando se aproxima de pela esquerda.

Limite lateral pela direita[editar | editar código-fonte]

Dizemos que , quando:

Limite lateral pela esquerda[editar | editar código-fonte]

Dizemos que , quando:


Infinitos[editar | editar código-fonte]

Já lhe perguntaram o que é o infinito? Certamente alguém lhe deu uma resposta poética a respeito e de fato no sentido poético, o infinito é algo fascinante... Agora imagine um número absolutamente tão alto quanto é possível você conceber... Conseguiu? Pois bem, por maior que seja o número escolhido, ele não é infinito. Aqui, falaremos do infinito como sendo algo tão inatingível que nenhuma mente humana poderia imaginar. Infinito é uma tendência, uma forma de representar algo que é tão alto que jamais poderíamos atingir. É como se fosse um caminho sem fim, como o destino de um corpo sem obstáculos e atrito no espaço sem fim.

No início deste capítulo, discutimos como analisar o comportamento de uma função (sua tendência) quando a variável se aproxima de um determinado número. Nesta seção, discutiremos duas situações novas:

  • O que acontece com os valores de , quando é muito grande?
  • O que fazer quando, ao aproximar de um ponto , os valores de ficam cada vez maiores?

Usaremos o termo "infinito" sempre que for preciso lidar com "números gigantescos". Deste modo, também poderemos representar as duas situações acima usando conceitos de limite. Para isso, quando realizarmos um cálculo, podemos tratar o infinito como se fosse um número, embora ele seja um ente matemático que nunca poderemos alcançar. Por exemplo, caso a variável esteja tendendo ao infinito, e apareça em uma expressão, podemos imaginar o que aconteceria com a expressão caso fosse um número suficientemente grande. Então façamos um estudo de como podemos avaliar o comportamento das funções quando a variável tende a infinito.

Considerando uma função definida como:

Pensemos na melhor maneira de variar x para aumentar sucessivamente o valor desta função. Isto é possível fazendo com que forneça valores que diminuem até zero. É importante notar que quanto mais diminui, mais os valores da função aumentam.

Obviamente existem inúmeras formas de criar funções que aumentam seu valor sucessivamente. Usaremos esta pois nos ajuda a evitar expressões como quociente de funções complicadas ou composição de várias funções, e assim eliminamos dificuldades desnecessárias na análise dos resultados que veremos logo adiante.

Vejamos alguns exemplos numéricos de como a função aumenta sucessivamente os seus valores, quando a variável se aproxima de zero. Acompanhe a tabela:

-2500 -200 -10 -0,5 -0,002 -0,000016 0 0,00008 0,0025 2,5 250 4000
0,0004 0,005 0,1 2 500 62500 12500 400 0,4 0,04 0,00025

Vemos que ao aproximar de zero, os valores de tendem a ficar muito grandes. No entanto, se tivéssemos utilizado a função em vez de , teríamos um comportamento ligeiramente para valores negativos de : Ao fazer se aproximar de zero, decresceria indefinidamente (tenderia a ).

Levando em conta a discussão anterior, formalizaremos expressões intuitivas como "os valores da função vão para o infinito", " tende ao infinito" e outras do gênero, com a notação , que será definida precisamente mais adiante.

Isto é um exemplo do que chamamos de infinito matemático.

Tendências infinitas[editar | editar código-fonte]

Neste ponto, nosso interesse é tratar da possibilidade de se aproximar de um certo número real, quando escolhemos valores cada vez maiores para . Um ótimo exemplo é a função apresentada acima. De acordo com a tabela, vemos que parece ser razoável escrever:

Isso se justifica, pois os valores de ficam muito pequenos (próximos de zero), quando é muito grande.

Este é um conceito importantíssimo na análise, no cálculo e em diversos campos das ciências exatas. Iremos aprofundar este conceito para formar ferramentas que serão úteis em diversos estudos. Para isso, considere a função . Pode-se mostrar que o seu valor jamais será maior que 1 quando tomamos valores de maiores que 1 (verifique!).

Fazendo sucessivas aproximações vemos que:

De fato temos uma tendência do valor da função se igualar a 1 quando levamos para números muito altos, embora ela nunca alcance o valor 1. Chamamos isso de limite no infinito, ou tendência infinita, e dizemos que tende a 1 quando tende ao infinito.

Podemos simbolizar a tendência de , quando fica cada vez maior, usando uma destas formas:


ou


O mesmo pode acontecer quando o valor da variável independente tende ao infinito negativo (), então podemos representá-la assim:


ou


A partir das noções apresentadas anteriormente, podemos definir de forma rigorosa as têndências infinitas e os limites infinitos.

Definição

Chamamos o número de limite lateral no infinito positivo se:

 tal que vale a implicação 

Ou seja, é o número para qual uma função tende a se igualar quando a variável independente ultrapassa o número positivo N.

Do mesmo modo, chamamos o número de limite lateral no infinito negativo se:

 tal que vale a implicação 

Os números são escolhidos de forma a fornecerem o maior valor possível dentro do domínio da função, que portanto deve necessariamente ser ilimitado.

Limites infinitos[editar | editar código-fonte]

Se nos depararmos com uma função onde o denominador decresce vertiginosamente até zero, o que podemos fazer?

Esta é a típica forma de funções que crescem até o infinito, neste caso adotamos o valor da definição de infinito, visto que não é possível colocar qualquer valor. Adotamos ou , pois , como já definimos anteriormente.

Continuidade[editar | editar código-fonte]

O básico conceito de continuidade expressa da ausência de quebras na regularidade da forma da função, quando apresentamo-la sob a forma gráfica. O que temos que ter em mente é que a função contínua em um intervalo do seu domínio é suavemente descritível, cada valor é precedido de outro menor ou maior, mas com uma discreta variação.

Ao definir o conceito de continuidade, o objetivo é identificar uma propriedade comum a diversas funções: a ausência de quebras ou saltos em seu gráfico. Geralmente exemplifica-se esta característica dizendo que uma função contínua é aquela "cujo gráfico pode ser traçado sem levantar o lápis do papel". Mas é importante ter em mente que isso é apenas uma interpretação do conceito, e que este é muito mais amplo.

Definição: (função contínua em um ponto)

Se é definida num intervalo aberto contendo , então é dita ser contínua em se, e somente se .

Para exprimir em símbolos que uma função é contínua no ponto , escreve-se:


Isto significa que:

Estas três condições estão presentes apenas em funções que não possuem irregularidades nas tendências e valores que produzem. As funções contínuas são muito comuns dentro do universo que analisamos, a condição de continuidade é exigida sempre que temos avaliar tendências a valores minúsculos.

Notas[editar | editar código-fonte]

  1. A ferramenta Wolfram|Alpha fornece mais informações computadas sobre "".