M4800 Examination 1a

1. (20points)

Consider the function MATH $\QTR{Large}{]}$ where MATHand

  1. MATH MATH are given the subspace topology. Show that $\QTR{Large}{f}$ is continuous.

Solution:

From the definition of continuity, we need to show that for every MATH and MATH we can find a MATH so that if MATH and MATH

then MATH

But, MATH

( one continuation)

MATHSince MATH

(a second continuation)

MATHSince MATH

So MATH. Choose MATH .

(a third continuation)

MATHSince MATH

now you have to MATH based on $\QTR{Large}{x}$. Assume MATH, then MATH

so MATH . So choose MATH .

Notes

____________________________________________________________________________

2.

a. (10 points)

Let MATHand MATH be two Metric Spaces with the same underlying set $\QTR{Large}{M}$. Suppose that for every MATH there is an MATH such that for all MATH MATH, and that for every MATH there is an MATH such that for all MATH MATH Show that MATHand MATH generate the same topology.

b .(20 points)

In the setting of a. , suppose that there is some fixed real number $\ \QTR{Large}{c>0}$ such that for all MATH. Show that MATH and MATH generate the same topology by giving formulae for MATH given MATH , and MATH given MATH that produce the necessary set inclusions of a.

Hint: Think of $\QTR{Large}{d_{2}}$ as measuring in miles and $\QTR{Large}{d_{1}}$ as measuring in kilometers. If you are within $\QTR{Large}{n}$ miles of

something then you certainly within $\QTR{Large}{n}$ kilometers.

Solution:

a.

By definition, MATH be open with respect to $\QTR{Large}{d_{1}}$ if for any MATH we can find some MATH such that

MATH. But by assumption we can find MATH such that MATH, and hence

MATH so $\QTR{Large}{U}$ is also open with respect to MATH The proof the other way is identical.

b.

First we use MATH to show that MATH

MATH

so

MATH or MATH

Next use MATH to show that MATH

MATH

_______________________________________________________________________________

3.

a. (10 points) State the Least Upper Bound Property for the Real Numbers and use it to prove:

b. (20 points) Let MATH be any continuous function. Show that such that $\QTR{Large}{f}$ has a fixed point. That is there is

at least one MATH with MATH

Hint: What can one say about the continuous function MATH ?

Note: MATH

Solution:

a.

The Least Upper Bound Property states that every set of Real Numbers that has an upper bound has a least upper bound.

b.

We need to find some MATH such that MATHSuppose there was no such MATH.

Let MATHWe know that MATH and MATH. (MATH

Let MATHSince MATH we know $\QTR{Large}{l<1.}$We also know that for MATH for $\QTR{Large}{x>l.}$

Suppose MATH

Since $\QTR{Large}{g}$is continuous there exists a MATHsuch that MATH for all MATH contradiction the

previous statement.

Suppose MATH .

Again, since $\QTR{Large}{g}$ is continuous there exists a MATHsuch that MATH for all MATH

But since MATH for any MATH there exists an MATH such that

MATH. In particular MATH But MATH, again a contradiction.

Hence MATH or equivalently, MATH

_________________________________________________________________

Two Versions

4. (20 points)

Let MATH be any continuous function. Let MATH be the fixed point set $\QTR{Large}{f}$. Prove that MATH is closed.

Hint: One version of the proof shows that MATH contains all its limit points,hence is closed. The informal, freshman

calculus version of this is:

MATH so if MATH for all $\QTR{Large}{i}$ then MATH

Solution:

A proof that MATHcontains all its limit points.

Let MATH be a limit point of MATH , in particular for any MATH MATH

We need to show MATHSuppose MATH and letMATH Since $\QTR{Large}{f}$ is continuous choose MATH such that

MATH MATH MATH. Since MATH is a limit point of MATH we can choose that MATH MATH such that MATH but then by the triangle inequality MATH MATH MATH MATH MATH

A contradiction!

A proof that shows the complement of MATH is open.

If MATH then MATH. Choose any MATH such that MATH.

To shorten some of the formulae I will use metric space notation ( MATH for MATH )

I claim MATH

If not let MATH then MATH and MATH so MATH

contradicting the definition of MATH

But since MATH this implies that MATH

and

MATHfor MATH

Thus MATH and since $\QTR{Large}{x}$ is arbitrary MATH is open.