Register to reply

A mistake from Rudin analysis?

by jessicaw
Tags: analysis, mistake, rudin
Share this thread:
Oct5-10, 11:22 AM
P: 56
Let [tex] B_n=\cup_{i=1}^n A_i [/tex].
[tex] \overline{B_n}[/tex] is the smallest closed subset containing [tex] B_n[/tex].
Note that
[tex]\cup_{i=1}^n \overline{A_i}[/tex] is a closed subset containing [tex] B_n[/tex].
[tex] \overline{B_n}\supset \cup_{i=1}^n \overline{A_i}[/tex]

Isn't the truth should be that
[tex] \overline{B_n}[/tex] is the smallest?
How come claim that
[tex]\cup_{i=1}^n \overline{A_i}[/tex] is even smaller?
Phys.Org News Partner Science news on
Wildfires and other burns play bigger role in climate change, professor finds
SR Labs research to expose BadUSB next week in Vegas
New study advances 'DNA revolution,' tells butterflies' evolutionary history
Oct5-10, 12:01 PM
Sci Advisor
P: 905
I agree; the fact that the union of closures is a closed subset containing B_n, combined with minimality of cl(B_n), gives
[tex] \overline{B_n}\subset \cup_{i=1}^n \overline{A_i}.[/tex]
In fact the reversed inclusion
[tex] \overline{B_n}\supset \cup_{i=1}^n \overline{A_i}[/tex]
also holds if the union is finite (i.e. the closure operation distributes over finite unions), but not if the union is infinite. But that requires a different argument, so I don't know what Rudin is doing (I don't have his book).
Oct5-10, 01:32 PM
Sci Advisor
P: 905
For example, we could argue as follows:
[tex]A_i\subseteq \overline{A_i}\ \forall i[/tex]

[tex]\Rightarrow \bigcup_i A_i\subseteq \bigcup_i \overline{A_i}[/tex]

[tex]\Rightarrow \overline{\bigcup_i A_i}\subseteq \overline{\bigcup_i \overline{A_i}}[/tex]

A finite union of closed sets is closed, so if I is finite then

[tex]\overline{\bigcup_i \overline{A_i}}=\bigcup_i \overline{A_i}[/tex]

which proves the reversed inclusion

[tex]\overline{\bigcup_i A_i}\subseteq \bigcup_i \overline{A_i}.[/tex]

However, an infinite union of closed sets is not necessarily closed, making this argument stop working. Indeed, consider

[tex]I=\mathbb{Q},\ A_q=\{q\}.[/tex]




[tex]\overline{\bigcup_{q\in I}A_q}=\overline{\mathbb{Q}}=\mathbb{R}[/tex]

[tex]\bigcup_{q\in I}\overline{\{q\}}=\mathbb{Q}.[/tex]

Register to reply

Related Discussions
Real Analysis (Rudin) exercise with inequalities Calculus & Beyond Homework 1
Functional Analysis (Big Rudin) Differential Geometry 1
What's to come after little rudin? Calculus 10
Approaching Rudin/Analysis Calculus 4
Real analysis problems (Rudin) Calculus & Beyond Homework 1