As provas de leis de limite e regras derivadas parecem supor tacitamente que o limite existe em primeiro lugar.

22
Joe 2021-01-09 12:59.

Digamos que eu estava tentando encontrar a derivada de$x^2$usando a diferenciação dos primeiros princípios. O argumento usual seria algo assim:

Se$f(x)=x^2$, então\begin{align} f'(x) &= \lim_{h \to 0}\frac{(x+h)^2-x^2}{h} \\ &= \lim_{h \to 0}\frac{2hx+h^2}{h} \\ &= \lim_{h \to 0} 2x+h \end{align}Como$h$abordagens$0$,$2x+h$abordagens$2x$, assim$f'(x)=2x$.

Ao longo deste argumento, assumi que$$ \lim_{h \to 0}\frac{f(x+h)-f(x)}{h} $$era realmente um objeto significativo - que o limite realmente existia. Eu realmente não entendo o que justifica essa suposição. Para mim, às vezes a suposição de que um objeto é bem definido pode levar você a tirar conclusões incorretas. Por exemplo, supondo que$\log(0)$faz algum sentido, podemos concluir que$$ \log(0)=\log(0)+\log(0) \implies \log(0)=0 \, . $$Então a suposição de que$\log(0)$representava algo significativo nos levou a concluir incorretamente que era igual a$0$. Muitas vezes, para provar que um limite existe, nós o manipulamos até que possamos escrevê-lo de uma forma familiar. Isso pode ser visto nas provas da regra da cadeia e da regra do produto. Mas muitas vezes parece que essa manipulação só pode ser justificada se soubermos que o limite existe em primeiro lugar! Então, o que realmente está acontecendo aqui?


Para outro exemplo, a regra da cadeia é frequentemente declarada como:

Suponha que$g$é diferenciável em$x$, e$f$é diferenciável em$g(x)$. Então,$(f \circ g)$é diferenciável em$x$, e$$ (f \circ g)'(x) = f'(g(x))g'(x) $$

Se a prova de que$(f \circ g)$é diferenciável em$x$simplesmente equivale a calcular a derivada usando a definição de limite, então novamente me sinto insatisfeito. Este cálculo não faz novamente a suposição de que$(f \circ g)'(x)$faz sentido em primeiro lugar?

10 answers

2
twosigma 2021-01-10 04:19.

Proposição : Deixe$c \in \mathbb{R}$. Suponha$f$e$g$são definidos e iguais entre si em alguma bola aberta perfurada$(c - \delta) \cup (c + \delta)$do$c$, Onde$\delta > 0$. Então$\lim_{x \to c} f(x)$existe se e somente se$\lim_{x \to c} g(x)$existe. E se um dos limites existe, o outro também existe, e ambos são iguais.

Esboço da prova : Observe que a definição de limite em um ponto$c$preocupa-se apenas com pontos próximos$c$mas não igual a$c$. Então, qualquer que seja o valor de$f$ou$g$no$c$, ou se eles estão ou não definidos lá, não importa. Desde$f$e$g$são iguais em pontos próximos$c$mas não igual a$c$, nossa declaração de limite sobre qualquer função em$c$deve, portanto, valer também para o outro.$\square$

Isso justifica os vários cálculos de limite que costumamos fazer, como o que você mostrou. Na verdade, vamos ver seu exemplo passo a passo.

Se$f(x)=x^2$, então\begin{align} f'(x) &= \lim_{h \to 0}\frac{(x+h)^2-x^2}{h} \\ &= \lim_{h \to 0}\frac{2hx+h^2}{h} \\ &= \lim_{h \to 0} 2x+h \end{align}Como$h$abordagens$0$,$2x+h$abordagens$2x$, assim$f'(x)=2x$.

