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

Theorem Suggestion: Čech-complete spaces are Baire #929

Open david20000813 opened 1 week ago

david20000813 commented 1 week ago

Theorem Suggestion

If a space is:

then it is Baire, P64.

Rationale

This theorem would demonstrate that no spaces satisfy the following search:

https://topology.pi-base.org/spaces?q=%C4%8Cech+complete+%26not+Baire

Proof/References

Asserted in Theorem 3.9.3 of 1.