Skip to content

Commit

Permalink
Complete the problem
Browse files Browse the repository at this point in the history
  • Loading branch information
ceciliachan1979 committed Mar 5, 2024
1 parent fd9a4ef commit 39cefdf
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions Books/BabyRudin/Chapter02/ex16.cecilia.tex
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ \subsection*{Exercise 16 (Cecilia)}

if $ a \in \mathbb{Q} $ and $ a^2 < 2 $, let $ d = \sqrt{2} - a $, then the neighborhood $ N_d(a) $ does not intersect $ E $, therefore $ a $ is not a limit point of $ E $.

Similarly, if $ b \in \mathbb{Q} $ and $ b^2 > 2 $, let $ d = b - \sqrt{3} $, then the neighborhood $ N_d(a) $ does not intersect $ E $, therefore $ b $ is not a limit point of $ E $.
Similarly, if $ b \in \mathbb{Q} $ and $ b^2 > 2 $, let $ d = b - \sqrt{3} $, then the neighborhood $ N_d(b) $ does not intersect $ E $, therefore $ b $ is not a limit point of $ E $.

Therefore $ E^c $ does not contain any limit point of $ E $, and so $ E $ contains all its limit points and is closed.

Expand All @@ -21,4 +21,6 @@ \subsection*{Exercise 16 (Cecilia)}

Any finite subcover of the open cover will have a maximum rational number $ p $ such that $ p^2 < 3 $, and by theorem 1.20b again, there exists a rational number $ q $ such that $ p < q < \sqrt{3} $, and so $ q \notin (0, p) $, and so the finite subcover does not cover $ E $.

Therefore $ E $ is not compact.
Therefore $ E $ is not compact.

For any $ p \in E $, the neighborhood $ N_{min(p-\sqrt{2}, \sqrt{3}-p)}(p) $ does not intersect $ E^c $, and so $ p $ is an interior point of $ E $, which means $ E $ is open.

0 comments on commit 39cefdf

Please sign in to comment.