Intereting Posts

Characterizations of the $p$-Prüfer group
Showing $\left|\frac{a+b}{2}\right|^p+\left|\frac{a-b}{2}\right|^p\leq\frac{1}{2}|a|^p+\frac{1}{2}|b|^p$
How to study abstract algebra
Real Analysis – Prove limit $\lim_{x\to 25} \sqrt x = 5$
Noetherian integral domain such that $m/m^2$ is a one-dimensional vector space over $A/m$
What is the index of the $p$-th power of $\mathbb Q_p^\times$ in $\mathbb Q_p^\times$
Determinant of matrix composition
I need an intuitive explanation of eigenvalues and eigenvectors
Closed form of $\int_{0}^{\pi/2}x\cot\left(x\right)\cos\left(x\right)\log\left(\sin\left(x\right)\right)dx$
Solving $x+2y+5z=100$ in nonnegative integers
$(0,1)$ is an open subset of $\mathbb{R}$ but not of $\mathbb{R}^2$, when we think of $\mathbb{R}$ as the x-axis in $\mathbb{R}^2$. Prove this.
torus by identifying two equivalent points (mod $\mathbb{Z^2}$)
Showing that the space $C$ with the $L_1$ norm is incomplete
Non-isomorphic graphs with four total vertices, arranged by size
Are convex metric spaces the “only” way to study ordered geometry within metric geometry?

If I go into the woods and pick up two sticks and measure the ratio of their lengths, it is conceivable that I could only get a rational number, namely if the universe was composed of tiny lego bricks. It’s also conceivable that I could get any real number. My question is, can there mathematically exist a universe in which these ratios are not real numbers? How do we know that the real numbers are all the numbers, and that they dont have “gaps” like the rationals?

I want to know if what I (or most people) intuitively think of as length of an idealized physical object can be a non-real number. Is it possible to have more then a continuum distinct ordered points on a line of length 1? Why do mathematicians mostly use only R for calculus etc, if a number doesnt have to be real?

By universe I just mean such a thing as Eucildean geometry, and by exist that it is consistent.

- To find all odd integers $n>1$ such that $2n \choose r$ , where $1 \le r \le n$ , is odd only for $r=2$
- Applications of the p-adics
- Relearning from the basics to Calculus and beyond.
- Why is abstract algebra so important?
- On which structures does the free group 'naturally' act?
- How can using a different definition for the integral be useful?

- Why there is much interest in the study of $\operatorname{Gal}\left(\overline{\mathbb Q}/\mathbb Q\right)$?
- Are infinitesimals dangerous?
- What happens after the cardinality $\mathfrak{c}$?
- Visual representation of groups
- A “clean” approach to integrals.
- Programs for precocious prodigies
- Probabilistic techniques, methods, and ideas in (“undergraduate”) real analysis
- On convergence of nets in a topological space
- Advantage of accepting non-measurable sets
- Why Study Critical Polynomials?

These ratios are not even numbers! After a certain point, perhaps $10^{-3}$ meters, you would find that you have to make lots of choices about how to measure the length of the sticks. Do you measure along the length of a stick, whatever that means, even if they bend a little, or do you just take the two points on a stick furthest apart and measure the distance between them?

(Regarding measuring along the length of a stick, see coastline paradox.)

What if the sticks are a little springy, so their lengths will vary depending on how you hold them? Okay, so suspend them in a magnetic field or something fancy like that. Even if you are really really careful, beyond a certain point you have to decide what counts as a “point” on a stick, since after all a stick is just a collection of atoms and atoms are mostly empty space. Do you look at the distance between the two nuclei in the stick furthest apart? Do you take the electron shells into account? How do you do either of those things given the uncertainty principle?

Basically any given physical quantity (other than ones which are uniquely determined by some mathematical theory, e.g. $\pi$) cannot be meaningfully measured past a certain number of decimal points, so the question of exactly what kind of number it is is moot.

On the other hand, if we are really only talking about a mathematically idealized model of the real world, let’s make some classical assumptions about measurement. Namely, allow me to assume that we can tell if one length is longer than another length. Allow me to further assume that we have a sequence of ideal rulers of lengths decreasing to zero, for example a sequence of ideal rulers of lengths $1, \frac{1}{2}, \frac{1}{4}, \frac{1}{8}, …$. Then given any object we can eventually tell what rational lengths are less than its length and what rational lengths are greater than its length, and this gives us a real number by the construction of the real numbers using Dedekind cuts.

What I’m saying above is that neither of these assumptions is physically realistic beyond a certain precision.

