I think I understand the fundamental concept of infinity. Elementary mathematics define $\infty := \frac{x}{0}$, for every $x$. And also $\infty := \frac{-x}{0}$ for every $x$. I know only one definition of $-\infty$ as $-\infty= 0-(\infty)$. Is there any other way to define $-\infty$?
How to define $-\infty$?
-
0Note that by your "definition", $-\infty = 0 - (\infty) = 0 - (-x/0) = +x/0 = \infty$. – 2011-09-14
3 Answers
Infinity is not defined in the way you described; something similar can be defined with limits but I think it is a confusing approach.
Here's a more formal definition: $\infty$ and $-\infty$ are points added to $\mathbb{R}$ in such a way the for all $a\in\mathbb{R}$ we have $-\infty < a < \infty$. Topologically speaking, open balls around $\infty$ are subsets of the form $\{x\in\mathbb{R}|x>a\}$ for a given $a$, and open balls around $-\infty$ are subsets of the form $\{x\in\mathbb{R}|x.
This allows to formally define concepts like tending to $\infty$ or $-\infty$ with the usual topological approach, and the extanded $\mathbb{R}$ is still a linearly ordered set (although it is no longer a field since arithmetic involving $\infty$ will no longer preserve the nice properties it has in $\mathbb{R}$).
$-\infty$ can be defined as the surreal number $\{\emptyset|-\mathbb{N}\}$.
-
1Well that is in fact $-\omega$. Stricly speaking, $1/0$ has no solution even in the surreal numbers, nor in any other field. If we extend this to a set model with proper classes, then $-\infty = \{\emptyset|\mathbf{No}\}$ – 2012-10-09
In the real line you can "define" $\infty = \frac{1}{0^+}$ and $-\infty = \frac{1}{0^-}$, but these are really limits: $-\infty = \lim_{x\to0^-} \frac 1x$ Here $x\to0^-$ means that $x$ approaches $0$ from the left, i.e., using negative numbers.
-
0I missed those negative and positive zeros. :) – 2011-09-14