-
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
Munkres space #682
Comments
For comparison, some spaces with these properties already in pi-base: Not determined yet (note the use of the question mark in the search): |
Yeah, S87 is P6. |
I am also reading about Brian's example (S171) (https://mathoverflow.net/a/416752/506958) and noticed that it has not been added yet that it is not regular, since [first countable + T_3 + Lindelöf + scattered --> countable] and this space is [first countable + T_2 + Lindelöf + scattered + uncountable]. Furthermore, from how he deduces that the space is T_2 (the rational Euclidean-open intervals are still open in the topology, i.e., it refines the usual topology on R), we could also deduce that the space is Functionally Hausdorff. (I know that the theme of this issue is T_3 + ~Functionally Hausdorff, but still wanted to mention this here). |
Actually, as ~regular is automatically deduced from that, but it didn't show up in the list, that means that the theorem could be added, instead of just setting regular to false in the space. |
I was thinking about the same thing. I agree that it's better to deduce that Brian's example is not regular from a theorem. https://mathoverflow.net/questions/416331 claims that [first countable + T_3 + Lindelöf + scattered --> countable], which pi-base cannot deduce at the moment. Why is that true? Can some of the hypotheses be weakened? Maybe mathse has a related question already? |
Already, since scattered implies T_0, T_3 can be relaxed to regular. Regards more weakenings, I am unsure yet. We have examples of spaces that verify 3 of the conditions but 1 and aren't countable. |
Check: In our case, since (X, T) is regular, each point has a closed neighborhoods basis, and as it is first countable, then each point has a countable closed neighborhoods basis. Now, as scattered implies T_0 and (X, T) is regular, (X, T) is T_3 so, it is also T_2 and, therefore, each singleton is equal to the intersection of its closed neighborhoods. So each singleton is a G_{\delta} set, as it is equal to the intersection of the closed neighborhoods of a countable closed neighborhoods basis that the point has. (Correct me if I am wrong). |
Very nice! I have not read the article yet, but it would be good to have a more direct proof of this Corollary 2.5. Worth asking on mathse. In any case, the property "Every point is a You have now opened two good issues with many suggestions. Is that something you could work on, even if part of it? If so, what is your plan for implementation? |
Not sure I completely follow this. Isn't easier to use the fact that in a T1 first countable space each point is a |
Yeah, you are right. |
Sure, I will try to work on it or help to. I am unsure yet how should we proceed with this. But when it comes to S92 and S87, we can make the respective updates directly, and, regards Brian's example, the property Functionally Hausdorff can be updated too, though there are more examples that are a refinement of the usual topology, so maybe this could be made as a property too and automatize the consequent implications it makes. |
A general comment about implementing things. A big bang approach is to be avoided. It is much more manageable to have several smaller independent pull requests (PR) that can be reviewed and incorporated more quickly. So reasonable to me would be one PR for S87, which can also update the related S191 (Dieudonne plank). (in particular, S191 is Tychonoff, hence so is S87 since it's a hereditary property.) Another PR for S92. (Note: these can be done in parallel on branches forked off the same main branch, as they are independent of each other.) I would leave the Munkres example alone for now, but can be done later if desired. For Brian's example, there is no rush. I would first do a separate PR to introduce the countable pseudocharacter property and a few basic related theorems. Once this is released, another PR for the Corollary 2.5 you mentioned. And finally another PR for changes to Brian's example. (And also later more PR for cleanup/tightening of traits of existing spaces based on the new pseudocharacter property). These are just suggestions. There is no rush for any of that, so you can do it as slow or as fast as you want. I try to give comments in a timely manner. Unfortunately, it seems that some of the other reviewers are often busy and it can take time to get feedback :-( |
Alright, I will follow the plan at my pace. Thank you for your help and labour. As a noob, it is hard for me to work xD. By experience, your feedback is always great enough, so it is alright, although I know that it is always good to have more feedback when it is possible. |
Just chiming in to say "points-$G_\delta$" is a good property to have in pi-Base; I recall it coming up in the study of various limited info strategies for the Rothberger covering game I did a few years back. And of course |
Added #692. It could possibly be useful to get a direct proof of Gewand's Corollary 2.5. |
The conjecture is scattered+points Gdelta => locally countable? |
Is the assertion that |
I asked this quesiton on Math SE: https://math.stackexchange.com/questions/4945902/must-scattered-spaces-with-points-g-delta-be-locally-countable |
Should we ask further in mathse for a more direct proof of the Corollary 2.5? |
I took a look and I think it would be worth asking for a more direct proof of Cor 2.5 on mathse. That will simplify the argument a little. |
I think the original topic here is addressed, so I'm closing this issue. Please open a new issue to continue any of the side discussions though! |
Hmm, the main thing here was going to add Corollary 2.5 from Gewand. Seems premature to close this. |
No worries, reopening with appropriate title for the issue. |
@prabau @StevenClontz I have read that part of the book again. Let (Before going on, As a consequence of the Theorem 2.2 (X is |
This following thing is off-topic: I understand the symbol What notation is more accepted or extended? |
That's why I usually use |
Just ask a question on mathse, so we can get a self-contained proof of the corollary, without having to rely on the other results of the article. I can answer with a direct proof of it that is not difficult. Or what do you prefer to do? |
Yeah, I asked this after reading the definition of the space S14. |
Sure, I will ask it. The problem is that I don't know how to ask it so that it doesn't get too downvoted. |
No big deal. We can fix this together with some other stuff at any time. |
Suggestion: a$T_3$ space that is not functionally Hausdorff
Munkres, J. R. (2013). Topology: Pearson New International Edition.
The text was updated successfully, but these errors were encountered: