Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Reading through Big Rudin, I have come across the following statement in the proof of Theorem 1.40:

Let $S \subset \mathbb{C}$ be a closed set [in the topology induced by the complex modulus]. Let $\Delta = \{z \in \mathbb{C}: |z-\alpha|\leq \epsilon\}$ be a closed disc about the point $z \in \mathbb{C}-S$. Then $\mathbb{C}-S$ is given by a countable union of closed discs $\Delta$.

An (arbitrary) open set is the union of a countable number of closed sets? This seems like an error to me, but I can find no mention of it online. For what its worth, the proof seems to work if we take $\Delta$ to be an open disc, as the standard topology on $\mathbb{C}$ is second-countable.

Edit: Does Anyone know of a good errata for the book? The only ones making themselves known are for Baby Rudin.

share|improve this question
add comment

1 Answer 1

up vote 2 down vote accepted

An arbitrary open set of $\mathbb{C}$ is a countable union of open balls - specifically, if $U\subseteq \mathbb{C}$ is open, then $U$ is the union of the "rational" open balls contained in $U$, that is, those open balls whose centers are complex numbers whose real and imaginary parts are rational, and whose radii are rational (since $\mathbb{Q}$ is countable, there can only be countably many such open balls). Now note that any open ball is a countable union of closed balls - specifically, $\{z\in\mathbb{C}:|z-\alpha|<\epsilon\}$ is equal to the union $$\bigcup_{n\in\mathbb{N}}\{z\in\mathbb{C}:|z-\alpha|\leq\epsilon-\tfrac{1}{n}\}.$$ Lastly, note that a countable union of countable unions is still a countable union.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.