0 divided by 0

  1. [tex]\frac{0}{0}[/tex]

    Is it 0 or undefined? I thought this was interesting, it seems a paradox in its own.
  2. jcsd
  3. Well, assuming you are working with the field of real numbers, 0 doesn't have an inverse multiplicative element. There is no real number x such that 0*x=1. So the expression 0/0 which really means 0 times the multiplicative inverse of 0 has no meaning, since the multiplicative inverse of 0 isn't in the field of reals and doesn't actually exist. Thus 0/0 is undefined.

    Intuitively, dividing zero by zero makes no sense because you are asking 0=0*x for what number x? Well, x could be any real number and it would satisfy that equation. In other words, the expression 0/0 isn't defined to be a particular number, whereas when we define division as a/b for real numbers a and nonzero real numbers b, we mean a/b=x where x is the unique solution to the equation x*b=a. The expression a/b is supposed to spit out a single real number. In our 0/0 case, it sort of gives us literally every real number as an output, which means it is useless if we are trying to describe a specific number with it.

    You might want to hide your post before the mathematicians see this and die of shock and mad rage! lol
  4. DaveC426913

    DaveC426913 15,942
    Gold Member

    Thank you nucl, for reminding me of the proof that 0/0 has a good reason for being undefined.

  5. That was a beautiful explanation nucl, I never thought about division just being the inverse of multiplication (duh!). Your explanation makes complete sense.

    And why would the mathematicians see this and die of shock and mad rage? loll
  6. That's just how they are! :P
  7. micromass

    micromass 18,448
    Staff Emeritus
    Science Advisor

  8. Actually, in complex analysis, it's common to say that the function 1/z maps 0 to infinity when infinity is considered as the point at infinity on the Riemann sphere. So, in that sense, you could say 1/0 = infinity (when it's done naively by calculus students, this is wrong because they don't have a mapping in mind). You could restrict this to get 1/x when x is a real variable. The trick here is that you have to identify negative infinity with positive infinity. This isn't to say that 0 has an inverse. It is just that it is now included in the domain of the function 1/x and the point at infinity is added to the range.

    But, still, 0/0 wouldn't have a good interpretation because that would correspond to the function 0/x, which is zero everywhere. I guess you could send 0 to 0, so that the function is continuous. So, you could define 0/0 to be zero. But it would be very confusing and bad notation that wouldn't accomplish anything, since there's no need to describe the constant function equal to 0 by such a convoluted means. And again, you would need to be careful to point out that it's a mapping, rather than taking an inverse, but that's a moot point. Better not to discuss it at all than to cause all this confusion. So, yes, 0/0 is undefined.
  9. HallsofIvy

    HallsofIvy 40,241
    Staff Emeritus
    Science Advisor

    We might note that many text refer to "0/0" as "undetermined" rather than "undefined" because if you have a limit of a fraction where the numerator and denominator both go to 0, the actual limit itself can exist and can be anything.
  10. mathman

    mathman 6,395
    Science Advisor
    Gold Member

    There is a distinction between (1) lim f/g, where f -> 0 and g -> 0 and (2) 0/0. Case (1) is undetermined, case (2) is undefined.
  11. What about looking at:

    [itex]\frac{lim}{x -> 0}[/itex][itex]\frac{x}{x}[/itex]

    and apply l'Hôpital's rule to obtain:

    [itex]\frac{1}{1}[/itex] = 1
  12. micromass

    micromass 18,448
    Staff Emeritus
    Science Advisor

    That are limits. Limits have nothing to do with our discussion here. Whether 0/0 is defined or not is independent from whether the limit is defined or not.
  13. That was interesting, thank you. You said that [itex] \frac{1}{0}[/itex] isn't ∞ because as you approach 0 in a rational function then it can either be positive or negative infinity. So then would you be able to state:

    [itex]\frac{0}{0}= -∞ < x < +∞ [/itex], where x exists anywhere on the extended real number line. Then the probability of x being a particular value on the one of the real numbers would be [itex]\frac{1}{∞}[/itex] would be undefined. Therefore, that might imply that [itex]\frac{1}{0}[/itex] is undefined.

    But that is a very weak and inconclusive argument, I'm speaking gibberish haha.

    Anyways, if you had to describe Peano axiom [of multiplication] in one or two sentences, what would it be?
    Last edited: Nov 28, 2011
  14. HallsofIvy

    HallsofIvy 40,241
    Staff Emeritus
    Science Advisor

    Or what about looking at
    [itex]\frac{\lim}{x\to 0}\frac{2x}{x}[/itex] which has limit 2.

    [itex]\frac{\lim}{x\to 0}\frac{ax}{x}[/itex] which has limit a, for any number a.
  15. jgens

    jgens 1,621
    Gold Member

    Not quite. In the real numbers or the extended real numbers, the expression 1/0 is left undefined. In the real number system, this is done since R contains no infinite elements. In the extended real numbers, this is done for precisely the reason you stated above; in particular, the left-hand limit of 1/x as x → 0 is -∞ while the right-hand limit is +∞.

    However, in the projective real number system, we define 1/0 = ∞. In the projective reals, there is only one infinite element and this element does not have sign. This is what makes this definition work.

    The point is that the answer to some of these questions depends entirely on the context. In some number systems, 1/0 is undefined while in others it has a perfectly reasonable definition.

    So what you are suggesting here is that we define 0/0 as a collection of numbers. There is nothing inherently wrong with this, but there is also no real motivation to do so either. In my opinion, there are (aesthetic) reasons not to define 0/0 in this manner. In particular,
    • If we adopt the convention that 0/0 = R, then expressions like 1/2 are numbers while 0/0 is a set. There is nothing wrong with this, but it is inconvenient that some ways of stringing together numbers give numbers while other ways give sets.
    • While expressions like 1/2 can be interpreted as 2-1, we are forced to interpret 0/0 as an expression in it's entirety. In particular, things like 0 * 0-1 still make no sense, since the distributivity axiom for rings guarantees that 0 is not a unit in any ring.
    So, while there is technically no issue with defining 0/0 = R, I still think there is sufficient reason not to. Also, I do not think you gain any utility from defining 0/0 = R, so why do it in the first place?

    If you want 0/0 to denote a value of R then you need to choose a value when you define it. Otherwise, when we write 0/0, it could literally mean any real number; there would be no way of actually picking out which value of 0/0 we want. This way of defining 0/0 is problematic.

    As a slightly unrelated note on probability, consider the following problem: If you select an integer at random from Z, what is the probability that the integer you chose is 0? It turns out the probability is zero. Therefore, there are events with probability 0 that can still occur. Likewise, there are events with probability 1 that do not occur. These are just some neat things that happen when you consider probability on infinite sample spaces.
  16. Okay I agree with your post. Something with probability one does not have to occur. But how can something with probability 0 occur? It could be an infinitesimal and not occur that much I agree, [itex]lim_{Δx\ to 0}[/itex] isn't necessarily 0. But 0 is a bit of a different number.

    What do you think? I'm still new to math so I might be wrong..
    Last edited: Nov 28, 2011
  17. jgens

    jgens 1,621
    Gold Member

    In the real number system, there are no infinitesimal elements. The same is true in the extended reals and projective reals as well. In fact, most mathematicians rarely (if ever) do any work that uses formal infinitesimals. There are number systems that have infinitesimal elements (like the hyperreal numbers), but most of these have roots in model theory and are fairly difficult to define formally. If you are interested, non-standard analysis is the subject that deals with the calculus of these infinitesimal numbers, but non-standard analysis is far from one of the more active areas of research in analysis.

    Therefore, it is often best not to resort with reasoning using infinitesimals. Without using their formal properties, it is easy for your intuition to deceive you. It turns out most people have terrible intuition when it comes to infinitesimals.

    Now, it is important to note that [itex]lim_{h \to 0} h = 0[/itex]; that is, the value of the limit is 0. The limit is not infinitesimally close to 0, but actually is 0. This is an extremely important point to understand.

    Finally, keeping what I've said above in mind, something with probability 0 can occur in just the same manner as something with probability 1 not occurring.
  18. Hey, thanks for your patience. You haven't really argued on how something with probability 0 can occur. I'm not completely convinced at the moment. I'll try to put it in words for the sake of argument; to me 0 is absolutely nothing, so for absolutely nothing to happen is a paradox. Can you throw in a bit of mathematics, I'm interested.
  19. micromass

    micromass 18,448
    Staff Emeritus
    Science Advisor

    Hmm, probability 0 is indeed a silly concept. Most people think of probability as throwing dice, and indeed: throwing a 5.5 with a dice has probability 0 and thus never happens. But it is important not to generalize this situations. There are some probability 0 situations which can happen.

    As an example: choosing an arbitrary number in the interval [0,1]. It is clear that all numbers have the same probability p of being chosen. However, saying that a number has probability p>0 is wrong, since [itex]\sum_{x\in [0,1]}{p}\neq 1[/itex]. So we NEED to choose p=0. So choosing probability 0 for this is actually quite unfortunate and caused by a limitation of mathematics.

    However, there is another way of seeing this. Probability can be seen as some "average" value. For example, if I throw dices n times (with n big), then I can count how many times I throw 6. Let [itex]a_n[/itex] be the number of 6's I throw. Then it is true that

    [tex]\frac{a_n}{n}\rightarrow \frac{1}{6}[/tex]

    So a probability is actually better seen as some kind of average.

    Now it becomes easier to deal with probability 0. Saying that an event has probability 0 is now actually a limiting average. So let [itex]a_n[/itex] be the number of times that the event holds, then we have

    [tex]\frac{a_n}{n}\rightarrow 0[/tex]

    It becomes obvious now that the event CAN become true. For example, if the event happens 1 or 2 times, then we the probability is indeed 0. It can even happen an infinite number of times.
    Probability 0 should not be seen as a impossibility, rather it should be seen as "if I take a large number of experiments, then the event will become more and more unlikely". This is what probability 0 means.
  20. jgens

    jgens 1,621
    Gold Member

    Here are some simple examples:
    • If you choose an integer at random from Z, what is the probability that the integer chosen is 0?
    • If you choose an integer at random from Z, what is the probability that the integer lies between -N and N?
    • If you choose a real number at random from R, what is the probability that the real number chosen is rational (or algebraic)?
    In each case, the probability in question is 0. The third statement is a little more complicated, but it has a nice proof once you have measure-theoretic concepts.

    I will prove that the probability of the second statement is 0:
    Let [(2N)m] = {-(2N)m, ... , (2N)m}. Then for a fixed m, the probability of choosing an integer between -N and N is (2N)1-m. By letting m → ∞, we see that the probability goes to 0. In particular, in the limiting case (when we are choosing elements from Z), the probability is 0.

    I should probably write this more formally and nicely, but it captures the point. So there's your example. If you don't think that the limit actually is 0, but rather is something else, what do you propose that something else should be?
  21. Hii , Nano-Passion !!
    This is a very interesting question.

    0/0 is neither ∞ nor 0. It is what is "Indeterminate".

    For example we can say that 1/0 = ∞ because 0x1 = 0 , 0x10100000000000000000 = 0. So we assume that somehow at an undefined place that is ∞ 0 will become 1.

    But in case of 0/0 , every equation is satisfied !

    0/0 = x , where x can be any number. So this is kinda indeterminable.

    Here is the best explanation of 0/0 by Doctor Math : http://mathforum.org/library/drmath/view/55722.html

    Read it , it is very interesting.
Know someone interested in this topic? Share a link to this question via email, Google+, Twitter, or Facebook