logo

Newly Defined Continuous Functions in University Mathematics 📂Analysis

Newly Defined Continuous Functions in University Mathematics

Definition

Let’s say a set that is not an empty set is called ERE \subset \mathbb{R}, and f:ERf : E \to \mathbb{R}. If there exists δ>0\delta>0 for every ε>0\varepsilon > 0 such that

xa<δ    f(x)f(a)<ε | x - a | < \delta \implies | f(x) - f(a) | < \varepsilon

is satisfied, ff is said to be continuous at aEa \in E, and if it is continuous at every point of EE, ff is called a continuous function.

Explanation

When defining continuity in high school,

  • The function value f(a)f(a) exists.
  • The limit limxa\lim \limits_{x \to a} exists.
  • f(a)=limxaf(a) = \lim \limits_{x \to a} is true.

When these three conditions are met, ff is said to be continuous at x=ax = a. If you’ve accepted the epsilon-delta argument, you’ll realize that this definition isn’t really different from what is taught in high school.

The fact that whenever xa<δ| x - a | < \delta, f(x)f(a)<ε| f(x) - f(a) | < \varepsilon, means if xx moves very slightly around aa, then f(x)f(x) will also move very slightly from f(a)f(a). In other words, if you change xx and put it into ff, the function value does not change ‘drastically’, i.e., discontinuously. In other words, continutity, if imagined as a graph, means ’not breaking’.

Among high school students, there are quite a few who intuitively accept ‘unbroken’ functions as continuous functions. As a counterexample, f(x):=1xf(x) := {{ 1 } \over { x }} is broken at x=0x=0 but is continuous at every point in the domain R=R{0}\mathbb{R}^{ \ast } = \mathbb{R} \setminus \left\{ 0 \right\}, therefore, it is indeed a continuous function. Usually, not knowing wouldn’t affect life, but if you didn’t know, take this chance to clearly understand the concept.

Theorem

That ff is continuous at aEa \in E is equivalent to the following.

limnxn=a    limnf(xn)=f(a) \lim \limits_{n \to \infty} x_{n} = a \implies \lim \limits_{n \to \infty} f( x_{n} ) = f(a)


The theorem indicates that due to the continuity of the function, limn\lim \limits_{n \to \infty} can move in and out of ff. In many fields outside of mathematics, continuity is often taken for granted without proper verification, which, from a mathematician’s standpoint, should be rigorously scrutinized.