Appert Topology

Appert topologyFrom Wikipedia, the free encyclopedia

Contents

1 Adherent point 11.1 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.3 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

2 Alexandro extension 22.1 Example: inverse stereographic projection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22.2 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22.3 The Alexandro extension . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32.4 The one-point compactication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32.5 Further examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32.6 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42.7 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

3 Appert topology 53.1 Construction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53.2 Related topologies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53.3 Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63.4 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63.5 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

4 Axiom of countability 74.1 Important examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74.2 Relationships with each other . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74.3 Related concepts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74.4 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

5 Baire category theorem 95.1 Statement of the theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95.2 Relation to the axiom of choice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95.3 Uses of the theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105.4 Proof . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105.5 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105.6 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

i

ii CONTENTS

5.7 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115.8 External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

6 Baire function 126.1 Classication of Baire functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126.2 Baire class 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126.3 Baire class 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136.4 Baire class 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136.5 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136.6 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 136.7 External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

7 Baire set 147.1 Basic denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

7.1.1 First denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147.1.2 Second denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147.1.3 Third denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

7.2 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157.2.1 The dierent denitions of Baire sets are not equivalent . . . . . . . . . . . . . . . . . . . 157.2.2 A Borel set that is not a Baire set . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

7.3 Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157.4 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157.5 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

8 Baire space 178.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178.2 Denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

8.2.1 Modern denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178.2.2 Historical denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

8.3 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188.4 Baire category theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188.5 Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198.6 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198.7 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198.8 Sources . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198.9 External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

9 BanachMazur game 209.1 Denition and properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209.2 A simple proof: winning strategies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219.3 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

10 Base (topology) 22

CONTENTS iii

10.1 Simple properties of bases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2210.2 Objects dened in terms of bases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2310.3 Theorems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2310.4 Base for the closed sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2310.5 Weight and character . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24

10.5.1 Increasing chains of open sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2410.6 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2510.7 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2510.8 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25

11 Boundary (topology) 2611.1 Common denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2711.2 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2711.3 Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2811.4 Boundary of a boundary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2911.5 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2911.6 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

12 Compact space 3012.1 Historical development . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3112.2 Basic examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3212.3 Denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32

12.3.1 Open cover denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3212.3.2 Equivalent denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3312.3.3 Compactness of subspaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34

12.4 Properties of compact spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3412.4.1 Functions and compact spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3412.4.2 Compact spaces and set operations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3412.4.3 Ordered compact spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35

12.5 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3512.5.1 Algebraic examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36

12.6 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3612.7 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3712.8 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3712.9 External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38

13 Compactication (mathematics) 3913.1 An example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3913.2 Denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39

13.2.1 Alexandro one-point compactication . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4013.2.2 Stoneech compactication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

13.3 Projective space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

iv CONTENTS

13.4 Compactication and discrete subgroups of Lie groups . . . . . . . . . . . . . . . . . . . . . . . . 4113.5 Other compactication theories . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4113.6 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41

14 Countably compact space 4214.1 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4214.2 Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4214.3 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4214.4 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42

15 Embedding 4315.1 Topology and geometry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43

15.1.1 General topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4315.1.2 Dierential topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4315.1.3 Riemannian geometry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44

15.2 Algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4415.2.1 Field theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4415.2.2 Universal algebra and model theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44

15.3 Order theory and domain theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4515.4 Metric spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45

15.4.1 Normed spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4515.5 Category theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4515.6 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4615.7 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4615.8 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4615.9 External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47

16 Fort space 4816.1 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4816.2 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48

17 General topology 4917.1 History . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5017.2 A topology on a set . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50

17.2.1 Basis for a topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5017.2.2 Subspace and quotient . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5017.2.3 Examples of topological spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

17.3 Continuous functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5117.3.1 Alternative denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5217.3.2 Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5317.3.3 Homeomorphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5317.3.4 Dening topologies via continuous functions . . . . . . . . . . . . . . . . . . . . . . . . . 54

17.4 Compact sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54

CONTENTS v

17.5 Connected sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5517.5.1 Connected components . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5517.5.2 Disconnected spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5517.5.3 Path-connected sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56

17.6 Products of spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5617.7 Separation axioms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5717.8 Countability axioms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5817.9 Metric spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5817.10Baire category theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5917.11Main areas of research . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

17.11.1 Continuum theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5917.11.2 Pointless topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5917.11.3 Dimension theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5917.11.4 Topological algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5917.11.5 Metrizability theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6017.11.6 Set-theoretic topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60

17.12See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6017.13References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6017.14Further reading . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61

18 Glossary of topology 6218.1 A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6318.2 B . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6418.3 C . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6418.4 D . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6618.5 E . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6618.6 F . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6618.7 G . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6718.8 H . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6718.9 I . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6818.10K . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6818.11L . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6918.12M . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6918.13N . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7018.14O . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7118.15P . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7118.16Q . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7218.17R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7318.18S . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7318.19T . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7418.20U . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7518.21W . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76

vi CONTENTS

18.22Z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7618.23References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7618.24External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77

19 Hausdor space 7819.1 Denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7819.2 Equivalences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7919.3 Examples and counterexamples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7919.4 Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7919.5 Preregularity versus regularity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8019.6 Variants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8019.7 Algebra of functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8119.8 Academic humour . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8119.9 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8119.10Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8119.11References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81

20 Intersection 8220.1 Uniqueness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8320.2 Examples in classical geometry . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8320.3 Notation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8320.4 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8320.5 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83

21 List of general topology topics 8421.1 Basic concepts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8421.2 Limits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8421.3 Topological properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85

21.3.1 Compactness and countability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8521.3.2 Connectedness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8521.3.3 Separation axioms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85

21.4 Topological constructions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8621.5 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8621.6 Uniform spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8721.7 Metric spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8721.8 Topology and order theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8821.9 Descriptive set theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8821.10Dimension theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8821.11Combinatorial topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8821.12Foundations of algebraic topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8921.13Topology and algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8921.14See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89

CONTENTS vii

22 Locally compact space 9022.1 Formal denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9022.2 Examples and counterexamples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91

22.2.1 Compact Hausdor spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9122.2.2 Locally compact Hausdor spaces that are not compact . . . . . . . . . . . . . . . . . . . 9122.2.3 Hausdor spaces that are not locally compact . . . . . . . . . . . . . . . . . . . . . . . . 9122.2.4 Non-Hausdor examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92

22.3 Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9222.3.1 The point at innity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9222.3.2 Locally compact groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92

22.4 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9322.5 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93

23 Natural number 9423.1 History . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94

23.1.1 Modern denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9623.2 Notation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9623.3 Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96

23.3.1 Addition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9623.3.2 Multiplication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9623.3.3 Relationship between addition and multiplication . . . . . . . . . . . . . . . . . . . . . . . 9723.3.4 Order . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9723.3.5 Division . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9723.3.6 Algebraic properties satised by the natural numbers . . . . . . . . . . . . . . . . . . . . . 97

23.4 Generalizations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9823.5 Formal denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98

23.5.1 Peano axioms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9823.5.2 Constructions based on set theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98

23.6 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10023.7 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10023.8 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10123.9 External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102

