Prove That Y x4 is Continuous at Every Positive Real Number

Chapter 4: Continuity and the Fundamental Theorem of Algebra

4.1 The Overall Strategy for Proving the Fundamental Theorem

The difference between real numbers and arbitrary ordered fields is that the field of real numbers was required to contain all the infinite decimals. What this meant was that, for every infinite decimal images/fta1.png there had to be a real number a such that the all the numbers of the sequence images/fta2.png where images/fta3.png are as close to the number a as we like provided that j is chosen sufficiently large. The mathematical parlance describes this by saying that the series images/fta4.png converges to a or that the sequence images/fta5.png has limit a. Since this limit requirement was the only additional assumption we added to distinguish the field of real numbers from other ordered fields like the rational numbers, it makes sense to study this idea if we are to understand the deeper properties of the real numbers like the fundamental theorem of algebra.

We will also need to understand polynomials better. Recall that a polynomial with coefficients in a field was defined to be a formal expression of the form images/fta6.png where the images/fta7.png are in F. We usually wrote a polynomial in the form p(x) and substituted values b in F in for the variable to get elements images/fta8.png . So, the polynomial corresponds to a set of pairs (b, p(b)) for all b in F. When we do this, we are thinking of the polynomial as a function from the domain F to the range space F. For example, the polynomial images/fta9.png is a function which from the real numbers to the real numbers which associates with each real number b its square images/fta10.png .

We will be dealing with polynomials with complex coefficients. As we have just seen, such polynomials can be thought of as defining a function from the complex numbers to the complex numbers. But every complex number is of the form images/fta11.png where a and b are real numbers. So we have another function consisting of all pairs ((a, b), p(a + bi)) for all real numbers pairs (a, b). Thus, the polynomial can be thought to define a function from the set of pairs of real numbers (the cartesian product images/fta12.png of the real numbers with themselves) to the complex numbers images/fta13.png . Because we are taking values of the function at pairs of numbers, one usually describes this by saying that the polynomial p with complex coefficients can be thought of a function of two variables and write p(x, y) for p(x + iy).

In the case of a function f(x) from the real numbers to the real numbers, we can represent the function by its graph, (i.e. the set of all pairs (x, f(x)) for x real). For example, images/fta14.png has as its graph a parabola. This is useful because it allows one to picture a function as a curve in the plane. In the case of a function f(x, y) of two real variables with values in the real numbers, one can think of the set of all ((x, y), f(x,y)) for all real pairs (x,y) as being a surface in 3-dimensional space. Above each point (x,y) in the plane, lies exactly one point of the graph. For example, images/fta15.png gives a surface called a parabaloid, its shape is what one gets by rotating the parabola images/fta16.png around the z-axis.

In the case of a polynomial with complex coefficients, we have seen that it defines a function of two real variables with complex values. So, to each pair of real numbers (a, b), we have a complex number p(a + bi). Complex numbers are represented as pairs of reals and so we see that our complex polynomial corresponds to a four dimensional picture -- for each pair of reals, we have a pair of real numbers. Because of the difficulty of visualizing four dimensional objects, this is much less useful. Since the complex number is really a pair of numbers, we can consider the polynomial to represent a pair of functions. If p(x, y) = p(x + iy) = r + is, then we have the function consisting of the pairs ((x, y), r) and another function consisting of the pairs ((x, y), s). So geometrically, the polynomial corresponds to two surfaces. For example, if the polynomial were images/fta17.png , then the complex function would consist of the pairs images/fta18.png and since images/fta19.png and images/fta20.png , we see that the polynomial corresponds to the two functions with pairs ((x,y), x^2 + y^2) and with ((x, y), 2xy).

Complex numbers z are also represented as the pair consisting of their length |z| and their argument images/fta21.png . So, we can also think of the polynomial p with complex coefficients as two surfaces, one recording the lengths: images/fta22.png and the other recording the argument of the functional value: images/fta23.png . This is the approach we will take in proving the fundamental theorem of algebra. That result simply says that the length surface of a non-zero polynomial has to touch the xy-plane in at least one point. Now, the surface has no points which lie below the xy-plane because lengths are never negative. So, if we were to look for points where the surface touched the xy-plane, we should look for lowest points on the surface. We will show:

  1. There are lowest points on the surface.
  2. If we are at a point P on the surface such that all nearby points are no lower than P, then P actually is on the xy-plane.
These two results will complete the proof of the fundamental theorem of calculus. In order to show the first result, we will need to better understand the length surface. In particular, we will need to know that the function which defines it has a property called continuity, which can be described intuitively as saying that the surface has no shears. So, as preliminaries, we will introduce the notion of continuity and its closely associated notion of limit. Then we will show some fundamental properties of continuous functions. Finally, we will use these properties to complete the proof of the Fundamental Theorem of Algebra.

4.2 Continuity

Intuitively, a function f(x) is said to continuous at b if functional values f(x) are as close as we would like to f(b) as soon as x is sufficiently close to b and at a place where f(x) is defined. For example, the top surface of a table defines a flat surface which is continuous. It is even continuous at the edge of the table because f(x) is not defined for points x beyond the edge of the table. On the other hand, we have a room containing only a table and consider the function consisting of the table top and the part of the floor which is not under the table, then this function is still continuous at all points except at the points corresponding to the edge of the table. Given such a point, there are points arbitrarily close to it where the functional value is defined by the table top and other points arbitrarily close to it where the functional value is defined by the floor level.

Example 1: i. Another example is the function consisting of all the pairs images/fta24.png for non-zero x together with the single point (0, 1). This is usually written as

images/fta25.png

This function is continuous at all x except for x = 0. All the functional values for x near 0 are close to 0 whereas f(0) = 1.

ii. A less extreme case is

images/fta26.png

Again, this function is continuous at all x except x = 0.

iii. This function is not continuous anywhere:

images/fta27.png

iv. This monstrosity is continuous everywhere except at (0, 0):

images/fta28.png

Let's give a more careful definition: Let f(x) be a real valued function defined for certain real values x. If f is defined at b, we want to say that f is continuous at b if f(x) is as close as we wish to f(b) for all x sufficiently close to b where f is defined. The problem is to make sense of expressions such as "as close as we wish". One might wish for different degrees of closeness at various times. To cover the most stringent case, we will interpret this as meaning the distance between the two is less than any specified positive number. So, "f(x) is as close as we wish to f(b)" means that, if you are given a maximal distance images/fta29.png , then one must have images/fta30.png . The expression, "for all x sufficiently close to b" means that there is a positive number images/fta31.png such that the assertion holds for all x satisfying images/fta32.png . So, our careful definition is:

Definition 1: Let f be a function with domain a set of real numbers and with range space the set of all real numbers. We say that f is continuous at b in its domain if for every images/fta33.png there is a images/fta34.png such that images/fta35.png for all x in the domain of f with images/fta36.png .

Showing that a function is continuous can be a lot of work:

Example 2: i. The function images/fta37.png is continuous at x = 0. In fact, if we are given images/fta38.png , then we need to show that there is a images/fta39.png such that images/fta40.png for all x with images/fta41.png . If we choose images/fta42.png to be the smaller of images/fta43.png and 1, then we can see that this images/fta44.png works. In fact, if images/fta45.png , then images/fta46.png because images/fta47.png . So images/fta48.png . Since images/fta49.png , we know that images/fta50.png . So, images/fta51.png as required.

ii. Now let's try and show that the same function is continuous at x = 1. For a given images/fta52.png , we need to have images/fta53.png for all x with images/fta54.png , where images/fta55.png is yet to be chosen. Now, images/fta56.png . So, if we want this to be small by making |x - 1| small, we can do it provided that |x + 1| is not made large in the process. But images/fta57.png if images/fta58.png . So, if images/fta59.png , we would have

images/fta60.png

