L1a-limitsPrecise.mws

Calculo I

Lição 1a:  Visualizando a Definição Precisa de um Limite

A precisa definição matemática de um limite é duro para agarrar quando você vê isto pela primeira vez.  Nós dizemos que
limit(f(x),x = a) = L  se para todo epsilon  > 0 Existe um delta  > 0 de maneira que

  abs(f(x)-L)  < epsilon  whenever 0 < abs(x-a)  < delta  .

(Por que a desigualdade 0 < abs(x-a)  é importante?  Por que não existe desigualdade correspondente 0 < abs(f(x)-L)  ?)

Aqui é um programa que pôde ajudar você a visualizar a definição.  A entrada ao programa consiste de 5 argumentos.  Os primeiros três são uma função , o ponto a e o valor L .  Você pode explorar sem importar se o limite de f a L L   f(x)  com   proc (x) options operator, arrow; a end proc  Por variar dos últimos dois parametros: Se L  é o valor correto do limite, vocë deveria ser capaz de inserir qualquer valor positivo para epsilon  e achar o vaor de   delta  que trabalha na definição acima.  Você pode contar sem impor se um valor dado de delta  "trabalha", por que se isso faz, a porção do gráfico de   f  entre a linha vertical azul vai mentir com ele colocando a faixa horizontal vermelha.  

>    restart;

>    drawed := proc(f,a,L,epsilon,delta)

>                local f1,f2,f3,f4,f5,f6,f7,xmin,xmax,p,graphs;

>                xmin := a-2*delta; xmax := a+2*delta;

>                f1 := [t,f(t),t=xmin..xmax];

>                f2 := [t,L+epsilon,t=xmin..xmax];

>                f3 := [t,L-epsilon,t=xmin..xmax];

>                f4 := [a-delta,t,t=0..L+epsilon];

>                f5 := [a+delta,t,t=0..L+epsilon];

>                f6 := [a-delta,t,t=0..L-epsilon];

>                f7 := [a+delta,t,t=0..L-epsilon];
            p := plots[pointplot]([[a,0],[a,f(a)]], symbol=circle, color=blue):

>                graphs := plot([f1,f2,f3,f4,f5,f6,f7],

>                  colour=[black,red,red,blue,blue,blue,blue]):
            plots[display](p,graphs);

>              end:

>    f := x ->  x^2 + 2 ;  a := 2;  L := 6;

f := proc (x) options operator, arrow; x^2+2 end proc

a := 2

L := 6

>    drawed(f,a,L,1,1);

[Maple Plot]

Neste exemplo, nós estamos perguntando sem importar se limit(x^2+2,x = 2) = 6  .  (lá deveria existir parenteses em torno da expressão x^2+2  , mas o Maple  não parece que deseja escreve-lo de novo.)  Nós marcamos epsilon = 1  e tentamos delta = 1 .  Como você pode ver, este valor de delta  é bem grande: o gráfico deixa cair fora da faixa horizontal antes de cortar uma das linhas azuis.  De Fato, olhando este primeiro convidado, isto parece com delta = .2  podendo funcionar.

>    drawed(f,a,L,1,0.2);

[Maple Plot]

Agora vocë que para epsilon = 1 , a escolha delta = .2  pode funcionar.  É claro, que o valor de delta  não vai funcionar para nenhum epsilon .  Por exemplo, vamos ver o que acontece quando diminuimos epsilon  para 0.1.

>    drawed(f,a,L,0.1,0.2);

[Maple Plot]

A faixa horizontal foi expremida, e mais uma vez o gráfico de   f  deixa isso antes de cruzar a linha azul: delta = .2  não funciona para epsilon = .1 .  Experimente com o comando abaixo até vocë achar delta  que funcione para esse epsilon .

>    drawed(f,a,L,0.1,0.2);

[Maple Plot]

>   

Aqui existem duas ou mais funções, com pontos distintos   a .  Para cada um dos termos, primeiro ache o valor limite de L , depois encontre valores de delta  que trabalhem para   epsilon  = 1, 0.1 e 0.001.

>    g := x -> sin(x)/x; a := 0;

g := proc (x) options operator, arrow; sin(x)/x end proc

a := 0

>    j := x -> piecewise(x<=1,2+x,x>1,4-x); a := 1;

j := proc (x) options operator, arrow; piecewise(x <= 1,2+x,1 < x,4-x) end proc

a := 1

Agora tente este aqui.  Experimente com diferente valores de   L  se necessário.  O que vocë conclui ?

>    h := x -> piecewise(x<=1,x,x>1,1-x); a := 1;

h := proc (x) options operator, arrow; piecewise(x <= 1,x,1 < x,1-x) end proc

a := 1

>