Suppose I define sets [itex]D_n = \lbrace x \in [0,1] | [/itex] x has an n-digit long binary expansion [itex]\rbrace [/itex].(adsbygoogle = window.adsbygoogle || []).push({});

Now consider [itex]\bigcup_{n \in \mathbb{N}} D_n[/itex]. This is just the set of Dyadic rationals and therefore countable for sure.

Now for the question: is this equal to [itex]\bigcup_{n = 0}^{\infty} D_n[/itex]? Clearly we have [itex] D_1 \subset D_2 \subset ... \subset D_n [/itex] so I am tempted to think of this as [itex] \lim_{n \rightarrow \infty} D_n [/itex]. If I am allowed to take the limit, then it would seem that [itex]\bigcup_{n = 0}^{\infty} D_n = [0,1][/itex]. Where am I doing a naughty physicist mistake?

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

Join Physics Forums Today!

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

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

# Limits in infinite unions of sets

Loading...

Similar Threads - Limits infinite unions | Date |
---|---|

A Averaging over the upper sum limit of a discrete function | Jan 7, 2018 |

I Central limit theorem, panel study | Mar 25, 2017 |

A Scientific method to calculate the time limits of a task | Feb 26, 2017 |

I Validity of replacing X by E[X] in a formula | Dec 16, 2016 |

Limit definition and infinitely often | Dec 1, 2012 |

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