<?xml version="1.0" encoding="UTF-8"?>
<!-- generator="FeedCreator 1.8" -->
<?xml-stylesheet href="https://sites.icmc.usp.br/aurichi/exerc/lib/exe/css.php?s=feed" type="text/css"?>
<rdf:RDF
    xmlns="http://purl.org/rss/1.0/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel rdf:about="https://sites.icmc.usp.br/aurichi/exerc/feed.php">
        <title>Topologia e conjuntos em exercícios limites</title>
        <description></description>
        <link>https://sites.icmc.usp.br/aurichi/exerc/</link>
        <image rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/lib/tpl/dokuwiki/images/favicon.ico" />
       <dc:date>2026-04-09T02:59:52+00:00</dc:date>
        <items>
            <rdf:Seq>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:aplicacoesintermediario&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:calculodefinicao&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:composta&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:dominio&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:exercicios&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:exerinfinito&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:exeroperacoes&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:funcoescontinuas&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:funcoescontinuaselegante&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:fundamental&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:infinito&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:intuicaofund&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:inversas&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:laterais&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:limitadas&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:maximo&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:motivacao&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:mudancavariavel&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:operacoes&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:poucotrigo&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:preservacaosinal&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:raizes&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:sanduiche&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:somaproduto&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:somaprodutoinfinito&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:umsobrex&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:unicidade&amp;rev=1604684705&amp;do=diff"/>
                <rdf:li rdf:resource="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:valorintermediario&amp;rev=1604684705&amp;do=diff"/>
            </rdf:Seq>
        </items>
    </channel>
    <image rdf:about="https://sites.icmc.usp.br/aurichi/exerc/lib/tpl/dokuwiki/images/favicon.ico">
        <title>Topologia e conjuntos em exercícios</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/</link>
        <url>https://sites.icmc.usp.br/aurichi/exerc/lib/tpl/dokuwiki/images/favicon.ico</url>
    </image>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:aplicacoesintermediario&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:aplicacoesintermediario</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:aplicacoesintermediario&amp;rev=1604684705&amp;do=diff</link>
        <description>Algumas aplicações do Teorema do valor intermediário

No primeiro resultado, vamos usar o fato que $\lim\limits_{x \to +\infty} x^{2n + 1} = +\infty$ e $\lim\limits_{x \to -\infty} x^{2n + 1} = -\infty$. 

Proposição Todo polinômio de grau ímpar admite raiz.

