5
$\begingroup$

I was surprised to see that 1/0 is undefined. One answer mentions that $1/0$ can be +$\infty$ or -$\infty$ depending on whether $0$ is approached by the left or the right:
                   (graph)
But why does this make a difference? Aren't both numbers equal by all measurable accounts?

Also, if zero is neither positive nor negative, why $1/0$ does not equal "unsigned infinity", which would be infinity in its own dimension (like imaginary numbers), and hence, $0$ in the real dimension?

Also, if we keep dividing 1 in parts of zero size, won't we have +$\infty$ number of parts?

  • 0
    @Camilo Here's [another reason](http://math.stackexchange.com/questions/131343/fake-induction-proof) why $\infty$ is not considered a number.2012-04-13

5 Answers 5

8

Changed to an answer and expanded at asker's request.

The problems with extending the definition of division to make $\frac{1}{0}$ meaningful appear when you treat it like any other real number. The real numbers have certain operations defined on them, notably addition, subtraction, multiplication and (except when the denominator is $0$) division. These satisfy certain properties, such as $b\cdot \frac{a}{b}=a$ and $0\cdot a=0$ for any real numbers $a,b$ such that the expressions are defined. If we want these to still hold after defining $\frac{1}{0}$, we would have to let $1=0\cdot \frac 1 0 = 0$! This is absurd, so whatever we build by defining $\frac{1}{0}$ is very different from the real numbers, and lacks at least one of its fundamental properties.

  • 0
    @Alex Becker You forgot that for $\displaystyle b \cdot \frac{a}{b} = a$, $b$ must $\neq 0$. And if $\displaystyle \frac{x}{0} = 0$ then $\displaystyle \frac{0}{x} = \frac{1}{0} = 0$ which make sense.2013-09-30
3

Another problem here lies in that there doesn't exist a single object like "unsigned infinity". When we write (2+3)=5, there exists a single, unique number 5 which (2+3) equals. But, if we let (1/0) equal unsigned infinity, we've let it equal both positive infinity and negative infinity which are not the same infinity. Multiple infinities don't just happen because we have both positive and negative numbers. If "0" indicates an infinitesimal number, which may or may not equal the real number 0, then (1/0) and (15/0) will equal different hyperreal infinite numbers.

  • 0
    @CamiloMartin A lot of what I've written elsewhere has evoked negative responses from others for various reasons. The downvoter might have just downvoted, because they saw I wrote the answer... though perhaps not, I don't know. Since (1/0) and (15/0) are both undefined, given that "0" means the number 0, one can legitimately maintain they equal different infinities. If "0" means an infinitesimal number, which may or may not equal the real number "0", then (1/0) and (15/0) *will* equal different infinite numbers in a hyperreal number system.2012-04-13
1

I think it is mainly due to the sign (positive or negative) of $1/x$ depending on whether $x$ is positive or negative.

There may be more "deeper" answers than the above, but for most practical purposes that is the reason.

  • 0
    @PeterT.off Ah, I see, I am currently finding out how this notation works so thanks. Can't edit the comment anymore but will edit the question.2012-04-13
0

It matters if you compactify the real line with $2$ infinities, as you implicity did. If you use the real line Alexandroff Compactification (which seems like what you were naively assuming when you said "Aren't both numbers equal by all measurable accounts?"), you can actually define $1/0=\infty$ in order to make this function continuous in the whole line (Notice you also put $1/\infty=0$). But you may lose some generality in arithmetic properties by doing that, and have to define things wisely in order to keep the maximum generality possible (or simply don't define those things at all).

  • 0
    I'll write myself off as "too uninformed to have asked the question in the first place".2015-01-24
-1

You have to be careful here; you're poking at some advanced mathematics. Before delving into the discussion at hand, concerning your "infinity in [its] own dimension" remark, have a look at this. Now, onto why $\frac{1}{0}$ is (for the most part) problematic. We shall begin with a brief discussion of the concept of number and division.

We may only consider the concept of a non-negative integer, as the rest follows :) While there are a number of good, and technical, definitions of this type of mathematical object, it will suffice for us to interpret it as a set of sets. So, for example we may say $0 = \varnothing = \{\}, 1 = \{0\} = \{\{\}\},$ $2 = \{0, 1\} = \{\{\},\{\{\}\}\},$ and so on (Reference: Advanced Calculus, Shlomo Sternberg). Now, we may conveniently define $\mathbb{Z}^*$ (the set of non-negative integers) to be the set containing all objects describable in the form "$\{\{\}_1,\{\{\}\}_2,..., \{...\{\}...\}_{n - 1}\}$", where $n \in \mathbb{Z}^+$ and the indices have only been shown for convenience. Notice, that this disallows the number "$\infty$", since "$\infty$" is defined as (for our purposes) the object such that no number is greater than or equal to it. Indeed, this is problematic given our current framework, hence the link at the beginning. Anywho, we can now also define the binary operators "$+$", "$-$", "$\div$", and "$\times$". I'll leave the details to you, and only focus on "$\div$".

$ \mathbf{\tag{1} Def:}\ \forall x, y \in \mathbb{Z}, \ {x} \div {y} = \frac{x}{y} = r \in \mathbb{Z}^* : (r \times y = x ) \iff (x \div y = r : y \text{ can be subtracted } r \text{ times from } x) \text{ (i.e., } x - r \times y = 0). $

Certainly, $x \geq y$ and $y \neq 0$ or $x < y$ and $x,\ y \neq 0$ is a necessary condition for $x \div y$ to be defined. As a corollary to what we have covered so far, $\forall x \in \mathbb{Z}^*,\ x \div 0$ is undefined, for there is simply no integer, $r$, such that $r \times 0 = x$ if $x > 0$; if $x = 0$, $x \div 0$ is still undefined, though, for a subtly different reason which I'll allow you the pleasure of working out for yourself.

The fact that "$\lim_{x \rightarrow \infty} x^{-1} = \pm \infty$" is merely a subtlety of the real number system, the notion of limit, and mathematicians rejecting the idea of defining infinity with coarse machinery.

  • 0
    As much as this explanation is very well laid out and certainly interesting, I did not understand the formula and the subsequent statement, but that's my fault. Other than that, the final paragraph clears up that my doubt stems from the notion of limit. (I should probably have stated I'm a layperson, but +1 nonetheless for a compendious answer.)2012-04-13