O que essas sequências de cálculos realmente significam ou implicam? Bem, na etapa/igualdade final, calculamos$\displaystyle \lim_{h \to 0} 2x + h$, que concordamos que existe e é igual a$2x$. Já que a função$\displaystyle \frac{2hx + h^2}{h}$é igual a$2x + h$em algum bairro perfurado de$0$, podemos agora usar a proposição para concluir que$\displaystyle \lim_{h \to 0} \frac{2hx + h^2}{h}$é igual a$\displaystyle \lim_{h \to 0} 2x + h$, que equivale$2x$. Então, ir da linha (3) para a linha (2) é justificado. A seguir, a função$\displaystyle \frac{(x+h)^2 - x^2}{h}$é igual a$\displaystyle \frac{2hx + h^2}{h}$em algum bairro perfurado de$0$, então novamente podemos usar a proposição para justificar a passagem da linha (2) para a linha (1).

Então, nós meio que raciocinamos para trás, mas na prática isso não é necessário em cálculos de limites comuns. Nosso raciocínio também "funciona" mesmo quando o limite não existe. Se no final chegamos a um limite que existe, então necessariamente podemos trabalhar para trás e garantir que o primeiro limite inicial existe; e se no final chegamos a um limite que não existe, então necessariamente o primeiro limite inicial não pode existir, caso contrário poderíamos descer a série de equivalências garantidas pela proposição para garantir que o limite final existe.

Então, em todos os casos, as coisas "funcionam bem". O importante a notar é simplesmente que temos certas equivalências lógicas em cada passo: o limite existe em algum passo se e somente se existir em qualquer passo anterior ou posterior.

26
Elliot G 2021-01-09 13:18.

Você está certo de que realmente não faz sentido escrever$\lim\limits_{h\to 0}\frac{f(x+h)-f(x)}{h}$a menos que já saibamos que o limite existe, mas é realmente apenas um problema de gramática. Para ser preciso, você poderia primeiro dizer que o quociente de diferença pode ser reescrito$\frac{f(x+h)-f(x)}{h}=2x+h$, e então use o fato de que$\lim\limits_{h\to 0}x=x$e$\lim\limits_{h\to 0}h=0$bem como a lei constante-múltipla e a lei da soma para limites.

Adicionando à última frase: a maioria das propriedades familiares dos limites são escritas "para trás" assim. Ou seja, a "lei da soma limite" diz$$\lim\limits_{x\to c}(f(x)+g(x))=\lim\limits_{x\to c}f(x)+\lim\limits_{x\to c}g(x)$$ tão longo quanto$\lim\limits_{x\to c}f(x)$e$\lim\limits_{x\to c}g(x)$existe . Claro, se eles não existem, então a equação que acabamos de escrever não tem sentido, então realmente devemos começar com essa afirmação.

Na prática, geralmente pode-se ser um pouco casual aqui, se não por outro motivo, a não ser para economizar a contagem de palavras. Em uma aula de análise introdutória, no entanto, você provavelmente gostaria de ser o mais cuidadoso possível.

5
Andrea Marino 2021-01-09 13:38.

As outras respostas estão perfeitamente bem; apenas uma perspectiva que pode salvar seu dia em situações em que a existência do limite é, na verdade, um ponto crítico.

A definição crucial é a de limsup e liminf: estes são sempre bem definidos, e tudo o que você precisa saber no momento são as duas propriedades a seguir:

  1. $\liminf_{x \to x_0} f(x) \le \limsup_{x\to x_0} f(x) $
  2. O limite de$f$existe se e somente se$\liminf_{x \to x_0} f(x) = \limsup_{x\to x_0} f(x) $, e neste caso o limite concorda com este valor.

Agora imagine que você faça seu cálculo duas vezes: primeiro, você calcula o liminf; então você calcula o limsup. Em ambos os cálculos, assim que você chega a algo que realmente tem limite (como$2x+h$), por causa da propriedade (2) você pode esquecer a história inf/sup e apenas calcular o limite.

Como com algumas manipulações você chega a algo que realmente tem limite, ambos os cálculos darão o mesmo resultado e, por causa da propriedade (2) novamente, o limite existe e coincide com o valor que você acabou de calcular.

Agora, isso não é realmente o que você deve fazer se estiver fazendo uma análise introdutória e não conhece liminf e limsup: as propriedades formais desses dois são ligeiramente diferentes das propriedades formais de lim, e você pode acabar com um erro. Mas contanto que você não "toque" no limite, e você apenas faça alguma manipulação dentro do limite, o mesmo argumento continuará: se você terminar com um resultado bem definido, é o limite :)

5
Dark 2021-01-10 08:54.

O que temos aqui deve realmente ser interpretado como várias declarações:

(1.) Se$ \lim_{h \to 0} \frac{2hx + h^2}{h} $existe então$ \lim_{h \to 0} \frac{(x+h)^2 - x^2}{h}$existe e é igual a$\lim_{h \to 0} \frac{2hx + h^2}{h} $.

(2.) Se$ \lim_{h \to 0} [2x + h] $existe então$ \lim_{h \to 0} \frac{2hx + h^2}{h}$existe e é igual a$\lim_{h \to 0} [2x + h]$.

(3.) Se$ \lim_{h \to 0} 2x$existe então$ \lim_{h \to 0} [2x + h]$existe e é igual a$ \lim_{h \to 0} 2x$.

(4.)$ \lim_{h \to 0} 2x$existe e é igual a$ 2x $.

Observe que uma vez que temos (4.) a parte "se" (condicional) de (3.) é satisfeita e assim por diante até (1.). Você pode ver que assumir que o limite existe nas declarações de 1 a 3 não é um problema porque você não usou essa suposição para provar que realmente existe. Isso seria lógica circular e não é bom.

Seu exemplo de log é diferente disso porque você não tem uma instrução que assuma o papel da instrução (4.) acima, o que permitiria que você escapasse da condicional. Você só provou que$\log(0) = 0$E SE$\log(0)$existe, isso não$\log(0)$existe! Isso em si não é uma conclusão incorreta.

4
user21820 2021-01-09 23:24.

Se você quiser ser mais preciso, pode escrever:

$f'(x) = \lim_{h→0} \frac{(x+h)^2-x^2}{h}$se o limite existe

    $= \lim_{h→0} (2x+h)$se o limite existe

    $= 2x$.

O que significa que cada linha só é válida "se o limite existir". Mas não precisamos realmente nos preocupar em fazê-lo na maioria dos casos por dois motivos:

  1. Geralmente é fácil adicionar mentalmente tais condições e verificar se não confiamos em nenhum ponto na existência do limite.

  2. Se permitirmos que as expressões atinjam um "valor indefinido" e definimos que toda expressão com uma subexpressão "indefinida" é indefinida, então nem precisamos escrever a condição "se o limite existir"! Se o limite não for definido, então o "$\lim \cdots$" expressão teria simplesmente o valor "indefinido", o que não levará a conclusões incorretas.

2
Michael Hardy 2021-01-10 09:37.

A derivada não existe a menos que o limite do quociente de diferença exista.

A "lei do limite" que diz que o limite de uma soma de duas funções é igual à soma de dois limites separados não é aplicável a menos que existam dois limites separados. Notar que

  • Não há casos em que os dois limites separados existam e o limite da soma não. Se os dois limites separados existem, então também existe o limite da soma.

  • No entanto, há casos em que os dois limites separados não existem e o limite da soma existe. Uma situação semelhante aplicada a produtos e não a somas surgiu em algo que postei aqui recentemente (não consigo encontrá-lo agora). Para um dos dois fatores o limite não existia, mas a função era limitada e, portanto, o limite do produto podia ser encontrado por compressão.

1
leftaroundabout 2021-01-10 16:10.

