09.11.2014 Views

TOPOLOGY PROBLEMS (1) State the Arzela-Ascoli ... - Neil Strickland

TOPOLOGY PROBLEMS (1) State the Arzela-Ascoli ... - Neil Strickland

TOPOLOGY PROBLEMS (1) State the Arzela-Ascoli ... - Neil Strickland

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>TOPOLOGY</strong> <strong>PROBLEMS</strong> 7<br />

(30) Given a complex number c, define q c (z) = z 2 + c and<br />

f n (c) = q c (q c (q c . . . (0) . . .))<br />

where q c is applied n times. In o<strong>the</strong>r words:<br />

f 0 (c) = 0<br />

f n+1 (c) = q c (f n (c)) = f n (c) 2 + c<br />

(a) Give formulae for f 1 (c), f 2 (c) and f 3 (c).<br />

(b) Prove that f n : C −→ C is continuous. A little care is needed here to avoid talking<br />

nonsense.<br />

(c) The Mandelbrot set M is defined as<br />

M = {c ∈ C | |f n (c)| ≤ 2 for all n}<br />

Prove that M is bounded and closed.<br />

Later on, we shall prove some o<strong>the</strong>r topological properties of M, including <strong>the</strong> fact that<br />

it has no holes. It is also known that M is connected, but this is a deep result, relying<br />

on some substantial work in complex analysis. It is also known that M is <strong>the</strong> closure<br />

of its interior. One of <strong>the</strong> most important questions about M, which I believe is still<br />

unanswered, is whe<strong>the</strong>r it locally connected. It is known that many interesting things<br />

would follow from this.<br />

(31) Let X be a compact Hausdorff space, and C(X) <strong>the</strong> set of continuous functions u: X −→ R.<br />

Define two maps b and t (“bottom” and “top”) from C(X) to R by<br />

b(u) = min{u(x) | x ∈ X}<br />

t(u) = max{u(x) | x ∈ X}<br />

(why are <strong>the</strong>se finite ?). Prove that t and b are continuous.<br />

A measure on X is defined to be a map µ: C(X) −→ R such that<br />

(a) (linearity) µ(au + bv) = aµ(u) + bµ(v) ( where a, b ∈ R and u, v ∈ C(X)).<br />

(b) (positivity) if u ≥ 0 (i.e. u(x) ≥ 0 for all x) <strong>the</strong>n µ(u) ≥ 0.<br />

(c) (normalisation) µ(1) = 1 (where <strong>the</strong> first 1 is <strong>the</strong> constant function).<br />

Here are some examples with X = [0, 1]:<br />

(a) δ(u) = u(0) (<strong>the</strong> Dirac measure).<br />

(b) λ(u) = ∫ 1<br />

u(x)dx (Lebesgue measure).<br />

0<br />

(c) ρ n (u) = 1 ∑ n<br />

n+1 k=0 u(k/n)<br />

We shall consider <strong>the</strong> following infinite product space:<br />

Z =<br />

∏<br />

[b(u), t(u)] ⊂<br />

∏<br />

R<br />

u∈C(X)<br />

u∈C(X)<br />

(a) Describe <strong>the</strong> elements of Z. This is not supposed to be a deep question; just transcribe<br />

<strong>the</strong> general definition of an infinite product and perhaps tidy up <strong>the</strong> result a bit.<br />

(b) Give two examples of elements of Z.<br />

(c) Show that if µ is a measure <strong>the</strong>n b(u) ≤ µ(u) ≤ t(u).<br />

(d) Show that every measure µ is a continuous map C(X) −→ R. (This is not actually<br />

relevant to what follows).<br />

(e) Define an injective function j : M(X) −→ Z (<strong>the</strong>re is only one reasonable one).<br />

(f) Given u, v ∈ C(X) consider <strong>the</strong> set<br />

A u,v = {α ∈ Z | π u (α) + π v (α) = π u+v (α)}<br />

Show that A u,v is closed in Z and contains j(M(X)). By elaborating on this idea,<br />

show that j(M(X)) is closed in Z and thus compact. We identify M(X) with<br />

j(M(X)) and give it <strong>the</strong> subspace topology.<br />

(g) Show that µ n −→ µ in M(X) iff µ n (u) −→ µ(u) for every u ∈ C(X). In particular, you<br />

can show that ρ n −→ λ in M([0, 1]).<br />

(0) Which of <strong>the</strong> following pairs (X, d) is a metric space ?<br />

(a) X = R n , d(x, y) = ∑ n<br />

k=1 k|x k − y k |

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!