Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

several easy homogeneous results #789

Merged
merged 2 commits into from
Oct 7, 2024
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
7 changes: 7 additions & 0 deletions spaces/S000015/properties/P000086.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
---
space: S000015
property: P000086
value: true
---

Follows by construction.
7 changes: 7 additions & 0 deletions spaces/S000017/properties/P000086.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
---
space: S000017
property: P000086
value: true
---

Follows by construction.
7 changes: 7 additions & 0 deletions spaces/S000018/properties/P000086.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
---
space: S000018
property: P000086
value: true
---

Follows as it is the product of {P86} spaces.
7 changes: 7 additions & 0 deletions spaces/S000019/properties/P000086.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
---
space: S000019
property: P000086
value: true
---

Follows by construction (since {S25} is).
7 changes: 7 additions & 0 deletions spaces/S000038/properties/P000086.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
---
space: S000038
property: P000086
value: false
---

Every point except $\langle 0,0 \rangle$ is a cut point, and $\langle 0,0 \rangle$ is not.
9 changes: 9 additions & 0 deletions spaces/S000039/properties/P000086.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
---
space: S000039
property: P000086
value: false
---

Follows as $\langle 1,0 \rangle$ is a cut point but $\langle 0,0 \rangle$ is not.
Alternatively, $\langle \omega_1,0 \rangle$ is the unique point at which the space
is not {P28}.
9 changes: 9 additions & 0 deletions spaces/S000040/properties/P000086.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
---
space: S000040
property: P000086
value: false
---

Follows as $\langle 1,0 \rangle$ is a cut point but $\langle 0,0 \rangle$ is not.
Alternatively, $\infty$ is the unique point at which the space
is not {P28}.
7 changes: 7 additions & 0 deletions spaces/S000041/properties/P000086.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
---
space: S000041
property: P000086
value: false
---

Follows as $\langle 0,1 \rangle$ is a cut point but $\langle 0,0 \rangle$ is not.
7 changes: 7 additions & 0 deletions spaces/S000042/properties/P000086.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
---
space: S000042
property: P000086
value: true
---

Follows by construction.
7 changes: 7 additions & 0 deletions spaces/S000044/properties/P000086.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
---
space: S000044
property: P000086
value: false
---

$1$ is a closed point, but $1/3$ is not.
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

$1$ doesn't belong to the space, so this needs to be fixed. I'll address in #791

7 changes: 7 additions & 0 deletions spaces/S000045/properties/P000086.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
---
space: S000045
property: P000086
value: false
---

$0$ belongs to every nonempty open set, but $1$ does not.