24 Normal space 10524.1 Denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10524.2 Examples of normal spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10624.3 Examples of non-normal spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10624.4 Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10724.5 Relationships to other separation axioms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10724.6 Citations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10724.7 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107

viii CONTENTS

25 Open set 10825.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10925.2 Denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109

25.2.1 Euclidean space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11025.2.2 Metric spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11025.2.3 Topological spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110

25.3 Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11025.4 Uses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11025.5 Notes and cautions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111

25.5.1 Open is dened relative to a particular topology . . . . . . . . . . . . . . . . . . . . . . 11125.5.2 Open and closed are not mutually exclusive . . . . . . . . . . . . . . . . . . . . . . . . . 111

25.6 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11125.7 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11125.8 External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112

26 Pavel Alexandrov 11326.1 Honours and awards . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11326.2 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11426.3 External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114

27 Stoneech compactication 11527.1 Universal property and functoriality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11527.2 Constructions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116

27.2.1 Construction using products . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11627.2.2 Construction using the unit interval . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11627.2.3 Construction using ultralters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11627.2.4 Construction using C*-algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117

27.3 The Stoneech compactication of the natural numbers . . . . . . . . . . . . . . . . . . . . . . . 11727.3.1 An application: the dual space of the space of bounded sequences of reals . . . . . . . . . 11727.3.2 Addition on the Stoneech compactication of the naturals . . . . . . . . . . . . . . . . . 118

27.4 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11827.5 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11927.6 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11927.7 External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119

28 Subset 12028.1 Denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12128.2 and symbols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12128.3 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12128.4 Other properties of inclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12228.5 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12228.6 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122

CONTENTS ix

28.7 External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123

29 Topological space 12429.1 Denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124

29.1.1 Neighbourhoods denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12429.1.2 Open sets denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12529.1.3 Closed sets denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12629.1.4 Other denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126

29.2 Comparison of topologies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12629.3 Continuous functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12629.4 Examples of topological spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12729.5 Topological constructions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12829.6 Classication of topological spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12829.7 Topological spaces with algebraic structure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12829.8 Topological spaces with order structure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12829.9 Specializations and generalizations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12829.10See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12929.11Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12929.12References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12929.13External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130

30 Union (set theory) 13130.1 Union of two sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13130.2 Algebraic properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13230.3 Finite unions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13330.4 Arbitrary unions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133

30.4.1 Notations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13330.4.2 Union and intersection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133

30.5 See also . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13430.6 Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13430.7 External links . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13430.8 Text and image sources, contributors, and licenses . . . . . . . . . . . . . . . . . . . . . . . . . . 135

30.8.1 Text . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13530.8.2 Images . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13830.8.3 Content license . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140

Chapter 1

Adherent point

In mathematics, an adherent point (also closure point or point of closure or contact point)[1] of a subset A of atopological space X, is a point x in X such that every open set containing x contains at least one point of A . A pointx is an adherent point for A if and only if x is in the closure of A.This denition diers from that of a limit point, in that for a limit point it is required that every open set containingx contains at least one point of A dierent from x. Thus every limit point is an adherent point, but the converse is nottrue. An adherent point of A is either a limit point of A or an element of A (or both). An adherent point which is nota limit point is an isolated point.Intuitively, having an open set A dened as the area within (but not including) some boundary, the adherent points ofA are those of A including the boundary.

1.1 Examples If S is a subset of R which is bounded above, then sup S is adherent to S. A subset S of a metric space M contains all of its adherent points if, and only if, S is closed in M. In the interval (a, b], a is an adherent point that is not in the interval, with usual topology of R.

1.2 Notes[1] Steen, p. 5; Lipschutz, p. 69; Adamson, p. 15.

1.3 References Adamson, Iain T., A General Topology Workbook, Birkhuser Boston; 1st edition (November 29, 1995). ISBN978-0-8176-3844-3.

Apostol, Tom M., Mathematical Analysis, Addison Wesley Longman; second edition (1974). ISBN 0-201-00288-4

Lipschutz, Seymour; Schaums Outline of General Topology, McGraw-Hill; 1st edition (June 1, 1968). ISBN0-07-037988-2.

L.A. Steen, J.A.Seebach, Jr., Counterexamples in topology, (1970) Holt, Rinehart and Winston, Inc.. This article incorporates material from Adherent point on PlanetMath, which is licensed under the Creative

Commons Attribution/Share-Alike License.

1

Chapter 2

Alexandro extension

In mathematical eld of topology, the Alexandro extension is a way to extend a noncompact topological space byadjoining a single point in such a way that the resulting space is compact. It is named for the Russian mathematicianPavel Alexandrov.More precisely, let X be a topological space. Then the Alexandro extension of X is a certain compact space X*together with an open embedding c : X X* such that the complement of X in X* consists of a single point, typicallydenoted . The map c is a Hausdor compactication if and only if X is a locally compact, noncompact Hausdorspace. For such spaces the Alexandro extension is called the one-point compactication or Alexandro com-pactication. The advantages of the Alexandro compactication lie in its simple, often geometrically meaningfulstructure and the fact that it is in a precise sense minimal among all compactications; the disadvantage lies in thefact that it only gives a Hausdor compactication on the class of locally compact, noncompact Hausdor spaces,unlike the Stoneech compactication which exists for any Tychono space, a much larger class of spaces.

2.1 Example: inverse stereographic projection

A geometrically appealing example of one-point compactication is given by the inverse stereographic projection.Recall that the stereographic projection S gives an explicit homeomorphism from the unit sphere minus the north pole(0,0,1) to the Euclidean plane. The inverse stereographic projection S1 : R2 ,! S2 is an open, dense embeddinginto a compact Hausdor space obtained by adjoining the additional point1 = (0; 0; 1) . Under the stereographicprojection latitudinal circles z = c get mapped to planar circles r =

p(1 + c)/(1 c) . It follows that the deleted

