20
$\begingroup$

This might seem like a silly question, but is there a number that's right in the middle of this interval $(0, 1)$?

And the half-open intervals: $(0, 1]$, $[0, 1)$? I know for a fully closed interval $[0, 1]$ it's $1/2$ because that's half the length of the interval but for $(0 ,1)$, I can't say. What's the interval's length? Certainly not $1$.

Edit: In response to the comment below: I said, in my mind, it can't be $1$ because that that length of the interval $[0, 1]$, and that's not the same as $(0, 1)$. I suppose it approaches 1, but that's not the same, or is it?

And I think by 'length' I mean the the difference in the end points: $|x_2 - x_1|$. $(0, 1)$ does't include $0$ or $1$. There are no end-points to subtract!

  • 3
    Yes, the answer is $1/2$ (according to the standard definition of length). The length of all intervals $(0,1)$, $[0,1]$, $(0,1]$ and $[0,1)$ is $1$.2012-12-01

6 Answers 6

27

To answer this question, you need to first answer the following question. $\text{What is the `length' of a single point?}$ If you take it to be zero, then note that $[0,1] = \{0\} \cup (0,1) \cup \{1\}$ And assuming that length of these disjoint sets can be added, we get that the length of the interval $(0,1)$ is the same as the length of the interval $[0,1]$.

  • 0
    @Mark: [Indeed](http://math.stackexchange.com/a/70195).2012-12-02
13

See Wikipedia for a discussion of an interval. The open interval $(1, 0)$ is a bounded set,

and therefore has diameter (length) = $\sup((0, 1)) - \inf((0, 1)) = |1 - 0| = 1$.

Also note that the intervals $\left(0, 1\right]$ and $\left[0, 1\right)$ are also bounded and each is of length $1$.

Half the length of any interval of length $1$ is $\frac12$.

So $\frac12$ could be said to be in the "middle" of each of the above intervals,

since $\left(0, \frac12\right)$, $\left(0, \frac12\right]$, $\left[0, \frac12\right)$, $\left[0, \frac12\right]$, $\left(\frac12, 1\right)$, $\left(\frac12, 1\right]$, $\left[\frac12, 1\right)$, and $\left[\frac12, 1\right]$

each have diameter = length = $\frac12$.

5

Any interval on the real line can be written as $(a,b)$,$[a,b)$,$(a,b]$ or $[a,b]$ with $a\leq b$ being extended real numbers (the set of all real numbers with $+\infty$ and $-\infty)$ called its endpoints. The length of the interval (possibly $0$ or $+\infty$) can then be defined as the difference between its endpoints. If we use Lebesgue measure on the real line, it can be shown that the measure of an interval is simply its length.

If number in the middle of an interval means the length on either side is equal, then indeed $\frac{1}{2}$ would be in the middle of the intervals $(0,1)$,$[0,1)$,$(0,1]$ and $[0,1]$, because for example the length of $(0,\frac{1}{2})$ and $(\frac{1}{2},1)$ are each $\frac{1}{2}$.

  • 1
    OP's question is pretty simple so he might not be used to there being$a$difference between inf and min, and using the term "endpoints" might confuse him because "endpoint" seems to imply 1 is in (0,1).2012-12-01
5

One sensible definition for the middle point of a bounded set $A \subseteq \mathbb{R}$ could be

$\operatorname{middle}(A) = \frac{\sup(A) + \inf(A)}{2}$

This is a good definition for intervals, and the middle point of $(0,1)$ would be $1/2$ with this definition. However, when $A$ is not an interval, $\operatorname{middle}(A)$ might not be a point of $A$.

1

The "length" of this interval can't be less than 1 (see below), and it can't be greater than 1 (it's contained in an interval of length 1), so the length must be 1.

Suppose the length is some number $1- \varepsilon $ where $\varepsilon > 0$. Then we can plop an interval of this length right in the middle of our (0,1) interval, so we have $[\frac{\varepsilon}{2},1- \frac{\varepsilon}{2}] \subset (0,1)$. BUT, we're still leaving out infinitely many points (namely, the intervals $(0,\frac{\varepsilon}{2})$ and $(1-\frac{\varepsilon}{2},1)$. Thus, saying its length is anything less than 1 wouldn't make any sense, so we can say that the length of the interval must be at least 1.

Coupled with the fact that the interval is of size no greater than 1, we have $1 \leq size(0,1) \leq 1$ so that the size is exactly 1.

Now, to answer the original question, this would make the midpoint of the interval exactly $\frac{1}{2}$.

The word you're looking for when you say "length" of the interval, I believe, is called the diameter of the set.

-2

No one has actually defined the length of an interval precisely. Any interval can be written in exactly on of the forms: (a,b) or (a,b] or [a,b) or [a,b], where b >= a. In any of the 4 cases, call the interval I, a subset of R. Then define the length of the interval to be sup{x: x is in I} - inf{x: x is in I}.

  • 10
    I suppose you mean no one _in this thread_ has defined the length of an interval precisely? Even if you do mean that, it's not true (and wasn't true when you wrote it -- see for instance Will Hunting's answer).2012-12-01