where the last inequality holds provided we choose images/fta61.png . This is precisely what we want provided that we also have images/fta62.png .

So, given images/fta63.png , let images/fta64.png be any number smaller than both 1 and images/fta65.png . Then, if images/fta66.png , we have images/fta67.png because

images/fta68.png

This proves that images/fta69.png is continuous at x = 1.

iii. Now, let's try to show that images/fta70.png is continuous at all real number b. Repeating the same kind of reasoning, we would want

images/fta71.png

Given an \epsilon > 0, we could choose images/fta72.png so that it is less than 1 and images/fta73.png Then, we would have images/fta74.png for all x with images/fta75.png .

We will need to study the continuity of real valued functions of two variables. The careful definition is almost the same as in the one variable case:

Definition 2: Let f be a function with domain a set of pairs of real numbers and with range space the set of all real numbers. We say that f is continuous at (a,b) in its domain if for every images/fta76.png there is a images/fta77.png such that images/fta78.png for all (x,y) in the domain of f with images/fta79.png .

All we really did was replace the absolute value with the distance function: the condition that images/fta80.png is replaced with the distance from (x,y) to (a,b) be less than images/fta81.png . We could have written Definition 1 in the same way, since absolute value gives the distance between two real numbers.

Example 3: i. Any constant function is continuous at every point in its domain. Suppose f(x) = c where c is real number for all x in the domain of f. Let b be in the domain of f. If images/fta82.png , then we need

images/fta83.png

for all x in the domain of f with images/fta84.png . But this holds for any choice of images/fta85.png as long as it is a positive number.

ii. Any linear function f(x,y) = ax + by + c is continuous at all points (x, y) in its domain. In fact, let images/fta86.png and (r, s) be in the domain of r. We need

images/fta87.png

for all (x, y) in the domain with images/fta88.png .

For (x, y) with images/fta89.png , one has:

images/fta90.png

because the square root function is increasing. Similarly images/fta91.png . But then, we have:

images/fta92.png

If we choose our images/fta93.png so that images/fta94.png , then the right hand side will be smaller than images/fta95.png as desired.

4.3 More Continuous Functions

Proving that a function is continuous using only the definition can be quite tedious. So, we will need to develop some results which make it easy to check that certain functions are continuous. Throughout this section we will be dealing with real valued functions of one or two variables. We will take their values at points z where, by point, we mean either a real number or a pair of real numbers depending on whether the function is of one or two variables. We will also use absolute value signs to indicate the distance to the origin, either 0 or (0, 0), depending on whether the function is of one or two variables.

Given two functions f and g, we can define sums, differences, products, and quotient functions by:

  1. (f + g)(z) = f(z) + g(z)
  2. (f - g)(z) = f(z) - g(z)
  3. (fg)(z) = f(z)g(z)
  4. (f/g)(z) = f(z)/g(z)
The domain of f + g, f - g, and fg is simply the intersection of the domain of f and the domain of g. The domain of f/g is the set of z in the intersection of the domain of and the domain of g such that images/fta96.png .

Proposition 1: Let f and g be real valued function of one or two variables. Let z be a point in the domain of f and the domain of g where both f and g are continuous.

  1. f + g and f - g are continuous at z.
  2. fg is continuous at z.
  3. If images/fta97.png , then f/g is continuous at z.

Proof: Let w be a point in the intersection of the domains of f and of g. Then

images/fta98.png

If images/fta99.png is any positive number, then we can use the continuity of f and g at z to know that there is a images/fta100.png and images/fta101.png such that images/fta102.png and images/fta103.png for all points w in the domains of f and g such that images/fta104.png (for f) and images/fta105.png (for g). Choosing images/fta106.png to be any number smaller than both images/fta107.png and images/fta108.png gives

images/fta109.png

as needed. You should check through the same proof using subtraction instead of addition of functions.

For products, one has

images/fta110.png

