# Am I missing something in Baby Rudin Theorems 2.38 - 2.40?

So I'm reviewing baby Rudin in studying for an Intro Exam for PhD program. I'm in Chapter 2, specifically theorems 2.38 - 2.40. Having independently done the proofs prior to these theorems, I am wondering why a simpler approach is not warranted.

Consider Theorem 2.38: If $\{I_n\}$ is a sequence of intervals in $R^1$, such that $I_n$ contains $I_{n+1}$ ($n = 1, 2, 3, \dots$), then infinite intersection of the sets $I_n$ is not empty.

By Rudin's definition of interval in definition 2.17, the interval is a closed set in $R^1$. Since $R^1$ is a metric space, the intervals $I_n$ are thus compact sets. So isn't Theorem 2.38 just the corollary to Theorem 2.36 directly above on the page? Why go through the proof Rudin uses to prove Theorem 2.38.

I must be missing something basic?

-
"Since R is a metric space" is not a valid argument: closed subset of a metric space need not be compact. // Welcome to Math.SE – user53153 Jan 9 '13 at 14:56
For those that don't have the book can you add theorem 2.36. – AvatarOfChronos Jan 9 '13 at 14:57
Thanks Pavel M!! That's my misunderstanding - I mashed together Theorems 2.34 and 2.35, thinking a closed subset of a metric space is compact. In R^1 the set would have to be both closed and bounded to be compact. – Chad Hawes Jan 9 '13 at 14:59
At this point in the text, it hasn't been established that closed, bounded sets in $\Bbb R$ are compact. – David Mitra Jan 9 '13 at 14:59
We never used Rudin's books to study in my university (at least back then), and some years after I graduated I needed to check some stuff for a calculus course I taught and I didn't find it comfortable for me...and upon reading this question and Rudin's book I know now why: his definitions (e.g., "interval") are sometimes quite different from almost any other books', theorem 2.36 is a particular case of a rather important characterization of general compact topological spaces, very handy for proving Tychonov's theorem but pretty weird in this particular spot, etc. – DonAntonio Jan 9 '13 at 15:14