4
$\begingroup$

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?

  • 4
    "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.2012-05-13
  • 3
    It already has been, when it is a useful concept. For example, as the [point at infinity](http://en.wikipedia.org/wiki/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!2012-05-13
  • 1
    [Or read the answers here](http://math.stackexchange.com/questions/125186/why-not-to-extend-the-set-of-natural-numbers-to-make-it-closed-under-division-by)2012-05-13
  • 1
    [Ooh, here it is again!](http://math.stackexchange.com/questions/87781/defining-division-by-zero)2012-05-13
  • 1
    There is an [algebraic structure called a wheel](http://math.stackexchange.com/a/127704/264) where division by 0 is perfectly well-defined.2012-05-13
  • 0
    @MarkDominus, it's everywhere! Like a plague.2012-05-13
  • 1
    I suspect these appeals to abstract algebra are not what OP had in mind.2012-05-13
  • 0
    @AustinMohr Why not? I think that the OP has heard about definition of irrational and imaginary numbers.2012-05-13
  • 0
    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.2017-03-20
  • 0
    +102 - score for a question about division by zero , no comment!2018-08-02
  • 0
    This "Weel-theory" does not convince me!2018-08-02

2 Answers 2

5

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$$

  • 5
    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$.2012-05-13
  • 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.2012-05-13
  • 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.2012-05-13
  • 0
    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?2012-05-13
  • 0
    Okay, but that is not what you said in your post, which I think obscures the real issues with irrelevant ones.2012-05-13
  • 0
    @MarkDominus, I changed the tone and substance of the post accordingly. I think it is a more accurate perspective now.2012-05-13
  • 0
    Is this "Weel theory" widely accepted at all ?2018-08-02
1

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 :)