Will Division by Zero be Defined Eventually?

Question

Possible Duplicate:
Division by $0$

I've always been inclined to believe that x/0 = NaN is a placeholder for a character or constant that no one has created yet.

I ~~know~~ assume that none of you can tell the future, but is there an expectation that someone will eventually (successfully) define division by zero?

"NaN": there, I just created it. The real question is not to "define" division by zero, but to define it in a way that makes the result useful. — Robert Israel, May 13 '12 at 20:26
It already has been, when it is a useful concept. For example, as the point at infinity in the real projective plane or in the extended complex plane. But one still has to be careful because it does not obey all the laws of arithmetic for finite numbers. One has to take care when making such exceptions! — bgins, May 13 '12 at 20:26
There is an algebraic structure called a wheel where division by 0 is perfectly well-defined. — Zev Chonoles, May 13 '12 at 20:29
I suspect these appeals to abstract algebra are not what OP had in mind. — Austin Mohr, May 13 '12 at 20:30
@AustinMohr Why not? I think that the OP has heard about definition of irrational and imaginary numbers. — Phira, May 13 '12 at 20:45
I can prove it through the generalization of the definition of what either Arithmetic, Mathematics or any field of Mathematics defines is, if people are willing to forget what they have learned already and begin with where I start out in the proof. Now there are already many common equations and definitions that are already true in what we know and they will be included in the proof as understood. One has to change their perspective of the actual definition of and the performing of math is in order to understand my proof. — Francis Cugler, Mar 20 '17 at 21:22
+102 - score for a question about division by zero , no comment! — Peter, Aug 02 '18 at 11:17

000 · Answer 1 · 2012-05-13T20:55:52.153

6

Division by zero can be defined. It is called Wheel Theory. It's not a very popular set of mathematics and the paper that it originates from is a little difficult to find. Division by zero is left undefined in modern mathematics because it causes a loss of many useful statements. For example, $\frac{a}{b}=c \Rightarrow cb=a$. This is not true when $b=0$ and $a$ is nonzero. ($cb=0\neq a$) So, we lose generality by allowing division by zero to be defined.

Allowing division by zero also leads to proofs such as this which are valid:

$$a=b$$ $$a^2=ab$$ $$a^2-b^2=ab-b^2$$ $$(a+b)(a-b)=b(a-b)$$ $$a+b=b$$ $$2b=b$$ $$2=1$$

edited May 13 '12 at 20:55

answered May 13 '12 at 20:28

000

5,760

7

I downvoted because division by zero does not really have anything to do with this style of erroneous proof, and the claim that it is undefined because it is the source of these errors seems to me mistaken. The error in this proof is to deduce $x=y$ from $f(x) = f(y)$. In this case the function is $f(x) = 0\cdot x$, but any other noninjective function will work, and some are common. For example, one often sees reasoning like this: $(-1)^2 = 1^2$; take the square root of both sides, thus $-1 = 1$. Or similarly $e^0 = e^{2\pi i}$; take logarithm of both sides, therefore $0=2\pi i$. – MJD May 13 '12 at 20:32
2

@MarkDominus, that very well may be a perspective that I cannot follow very well. It seems to me that you're generalizing the error when the transition from line $4$ to line $5$ involves division by zero, which was what I meant when I said It is the source of many erroneous proofs that you see online.
It is very possible I do not fully understand your viewpoint, however.
– 000 May 13 '12 at 20:37
3

Here is my reasoning: You can produce a proof that $0=1$ that works in essentially the same way without dividing by zero, say instead by taking square roots. Yet we don't say that taking square roots is undefined. In what way is dividing by zero different from taking square roots? Your reply doesn't get to the essence of why it was left undefined. – MJD May 13 '12 at 20:42
I see a huge difference between dividing by zero and taking square roots: Taking square roots has an obvious and meaningful interpretation, dividing by zero does not. There are certain cases where it would seem that dividing by zero would make sense to be defined a certain way, but the fact that there are cases rather than a case makes it unsatisfactory to define division by zero. I guess it may be more sensible to look at it from the perspective of, "What can I gain from defining this and what do I lose from defining this?" In the case of division by zero, we lose a lot. What do you think? – 000 May 13 '12 at 20:46
Okay, but that is not what you said in your post, which I think obscures the real issues with irrelevant ones. – MJD May 13 '12 at 20:48
@MarkDominus, I changed the tone and substance of the post accordingly. I think it is a more accurate perspective now. – 000 May 13 '12 at 20:56
Is this "Weel theory" widely accepted at all ? – Peter Aug 02 '18 at 11:14

score 1 · Answer 2 · answered May 13 '12 at 20:29

My understand of arithmetic division over R is this: a/b = {x in R| b*x = a}. In case of division by 0, the answer would be none unless a = 0.

By studying the limits of the function 1/x we can tell that 1/0 is the biggest number ever(which is known to not exists :))

What I wanna say, is that 1/0 doesn't exists and thus cannot be defined. Unless..who knows :)

Will Division by Zero be Defined Eventually?

2 Answers2

Linked