cell structures for finite subset spaces
play

Cell structures for finite subset spaces Christopher Tuffley - PowerPoint PPT Presentation

Cell structures for finite subset spaces Christopher Tuffley Institute of Fundamental Sciences Massey University, Palmerston North 7th Australia New Zealand Mathematics Convention December 2008 Christopher Tuffley (Massey University) Cell


  1. Cell structures for finite subset spaces Christopher Tuffley Institute of Fundamental Sciences Massey University, Palmerston North 7th Australia — New Zealand Mathematics Convention December 2008 Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 1 / 15

  2. Outline Introduction 1 Finite subset spaces Cell structures Homology Cell structures for finite subset spaces 2 Goals The construction Results Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 2 / 15

  3. Introduction Finite subset spaces Finite subset spaces —spaces whose points are finite subsets of a fixed space X . The kth finite subset space of X is exp k X = { nonempty subsets of X of size at most k } . Topology given by the quotient map ( x 1 , x 2 , . . . , x k ) �→ { x 1 , x 2 , . . . , x k } . = ⇒ α , β close if each point close to a member of the other subset ✈ ✈ ✈ ✈ ✈ Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 3 / 15

  4. Introduction Finite subset spaces Finite subset spaces —spaces whose points are finite subsets of a fixed space X . The kth finite subset space of X is exp k X = { nonempty subsets of X of size at most k } . Topology given by the quotient map ( x 1 , x 2 , . . . , x k ) �→ { x 1 , x 2 , . . . , x k } . = ⇒ α , β close if each point close to a member of the other subset ✈ ✈ ✈ ✈ ✈ Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 3 / 15

  5. Introduction Finite subset spaces Example: the circle The second finite subset space: Start with S 1 × S 1 1 Identify ( x , y ) and ( y , x ) 2 Result is a Möbius strip 3 Boundary is exp 1 S 1 (a circle) Glued edge is exp 2 ( S 1 , ∗ ) = { α ∈ exp 2 S 1 : ∗ ∈ α } (another circle) Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 4 / 15

  6. Introduction Finite subset spaces Example: the circle The second finite subset space: ( y , x ) Start with S 1 × S 1 1 Identify ( x , y ) and ( y , x ) 2 Result is a Möbius strip 3 ( x , y ) Boundary is exp 1 S 1 (a circle) Glued edge is exp 2 ( S 1 , ∗ ) = { α ∈ exp 2 S 1 : ∗ ∈ α } (another circle) Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 4 / 15

  7. Introduction Finite subset spaces Example: the circle The second finite subset space: { y , x } Start with S 1 × S 1 1 Identify ( x , y ) and ( y , x ) 2 Result is a Möbius strip 3 Boundary is exp 1 S 1 (a circle) Glued edge is exp 2 ( S 1 , ∗ ) = { α ∈ exp 2 S 1 : ∗ ∈ α } (another circle) Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 4 / 15

  8. Introduction Finite subset spaces Example: the circle The second finite subset space: Start with S 1 × S 1 1 Identify ( x , y ) and ( y , x ) 2 Result is a Möbius strip 3 ( x , x ) ∼ { x } Boundary is exp 1 S 1 (a circle) Glued edge is exp 2 ( S 1 , ∗ ) = { α ∈ exp 2 S 1 : ∗ ∈ α } (another circle) Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 4 / 15

  9. Introduction Finite subset spaces Example: the circle The second finite subset space: {∗ , y } Start with S 1 × S 1 1 Identify ( x , y ) and ( y , x ) 2 Result is a Möbius strip 3 Boundary is exp 1 S 1 (a circle) Glued edge is exp 2 ( S 1 , ∗ ) = { α ∈ exp 2 S 1 : ∗ ∈ α } (another circle) Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 4 / 15

  10. Introduction Finite subset spaces Example: the circle The second finite subset space: Start with S 1 × S 1 1 Identify ( x , y ) and ( y , x ) 2 Result is a Möbius strip 3 Boundary is exp 1 S 1 (a circle) Glued edge is exp 2 ( S 1 , ∗ ) = { α ∈ exp 2 S 1 : ∗ ∈ α } (another circle) Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 4 / 15

  11. Introduction Cell structures Cell structures: lego for topologists Instructions for exp 2 S 1 : Materials One 0-cell v Two 1-cells e 1 , e 2 One 2-cell f 1 Method Glue ends of e 1 , e 2 to v . Glue on boundary of f along e 1 e − 2 2 . Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 5 / 15

  12. Introduction Cell structures Cell structures: lego for topologists Instructions for exp 2 S 1 : e 2 Materials One 0-cell v Two 1-cells e 1 , e 2 One 2-cell f 1 Method Glue ends of e 1 , e 2 to v . v Glue on boundary of f along e 1 e − 2 2 . e 1 f Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 5 / 15

  13. Introduction Cell structures Cell structures: lego for topologists Instructions for exp 2 S 1 : e 2 Materials One 0-cell v Two 1-cells e 1 , e 2 One 2-cell f 1 Method Glue ends of e 1 , e 2 to v . v Glue on boundary of f along e 1 e − 2 2 . e 1 f Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 5 / 15

  14. Introduction Cell structures Cell structures: lego for topologists Instructions for exp 2 S 1 : e 2 Materials One 0-cell v Two 1-cells e 1 , e 2 One 2-cell f 1 Method Glue ends of e 1 , e 2 to v . v Glue on boundary of f along e 1 e − 2 2 . e 1 f Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 5 / 15

  15. Introduction Cell structures Cell structures: more formally speaking A cell structure builds X inductively from simple pieces: Start with some vertices (the 0-skeleton ) At i th step, glue on i -dimensional balls (i-cells) using attaching maps defined on their boundaries. Result is the i -skeleton. X is an n-complex if process stops at n th-step. Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 6 / 15

  16. Introduction Homology Cellular homology: counting the holes Given a cell structure for a space X : i -chains: linear combinations of i -cells ∂ : boundary map from i -chains to ( i − 1 ) -chains i -cycles: i -chains with boundary 0 boundaries: images of ∂ ∂ 2 = 0 so every boundary is a cycle = ⇒ can define H i ( X ) = i -chains mod i -boundaries = ker ∂ i / image ∂ i + 1 . (Depends on choice of co-efficient group, but not cell structure) Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 7 / 15

  17. Introduction Homology Cellular homology: counting the holes Given a cell structure for a space X : i -chains: linear combinations of i -cells 1 1 ∂ : boundary map from i -chains to ( i − 1 ) -chains 3 i -cycles: i -chains with boundary 0 − 1 2 boundaries: images of ∂ ∂ 2 = 0 so every boundary is a cycle = ⇒ can define H i ( X ) = i -chains mod i -boundaries = ker ∂ i / image ∂ i + 1 . (Depends on choice of co-efficient group, but not cell structure) Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 7 / 15

  18. Introduction Homology Cellular homology: counting the holes Given a cell structure for a space X : − 1 i -chains: linear combinations of i -cells 1 1 ∂ : boundary map from i -chains − 2 to ( i − 1 ) -chains 1 3 i -cycles: i -chains with boundary 0 − 1 2 boundaries: images of ∂ 2 ∂ 2 = 0 so every boundary is a cycle = ⇒ can define H i ( X ) = i -chains mod i -boundaries = ker ∂ i / image ∂ i + 1 . (Depends on choice of co-efficient group, but not cell structure) Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 7 / 15

  19. Introduction Homology Cellular homology: counting the holes Given a cell structure for a space X : i -chains: linear combinations of i -cells y x ∂ : boundary map from i -chains to ( i − 1 ) -chains x y i -cycles: i -chains with boundary 0 x y boundaries: images of ∂ ∂ 2 = 0 so every boundary is a cycle = ⇒ can define H i ( X ) = i -chains mod i -boundaries = ker ∂ i / image ∂ i + 1 . (Depends on choice of co-efficient group, but not cell structure) Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 7 / 15

  20. Introduction Homology Cellular homology: counting the holes Given a cell structure for a space X : i -chains: linear combinations of i -cells x �������� �������� ∂ : boundary map from i -chains �������� �������� �������� �������� �������� �������� to ( i − 1 ) -chains x x �������� �������� �������� �������� i -cycles: i -chains with boundary 0 �������� �������� �������� �������� x boundaries: images of ∂ ∂ 2 = 0 so every boundary is a cycle = ⇒ can define H i ( X ) = i -chains mod i -boundaries = ker ∂ i / image ∂ i + 1 . (Depends on choice of co-efficient group, but not cell structure) Christopher Tuffley (Massey University) Cell structures for finite subset spaces ANZMC08 7 / 15

Recommend


More recommend