I Midpoint(s) of the unbounded number line

[tomwilliam]

TL;DR Summary

Midpoint(s) of the unbounded number line

Just chatting with my son about Maths and he casually mentioned that 0 would be the midpoint of the number line from -inf to +inf. I wondered whether it wouldn’t be more accurate to say there is no single midpoint. Couldn’t you make an argument that any real number is exactly halfway between -inf and +inf?

 

[PeroK]

TL;DR Summary: Midpoint(s) of the unbounded number line

Just chatting with my son about Maths and he casually mentioned that 0 would be the midpoint of the number line from -inf to +inf. I wondered whether it wouldn’t be more accurate to say there is no single midpoint. Couldn’t you make an argument that any real number is exactly halfway between -inf and +inf?

There is no geometric midpoint. Whether zero is an algebraic midpoint depends entirely on how you define midpoint.

More generally, things in mathematics are what they are defined to be. If you don't have a usable definition, then all bets are off.

 

[fresh_42]

It is hard to determine the center of a line that cannot be measured. On the other hand, zero is the midpoint of how we describe the real numbers, positive in one direction, negative in the other. In the end, it all depends on what you mean by "midpoint". It is the origin, or center, or midpoint of the real vector space that the real numbers are.

 

[PeroK]

A quick search suggests that midpoint normally applies to a (finite) line segment.

 

[FactChecker]

TL;DR Summary: Midpoint(s) of the unbounded number line

Just chatting with my son about Maths and he casually mentioned that 0 would be the midpoint of the number line from -inf to +inf. I wondered whether it wouldn’t be more accurate to say there is no single midpoint.

Yes. Any finite number is as good as any other.

Couldn’t you make an argument that any real number is exactly halfway between -inf and +inf?

That goes too far. It's impossible to say that any number is "exactly halfway between -inf and +inf".

All that being said, I would not recommend that you confuse your son. Let him accept what the class is doing.

 

[DaveC426913]

I would not recommend that you confuse your son. Let him accept what the class is doing.

Although, for all we know, this is a fourth-year university Set Theory course.

 

[WWGD]

I think there's no such thing as the middle/midpoint of an open interval in the Standard Real line. Maybe in the 1- or 2- point compactification. But a closed interval does have a midpoint. Maybe using Hausdorff distance, though. Interesting question.

 

[fresh_42]

Although, for all we know, this is a fourth-year university Set Theory course.

Yes, it all depends on the environment where you ask this question: geometry, (linear or abstract) algebra, measure theory, arithmetic, or whatever. The term midpoint is normally used in geometry and on finite lines. In the case of an infinite line, you can specify any particular point on the number line and call it the midpoint. But whenever you decide to switch from Greek geometry to analytical geometry, we end up calling zero the origin. Whether a precisely defined origin, zero, can be called a midpoint is a linguistic question.