A questão desaparece em grande parte se considerarmos apenas$\lim$e$\log$explicitamente como funções parciais . Uma função parcial pode ser vista como uma função cujo contradomínio contém um elemento extra ( distinguível! ), basicamente o “valor de erro”.$$\begin{align} \log :&& \mathbb{R} \not\to \mathbb{R} \\ \lim_0 :&& ((\mathbb{R}\setminus\{0\})\to\mathbb{R}) \not\to \mathbb{R} \end{align}$$onde temos por exemplo$$\begin{align} \log(1) =& \text{OK}(0) \\ \log(0) =& \text{ERR} \\ \lim_0( h\mapsto \tfrac{\sin h}{h}) =& \text{OK}(1) \\ \lim_0( h\mapsto \tfrac1{h}) =& \text{ERR} \end{align}$$

Agora, a lei do logaritmo$$ \log(a\cdot b) = \log a + \log b $$deve ser entendido com um “levantado”$+$operador, que apenas passa a falha em ambos os lados. Mas isso significa que para este operador, não podemos inferir de$p+q=p$aquele$q=0$, Porque$\text{ERR}+q$é sempre $\text{ERR}$sem considerar! Em vez disso, apenas de$\text{OK}(p)+q = \text{OK}(p)$podemos inferir$q = \text{OK}(0)$. Assim, não chegamos à conclusão errada sobre$\log(0)$, porque não é um$\text{OK}$valor.

Aplicado aos limites na diferenciação, podemos escrever imediatamente$$ f'(x) = \lim_0\left(h\mapsto\frac{f(x+h)-f(x)}{h}\right) $$apenas observando que o resultado pode ser$\text{ERR}$. O que também podemos fazer sem problemas é reescrever a expressão dentro do limite com qualquer coisa que – como uma função$h\mapsto\ldots$– realmente é ( extensionalmente ) o mesmo. Isto não é particularmente problema para$$\begin{align} f'(x) =& \lim_0\left(h\mapsto\frac{(x+h)^2-x^2}{h}\right) \\ =& \lim_0\left(h\mapsto\frac{2\cdot h\cdot x+h^2}{h}\right) \end{align}$$Porque$h\mapsto\frac{(x+h)^2-x^2}{h}$e$h\mapsto\frac{2\cdot h\cdot x+h^2}{h}$realmente são os mesmos para todos$h\in\mathbb{R}$. Ainda assim, neste ponto, não sabemos se algum dos limites realmente existe - eles podem ser ambos$\text{ERR}$, ou ambos$\text{OK}$, mas de qualquer forma igual.

Para o próximo passo precisamos do fato de que o limite considera seu argumento apenas como uma função com números diferentes de zero como domínio, pois somente considerada como uma função naquele domínio é$h\mapsto\frac{2\cdot h\cdot x+h^2}{h}$a mesma função que$h\mapsto 2\cdot x+h$.

E é isso, neste ponto podemos ler que o limite é de fato$\text{OK}(2\cdot x)$e voltando, vemos que os outros limites também devem ter sido$\text{OK}$com esse mesmo valor.

1
steven gregory 2021-01-11 12:50.

Observe que$\dfrac{(x+h)^2-x^2}{h}$é indefinido em$h=0$e que, quando$h \ne 0$,

$$\dfrac{(x+h)^2-x^2}{h} = \frac{2hx+h^2}{h} = 2x+h$$

No entanto, a função$:x \mapsto 2x+h$é definido, contínuo e tem um valor de$2x$no$h=0$.

Também precisamos usar

$$\lim_{h \to 0}\frac{2hx+h^2}{h} = \lim_{h \to 0}\frac hh \; \lim_{h \to 0}\frac{2x+h}{1} = \lim_{h \to 0} (2x+h) = 2x$$

O resto segue.

0
BirdSetFree7 2021-01-09 13:21.

