<< Chapter < Page | Chapter >> Page > |
The next theorem shows that continuous, real-valued functions on closed bounded intervals are uniform limits of step functions.Step functions have not been mentioned lately, since they aren't continuous functions, but this next theorem will be crucial for us when we study integration in [link] .
Let $f$ be a continuous real-valued function on the closed and bounded interval $[a,b].$ Then there exists a sequence $\left\{{h}_{n}\right\}$ of step functions on $[a,b]$ that converges uniformly to $f.$
We use the fact that a continuous function on a compact set is uniformly continuous ( [link] ).
For each positive integer $n,$ let ${\delta}_{n}$ be a positive number satisfying $\left|f\right(x)-f(y\left)\right|<1/n$ if $|x-y|<{\delta}_{n}.$ Such a ${\delta}_{n}$ exists by the uniform continuity of $f$ on $[a,b].$ Let ${P}_{n}=\{{x}_{0}<{x}_{1}<...<{x}_{{m}_{n}}\}$ be a partition of $[a,b]$ for which ${x}_{i}-{x}_{i-1}<{\delta}_{n}$ for all $1\le i\le {m}_{n}.$ Define a step function ${h}_{n}$ on $[a,b]$ as follows:
If ${x}_{i-1}\le x<{x}_{i},$ then ${h}_{n}\left(x\right)=f\left({x}_{i-1}\right).$ This defines ${h}_{n}\left(x\right)$ for every $x\in [a,b),$ and we complete the definition of ${h}_{n}$ by setting ${h}_{n}\left(b\right)=f\left(b\right).$ It follows immediately that ${h}_{n}$ is a step function.
Now, we claim that $|f\left(x\right)-{h}_{n}\left(x\right)|<1/n$ for all $x\in [a,b].$ This is clearly the case for $x=b,$ since $f\left(b\right)={h}_{n}\left(b\right)$ for all $n.$ For any other $x,$ let $i$ be the unique index such that ${x}_{i-1}\le x<{x}_{i}.$ Then
because $|x-{x}_{i-1}|<{\delta}_{n}.$
So, we have defined a sequence $\left\{{h}_{n}\right\}$ of step functions, and the sequence $\left\{{h}_{n}\right\}$ converges uniformly to $f$ by [link] .
We close this chapter with a famous theorem of Abel concerning the behavior of a power series function on the boundary of its disk of convergence.See the comments following [link] .
Suppose $f\left(z\right)={\sum}_{n=0}^{\infty}{a}_{n}{z}^{n}$ is a power series function having finite radius of convergence $r>0,$ and suppose there exists a point ${z}_{0}$ on the boundary of ${B}_{r}\left(0\right)$ that is in the domain of $f;$ i.e., $\sum {a}_{n}{z}_{0}^{n}$ converges to $f\left({z}_{0}\right).$ Suppose $g$ is a continuous function whose domain contains the open disk ${B}_{r}\left(0\right)$ as well as the point ${z}_{0},$ and assume that $f\left(z\right)=g\left(z\right)$ for all $z$ in the open disk ${B}_{r}\left(0\right).$ Then $f\left({z}_{0}\right)$ must equal $g\left({z}_{0}\right).$
For simplicity, assume that $r=1$ and that ${z}_{0}=1.$ See the exercise that follows this proof. Write ${S}_{n}$ for the partial sum of the ${a}_{n}$ 's: ${S}_{n}={\sum}_{n=0}^{n}{a}_{n}.$ In the following computation, we will use the Abel Summation Formula in the form
See [link] . Let $\u03f5$ be a positive number. Then, for any $0<t<1$ and any positive integer $N,$ we have
First, choose an integer ${M}_{1}$ so that if $P$ and $N$ are both larger than ${M}_{1},$ then ${t}_{4}<\u03f5.$ (The sequence $\left\{{S}_{k}\right\}$ is a Cauchy sequence, and $\sum ({t}^{k}-{t}^{k+1}$ is telescoping.)
Fix such a $P>{M}_{1}.$ Then choose a $\delta >0$ so that if $1>t>1-\delta ,$ then both ${t}_{1}$ and ${t}_{3}<\u03f5.$ How?
Fix such a $t.$ Finally, choose a $N,$ greater than ${M}_{1},$ and also large enough so that both ${t}_{2}$ and ${t}_{5}$ are less than $\u03f5.$ (How?)
Now, $\left|g\right(1)-f(1\left)\right|<5\u03f5.$ Since this is true for every $\u03f5>0,$ it follows that $f\left(1\right)=g\left(1\right),$ and the theorem is proved.
Let $f,g,r,$ and ${z}_{0}$ be as in the statement of the preceding theorem. Define $\widehat{f}\left(z\right)=f\left({z}_{0}z\right)$ and $\widehat{g}\left(z\right)=g\left({z}_{0}z\right).$
Notification Switch
Would you like to follow the 'Analysis of functions of a single variable' conversation and receive update notifications?