Skip to content
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

Trait Suggestion: 'Countable sigma-product of succesor to first uncountable ordinal' S181 is not Connected P36 #1040

Open
GeoffreySangston opened this issue Dec 9, 2024 · 1 comment
Labels

Comments

@GeoffreySangston
Copy link
Collaborator

GeoffreySangston commented Dec 9, 2024

Trait Suggestion

S000181 is not connected.

Proof/References

The projection $(\omega_1 + 1)^\omega \to \omega_1 + 1$ onto the first coordinate restricts to a surjective continuous map $\sigma(\omega_1 + 1)^\omega \to \omega_1 + 1$.

@GeoffreySangston GeoffreySangston changed the title Trait Suggestion: 'Countable sigma-product sigma(omega1+1)^omega' S181 is not Connected P36 Trait Suggestion: 'Countable sigma-product of succesor to first uncountable ordinal' S181 is not Connected P36 Dec 9, 2024
@GeoffreySangston
Copy link
Collaborator Author

GeoffreySangston commented Dec 10, 2024

I think it would be better to assert Totally separated actually, as Ordinal Spaces are Totally Separated, and Brian M. Scott shows that products of totally separated spaces are totally separated here.

I haven't changed the title yet just because I wanted to look for any further potential improvements before doing so.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant