Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7...

53
Introduction to Algebraic and Geometric Topology Weeks 6 and 7 Domingo Toledo University of Utah Fall 2016

Transcript of Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7...

Page 1: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

Introduction to Algebraic andGeometric Topology

Weeks 6 and 7

Domingo Toledo

University of Utah

Fall 2016

Page 2: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

Recall: Infinite Products

IA an index set.

I {X↵}↵2A

a collection of non-empty sets indexed by A.

IS

↵2A

X↵ their union.

I The product of the X↵ is defined asY

↵2A

X↵ = {f : A ![

X↵ | 8↵ 2 A, f (↵) 2 X↵}

Page 3: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

Examples

IA = {1, 2} thenY

↵2{1,2}

X↵ = {f : {1, 2} ! X1

[X2 | f (1) 2 X1, f (2) 2 X2}

Letting x1 = f (1) and x2 = f (2), this is the same as

{(x1, x2) | x1 2 X1, x2 2 X2}

which is the usual definition of X1 ⇥ X2.

Page 4: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

I Similarly, if A = {1, 2, . . . , n}, a finite set, thenQ↵2A

X↵ gives the usual definition

X1 ⇥ X2 ⇥ · · ·⇥ X

n

= {(x1, x2, . . . , xn

) | x

i

2 X

i

}

Page 5: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

I If A is an arbitrary set, need the Axiom of choice.

I One formulation of the axiom:

A 6= ; and 8↵ 2 A,X↵ 6= ;

=)Q

↵2A

X↵ 6= ;.

I (The functions f : A !S

X↵ “choose ” an elementfrom each X↵)

Page 6: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index
Page 7: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

I If A = N, the natural numbers, and X↵ = X for all ↵,Y

i2N

X = X

N = { Sequences {x

i

}i2N}

in other words, the collection of all sequences in X .

Page 8: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index
Page 9: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

Topology in Product Space

I Suppose A arbitrary and each X↵ has a topology T↵.I Let BQ

X↵ be defined as follows:

I For each finite subset F ⇢ A let UF

be a collection

UF

= {U↵}↵2F

where U↵ 2 T↵

I For each UF

let

B(UF

) = {f 2Y

X↵ | f (↵) 2 U↵ for all ↵ 2 F}

I Define BQX↵

to be the collection of all B(F ,UF

).

Page 10: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

ITheorem: BQ

X↵ satisfies the conditions for a basis.

IDefinition: The topology TQ

X↵ generated by the basisBQ

X↵ is called the product topology

I Essence: Each B(UF

) restricts only finitely manycoordinates.

I For A finite get same basis as before.

Page 11: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index
Page 12: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

I For each ↵0 2 A can define projection

p↵0 :Y

↵2A

X↵ ! X↵0

byp↵0(f ) = f (↵0)

I Recall definitionY

↵2A

X↵ = {f : A ![

X↵ | 8↵ 2 A, f (↵) 2 X↵}

so p↵0(f ) is the value of the function f at the element↵0 2 A

Page 13: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

I One reason for definition of product topology:

ITheorem: If Z is any topological space,

a map f : Z !Q

↵ X↵ is continuous

()

all compositions p↵ � f are continuous.

Page 14: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index
Page 15: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index
Page 16: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

I Suppose A = N and all X

i

= X .

Then B(UF

) is the set of all sequences {x

i

} such thatx

i

2 U

i

for all i 2 F .

Page 17: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

The Cantor Set

I Recall the construction of the Cantor Set C ⇢ [0, 1]:

I Start with the unit interval [0, 1], divide it into threeequal intervals, and remove the open middle interval(1

3 ,23).

I The space C1 that remains is the union of two closedintervals;

C1 = [0,13] [ [

23, 1]

I Iterate by applying the same construction to eachsub-interval:

Page 18: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

I Next step:

C2 = [0,19] [ [

29,13] [ [

23,79] [ [

89, 1]

I Continue. At the nth stage we get C

n

a union of 2n

intervals.I Moreover the C

n

are nested: C1 � C2 � . . . .I Consequently

C =1\

n=1

C

n

6= ;

I See Figure.

Page 19: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index
Page 20: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

0.0 0.2 0.4 0.6 0.8 1.0

Figure: Constructing the Cantor Set

Page 21: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

Another Descripton of the Cantor Set

I Observe that, by definition of the ternary expansionof a real number

C = {1X

i=1

a

i

3i

| a

i

= 0 or 2}

I Since a

i

= 1 is not allowed, we get that the map

t : {0, 2}N ! C

defined by

t({a

i

}) =1X

i=1

a

i

3i

is bijective.

Page 22: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

I Give {0, 2}N the product topology.

I Give C the topology as a subspace of [0, 1].

(the metric topology)

ITheorem: t is a homeomorphism.

Page 23: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

I Proof that t is continuous.

I Let a

0 = {a

0i

} 2 {0, 2}N and let ✏ > 0.

I Choose i0 so that 13i0

< ✏

If {a

i

} 2 {0, 2}N and a

i

= a

0i

for i > i0, then

|t({a

i

})� t({a

0i

})| 1X

i0+1

|ai

� a

0i

|3i

1X

i0+1

23i

=13i0

< ✏

I

U = {{a

i

} 2 {0, 2}N | a

i

= a

0i

for i i0}

is an open set with a

0 2 U ⇢ t

�1(B(t(a0), ✏).

I Since a

0 and ✏ are arbitrary, t is continuous.

Page 24: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index
Page 25: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

I Proof of continuity of t

�1: later.

Page 26: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index
Page 27: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

Subspace Topology

I (X , T ) topological space.

IA ⇢ X

ISubspace Topology T

A

:

TA

= {U \ A |U 2 T

X

}

Page 28: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

I TA

is the smallest topology that makes ◆ : A ! X

continuous.

Page 29: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

I General Principle

I Let X and Y be sets and let f : X ! Y .

1. Given a topology TY

on Y there is a smallest topologyT

X

on X that makes f continuous,

namely TX

= {f

�1(U) : U 2 TY

}.

2. Given a topology TX

on X there is a largest topologyT

Y

that makes f continuous.,

namely TY

= {U ⇢ Y : f

�1(U) 2 TX

}.

(Main case: f is surjective.)

Page 30: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index
Page 31: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

Examples

I Metric spaces

I Open subsets

I Closed subsets

Page 32: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index
Page 33: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

Compact Spaces

I (X , T ) called compact () every open cover has afinite subcover.

Page 34: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

I Open cover of X :

Collection {U↵}↵2A

of open sets such that

X =[

U↵

I Finite subcover:

Finite sub-collection {U↵1 , . . . ,U↵n

} of {U↵} such that

X = U↵1 [ · · · [ U↵n

Page 35: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

Examples

Page 36: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

Compact Subsets

Page 37: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index
Page 38: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

If : X ! Y continuous, X compact =) f (Y ) compact.

Page 39: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

I Better:I

f : X ! Y continuous, C ⇢ X compact =) f (C)compact.

Page 40: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

Finite intersection property

IX compact () whenever {F↵}↵2A

is a collection ofclosed sets with the property that all finiteinteresctions

F↵1 \ · · · \ F↵n

are non-empty, then\

↵2A

F↵ 6= ;

Page 41: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index
Page 42: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

IX compact, C ⇢ X closed =) C compact

Page 43: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

IC ⇢ X , C compact, X Hausdorff =) C closed.

Page 44: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index
Page 45: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

I Easier:I

X compact metric space =) X is bounded.

Page 46: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

IX metric space, C ⇢ X compact =) C is closed.

Page 47: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index
Page 48: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

Closed Maps and Homeomorphisms

IX compact space, Y Hausdorff space.

If : X ! Y continuous.

I Then C ⇢ X closed =) f (C) is closed.

Page 49: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index

IX compact space, Y Hausdorff space.

If : X ! Y continuous bijection.

I Then f is a homeomorphism.

Page 50: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index
Page 51: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index
Page 52: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index
Page 53: Introduction to Algebraic and Geometric Topology Weeks 6 ...toledo/5510Weeks67.pdfWeeks 6 and 7 Domingo Toledo University of Utah Fall 2016 Recall: Infinite Products I A an index