1

Is this correct?

The length of, for example $(0, 1/n)$ as n appoaches infinity, doesn't reach 0 because it's not in the set. But, for the closed set it does because it is in the set?

Apologies for the duplicate question, but I'm having trouble with understanding the answers of others. Below is a link to a a similar question.

Why doesn't the nested interval theorem hold for open intervals?

Asaf Karagila
  • 405,794

2 Answers2

4

It is not that the intersection of a sequence of open nested intervals is always empty, just that it can be empty.

The quintessential example is the one you have given; define the sequence $(I_n)_{n\in\mathbb{N}}$ such that $I_n=(0,1/n)$. Question: If I pick a real number $x$, does it belong to the set $\cap_{n=1}^k I_n$? Only if $0<x<1/k$. Since the reals have the property that there are no non-zero infinitesimals, every real number $x$ has some natural number $k_x$ such that $x>1/k_x$.

Thus, eventually, after a finite number of intersections, $x$ will not belong to our set. Thus, if we take the entire intersection, no real number $x$ gets in our set, and we are empty.

I would ignore the lengths of the intervals for this particular portion of the problem; we only wish to demonstrate that the theorem for nested, closed, and bounded intervals cannot be generalized to nested, open, and bounded intervals.

4

It does not have to do with length. Think about any positive number $x$. By the archimedean property there is some natural $n$ s.t. $1/n<x$, in particular,$x\notin (0,1/n)$ and thus is not in the intersection. Because the only number that could be in the intersection is $0$ but $0\notin (0,1)$, this intersection is empty.

GuPe
  • 7,518