Now that we've defined the limit of a function, we're in a position to define what it means for a function to be continuous. The notion of Continuity captures the intuitive picture of a function "having no sudden jumps or oscillations". Yet, in this page, we will move away from this elementary definition into something with checklists; something with rigor. This will be important not just in Real Analysis, but in other fields of mathematics as well.

Continuity marks a new classification of functions, especially prominent when the theorems explained later on in this page will be put to use. However, if one is reading this wikibook linearly, then it will be good to note that the wikibook will describe functions with even more properties than continuity. As an example, the functions in elementary mathematics, such as polynomials, trigonometric functions, and the exponential and logarithmic functions, contain many levels more properties than that of a continuous function. We will also see several examples of discontinuous functions as well, to provide some remarks of common functions that do not fit the bill.

and it is notated as limx→cf(x)=f(c){\displaystyle \lim _{x\to c}f(x)=f(c)}

Readers may note the similarity between this definition to the definition of a limit in that unlike the limit, where the function f{\displaystyle f} can converge to any value, continuity restricts the returning value to be only the expected value when the function f{\displaystyle f} is evaluated. This added restriction provides many new theorems, as some of the more important ones will be shown in the following headings.

Note that of course, for any division, g(c) must be a valid number i.e. not 0.

This is actually a corollary when you look at the proofs for the preservation of algebraic operation for limits. Simply replace the limit values L and M with ƒ(c) and g(c) respectively.

We can use sequential limits to prove that functions are discontinuous as follows:

f(x){\displaystyle f(x)} is discontinuous at c{\displaystyle c} if and only if there are two sequences (xn)→c{\displaystyle (x_{n})\rightarrow c} and (yn)→c{\displaystyle (y_{n})\rightarrow c} such that limn→∞(f(xn))≠limn→∞(f(yn)){\displaystyle \lim _{n\rightarrow \infty }(f(x_{n}))\not =\lim _{n\rightarrow \infty }(f(y_{n}))}.

Composition is a lot trickier though, as always, but it still works as intuition would suggest; composition of two continuous functions is still a continuous function.

Theorem

If f:B→R{\displaystyle f:B\rightarrow \mathbb {R} } is continuous on the range of g(x){\displaystyle g(x)} and g:A→B{\displaystyle g:A\rightarrow B} is continuous on any interval A{\displaystyle A}, then the composition (f∘g)(x)=f(g(x)){\displaystyle (f\circ g)(x)=f(g(x))} is continuous on A.

The proof simply works by fulfilling the definition of continuity for the composition function of f{\displaystyle f} and g{\displaystyle g} using variable substitutions based off fulfilling all requirements for those variables. As such, there is no algebra and no theorems used other than purely definitions.

Proof that Composition works for Continuous Functions at c

We know what is needed for continuity first. As such, we will define epsilon using the most basic definition that will fit the requirement for continuity.

Let ϵ>0{\displaystyle \epsilon >0}

Since f must be continuous, we will also write down what we know is true—its checklist of properties fulfilling continuity. For now, we will make a slight modification to the delta variable for reasons that will be justified later.

However, f{\displaystyle f} has more properties than that. The key ones are what the value of c{\displaystyle c} and x{\displaystyle x} refer to. Since the function f{\displaystyle f} is continuous on the range of g(x){\displaystyle g(x)}, that means that the input value of f{\displaystyle f} is actual the output value of g{\displaystyle g}. Thus, we can validly substitute the value c{\displaystyle c} and x{\displaystyle x} for the function f{\displaystyle f} with g(x){\displaystyle g(x)}'s output value.

The expression |g(x)−g(c)|<ϵ{\displaystyle |g(x)-g(c)|<\epsilon } and |g(x)−g(c)|<δ1{\displaystyle |g(x)-g(c)|<\delta _{1}} is awfully similar. We can use this to our advantage by seeing if we can abuse any properties we know of. Given that the only requirement for ϵ{\displaystyle \epsilon } is that it must be positive and its inequality relationship is valid for any number, and that δ1{\displaystyle \delta _{1}} is positive and a number, then we can put two and two together and define ϵ{\displaystyle \epsilon } as δ1{\displaystyle \delta _{1}}.

Let ϵ=δ1{\displaystyle \epsilon =\delta _{1}}

Thus, we abstractly strung together a definition of continuity built off what we know is true; the continuity of f{\displaystyle f} and g{\displaystyle g}. Reading the valid results of what this new implication statement suggests; that continuity for the composition of f{\displaystyle f} and g{\displaystyle g}, we are assured in our claim that the composition of f{\displaystyle f} and g{\displaystyle g} is also continuous. QED.

Think about what an intuitive notion of continuity is. If you can’t the image of a polynomial function always works. The smooth curve as it travels through the domain of the function is a graphical representation of continuity. However, how do we mathematically know that it’s continuous? Well, we’ll start with the Three Continuity Theorems that will verify this notion.

If f(c) < m, then |f(c+δ2)−f(c)|<ϵ{\displaystyle |f(c+{\frac {\delta }{2}})-f(c)|<\epsilon }, so f(c+δ2)<f(c)+ϵ=m{\displaystyle f(c+{\frac {\delta }{2}})<f(c)+\epsilon =m}. But then c+δ2∈S{\displaystyle c+{\frac {\delta }{2}}\in S}, which implies that c is not an upper bound for S, a contradiction.

We will now prove the Minimum-Maximum theorem, which is another significant result that is related to continuity. Essentially, it states that any continuous image of a closed interval is bounded, and also that it attains these bounds.

This is the second part of the theorem. It is the more assertive version of the previous theorem, stating that not only is there a supremum and a infimum, it also is reachable by the function ƒ and will be in between the interval you specified.

Theorem
Given a continuous function ƒ on [a,b] i.e. f:[a,b]→R{\displaystyle f:[a,b]\to \mathbb {R} }, if M,m{\displaystyle M,m} are respectively the upper and lower bounds of f([a,b]){\displaystyle f([a,b])}, then there exist c,d∈[a,b]{\displaystyle c,d\in [a,b]} such that f(c)=M,f(d)=m{\displaystyle f(c)=M,f(d)=m}.

A depiction of the Extreme Value Theorem: Given a continuous function on [a,b], there must exist a maximum c and d such that ƒ(c) is the greatest value in the interval and ƒ(d) is the littlest.

We say that f{\displaystyle f} is Uniformly Continuous on A{\displaystyle A} if and only if for every ε>0{\displaystyle \varepsilon >0} there exists δ>0{\displaystyle \delta >0} such that if x,y∈A{\displaystyle x,y\in A} and |x−y|<δ{\displaystyle |x-y|<\delta } then |f(x)−f(y)|<ε{\displaystyle |f(x)-f(y)|<\varepsilon }

We say that f{\displaystyle f} is Lipschitz continuous on A{\displaystyle A} if and only if there exists a positive real constant K{\displaystyle K} such that, for all x,y∈A{\displaystyle x,y\in A}, |f(x)−f(y)|≤K|x−y|{\displaystyle |f(x)-f(y)|\leq K|x-y|}.

The smallest such K{\displaystyle K} is called the Lipschitz constant of the function f{\displaystyle f}.

f(x){\displaystyle f(x)} is continuous at x=c{\displaystyle x=c} if and only if for every open neighbourhood V{\displaystyle V} of f(x){\displaystyle f(x)}, there exists an open neighbourhood U{\displaystyle U} of x{\displaystyle x} such that U⊆f−1(V){\displaystyle U\subseteq f^{-1}(V)}

It must be mentioned here that the term "Open Set" can be defined in much more general settings than the set of reals or even metric spaces, and hence the utility of this characterization.