Let images/fta111.png . Choose images/fta112.png smaller than 1 and subject to another condition which we will specify below. By the continuity of f at z, we know that there is a images/fta113.png such that images/fta114.png for all w in the domain of f with images/fta115.png . Similarly, by the continuity of g at z, we know that there is a images/fta116.png such that images/fta117.png for all w in the domain of g with images/fta118.png . Choose any images/fta119.png smaller than both images/fta120.png and images/fta121.png . Continuing our series of inequalities, we get for all w in the domains of both f and of g with images/fta122.png that

images/fta123.png

where the last inequality follows because we add the condition images/fta124.png to the list of conditions which images/fta125.png is required to satisfy.

Finally, let's consider the case of quotients. We need to assume that z is in the domains of f and of g as well as images/fta126.png . The inequality looks like

images/fta127.png

Now the numerator is like the one for products and the same sort of argument will be able to handle it. The new ingredient is the denominator. In order to get an upper bound on a quotient |a|/|b|, you need to either make the numerator larger or the denominator smaller. So, we need a lower bound on |g(w)|. But images/fta128.png and so we can choose a images/fta129.png such that for all w in the domain of g with images/fta130.png , one has images/fta131.png . Since g(w) is close to g(z), it cannot be too close to zero; more specifically,

images/fta132.png

where we have used:

Lemma 1: If a and b are real numbers, then images/fta133.png .

Proof: This is an exercise. Let images/fta134.png be chosen according to criteria which we will figure out below. Now, choose images/fta135.png so images/fta136.png and images/fta137.png for all w in the domains of f and g such that images/fta138.png . Then we can continue our inequalities:

images/fta139.png

where the last inequality would be true if we chose images/fta140.png so that images/fta141.png .

Corollary 1: i. Every polynomial with real coefficients is continuous at all real numbers. ii. If p(z) is a polynomial with complex coefficients and p(x, y) = r(x,y) + i s(x,y), then r(x,y) and s(x,y) are continuous at all pairs (x, y). iii. If p(z) is a polynomial with complex coefficients, then |p(x,y)| is continuous at all (x, y).

Proof: i. and ii. All of these are functions made up of a finite number of additions and multiplications of continuous functions. So the result follows by applying the Proposition a certain number of times. (More correctly, one can proceed by descent assuming that one has the function made up with the least number of multiplications and additions.)

For assertion iii, one needs

Lemma 2: i. If f(x, y) is a real valued function continuous at (a, b) and g(x) is a real valued function continuous at f(a, b), then g(f(x,y)) is continuous at (a, b)

ii. The square root function is continuous at all non-negative reals.

Proof: i. Let images/fta142.png . Since g is continuous at f(a, b), there is a images/fta143.png so that images/fta144.png for all w in the domain of g such that images/fta145.png . Further, since f is continuous at (a, b), one knows that there is a images/fta146.png such that images/fta147.png for all (x, y) in the domain of f where images/fta148.png . But then, letting w = f(x,y), we have

images/fta149.png

ii. Let a > 0 and images/fta150.png . One has for images/fta151.png with images/fta152.png where images/fta153.png is a quantity to be determined:

images/fta154.png

So, if we choose images/fta155.png so that images/fta156.png , then one has images/fta157.png .

Now consider the case where a = 0. If images/fta158.png , choose images/fta159.png smaller than 1 and images/fta160.png . If x is non-negative and images/fta161.png , then since the square root function is increasing, images/fta162.png and so, the square root function is even continuous at zero.

4.4 Theorems of Bolzano and Weierstrass

The typical discontinuity is a point where the function makes a jump. Continuous functions cannot do this:

