Difference between revisions of "Infinity"

@@ Line 1: / Line 1: @@
-'''Infinity''' is the amount that is impossible to exceed or diminish.
-Rejected by ancient [[Greek]] philosophers and mathematicians, infinity is a significant part of the [[logic]] of [[Jesus]].  Greeks '''''mistakenly''''' felt as follows:<ref>http://www.iep.utm.edu/infinite/</ref>
-{{cquote|The Ancient Greeks generally conceived of the infinite as formless, characterless, indefinite, indeterminate, chaotic, and unintelligible. The term had negative connotations and was especially vague, having no clear criteria for distinguishing the finite from the infinite.}}
-The ancient Greeks were flat-out wrong.  Infinity exists, as universally accepted today, with consequences.
-For example, the existence of infinity implies the existence of its two opposites, [[zero]] and [[negative infinity]].  Zero is the amount that is infinitely small.  The existence of an infinite [[God]] implies the necessary existence of the opposite: the void described in [[Genesis]].  Negative infinity, as implied by the existence of positive infinity, is the numeric equivalent of the [[Hell]] mentioned frequently in the [[New Testament]].
-__NOTOC__
-== Teachings about infinity by Jesus ==
-Infinity is depicted by both the [[Multiplication of the loaves]], the master's estate in the [[Prodigal Son]], and the parable of the vineyard workers.<ref>Matthew 20:1-16.</ref>  Also, one's soul is of infinite value to him and cannot be exceeded in value by anything else, as explained by Matthew 16:26.
-[[Jesus]] taught the existence of infinity in multiple ways.  Indeed, the [[Gospels]] and [[Epistle to the Hebrews]] are like a book of [[logic]] about infinity.  This was contrary to the views of the greatest Greek mathematician and philosopher, [[Pythagoras]] and [[Aristotle]], who both incorrectly rejected that infinity could exist.<ref>See [[Math and the Bible]].</ref>  The [[Old Testament]] has only indirect references to infinity.
-== Anselm and Shakespeare ==
-[[Anselm]] focused on infinity to prove the divinity of [[Christ]].  [[Chaucer]] referenced "infinity" in 1374, according to the [[OED]].  But [[Shakespeare]] used infinity more than anyone up until his time, in such classics as [[Hamlet]] ("A king of infinite space") and [[Romeo and Juliet]] (“My bounty is as boundless as the sea, My love as deep; the more I give to thee, The more I have, for both are infinite.”).  This passage from Hamlet is particularly memorable in referring to the infinite:<ref>Hamlet, 2.2.314</ref>
-{{cquote|What a piece of work is a man! how noble in reason! how infinite in faculty! in form and moving how express and admirable! in action how like an angel! in apprehension how like a god! the beauty of the world! the paragon of animals!}}
-== Similarities to zero ==
-Infinity has surprising similarities to [[zero]].  Neither can be diminished, and the multiplication or division of either cannot change it.  While infinity and zero are opposites, neither is stronger or superior to the other: multiplication of infinity by zero yields an indeterminate result.  As a pair they illustrate the logical truth that "the last shall be first, and the first shall be last" as taught by Jesus at the end of the parable of the vineyard workers, a parable that illustrates that infinity cannot be diminished.
-== Infinity and mathematics ==
-Infinity is denoted in mathematics by this symbol:<math>\infty\,</math>, looking like an 8 on its side.
-Infinity comes up in many aspects of mathematical discourse and is often treated as a number, but it is not a [[real number]]. In mathematical contexts, infinity often appears as a limit, as an integral, as the measure (size) of a set in Euclidean space, and as the cardinality (size) of sets in general.
-The simplest place to see this seeming paradox is in the fact that all integers are finite, but that there are an infinite number of them.
-*Why are all integers finite?  Because, if infinity were an integer, what would <math>\infty+1\,</math> be?
-*Why is the ''set'' of all integers an infinite set?  Because they go on forever. If the set were finite, there would be a biggest integer. But that can't be, because we can always add one to any integer. This kind of thinking is often schoolchildren's first introduction to logical reasoning.<ref>Merrian-Webster defines infinity as an "unlimited extent of time, space, or quantity ... an indefinitely great number or amount." [http://www.merriam-webster.com/dictionary/infinity Merriam-Webster dictionary]  Put another way, infinity is something which "goes on without end."</ref>
-While infinity is not a number, it appears in many other contexts.  As we have seen, the size of the set of integers is infinite. We say that the [[cardinality]] of the integers (this set is often denoted <math>\mathbb{Z}</math>) is infinite.  The rational numbers (<math>\mathbb{Q}</math>) and the real numbers (<math>\mathbb{R}</math>) also have infinite cardinality.  An interesting result from set theory (see below) is that <math>\mathbb{Z}</math> and <math>\mathbb{Q}</math> have the same cardinality, while <math>\mathbb{R}</math> has larger cardinality than the other two.
-Another place where infinity arises is in limits. We can say that "the limit of <math>1/x\,</math> as <math>x\,</math> approaches zero is infinity", or "the limit of <math>e^{-x}\,</math> as <math>x\,</math> approaches infinity is zero", but this is because infinity has a special meaning in the context of limits.  See [[limit (mathematics)|limit]] for discussion of this.
-We can also say that "the measure (size) of the set of reals is infinity", or that certain integrals are infinite, but this is because of special properties of measures and integrals.
-So infinity might arise in statements like these:
-*<math>\frac{1}{0} = \infty\ \ </math>NO!  This isn't allowed!  Infinity is not a number, and division by zero is illegal!
-*<math>\lim_{x\to 0}\frac{1}{x} = \infty\ \ </math>Yes, sort of. One could say that "the limit is infinite", since that includes both positive and negative infinite values.  But to say that the limit is "equal to infinity", one would have to say that this is the limit from the right. The limit from the left is "minus infinity", that is, unboundedly negative. This sort of statement, in terms of limits, is what was presumably meant by the incorrect statement above.
-*<math>\int_0^1\frac{1}{x} = \infty\ \ </math>Infinity has a special meaning for integrals.
-*<math>\|\mathbb{Z}\| = \infty\ \ </math>The cardinality of the integers is infinite.
-*<math>\mu(\mathbb{R}) = \infty\ \ </math>The (Lebesgue) measure of the reals is infinite.
-In measure theory, one sometimes defines the "extended reals", allowing plus and minus infinity to be considered to be numbers, but this is a special construction, which makes certain arithmetical operations impossible.  It can't be done in general.
-Another place where infinity is considered acceptable is in [[Floating-point]] arithmetic in computers.  The IEEE-754 standard (which all modern computers support) allows the values <math>\infty\,</math> and <math>- \infty\,</math>. But their treatment is very different from other numbers, and computer floating-point numbers don't faithfully model the real numbers in any case.
-Also, in some non-standard models of [[Peano Arithmetic]], <math>\infty\,</math> is treated as an actual number. But, once again, this is not standard mathematics.
-[[Georg Cantor]]'s [[diagonalization|diagonal argument]] is an elegant proof demonstrating that the (infinite) cardinality of [[real number]]s is greater than the (infinite) cardinality of [[countable]] [[integer]]s.  The essence of the argument is that in any proposed list of all real numbers, a new real number not in the list can be constructed by taking the digits in a [[diagonal]] through the list and changing them to construct a new real number that differs from the nth entry at the nth position right of the decimal point.
-To formalize the concepts of countably and uncountably infinite sets, we need the [[set theory]] concept of [[cardinality]]. Using this concept it can be shown that there are infinitely many distinct infinite cardinalities.
-In [[Zermelo-Fraenkel]] set theory, there is the [[Axiom of Infinity]], asserting the existence of an infinite set. The set that it creates is essentially the same as the integers.  Some "constructive" mathematicians work without this axiom, and determine which results may be proved without assuming it.
-== Classification of infinities ==
-In modern mathematics, it is recognized that there is no single concept of 'infinity' - there are many different infinities. We can divide these into some broad classes. Firstly, there are the cardinals, which are used to measure the sizes of sets; and then there are ordinals, which are used to measure the position of an item in an ordered list. For finite quantities, we can use the same numbers for both - a race can have 3 participants, and you can come 3rd in the race. But, with infinite quantities, this no longer applies, the same numbers can now be used for both purposes. Thus, the smallest infinite cardinal is aleph-null, but the smallest infinite ordinal is omega.
-=== Cardinals ===
-We say two sets have the same size if it is possible to put their respective members into one-to-one correspondence. A cardinal can be conceived as the equivalence class of all sets having that size.
-Consider the set of all natural numbers, and its subset the set of all odd natural numbers. One would think that there are half as many odd numbers as natural numbers. Yet, while that is true when dealing with some finite subset of the natural numbers, when dealing with their entirety, it turns out that there are as many odd numbers as natural numbers. This can be shown by the fact that the natural numbers and the odd natural numbers can be put in a one-to-one correspondence: 0 -> 1, 1 -> 3, 2 -> 5, 3 -> 7, etc. (represented by the formula 2*n + 1). Thus, whereas for finite sets if A is a proper subset of B, then the cardinality of A must be less than the cardinality of B, for infinite sets this is no longer the case; an infinite set may be the same size as one of its proper subsets.
-The cardinality of the natural numbers is known as aleph-null. There are as many integers as natural numbers; and as many rational numbers as natural numbers. But it can be shown, using Cantor's diagonalization argument, that the reals are strictly larger than the natural numbers - you cannot put the natural numbers into one to one correspondence with the reals. The cardinality of the reals is the cardinality of the power set of the natural numbers, which is known as the power of the continuum (c) or as beth-one. (Aleph-null is the same as beth-null; whether aleph-one is the same as beth-one is a mathematical question, which essentially has no answer - and we can even show it has no answer.)
-The '''generalised continuum hypothesis''' (GCH) states that <math>\beth_{a} = \aleph_{a}</math> for all ordinals <math>a</math>. So, the continuum hypothesis is a special case of the generalised continuum hypothesis for ordinal <math>0</math>. Like CH, GCH is independent of the axioms of ZFC.
-A set having cardinality equal to or less than <math>\aleph_{0}</math> is called countable; a set of greater cardinality is called uncountable.
-==Ordinals==
-Numbers serve two distinct purposes - to measure the size of sets, and to measure the position of an item in an ordering. Thus, we may speak of a race having 2, 3, 4, 5, etc. contestants, and we can speak of the contestants as having come 1st, 2nd, 3rd etc. (or even 0th, if one is a mathematician!) When we measure the number of elements in a set, we are using '''cardinal''' numbers; when we measure an item's position in an ordering, we are using '''ordinal''' numbers. For finite quantities, it does not make that much difference, since for finite quantities we can use the same numbers to serve both purposes. But for transfinite quantities, that is no longer the case - we can no longer use the same numbers as both cardinals and ordinals. Thus, the smallest transfinite cardinal
-is <math>\aleph_{0}</math>, but the smallest transfinite ordinal is <math>\omega</math>.
-==Other types of infinite numbers==
-Other than transfinite cardinals and ordinals, there are other types of infinite numbers:
-*the '''affinely extended reals''': these are elements of the set <math>\mathbb{R} \cup \{ +\infty, -\infty \}</math>. In other words, the real numbers extended by the addition of positive and negative infinity. <math>+\infty</math> is greater than every real number, and <math>-\infty</math> is less than every real number.
-*the '''projectively extended reals''': these are elements of the set <math>\mathbb{R} \cup \{ \infty \}</math>. In other words, the real numbers extended by the addition of a single signless infinity. The ordering relation is not defined for the projectively extended reals - but informally, <math>\infty</math> can be said to be both greater than ''and'' less than every real number.
-*the '''hyperreals''': denoted <sup>*</sup><math>\mathbb{R}</math>, these extend the real numbers with both infinite and infinitesimal quantities. They are used in non-standard analysis. Other extensions of the real numbers with infinite and infinitesimal quantities include the '''surreal numbers''', the '''superreal numbers''', and the '''Levi-Civita field'''.
-The conclusion to be drawn from all of this, is that although in popular usage we speak about ''infinity'' as if it were a single thing, there are actually numerous different infinities, all belonging to different systems. If we want to talk about ''infinity'', we ought to be careful to specify which infinity we mean.
-==Archimedean property==
-An ordered field is said to be '''Archimedean''' if it has no infinitely large or infinitely small elements. One way of stating this: an ordered field is Archimedean, if for every element of the field, there is a greater natural number. This is true for the reals - for every real number, there is a greater natural number - but not for example for the affinely extended reals, since <math>+\infty</math> is greater than every natural number. So the affinely extended reals are said to be '''non-Archimedean'''. Likewise, the hyperreal numbers, the surreal numbers, the superreal numbers and the Levi-Civita field are all non-Archimedean. Any ordered field containing infinities must also contain infinitesimals as their inverse.
-To understand the notion of non-Archimedeanity, it is interesting to imagine what it would be like were space or time were non-Archimedean. If space was non-Archimedean, there could be areas of the universe infinitely distant from here. If time was non-Archimedean, there could be past times an infinite number of years before the present, and future times an infinite number of years into the future. It appears that no one has every seriously suggested that time or space actually are non-Archimedean, but it is nonetheless an interesting mental exercise to understand the notion.
-== Philosophy of mathematics ==
-Different positions in the [[philosophy of mathematics]] have different attitudes towards infinity. At one extreme, Platonists and formalists generally have no philosophical objection to any form of infinity than can be defined. At the other extreme, finitists and ultrafinitists deny the existence of infinity; to them, only finite quantities, and finite objects, actually exist. In the middle, many constructivists and intuitionists adopt a position of countablism - an acceptance of the existence of countable sets, but denying that uncountable sets exist.
-== See also==
-*[[Math and the Bible]]
-*[[Infinity and zero]]
-*[[zero]]
-==References==
-{{reflist}}
-[[Category:Mathematics]]

Difference between revisions of "Infinity"

Revision as of 22:29, July 25, 2017

Navigation menu

Search