Content deleted Content added
m Signing comment by Hojahs - "→Minor edit: Section on continuity and limit: new section" |
|||
Line 92:
If '''a''' is in the interior of the ___domain, the limit exists if and only if the function is continuous at '''a'''.
is technically incorrect, as continuity is a stronger condition than the existence of a limit. Specifically, f is continous at '''a''' if and only if the limit exists AND agrees with the value f('''a'''). <!-- Template:Unsigned --><span class="autosigned" style="font-size:85%;">— Preceding [[Wikipedia:Signatures|unsigned]] comment added by [[User:Hojahs|Hojahs]] ([[User talk:Hojahs#top|talk]] • [[Special:Contributions/Hojahs|contribs]]) 05:30, 25 November 2020 (UTC)</span> <!--Autosigned by SineBot-->
:The statement is not only correct, but it remains true if "the interior of the ___domain" is replaced by "in the ___domain". In fact, the definition of a limit is "For every positive real number {{math|''ε'' > 0}}, there is a positive real number {{math|''δ'' > 0}} such that <math>|f(\boldsymbol{x}) - L| < \varepsilon </math> for all {{math|'''''x'''''}} in the ___domain such that <math>d(\boldsymbol{x}, \boldsymbol{a})< \delta.</math>" If one takes {{math|1='''''x''''' = '''''a'''''}}, one has <math>d(\boldsymbol{x}, \boldsymbol{a})< \delta.</math> Thus the existence of a limit implies that <math>|f(\boldsymbol{a}) - L| < \varepsilon</math> for every {{math|''ε'' > 0}}. This implies <math>f(\boldsymbol{a}) = L.</math> [[User:D.Lazard|D.Lazard]] ([[User talk:D.Lazard|talk]]) 10:46, 25 November 2020 (UTC)
| |||