I understand that showing [itex]\mathbb Q[/itex] is not a [itex]G_\delta[/itex] set is quite a non-trivial exercise, involving (among other things) an invocation of the Baire category theorem. Do any of you guys know it, or know where I can find it online? I'd really appreciate it. Thanks!(adsbygoogle = window.adsbygoogle || []).push({});

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Proof that the rationals are not a G_\delta set.

Loading...

Similar Threads - Proof rationals G_delta | Date |
---|---|

B Proof of a limit rule | Dec 19, 2017 |

B Proof of quotient rule using Leibniz differentials | Jun 10, 2017 |

Proof that the rationals are dense | Jun 18, 2011 |

Proof rational integral | Feb 18, 2010 |

**Physics Forums - The Fusion of Science and Community**