# 2.5: Adjectives for Functions

- Page ID
- 459

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\id}{\mathrm{id}}\)

\( \newcommand{\Span}{\mathrm{span}}\)

\( \newcommand{\kernel}{\mathrm{null}\,}\)

\( \newcommand{\range}{\mathrm{range}\,}\)

\( \newcommand{\RealPart}{\mathrm{Re}}\)

\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

\( \newcommand{\Argument}{\mathrm{Arg}}\)

\( \newcommand{\norm}[1]{\| #1 \|}\)

\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)

\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)

\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vectorC}[1]{\textbf{#1}} \)

\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)As we have defined it in Section __1.3__, a function is a very general object. At this point, it is useful to introduce a collection of adjectives to describe certain kinds of functions; these adjectives name useful properties that functions may have. Consider the graphs of the functions in Figure __2.5.1__. It would clearly be useful to have words to help us describe the distinct features of each of them. We will point out and define a few adjectives (there are many more) for the functions pictured here. For the sake of the discussion, we will assume that the graphs do not exhibit any unusual behavior off-stage (i.e., outside the view of the graphs).

**Functions.** Each graph in Figure __2.5.1__ certainly represents a function---since each passes the *vertical line test*. In other words, as you sweep a vertical line across the graph of each function, the line never intersects the graph more than once. If it did, then the graph would not represent a function.

**Bounded.** The graph in (c) appears to approach zero as \(x\) goes to both positive and negative infinity. It also never exceeds the value \(1\) or drops below the value \(0\). Because the graph never increases or decreases without bound, we say that the function represented by the graph in (c) is a **bounded** function.

Definition 2.5.1: Bounded Functions

A function \(f\) is bounded if there is a number \(M\) such that \(|f(x)| < M\) for every \(x\) in the domain of \(f\).

For the function in (c), one such choice for \(M\) would be \(10\). However, the smallest (optimal) choice would be \(M=1\). In either case, simply finding an \(M\) is enough to establish boundedness. No such \(M\) exists for the hyperbola in (d) and hence we can say that it is **unbounded**.

**Continuity.** The graphs shown in (b) and (c) both represent** continuous** functions. Geometrically, this is because there are no jumps in the graphs. That is, if you pick a point on the graph and approach it from the left and right, the values of the function approach the value of the function at that point. For example, we can see that this is not true for function values near \(x=-1\) on the graph in (a) which is not continuous at that location.

Definition 2.5.2: Continuous at a Point

A function \(f\) is continuous at a point \(a\) if \( \lim_{x\to a} f(x) = f(a)\).

Definition 2.5.3: Continuous

A function \(f\) is continuous if it is continuous at every point in its domain.

Strangely, we can also say that (d) is continuous even though there is a vertical asymptote. A careful reading of the definition of continuous reveals the phrase "*at every point in its domain.*'' Because the location of the asymptote, \(x=0\), is not in the domain of the function, and because the rest of the function is *well-behaved*, we can say that (d) is continuous.

**Differentiability.** Now that we have introduced the derivative of a function at a point, we can begin to use the adjective **differentiable**. We can see that the tangent line is well-defined at every point on the graph in (c). Therefore, we can say that (c) is a differentiable function.

Definition 2.5.4: Differentiable at a Point

A function \(f\) is differentiable at point \(a\) if \(f'(a)\) exists.

Definition 2.5.5: Differentiable Function

A function \(f\) is differentiable if is differentiable at every point (excluding endpoints and isolated points in the domain of \(f\)) in the domain of \(f\).

Take note that, for technical reasons not discussed here, both of these definitions exclude endpoints and isolated points in the domain from consideration. We now have a collection of adjectives to describe the very rich and complex set of objects known as functions. We close with a useful theorem about continuous functions:

Theorem 2.5.6: Intermediate Value Theorem

If \(f\) is continuous on the interval \([a,b]\) and \(d\) is between \(f(a)\) and \(f(b)\), then there is a number \(c\) in \([a,b]\) such that \(f(c)=d\).

This is most frequently used when \(d=0\).

, \(f\) is continuous. Since \(f(0)=-2\) and \(f(1)=3\), and \(0\) is between \(-2\) and \(3\), there is a \(c\in[0,1]\) such that \(f(c)=0\).

This example also points the way to a simple method for approximating roots.

If we compute \(f(0.1)\), \(f(0.2)\), and so on, we find that \(f(0.6) < 0\) and \(f(0.7)>0\), so by the Intermediate Value Theorem, \(f\) has a root between \(0.6\) and \(0.7\). Repeating the process with \(f(0.61)\), \(f(0.62)\), and so on, we find that \(f(0.61) < 0\) and \(f(0.62)>0\), so \(f\) has a root between \(0.61\) and \(0.62\), and the root is \(0.6\) rounded to one decimal place.