What would you see if you would look out of the window of a car that drives on the real line into an open set?

Question

Open sets are defined

as those sets which contain an open ball around each of their points.

Since I started learning topology, I have not understood this definition. The reason is the following.

If I take an open set, for example the set defined by $U:=\{x|0<x<1, x\in\mathbb{R}\}=(0,1)$ on $\mathbb{R}$, and then choose a point that is rather near to the boundary of its closure $1$, e.g. $0.9$, then by definition, I can draw an epsilon-ball around this point which is still fully contained in the open set. I choose to take the ball with radius infinitesimally bigger than $0.1*0.9=0.09$ such that the ball extends over $0.99$. Now all the points in that ball must again fulfill the definition that I can draw a ball around them which is contained in the set $U$. So let's take a point of the ball we just drew which is nearer to $1$ than the point we chose first, choose $0.99$.

We can draw the epsilon-ball with radius infinitesimally bigger than $0.1^2*0.9$ around this point such that the ball extends over $0.999$. Now we can repeat this process an arbitrary number of times without ever violating the definition of the open set. But if we really do it an infinite amount of times we eventually reach the point $0.9*(1+0.1+0.01+...)=0.\bar 9=1$ which is not in the open set. I know that someone could counter-argue that as we increase the number of repetitions to an infinite amount, we must choose epsilon balls that have a smaller radius to not violate the definition of the open set. But then again: What would be the biggest radius that we are still allowed to choose?

So I just can't imagine how an open set can "work out", to say it colloquially.
More precisely, the only way how I can imagine how every point can have a surrounding that is again made of points which all again must have a surrounding of points, is to have an infinitely extended Set such as $\mathbb{R}$ itself. In that case I can understand that there is just no limit point (or the limit point is infinity) and therefore the above procedure will not lead to a difficulty in my imagination.
But for every Set with a finite extend (even though it may has uncountably many points and even though there is an isomorphism from $\mathbb{R}$ to $(0,1)$), it just does not fit into my intuition. (I know intuition is not everything but without intuition, topics for me loose a certain sense of beauty.)

Or, from another perspective: Imagine you would drive with a car on the real line.
The car shall have a constant velocity, such that its position is given by the function $x(t):= 2-t$, such that at $t=1$, we reach the boundary of the closure of $(0,1)$, then for $t=1+\epsilon$ with $\epsilon>0$, no matter how small $\epsilon$ is, our car will have entered the open set.
Now my intuitive problem with this is that we somehow entered the open set, without passing its first point because there is NO first point in an open set. Or, put differently, us driving the car (or varying $t$ of $x(t)$) is actually a continuous process because $x(t)$ is continuous. And as we pass all the points of the real line in a continuous manner, we could stop anywhere we want (because $t\in\mathbb{R}$). Now when undergoing the transition of the outside of the open set to the inside of the open set, then, because the open set is ultimately just a collection of uncountably many points, we must somehow reach the first point (in my imagination) of that Set but this is impossible for if there was a first point there would not be a surrounding of points around it that is also contained in the set thus contradicting the definition of the open set. So again I cannot imagine this properly.

If there would be a first point of the open set, then it would have to be an uncountable number of points away from the boundary of the closure (e.g. $1$) but if there are uncountably many points between the boundary of the closure and the first point, then it can't be the first point.
If there is no first point of the open set, I can not imagine how the open set can have a finite extend.

So, put into a different question: What would you see if you would look out of the window of a car that drives on the real line into an open set?
Maybe my unability to understand is also connected to a difficulty of imagining the concept of infinity.

Creative and honest thoughts are very much appreciated!

PS: This is my first question on stackexchange. Please excuse the probably outrageous number of things that could have been done better.

Answer 1

The alternative perspective you describe sounds like you are describing Zeno's dichotomy paradox — it's basically the same thing as Zeno's more familiar paradox, but oriented in the opposite direction. The basic argument goes as follows:

In order for Achilles to finish the race, he must first arrive at the halfway point. For Achilles to arrive at the halfway point, he must first cross the quarter way point, and so forth.

Thus, Achilles cannot even begin the race, because that would require completing infinitely many tasks.

Like the more familiar race against the tortoise, this is a (pseudo)paradox of infinite divisibility. The distinguishing property of a nonempty, finite sequence of events is:

• There is a first event.
• There is a last event.
• Every event except the last has an immediate successor.
• Every event except the first has an immediate predecessor.

The paradox is basically expecting all four of these properties to hold for any sequence of events, despite the fact any infinite sequence will violate one or more of them.

In the dichotomy paradox, it is the first of the four properties that is violated.

---

To resolve this paradox, you have to let go of your expectation that an infinite sequence of events has all of the same properties of a finite sequence.

And if you wish to learn to analyze problems with infinite sequences such as this, you need to develop a new intuition about how those sorts of things work.

Answer 2

Your procedure doesn't reach a contradiction at all.

You show that if a bounded interval is open, then you can find points in the interval converging to a point outside of the interval.

This is true.

Answer 3

What would you see if you would look out of the window of a car that drives on the real line into an open set?

Since you seem to find the concept of closed sets more intuitive, it might help to think of open sets as complements of closed sets. Here is an example of driving out of an open set.

Suppose you drove your car on the real line coming from $+\infty$ and there is a lowered crossing gate at point ${0}$. You notice it too late and hit the brakes hard. If the car manages to stop at $\epsilon \gt 0$ before hitting the gate, then you are still in the open interval $(0, \infty)$ and, once you step out of the car, you can verify that there is some room left $(0,\epsilon)$ between the car and the gate. No matter how small that $\epsilon$, you may always think that you had room to spare, and could have hit the brakes a bit less hard so as to stop at, say, $\epsilon/2$, and still not hit the gate. On the other hand, if the car does hit the gate that means it just left the open interval $(0,\infty)$ and reached point $\{0\}$. In this case however there is no last point before the car hit the gate since, if such a point existed, it would mean that there were a "gap" between $\{0\}$ and $(0, \infty)$ but intuition tells us that the real line has no "holes".