The power of Nets! Tychonoff Theorem Product spaces When - - PowerPoint PPT Presentation

the power of nets
SMART_READER_LITE
LIVE PREVIEW

The power of Nets! Tychonoff Theorem Product spaces When - - PowerPoint PPT Presentation

The power of Nets! Jaspreet Kaur Nets and Ultranets Nets Ultranets The power of Nets! Tychonoff Theorem Product spaces When sequences are not enough The Theorem Summary Jaspreet Kaur Directed Reading Program, 2015 The power of


slide-1
SLIDE 1

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

The power of Nets!

When sequences are not enough Jaspreet Kaur Directed Reading Program, 2015

slide-2
SLIDE 2

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Outline

1 Nets and Ultranets

Nets Ultranets

2 Tychonoff Theorem

Product spaces The Theorem

slide-3
SLIDE 3

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Nets

Definition

A net is a function P : Λ → X, where Λ is a directed set and X is an arbitrary set. We denote P(λ) by xλ, and the net by (xλ)λ∈Λ.

slide-4
SLIDE 4

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Directed sets

Definition

A set Λ is said to be a direcrted set if there is a relation ≤ on Λ such that the following hold

slide-5
SLIDE 5

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Directed sets

Definition

A set Λ is said to be a direcrted set if there is a relation ≤ on Λ such that the following hold

1 The relation is transitive, i.e. if λ1 ≤ λ2 and λ2 ≤ λ3,

then λ1 ≤ λ3; and

slide-6
SLIDE 6

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Directed sets

Definition

A set Λ is said to be a direcrted set if there is a relation ≤ on Λ such that the following hold

1 The relation is transitive, i.e. if λ1 ≤ λ2 and λ2 ≤ λ3,

then λ1 ≤ λ3; and

2 If λ1 and λ2 are in Λ, then there is a λ3 so that λ1 ≤ λ3

and λ2 ≤ λ3

slide-7
SLIDE 7

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Directed sets

Definition

A set Λ is said to be a direcrted set if there is a relation ≤ on Λ such that the following hold

1 The relation is transitive, i.e. if λ1 ≤ λ2 and λ2 ≤ λ3,

then λ1 ≤ λ3; and

2 If λ1 and λ2 are in Λ, then there is a λ3 so that λ1 ≤ λ3

and λ2 ≤ λ3

Example

The natural numbers with their usual order operation.

slide-8
SLIDE 8

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Ultranets

Definition

A net is said to be an ultranet if for every subset A of X, (xλ)λ∈Λ is eventually in A or eventually in X \ A.

slide-9
SLIDE 9

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Ultranets

Definition

A net is said to be an ultranet if for every subset A of X, (xλ)λ∈Λ is eventually in A or eventually in X \ A.

Definition

A net (xλ)λ∈Λ in X is said to be eventually in A ⊂ X if there is a λ0 ∈ Λ so that for every λ ≥ λ0 , xλ ∈ A.

slide-10
SLIDE 10

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Ultranets

Definition

A net is said to be an ultranet if for every subset A of X, (xλ)λ∈Λ is eventually in A or eventually in X \ A.

Definition

A net (xλ)λ∈Λ in X is said to be eventually in A ⊂ X if there is a λ0 ∈ Λ so that for every λ ≥ λ0 , xλ ∈ A.

Definition

A net (xλ) in X converges to x ∈ X if for each neighborhood U

  • f x, there is a λ0 ∈ Λ so that λ ≥ λ0 implies xλ is in U.

Equivalently, the net is enventually in every neighborhood of x.

slide-11
SLIDE 11

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Product spaces

Theorem

A net (xλ) in a product

α∈Γ Xα converges to x ∈ X if and

  • nly if for each α ∈ Γ, Jα(xλ) → Jα(x) in Xα.
slide-12
SLIDE 12

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Product spaces

Theorem

A net (xλ) in a product

α∈Γ Xα converges to x ∈ X if and

  • nly if for each α ∈ Γ, Jα(xλ) → Jα(x) in Xα.
slide-13
SLIDE 13

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Compact spaces

For many spaces sequences are enough to characterize compactness; this is usually presented as sequential compactness is equivalent to compactness in most ”nice”

  • spaces. There are counterexamples to that statement,

however,in more general settings. All is not lost, as can be seen from the next theorem.

slide-14
SLIDE 14

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Compact spaces

For many spaces sequences are enough to characterize compactness; this is usually presented as sequential compactness is equivalent to compactness in most ”nice”

  • spaces. There are counterexamples to that statement,

however,in more general settings. All is not lost, as can be seen from the next theorem.

Theorem

A space X is compact if and only if every ultranet converges in X.

slide-15
SLIDE 15

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Continuous maps

To prove the result of the Tychonoff Theorem we need two more lemmas in addition to the above Theorems.

slide-16
SLIDE 16

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Continuous maps

To prove the result of the Tychonoff Theorem we need two more lemmas in addition to the above Theorems.

Lemma

The projection maps Jα :

α∈Γ Xα → Xα, are continuous for

each α.

slide-17
SLIDE 17

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Continuous maps

To prove the result of the Tychonoff Theorem we need two more lemmas in addition to the above Theorems.

Lemma

The projection maps Jα :

α∈Γ Xα → Xα, are continuous for

each α.

Lemma

The continuous image of a compact space is compact.

slide-18
SLIDE 18

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Continuous maps

To prove the result of the Tychonoff Theorem we need two more lemmas in addition to the above Theorems.

Lemma

The projection maps Jα :

α∈Γ Xα → Xα, are continuous for

each α.

Lemma

The continuous image of a compact space is compact. Each of the above hold in general, and do not require the use

  • f nets.
slide-19
SLIDE 19

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Tychonoff

Theorem (Tychonoff)

The non-empty product X =

α∈Γ Xα is compact if and only if

each factor is compact. The original proof of this theorem did not use nets and is much harder to prove. The proof we give below hides this difficulty in the notion of ultranets, and is only four lines.

slide-20
SLIDE 20

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Proof of Tychonoff

Proof.

The forward direction is a consequence of two previous lemmas and the assumption that the product is compact.

slide-21
SLIDE 21

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Proof of Tychonoff

Proof.

The forward direction is a consequence of two previous lemmas and the assumption that the product is compact. Now assume that each factor, Xα, is compact and let (xλ)λ∈Λ be an ultranet in X =

α∈Γ Xα. Then for each α, (Jα(xλ)) is

an ultranet in Xα and hence converges, as each factor is

  • compact. This says that (xλ) converges in X by the previous
  • theorem. Finally, X is compact since every ultranet in X

converges.

slide-22
SLIDE 22

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Summary

  • Nets take on the role of sequences when the spaces

become more complicated, e.q. spaces without a metric.

slide-23
SLIDE 23

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Summary

  • Nets take on the role of sequences when the spaces

become more complicated, e.q. spaces without a metric.

  • The notion of an ultra-net characterizes compactness in a

more general setting that sequential compactness can account for.

slide-24
SLIDE 24

The power of Nets! Jaspreet Kaur Nets and Ultranets

Nets Ultranets

Tychonoff Theorem

Product spaces The Theorem

Summary

Summary

  • Nets take on the role of sequences when the spaces

become more complicated, e.q. spaces without a metric.

  • The notion of an ultra-net characterizes compactness in a

more general setting that sequential compactness can account for.

  • The Tychonoff Theorem states that an arbitrary product
  • f compact spaces is again compact.
slide-25
SLIDE 25

The power of Nets! Jaspreet Kaur Appendix

For Further Reading

For Further Reading I

  • S. Willard.

General Topology. Dover Books, 1970.