I want to know if what I (or most people) intuitively think of as length of an idealized physical object can be a non-real number. Is it possible to have more then a continuum distinct ordered points on a line of length 1? Why do mathematicians mostly use only R for calculus etc, if a number doesnt have to be real?

This is possible, but what’s the point? I can’t conceive of a way in which the distinction between two points which are infinitesimally close could matter in, for example, physics, at least in the obvious way. If two possible sets of initial conditions of a system are infinitesimally close, I would expect them to stay infinitesimally close for all time given any reasonable constraints on the system.

There are mathematicians who use extended real number systems for non-standard analysis, but I don’t think there are any people who think seriously about using non-standard analysis in physics (although this might change in the future).

By universe I just mean such a thing as Eucildean geometry, and by exist that it is consistent.

That is not what anyone I know means by either “universe” or “exist.” Anyway, the answer to this version of the question is that such “universes” “exist,” and as I have said people study them in non-standard analysis.

The Cantorâ€“Dedekind axiom states that there is a bijection between real numbers and points on a line. In other words, every linear measurement corresponds to a real number and vice-versa.

How do we know that the real numbers are all the numbers, and that they don’t have “gaps” like the rationals?

If you allow for infinitesimals then there are more, for example surreal numbers.

Of possible interest is the following paper:

Wendell Melville Strong (1871-1942), *Is continuity of space necessary to Euclid’s geometry* (also digitized here), **Bulletin of the American Mathematical Society** 4 #9 (June 1898), 443-448.

This appears to the published version of Strong’s 1898 Ph.D. Dissertation at Yale University.

**Review in “Revue Semestrielle Des Publications Mathematiques”:**

Dedekind has defined a discontinuous space in which “so far as he sees” the Euclidean constructions can be made. This space consists of all points whose orthogonal rectangular coordinates are algebraic numbers in a given unit of distance. Now the author considers three kinds of discontinuous space: rational, quadratic and transcendental space, the first containing only points with rational coordinates, the second moreover those whose coordinates imply extractions of square roots, the third only points with transcendental coordinates. He shows that in rational space parts of a figure may disappear by a change of position, that quadratic space is the least space allowing the Euclidean constructions, that transcendental space, though possessing an infinitely greater number of points, does not admit all such constructions.

See also:

Review in **Nature** (in English, lower half right column of p. 310)

JFM review (in German)

Actually, in a way, what the submitter asks about *does* happen:

In Electrical Engineering, one sees that analyzing resistor-only circuits is easy because the equations require only simple algebra, whereas including capacitors and inductors makes things much harder due to their time-dependent behavior. HOWEVER: There is a cute trick which simplifies things: It turns out that capacitors and inductors can be modeled as *resistors with imaginary resistance*. And the properties of the resulting alternating currents – wavelength, phase – can be combined by representing the currents as *complex exponentials*. In that sense, electrical currents are being measured using complex numbers.

With regard to the OP’s question *Can there mathematically exist a universe in which these ratios are not real numbers?* to provide a meaningful answer, the question needs to be reinterpreted first. Obviously the real numbers, being a mathematical model, do not coincide with anything in “the universe out there”. The question is meaningful nonetheless when formulated as follows: *What is the most appropriate number system to describe the universe if we want to understand it mathematically?*

Put this way, one could argue that the hyperreal number system is more appropriate for the task than the real number system, since it contains infinitesimals which are useful in any mathematical modeling of phenomena requiring the tools of the calculus, which certainly includes a large slice of mathematical physics. For a gentle introduction to the hyperreals see Keisler’s freshman textbook *Elementary Calculus*.

- When can a real Banach space be made into a complex Banach space?
- Injective linear map between modules
- Has $S$ infinitely many nilpotent elements?
- Indefinite integral $\int(\sin x)^2/(x\cdot\cos x-\sin x)^2\,dx$
- Are there any compact embedded 2-dimensional surfaces in $\mathbb R^3$ that are also flat?
- Deriving the addition formula for the lemniscate functions from a total differential equation
- How to prove the following about a group G?
- Showing that a certain map is not flat by explicit counterexample
- $G$ be a non-measurable subgroup of $(\mathbb R,+)$ ; $I$ be a bounded interval , then $m^*(G \cap I)=m^*(I)$?
- Are the any non-trivial functions where $f(x)=f'(x)$ not of the form $Ae^x$
- Proof: $\tan(x)$ is surjective onto $\mathbb R$
- How to represent each natural number?
- Number Of races needed?
- How to show that topological groups are automatically hausdorff?
- General formula for the higher order derivatives of composition with exponential function