Without axiom of choice, is there a surjective homomorfism $ (\mathbb{R},+)\rightarrow(\mathbb{Q},+) $ ?
Or some nontrivial homomorphism?
Without axiom of choice, is there a surjective homomorfism $ (\mathbb{R},+)\rightarrow(\mathbb{Q},+) $ ?
Or some nontrivial homomorphism?
Copyright © 2021 JogjaFile Inc.
No.
If every set of reals has the Baire property, then every group homomorphism from the reals into the rationals is continuous, and therefore trivial.
This assumption is consistent, as shown by Solovay. Even with Dependent Choice.