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

metrizable + realcompact => non-measurable cardinality #632

Open Moniker1998 opened 3 months ago

Moniker1998 commented 3 months ago

Hi I'd like to replace theorem 394 by the stronger

P53 metrizable + P162 realcompact => P164 non-measurable

I don't think it exists in literature, here's the math stackexchange link for the proof

I've also asked for a better reference of this here

Moniker1998 commented 3 months ago

I've got a response, K.P. Hart gave a very simple proof of this using Shirota's theorem See here I think this answer would be great for a reference. Shirota's theorem can be found in Gillman and Jerison