-
Notifications
You must be signed in to change notification settings - Fork 24
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
Property that open sets are totally ordered by set inclusion #796
Comments
I thought about this as a utility property. I think I see immediately that this property implies "hereditarily connected"; is the reverse true as well? Waving hands it makes sense: given every two points, they are either topologically indistinguishable, or a copy of the Sierpenski space, providing the specialization total ordering. If so, I think "hereditarily connected" sounds quite natural (as natural as "locally pseudometrizable") and could be added. |
I agree, "Has a totally ordered topology" and "Hereditarily connected" seem two good names for it. |
See https://www.acadsci.fi/mathematica/Vol03/vol03pp185-205.pdf, section 12 (theorems 22, 23, 24). |
Explicitly, if there exist two open sets where neither is a superset of the other, then their symmetric difference is disconnected. |
That is an excellent source. I was wondering if hyperconnected + completely normal were sufficient conditions but hadn't thought of a proof, so I'm glad to see it confirmed by Theorem 23. I'm also amused by the fact that they mention the exact space I had thought of to show that hyperconnected + normal/ultraconnected is not sufficient. I suppose it would be a good space to add to the database as well. (If we need a name, it's something like the meet of an included point space and an excluded point space, as long as the included and excluded points are different points, so perhaps "Meet of included and excluded point topologies on a four-point space" to model it after S195.) |
This makes the properly clearly appropriate for pi-Base, excellent. |
As the title says, I think it would be useful to have a property that for any two open sets$U,V$ , either $U\subseteq V$ or $V\subseteq U$ , i.e. $(\mathcal T_X,\subseteq)$ is a total order. While this suggestion is spurred by the recent additions of S199 and S200, this had been on my mind as it had come up in the book Spectral Spaces where it had been characterized as the specialization preorder being total. The property can also be seen as something like "hereditarily connected", i.e. every subspace is connected. It's the sort of property that won't have received much study in its own right, but it's straightforward and underpins several spaces such that I think it warrants inclusion, similar to P185 Partition topology.
Some consequences of the property:
The text was updated successfully, but these errors were encountered: