How irrational quantities physically exist in nature?

Question

We know that an irrational no has well defined decimal values upto infinite decimal places. These irrational quantities exist in nature in some kind of measurements. For an example, circumference of a circle is '2πr' , so if radius is rational then circumference will be irrational ,and this case is quite natural. But I am unable to understand , how can a physical measurement exist with infinite precision (due to precision of infinite decimal values in an irrational no) ?? Isn't it in contrary with the laws of Physics??

Answer 1

I've got bad news for you: Even rational quantities don't exist in nature. Numbers, of whatever type, are just a way to describe our observations. But when we measure, we always have a measurement error, so we cannot really say "this measured quantity has the value $x$", all we can say is "this measured quantity is close to the value $x$". Well, we can do a bit more: Namely quantify how close it is. This is why measurement results are normally written in the form $x\pm y$. For example, a length might be measured to be $1.3\pm 0.5~\rm mm$.

Now we pretend that there is a "true value" of the measured quantity. For example, in the above example, we assume that there is a true value for the length, which is likely(!) less than $0.5~\rm mm$ away from the value $1.3~\rm mm$.

Exact numbers are therefore nothing we can measure, and nothing which we can even prove really exist in nature. They are abstract concepts we made up in our mind in order to describe what we observe. And they work very well for this purpose. But whether they really correspond to something "out there", nobody can really know.

But wait, you say, there are circles, and for those we can prove the circumference over diameter is $\pi$. So $\pi$ is part of our world, right? Wrong: You never have seen a circle. You've certainly seen lots of shapes that closely fit our concept of a circle. But likely if you look close enough, you'll find that it is not really a circle. And even if you cannot detect the difference, how do you know that if you had looked just a little bit closer, you'd have found a deviation?

And ultimately, those circle-lookalikes you've seen probably were all made of atoms anyway, which means they could not have been a circle, as they have volume, while the circle is an infinitely thin line.

Answer 2

One odd thing about the question is the apparent belief that the decimal notation of a number is somehow fundamental to its meaning, and so an unending decimal expansion is a sign that the number itself is somehow unending or imprecise.

First, a simple factual point: the question claims:

We know that an irrational no has well defined decimal values upto infinite decimal places

I'm not exactly sure what this means, but I suspect it's not true$^1$. For example, we do have formulae that will tell us what the $n^\mathrm{th}$ decimal digit of $\pi$ is – in other words, we have a perfectly precise specification of any digit of $\pi$ you care to ask for. So there's no fundamental sense in which $\pi$ is less well-specified than, say $4.6$, which after all has an infinite decimal expansion as well, namely $4.600000\dots$

$^1$ edit: I originally interpreted "no has" as "doesn't have", but now I think "no" means "number", so I now guess the thing I'm quoting is true. I'll leave the rest of my answer unchanged, though.

Anyway, this fixation on decimal expansions is unnecessary. Here's how I choose to imagine the "true nature" of a real number: the essence of a real number is that it measures some continuous quantity – for example, each real number is the length of some idealized line segment.

Then decimal expansions are a way to understand these lengths by comparing them to fixed rational lengths that we know about, namely $1$, $0.1$, $0.01$, and etc. When we say $\pi = 3.141\dots$, we can view this as a series of comparisons, comparing $\pi$ to $3$ and saying it is larger, comparing it to $3.15$ and saying it is smaller, etc.

In this way, the decimal expansion isn't the "true nature" of a number, but simply as the view of a number you get when you look at it through the lens of powers of ten. This becomes more obvious when you realise that you can write the same number in different bases, view it through many different lenses, and indeed in some cases you get very different looking results, e.g. $1/3$ has an unending decimal expansion but a very simple ternary or nonary one.

Now ask again what it means for some real number, the length of an idealized line segment, to be a rational number. Well, to be rational is to be $p/q$ for some whole numbers $p$ and $q$, so a number is rational precisely if some multiple of it is a whole number (namely, $q$ times it is $p$). What that means is you can take your line segment and duplicate it $q$ times, you get a line segment that is exactly $p$ times a segment of length $1$.

Now the question becomes: why should it be rational? Why should that relationship ever hold exactly?

Answer 3

Philosophically, you could consider an "irrational quantity" as the limit of a sequences of "rational quantities", so e.g. 2pi is what the circumference of a unit circle approaches as you make it more and more perfect.

Answer 4

An interesting question. It relates mathematical, i.e. mental concepts to "reality". Let us assume for the purpose of this discussion that there is a reality, and that it exists outside of our mind. Then the relation of the well-understood mental concept of irrational numbers and that reality depends on the properties of that reality (which, in all reality, are probably not completely known). I give three examples.

1. A "continuous paradigm" reality

   If the underlying structure of space and matter were completely continuous (i.e. there were no Planck constant, no atoms etc.), all properties of natural objects like length or weight were irrational: Because there are infinitely more irrational than rational numbers, it is virtually impossible to properly hit, say, 2 cm when cutting a piece of wood. It would always be 2cm + "random delta" (however small), and that delta will "always" be irrational. The same goes for the International Prototype Kilogram and all other artifacts and natural phenomena.
   
   

2. A blocky reality

   If reality were like Minecraft, and all physical properties were "blocky" (albeit at an atomic scale), all properties would be rational: Everything is a multiple of block lengths, weights, times etc. and thus all properties can be expressed as fractions of integers.
   
   

3. Our quantum world

   Our reality is a bit like Minecraft, except that things get fuzzy if you look too close. This means that no property of an object we want to measure can be measured exactly; on a fundamental level there is always a, well, uncertainty. (This is not a deficiency in our way of measuring -- those errors would come on top --, but a property of our universe.) Because exactness is limited one needs not be afraid of running out of decimal places.

   Any interval produced by the amount of uncertainty has many rational numbers in them; so in a way you can probably get away without using irrational numbers in describing reality. (But you could also get away without ever using any rational numbers, mind you). Any existing circle can have both: A rational diameter and a rational circumference, as far as we can tell (+/- the Planck length).

Answer 5

Relations between phenomena in Nature (φύσις, the origin of physics) existed probably before anyone thought about integers, rationals, and laws of physics. There is a legend about Kronecker saying integers were god-made, and the rest was a creation of mankind, but we leave that to the history of mathematics for the moment.

These relations therefore accommodate a variety of unit systems. The celerity of light, if constant, does not care about being measured in meter per second, or foot per lunar month.

Any instrument has finite precision, no phenomenon is "pure" enough to be measured precisely.

What matters, if laws are accurate enough, is to have sufficient precision. So, How Much Pi Do You Need?

NASA scientists keep the space station operational with only 15 or 16 significant digits of $\pi$, and the fundamental constants of the universe only require 32.

So, with "quadruple precision" you can almost work with "decimals", with respect to your floating point system. Which is much simple than with certain long-period rationals: $1/97$ has a period of 96 digits.

Finally, for $\pi$, even if you cannot work with infinite precision, you can still use indefinite precision, adding a decimal when you want, using the Bailey-Borwein-Plouffe formula, to directly calculate the value of any given digit (base 16) of $\pi$ without calculating the preceding digits:

$$\pi =\sum _{k=0}^{\infty }\left[{\frac {1}{16^{k}}}\left({\frac {4}{8k+1}}-{\frac {2}{8k+4}}-{\frac {1}{8k+5}}-{\frac {1}{8k+6}}\right)\right]\,.$$

Answer 6

Take a line segment of length 1. With compass and straight edge it is possible to construct a line segment starting from its endpoint that is perpendicular to it and also of length 1. Draw that line segment. Now draw the line connecting the two end points.

By the Pythagorean Theorem you have just drawn a line segment of length $\sqrt{2}$.

It is a fairly straightforward proof to show that this is an irrational number.

So it exists.

Now the question is - what law of physics you would believe this to violate. Sure - if you try to measure it, you won't be able to measure it to that accuracy (and okay, you probably didn't draw it to that accuracy), but assuming that you had the ability to exactly use a compass and straightedge then you would have drawn something with exactly length $\sqrt{2}$.

This is why the Pythagorean Theorem was a bit of a scandal. Up until this point it was assumed that for any two line segments we could find a smaller line segment that went into both of them evenly. This assumption made proofs about similar triangles quite easy. Mathematicians knew that $\sqrt{2}$ wasn't rational, but they could just argue no such length exists (much like $-1$ used to have no square root). The Pythagorean Theorem showed that $\sqrt{2}$ does too exist as a length.

Answer 7

Certain natural phenomena in probability theory such as Buffon's needle experiment have answers containing an irrational constant, namely $\pi$. Therefore such constants are arguably "in nature" (or any reasonable idealisation thereof) even if you are not particularly interested in the circle itself. The fact that there is an exact formula for the probability that involves an irrational number is precisely an argument against limiting precision in this fashion. Mathematicians have great respect for quantum theory but that theory involves a different type of idealisation of nature.