neighborhood basis of (1; 0; 0) given by the punctured spherical caps c z < 1 corresponds to the complementsof closed planar disks r p(1 + c)/(1 c) . More qualitatively, a neighborhood basis at1 is furnished by thesets S1(R2 nK) [ f1g as K ranges through the compact subsets of R2 . This example already contains the keyconcepts of the general case.

2.2 Motivation

Let c : X ,! Y be an embedding from a topological space X to a compact Hausdor topological space Y, withdense image and one-point remainder f1g = Y n c(X) . Then c(X) is open in a compact Hausdor space so islocally compact Hausdor, hence its homeomorphic preimage X is also locally compact Hausdor. Moreover, ifX were compact then c(X) would be closed in Y and hence not dense. Thus a space can only admit a one-pointcompactication if it is locally compact, noncompact and Hausdor. Moreover, in such a one point compacticationthe image of a neighborhood basis for x in X gives a neighborhood basis for c(x) in c(X), andbecause a subset ofa compact Hausdor space is compact if and only if it is closedthe open neighborhoods of 1 must be all setsobtained by adjoining1 to the image under c of a subset of X with compact complement.

2

2.3. THE ALEXANDROFF EXTENSION 3

2.3 The Alexandro extensionLet X be any topological space, and let1 be any object which is not already an element of X. Put X = X [ f1g, and topologize X by taking as open sets all the open subsets U of X together with all subsets V which contain1and such that X n V is closed and compact, (Kelley 1975, p. 150).The inclusion map c : X ! X is called the Alexandro extension of X (Willard, 19A).The above properties all follow from the above discussion:

The map c is continuous and open: it embeds X as an open subset of X .

The space X is compact.

The image c(X) is dense in X , if X is noncompact.

The space X is Hausdor if and only if X is Hausdor and locally compact.

2.4 The one-point compacticationIn particular, the Alexandro extension c : X ! X is a compactication of X if and only if X is Hausdor,noncompact and locally compact. In this case it is called the one-point compactication or Alexandro compact-ication of X. Recall from the above discussion that any compactication with one point remainder is necessarily(isomorphic to) the Alexandro compactication.Let X be any noncompact Tychono space. Under the natural partial ordering on the set C(X) of equivalence classesof compactications, any minimal element is equivalent to the Alexandro extension (Engelking, Theorem 3.5.12).It follows that a noncompact Tychono space admits a minimal compactication if and only if it is locally compact.

2.5 Further examples The one-point compactication of the set of positive integers is homeomorphic to the space consisting of K ={0} U {1/n | n is a positive integer.} with the order topology.

The one-point compactication of n-dimensional Euclidean space Rn is homeomorphic to the n-sphere Sn. Asabove, the map can be given explicitly as an n-dimensional inverse stereographic projection.

Since the closure of a connected subset is connected, the Alexandro extension of a noncompact connectedspace is connected. However a one-point compactication may connect a disconnected space: for instancethe one-point compactication of the disjoint union of copies of the interval (0,1) is a wedge of circles.

The Alexandro extension can be viewed as a functor from the category of topological spaces to the categorywhose objects are continuous maps c : X ! Y and for which the morphisms from c1 : X1 ! Y1 toc2 : X2 ! Y2 are pairs of continuous maps fX : X1 ! X2; fY : Y1 ! Y2 such that fY c1 = c2 fX . Inparticular, homeomorphic spaces have isomorphic Alexandro extensions.

A sequence fang in a topological space X converges to a point a in X , if and only if the map f : N ! Xgiven by f(n) = an for n in N and f(1) = a is continuous. Here N has the discrete topology.

Polyadic spaces are dened as topological spaces that are the continuous image of the power of a one-pointcompactication of a discrete, locally compact Haussdor space.

Space of continuous functions C () on a locally compact Hausdro space is locally compact but can bemade compact if and only if we include the single point f(x) = 1 for all x

4 CHAPTER 2. ALEXANDROFF EXTENSION

2.6 See also Wallman compactication End (topology) Riemann sphere Normal space Stereographic projection Pointed set

2.7 References P.S. Alexandro (1924), "ber die Metrisation der im Kleinen kompakten topologischen Rume,Math. Ann.92 (3-4): 294301, doi:10.1007/BF01448011, JFM 50.0128.04

Ronald Brown (1973), Sequentially proper maps and a sequential compactication, J. London Math Soc. (2)7: 515522, doi:10.1112/jlms/s2-7.3.515, Zbl 0269.54015

Engelking, Ryszard (1989), General Topology, Helderman Verlag Berlin, ISBN 978-0-201-08707-9, MR1039321

Fedorchuk, V.V. (2001), Aleksandrov compactication, in Hazewinkel, Michiel, Encyclopedia of Mathe-matics, Springer, ISBN 978-1-55608-010-4

Kelley, John L. (1975), General Topology, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90125-1,MR 0370454

James Munkres (1999), Topology (2nd ed.), Prentice Hall, ISBN 0-13-181629-2, Zbl 0951.54001 Willard, Stephen (1970),General Topology, Addison-Wesley, ISBN3-88538-006-4,MR0264581, Zbl 0205.26601

Chapter 3

Appert topology

In general topology, a branch of mathematics, the Appert topology, named for Appert (1934), is an example of atopology on the set Z+ = {1, 2, 3, } of positive integers.[1] To give Z+ a topology means to say which subsets of Z+are open in a manner that satises certain axioms:[2]

1. The union of open sets is an open set.2. The nite intersection of open sets is an open set.3. Z+ and the empty set are open sets.

In the Appert topology, the open sets are those that do not contain 1, and those that asymptotically contain almostevery positive integer.

3.1 ConstructionLet S be a subset of Z+, and let N(n,S) denote the number of elements of S which are less than or equal to n:

N(n; S) = #fm 2 S : m ng:

In Apperts topology, a set S is dened to be open if either it does not contain 1 or N(n,S)/n tends towards 1 as n tendstowards innity:[1]

limn!1

N(n; S)n

= 1:

The empty set is an open set in this topology because is a set that does not contain 1, and the whole set Z+ is alsoopen in this topology since

Nn;Z+

= n ;

meaning that N(n,S)/n = 1 for all n.

3.2 Related topologiesThe Appert topology is closely related to the Fort space topology that arises from giving the set of integers greaterthan one the discrete topology, and then taking the point 1 as the point at innity in a one point compactication ofthe space.[1] The Fort space is a renement of the Appert topology.

5

6 CHAPTER 3. APPERT TOPOLOGY

3.3 PropertiesThe closed subsets of Z+, equipped with the Appert topology, are the subsets S that either contain 1 or for which

limn!1

N(n; S)n

= 0:

As a result, Z+ is a completely normal space (and thus also Hausdor), for suppose that A and B are disjoint closedsets. If A B did not contain 1, then A and B would also be open and thus completely separated. On the other hand,if A contains 1 then B is open and limn!1 N(n;B)/n=0 , so that Z+B is an open neighborhood of A disjoint from B.[1]

A subset of Z+ is compact in the Appert topology if and only if it is nite. In particular, Z+ is not locally compact,since there is no compact neighborhood of 1. Moreover, Z+ is not countably compact.[1]

3.4 Notes[1] Steen & Seebach 1995, pp. 117118

[2] Steen & Seebach 1995, p. 3

3.5 References Appert, Q (1934), Proprits des Espaces Abstraits les Plus Gnraux, Actual. Sci. Ind. (146), Hermann. Steen, L. A.; Seebach, J. A. (1995), Counterexamples in Topology, Dover, ISBN 0-486-68735-X.

Chapter 4

Axiom of countability

In mathematics, an axiom of countability is a property of certain mathematical objects (usually in a category) thatasserts the existence of a countable set with certain properties. Without such an axiom, such a set might not exist.

4.1 Important examplesImportant countability axioms for topological spaces include:[1]

sequential space: a set is open if every sequence convergent to a point in the set is eventually in the set

rst-countable space: every point has a countable neighbourhood basis (local base)

second-countable space: the topology has a countable base

separable space: there exists a countable dense subspace

Lindelf space: every open cover has a countable subcover

-compact space: there exists a countable cover by compact spaces

4.2 Relationships with each otherThese axioms are related to each other in the following ways:

Every rst countable space is sequential.

Every second-countable space is rst-countable, separable, and Lindelf.

Every -compact space is Lindelf.

Every metric space is rst countable.

For metric spaces second-countability, separability, and the Lindelf property are all equivalent.

4.3 Related conceptsOther examples of mathematical objects obeying axioms of innity include sigma-nite measure spaces, and latticesof countable type.

7

8 CHAPTER 4. AXIOM OF COUNTABILITY

4.4 References[1] Nagata, J.-I. (1985), Modern General Topology, North-Holland Mathematical Library (3rd ed.), Elsevier, p. 104, ISBN

9780080933795.

Chapter 5

Baire category theorem

The Baire category theorem (BCT) is an important tool in general topology and functional analysis. The theoremhas two forms, each of which gives sucient conditions for a topological space to be a Baire space.The theorem was proved by Ren-Louis Baire in his 1899 doctoral thesis.

5.1 Statement of the theorem

A Baire space is a topological space with the following property: for each countable collection of open dense sets Un,their intersection Un is dense.

(BCT1) Every complete metric space is a Baire space. More generally, every topological space which ishomeomorphic to an open subset of a complete pseudometric space is a Baire space. Thus every completelymetrizable topological space is a Baire space.

(BCT2) Every locally compact Hausdor space is a Baire space. The proof is similar to the preceding state-ment; the nite intersection property takes the role played by completeness.

Note that neither of these statements implies the other, since there are complete metric spaces which are not locallycompact (the irrational numbers with the metric dened below; also, any Banach space of innite dimension), andthere are locally compact Hausdor spaces which are not metrizable (for instance, any uncountable product of non-trivial compact Hausdor spaces is such; also, several function spaces used in Functional Analysis; the uncountableFort space). See Steen and Seebach in the references below.

(BCT3) A non-empty complete metric space is NOT the countable union of nowhere-dense closed sets.

This formulation is equivalent to BCT1 and is sometimes more useful in applications. Also: if a non-empty completemetric space is the countable union of closed sets, then one of these closed sets has non-empty interior.

5.2 Relation to the axiom of choice

The proofs of BCT1 and BCT2 for arbitrary complete metric spaces require some form of the axiom of choice; andin fact BCT1 is equivalent over ZF to a weak form of the axiom of choice called the axiom of dependent choices.[1]

A restricted form of the Baire category theorem, in which the complete metric space is also assumed to be separable,is provable in ZF with no additional choice principles.[2] This restricted form applies in particular to the real line, theBaire space , the Cantor space 2, and a separable Hilbert space such as L2(R n).

9

10 CHAPTER 5. BAIRE CATEGORY THEOREM

5.3 Uses of the theoremBCT1 is used in functional analysis to prove the open mapping theorem, the closed graph theorem and the uniformboundedness principle.BCT1 also shows that every complete metric space with no isolated points is uncountable. (If X is a countablecomplete metric space with no isolated points, then each singleton {x} in X is nowhere dense, and so X is of rstcategory in itself.) In particular, this proves that the set of all real numbers is uncountable.BCT1 shows that each of the following is a Baire space:

The space R of real numbers The irrational numbers, with the metric dened by d(x; y) = 1n+1 , where n is the rst index for which thecontinued fraction expansions of x and y dier (this is a complete metric space)

The Cantor set

By BCT2, every nite-dimensional Hausdor manifold is a Baire space, since it is locally compact and Hausdor.This is so even for non-paracompact (hence nonmetrizable) manifolds such as the long line.

5.4 ProofThe following is a standard proof that a complete pseudometric space X is a Baire space.Let Un be a countable collection of open dense subsets. We want to show that the intersection TUn is dense. A subsetis dense if and only if every nonempty open subset intersects it. Thus, to show that the intersection is dense, it issucient to show that any nonempty open set W in X has a point x in common with all of the Un . Since U1 is dense,W intersects U1 ; thus, there is a point x1 and 0 < r1 < 1 such that:

B(x1; r1) W \ U1where B(x;r) and B(x;r) denote an open and closed ball, respectively, centered at x with radius r . Since each Un isdense, we can continue recursively to nd a pair of sequences xn and 0 < rn < 1n such that:

B(xn; rn) B(xn1; rn1) \ Un(This step relies on the axiom of choice.) Since xn 2 B(xm;rm) when n > m , we have that xn is Cauchy, and hencexn converges to some limit x by completeness. For any n , by closedness,

x 2 B(xn; rn):Therefore x 2 W and x 2 Un for all n .See also this blog post by M. Baker for the proof of the theorem using Choquets game.

5.5 See also Property of Baire

5.6 Notes[1] Blair 1977

[2] Levy 1979, p. 212

5.7. REFERENCES 11

5.7 References R. Baire. Sur les fonctions de variables relles. Ann. di Mat., 3:1123, 1899. Blair, Charles E. (1977), The Baire category theorem implies the principle of dependent choices., Bull. Acad.

Polon. Sci. Sr. Sci. Math. Astronom. Phys., v. 25 n. 10, pp. 933934.

Levy, Azriel (1979), Basic Set Theory. Reprinted by Dover, 2002. ISBN 0-486-42079-5 Schechter, Eric, Handbook of Analysis and its Foundations, Academic Press, ISBN 0-12-622760-8 Lynn Arthur Steen and J. Arthur Seebach, Jr., Counterexamples in Topology, Springer-Verlag, New York,1978. Reprinted by Dover Publications, New York, 1995. ISBN 0-486-68735-X (Dover edition).

5.8 External links T. Tao, 245B, Notes 9: The Baire category theorem and its Banach space consequences Encyclopaedia of Mathematics article on Baire theorem

Chapter 6

Baire function

In mathematics, Baire functions are functions obtained from continuous functions by transnite iteration of theoperation of forming pointwise limits of sequences of functions. They were introduced by Ren-Louis Baire (1905).A Baire set is a set whose characteristic function is a Baire function (not necessarily of any particular class, as denedbelow).

6.1 Classication of Baire functionsBaire functions of class n, for any countable ordinal number n, form a vector space of real-valued functions denedon a topological space, as follows.

The Baire class 0 functions are the continuous functions.

The Baire class 1 functions are those functions which are the pointwise limit of a sequence of Baire class 0functions.

In general, the Baire class n functions are all functions which are the pointwise limit of a sequence of functionsof Baire class less than n.

Some authors dene the classes slightly dierently, by removing all functions of class less than n from the functionsof class n. This means that each Baire function has a well dened class, but the functions of given class no longerform a vector space.Henri Lebesgue proved that (for functions on the unit interval) each Baire class of a countable ordinal number containsfunctions not in any smaller class, and that there exist functions which are not in any Baire class.

6.2 Baire class 1Examples:

The derivative of any dierentiable function is of class 1. An example of a dierentiable function whosederivative is not continuous (at x=0) is the function equal to x2 sin(1/x) when x0, and 0 when x=0. Aninnite sum of similar functions (scaled and displaced by rational numbers) can even give a dierentiablefunction whose derivative is discontinuous on a dense set. However, it necessarily has points of continuity,which follows easily from The Baire Characterisation Theorem (below; take K=X=R).

The function equal to 1 if x is an integer and 0 otherwise. (An innite number of large discontinuities.) The function that is 0 for irrational x and 1/q for a rational number p/q (in reduced form). (A dense set ofdiscontinuities, namely the set of rational numbers.)

12

6.3. BAIRE CLASS 2 13

The characteristic function of the Cantor set, which gives 1 if x is in the Cantor set and 0 otherwise. Thisfunction is 0 for an uncountable set of x values, and 1 for an uncountable set. It is discontinuous whereverit equals 1 and continuous wherever it equals 0. It is approximated by the continuous functions gn(x) =max(0; 1 nd(x;C)) , where d(x;C) is the distance of x from the nearest point in the Cantor set.

The Baire Characterisation Theorem states that a real valued function f dened on a Banach space X is a Baire-1function if and only if for every non-empty closed subset K of X, the restriction of f to K has a point of continuityrelative to the topology of K.By another theorem of Baire, for every Baire-1 function the points of continuity are a comeagerGset (Kechris 1995,Theorem (24.14)).


An example of a Baire class two function on the interval [0,1] that is not of class 1 is the characteristic functionof the rational numbers, Q , also known as the Dirichlet function. It is discontinuous everywhere.


6.5 See also Baire set Nowhere continuous function

6.6 References Baire, R. (1905), Leons sur les fonctions discontinues, professes au collge de France, Gauthier-Villars Kechris, Alexander S. (1995), Classical Descriptive Set Theory, Springer-Verlag

6.7 External links Springer Encyclopaedia of Mathematics article on Baire classes

Chapter 7

Baire set

For sets having the property of Baire, which are sometimes called Baire sets, see Property of Baire.

In mathematics, more specically in measure theory, the Baire sets of a locally compact Hausdor space form a-algebra related to the continuous functions on the space. There are several inequivalent denitions of Baire set,which all coincide for the case of locally compact -compact Hausdor spaces.The Baire sets form a subclass of the Borel sets. The converse holds in many, but not all, topological spaces.Baire sets were introduced by Kunihiko Kodaira (1941, Denition 4), Shizuo Kakutani and Kunihiko Kodaira (1944)and Halmos (1950, page 220), who named them after Baire functions that are in turn named after Ren-Louis Baire.They introduced them to avoid some pathological properties of Borel sets on spaces without a countable base for thetopology. In practice, the use of Baire measures on Baire sets can often be replaced by the use of regular Borelmeasures on Borel sets.

7.1 Basic denitionsThere are at least three inequivalent denitions of Baire sets on locally compact Hausdor spaces, and even moredenitions for general topological spaces, though all these denitions are equivalent for locally compact -compactHausdor spaces. Moreover some authors add restrictions on the topological space that Baire sets are dened on, andonly dene Baire sets on spaces that are compact Hausdor, or locally compact Hausdor, or -compact.

7.1.1 First denition

Kunihiko Kodaira dened [1] what we call Baire sets (although he confusingly calls them Borel sets) of certaintopological spaces to be the sets whose characteristic function is a Baire function (the smallest class of functionscontaining all continuous real valued functions and closed under pointwise limits of sequences). Dudley (1989, Sect.7.1) gives an equivalent denition and denes Baire sets of a topological space to be elements of the smallest -algebrasuch that all continuous functions are measurable. For locally compact -compact Hausdor spaces this is equivalentto the following denitions, but in general the denitions are not equivalent.Conversely the Baire functions are exactly the real-valued functions that are Baire measurable. For metric spaces theBaire sets are the same as Borel sets

7.1.2 Second denition

Halmos (1950, page 220) dened Baire sets of a locally compact Hausdor space to be the elements of the -ringgenerated by the compact G sets. This denition is no longer used much as -rings are somewhat out of fashion.When the space is -compact this denition is equivalent to the next denition.One reason for working with compact G sets rather than closed G sets is that Baire measures are then automaticallyregular (Halmos 1950, theorem G page 228).

14

7.2. EXAMPLES 15

7.1.3 Third denition

This is similar to Halmoss denition, modied slightly so that the Baire sets form a -algebra rather than just a -ring.A subset of a locally compact Hausdor topological space is called a Baire set if it is a member of the smallestalgebra containing all compact G sets. In other words, the algebra of Baire sets is the algebra generatedby all compact G sets. Alternatively Baire sets form the smallest -algebra such that all continuous functions ofcompact support are measurable (at least on locally compact Hausdor spaces: on general topological spaces thesetwo conditions need not be equivalent).For -compact spaces this is equivalent to Halmoss denition. For spaces that are not -compact the Baire setsunder this denition are those under Halmoss denition together with their complements. However in this case itis no longer true that a nite Baire measure is necessarily regular: for example the Baire probability measure thatassigns measure 0 to every countable subset of an uncountable discrete space and measure 1 to every co-countablesubset is a Baire probability measure that is not regular.

7.2 Examples

7.2.1 The dierent denitions of Baire sets are not equivalent

For locally compact Hausdor topological spaces that are not -compact the three denitions above need not beequivalent,A discrete topological space is locally compact and Hausdor. Any function dened on a discrete space is continuous,and therefore, according to the rst denition, all subsets of a discrete space are Baire. However, since the compactsubspaces of a discrete space are precisely the nite subspaces, the Baire sets, according to the second denition, areprecisely the at most countable sets, while according to the third denition the Baire sets are the at most countablesets and their complements. Thus, the three denitions are non-equivalent on an uncountable discrete space.For non-Hausdor spaces the denitions of Baire sets in terms of continuous functions need not be equivalent todenitions involving G compact sets. For example, if X is an innite countable set whose closed sets are the nitesets and the whole space, then the only continuous real functions on X are constant, but all subsets of X are in the-algebra generated by compact closed G sets.

7.2.2 A Borel set that is not a Baire set

In a Cartesian product of uncountably many compact Hausdor spaces with more than one point, a point is never aBaire set, in spite of the fact that it is closed, and therefore a Borel set.[2]

7.3 PropertiesBaire sets coincide with Borel sets in Euclidean spaces.For every compact Hausdor space, every nite Baire measure (that is, a measure on the -algebra of all Baire sets)is regular.[3]

For every compact Hausdor space, every nite Baire measure has a unique extension to a regular Borel measure.[4]

The Kolmogorov extension theorem states that every consistent collection of nite-dimensional probability distribu-tions leads to a Baire measure on the space of functions.[5] Assuming compactness one may extend it to a regularBorel measure. After completion one gets a probability space that is not necessarily standard.[6]

7.4 Notes[1] Kodaira 1941, p. 21, Def. 4

[2] Dudley 1989, Example after Theorem 7.1.1

16 CHAPTER 7. BAIRE SET

[3] Dudley 1989, Theorem 7.1.5



[6] Its standardness is investigated in: Tsirelson, Boris (1981). A natural modication of a random process and its applicationto stochastic functional series andGaussianmeasures. Journal of SovietMathematics 16 (2): 940956. doi:10.1007/BF01676139..See Theorem 1(c).

7.5 References Halmos, P. R. (1950). Measure theory. v. Nostrand. See especially Sect. 51 Borel sets and Baire sets. Dudley, R. M. (1989). Real Analysis and Probability. Chapman & Hall. ISBN 0521007542.. See especiallySect. 7.1 Baire and Borel algebras and regularity of measures and Sect. 7.3 The regularity extension.

Kakutani, Shizuo; Kodaira, Kunihiko (1944), "ber das Haarsche Mass in der lokal bikompakten Gruppe,Proc. Imp. Acad. Tokyo 20: 444450, doi:10.3792/pia/1195572875, MR 0014401

Kodaira, Kunihiko (1941), "ber die Gruppe der messbaren Abbildungen, Proc. Imp. Acad. Tokyo 17:1823, doi:10.3792/pia/1195578914, MR 0004089

Chapter 8

Baire space

For the concept in set theory, see Baire space (set theory).

In mathematics, a Baire space is a topological space that has enough points that every intersection of a countablecollection of open dense sets in the space is also dense. Complete metric spaces and locally compact Hausdor spacesare examples of Baire spaces according to the Baire category theorem. The spaces are named in honor of Ren-LouisBaire who introduced the concept.

8.1 MotivationIn an arbitrary topological space, the class of closed sets with empty interior consists precisely of the boundaries ofdense open sets. These sets are, in a certain sense, negligible. Some examples are nite sets in , smooth curves inthe plane, and proper ane subspaces in a Euclidean space. If a topological space is a Baire space then it is large,meaning that it is not a countable union of negligible subsets. For example, the three-dimensional Euclidean space isnot a countable union of its ane planes.

8.2 DenitionThe precise denition of a Baire space has undergone slight changes throughout history, mostly due to prevailingneeds and viewpoints. First, we give the usual modern denition, and then we give a historical denition which iscloser to the denition originally given by Baire.

8.2.1 Modern denitionA Baire space is a topological space in which the union of every countable collection of closed sets with emptyinterior has empty interior.This denition is equivalent to each of the following conditions:

Every intersection of countably many dense open sets is dense. The interior of every union of countably many closed nowhere dense sets is empty. Whenever the union of countably many closed subsets of X has an interior point, then one of the closed subsetsmust have an interior point.

8.2.2 Historical denitionMain article: Meagre set

17

18 CHAPTER 8. BAIRE SPACE

In his original denition, Baire dened a notion of category (unrelated to category theory) as follows.A subset of a topological space X is called

nowhere dense in X if the interior of its closure is empty of rst category or meagre in X if it is a union of countably many nowhere dense subsets of second category or nonmeagre in X if it is not of rst category in X

The denition for a Baire space can then be stated as follows: a topological spaceX is a Baire space if every non-emptyopen set is of second category in X. This denition is equivalent to the modern denition.A subset A of X is comeagre if its complementX nA is meagre. A topological space X is a Baire space if and onlyif every comeager subset of X is dense.

8.3 Examples The space R of real numbers with the usual topology, is a Baire space, and so is of second category in itself.The rational numbers are of rst category and the irrational numbers are of second category in R .

The Cantor set is a Baire space, and so is of second category in itself, but it is of rst category in the interval[0; 1] with the usual topology.

Here is an example of a set of second category in R with Lebesgue measure 0.

1\m=1

1[n=1

rn 1

2n+m; rn +

1

2n+m

where frng1n=1 is a sequence that enumerates the rational numbers.

Note that the space of rational numbers with the usual topology inherited from the reals is not a Baire space,since it is the union of countably many closed sets without interior, the singletons.

8.4 Baire category theoremMain article: Baire category theorem

The Baire category theorem gives sucient conditions for a topological space to be a Baire space. It is an importanttool in topology and functional analysis.

(BCT1) Every complete metric space is a Baire space. More generally, every topological space which ishomeomorphic to an open subset of a complete pseudometric space is a Baire space. In particular, everycompletely metrizable space is a Baire space.

(BCT2) Every locally compact Hausdor space (or more generally every locally compact sober space) is aBaire space.

BCT1 shows that each of the following is a Baire space:

The space R of real numbers The space of irrational numbers, which is homeomorphic to the Baire space of set theory The Cantor set Indeed, every Polish space

BCT2 shows that every manifold is a Baire space, even if it is not paracompact, and hence not metrizable. Forexample, the long line is of second category.

8.5. PROPERTIES 19

8.5 Properties Every non-empty Baire space is of second category in itself, and every intersection of countably many denseopen subsets of X is non-empty, but the converse of neither of these is true, as is shown by the topologicaldisjoint sum of the rationals and the unit interval [0, 1].

Every open subspace of a Baire space is a Baire space.

Given a family of continuous functions fn:XY with pointwise limit f:XY. If X is a Baire space then thepoints where f is not continuous is a meagre set in X and the set of points where f is continuous is dense in X.A special case of this is the uniform boundedness principle.

A closed subset of a Baire space is not necessarily Baire.

The product of two Baire spaces is not necessarily Baire. However, there exist sucient conditions that willguarantee that a product of arbitrarily many Baire spaces is again Baire.

8.6 See also BanachMazur game Descriptive set theory Baire space (set theory)

8.7 References

8.8 Sources Munkres, James, Topology, 2nd edition, Prentice Hall, 2000. Baire, Ren-Louis (1899), Sur les fonctions de variables relles, Annali di Mat. Ser. 3 3, 1123.

8.9 External links Encyclopaedia of Mathematics article on Baire space Encyclopaedia of Mathematics article on Baire theorem

Chapter 9

BanachMazur game

In general topology, set theory and game theory, aBanachMazur game is a topological game played by two players,trying to pin down elements in a set (space). The concept of a BanachMazur game is closely related to the concept ofBaire spaces. This game was the rst innite positional game of perfect information to be studied. It was introducedby Mazur as problem 43 in the Scottish book, and Mazurs questions about it were answered by Banach.

9.1 Denition and propertiesIn what follows we will make use of the formalism dened in Topological game. A general BanachMazur game isdened as follows: we have a topological space Y , a xed subset X Y , and a family W of subsets of Y thatsatisfy the following properties.

Each member ofW has non-empty interior. Each non-empty open subset of Y contains a member ofW .

We will call this gameMB(X;Y;W ) . Two players, P1 and P2 , choose alternatively elementsW0 ,W1 , ofWsuch thatW0 W1 . The player P1 wins if and only ifX \ (\n P2 " MB(X;Y;W ) if and only if X is of the rst category in Y (a set is of the rst category or meagre if itis the countable union of nowhere-dense sets).

Assuming that Y is a complete metric space, P1 " MS(X;Y;W ) if and only if X is comeager in somenonempty open subset of Y .

If X has the Baire property in Y , thenMB(X;Y;W ) is determined. Any winning strategy of P2 can be reduced to a stationary winning strategy. The siftable and strongly-siftable spaces introduced by Choquet can be dened in terms of stationary strategiesin suitable modications of the game. Let BM(X) denote a modication ofMB(X;Y;W ) where X = Y ,W is the family of all nonempty open sets inX , andP2 wins a play (W0;W1; ) if and only if\n A Markov winning strategy for P2 in BM(X) can be reduced to a stationary winning strategy. Furthermore,if P2 has a winning strategy in BM(X) , then she has a winning strategy depending only on two precedingmoves. It is still an unsettled question whether a winning strategy for P2 can be reduced to a winning strategythat depends only on the last two moves of P1 .

X is called weakly -favorable if P2 has a winning strategy in BM(X) . Then, X is a Baire space if andonly if P1 has no winning strategy inBM(X) . It follows that each weakly -favorable space is a Baire space.

20

9.2. A SIMPLE PROOF: WINNING STRATEGIES 21

Many other modications and specializations of the basic game have been proposed: for a thorough account of these,refer to [1987]. The most common special case, calledMB(X; J) , consists in letting Y = J , i.e. the unit interval[0; 1] , and in letting W consist of all closed intervals [a; b] contained in [0; 1] . The players choose alternativelysubintervals J0; J1; of J such that J0 J1 , and P1 wins if and only if X \ (\n9.2 A simple proof: winning strategiesIt is natural to ask for what setsX does P2 have a winning strategy. Clearly, ifX is empty, P2 has a winning strategy,therefore the question can be informally rephrased as how small (respectively, big) does X (respectively, thecomplement ofX in Y ) have to be to ensure that P2 has a winning strategy. To give a avor of how the proofs usedto derive the properties in the previous section work, let us show the following fact.Fact: P2 has a winning strategy if X is countable, Y is T1, and Y has no isolated points.Proof: Let the elements ofX be x1; x2; . Suppose thatW1 has been chosen byP1 , and letU1 be the (non-empty)interior of W1 . Then U1 n fx1g is a non-empty open set in Y , so P2 can choose a member W2 of W containedin this set. Then P1 chooses a subsetW3 ofW2 and, in a similar fashion, P2 can choose a memberW4 W3 thatexcludes x2 . Continuing in this way, each point xn will be excluded by the setW2n , so that the intersection of alltheWn will have empty intersection with X . Q.E.DThe assumptions on Y are key to the proof: for instance, if Y = fa; b; cg is equipped with the discrete topology andW consists of all non-empty subsets of Y , then P2 has no winning strategy if X = fag (as a matter of fact, heropponent has a winning strategy). Similar eects happen if Y is equipped with indiscrete topology andW = fY g .A stronger result relatesX to rst-order sets.Fact: Let Y be a topological space, letW be a family of subsets of Y satisfying the two properties above, and letXbe any subset of Y . P2 has a winning strategy if and only if X is meagre.This does not imply that P1 has a winning strategy ifX is not meagre. In fact, P1 has a winning strategy if and onlyif there is some Wi 2 W such that X \Wi is a comeagre subset of Wi . It may be the case that neither playerhas a winning strategy: when Y is [0; 1] andW consists of the closed intervals [a; b] , the game is determined if thetarget set has the property of Baire, i.e. if it diers from an open set by a meagre set (but the converse is not true).Assuming the axiom of choice, there are subsets of [0; 1] for which the BanachMazur game is not determined.

9.3 References [1957] Oxtoby, J.C. The BanachMazur game and Banach category theorem, Contribution to the Theory ofGames, Volume III, Annals of Mathematical Studies 39 (1957), Princeton, 159163

[1987] Telgrsky, R. J. Topological Games: On the 50th Anniversary of the BanachMazur Game, RockyMountain J. Math. 17 (1987), pp. 227276. (3.19 MB)

[2003] Julian P. Revalski The BanachMazur game: History and recent developments, Seminar notes, Pointe-a-Pitre, Guadeloupe, France, 20032004

Chapter 10

Base (topology)

In mathematics, a base (or basis) B for a topological spaceXwith topology T is a collection of open sets in T such thatevery open set in T can be written as a union of elements of B.[1][2][note 1] We say that the base generates the topologyT. Bases are useful because many properties of topologies can be reduced to statements about a base generating thattopology, and because many topologies are most easily dened in terms of a base which generates them.

10.1 Simple properties of bases

Two important properties of bases are:

1. The base elements cover X.

2. Let B1, B2 be base elements and let I be their intersection. Then for each x in I, there is a base element B3containing x and contained in I.

If a collection B of subsets of X fails to satisfy either of these, then it is not a base for any topology on X. (It is asubbase, however, as is any collection of subsets of X.) Conversely, if B satises both of the conditions 1 and 2, thenthere is a unique topology on X for which B is a base; it is called the topology generated by B. (This topology is theintersection of all topologies on X containing B.) This is a very common way of dening topologies. A sucient butnot necessary condition for B to generate a topology on X is that B is closed under intersections; then we can alwaystake B3 = I above.For example, the collection of all open intervals in the real line forms a base for a topology on the real line becausethe intersection of any two open intervals is itself an open interval or empty. In fact they are a base for the standardtopology on the real numbers.However, a base is not unique. Many bases, even of dierent sizes, may generate the same topology. For example,the open intervals with rational endpoints are also a base for the standard real topology, as are the open intervals withirrational endpoints, but these two sets are completely disjoint and both properly contained in the base of all openintervals. In contrast to a basis of a vector space in linear algebra, a base need not be maximal; indeed, the onlymaximal base is the topology itself. In fact, any open set generated by a base may be safely added to the base withoutchanging the topology. The smallest possible cardinality of a base is called the weight of the topological space.An example of a collection of open sets which is not a base is the set S of all semi-innite intervals of the forms (,a) and (a, ), where a is a real number. Then S is not a base for any topology on R. To show this, suppose it were.Then, for example, (, 1) and (0, ) would be in the topology generated by S, being unions of a single base element,and so their intersection (0,1) would be as well. But (0, 1) clearly cannot be written as a union of the elements of S.Using the alternate denition, the second property fails, since no base element can t inside this intersection.Given a base for a topology, in order to prove convergence of a net or sequence it is sucient to prove that it iseventually in every set in the base which contains the putative limit.

22

10.2. OBJECTS DEFINED IN TERMS OF BASES 23

10.2 Objects dened in terms of bases The order topology is usually dened as the topology generated by a collection of open-interval-like sets. The metric topology is usually dened as the topology generated by a collection of open balls. A second-countable space is one that has a countable base. The discrete topology has the singletons as a base. The pronite topology on a group is dened by taking the collection of all normal subgroups of nite index asa basis of open neighborhoods of the identity.

10.3 Theorems For each point x in an open set U, there is a base element containing x and contained in U. A topology T2 is ner than a topology T1 if and only if for each x and each base element B of T1 containing

x, there is a base element of T2 containing x and contained in B.

If B1,B2,...,Bn are bases for the topologies T1,T2,...,Tn, then the set product B1 B2 ... Bn is a base forthe product topology T1 T2 ... Tn. In the case of an innite product, this still applies, except that all butnitely many of the base elements must be the entire space.

Let B be a base for X and let Y be a subspace of X. Then if we intersect each element of B with Y, the resultingcollection of sets is a base for the subspace Y.

If a function f:X Y maps every base element of X into an open set of Y, it is an open map. Similarly, ifevery preimage of a base element of Y is open in X, then f is continuous.

A collection of subsets of X is a topology on X if and only if it generates itself. B is a basis for a topological space X if and only if the subcollection of elements of B which contain x form alocal base at x, for any point x of X.

10.4 Base for the closed setsClosed sets are equally adept at describing the topology of a space. There is, therefore, a dual notion of a base for theclosed sets of a topological space. Given a topological space X, a family of closed sets F forms a base for the closedsets if and only if for each closed set A and each point x not in A there exists an element of F containing A but notcontaining x.It is easy to check that F is a base for the closed sets of X if and only if the family of complements of members of Fis a base for the open sets of X.Let F be a base for the closed sets of X. Then

1. F =

2. For each F1 and F2 in F the union F1 F2 is the intersection of some subfamily of F (i.e. for any x not in F1or F2 there is an F3 in F containing F1 F2 and not containing x).

Any collection of subsets of a set X satisfying these properties forms a base for the closed sets of a topology on X.The closed sets of this topology are precisely the intersections of members of F.In some cases it is more convenient to use a base for the closed sets rather than the open ones. For example, a spaceis completely regular if and only if the zero sets form a base for the closed sets. Given any topological space X, thezero sets form the base for the closed sets of some topology on X. This topology will be the nest completely regulartopology on X coarser than the original one. In a similar vein, the Zariski topology on An is dened by taking thezero sets of polynomial functions as a base for the closed sets.

24 CHAPTER 10. BASE (TOPOLOGY)

10.5 Weight and characterWe shall work with notions established in (Engelking 1977, p. 12, pp. 127-128).Fix X a topological space. We dene theweight, w(X), as the minimum cardinality of a basis; we dene the networkweight, nw(X), as the minimum cardinality of a network; the character of a point, (x;X) , as the minimumcardinality of a neighbourhood basis for x in X; and the character of X to be

(X) , supf(x;X) : x 2 Xg:Here, a network is a family N of sets, for which, for all points x and open neighbourhoods U containing x, thereexists B in N for which x B U.The point of computing the character and weight is useful to be able to tell what sort of bases and local bases canexist. We have following facts:

nw(X) w(X). if X is discrete, then w(X) = nw(X) = |X|. if X is Hausdor, then nw(X) is nite i X is nite discrete. if B a basis of X then there is a basis B0 B of size jB0j w(X) . if N a neighbourhood basis for x in X then there is a neighbourhood basis N 0 N of size jN 0j (x;X) . if f : X Y is a continuous surjection, then nw(Y) w(X). (Simply consider the Y-network f 000B , ff 00U :U 2 Bg for each basis B of X.)

if (X; ) is Hausdor, then there exists a weaker Hausdor topology (X; 0) so that w(X; 0) nw(X; ) .So a fortiori, if X is also compact, then such topologies coincide and hence we have, combined with the rstfact, nw(X) = w(X).

if f : X Y a continuous surjective map from a compact metrisable space to an Hausdor space, then Y iscompact metrisable.

The last fact follows from f(X) being compact Hausdor, and hence nw(f(X)) = w(f(X)) w(X) @0 (sincecompact metrisable spaces are necessarily second countable); as well as the fact that compact Hausdor spaces aremetrisable exactly in case they are second countable. (An application of this, for instance, is that every path in anHausdor space is compact metrisable.)

10.5.1 Increasing chains of open setsUsing the above notation, suppose that w(X) some innite cardinal. Then there does not exist a strictly increasingsequence of open sets (equivalently strictly decreasing sequence of closed sets) of length +.To see this (without the axiom of choice), x

fUg2 ;as a basis of open sets. And suppose per contra, that

fVg2+were a strictly increasing sequence of open sets. This means

8 < + : V n[

10.6. SEE ALSO 25

For

x 2 V n[

Chapter 11

Boundary (topology)

This article is about boundaries in general topology. For the boundary of a manifold, see boundary of a manifold.In topology and mathematics in general, the boundary of a subset S of a topological space X is the set of points

A set (in light blue) and its boundary (in dark blue).

which can be approached both from S and from the outside of S. More precisely, it is the set of points in the closureof S, not belonging to the interior of S. An element of the boundary of S is called a boundary point of S. Notationsused for boundary of a set S include bd(S), fr(S), and S. Some authors (for example Willard, in General Topology)use the term frontier, instead of boundary in an attempt to avoid confusion with the concept of boundary used inalgebraic topology and manifold theory. However, frontier sometimes refers to a dierent set, which is the set ofboundary points which are not actually in the set; that is, S \ S.A connected component of the boundary of S is called a boundary component of S.

26

11.1. COMMON DEFINITIONS 27

11.1 Common denitionsThere are several common (and equivalent) denitions to the boundary of a subset S of a topological space X:

the closure of S without the interior of S: S = S \ So. the intersection of the closure of S with the closure of its complement: S = S (X \ S). the set of points p of X such that every neighborhood of p contains at least one point of S and at least one pointnot of S.

11.2 Examples

-1.5

-1

-0.5

0

0.5

1

1.5

-2 -1.5 -1 -0.5 0 0.5 1

c.im

c.re

Boundaries of 53 hyperbolic components of Mandelbrot set made in 13sec

one period 1 component = {c:c=(2*w-w*w)/4} one period 2 component = {c:c=(w/4 -1)}

three period 3 components (blue)six period 4 components (magenta)fifteen period 5 components (black)

27 period 6 components (black)

Boundary of hyperbolic components of Mandelbrot set

Consider the real line R with the usual topology (i.e. the topology whose basis sets are open intervals). One has

(0,5) = [0,5) = (0,5] = [0,5] = {0,5} =

28 CHAPTER 11. BOUNDARY (TOPOLOGY)

Q = R (Q [0,1]) = [0,1]

These last two examples illustrate the fact that the boundary of a dense set with empty interior is its closure.In the space of rational numbers with the usual topology (the subspace topology of R), the boundary of (1; a) ,where a is irrational, is empty.The boundary of a set is a topological notion and may change if one changes the topology. For example, given theusual topology on R2, the boundary of a closed disk = {(x,y) | x2 + y2 1} is the disks surrounding circle: ={(x,y) | x2 + y2 = 1}. If the disk is viewed as a set in R3 with its own usual topology, i.e. = {(x,y,0) | x2 + y2 1},then the boundary of the disk is the disk itself: = . If the disk is viewed as its own topological space (with thesubspace topology of R2), then the boundary of the disk is empty.

11.3 Properties The boundary of a set is closed.[1]

The boundary of the interior of a set as well as the boundary of the closure of a set are both contained in theboundary of the set.

A set is the boundary of some open set if and only if it is closed and nowhere dense. The boundary of a set is the boundary of the complement of the set: S = (SC).

Hence:

p is a boundary point of a set if and only if every neighborhood of p contains at least one point in the set andat least one point not in the set.

A set is closed if and only if it contains its boundary, and open if and only if it is disjoint from its boundary. The closure of a set equals the union of the set with its boundary. S = S S. The boundary of a set is empty if and only if the set is both closed and open (that is, a clopen set).

11.4. BOUNDARY OF A BOUNDARY 29

Conceptual Venn diagram showing the relationships among dierent points of a subset S of Rn. A = setof limit points of S, B = set of boundary points of S, area shaded green = set of interior points of S, areashaded yellow = set of isolated points of S, areas shaded black = empty sets. Every point of S is either aninterior point or a boundary point. Also, every point of S is either an accumulation point or an isolatedpoint. Likewise, every boundary point of S is either an accumulation point or an isolated point. Isolatedpoints are always boundary points.

11.4 Boundary of a boundaryFor any set S, S S, with equality holding if and only if the boundary of S has no interior points, which will bethe case for example if S is either closed or open. Since the boundary of a set is closed, S = S for any set S.The boundary operator thus satises a weakened kind of idempotence.In discussing boundaries of manifolds or simplexes and their simpl

Appert Topology

Documents

Transcript of Appert Topology