Vidi fonton por Senfineco

[[Dosiero:Infinite.svg|eta|dekstra|Simbolo por esprimi senfinecon]]
[[Dosiero:049 - Ĉu la universo estas senfina - scivolemo - zdf.webm|eta|"Ĉu la universo estas senfina?" - video de la jutuba kanalo [[Scivolemo (projekto)|Scivolemo]].]]
[[Dosiero:Screenshot_Recursion_via_vlc.png|eta|200ra|dekstra|Senfineco reprezentita en formo de [[ekrankopio]].]]
En matematiko kaj filozofio '''senfineco''' aŭ '''nefinio''' aŭ '''infinito''' havas plurajn signifojn, kiuj ĉiuj esprimas la ideon, ke la priparolata objekto aŭ procezo en ia senco ne havas finon. Ekde antikvaj tempoj filozofoj kaj matematikistoj klopodis kompreni kaj analizi nefinion, sed ofte temis pri misgvidaj argumentoj, ĝis [[Georg Cantor]] pli formale kaj rigore analizis la koncepton fine de la 19-a jarcento, interalie enkondukante klaran manieron distingi grandecojn de nefinio.

Matematiko uzas la simbolon '''∞''' ([[Unikodo|unikode]] U+221E) por signi nefiniecon, atribuita al angla matematikisto [[John Wallis]].<ref> Allen, Donald (2003). [https://web.archive.org/web/20200801202539/https://www.math.tamu.edu/~dallen/masters/infinity/infinity.pdf "The History of Infinity" (PDF).] ''Texas A&M Mathematics''. Arkivita el la originalo (PDF) la 1an de Aŭgusto, 2020. Alirita la 15an de Novembro, 2019.</ref>

Estas grave distingi diversajn uzojn de la koncepto "senfineco" en diversaj kampoj de matematiko. Ekz-e, en [[analitiko]], "nefinia" estas koncepto uzata por paroli pri limo de [[vico]], kiu ne havas reelnombran aŭ kompleksnombran limon; en tia kunteksto havas sencon distingi inter pozitiva kaj negativa nefinioj. En [[aroteorio]] aliflanke, ne havas sencon paroli pri negativa senfineco, sed tamen ekzistas pluraj malsamaj nefinioj: Ekz-e oni povas diri, ke la aro de [[Reelo|reelaj nombroj]] estas pli granda ol la aro de [[Natura nombro|naturaj nombroj]], kvankam ambaŭ estas nefiniaj. La kialo estas, ke la naturaj nombroj ne sufiĉas por numeri la reelajn.

== Historio ==
=== Barato ===
Kvar jarcentojn a. K. diversaj [[Barato|barataj]] tekstoj traktas senfinecon. [[Upaniŝado]] mencias ke "se vi forprenas aŭ aldonas parton al senfineco, tiu restas senfineco". Matematika teksto ''Surya Prajnapti '' asertas koncepton de tri specoj de kvantoj: nombreblaj (ekzemple naturaj nombroj), nenombreblaj (tre grandaj), kaj senfinaj.

La [[Ĝajnismo|ĝajnisma matematika]] teksto ''Surja Prajnapti'' (ĉirkaŭ 4a–3a jarcento a.n.e.) klasigis ĉiujn nombrojn en tri tipoj: nombreblaj, nenombreblaj, kaj senfinaj. Ĉiu el tiuj estis plue subdividitaj en tri ordoj:<ref>{{cite book|author=Ian Stewart|title=Infinity: a Very Short Introduction|url=https://books.google.com/books?id=iewwDgAAQBAJ&pg=PA117|year=2017|publisher=Oxford University Press|isbn=978-0-19-875523-4|page=117|url-status=live|archive-url=https://web.archive.org/web/20170403200429/https://books.google.com/books?id=iewwDgAAQBAJ&pg=PA117|archive-date=3a de Aprilo, 2017}}</ref>
* Nombreblaj: plej malaltaj, intermezaj, kaj plej altaj
* Nenombreblaj: preskaŭ nenombreblaj, vere nenombreblaj, kaj nenombre nenombreblaj
* Senfinaj: preskaŭ senfinaj, vere senfinaj, senfine senfinaj

=== Budhismo ===
Iu frua [[Budhismo|budhisma]] arto montras dion kun 8-eca simbolo en mano, kiu reprezentas senfinan ciklon.

=== Antikva Grekujo ===
[[Dosiero:Bust of Aristotle.jpg|eta|maldekstre|200ra|Aristotelo.]]
La plej frua registrita ideo de senfineco en Grekujo povas esti tiu de [[Anaksimandro]] (ĉ. 610 - ĉ. 546 a.K.), antaŭsokrata greka filozofo. Li uzis la vorton [[apeirono]], kiu signifas "senlima", "nedifinita" kaj eble tradukeblas kiel "senfina".
<ref>Allen, Donald (2003) [https://web.archive.org/web/20200801202539/https://www.math.tamu.edu/~dallen/masters/infinity/infinity.pdf The History of Infinity] Arkivita el la originalo la 1-an de aŭgusto 2020. Alirita la 5-an de aŭgusto 2024.</ref><ref> Wallace 2004, p. 44 </ref>

Estis [[Aristotelo|aristotela]] koncepto de ebla senfineco (anstataŭ vera senfineco), ekzemple anstataŭ diri ke ekzistas senfina kvanto da primnombroj, oni diris ke estas pli da primnombroj ol en iu ajn konkreta aro de primnombroj. Tamen lastatempaj esploristoj asertas, ke estis [[Arĥimedo]] ŝajne kiu konceptis veran senfinecon.

[[Aristotelo]] (350 a.n.e.) distingis ''eblan senfinecon'' disde ''fakta senfineco'', kion li konsideris malebla pro variaj [[paradokso]]j, kiujn ĝi ŝajne okazigus.<ref>{{cite book |author=Aristotelo  |url=http://classics.mit.edu/Aristotle/physics.3.iii.html |translator-last1=Hardie|translator-first1=R. P. |translator-last2=Gaye|translator-first2=R. K. |at=Book 3, Chapters 5–8|title=Fiziko|publisher=The Internet Classics Archive}}</ref> Oni argumentis, ke, kongrue kun tiu vidpukto, la [[Helenismo|Helenismaj]] grekoj havis "hororon al la senfineco"<ref>{{cite book |author=Goodman |first=Nicolas D. |title=Constructive Mathematics |chapter=Reflections on Bishop's philosophy of mathematics |year=1981 |editor1-last=Richman |editor1-first=F. |series=Lecture Notes in Mathematics |publisher=Springer |volume=873|pages=135–145 |doi=10.1007/BFb0090732 |isbn=978-3-540-10850-4}}</ref><ref>Maor, p. 3</ref> kio ekzemple klarigus kial [[Eŭklido]] (ĉirkaŭ 300 a.n.e.) ne diris, ke estas senfineco de primoj, sed anstataŭe, ke "Primaj nombroj estas pli ol ajna atribuita amasserio de primaj nombroj."<ref>{{Cite journal |last=Sarton |first=George |date=Marto 1928 |title=''The Thirteen Books of Euclid's Elements''. Thomas L. Heath, Heiberg |url=https://www.journals.uchicago.edu/doi/10.1086/346308 |journal=Isis |volume=10 |issue=1 |pages=60–62 |doi=10.1086/346308 |issn=0021-1753 |via=The University of Chicago Press Journals}}</ref> Oni asertis ankaŭ, ke pruvante la senfinecon de [[primo|primaj nombroj]], Eŭklido "estis la unua kiu superis la hororon al la senfineco".<ref>{{Cite book |last=Hutten |first=Ernest Hirschlaff |url=https://archive.org/details/originsofscience0000hutt_n9u7 |title=The origins of science; an inquiry into the foundations of Western thought |date=1962 |publisher=London, Allen and Unwin |others=Internet Archive |isbn=978-0-04-946007-2 |pages=1–241 |language=en |access-date=2020-01-09}}</ref> Estas simila polemiko pri la [[5-a postulato|paralela postulato]] de Eŭklido, foje tradukita jene:

{{Citaĵo|Se rekto falanta trans du [aliaj] rektoj faras internajn angulojn sur la sama flanko [de si mem kies sumo estas] malpli ol du ortaj anguloj, tiam la du [aliaj] rektoj, estante produktitaj al senfineco, renkontas sur tiu flanko [de la origina rekto] ke la [sumo de la internaj anguloj] estas malpli ol du ortoj.<ref>{{cite book|author=Eŭklido |orig-year=ĉirkaŭ 300 a.n.e.|translator-last1=Fitzpatrick |translator-first1=Richard |title=Euclid's Elements of Geometry |url=http://farside.ph.utexas.edu/Books/Euclid/Elements.pdf|year=2008 |isbn=978-0-6151-7984-1 |page=6 (Book I, Postulate 5)|publisher=Lulu.com}}</ref>}}

Aliaj tradukistoj, aliflanke, preferas la tradukon "la du rektaj linioj, se produktitaj senfine ...",<ref>{{cite book|last1=Heath|first1=Sir Thomas Little|last2=Heiberg|first2=Johan Ludvig|author-link1=|title=The Thirteen Books of Euclid's Elements|volume=v. 1|publisher=The University Press|year=1908|url=https://books.google.com/books?id=dkk6AQAAMAAJ&q=right+angles+infinite&pg=PR8|page=212}}</ref> evitante tiel la implicon, ke Eŭklido estis komforta kun la nocio de senfineco. Finfine, estis konservite ke pripensado pri senfineco, for de ellogado de "hororo al la senfineco", submetas ĉion el frua greka filozofio kaj ke la "ebla senfineco" de Aristotelo estas aberacio de la ĝenerala tendenco de tiu periodo.<ref>{{cite book|last=Drozdek|first=Adam|title=''In the Beginning Was the'' Apeiron'': Infinity in Greek Philosophy''|year=2008|isbn=978-3-515-09258-6|publisher=Franz Steiner Verlag|location=Stuttgart, Germany}}</ref>

[[Aristotelo]] instruis la senfinan divideblecon de [[materio]]; ĝin kontestis la [[atomismo|atomismaj]] filozofoj, kiuj asertis la ekziston de plej malgrandaj materieroj. [[Zenono el Elajo]] elpensis [[paradokso]]jn, kiuj montris la nesufiĉecon de finiaj nombroj, ekzemple, ke ne eblas atingi foran celon, ĉar eblas senfine dividi la distancon al ĝi.

==== Zenono: Aĥilo kaj la testudo ====
{{Ĉefartikolo|Paradokso de Aĥilo}}
[[Zenono el Elajo]] (ĉirkaŭ 495 – ĉirkaŭ 430&nbsp;a.n.e.) ne antaŭenigis vidpunktojn pri la senfineco. Tamen, liaj paradoksoj,<ref name="Zeno's paradoxes">{{cite web|url=https://plato.stanford.edu/entries/paradox-zeno/ |title=Zeno's Paradoxes |date=15a de Oktobro, 2010 |website=Stanford University |access-date=3a de Aprilo, 2017}}</ref> speciale tiu pri "Aĥilo kaj la testudo", estis gravaj kontribuoj en tio ke ili faris klara la maltaŭgecon de popularaj konceptoj. La paradoksoj estis priskribitaj de [[Bertrand Russell]] kiel "senmezure subtilaj kaj profundaj".<ref>{{harvnb|Russell|1996|p=347}}</ref>

[[Aĥilo]] kurkonkuras kun testudo, permesante al ĝi unuan eliron.
* Paŝo #1: Aĥilo kuras al la deirpunkto de la testudo dum la testudo antaŭeniras.
* Paŝo #2: Aĥilo avancas al la loko kie la testudo estis ĉe la fino de Paŝo #1 dum la testudo ankoraŭ iras plu.
* Paŝo #3: Aĥilo avancas al la loko kie la testudo estis ĉe la fino de Paŝo #2 dum la testudo ankoraŭ iras plu.
* Paŝo #4: Aĥilo avancas al la loko kie la testudo estis ĉe la fino de Paŝo #3 dum la testudo ankoraŭ iras plu.
Ktp.

Ŝajne, Aĥilo neniam atingas la testudon, ĉar kvankam li kompletigas ĉiun paŝon, la testudo restas ĉiam antaŭ li.

Zenono ne provis fari precizajn asertojn pri senfineco. Kiel membro de la [[Elaja filozofia skolo]], kiu rigardis moviĝon kiel iluzion, li vidis kiel eraro supozi, ke Aĥilo povis kuri entute. Postaj pensuloj, trovante ĉi tiun solvon neakceptebla, luktis dum pli ol du jarmiloj por trovi aliajn malfortaĵojn en la argumento.

[[Dosiero:Augustin Louis Cauchy.jpg|eta|dekstre|200ra|[[Augustin-Louis Cauchy]] havigis la argumentojn por solvi la paradokson de Aĥilo kaj la testudo.]]
Finfine, en 1821, [[Augustin-Louis Cauchy]] havigis kaj kontentigan difinon de limo kaj pruvon ke, por {{math|0 < ''x'' < 1}},<ref>{{cite book|last=Cauchy|first=Augustin-Louis|author-link=Augustin-Louis Cauchy|access-date=12a de Oktobro, 2019|title=Cours d'Analyse de l'École Royale Polytechnique|year=1821|publisher=Libraires du Roi & de la Bibliothèque du Roi|url=https://books.google.com/books?id=UrT0KsbDmDwC&pg=PA1|page=124}}</ref>
<math display="block">a+ax+ax^2+ax^3+ax^4+ax^5+\cdots=\frac{a}{1-x}.</math>

Supozu, ke Aĥilo kuras je 10 metroj je sekundo, la testudo marŝas je 0,1 metroj je sekundo, kaj ĉi-lasta havas 100-metran avancon. La daŭro de la ĉasado kongruas kun la ŝablono de Cauchy kun {{math|1=''a'' = 10 sekundoj}} kaj {{math|1=''x'' = 0.01}}. Aĥilo ja preterpasas la testudon; li bezonis 
:<math>10+0.1+0.001+0.00001+\cdots</math><math>=\frac {10}{1-0.01}= \frac {10}{0.99}=10.10101\ldots\text{ sekundoj}.</math>

=== Postaj filozofoj ===
La pozitiva kontribuo de [[William Hamilton (metafiziko)|William Hamilton]] al la progreso de la pensaro estas komparative malgranda, sed li stimulis spiriton de kritikemo en siaj lernantoj insistante pri la granda gravo de [[psikologio]] kontraŭ la malnova metodo de [[metafiziko]], kaj per la agnosko de la gravo de la germana filozofio, speciale tiu de [[Immanuel Kant]]. Lia plej grava verko estas evidente "Philosophy of the Unconditioned" (Filozofio de la Senkondiĉi), nome disvolvigo de la principo ke por la homa limigita [[menso]] ne povas esti kono de la Senfineco.

En la 17-a jarcento, eŭropaj matematikistoj komencis uzi senfinajn nombrojn kaj senfinajn esprimojn en sistema maniero. En 1655, John Wallis unue uzis la notacion <math>\infty</math> por tia nombro en sia ''De sectionibus conicis'',<ref>{{Cite book|url=https://books.google.com/books?id=OQZxHpG2y3UC&q=infinity|title=A History of Mathematical Notations|last=Cajori|first=Florian|publisher=Cosimo, Inc.|year=2007|isbn=9781602066854|volume=1|pages=214|language=en}}</ref> kaj ekspluatis ĝin en areokalkuloj dividante la regionon en [[Senfinecono|infinitezimajn]] striojn de larĝo sur la ordo de <math>\tfrac{1}{\infty}.</math>.<ref>{{harvnb|Cajori|1993|loc=Sec. 421, Vol. II, p. 44}}</ref> Sed en ''Arithmetica infinitorum'' (1656),<ref>{{Cite web |title=Arithmetica Infinitorum |url=https://archive.org/details/ArithmeticaInfinitorum/page/n5/mode/2up}}</ref> li indikas senfinajn seriojn, senfinajn produktojn kaj senfinajn daŭrajn frakciojn skribante kelkajn terminojn aŭ faktorojn kaj poste aldonante "&c.", kiel en "1, 6, 12, 18, 24, &c."{{harvnb|Cajori|1993|loc=Sec. 435, Vol. II, p. 58}}</ref>

En 1699, [[Isaac Newton]] verkis pri ekvaciojn kun senfina nombro de terminoj en sia verko ''De analysi per aequationes numero terminorum infinitas''.<ref>{{cite book |title=Landmark Writings in Western Mathematics 1640-1940 |first1=Ivor |last1=Grattan-Guinness |publisher=Elsevier |year=2005 |isbn=978-0-08-045744-4 |page=62 |url=https://books.google.com/books?id=UdGBy8iLpocC |url-status=live |archive-url=https://web.archive.org/web/20160603085825/https://books.google.com/books?id=UdGBy8iLpocC |archive-date=2016-06-03}} [https://books.google.com/books?id=UdGBy8iLpocC&pg=PA62 Extract of p. 62]</ref>

== Matematiko ==
[[Hermann Weyl]] malfermis matematik-filozofan temon en 1930 jene:<ref> Weyl, Hermann (2012), Peter Pesic (eld.), ''Levels of Infinity / Selected Writings on Mathematics and Philosophy'', Dover, p. 17, ISBN 978-0-486-48903-2 </ref>
{{Citaĵo|Matematiko estas la scienco de senfineco.}}

===Simbolo===
La simbolo de senfineco <math>\infty</math> (foje nomita [[lemniskato]]) estas matematika simbolo reprezentanta la koncepton de senfineco. La simbolo estas kodigita en [[Unicode]] en {{unichar|221E|infinity|html=}}<ref>{{Cite web|url=https://www.compart.com/en/unicode/U+221E|title=Unicode Character "∞" (U+221E)|last=AG|first=Compart|website=Compart.com|language=en|access-date=2019-11-15}}</ref> kaj en [[LaTeX]] kiel <code>\infty</code>.<ref>{{Cite web|url=https://oeis.org/wiki/List_of_LaTeX_mathematical_symbols|title=List of LaTeX mathematical symbols - OeisWiki|website=oeis.org|access-date=2019-11-15}}</ref>

Ĝi estis enkondukita en 1655 fare de [[John Wallis]],<ref>{{citation
 | last = Scott
 | first = Joseph Frederick
 | edition = 2
 | isbn = 978-0-8284-0314-6
 | page = 24
 | publisher = American Mathematical Society
 | title = The mathematical work of John Wallis, D.D., F.R.S., (1616–1703)
 | url = https://books.google.com/books?id=XX9PKytw8g8C&pg=PA24
 | year = 1981
 | url-status=live
 | archive-url = https://web.archive.org/web/20160509151853/https://books.google.com/books?id=XX9PKytw8g8C&pg=PA24
 | archive-date = 2016-05-09
}}</ref><ref>{{citation
 | last = Martin-Löf | first = Per | author-link = 
 | contribution = Mathematics of infinity
 | doi = 10.1007/3-540-52335-9_54
 | location = Berlin
 | mr = 1064143
 | pages = 146–197
 | publisher = Springer
 | series = Lecture Notes in Computer Science
 | title = COLOG-88 (Tallinn, 1988)
 | volume = 417
 | year = 1990| isbn = 978-3-540-52335-2}}</ref> kaj ekde sia enkonduko, ĝi estis uzata ekster matematiko en moderna mistikismo<ref>{{citation|title=Dreams, Illusion, and Other Realities|first=Wendy Doniger|last=O'Flaherty|publisher=University of Chicago Press|year=1986|isbn=978-0-226-61855-5|page=243|url=https://books.google.com/books?id=vhNNrX3bmo4C&pg=PA243|url-status=live|archive-url=https://web.archive.org/web/20160629143323/https://books.google.com/books?id=vhNNrX3bmo4C&pg=PA243|archive-date=2016-06-29}}</ref> kaj literatura [[simbolo|simbolaro]].<ref>{{citation|title=Nabokov: The Mystery of Literary Structures|first=Leona|last=Toker|publisher=Cornell University Press|year=1989|isbn=978-0-8014-2211-9|page=159|url=https://books.google.com/books?id=Jud1q_NrqpcC&pg=PA159|url-status=live|archive-url=https://web.archive.org/web/20160509095701/https://books.google.com/books?id=Jud1q_NrqpcC&pg=PA159|archive-date=2016-05-09}}</ref>

=== Kalkulo ===
[[Gottfried Wilhelm Leibniz|Lejbnico]], unu el la inventintoj de la [[infinitezima kalkulo]], spekulativis multe pri senfinaj nombroj kaj ties uzoj en matematiko. Li opiniis, ke [[senfinecono|senfineconaj]] kaj senfinaj kvantoj estis iaj idealaj ekzistaĵoj, sen la sama naturo de palpeblaj kvantoj, tamen kun similaj ecoj kaj reguloj kongrue kun la Leĝo de Kontinueco.<ref> Bell, John Lane. [https://plato.stanford.edu/entries/continuity/ "Continuity and Infinitesimals".] En Zalta, Edward N. (eld.). [[Stanford Encyclopedia of Philosophy]]. </ref><ref name="Jesseph">{{cite journal |last=Jesseph |first=Douglas Michael |date=1998-05-01 |title=Leibniz on the Foundations of the Calculus: The Question of the Reality of Infinitesimal Magnitudes |url=http://muse.jhu.edu/journals/perspectives_on_science/v006/6.1jesseph.html |url-status=dead |journal= ''Perspectives on Science'' |volume=6 |issue=1&2 |pages=6–40 |doi=10.1162/posc_a_00543 |s2cid=118227996 |issn=1063-6145 |oclc=42413222 |archive-url=https://web.archive.org/web/20120111102635/http://muse.jhu.edu/journals/perspectives_on_science/v006/6.1jesseph.html |archive-date=11 January 2012 |access-date=1a de Novembro 2019 |via=Project MUSE}}</ref>

=== La reela analitiko ===
En la reela [[analitiko]], la simbolo ∞ (nomita "infinito") reprezentas nebaritan limeson. ''x'' → ∞ signifas ke ''x'' kreskas senbare, kaj ''x'' → -∞ signifas ke ''x'' malkreskas senbare.

Senfineco estas uzata ofte ne nur por difini limeson, sed kiel memstara kvanto aldonita al la aro de reelaj nombroj kiel topologia spaco.

=== La kompleksa analitiko ===
Simile kiel en la reela analitiko, ∞ reprezentas nebaritan sensignan limeson. ''x'' → ∞ signifas ke la grando |''x''| kreskas senbare. Kaj simile, punkto ∞ aldoneblas al la kompleksa spaco kiel topologia spaco.

=== La nenorma kalkulo ===
Origine Lejbnico kaj Neŭtono konceptis senfineconajn kvantojn, sed nesufiĉe rigore, do posteuloj enkondukis la konceptojn de limoj kaj baroj por pliformaligi la matematikon. Tamen en la 20-a jarcento oni malkovris metodon uzi senfineconajn kvantojn pli rigore kaj logike. La inverso de senfinecona kvanto estas senfina. Tiel tiaj kvantoj estas elementoj de [[Kampo (algebro)|kampo]], kaj se H estas senfina nombro, do 2+H kaj H+1 estas aliaj malsamaj senfinaj nombroj. Tio estas tute alia alveno ol tiu de Cantor.

=== La teorio de aroj ===
[[Dosiero:Matematiker georg cantor.jpg|eta|dekstra|Georg Cantor]]
Alia speco de "senfineco" estas la [[ordonombro]]j kaj [[kvantonombro]]j de la [[aroteorio]]. Cantor evoluigis sistemon de transfiniaj nombroj, el kiuj la unua estas ℵ<sub>0</sub> (alef-nul), kiu reprezentas la kvantonombron de la aro de naturaj nombroj. Ĉi tiu moderna koncepto naskiĝis en la esploroj de [[Georg Cantor]], [[Gottlob Frege]], [[Richard Dedekind]] kaj aliaj, baze de la koncepto de aroj, kaj aroj de aroj.

Kerna ideo, dank' al Dedekind, estas tiu de unu-al-unu-rilato inter la elementoj de 2 aroj, kiel metodo kompari la grandojn de la aroj. Ĝi forĵetis la malnovan nocion ke parto ne povas samgrandi al la tuto. Tiam senfina aro difineblas kiel aro kiu havas la saman grandon kiel iu parto de la tuto. Ekzemple, ekzistas same multe da paraj naturaj nombroj kiom da naturaj nombroj.

Cantor plu evoluigis la ideojn, kun distingo de ordonombroj kaj kvantonombroj. Se oni rigardas naturajn nombrojn en ilia funkcio kiel mezuriloj por grandeco de finiaj aroj, tiam la vastigo al senfinaj aroj donas la [[kvantonombro]]jn. Se oni aliflanke rigardas la naturajn nombrojn en ilia funkcio kiel indikiloj de pozicioj en iu finia [[ordigita aro]], tiam vastigo al senfinaj aroj donas la ordonombrojn. Por povi senchave paroli pri pozicioj en senfina ordigita aro, oni tamen devas limigi sin al la [[bona ordo|bone ordigitaj aroj]], kiuj estas la ordigitaj aroj ĉe kiuj ĉiu [[subaro]] havas plej malgrandan elementon.

La plej malgranda senfina kvantonombro ℵ<sub>0</sub> egalas al la kvanto de naturaj nombroj. Se montreblas unu-al-unu-rilato inter iu aro A kaj la aro de naturaj nombroj, tiam A estas ''numerebla''. Se iu aro A tro grandas por havi unu-al-unu-rilaton kun la naturaj nombroj, tiam A estas ''nenumerebla''.

Unu el la ĉefaj teoremoj de Cantor estas, ke la aro de reelaj nombroj pli grandas ol la aro de naturaj nombroj, t. e. la aro de la reeloj estas nenumerebla. Eble eĉ pli surpriza estas tio, ke la aro de [[racia nombro|raciaj nombroj]] ja estas numerebla, ĉar eblas difini unu-al-unu-rilaton inter la du aroj de naturaj nombroj kaj raciaj nombroj. Cantor elpensis utilan pruvan metodon, la ''diagonalan argumenton'', por pruvi tiajn rezultojn.

La [[kontinuumo-hipotezo]] temas pri tio, ĉu ekzistas aro kun kvantonombro inter tiu de la naturaj nombroj kaj tiu de la reelaj nombroj. Estis pruvite ke ĝi nek pruveblas nek kontraŭpruveblas per la kutimaj aroteoriaj aksiomoj (nomataj ''Zermelo-Fraenkel-aksiomoj kun elekto-aksiomo'' (ZFE)), do aperas du variaĵoj de aroteorio, depende de tio, ĉu oni supozas ĝin aŭ ĝian malon kiel aldonan aksiomon.

== Geometrio kaj topologio ==
Senfineco aperas ofte en [[geometrio]] kaj [[topologio]]. Ekzistas spacoj senfin-dimensiaj.

[[Dosiero:Rekto duonrekto segmento.svg|dekstra|eta|250ra|maldekstre|[[Rekto]] (supre), [[duonrekto]] (meze) kaj [[rektosegmento]] (sube). Kompreneble por rekto kaj duonrekto estas videblaj nur partoj, kiujn povas enteni la bildo. La buletoj (•) markas finpunktojn de segmento kaj komencon de duonrekto. La rilato inter rekto kaj rektosegmento estas apliko de senfineco en geometrio.]]
Ĝis la fino de la 19-a jarcento, senfineco malofte estis diskutita en [[geometrio]], krom en la kunteksto de procezoj kiuj povus esti daŭrigitaj sen iu limo. Ekzemple, [[rekto]] estis tio, kion oni nun nomas [[rektosegmento]], kun la kondiĉo ke oni povas etendi ĝin tiom kiom oni volas; sed etendi ĝin ''senfine'' estis eksterla demando. Simile, linio estis kutime ne konsiderita kiel kunmetaĵo de senlime multaj punktoj sed estis loko kie punkto povas esti metita. Eĉ se ekzistas senlime multaj eblaj pozicioj, nur finhava nombro da punktoj povus esti metita sur rekton. Atestanto de tio estas la esprimo "la loko de punkto kiu kontentigas iun econ" (singularo), kie modernaj matematikistoj ĝenerale dirus "la aro de la punktoj kiuj havas la propraĵon" (pluralo).

Unu el la maloftaj esceptoj de matematika koncepto implikanta faktan senfinecon estis [[projekcia geometrio]], kie punktoj ĉe senfineco estas aldonitaj al la [[eŭklida spaco]] por modeligado de la [[Perspektivo|perspektiva]] efiko kiu montras [[Paralelo|paralelajn]] rektojn intersekcantajn "ĉe senfineco". Matematike, punktoj ĉe senhfineco havas la avantaĝon permesi ne konsideri kelkajn specialajn kazojn. Ekzemple, en projekcia ebeno, du apartaj rektoj intersekcas en ekzakte unu punkto, dum sen punktoj ĉe senfineco, ekzistas neniuj intersekcaj punktoj por paralelaj rektoj. Do, paralelaj kaj ne-paralelaj rektoj devas esti studitaj aparte en klasika geometrio, kvankam ili ne bezonas esti distingitaj en projekcia geometrio.

Antaŭ la uzo de [[aro-teorio]] por la fondo de matematiko, punktoj kaj rektoj estis rigarditaj kiel apartaj unuoj, kaj punkto povus ''situi sur rekto''. Kun la universala uzo de aroteorio en matematiko, la vidpunkto draste ŝanĝiĝis: rekto estas nun konsiderata kiel la ''aro de ĝiaj punktoj'', kaj oni diras, ke punkto apartenas al rekto anstataŭ situas sur rekto (tamen oni ankoraŭ uzas ĉi-lastan frazon).

Aparte, en moderna matematiko, rektoj estas ''senfinaj aroj''.

== Fraktoj ==
[[Dosiero:Thailand-1.PNG|eta|dekstra|Fraktoj.]]
[[Fraktalo|Fraktoj]] estas moderna branĉo de matematiko, kiu temas ofte pri objektoj kiuj prezentas saman aŭ similan strukturon je diversaj niveloj, tiel montrante senfinan detalecon kaj memsimilecon.

== Matematiko intence sen senfineco ==
Iuj matematikistoj estis skeptikaj ĉu vere validas uzi senfinecon precipe post la akcepto de la kantora aroteorio. [[Leopold Kronecker]] kaj aliaj tiel evoluigis sen-senfinecajn matematikojn kaj matematikajn filozofiojn, inkluzive de ''konstruismo'' kaj [[intuiciismo]], en kiuj oni ne rajtas supozi ke ekzistas senfinaj kvantoj, procezoj, decidprocezoj ktp.

== Literaturo ==
* {{cite book | author=Amir D. Aczel | title=The Mystery of the Aleph: Mathematics, the Kabbalah, and the Search for Infinity | publisher=Pocket Books|place=New York | year=2001 | isbn=0-7434-2299-6}}
* D. P. Agrawal (2000). ''[http://www.infinityfoundation.com/mandala/t_es/t_es_agraw_jaina.htm Ancient Jaina Mathematics: an Introduction]'', [http://infinityfoundation.com Infinity Foundation].
* Bell, J. L.: Continuity and infinitesimals. Stanford Encyclopedia of philosophy. Reviziita en 2009.
* Cajori, Florian (1993) [1928 & 1929], [https://archive.org/details/historyofmathema00cajo_0 ''A History of Mathematical Notations''] (du volumoj binditaj kiel unu), Dover, ISBN 978-0-486-67766-8
* {{citation|first=Michael C.|last=Gemignani|title=Elementary Topology|edition=2nd|publisher=Dover|year=1990|isbn=0-486-66522-4}}
* {{Citaĵo el libro|titolo=Exact Sciences from Jaina Sources|aŭtoro=L. C. Jain|jaro=1982}}
* L. C. Jain (1973). "Set theory in the Jaina school of mathematics", ''Indian Journal of History of Science''.
* {{Citaĵo el libro|titolo=The Crest of the Peacock: Non-European Roots of Mathematics|aŭtoro=George G. Joseph|jaro=2000|eldono=2|eldoninto=Penguin Books|ISBN=0-14-027778-1}}
* {{citation|first=H. Jerome|last=Keisler|title=Elementary Calculus: An Approach Using Infinitesimals|edition=2nd|year=1986|url=http://www.math.wisc.edu/~keisler/calc.html}} La unua eldono estas de 1976; la dua eldono de 1986. Tiun libron oni ne presas nun. La eldonejo redonis la kopirajton al la aŭtoro, kiu disponebligis la duan eldonon en .pdf formato disponebla en [http://www.math.wisc.edu/~keisler/calc.html]
* Kline, Morris (1972), ''Mathematical Thought from Ancient to Modern Times'', New York: Oxford University Press, pp. 1197–1198, ISBN 978-0-19-506135-2
* {{citation|first=Randall B.|last=Maddox|title=Mathematical Thinking and Writing: A Transition to Abstract Mathematics|publisher=Academic Press|year= 2002|isbn=0-12-464976-9}}
* {{Citaĵo el libro|titolo=To Infinity and Beyond|aŭtoro=Eli Maor|jaro=1991|eldoninto=Princeton University Press|ISBN=0-691-02511-8}}
* {{Citaĵo el libro|titolo=Infinity and the Mind: The Science and Philosophy of the Infinite|aŭtoro=Rudy Rucker|jaro=1995|eldoninto=Princeton University Press|ISBN=0-691-00172-3}}
* [[Bertrand Russell|Russell, Bertrand]] (1996) [1903], ''The Principles of Mathematics'', New York: Norton, ISBN 978-0-393-31404-5, OCLC 247299160
* Sagan, Hans (1994), ''Space-Filling Curves'', Springer, ISBN 978-1-4612-0871-6
* {{cite book | author=Navjyoti Singh | title=Jaina Theory of Actual Infinity and Transfinite Numbers | journal=Journal of Asiatic Society | volume=30 | year=1988}}<!-- {{cite book | author=Navjyoti Singh | title=Jaina Theory of Actual Infinity and Transfinite Numbers | journal=Vaishali Institute Research Bulletin| volume=5 | year=1986}}-->
* {{citation|first=Earl W.|last=Swokowski|title=Calculus with Analytic Geometry|edition=Alternate|year=1983|publisher=Prindle, Weber & Schmidt|isbn=0-87150-341-7}}
* {{citation|first=Angus E.|last=Taylor|title=Advanced Calculus|year=1955|publisher=Blaisdell Publishing Company}}
* [[David Foster Wallace|Wallace, David Foster]] (2004), ''Everything and More: A Compact History of Infinity'', Norton, W.W. & Company, Inc., ISBN 978-0-393-32629-1

== Vidu ankaŭ ==
* [[Senfinecono]]
* [[Aksiomo de senfineco]]
* [[Nombro]]
* [[Nulo]]
* [[Georg Cantor]]
* [[Lasta lekcio en Gotingeno]] – Bildrakonto kiu prezentas la teoriojn de [[Georg Cantor]] kaj [[Kurt Gödel]] pri senfineco.
* [[Senfina reveno]]
* [[Eterno]]

== Referencoj == 
{{Referencoj|2}}

== Eksteraj ligiloj ==
{{Projektoj}}
* [http://www.pecorelettriche.it/download/gotingeno-davideosendacommon.pdf Lasta lekcio en Gotingeno] ({{eo}}) en PDF-formo
* [http://www.earlham.edu/~peters/writing/infapp.htm A Crash Course in the Mathematics Of Infinite Sets] {{Webarchiv|url=https://web.archive.org/web/20100227033849/http://www.earlham.edu/~peters/writing/infapp.htm |date=2010-02-27 }} – Anglalingva enkonduko en la matematikon de senfinaj aroj
* [http://www.earlham.edu/~peters/writing/infinity.htm Infinite Reflections] {{Webarchiv|url=https://web.archive.org/web/20091105182928/http://www.earlham.edu/~peters/writing/infinity.htm |date=2009-11-05 }} – Anglalingva filozofia eseo pri senfineco
* {{Cite web|last=Grime|first=James|title=Infinity is bigger than you think|url=http://www.numberphile.com/videos/countable_infinity.html|work=Numberphile|publisher=Brady Haran|titolo=Arkivita kopio|alirdato=2015-07-08|arkivurl=https://web.archive.org/web/20171022173525/http://www.numberphile.com/videos/countable_infinity.html|arkivdato=2017-10-22|accessdate=2015-07-08|archiveurl=https://web.archive.org/web/20171022173525/http://www.numberphile.com/videos/countable_infinity.html|archivedate=2017-10-22}}
* [http://pespmc1.vub.ac.be/INFINITY.html ''Infinity'', Principia Cybernetica]
* [http://www.c3.lanl.gov/mega-math/workbk/infinity/infinity.html Hotel Infinity] {{Webarchiv|url=https://web.archive.org/web/20040910082530/http://www.c3.lanl.gov/mega-math/workbk/infinity/infinity.html |date=2004-09-10 }}
* John J. O'Connor kaj Edmund F. Robertson (1998). [http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Cantor.html 'Georg Ferdinand Ludwig Philipp Cantor'] {{Webarchiv|url=https://web.archive.org/web/20060916095918/http://www-groups.dcs.st-and.ac.uk/~history/Biographies/Cantor.html |date=2006-09-16 }}, ''MacTutor History of Mathematics archive''.
* John J. O'Connor and Edmund F. Robertson (2000). [http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Jaina_mathematics.html 'Jaina mathematics'] {{Webarchiv|url=https://web.archive.org/web/20081220145242/http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Jaina_mathematics.html |date=2008-12-20 }}, ''MacTutor History of Mathematics archive''.
* Ian Pearce (2002). [http://www-history.mcs.st-andrews.ac.uk/history/Projects/Pearce/Chapters/Ch5.html 'Jainism'], ''MacTutor History of Mathematics archive''.
* [https://web.archive.org/web/20060428005158/http://uk.geocities.com/frege@btinternet.com/cantor/Phil-Infinity.htm Source page on medieval and modern writing on Infinity]
* [http://www.washingtonpost.com/wp-srv/style/longterm/books/chap1/mysteryaleph.htm The Mystery Of The Aleph: Mathematics, the Kabbalah, and the Search for Infinity]
* [http://dictionary.of-the-infinite.com Dictionary of the Infinite] (compilation of articles about infinity in physics, mathematics, and philosophy)

* {{Tradukita|lingvo= en |artikolo=Infinity|revizio=1279750022}}
{{Havenda artikolo|Senfineco}}

[[Kategorio:Scienco]]
[[Kategorio:Filozofio]]
[[Kategorio:Matematiko]]
[[Kategorio:Senfineco]]
[[Kategorio:Filozofia terminologio]]
[[Kategorio:Filozofio de matematiko]]
[[Kategorio:Teologio]]
[[Kategorio:Logiko]]
[[Kategorio:Nombroj]]