Irrational Numbers: Expressible as Infinite Summations?

In summary, there are an uncountably infinite number of irrational numbers, but we can only write a countable number of mathematical expressions. Therefore, there exist irrational numbers that cannot be expressed uniquely by any current mathematical expression. Additionally, any other form of expression, such as measuring the state of the universe, can only yield a finite number of states, making it impossible to express all irrational numbers uniquely.
  • #1
jeffceth
40
0
I apologise if this belongs in another place, but:

Can all irrational numbers be expressed as infinite summations, ie like Pi and e?

I'm looking for: provable, disprovable, or neither. This is essential to something else I am working on.

sincerely,
jeffceth
 
Mathematics news on Phys.org
  • #2
It depends on what you mean by "expressed". There is certainly an infinite series that converges to any irrational number you like. For example:

[tex]
\pi = \pi + 0 + 0 + \ldots
[/tex]

Ok that was a little too trivial. :smile: It turns out that by rearranging the terms of this sequence in the right way, you can make the left hand side of this equation any real number you want:

[tex]
\ln 2=1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \frac{1}{5} - \ldots
[/tex]


However...

In the language in which we write mathematics, we can only write countably many equations, proofs, theorems, articles, et cetera. However, there are an uncountably many number of irrational numbers. Thus, there exist irrational numbers for which we cannot explicitly write sequence that converges to that number.

The good news, however, is that for any irrational number we can express uniquely, we can write down a sequence that converges to it (though not necessarily in a way that is computationally useful).
 
  • #3
Certainly every real number, rational or irrational, can be written in decimal form- therefore an "infinite summation".
 
  • #4
Originally posted by Hurkyl
It depends on what you mean by "expressed". There is certainly an infinite series that converges to any irrational number you like. For example:

[tex]
\pi = \pi + 0 + 0 + \ldots
[/tex]

Ok that was a little too trivial. :smile: It turns out that by rearranging the terms of this sequence in the right way, you can make the left hand side of this equation any real number you want:

[tex]
\ln 2=1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \frac{1}{5} - \ldots
[/tex]


However...

In the language in which we write mathematics, we can only write countably many equations, proofs, theorems, articles, et cetera. However, there are an uncountably many number of irrational numbers. Thus, there exist irrational numbers for which we cannot explicitly write sequence that converges to that number.

The good news, however, is that for any irrational number we can express uniquely, we can write down a sequence that converges to it (though not necessarily in a way that is computationally useful).

I am especially interested in the fact that we can only write countably many mathematical expressions, and there are uncountably many irrationals. Logically, this makes sense, but can it be mathematically proven that at least one such irrational number exists that cannot be expressed uniquely by form of any expression we currently have?

sincerely,
jeffceth
 
  • #5
Yes. It's easy enough to prove there are an uncountable number of irrational numbers.

Mathematical statements are defined to be strings of finite length of characters from a finite alphabet, and it's easy enough to show that the set of all of these strings is countable.

Thus, by the pigeonhole principle, there exists an (uncountable number of) irrational numbers that cannot be expressed uniquely with a mathematical statement.


We can appeal to physics to show that any other form of expression must have a countable number of states. Pick a fundamental unit for every observable quantity (e.g. length, momentum, charge) that is far smaller than anything we can measure. Then, in principle, we can write the state of the universe as a finite string of characters from a finite alphabet by "digitizing" every elementary particle in the universe by measuring all of the obvservable quantities of every particle and writing them down. Each of our measurements can only yield a finite number of results, there are only a finite number of observable quantities, and there are only a finite number of elementary particles in the observable universe, so there are actually only a finite number of distinguishable states of the universe.
 
Last edited:

1. What is an irrational number?

An irrational number is a real number that cannot be expressed as a ratio of two integers. It is a non-terminating, non-repeating decimal and continues infinitely without a pattern.

2. How can irrational numbers be expressed as infinite summations?

Irrational numbers can be expressed as infinite summations by breaking them down into smaller and smaller fractions and adding them together. This infinite summation will approach the irrational number but will never exactly equal it.

3. Are there any patterns in the infinite summation of irrational numbers?

No, there are no patterns in the infinite summation of irrational numbers. This is what makes them irrational – they cannot be represented by a repeating pattern.

4. Can all irrational numbers be expressed as infinite summations?

No, not all irrational numbers can be expressed as infinite summations. Some irrational numbers, such as pi, are known as transcendental numbers and cannot be expressed as infinite summations.

5. What is the significance of expressing irrational numbers as infinite summations?

Expressing irrational numbers as infinite summations allows us to approximate and better understand these numbers. It also helps in calculations and proofs involving irrational numbers.

Similar threads

Replies
4
Views
524
  • General Math
Replies
3
Views
5K
Replies
1
Views
1K
Replies
1
Views
2K
Replies
16
Views
4K
  • General Math
Replies
13
Views
4K
Replies
4
Views
285
Replies
14
Views
2K
Replies
5
Views
1K
Back
Top