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

Click For Summary
The discussion revolves around the mathematical implications of the equality 0.999... = 1 and the assertion that 1/∞ = 0 leads to the conclusion that ∞ = 1/0. Participants argue that infinity is not a real number, and thus operations involving it, such as division by zero, are undefined. The proof presented is deemed incorrect because it relies on treating infinity as a number, which contradicts established mathematical principles. Additionally, the fallacy of equivocation is highlighted, emphasizing that mathematical symbols must be used consistently within their defined contexts. Ultimately, the consensus is that infinity's inclusion as a real number would lead to nonsensical results in mathematics.
  • #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 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 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 weirdoguy and jbriggs444

Similar threads

  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 55 ·
2
Replies
55
Views
6K
  • · Replies 15 ·
Replies
15
Views
7K
  • · Replies 12 ·
Replies
12
Views
4K
  • · Replies 17 ·
Replies
17
Views
5K
  • · Replies 109 ·
4
Replies
109
Views
20K
  • · Replies 11 ·
Replies
11
Views
10K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 35 ·
2
Replies
35
Views
12K