Definition:Infinite
in the process of being refactored, or:
has been identified as a candidate for refactoring. In particular:
Separate out "infinity" and put it somewhere else, out of sight so we don't have to look at the disgusting thing.
Until this has been finished, please leave {{refactor}} in the code.
Definition
A set which is not finite is called infinite.
That is, it is a set for which there is no bijection between it and any $\N_n$, where $\N_n$ is the the set of all elements of $n$ less than $n$, no matter how big we make $n$.
Informally, the term infinity is used to mean some infinite number, but this concept falls very far short of a usable definition.
The symbol $\infty$ (supposedly invented by John Wallis) is often used in this context to mean an infinite number.
However, outside of its formal use in the definition of limits its use is strongly discouraged until you know what you're talking about.
It is defined as having the following properties:
- $\forall n \in \Z: n < \infty$;
- $\forall n \in \Z: n + \infty = \infty$;
- $\forall n \in \Z: n \times \infty = \infty$;
- $\infty^2 = \infty$.
Similarly, the quantity written as $-\infty$ is defined as having the following properties:
- $\forall n \in \Z: -\infty< n$;
- $\forall n \in \Z: -\infty + n = -\infty$;
- $\forall n \in \Z: -\infty \times n = -\infty$;
- $\left({-\infty}\right)^2 = -\infty$.
The latter result seems wrong when you think of the rule that a negative number square equals a positive one, but remember that infinity is not exactly a number as such.
Also See
Sources
- Paul R. Halmos: Naive Set Theory (1960)... (previous)... (next): $\S 13$: Arithmetic
- J.A. Green: Sets and Groups (1965)... (previous)... (next): $\S 1.1$
- Seth Warner: Modern Algebra (1965)... (previous)... (next): $\S 17$
- A.N. Kolmogorov and S.V. Fomin‎: Introductory Real Analysis (1968): $\S 2.1$
- Allan Clark: Elements of Abstract Algebra (1971)... (previous)... (next): $\S 15$
- K.G. Binmore: Mathematical Analysis: A Straightforward Approach (1977)... (previous)... (next): $\S 1.3$
- Thomas A. Whitelaw: An Introduction to Abstract Algebra (1978)... (previous)... (next): $\S 2 \ \text{(e)}$
- H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability (1996): Appendix $\text{A}.6$
