# Interactive Real Analysis - part of MathCS.org

Next | Previous | Glossary | Map | Discussion

## 6.1. Limits

We now want to combine some of the concepts that we have introduced before: functions, sequences, and topology. In particular, if we have some function f(x) and a given sequence { an }, then we can apply the function to each element of the sequence, resulting in a new sequence. What we would want is that if the original sequence converges to some number L, then the new sequence { f( an )} should converge to f(L), and if the original sequence diverges, the new one should diverge also. This seems not too much to ask for, but is quite simple minded.
 Example 6.1.1: Consider the function f, where f(x) = 1 if x 0 and f(x) = 2 if x > 0. The sequence { 1/n } converges to 0. What happens to the sequence { f( 1/n ) } ? The sequence { 3 + (-1)n } is divergent. What happens to the sequence { f ( 3 + (-1)n ) } ? The sequence { (-1)n / n } converges to zero. What happens to the sequence { f ( (-1)n / n ) } ?
As the above easy example shows, things can be more complicated than anticipated. Therefore, we have to attack the problem more systematically. First, we need to define what we mean by 'limit of a function'.
 Definition 6.1.2: Limit of a Function (sequences version) A function f with domain D in R converges to a limit L as x approaches a number c if D - {c} is not empty and for any sequence { xn in D - {c} that converges to c the sequence { f ( xn ) } converges to L. We write f(x) = L
 Examples 6.1.3: Apply this definition in these cases: Let f(x) = m x + b. Then does the limit of that function exist at an arbitrary point x ? Let g(x) = [x], where [x] denotes the greatest integer less than or equal to x. Then does the limit of g exist at an integer ? How about at numbers that are not integers ? In the above definition, does c have to be in the domain D of the function ? Is c in the closure(D) ? Do you know a name for c in terms of topology ?
The above definition works quite well to show that a function is not continuous, because you only have to find one particular sequence whose images do not converge as a sequence. It is not a good definition, in general, to prove convergence of a function, because you will have to check every possible convergent sequence, and that is hard to do. We would therefore like another definition of convergence or limit of a function.
 Definition 6.1.4: Limit of a function (epsilon-delta Version) A function f with domain D in R converges to a limit L as x approaches a number c closure (D) if: given any > 0 there exists a > 0 such that: if x D and | x - c | < then | f(x) - L | < Example 6.1.5: Consider the function f with f(x) = 1 if x is rational and f(x) = 0 if x is irrational. Does the limit of f(x) exist at an arbitrary number x ?
Regardless of which of the two definitions might be considered easier to use in a particular situation, the basic problem right now is that we have two different definitions for the same concept. We therefore have to show that both definitions are actually equivalent to each other.
 Proposition 6.1.6: Equivalence of Definitions of Limits If f is any function with domain Din R, and c closure(D) then the following are equivalent: For any sequence { xn } in D that converges to c the sequence { f ( xn ) } converges to L given any > 0 there exists a > 0 such if x closure(D) and | x - c | < then | f(x) - L | < In other words, both definitions of continuity are equivalent, and we can use which ever seems the easiest. Here are some basic properties of limits of functions.
 Proposition 6.1.7: Properties for limits of Functions If f(x) exists, the limit is unique. [ f(x) + g(x) ] = f(x) + g(x), provided that f(x) and g(x) exist. [ f(x) g(x) ] = f(x) g(x), provided that f(x) and g(x) exist. [ f(x) / g(x) ] = f(x) / g(x), provided that f(x) and g(x) exist and g(x) # 0.
Sometimes a function may not have a limit using the above definitions, but when the domain of the function is restricted, then a limit exists. This leads to the concepts of one-sided limits.
 Definition 6.1.8: One-Sided Limits of a Function If f is a function with domain D and c closure(D). Then: f has a left-hand limit L at c if for every > 0 there exists > 0 such that if x D and c - < x < c then | f(x) - L | < . We write f(x) = L. f has a right-hand limit L at c if for every > 0 there exists > 0 such that if x D and c < x < c + then | f(x) - L | < . We write f(x) = L.
This is the formal definition of x approaching c either only from the right side, or only from the left side. These one-sided limits are related to regular limits in a straight forward manner:
 Proposition 6.1.9: Limits and One-Sided Limits f(x) = L if and only if f(x) = L and f(x) = L
Now that we have some idea about limits of functions, we will move to the next question: if some sequence converges to c, and the function converges to L as x approaches c, then when is it true that f(c) = L ? This will be the contents of the next section, continuity.
Next | Previous | Glossary | Map | Discussion
{"ft_lang_label":"__label__en","ft_lang_prob":0.8703824,"math_prob":0.9963603,"size":3724,"snap":"2020-10-2020-16","text_gpt3_token_len":999,"char_repetition_ratio":0.14919356,"word_repetition_ratio":0.096,"special_character_ratio":0.2728249,"punctuation_ratio":0.11683417,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9993249,"pos_list":[0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102],"im_url_duplicate_count":[null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,8,null,null,null,8,null,null,null,null,null,null,null,null,null,8,null,null,null,8,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,8,null,null,null,8,null,null,null,4,null,null,null,8,null,null,null,8,null,null,null,4,null,null,null,4,null,4,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-04-01T10:10:32Z\",\"WARC-Record-ID\":\"<urn:uuid:75c9d135-d486-427c-8968-557aaaa2ef3c>\",\"Content-Length\":\"17544\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:b7989076-67c1-4c5f-a0cb-fb53a1863a33>\",\"WARC-Concurrent-To\":\"<urn:uuid:4c5d62a6-b275-4c3d-8edd-1f5c9f9fd707>\",\"WARC-IP-Address\":\"52.45.180.40\",\"WARC-Target-URI\":\"http://pirate.shu.edu/~wachsmut/ira/cont/limits.html\",\"WARC-Payload-Digest\":\"sha1:Y32P4MCEXP76CFA3YR4GELWZDWLELTND\",\"WARC-Block-Digest\":\"sha1:YTW6BG3ONQ4WBKZIIAXY7ZC27Z2J3Q27\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-16/CC-MAIN-2020-16_segments_1585370505730.14_warc_CC-MAIN-20200401100029-20200401130029-00479.warc.gz\"}"}