Skip to content

Commit aedefd0

Browse files
authored
Circle and Sphere are CW complexes (#1797)
1 parent 956040c commit aedefd0

2 files changed

Lines changed: 29 additions & 0 deletions

File tree

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
---
2+
space: S000169
3+
property: P000240
4+
value: true
5+
refs:
6+
- zb: "1044.55001"
7+
name: Algebraic Topology (Hatcher)
8+
- wikipedia: Suspension_(topology)
9+
name: Suspension on Wikipedia
10+
---
11+
12+
13+
The circle can be given a CW complex structure by associating one $0$-cell and one $2$-cell: Start with $X_0=\{*\}$, then attach a $2$-cell $D^2$ by identifying the boundary $\partial D^2$ with the $0$-cell (define $f_2: \partial D^2 \to X_0$ by $f_2(\partial D^2) = *$.)
14+
15+
Equivalently, this follows from the fact that CW complexes are preserved under suspensions, and since the sphere is a suspension of {S170}, which is a CW complex {S170|P240}.
16+
17+
See Example 0.3 in {{zb:1044.55001}}.
Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
---
2+
space: S000170
3+
property: P000240
4+
value: true
5+
refs:
6+
- zb: "1044.55001"
7+
name: Algebraic Topology (Hatcher)
8+
---
9+
10+
The circle can be given a CW complex structure by associating one $0$-cell and one $1$-cell: Start with $X_0=\{*\}$, then attach a $1$-cell $D^1 = [-1,1]$ by identifying both boundary points with the $0$-cell (define $f_1: \partial D^1 \to X_0$ by $f_1(\pm 1) = *$.)
11+
12+
See Example 0.3 in {{zb:1044.55001}}.

0 commit comments

Comments
 (0)