Nenhuma propriedade do limite foi usada no primeiro argumento antes do último passo, então na verdade o que fizemos dentro do limite é apenas reescrever e quando chegamos ao último passo podemos mostrar a existência usando a definição epsilon-delta que aparentemente lida com o problema de existência , a mesma coisa se aplica à regra da cadeia, já que tudo na prova antes das últimas etapas é apenas reescrever e as etapas finais que usam as propriedades de limites que se justificam, pois a definição do delta epsilon lida com a questão da existência, espero que isso ajuda

0
Vercassivelaunos 2021-01-09 13:16.

Se quisermos ser absolutamente claros, então o argumento para a derivada deve ser o seguinte:$\lim\limits_{h\to0}\frac{(x+h)^2-x^2}{h}$e$\lim\limits_{h\to0}2x+h$ambos existem e são iguais se e somente se pelo menos um deles existe. Desde$\lim\limits_{h\to0}2x+h$de fato existe e é$2x$, assim também deve o outro limite (que é$\lim_{h\to0}\frac{(x+h)^2-x^2}{h}$) existem e são$2x$.

Isso não funciona para o seu exemplo de logaritmo: você pode argumentar que$\log0$e$\log0+\log0$existem e são os mesmos se pelo menos um dos dois existir. Mas nem existe, então o ponto é discutível.

Related questions

MORE COOL STUFF

'90 Dias para Casar': Yve é preso, enfrentando acusações de violência doméstica contra Mohamed após escândalo de traição - o que aconteceu?

'90 Dias para Casar': Yve é preso, enfrentando acusações de violência doméstica contra Mohamed após escândalo de traição - o que aconteceu?

A estrela da 9ª temporada de '90 Dias para Casar', Yve Arellano, foi presa e está enfrentando acusações de abuso doméstico por supostamente agredir Mohamed Abdelhamed.

Natasha Lyonne diz que Pee-Wee Herman 'envia os melhores gifs do mundo'

Natasha Lyonne diz que Pee-Wee Herman 'envia os melhores gifs do mundo'

Natasha Lyonne é próxima do próprio Pee-Wee Herman, Paul Reubens. Descubra o que ela disse sobre a amizade deles.

O Twisted Finale da 2ª Temporada de 'Only Murders in the Building' revela quem matou Bunny Folger

O Twisted Finale da 2ª Temporada de 'Only Murders in the Building' revela quem matou Bunny Folger

O final da segunda temporada de 'Only Murders in the Building' finalmente revela quem matou Bunny Folger - descubra quem é o responsável.

Mais 'Below Deck Med' Drama de Boatmance: Agora Natalya é Ghosting Storm?

Mais 'Below Deck Med' Drama de Boatmance: Agora Natalya é Ghosting Storm?

O drama de boatmance 'Below Deck Med' fica ainda mais estranho porque agora Natalya decide fantasma Storm deixando-o se perguntando o que ele fez.

The Secrets of Airline Travel Quiz

The Secrets of Airline Travel Quiz

Air travel is far more than getting from point A to point B safely. How much do you know about the million little details that go into flying on airplanes?

Where in the World Are You? Take our GeoGuesser Quiz

Where in the World Are You? Take our GeoGuesser Quiz

The world is a huge place, yet some GeoGuessr players know locations in mere seconds. Are you one of GeoGuessr's gifted elite? Take our quiz to find out!

A Lei do Ar Limpo está sendo contestada. A SCOTUS irá protegê-la?

A Lei do Ar Limpo está sendo contestada. A SCOTUS irá protegê-la?

Um caso atualmente sendo decidido pela Suprema Corte pode limitar o escopo de autoridade que o Congresso pode dar à EPA, incluindo a Lei do Ar Limpo. Por que isso importa?

Como a matéria branca ajuda a função da matéria cinzenta do cérebro

Como a matéria branca ajuda a função da matéria cinzenta do cérebro

Todos nós já ouvimos falar da massa cinzenta do cérebro, mas e a massa branca? O que isso faz?

Aparentemente, há uma venda de videogames

Aparentemente, há uma venda de videogames

