Existence of Functional Limits

This is a corollary from the Sequential Criterion For Functional Limits:

Existence of Functional Limits

Let f:AR where AR and c is a Limit Point of A.
If sequences (xn)A{c} and (yn)A{c} with xnc,ync but (f(xn)) and (f(yn)) do not converge to the same value. Then:

limxcf(x)

does not exist.

Namely this is the opposite of the Sequential Criterion For Functional Limits (2).

Example of Finding Functional Limits

Let f(x)=sin(1x) where A=R{0}.

---
title: 
xLabel: 
yLabel: 
bounds: [-2, 2, -1, 1]
disableZoom: false
grid: true
---
f(x) = sin(1/x)

A reasonable question to ask is if/what limx0f(x) is here (notice 0 here is a limit point of the domain set). But notice that the sequence of points that intersect the graph at 0 on the right hand side make up a sequence where f(xn)0. But we can do the same thing with the points that intersect the line y=1. Then f(yn)1, so we have two sequences that converge to different limits, so then the limit of the original function must not exist.

More explicitly, let nN. Then choose:

xn=1nπ,yn=1π2+2nπ

Then notice that xn,yn0 individually, but:

f(xn)=sin(11nπ)=sin(nπ)=0f(yn)=sin(11π2+2nπ)=sin(π2+2nπ)=1

So since f(xn)0 and f(yn)1 then by our corrolary above then we get the limit does not exist.