Existence of Functional Limits

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

Existence of Functional Limits

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

limx→cf(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 limx→0f(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 n∈N. Then choose:

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

Then notice that xn,yn→0 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.