Você não vai acreditar, porque eles são muito sutis, mas de vez em quando EB Games - o posto avançado australiano da GameStop - tem uma liquidação. Como a loja na imagem acima.

Acusado de estuprador no caso 'Mattress Girl' processa a Universidade de Columbia

Acusado de estuprador no caso 'Mattress Girl' processa a Universidade de Columbia

Paul Nungesser, o estudante da Universidade de Columbia acusado de estupro pela colega Emma Sulkowicz, cujo protesto de transporte de colchão chamou a atenção nacional, entrou com um processo federal de discriminação contra a escola. Nungesser acusa a universidade de não ter conseguido protegê-lo do que ele chama de “campanha de assédio de Sulkowicz.

Aqui está o Liletta, o mais novo DIU do bairro

Aqui está o Liletta, o mais novo DIU do bairro

Outro dia, outra maneira de evitar a gravidez. Desta vez, é um novo DIU chamado Liletta, que acaba de receber a aprovação do FDA para uso nos Estados Unidos.

Demi Lovato compartilha o conselho que daria às jovens estrelas da Disney hoje: 'Vá com calma'

Demi Lovato compartilha o conselho que daria às jovens estrelas da Disney hoje: 'Vá com calma'

"Estávamos todos trabalhando muito duro, correndo para o chão", disse Demi Lovato sobre seus dias na Disney

Melancias esmagadas em acidente doadas para um resgate de animais selvagens para encantar e hidratar animais

Melancias esmagadas em acidente doadas para um resgate de animais selvagens para encantar e hidratar animais

A Yak's Produce doou dezenas de melões para a especialista em reabilitação de vida selvagem Leslie Green e os 42 animais que vivem em seu resgate na Louisiana

Nicky Hilton Forced to Borrow Paris' 'I Love Paris' Sweatshirt After 'Airline Loses All [My] Luggage'

Nicky Hilton Forced to Borrow Paris' 'I Love Paris' Sweatshirt After 'Airline Loses All [My] Luggage'

Nicky Hilton Rothschild's luggage got lost, but luckily she has an incredible closet to shop: Sister Paris Hilton's!

Brad Pitt diz que 'dificilmente' é uma estrela de ação em trem-bala: 'Eu sou o palhaço neste filme'

Brad Pitt diz que 'dificilmente' é uma estrela de ação em trem-bala: 'Eu sou o palhaço neste filme'

'É muito, muito divertido. Porque todas as lutas são baseadas no humor', disse Brad Pitt à PEOPLE na estreia de Bullet Train em Los Angeles, na sexta-feira.

Consertando as comportas

Consertando as comportas

Estávamos queimando há algumas semanas, cruzando a uma temperatura fria de 3/4 g pelo espaço em direção a uma área entre Urano e Netuno. Algo que os cientistas da Dawson Trawler chamaram de portal Yggdrasil.

As coisas desagradáveis

As coisas desagradáveis

Como mulher, geralmente hesito em entrar em relacionamentos; Eu sempre lutei para não me perder neles. Eu tenho que lutar contra o desejo de compartilhar demais com alguém, resistir à ideia de que é preciso alguém me ver para me tornar sólida.

Despachos de uma mulher em fuga

Onde nenhum lugar se sente em casa quando você mais precisa de casa.

Despachos de uma mulher em fuga

Eu me mudei mais do que a maioria. Na propriedade onde meu pai morava, havia uma pista de corrida em miniatura onde ele quebrava os filhotes de um ano.

A maior lição de vida que aprendi com um moribundo

Ele aprendeu tarde demais que tudo o que temos é este momento presente.

A maior lição de vida que aprendi com um moribundo

Brad entrou no quarto vestido com seus shorts cáqui e uma camisa pólo, suas luvas brancas de golfe ainda erguidas em ambas as mãos. Com um grande sorriso estampado no rosto, ele disse: “Sabe, acho que este foi o melhor ano da minha vida!” Normalmente gastadores conservadores, havíamos feito algo fora da norma.

Language