Difference between revisions of "Infinite"
m |
|||
Line 5: | Line 5: | ||
A [[set]] <math>S</math> is said to be '''infinite''' if there is a [[surjection]] <math>f:S\to\mathbb{Z}</math>. If this is not the case, <math>S</math> is said to be [[finite]]. | A [[set]] <math>S</math> is said to be '''infinite''' if there is a [[surjection]] <math>f:S\to\mathbb{Z}</math>. If this is not the case, <math>S</math> is said to be [[finite]]. | ||
− | In simplified language, | + | In simplified language, a set is infinite if it doesn't end, i.e. you can always find another element that you haven't examined yet. |
===Equivalent formulations=== | ===Equivalent formulations=== |
Revision as of 15:46, 20 July 2006
This article is a stub. Help us out by expanding it.
A set is said to be infinite if there is a surjection . If this is not the case, is said to be finite.
In simplified language, a set is infinite if it doesn't end, i.e. you can always find another element that you haven't examined yet.
Equivalent formulations
- A set is infinite if it is not empty and cannot be put into bijection with any set of the form for a positive integer .