If b1}</p></li><li><p>f(-x) = -f(x)iffisodd,thenthegraphissymmetricwithrespecttotheorigin(0, 0).</p></li></ul></li><li><p>Example:f(x) = x^2 - 1iseven,andg(x) = \frac{1}{6}x^3isodd.</p></li></ul><h3id="c2d3d8ce−5041−4083−a06e−e277519ec9dd"data−toc−id="c2d3d8ce−5041−4083−a06e−e277519ec9dd"collapsed="false"seolevelmigrated="true">LimitofaFunction</h3><h4id="45dcb13a−b52f−4262−b4b0−f0f8cb544655"data−toc−id="45dcb13a−b52f−4262−b4b0−f0f8cb544655"collapsed="false"seolevelmigrated="true">FormalDefinition</h4><ul><li><p>Example:Considerthefunctionf(x) = 2xandthenumberc = 3.Weknowthat\lim{x \to c} f(x) = \lim{x \to 3} 2x = 6.</p></li><li><p>Theformaldefinitioninvolvesaninverseproblemonproximity.</p></li><li><p><strong>Definition2.1:</strong>\lim_{x \to c} f(x) = lifforanyerrorbound\epsilon > 0,adeviationbound\delta > 0canbefoundsuchthatif|x - c| < \deltathen|f(x) - l| < \epsilon.</p></li><li><p>Briefly:(\forall \epsilon > 0)(\exists \delta > 0), |x - c| < \delta \implies |f(x) - l| < \epsilon.</p></li></ul><h5id="e552fca5−6cb9−4b6b−9faa−366e3f7d0f65"data−toc−id="e552fca5−6cb9−4b6b−9faa−366e3f7d0f65"collapsed="false"seolevelmigrated="true">Example2.2</h5><ul><li><p>Showthat\lim_{x \to 3} 2x = 6.</p><ul><li><p><strong>Step0:</strong>Writetheformaldefinition:Forany\epsilon > 0,thereisa\delta > 0suchthat|2x - 6| < \epsilonwhenever|x - 3| < \delta.</p></li><li><p><strong>Step1:</strong>Write|2x - 6|asasub−multipleof|x - 3|,thatisfindMsuchthat|2x - 6| \leq M|x - 3|:|2x - 6| = |2(x - 3)| = |2||x - 3| = 2|x - 3|</p></li><li><p><strong>Step2:</strong>\delta = \frac{\epsilon}{M} = \frac{\epsilon}{2}.If|x - 3| < \delta,then|2x - 6| = 2|x - 3| < 2\delta = 2 \cdot \frac{\epsilon}{2} = \epsilon.Therefore\lim_{x \to 3} 2x = 6.</p></li></ul></li></ul><h5id="eba72b23−3643−45f5−a24b−2fe3b7f2168f"data−toc−id="eba72b23−3643−45f5−a24b−2fe3b7f2168f"collapsed="false"seolevelmigrated="true">Example2.3</h5><ul><li><p>Showthat\lim_{x \to 2} x^2 = 4.</p><ul><li><p><strong>Step0:</strong>Forany\epsilon > 0,weshallfind\delta > 0suchthatwhenever|x - 2| < \delta,then|x^2 - 4| < \epsilon.</p></li><li><p><strong>Step1:</strong>|x^2 - 4| = |(x - 2)(x + 2)| = |x - 2||x + 2|.Nowsince|x + 2|isnotaconstant,wealsoneedtoboundit.Forthat,weassumethat|x - 2|isboundedbysomenumber,say1.Thus-1 < x - 2 < 1 \implies 1 < x < 3 \implies 3 < x + 2 < 5.Andso -5 < 3 < x + 2 < 5sothat|x + 2| < 5.Hence|x^2 - 4| = |x - 2||x + 2| < 5|x - 2|</p></li><li><p><strong>Step2:</strong>Wecanchoose\frac{\epsilon}{5}for\deltabutwiththeconditionthat|x - 2| < 1.Hence\delta = \min{1, \frac{\epsilon}{5}}.If|x - 2| < \delta,then|x - 2| < 1aswellas|x - 2| < \frac{\epsilon}{5}andso|x^2 - 4| = |x - 2||x + 2| < 5|x - 2| < 5 \cdot \frac{\epsilon}{5} = \epsilon.</p></li></ul></li></ul><h4id="ead89820−3a0a−41fb−89cf−81f55e921367"data−toc−id="ead89820−3a0a−41fb−89cf−81f55e921367"collapsed="false"seolevelmigrated="true">AlgebraofLimits</h4><ul><li><p><strong>Definition2.4:</strong>Afunctionfiscontinuousatc \in Dfif\lim{x \to c} f(x) = f(c),i.e.,foranyerrorbound\epsilon > 0,thereisadeviationbound\deltasuchthat|x - c| < \delta \implies |f(x) - f(c)| < \epsilon.</p></li><li><p><strong>Remark2.5:</strong>Inordertodiscusscontinuityoffatc,fmustbedefinedatc,thatiswemusthavec \in Df.Ifc \notin Df,thenweonlydiscusslimitoffatcandsometimeswewrite\lim{x \to c \atop x \neq c} f(x)toindicatethatxapproachescwhilestayinginDf.</p></li><li><p><strong>Definition2.6:</strong>Afunctionfiscontinuousifitiscontinuousateverypointc \in D_f.</p></li><li><p><strong>Example2.7:</strong>Thefunctiondefinedbyf(x) = \sin(x)iscontinuousatc = \pi.fiscontinuousat\piif\lim_{x \to \pi} \sin(x) = \sin(\pi) = 0.Givenanerrorbound\epsilon > 0wemustfind\delta > 0suchthat|\sin(x) - 0| < \epsilonwhenever|x - \pi| < \delta.Usingthecontractionpropertyofsin(Proposition??),wemustfindMsuchthat|\sin(x) - 0| \leq M|x - \pi|.Butwehave|\sin(x) - 0| \leq |x - \pi|,soM = 1. \delta = \frac{\epsilon}{1} = \epsilon.If|x - \pi| < \delta = \epsilon,then|\sin(x) - 0| \leq |x - \pi| < \epsilon.</p></li><li><p><strong>Theorem2.8:</strong>Arithmeticfunctionsandcircular(ortrigonometric)functionsarecontinuous,thatistheyarecontinuousateachandeverypointoftheirrespectivedomains.</p></li><li><p><strong>Proposition2.9(Algebraoflimits):</strong>Supposethatfandgaretwocontinuousfunctionsthatarecontinuousatc \in Df \cap Dg.</p><ul><li><p>\lim{x \to c} (f(x) + g(x)) = \lim{x \to c} f(x) + \lim_{x \to c} g(x) = f(c) + g(c);</p></li><li><p>\lim{x \to c} (f(x).g(x)) = (\lim{x \to c} f(x)).(\lim_{x \to c} g(x)) = f(c).g(c);</p></li><li><p>\lim{x \to c} f(x)^m = (\lim{x \to c} f(x))^m = f(c)^m,wherem \in \mathbb{R}.</p></li><li><p>Ifg(x) \neq 0andg(c) \neq 0,then\lim{x \to c} \frac{f(x)}{g(x)} = \frac{\lim{x \to c} f(x)}{\lim_{x \to c} g(x)} = \frac{f(c)}{g(c)}.</p></li></ul></li></ul><h5id="2a7aada7−d0d2−447c−92c2−ea7ec3b6580e"data−toc−id="2a7aada7−d0d2−447c−92c2−ea7ec3b6580e"collapsed="false"seolevelmigrated="true">Examples2.10</h5><ul><li><p>\lim{x \to 2} \sqrt{2x + 1} = \lim{x \to 2} (2x + 1)^{\frac{1}{2}} = (\lim_{x \to 2} (2x + 1))^{\frac{1}{2}} = \sqrt{5}.</p></li><li><p>\lim{x \to 0} \frac{x^7 + 2x^6 + x^5}{3x^7 + 3x + 1} = \frac{\lim{x \to 0} (x^7 + 2x^6 + x^5)}{\lim_{x \to 0} (3x^7 + 3x + 1)} = \frac{0 + 0 + 0}{0 + 0 + 1} = \frac{0}{1} = 0</p></li><li><p>\lim{x \to \pi} \frac{2 \cos{\left(x + \frac{\pi}{2} \right)}}{\sin(x)} = \frac{\lim{x \to \pi} 2 \cos{\left(x + \frac{\pi}{2} \right)}}{\lim_{x \to \pi} 2 \sin (x)} = (-1)(1) = -1</p></li></ul><h4id="4ff91560−2ecc−46b2−b838−44cc008be9dd"data−toc−id="4ff91560−2ecc−46b2−b838−44cc008be9dd"collapsed="false"seolevelmigrated="true">RationalFunctions</h4><ul><li><p><strong>Theorem2.11:</strong>Polynomialsandrationalfunctions,i.e.functionsoftheform\frac{P(x)}{Q(x)}whereP(x)andQ(x)arepolynomials,arecontinuous.</p></li><li><p>Incertaincaserationalfunctionsrequiresomealgebraicmanipulations.Itisworthkeepinginmindthatwhenapproachesthepoint,thebehaviourofthefunctionatthepointcislessimportantthanitsbehaviourateveryxapproximatingc.</p></li></ul><h5id="1aa52c89−3511−4f13−a655−873eda468cb5"data−toc−id="1aa52c89−3511−4f13−a655−873eda468cb5"collapsed="false"seolevelmigrated="true">Example2.12</h5><ul><li><p>Considerthelimit\lim_{s \to 0 \atop s \neq 0} \frac{(s + 1)^2 - (s - 1)^2}{s}.Herewehavef(s) = \frac{(s + 1)^2 - (s - 1)^2}{s}andf(s)isnotdefinedatc = 0.Itisthennecessaryto“manipulate”f(s)atpointss \neq 0:f(s) = \frac{(s + 1)^2 - (s - 1)^2}{s} = \frac{(s^2 + 2s + 1) - (s^2 - 2s + 1)}{s} = \frac{s^2 + 2s + 1 - s^2 + 2s - 1}{s} = \frac{4s}{s} (s \neq 0)</p></li></ul><h4id="bf244539−16ab−429c−831e−3def00b0e011"data−toc−id="bf244539−16ab−429c−831e−3def00b0e011"collapsed="false"seolevelmigrated="true">CompositionandLimits</h4><ul><li><p><strong>Theorem2.13:</strong><br>Supposethatwehaveacompositionf \circ gwherefiscontinuous.Wehave\lim{x \to c} (f \circ g)(x) = \lim{x \to c} (f(g(x)) = f(\lim_{x \to c} g(x))</p></li></ul><h5id="a161b982−152c−4135−8f4e−8e6e6b59d964"data−toc−id="a161b982−152c−4135−8f4e−8e6e6b59d964"collapsed="false"seolevelmigrated="true">Example2.14</h5><ul><li><p>\lim{x \to \pi/2} \sin(\sqrt{x}) = \sin(\lim{x \to \pi/2} \sqrt{x}) = \sin(|\pi|) = \sin(\pi) = 0.Notethat\pi/2ispositiveso\sqrt{x}ispositive.</p></li></ul><h3id="59be6304−c51a−4c36−9afe−0ce4c6d1afc2"data−toc−id="59be6304−c51a−4c36−9afe−0ce4c6d1afc2"collapsed="false"seolevelmigrated="true">Discontinuity</h3><ul><li><p>Afunctionfiscontinuousatc \in Df,if\lim{x \to c} f(x) = f(c).</p></li><li><p>Notethatifc \notin D_f,thenfisnotcontinuousatcbecausetheconceptofcontinuityatcrequiresthatthefunctionbedefinedatc.</p></li><li><p>Incaseswherec \notin D_f,weareinthepresenceofcertaintypesofdiscontinuitiesthatcanbeclassifiedusingthefollowingtest:</p><ul><li><p>Case1:\lim_{x \to c \atop x \neq c} f(x)exists.itispossibletoextend”f”suchthatitiscontinuos,soit′saremovablediscontinuityatc.</p></li><li><p>Case2:\lim_{x \to c \atop x \neq c} f(x)doesnotexist.Thisextensionwillnotbepossibleandwehaveeitherajumpdiscontinuityoranessentialdiscontinuityatc.</p></li></ul></li></ul><h5id="198855f5−6cb9−4777−a452−bb7b53a1e7b4"data−toc−id="198855f5−6cb9−4777−a452−bb7b53a1e7b4"collapsed="false"seolevelmigrated="true">Examples2.15</h5><ul><li><p>Considerthefunctionf(x) = |\frac{x - 2}{x - 2}|.WehaveDf = R \backslash {2}sothatfisdiscontinuousat2.Tocompute\lim{x \to 2 \atop x \neq 2} f(x)requiresthatweconsiderx < 2andx > 2.Whenx < 2wehave|x - 2| = -(x - 2),andwhenx > 2wehave|x - 2| = x - 2.Thereforethelimitsfromtherightandfromtheleftarerespectively \lim{x \to 2^+} f(x) = \lim{x \to 2^+} \frac{x - 2}{x - 2} = 1and\lim{x \to 2^-} f(x) = \lim{x \to 2^-} \frac{-(x - 2)}{x - 2} = -1Thisshowsthat\lim_{x \to 2 \atop x \neq c} f(x)doesnotexist.Wehaveajumpdiscontinuity.</p></li><li><p>Considerthefunctionf(x) = \frac{x^2 - 1}{x - 1}.Df = R \backslash {1}andfisdiscontinuousat1.Asopposedtothepreviousexample\lim{x \to 1 \atop x \neq 1} f(x)canbefound:\lim{x \to 1 \atop x \neq 1} f(x) = \lim{x \to 1 \atop x \neq 1} \frac{(x - 1)(x + 1)}{x - 1} = \lim_{x \to 1 \atop x \neq 1} (x + 1) = 2Inthiscasewehavearemovablediscontinuity.</p></li><li><p>Considerthefunctionf(x) = \frac{1}{x}withDf = R \backslash {0}.Then\lim{x \to 0 \atop x \neq 0} f(x)doesnotexistandwehaveanessentialdiscontinuity:</p></li></ul><h4id="92800706−5319−42c3−88ac−692928583037"data−toc−id="92800706−5319−42c3−88ac−692928583037"collapsed="false"seolevelmigrated="true">SqueezeTheorem</h4><ul><li><p><strong>Lemma2.16.(Squeezeplay)</strong><br>Supposethatf(x) \leq g(x)forallx \in Df \cap Dg.Ifboth\lim{x \to c} f(x)and\lim{x \to c} g(x)exist,then\lim{x \to c} f(x) \leq \lim{x \to c} g(x).</p></li><li><p><strong>Theorem2.17.(SqueezeTheorem)</strong><br>Supposethath \leq f \leq gandletc \in R.If\lim{x \to c} h(x) = \lim{x \to c} g(x) = L,thenalso\lim_{x \to c} f(x) = L</p></li></ul><h5id="63395518−0f0d−4443−b755−de31ec571efb"data−toc−id="63395518−0f0d−4443−b755−de31ec571efb"collapsed="false"seolevelmigrated="true">Example2.18</h5><ul><li><p>Considertheexamplef(x) = x^2 \sin^2{\left(\frac{1}{x} \right)}withDf = R \backslash {0}.Thefunctionhasaremovablediscontinuityat0.WeshallshowthisbyusingtheSqueezeTheorem.Firstnotethatforallx \neq 0.Since\sin(a) \leq 1,also\sin^2(a) \leq 1foralla \in R.Therefore\sin^2{\left(\frac{1}{x} \right)} \leq 1andbymultiplyingbyx^2 \geq 0$f(x) = x^2 \sin^2{\left(\frac{1}{x} \right)} \leq x^2.Wethenhave0 \leq f(x) \leq x^2forallx \neq 0.ByTheorem2.17,\lim{x \to 0 \atop x \neq 0} f(x) = 0.</p></li></ul><h4id="b3cb67b2−b5c5−4398−96ec−81b4946aceb2"data−toc−id="b3cb67b2−b5c5−4398−96ec−81b4946aceb2"collapsed="false"seolevelmigrated="true">Continuousextension</h4><ul><li><p>Iff(x)hasaremovablediscontinuityatc \notin Dfthenitispossibletoextendthedomainofdefinitionofftoincludec.Wethenobtainanewcontinuousfunctionf^(x)suchthatf^(x) = f(x)forallx \in Dfandf^*(c) = \lim_{x \to c \atop x \neq c} f(x).</p></li><li><p><strong>Proposition2.19.(Extensionbycontinuity)</strong><br>Supposethatfiscontinuousandhasaremovablediscontinuityatc \notin Df.Thenthefunctionf^* : Df \cup {c} \to Rdefinedbyf^(x) = \begin{cases} f(x) & \text{if } x \in Df \ \lim{x \to c \atop x \neq c} f(x) & \text{if } x = c \end{cases}<br>iscontinuousateverypointinD_f \cup {c}.Wesaythatf^isacontinuousextensionoffatc.</p></li></ul><h5id="f61321ab−dff3−4605−8378−69b12b8d5d1c"data−toc−id="f61321ab−dff3−4605−8378−69b12b8d5d1c"collapsed="false"seolevelmigrated="true">Examples2.20</h5><ul><li><p>f(x) = \frac{\sin(x)}{x}hasaremovablediscontinuityat0with\lim_{x \to 0 \atop x \neq 0} f(x) = 1.Wehavethecontinuousextensionf^* : R \to Rwheref^*(x) = \begin{cases} \frac{\sin(x)}{x} & \text{if } x \neq 0 \ 1 & \text{if } x = 0 \end{cases}</p></li><li><p>f(x) = \frac{\cos(x) - 1}{x}hasaremovablediscontinuityat0with\lim_{x \to 0 \atop x \neq 0} f(x) = 0.Wehavethecontinuousextensionf^* : R \to Rwheref^*(x) = \begin{cases} \frac{\cos(x) - 1}{x} & \text{if } x \neq 0 \ 0 & \text{if } x = 0 \end{cases}</p></li><li><p>f(x) = \frac{\tan(x)}{x}hasaremovablediscontinuityat0with\lim_{x \to 0 \atop x \neq 0} f(x) = 1.Wehavethecontinuousextensionf^* : R \to Rwheref^*(x) = \begin{cases} \frac{\tan(x)}{x} & \text{if } x \neq 0 \ 1 & \text{if } x = 0 \end{cases}</p></li></ul><h4id="b0381662−757f−45ee−8393−6850a27b1ec7"data−toc−id="b0381662−757f−45ee−8393−6850a27b1ec7"collapsed="false"seolevelmigrated="true">IntermediateValueTheorem</h4><ul><li><p>OneofthemostimportantapplicationsoftheIntermediateValueTheoremisthepossibilityofclaimingthatcertainequationshaveatleastonerootorsolution.</p></li><li><p><strong>Definition2.24:</strong>Acompactintervalisanintervalthatisclosedandcontainsitsendpoints,i.e.,anintervaloftheform[a; b]wherea, b \in Randa \leq b.</p></li><li><p>Functionsthataredefinedoncompactintervalsandarecontinuoushavenumerousniceproperties.Oneofthemisthefactthattheirgraphsmimicthecompactintervalsontwopoints:theycontaintheendpoints,andthegraphisanuncutline.</p></li><li><p><strong>Theorem2.26:</strong>(IntermediateValueTheorem)Letf : [a; b] \to Rbeacontinuousfunctionandletx1, x2 \in [a; b]withx1 < x2.Foranyvalueksuchthatf(x1) 0or$f(x2) < 0 < f(x1),thenthereisc \in (x1; x_2)suchthatf(c) = 0.</p></li><li><p>Theexpressionf(x1)f(x2) < 0indicatesthatthefunctionfchangessignfromx1tox2.</p></li><li><p><strong>Example2.29:</strong><br>Considertheequation\frac{x^3}{10} - \frac{3x}{2} - 1 = 0.Wewanttofindasolutiontothisequationbetween−3and3.Thefunctionf(x) = \frac{x^3}{10} - \frac{3x}{2} - 1,beingapolynomial,iscontinuousandhencecontinuouson[-3; 3].Nowwechoosex1 = -2andx2 = 2andcomputef(2) = \frac{8}{10} - 3 - 1 < 0andf(-2) = \frac{-8}{10} + 3 - 1 > 0.ByTheorem2.28,thereisc \in (-2; 2)suchthatf(c) = 0,thatis\frac{c^3}{10} - \frac{3c}{2} - 1 = 0$$.