Proposition 2: ( Bolzano's Theorem) Let f(x) be a continuous function defined on a closed interval [a,b]. If f(a) and f(b) have different signs (i.e. one is positive and the other is negative), then there is a number c in (a, b) such that f(c) = 0.

Proof: This is an example of a binary search approach. The idea is that at each step we know that the desired element is in a certain interval and we can discard half that interval. So, essentially we are developing the solution essentially by finding a base 2 decimal expansion.

Start with images/fta163.png . We know that f(a) and f(b) have different signs and we are looking for an root of f. Consider images/fta164.png . If f(d) = 0, then we have found a root. Otherwise, f(d) is non-zero and so its sign is different from either that of f(a) or that of f(b). Now replace the interval [a, b] with the interval with endpoints d and the one of a or b such that the sign of f(a) or f(b) is different from that of f(d). The new interval is called images/fta165.png and its length is half that of its predecessor images/fta166.png .

Repeating the same process, we obtain either a root of f or an inductive definition of intervals images/fta167.png where images/fta168.png with images/fta169.png and such that images/fta170.png and images/fta171.png are both non-zero with different signs. If we found a root, we are done; so assume that we have the sequence of intervals.

According to Corollary 8 of Section 2.7.3, there is a unique real number c contained in all the intervals images/fta172.png . It must be the case that f(c) = 0. Otherwise, the continuity of f implies that there is a images/fta173.png such that images/fta174.png . But, if we choose k so large that images/fta175.png , then the every element x in images/fta176.png satisfies images/fta177.png . This contradicts the fact that there are x in the interval images/fta178.png such that f(x) has a sign different from that of f(c). This completes the proof.

Corollary 2: (Intermediate Value Theorem) If f(x) is continuous on the closed interval [a, b], then for every real number d between f(a) and f(b), there is a c in (a, b) with f(c) = d.

Proof: Apply Bolzano's Theorem to the function f(x) - d.

Definition 3: A point z is an absolute minimum of a function f defined on a set S if z is in the domain of f and images/fta179.png for all w in the set S. A point z is an absolute maximum of a function f defined on a set S if z is in the domain of f and images/fta180.png for all w in S.

Proposition 3: ( Weierstrass's Extreme Value Theorem) If f is a real valued function defined and continuous on a closed interval [a, b] (or a closed rectangle in the case of a function of 2 variables), then f has at least one absolute maximum and at least one absolute minimum on this interval (or rectangle).

Proof: We can use binary search here as well. Let's discuss the one variable case first, and then indicate what changes need to be made to handle the two variable one. Start with the interval images/fta181.png and search for an absolute maximum. Let images/fta182.png . If there is a point e in [a, d] with images/fta183.png for all x in [d, b], then let images/fta184.png ; otherwise, let images/fta185.png . We have halved the length of the interval. The half that was discarded does not contain an e with f(e) larger than every f(x) in the half that was kept.

By induction, assume that we have defined images/fta186.png of length images/fta187.png . Let images/fta188.png . If images/fta189.png contains an e with images/fta190.png for all x in images/fta191.png , then set images/fta192.png ; otherwise, let images/fta193.png . Clearly, images/fta194.png has length images/fta195.png . The half that was discarded does not contain an e with f(e) larger than every f(x) in the half that was kept.

By Corollary 8 of section 2.7.3, we know that there is a unique real number c contained in all the intervals images/fta196.png . This c must be the absolute maximum. If not, there is an e in [a, b] with f(e) > f(c). Since it is not in the intersection of all the images/fta197.png , there must be a step j in which e was in the half of the interval images/fta198.png which was discarded. But by the choice of the discarded half, there is an images/fta199.png in images/fta200.png with images/fta201.png .

How large can j be? Consider the set S of non-negative integers j for which there is an images/fta202.png in images/fta203.png with images/fta204.png . If j is in S, then images/fta205.png . So, we can argue with as in the last paragraph using images/fta206.png in place of e that there is a larger value of j in the set S. So, we see that S contains arbitrarily large integers.

But, f is continuous. So, there is a images/fta207.png such that images/fta208.png for all x in [a, b] with images/fta209.png . By choosing a J with images/fta210.png , we see that every element x of images/fta211.png with images/fta212.png satisfies images/fta213.png and so there can be no such x with images/fta214.png . This contradicts our assertion that the set S contain arbitrarily large integers j, and so proves the result in the case of a function of a single variable.

The same sort of proof can be used to prove Weierstrass's Theorem in the case of functions of two variables. In this case, we have a rectangle which is just the cartesian product images/fta215.png of two intervals. Instead of dealing with a nested set of intervals, we deal with rectangles. We can let images/fta216.png and images/fta217.png be the two midpoints. The crucial step is:

  1. Divide the rectangle into images/fta218.png and images/fta219.png . Discard a half which does not contain a point p with f(p) > f(z) for all z in the other half. Suppose you keep images/fta220.png .
  2. Divide the new rectangle in half the other way, i.e. the halves are images/fta221.png and images/fta222.png . Discard a half which does not contain a point p with f(p) > f(z) for all z in the other half.
So, after doing this, one has a new rectangle which is a quarter the area of the original. Filling in the rest of the details is straightforward and left as an exercise.

Remark: Although both Bolzano's and Weierstrass's Theorems were proved with binary search, examination shows that the proof of Weierstrass's Theorem really does not give us any effective means for finding the absolute maximum. We know it exists, but can't really find it. On the other hand, the proof of Bolzano's Theorem does allow one to actually approximate the desired root to any desired degree of accuracy. Since the size of the interval shrinks by a factor of 2 at each step, we get another decimal digit of accuracy every three or four steps.

4.5 The Proof of the Fundamental Theorem of Algebra

The Fundamental Theorem of Algebra states:

Theorem 1: ( Gauss) Every non-constant polynomial with complex coefficients has at least one complex root.

Lemma 3: ( D'Alembert's Lemma) Let f(z) be a non-constant polynomial with images/fta223.png . Then there is a non-zero complex number c such that |f(cx)| < |f(0)| for all sufficiently small positive real values x.

Proof: Let images/fta224.png . be a non-zero polynomial with complex coefficients. We assume that images/fta225.png and that images/fta226.png , i.e. the smallest positive degree term of degree k. Then images/fta227.png .

We want to choose c so that images/fta228.png . Since x is a positive, the images/fta229.png factor does not affect the argument. Since arg converts products into sums, we can solve to get

images/fta230.png

One can choose any non-zero c with this argument. Then the last two terms of images/fta231.png can be written in the form images/fta232.png where d is a positive real number. The remaining terms are in absolute value at most images/fta233.png for some positive e. So,

images/fta234.png

for all positive x small enough so that x <|a_n|r/(2e). This completes the proof.

Corollary 3 Let g(z) be any polynomial with complex coefficients and b be any complex number with images/fta235.png . Then there are points c arbitrarily close to b where images/fta236.png . In particular, b is not an absolute minimum of the function |g(z)|.

Proof: Let f(z) = g(b + z). Then images/fta237.png and f is a polynomial with complex coefficients. The result now follows from Lemma 3.

Proof of the Fundamental Theorem of Algebra Suppose f(z) is a non-constant polynomial with complex coefficients and no complex roots. If d is the degree of g(z), then the triangle inequality shows that for z sufficiently large in absolute value, the highest degree term dominates and one has images/fta238.png for some positive c and all z with |z| > M. In particular, one knows that there is a square centered at the origin which is guaranteed to contain in its interior all the absolute minima of the function |g(z)|. By the Weierstrass Extreme Value Theorem applied to a slightly larger square, there is at least one such absolute minimum, say z. By D'Alembert's Lemma, we must have f(z) = 0, which is a contradiction.


Revised: June 21, 2001
All contents © copyright 2001 K. K. Kubota. All rights reserved

mckillopmarming.blogspot.com

Source: http://www.msc.uky.edu/ken/ma109/lectures/fta.htm

0 Response to "Prove That Y x4 is Continuous at Every Positive Real Number"

Post a Comment

Iklan Atas Artikel

Iklan Tengah Artikel 1

Iklan Tengah Artikel 2

Iklan Bawah Artikel