Dem.: Seja $p(x) = a_{2n + 1}x^{2n + 1} + a_{2n}x^{2n} + \cdots + a_1x + a_0$ com $a_{2n + 1} \neq 0$. Note que
\[\lim\limits_{x \to +\infty}p(x) = x^{2n + 1}(a_{2n + 1} + \frac{a_{2n}}{x} + \cdots \frac{a_1}{x^{2n}} + \frac{a_0}{x^{2n + 1}…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:calculodefinicao&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:calculodefinicao</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:calculodefinicao&amp;rev=1604684705&amp;do=diff</link>
        <description>Calculando limites pela definição

Em breve vamos ver maneiras de facilitar o cálculo de limites. Por enquanto, vamos usar a única ferramenta que temos: a definição.

Um exemplo simples

Considere $f: \mathbb R \to \mathbb R$ dada por $f(x) = 2x$. Vamos mostrar $\lim\limits_{x \to 3} f(x) = 6$. Antes de resolvermos de verdade, vamos tentar procurar soluções com casos numéricos. Suponha que nos seja exigido um erro de, no máximo, $2$$2$$4$$0 &lt; |3 - 4| = 1 &lt; 2$$|2 \cdot 4 - 6| = 2 \not &lt; 2$$1$$|3 …</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:composta&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:composta</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:composta&amp;rev=1604684705&amp;do=diff</link>
        <description>Composta

Limites também “comutam” com composições se as funções forem bem comportadas - veremos mais sobre esse “bom comportamento” no tópico sobre continuidade.

Proposição Considere $f, g: \mathbb R \to \mathbb R$. Seja $a \in \mathbb R$. Suponha que $\lim\limits_{x \to a} f(x) = L$, $\lim\limits_{x \to L}g(x) = K$ e que $g(L) = K$. Então $\lim\limits_{x \to a} g(f(x))$ existe e é igual a $K$$\varepsilon &gt; 0$$\delta &gt; 0$$x$$0 &lt; |x - a| &lt; \delta$$|g(f(x)) - K| &lt; \varepsilon$$\delta_g &gt; 0$$x$$0…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:dominio&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:dominio</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:dominio&amp;rev=1604684705&amp;do=diff</link>
        <description>Um pouco sobre os domínios das funções

Estamos sendo um pouco relaxados sobre como deve ser o domínio de cada função para se definir o limite. Fizemos isso para manter o foco na parte mais importante. Mas agora vamos discutir um pouco esse aspecto.$a$$a$$a$$a$$\varepsilon$$\delta$$\delta' &lt; \delta$$a$$a$$\lim\limits_{x \to a^+} f(x)$$r &gt; 0$$]a, a + r[ \subset$$(f)$$\lim\limits_{x \to a^-} f(x)$$r &gt; 0$$]a - r, a[ \subset$$(f)$$\lim\limits_{x \to a} f(x)$$r &gt; 0$$(]a -r, a + r[ \setminus \{a\}) \s…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:exercicios&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:exercicios</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:exercicios&amp;rev=1604684705&amp;do=diff</link>
        <description>$\def\sen{\text{sen}}$

Exercícios (de continha)

Esses são alguns exercícios misturando várias coisas que vimos. Tente fazer os exercícios antes de ver as resoluções.

 Seja $k \in \mathbb R$ e considere $f$ dada por 
\[f(x) = \begin{cases}
|4 - 5x| - k &amp; \mbox{se } x \geq 3\\
x^2 + k &amp; \mbox{se } x &lt; 3
\end{cases}\]
Para quais valores de $k$ existe $\lim\limits_{x \to 3} f(x)$?Solução

 Calcule $\lim\limits_{x \to 0} \frac{\sen(x^2)}{x}$Solução

 Calcule $\lim\limits_{x \to +\infty} \frac{\sqr…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:exerinfinito&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:exerinfinito</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:exerinfinito&amp;rev=1604684705&amp;do=diff</link>
        <description>Alguns exercícios envolvendo limites infinitos

Vejamos alguns exercícios misturando o que temos até agora:

Exercício $\lim\limits_{x \to +\infty} \frac{x}{x + 1} = \lim\limits_{x \to +\infty}\frac{x}{x(1 + \frac{1}{x})} = 1$

Exercício $\lim_\limits{x \to 0+} \frac{x^3 + 1}{x} = \lim_\limits{x \to 0+} \frac{x(x^2 + \frac{1}{x})} {x} = \lim_\limits{x \to 0+} (x^2 + \frac{1}{x}) = +\infty$

O exercício anterior pode ser feito também da seguinte maneira:
\[\lim_\limits{x \to 0+} \frac{x^3 + 1}{x}…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:exeroperacoes&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:exeroperacoes</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:exeroperacoes&amp;rev=1604684705&amp;do=diff</link>
        <description>Alguns exercícios resolvidos

Vamos apresentar alguns exercícios resolvidos juntando o que temos até o momento.

Exercício:  Calcule $\lim\limits_{x \to 0} \frac{5x^2 + 3x - 1}{4x - 2}$.

\[
  \begin{array}{rcl}
    \lim\limits_{x \to 0} \frac{5x^2 + 3x - 1}{4x - 2} &amp; = &amp; \frac{5\cdot 0 + 3 \cdot 0 - 1}{4 \cdot 0 - 2}\\
    &amp; = &amp; \frac{1}{2}\\
  \end{array}\]

Exercício: Calcule $\lim\limits_{x \to 1} \frac{x^3 + x^2 - x - 1}{x - 1}$.

O problema aqui é que está “zerando” tanto em cima como em b…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:funcoescontinuas&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:funcoescontinuas</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:funcoescontinuas&amp;rev=1604684705&amp;do=diff</link>
        <description>$\def\sen{\text{sen}}$
$\def\dom{\text{dom}}$

Funções contínuas

Seja $f$ uma função real. Dizemos que $f$ é contínua no ponto $a \in \dom(f)$ se $f(a) = \lim\limits_{x \to a} f(x)$. Dizemos que $f$ é contínua se $f$ é contínua em todos os pontos do seu domínio.

Exemplo Com o que já temos sobre limites, é imediato notar que funções como $\sen$$\cos$\[f(x) = \begin{cases}
1 &amp; \mbox{se } x \geq 0\\
-1 &amp; \mbox{se } x &lt; 0\\
\end{cases}\]$0$\[f(x) = \begin{cases}
\frac{sen(x)}{x} &amp; \mbox{se $$x \le…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:funcoescontinuaselegante&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:funcoescontinuaselegante</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:funcoescontinuaselegante&amp;rev=1604684705&amp;do=diff</link>
        <description>$\def\dom{\text{dom}}$

Funções contínuas

Modo elegante ativado

Vimos como definir funções contínuas usando limites. Vamos agora ver um modo alternativo de definir continuidade, mas de uma maneira que é mais fácil de generalizar para outros contextos. Antes de conseguir fazer a definição propriamente dita, precisamos de um conceito base:$A \subset \mathbb R$$x \in A$$r &gt; 0$$]x - r, x + r[ \subset A$$]2, 5[$$x \in ]2, 5[$$r = \min\{5 - x, x - 2\}$$]x - r, x + r[ \subset ]2, 5[$$]0, 2[ \cup ]4, …</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:fundamental&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:fundamental</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:fundamental&amp;rev=1604684705&amp;do=diff</link>
        <description>$\def\sen{\text{sen}}$

Limite fundamental

Mesmo com o maquinário desenvolvido até o momento, não temos uma maneira fácil de resolver o limite

\[\lim\limits_{x \to 0}\frac{\sen(x)}{x}\]

Nosso objetivo agora é resolver tal limite. Para isso, vamos usar alguns resultados:

	*  A função $f(x) = \frac{\sen(x)}{x}$ é par - isto é, $f(-x) = f(x)$$x$$\mathbb R_{\neq 0}$$\lim\limits_{x \to 0} \cos(x) = 1$$A(x)$$A(x)$$r$$x$$\pi r^2$$A(x) = kx$$k$$k$$x = 2\pi r$$A(2\pi r) = \pi r^2$$k2\pi r = \pi r^2$$…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:infinito&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:infinito</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:infinito&amp;rev=1604684705&amp;do=diff</link>
        <description>Para o infinito e além!

Pode ser que quando $x$ se aproxima de um determinado ponto $a$, o valor de $f(x)$ fica arbitrariamente grande - intuitivamente, ele vai ficando não só cada vez maior, como maior que qualquer valor que tentássemos estipular. Essa é a ideia que a próxima definição tenta capturar.$\frac{1}{|x|}$$x$$0$$f$$f(x)$$+\infty$$x$$a$\[\forall M &gt; 0 \ \exists \delta &gt; 0 (0 &lt; |x - a| &lt; \delta \Rightarrow f(x) &gt; M)\]\[\lim\limits_{x \to a} f(x) = +\infty\]$f(x) = \frac{1}{|x - 2|}$$\l…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:intuicaofund&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:intuicaofund</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:intuicaofund&amp;rev=1604684705&amp;do=diff</link>
        <description>Se você der a volta inteira, a área é a da figura inteira. Se der meia volta, meia área. Um quarto de volta, um quarta de área etc.</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:inversas&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:inversas</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:inversas&amp;rev=1604684705&amp;do=diff</link>
        <description>$\def\Im{\text{Im}}$

Funções inversas

Dizemos que uma função $f$ é estritamente crescente se, para todo $a &lt; b$ no domínio de $f$, temos que $f(a) &lt; f(b)$. Analogamente, definimos estritamente decrescente.

Proposição Sejam $I$ um intervalo e $f: I \to \Im(f)$ uma função contínua. Então $f$ é bijetora se, e somente se, $f$$f$$f$$f$$a, b, c \in I$$a &lt; b &lt; c$$f(a) &lt; f(b)$$f(c) &lt; f(b)$$f(b) &lt; f(a)$$f(b) &lt; f(c)$$f(a) &lt; f(c)$$x_1 \in [a, b]$$f(x_1) = f(c)$$f(c) &lt; f(a)$$x_2 \in [b, c]$$f(a) = f(x_2)…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:laterais&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:laterais</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:laterais&amp;rev=1604684705&amp;do=diff</link>
        <description>Limites laterais

Pense no fato de $\lim\limits_{x \to a} f(x) = L$ como “$f(x)$ se aproxima de $L$ conforme $x$ se aproxima de $a$”. 

Note que $x$ pode se aproximar de $a$ por dois caminhos:

	*  tomando valores em $]a, +\infty[$ (que chamamos de se aproximar por cima);
	*  como em $]-\infty, a[$ (que chamamos de se aproximar por baixo). $f: A \to \mathbb R$$A \subset \mathbb R)$$f$$L$$x$$a$$\varepsilon &gt; 0$$\delta &gt; 0$$x \in A$$x &gt; a$\[0 &lt; x - a &lt; \delta \Rightarrow |L - f(x)| &lt; \varepsilon\]…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:limitadas&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:limitadas</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:limitadas&amp;rev=1604684705&amp;do=diff</link>
        <description>$\def\sen{\text{sen}}$

Funções limitadas

Dizemos que uma função real $f$ é uma função limitada se existe $L &gt; 0$ tal que, para todo $x \in \mathbb R$, $|f(x)| \leq L$. Neste caso dizemos que $L$ é um limitante para $f$. 

Em todos os limites aqui considerados, quando indicamos $x \to a$, $a$ pode ser tanto um número real, como $+\infty$$-\infty$$\sen: \mathbb R \to \mathbb R$$\cos: \mathbb R \to \mathbb R$$1$$f$$A, B \in \mathbb R$$x$$A &lt; f(x) &lt; B$$f$$f$$\lim\limits_{x \to a} f(x) = 0$$\lim\li…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:maximo&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:maximo</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:maximo&amp;rev=1604684705&amp;do=diff</link>
        <description>$\def\dom{\text{dom}}$

Máximos e mínimos

Seja $f$ uma função. Dizemos que $M$ é o máximo de $f$ se $M = \max\{f(x): x \in \dom(f)\}$. Se $M$ é o máximo e $x$ é tal que $f(x) = M$, chamamos $x$ de maximizador. Analogamente, definimos mínimo e minimizador.

Exemplo Considere $f: [-1, 2] \to \mathbb R$ dada por $f(x) = x^2$. Note que $4$ é o máximo de $f$ e $2$ é um maximizador.$f(x) = \frac{1}{x}$$\mathbb R_{\neq 0}$$x$$\frac{1}{x}$$f$$f: [a, b] \to \mathbb R$$x_1, x_2 \in [a, b]$$f(x_1) \leq f(…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:motivacao&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:motivacao</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:motivacao&amp;rev=1604684705&amp;do=diff</link>
        <description>Motivação e definição

Primeira motivação

Suponha que temos uma situação onde uma função $f: A \to \mathbb R$ ($A \subset \mathbb R$) nos calcula algo. Mas, por algum motivo, existe um $x_0 \in A$ tal que não sabemos quanto vale $f(x_0)$ - mas sabemos quanto vale $f(x)$ para diversos pontos próximos de $x_0$$f(x_0)$$f$$1m^2$$f$$1$$L_1$$0,1$$0,05$$1$$L_1$$0,01$$0,000002$$2$$L_2$$0,1$$0,1$$1kg$$L_1$$0,1$$1kg$$0,01$$0,000002$$2kg$$0,1$$1kg$$f$$0,95kg$$|f(1) - T| &lt; 0,05$$T$$1,2kg$$|f(1) - T| &lt; 0,05…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:mudancavariavel&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:mudancavariavel</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:mudancavariavel&amp;rev=1604684705&amp;do=diff</link>
        <description>$\def\sen{\text{sen}}$

Mudança de variável

Teorema Considere $I$ e $J$ intervalos abertos. Seja $t: I \to J$ uma bijeção contínua. Sejam $a \in I$ e $b = t(a)$. Seja $f: J \setminus \{b\} \to \mathbb R$ uma função e seja $L$ um número real ou $+\infty$ ou $-\infty$. Então

$\lim\limits_{y \to b} f(y) = L$ se, e somente se, $\lim\limits_{x \to a} f(t(x)) = L.$
$L$$\lim\limits_{y \to b} f(y) = L$$\varepsilon &gt; 0$$\lim\limits_{y \to b} f(y) = L$$\delta_1 &gt; 0$\[0 &lt; |y - b| &lt; \delta_1 \Rightarrow |…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:operacoes&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:operacoes</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:operacoes&amp;rev=1604684705&amp;do=diff</link>
        <description>Operações básicas

Vamos juntar vários resultados anteriores para “montar novos limites”. Antes de olhar esse material, é melhor você estar familiarizado com  somas e produtos de limites, com composição de limites bem como os limites envolvendo a função $\frac{1}{x}$.

Proposição Sejam $f, g$ funções reais tais que $\lim\limits_{x \to a} f(x) = A$ e $\lim\limits_{x \to a} g(x) = B$. Temos:

	* $\lim\limits_{x \to a} kf(x) = kA$$k \in \mathbb R$$\lim\limits_{x \to a} -f(x) = -A$$\lim\limits_{x \t…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:poucotrigo&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:poucotrigo</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:poucotrigo&amp;rev=1604684705&amp;do=diff</link>
        <description>$\def\sen{\text{sen}}$

Um pouco de trigonometria

Parte da argumentação inicial desta parte se baseará em argumentos mais intuitivos: mas a formalização disso será feita posteriormente.

Considere $c: \mathbb R \to \mathbb R^2$ a função definida da seguinte forma

	*  $c(0) = (1, 0)$;
	*  $c(t) = (x, y)$ para $t \neq 0$: aqui temos dois casos. Se $t &gt; 0$$(0, 0)$$t$$t &lt; 0$$(x, y)$$c$$\sen, \cos: \mathbb R \to \mathbb R$$(x, y) = c(t)$$\cos(t) = x$$\sen(t) = y$$c$$a, b \in \mathbb R$$|\cos(a) - \…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:preservacaosinal&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:preservacaosinal</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:preservacaosinal&amp;rev=1604684705&amp;do=diff</link>
        <description>$\def\dom{\text{dom}}$

Preservação de sinal

Em algum sentido, o próximo resultado nos diz que se uma função contínua é positiva em determinado ponto, então há uma margem de segurança em que ela permanece positiva. 

 Teorema  Seja $f$ uma função contínua. Se existe $c \in I$$f(c) &gt; 0$$\delta &gt; 0$$x \in ]c - \delta, c + \delta[ \cap \dom(f)$$f(x) &gt; 0$$k = f(c)$$k &gt; 0$$f$$\varepsilon = \frac{k}{2}$$\delta &gt; 0$$x$$f$$|x - c| &lt; \delta$$|f(x) - f(c)| &lt; \varepsilon$$f(x) &gt; 0$$x \in \dom(f)$$|x - c| …</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:raizes&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:raizes</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:raizes&amp;rev=1604684705&amp;do=diff</link>
        <description>Raízes

Dado $n \in \mathbb N_{&gt;1}$, denotamos por $\sqrt[n]{x}$ a inversa de $g(y) = y^n$ em $[0, + \infty[$.

Note que $\sqrt[n]{ab} = \sqrt[n]{a}\sqrt[n]{b}$. 

Proposição Dado $n &gt; 1$, temos que a função $f: [0, + \infty[$ dada por $f(x) = \sqrt[n]{x}$ é contínua. 

Dem.:  Note que $f(x) = g^{-1}(x)$, onde $g: [0, +\infty[ \to [0, +\infty[$ é dada por $g(y) = y^n$. Assim, como $g$ é estritamente crescente, concluímos pelos resultados anteriores que $f$ é contínua em $[0, +\infty[$$n &gt; 1$$a \…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:sanduiche&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:sanduiche</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:sanduiche&amp;rev=1604684705&amp;do=diff</link>
        <description>$\def\sen{\text{sen}}$

Teorema do sanduíche

Teorema Sejam $f$, $g$ e $h$ funções reais tais que, para todo $x$ de seus domínios temos 
\[f(x) \leq g(x) \leq h(x)\]
Dado $a \in \mathbb R$ (também podendo ser $+\infty$ ou $-\infty$) temos que, se $\lim\limits_{x \to a}f(x) = \lim\limits_{x \to a}h(x) = k$, então $\lim\limits_{x \to a} g(x) = k$ (onde $k$ é um número real). 

Dem.: Vamos fazer o caso em que $a \in \mathbb R$, os outros casos são análogos. Fixe $\varepsilon &gt; 0$$\lim\limits_{x \to…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:somaproduto&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:somaproduto</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:somaproduto&amp;rev=1604684705&amp;do=diff</link>
        <description>Soma e produto

Suponha que você já saiba lidar com limites de funções como $f(x) = x$ e $g(x) = 3$. Deveria haver uma maneira simples de se poder lidar com limites de funções como

	*  $h(x) = x + 3$
	*  $p(x) = 3x$
	*  $q(x) = x^2$

certo? Afinal, $h(x) = f(x) + g(x)$, $p(x) = f(x)g(x)$ e $q(x) = f(x)f(x)$. É exatamente sobre esse tipo de construção que vamos trabalhar agora.$f, g$$\lim\limits_{x \to a} f(x) = A$$\lim\limits_{x \to a} g(x) = B$$\lim\limits_{x \to a} (f(x) + g(x)) = A + B$$\lim…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:somaprodutoinfinito&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:somaprodutoinfinito</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:somaprodutoinfinito&amp;rev=1604684705&amp;do=diff</link>
        <description>Soma e produto com limites infinitos

Podemos estender o resultado anterior para o caso de limites onde o “$x$ tende ao infinito”:

Proposição Sejam $f, g$ funções reais tais que $\lim\limits_{x \to a} f(x) = A$ e $\lim\limits_{x \to a} g(x) = B$ onde $A, B \in \mathbb R$ e $a$ pode tanto ser um valor real, como $+\infty$ ou $-\infty$.  Temos:

	*  $\lim\limits_{x \to a} (f(x) + g(x)) = A + B$;
	*  $\lim\limits_{x \to a} (f(x) g(x)) = AB$.

A demonstração da proposição acima é muito parecida com…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:umsobrex&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:umsobrex</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:umsobrex&amp;rev=1604684705&amp;do=diff</link>
        <description>A função $\frac{1}{x}$

Já vimos que multiplicação e soma se comportam bem com relação a limites. Ainda falta ver que $f(x)$ e $g(x)$ são “bem comportadas”, podemos calcular diversos limites de $\frac{f(x)}{g(x)}$. Para podermos usar os resultados sobre composição de funções, o seguinte resultado será bastante útil:$f: \mathbb R_{\neq 0} \to \mathbb R$$f(x) = \frac{1}{x}$$k \in \mathbb R_{&gt;0}$$\lim\limits_{x \to k} f(x) = \frac{1}{k}$$\varepsilon &gt; 0$$\delta &gt; 0$$x \neq 0$$0 &lt; |x - k| &lt; \delta$$…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:unicidade&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:unicidade</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:unicidade&amp;rev=1604684705&amp;do=diff</link>
        <description>Unicidade

A gente fez um abuso até o momento, se dizemos que $\lim\limits_{x \to a} f(x) = b$, implicitamente está dito também que $\lim\limits_{x \to a} f(x) \neq c$, se $b \neq c$. Isso de fato ocorre, é o que vamos ver agora.

Proposição Fixe $a \in \mathbb R$ e $f$ uma função. Se $L, M$ são números reais tais que ambos satisfazem a definição de $\lim\limits_{x \to a} f(x)$$L = M$$L$$M$$f$$a$$L = M$$\Delta = |L - M|$$L$$\delta_1 &gt; 0$$x$\[0 &lt; |x - a| &lt; \delta_1 \Rightarrow |f(x) - L| &lt; \frac{…</description>
    </item>
    <item rdf:about="https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:valorintermediario&amp;rev=1604684705&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2020-11-06T14:45:05+00:00</dc:date>
        <dc:creator>Anonymous (anonymous@undisclosed.example.com)</dc:creator>
        <title>limites:valorintermediario</title>
        <link>https://sites.icmc.usp.br/aurichi/exerc/doku.php?id=limites:valorintermediario&amp;rev=1604684705&amp;do=diff</link>
        <description>Teorema do valor intermediário

O próximo resultado é uma propriedade particular dos números reais. Na verdade, dependendo do contexto em que estivermos, o enunciado de tal teorema faz parte da definição do conjunto dos reais.

Teorema (dos intervalos encaixantes)$(I_n)_{n \in \mathbb N}$$I_n = [a_n, b_n]$$n \in \mathbb N$$[a_{n + 1}, b_{n + 1}] \subset [a_n, b_n]$$a_n \leq a_{n + 1} \leq b_{n + 1} \leq b_n$$x \in \bigcap_{n \in \mathbb N} I_n$$n \in \mathbb N$$I_n = [0, \frac{1}{n}]$$\bigcap_{n…</description>
    </item>
</rdf:RDF>
