Dtyjlui

Much like many other 'paradoxes' you'll find that carefully formalizing the problem makes it go away. Whatever counter intuitive phenomena persist is not paradoxical, but simply counter intuitive.

So, what do you mean by length of a point? Well, whatever it is it seems reasonable to define it to have the following properties: 1) the length of an interval $[a,b]$ is $b-a$; and 2) if the point $p$ is contained in an interval, than the length of the point is $le $ the length of the interval. We further assume all lengths are measured by non-negative real numbers, so there are no infinitesimals around at all.

Now, from these it follows that the length of any point is $0$. So, any notion of length of a point conforming to the above must assign length $0$ to each point. That is a theorem.

Consequently, the situation you describe, where removing a point having length $0$ results in a broken line is a correct description. It is not a paradox but rather a counter intuitive situation. Well, what shall we do with it? You can examine our assumptions and change them, or hone your intuition. In this case, I suggest the latter.

What's wrong here ?

This is where you go wrong:

I think the width of the gap is $0$ is equivalent to that there is no such gap exists on the real number line

Much like there are objects with length $0$ (namely, single points), there are real gaps of length zero (namely, the absence of a single point).

As others have pointed out, the length of a single point must be zero for any reasonable definition of length.
Notice however, that "length" and "number of points" are very different ways of measuring size.
For a point the first measure gives zero and the second one gives one.
For an open interval the first measure gives the distance between the endpoints and the second one gives infinity.
A single point is negligible in the sense of length but not in the sense of amount.

If you remove a single point from an interval, the total length does not change.
The number of points also stays the same, but only because the interval has infinitely many points to begin with.

These different ways of associating sets with sizes are called measures.
The measure corresponding to length is called the Lebesgue measure, and the one corresponding to number of points is called the counting measure.
These may or may not mean anything to you at this point, but you will encounter them later on if you continue working with real analysis.

I should probably also point out a possible false reasoning, despite being absent in your question:
The interval $[0,1]$ consists of points, so its total length must be the sum of the lengths of its points.
(We can make sense of uncountable sums. Especially if all numbers are zero, this is easy: then the sum is indeed zero.)
But all points have length zero, so the length of $[0,1]$ is zero, too!
This is not a bad argument, but it turns out that lengths — or measures in general — do not have such an additivity property.
However, if you only take a finite or countable union of disjoint sets, the length of the union is the sum of the lengths.
(I'm ignoring technicalities related to measurability as they are beside the point.)
The set $[0,1]$ is uncountable, so this "naive geometric reasoning" fails, and it can be enlightening to figure out why.

Take for example the rational numbers. They can be considered as having infinitely many gaps, because the don't include the irrationals. However, those gaps have no "width", because you can come arbitrarily close to each irrational from above and below with a rational number.
The situation is similar if you remove a single real number from all real numbers.

In other words: There are just to many of them, so you wont notice if a single one is missing ;).

Strictly speaking the "number line" does not have a "length" automatically associated with it- we have to add that. Typically, we define the length of the interval [a, b] (or (a, b), (a, b], [a, b)) to be b- a. Using that definition of length, the length of a single point is 0.

While this is not supposed to be a complete, satisfying answer, I would like to draw your attention to an area where your "paradox" has a straightforward interpretation.

"In probability theory, one says that an event happens almost surely (sometimes abbreviated as a.s.) if it happens with probability one." Contrary to what one might expect, probability one does not mean that it will surely happen, for the exact reason that you have pointed out: Individual, but non-negligible gaps of "length" (we ususally set "measure") zero.

Think of drawing a real number from $[-1, 1]$. The probability of drawing $0$ is arbitrarily small; there is an infinity number of other numbers to draw instead. So $P(X = 0)$ is actually $0$, as is the length of the interval $[0, 0]$ - but drawing it is still not impossible. By completeness, $P(X neq 0) = 1$ - this will almost surely happen (yet not surely).

Perhaps this helps: When you remove a point from a line, you don't just pick it out with your fingers and throw it away. Instead, you declare that one point not to be a part of the set you are considering. That is, imagine $L$ is a line. Then "$L$ with one point removed" is a new set, $L'$, that contains all of the points of $L$ except for the point being removed. $L'$ is a subset of $L$. So of course the line is now broken into two pieces - to get from one part of $L'$ to another, you have to cross through the removed point.

This is actually the way my high school geometry teacher explained this question to me when I had it a long time ago, and it stuck with me. It doesn't contradict any of the other answers given, I should say, but it may help you think about how to interpret these things.

The measure of a discrete point is in fact zero ($0$).

For more, see articles: Null set and Lebesgue measure.

I think the width of the gap is 0 is equivalent to that there is no such gap exists on the real number line, this leads to a contradiction.

You mix up countable and uncountable sets. Uncountable sets do not have this sort of gaps as countable sets have.

You can remove an arbitrary number of points from a line, and it will still be a line. Think of removing all the irritional numbers from $mathbb{R}$ to have the set of rational numbers $mathbb{Q}$.

Since an interval is made up of an infinite number of points, I am considering the relation of the length of an interval and the length of a point, this lead me to ask what is the length of a point on the real number line ?

The nested interval theorem made me feel the length of a point should be $0$...

I don't think that the nested interval theorem comes into play here, because it does not require length to be defined. Let's define a set $I$ as a set of all intervals in $Bbb{R}$, length of an interval is a function $L: I rightarrow Bbb{R}$, naturally we can say that if $i$ – an interval with endpoints $a, b$ then $L(i) = d(a, b)$, where function $d: Bbb{R}xBbb{R} rightarrow Bbb{R}$ is a distance (not necessarily Euclidean). Now we need to extend the definition of length to a point, because so far L defined on the set of subsets of $Bbb{R}$ we called $I$. Value $L(x), where space x in Bbb{R}$ is undefined. A natural way to extend the definition of length is to view an element $x$ as a single element set ${x}$, which in turn can be expressed as an interval $[x, x]$, then $L([x, x]) = d(x, x)$ which is $0$ according to the definition of distance.
Not to confuse with Cardinality of a single element set: $|{x}| = 1$.

...however I think the width of the gap being $0$ is equivalent to there being no such gap on the real number line...

I think the closest thing to having no gaps in a metric space is Cauchy Completness. If $Bbb{R}^x = Bbb{R} setminus {x},$ then $Bbb{R}^x$ is not complete, because there is a Cauchy sequence of numbers ${x_n}$ with the following properties: $x_n in Bbb{R^x}$ and $lim_{{ntoinfty}}x_n=x$, but $x notin Bbb{R}^x$. Fact that length of a point is $0$ (or more important that distance satisfies the axiom of Identity of indiscernibles) is useful for completion of an uncompleted space.

Note, however, that cardinality is still the same: $|Bbb{R}^x| = |Bbb{R}|$

Yes your are absolutely correct.I argue that length of a point is infinitesimal,so is breadth of a line segment.An interval(a,b) is a disjoint union of points.If point has a length 0, 0+0+.......infinity =b-a-finite is impossible.So it should be infinitesimal.Same argument holds for breadth of a line segment.A rectangle of sides a and b whose area is ab is formed by placing a line segment of length a arbitrarily close to one another.If the line segment has breadth 0 then 0+0+......=ab-finite is impossible. similarly we can prove that thickness of a plane rectangular area is infinitesimal. My final conclusion is that length,breadth, thickness of a point is infinitesimal.point has no length is wrong.it is arbitrarily small . I think this proof clarifies your doubt