Continuity

A function $f$ is continuous at $a$ when

1. $f(a)$ is defined;
2. $\lim_{x\to a}f(x)$ exists;
3. $\lim_{x\to a}f(x)=f(a)$.

Thus continuity joins two kinds of information: the function's nearby behavior and its assigned value at the point.

One-Sided and Interval Continuity

At an endpoint, only the side contained in the domain is relevant. A function is continuous on $[a,b]$ when it is continuous on $(a,b)$, right-continuous at $a$, and left-continuous at $b$:

$$\lim_{x\to a^+}f(x)=f(a), \qquad \lim_{x\to b^-}f(x)=f(b).$$

Typical discontinuities include a removable hole, a jump between unequal one-sided limits, and unbounded behavior near a vertical asymptote.

Functions Built from Continuous Functions

Polynomials are continuous on $\mathbb{R}$. Rational functions are continuous where their denominators are nonzero. Exponential, logarithmic, trigonometric, and root functions are continuous on their respective domains.

Sums, products, and valid quotients of continuous functions remain continuous. If $g$ is continuous at $a$ and $f$ is continuous at $g(a)$, then

$$(f\circ g)(x)=f(g(x))$$

is continuous at $a$. This justifies moving the limit through $f$ under those continuity hypotheses:

$$\lim_{x\to a}f(g(x)) =f\left(\lim_{x\to a}g(x)\right).$$

Intermediate Value Theorem

If $f$ is continuous on $[a,b]$ and $N$ lies between $f(a)$ and $f(b)$, then there is at least one $c\in[a,b]$ such that $f(c)=N$.

The theorem guarantees existence, not uniqueness or a formula for $c$. In particular, if $f(a)$ and $f(b)$ have opposite signs, at least one root lies in $[a,b]$.