Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion spaces/S000169/properties/P000016.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,4 @@ property: P000016
value: true
---

This space is a closed and bounded subspace of the Euclidean space $\mathbb{R}^3$.
This space is a closed and bounded subspace of the Euclidean space $\mathbb{R}^3$.
8 changes: 0 additions & 8 deletions spaces/S000169/properties/P000086.md

This file was deleted.

7 changes: 0 additions & 7 deletions spaces/S000169/properties/P000137.md

This file was deleted.

1 change: 1 addition & 0 deletions spaces/S000169/properties/P000199.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,4 +6,5 @@ refs:
- zb: "1044.55001"
name: Algebraic Topology (Hatcher)
---

This is a consequence of Corollary 2.14 and the statement after Corollary 2.11 of {{zb:1044.55001}}.
2 changes: 1 addition & 1 deletion spaces/S000169/properties/P000240.md
Original file line number Diff line number Diff line change
Expand Up @@ -14,4 +14,4 @@ The circle can be given a CW complex structure by associating one $0$-cell and o

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}.

See Example 0.3 in {{zb:1044.55001}}.
See Example 0.3 in {{zb:1044.55001}}.
2 changes: 1 addition & 1 deletion spaces/S000170/properties/P000240.md
Original file line number Diff line number Diff line change
Expand Up @@ -9,4 +9,4 @@ refs:

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) = *$.)

See Example 0.3 in {{zb:1044.55001}}.
See Example 0.3 in {{zb:1044.55001}}.
Loading