search

pi-base / data

A community database of topological counterexamples
https://topology.pi-base.org/
Creative Commons Attribution 4.0 International
72 stars 26 forks source link

T622: Ultraconnected compact spaces have a focal point #950

Closed prabau closed 1 day ago

prabau commented 1 day ago

New T622: Ultraconnected + compact + not empty ==> has a focal point.

That seemed simple enough to not warrant a mathse post.

Will provide a simple derivation that S100 is not compact (upcoming in #948).

Also will derive that S118 (integer broom) has a focal point.

prabau commented 1 day ago

@danflapjax Can you also review and merge? Sorry David, but only people with write access can do the merge. Soon :-)

david20000813 commented 1 day ago

@prabau I realized. I did the review sort of as a test to see if I can do reviews yet, but unfortunately not.

prabau commented 1 day ago

@prabau I realized. I did the review sort of as a test to see if I can do reviews yet, but unfortunately not.

Well, you can do a review and add comments and approve if you think it's ready to go. That is very valuable information. It is just that one also needs an additional (pro-forma) review from someone with write access.