From ea6847955b0734a80e9039bacd7e7236bafa15c9 Mon Sep 17 00:00:00 2001 From: Geoffrey Sangston Date: Thu, 31 Oct 2024 22:27:31 -0400 Subject: [PATCH 1/2] Adds contractible = true to spaces with excluded/particular point topologies. --- spaces/S000007/properties/P000199.md | 7 +++++++ spaces/S000008/properties/P000199.md | 7 +++++++ spaces/S000009/properties/P000199.md | 7 +++++++ spaces/S000010/properties/P000199.md | 7 +++++++ spaces/S000011/properties/P000199.md | 7 +++++++ spaces/S000012/properties/P000199.md | 7 +++++++ spaces/S000013/properties/P000199.md | 7 +++++++ 7 files changed, 49 insertions(+) create mode 100644 spaces/S000007/properties/P000199.md create mode 100644 spaces/S000008/properties/P000199.md create mode 100644 spaces/S000009/properties/P000199.md create mode 100644 spaces/S000010/properties/P000199.md create mode 100644 spaces/S000011/properties/P000199.md create mode 100644 spaces/S000012/properties/P000199.md create mode 100644 spaces/S000013/properties/P000199.md diff --git a/spaces/S000007/properties/P000199.md b/spaces/S000007/properties/P000199.md new file mode 100644 index 0000000000..91ff058f3b --- /dev/null +++ b/spaces/S000007/properties/P000199.md @@ -0,0 +1,7 @@ +--- +space: S000007 +property: P000199 +value: true +--- + +The only closed set containing the particular point is $X$. Then apply Lemma 2.3.2 of [J. P. May's *Finite spaces and larger contexts*](https://math.uchicago.edu/~may/FINITE/FINITEBOOK/FINITEBOOKCollatedDraft.pdf). diff --git a/spaces/S000008/properties/P000199.md b/spaces/S000008/properties/P000199.md new file mode 100644 index 0000000000..9d90f86376 --- /dev/null +++ b/spaces/S000008/properties/P000199.md @@ -0,0 +1,7 @@ +--- +space: S000008 +property: P000199 +value: true +--- + +The only closed set containing the particular point is $X$. Then apply Lemma 2.3.2 of [J. P. May's *Finite spaces and larger contexts*](https://math.uchicago.edu/~may/FINITE/FINITEBOOK/FINITEBOOKCollatedDraft.pdf). diff --git a/spaces/S000009/properties/P000199.md b/spaces/S000009/properties/P000199.md new file mode 100644 index 0000000000..4e39bae22c --- /dev/null +++ b/spaces/S000009/properties/P000199.md @@ -0,0 +1,7 @@ +--- +space: S000009 +property: P000199 +value: true +--- + +The only closed set containing the particular point is $X$. Then apply Lemma 2.3.2 of [J. P. May's *Finite spaces and larger contexts*](https://math.uchicago.edu/~may/FINITE/FINITEBOOK/FINITEBOOKCollatedDraft.pdf). diff --git a/spaces/S000010/properties/P000199.md b/spaces/S000010/properties/P000199.md new file mode 100644 index 0000000000..1b7802e3d8 --- /dev/null +++ b/spaces/S000010/properties/P000199.md @@ -0,0 +1,7 @@ +--- +space: S000010 +property: P000199 +value: true +--- + +The Sierpinski space has an excluded point topology. The only open set containing the excluded point is $X$. Then apply Lemma 2.3.2 of [J. P. May's *Finite spaces and larger contexts*](https://math.uchicago.edu/~may/FINITE/FINITEBOOK/FINITEBOOKCollatedDraft.pdf). diff --git a/spaces/S000011/properties/P000199.md b/spaces/S000011/properties/P000199.md new file mode 100644 index 0000000000..849aeabfb0 --- /dev/null +++ b/spaces/S000011/properties/P000199.md @@ -0,0 +1,7 @@ +--- +space: S000011 +property: P000199 +value: true +--- + +The only open set containing the excluded point is $X$. Then apply Lemma 2.3.2 of [J. P. May's *Finite spaces and larger contexts*](https://math.uchicago.edu/~may/FINITE/FINITEBOOK/FINITEBOOKCollatedDraft.pdf). diff --git a/spaces/S000012/properties/P000199.md b/spaces/S000012/properties/P000199.md new file mode 100644 index 0000000000..4bb9bca49b --- /dev/null +++ b/spaces/S000012/properties/P000199.md @@ -0,0 +1,7 @@ +--- +space: S000012 +property: P000199 +value: true +--- + +The only open set containing the excluded point is $X$. Then apply Lemma 2.3.2 of [J. P. May's *Finite spaces and larger contexts*](https://math.uchicago.edu/~may/FINITE/FINITEBOOK/FINITEBOOKCollatedDraft.pdf). diff --git a/spaces/S000013/properties/P000199.md b/spaces/S000013/properties/P000199.md new file mode 100644 index 0000000000..17fd8cad0a --- /dev/null +++ b/spaces/S000013/properties/P000199.md @@ -0,0 +1,7 @@ +--- +space: S000013 +property: P000199 +value: true +--- + +The only open set containing the excluded point is $X$. Then apply Lemma 2.3.2 of [J. P. May's *Finite spaces and larger contexts*](https://math.uchicago.edu/~may/FINITE/FINITEBOOK/FINITEBOOKCollatedDraft.pdf). From ebecd098e3bffdeece38d7df8ae504f06d5659c9 Mon Sep 17 00:00:00 2001 From: Geoffrey Sangston Date: Sun, 3 Nov 2024 13:56:06 -0500 Subject: [PATCH 2/2] Step 1 of #847 comment: Remove files from previous commit. --- spaces/S000007/properties/P000199.md | 7 ------- spaces/S000008/properties/P000199.md | 7 ------- spaces/S000009/properties/P000199.md | 7 ------- spaces/S000010/properties/P000199.md | 7 ------- spaces/S000011/properties/P000199.md | 7 ------- spaces/S000012/properties/P000199.md | 7 ------- spaces/S000013/properties/P000199.md | 7 ------- 7 files changed, 49 deletions(-) delete mode 100644 spaces/S000007/properties/P000199.md delete mode 100644 spaces/S000008/properties/P000199.md delete mode 100644 spaces/S000009/properties/P000199.md delete mode 100644 spaces/S000010/properties/P000199.md delete mode 100644 spaces/S000011/properties/P000199.md delete mode 100644 spaces/S000012/properties/P000199.md delete mode 100644 spaces/S000013/properties/P000199.md diff --git a/spaces/S000007/properties/P000199.md b/spaces/S000007/properties/P000199.md deleted file mode 100644 index 91ff058f3b..0000000000 --- a/spaces/S000007/properties/P000199.md +++ /dev/null @@ -1,7 +0,0 @@ ---- -space: S000007 -property: P000199 -value: true ---- - -The only closed set containing the particular point is $X$. Then apply Lemma 2.3.2 of [J. P. May's *Finite spaces and larger contexts*](https://math.uchicago.edu/~may/FINITE/FINITEBOOK/FINITEBOOKCollatedDraft.pdf). diff --git a/spaces/S000008/properties/P000199.md b/spaces/S000008/properties/P000199.md deleted file mode 100644 index 9d90f86376..0000000000 --- a/spaces/S000008/properties/P000199.md +++ /dev/null @@ -1,7 +0,0 @@ ---- -space: S000008 -property: P000199 -value: true ---- - -The only closed set containing the particular point is $X$. Then apply Lemma 2.3.2 of [J. P. May's *Finite spaces and larger contexts*](https://math.uchicago.edu/~may/FINITE/FINITEBOOK/FINITEBOOKCollatedDraft.pdf). diff --git a/spaces/S000009/properties/P000199.md b/spaces/S000009/properties/P000199.md deleted file mode 100644 index 4e39bae22c..0000000000 --- a/spaces/S000009/properties/P000199.md +++ /dev/null @@ -1,7 +0,0 @@ ---- -space: S000009 -property: P000199 -value: true ---- - -The only closed set containing the particular point is $X$. Then apply Lemma 2.3.2 of [J. P. May's *Finite spaces and larger contexts*](https://math.uchicago.edu/~may/FINITE/FINITEBOOK/FINITEBOOKCollatedDraft.pdf). diff --git a/spaces/S000010/properties/P000199.md b/spaces/S000010/properties/P000199.md deleted file mode 100644 index 1b7802e3d8..0000000000 --- a/spaces/S000010/properties/P000199.md +++ /dev/null @@ -1,7 +0,0 @@ ---- -space: S000010 -property: P000199 -value: true ---- - -The Sierpinski space has an excluded point topology. The only open set containing the excluded point is $X$. Then apply Lemma 2.3.2 of [J. P. May's *Finite spaces and larger contexts*](https://math.uchicago.edu/~may/FINITE/FINITEBOOK/FINITEBOOKCollatedDraft.pdf). diff --git a/spaces/S000011/properties/P000199.md b/spaces/S000011/properties/P000199.md deleted file mode 100644 index 849aeabfb0..0000000000 --- a/spaces/S000011/properties/P000199.md +++ /dev/null @@ -1,7 +0,0 @@ ---- -space: S000011 -property: P000199 -value: true ---- - -The only open set containing the excluded point is $X$. Then apply Lemma 2.3.2 of [J. P. May's *Finite spaces and larger contexts*](https://math.uchicago.edu/~may/FINITE/FINITEBOOK/FINITEBOOKCollatedDraft.pdf). diff --git a/spaces/S000012/properties/P000199.md b/spaces/S000012/properties/P000199.md deleted file mode 100644 index 4bb9bca49b..0000000000 --- a/spaces/S000012/properties/P000199.md +++ /dev/null @@ -1,7 +0,0 @@ ---- -space: S000012 -property: P000199 -value: true ---- - -The only open set containing the excluded point is $X$. Then apply Lemma 2.3.2 of [J. P. May's *Finite spaces and larger contexts*](https://math.uchicago.edu/~may/FINITE/FINITEBOOK/FINITEBOOKCollatedDraft.pdf). diff --git a/spaces/S000013/properties/P000199.md b/spaces/S000013/properties/P000199.md deleted file mode 100644 index 17fd8cad0a..0000000000 --- a/spaces/S000013/properties/P000199.md +++ /dev/null @@ -1,7 +0,0 @@ ---- -space: S000013 -property: P000199 -value: true ---- - -The only open set containing the excluded point is $X$. Then apply Lemma 2.3.2 of [J. P. May's *Finite spaces and larger contexts*](https://math.uchicago.edu/~may/FINITE/FINITEBOOK/FINITEBOOKCollatedDraft.pdf).