search

pi-base / data

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

Thomas corkscrew (S92) is not Functionally T_2 (P9). #681

Closed Almanzoris closed 1 week ago

Almanzoris commented 1 week ago

Space 92.

It does not show up in the properties list of the space.

P12 set as false could be modified to P9 set as false, since the space is P1 and P6 implies P9.

prabau commented 1 week ago

Yeah, that would be a good improvement. And we can quote item 4 for space 94 in Steen & Seebach as justification, which is always better than just saying it's asserted in the General Reference Chart.

At the same time, we can also remove the trait for P129 (indiscrete) = F, which should be deducible.

Almanzoris commented 1 week ago

Alright.