Where has this proof gone wrong? ∞= 1/0

Click For Summary

Discussion Overview

The discussion revolves around the mathematical implications of the statement ∞ = 1/0, particularly in relation to the equality 0.999... = 1. Participants explore the validity of using infinity in arithmetic operations, the concept of infinitesimals, and the definitions of real numbers versus extended number systems.

Discussion Character

  • Debate/contested
  • Technical explanation
  • Conceptual clarification

Main Points Raised

  • Some participants assert that 1/∞ is not a real number and cannot be added to other numbers, arguing that infinity is a symbol rather than a number.
  • Others challenge the notion of "one infinith smaller" than one, stating that such an expression does not make sense within the framework of real numbers.
  • A participant explains that the Extended Reals do not support multiplication involving infinity, suggesting that operations with infinity lead to contradictions.
  • Some argue that if infinity were treated as a real number, it would lead to nonsensical results, such as 0 = 1, due to the properties of multiplication.
  • There is a discussion about different interpretations of infinity, including cardinality and limits, and how these interpretations affect mathematical operations.
  • A participant mentions that in certain extended number systems, such as the Real Projective Line, the expressions involving infinity can be defined differently, leading to valid results.
  • Concerns are raised about the implications of including infinity in the real number system, with references to the potential for nonsensical outcomes.

Areas of Agreement / Disagreement

Participants generally agree that infinity is not a real number and that division by zero is undefined. However, there are competing views on the implications of extending the number system to include infinity and how that affects mathematical operations.

Contextual Notes

Limitations include the dependence on definitions of infinity and the context in which it is used. The discussion highlights the unresolved nature of operations involving infinity and the distinctions between different mathematical frameworks.

  • #31
Mr Indeterminate said:
Then how you reason that x(x-1)=0 isn't proof of 1=0 while in #7 it is?
#7 is a proof using the fundamental properties of arithmetic. In your "proof", you are confusing 'or' with 'and'. You should review the difference before continuing.
 
  • Like
Likes   Reactions: StoneTemplePython
Mathematics news on Phys.org
  • #32
FactChecker said:
#7 is a proof using the fundamental properties of arithmetic. In your "proof", you are confusing 'or' with 'and'. You should review the difference before continuing.

Did you read #28?
 
  • #33
Mr Indeterminate said:
Did you read #28?
#28 made no argument that I can see.
 
  • #34
Mr Indeterminate said:
I concede that "and" was inappropriate wording.

However, I still think the 1=0 logic provided earlier in the thread is problematic.

Any chance we could cover off on this before moving back the original question?
To which 1=0 logic are you referring to exactly?

For the record, if we accept that ##\frac 1\infty=0##, we accept that we're not talking about the real numbers (or a field) any more, but for instance about the real projective line. In that case the implication that multiplying both sides by ##\infty## would yield ##1=0\cdot \infty## does not hold true. And that's a reason why infinity is not included in the real numbers.

To follow through with the real projective line, each number is represented as [x:w], which really means ##\frac x w##. With this definition, it becomes possible to calculate with infinity (represented as [1:0]) without problems. It does mean that any result that comes out as [0:0] must be treated as undefined.
 
  • Like
Likes   Reactions: jbriggs444
  • #35
Mr Indeterminate said:
Then how you reason that x(x-1)=0 isn't proof of 1=0 while in #7 it is?
When one writes down a variable name in mathematics saying something like...

"Let x be a solution to the equation: x(x-1)=0"​

... one is allowing the symbol "x" stand in for one of the two solutions of that equation. It does not mean that x=0 and x=1. It means that x=0 or x=1. Which of the two solutions it is remains unspecified.

An assertion that x(x-1)=0 is not strong enough to demonstrate that x=1. It might instead be 0.
An assertion that x(x-1)=0 is not strong enough to demonstrate that x=0. It might instead be 1.
So there is no basis on which to invoke the transitive property of equality and proceed to a conclusion that 1=0.

Edit to add:

Now let us go back to #7 and see if this flaw applies to the argument there...

The first line begins with a phrasing: "If ##\infty## were a member of the field of real numbers...". The mathematical meaning of this is that we are using the symbol ##\infty## to denote an arbitrary real number. A single number, albeit a number not yet fully specified.

That line proceeds with "if one agreed that ##\frac{1}{\infty} = 0##. This further restricts the set of real numbers that ##\infty## might denote. It still denotes a single real number, albeit one that still might not be completely specified.

In fact, it has been over-specified -- no such real number can exist. Which is demonstrated by the rest of the argument.

The next line argues that whatever ##\infty## is, the properties of arithmetic together with the premise that ##\frac{1}{\infty} = 0## means that ##0 \cdot \infty = 1##. Because ##\infty## denotes a single real number, ##0 \cdot \infty## evaluates to a single real number whose value must be 1. That is, no matter what value ##\infty## denotes, the expression ##0 \cdot \infty## must evaluate to 1.

The next line proceeds to demonstrate with equal force that no matter what value ##\infty## denotes, the expression ##0 \cdot \infty## must evaluate to 0.

Equality is transitive. Two things equal to the same thing are equal to each other. So one can conclude that 1=0.

Note well. We were able to demonstrate that ##0 \cdot \infty## = 0 and we were also able to demonstrate that ##0 \cdot \infty## = 1. That's and, not or.

This argument takes the form of a proof by contradiction. We have applied correct logic and concluded a falsehood. So at least one of the premises must be incorrect. The premises were:

"If ##\infty## were a member of the field of real numbers" and
"If one agreed that ##\frac{1}{\infty}= 0##"

At least one of those conditions must not hold.
 
Last edited:
  • #36
jbriggs444 said:
I stand behind the correctness of the logic in #7: If ##\infty## is an element in the field and has the property that ##\frac{1}{\infty}## = 0 then 1=0.

Indeed, I agree as well to this. There is even a field axiom, called the non-triviality axiom, that forbids that ##0 = 1##.
 
  • #37
From post #7 (with underlining added by me):
jbriggs444 said:
If ##\infty## were a member of the field of real numbers and if one agreed that ##\frac{1}{\infty}=0## then one could proceed to prove nonsense. For example...
In the post above jbriggs444 continues to the nonsense result that 1 = 0.

Mr Indeterminate said:
Then how you reason that x(x-1)=0 isn't proof of 1=0 while in #7 it is?
A shorter version of what jbriggs444 said in post #35.
If x(x - 1) = 0, then we can conclude that x = 0 or x = 1. x can be one of these values but not both. There's no way we can conclude that 0 = 1 from this.

Since we seem to be beating a dead horse here, I'm closing this thread.
 
  • Like
Likes   Reactions: weirdoguy and jbriggs444

Similar threads

  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 55 ·
2
Replies
55
Views
6K
  • · Replies 15 ·
Replies
15
Views
7K
  • · Replies 17 ·
Replies
17
Views
6K
  • · Replies 12 ·
Replies
12
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 11 ·
Replies
11
Views
10K
  • · Replies 229 ·
8
Replies
229
Views
32K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 35 ·
2
Replies
35
Views
13K