Nieskończoność (symbol: ∞) – byt nieograniczony[1] (w sensie wielkości bądź ilości), który przyjęło się oznaczać za pomocą znaku podobnego do „przewróconej ósemki” (lemniskata).
Historia
[edytuj | edytuj kod]Arystoteles był pierwszym, który ujął naukowo problem nieskończoności[a][2]. Wymienił różne rodzaje nieskończoności. Są to:
- nieskończoność potencjalna – to nieskończoność niedokonana, w której dla podanej jakiejkolwiek skończonej liczby (lub wielkości geometrycznej), zawsze znajdzie się liczba (wielkość) od niej jeszcze większa.
- nieskończoność aktualna – to nieskończoność dokonana, w której możność nieskończenie wielu kroków zostaje spełniona, urzeczywistniona w postaci jednego aktu. Typowym dziś jej przykładem jest zbiór wszystkich liczb naturalnych, traktowany jako jeden obiekt będący końcowym efektem nieskończonego procesu zwiększania liczebności, obiekt wyraźnie określony, mogący być elementem innego zbioru.
Ponadto Arystoteles wyróżnił dwa rodzaje nieskończoności potencjalnej:
- nieskończoność ze względu na dodawanie, zwiększanie (np. liczb, odcinków),
- nieskończoność ze względu na podział (odcinka itp.).
Nieskończoność potencjalna była akceptowana przez wszystkich uczonych. Nieskończoności aktualnej starożytni Arystoteles i inni filozofowie i matematycy nie uznawali. To nastawienie określono mianem horror infiniti – strach przed nieskończonością[b]. Kryła się za tym świadomość, że nieskończoność aktualna prowadzi do paradoksów (z których najbardziej znane to paradoksy Zenona z Elei). Zauważano także takie „absurdy”, jak np. fakt, że liczb naturalnych i kwadratów liczb naturalnych jest tyle samo, co przeczyło intuicji, która mówiła, że część musi być mniejsza od całości.
Z nieskończonością potencjalną mamy do czynienia w analizie matematycznej, gdy mówimy o granicy. Mówiąc, że ciąg (an) dąży do granicy g, gdy n dąży do nieskończoności, mamy na myśli fakt, że wyrazy (an) są dowolnie bliskie g dla odpowiednio dużych n. Nie zakładamy tu wcale istnienia żadnego nieskończonego bytu, a jedynie nieustającą możliwość powiększania (i analogicznie: nieustającą możliwość pomniejszania). Nieskończonością potencjalną w kontekście przestrzeni posługują się Elementy Euklidesa.
Proklos Diadochus w V wieku naszej ery wyrażał to w taki sposób:
- wielkości są wprawdzie dzielone w nieskończoność, ale nie na nieskończenie wiele części. To ostatnie powodowałoby, że aktualnie byłoby nieskończenie wiele części, tamto pierwsze, że tylko potencjalnie; to ostatnie daje nieskończoności istnienie substancjalne, tamto przyznaje jej tylko stawanie się.
Jednak nie tylko starożytni czuli się niepewnie, obcując z pojęciem nieskończoności. Gottfried Wilhelm Leibniz w XVII wieku pisał:
- nie ma nic bardziej namacalnego niż absurdalność idei liczby właściwie nieskończonej.
Symbol
[edytuj | edytuj kod]Symbol nieskończoności (UTF-8. ∞) został zaproponowany przez Johna Wallisa w traktacie De sectionibus conicis (1655) i był konsekwentnie przez niego używany w późniejszych pracach, m.in. w Arithmetica infinitorum (1656).
W książce „Zero to Lazy Eight” Alexander Humez, Nicholas Humez i Joseph Maguire twierdzą, że Wallis był typowym uczonym[styl do poprawy] i jest całkiem prawdopodobne, że wywiódł on symbol z rzymskiego znaku oznaczającego – (oznaczanego również przez ), chociaż jest też prawdopodobne, że zainspirował go znak symbol małej litery greckiej omega, która będąc ostatnią literą greckiego alfabetu, była metaforą końca i ostateczności.
Symbol nieskończoności w systemach komputerowych:
Nazwa | Znak | Unicode | Kod HTML |
---|---|---|---|
Nieskończoność | ∞ | U+221E | ∞ lub ∞ lub ∞
|
Matematyka
[edytuj | edytuj kod]Analiza matematyczna i geometria
[edytuj | edytuj kod]W rachunku różniczkowym i całkowym stosuje się różne pojęcia nieskończoności: (pisane też bez znaku + jako ) oraz W topologii rozważa się zbiór tzn. prostą liczbową uzupełnioną oboma punktami w nieskończoności.
W pewnych teoriach (np. w teorii całki Lebesgue’a) dopuszcza się niektóre działania na takich symbolach, np. dla dowolnej liczby rzeczywistej ale symbol uważa się za niezdefiniowany.
Czym innym zaś jest punkt w nieskończoności dla płaszczyzny zespolonej, określony za pomocą rzutu stereograficznego.
W geometrii rzutowej mówi się o przecinaniu się prostych równoległych w nieskończoności, przy czym tym razem jest tylko jeden punkt niezależnie od tego, w którą stronę podążamy; w efekcie obie te nieskończoności „sklejają się” razem i prosta topologicznie staje się okręgiem.
Teoria mnogości
[edytuj | edytuj kod]W XIX wieku zbiory nieskończone rozważał Bernard Bolzano, ale prawdziwego przełomu dokonał niemiecki matematyk Georg Cantor, który odkrył różne rodzaje aktualnej nieskończoności, istniejących jako samodzielne byty, na których możemy dokonywać działań typu arytmetycznego. Cantor zdefiniował pojęcie równej liczby elementów zbioru i pojęcie liczby kardynalnej oraz udowodnił m.in., że zbiór nieskończony liczb rzeczywistych jest liczniejszy niż zbiór liczb naturalnych (patrz rozumowanie przekątniowe)[3]. Mimo iż Cantor badał nieskończone wielkości, nie uznawał różniczek, czyli nieskończenie małych wartości[4].
Oprócz tego Cantor rozwinął teorię pozaskończonych liczb porządkowych.
Rozważa się nieskończoną hierarchię mocy zbiorów nieskończonych, tak zwaną hierarchię liczb kardynalnych. Kolejne moce zbiorów nieskończonych (liczby kardynalne) oznacza się symbolem pierwszej litery alfabetu hebrajskiego alef indeksowanym kolejnymi liczbami porządkowymi:
Liczby kardynalne można nie tylko porównywać, ale także przeprowadzać na nich operacje: dodawania, mnożenia oraz potęgowania[c].
Z początku wielu matematyków bardzo nieufnie podchodziło do rozważań Cantora i jego stosunku do nieskończoności aktualnej, uważając, że są one zbyt oddalone od intuicji. Henri Poincaré twierdził: "Następne pokolenia potraktują teorię zbiorów jako chorobę, z której udało im się wyleczyć"[5]. Okazało się jednak, że dzięki użyciu metod teorii mnogości nastąpił gwałtowny rozwój z jednej strony podstaw matematyki, a z drugiej strony całej matematyki. Cantor uporządkował chaos definicyjny, zastępując nieścisłe pojęcia wielkości i liczby pojęciami zbioru i liczby kardynalnej. Z drugiej strony, systematyczne i ścisłe badanie nieskończoności aktualnych szybko doprowadziło do problemów takich jak hipoteza continuum, które wymagały zrewidowania całego aparatu logiki matematycznej. Z kolei opozycjoniści zgłaszali zastrzeżenia do teorii mnogości, wskazując na rozmaite paradoksy, związane zwłaszcza z koncepcją nieskończoności rozwijaną na jej gruncie. Doprowadziło to do rozwinięcia takich prądów jak konstruktywizm czy finityzm, których celem była przebudowa podstaw matematyki w sposób usuwający pojęcie nieskończoności aktualnej i przeformułowanie wszystkich twierdzeń w celu likwidacji paradoksów.
Zobacz też
[edytuj | edytuj kod]Uwagi
[edytuj | edytuj kod]- ↑ Natomiast arche Anaksymandra, apeiron, nie było pierwowzorem tego, co rozumiemy przez nieskończoność; to była nieograniczona nieokreśloność, bezkształtność bez racjonalności.
- ↑ Wyjątkiem był Lukrecjusz (I wiek p.n.e.), który w poemacie De rerum natura bronił koncepcji mnogości nieskończonej i twierdził, że w takim przypadku część może być równa całości.
- ↑ Zaawansowana teoria potęgowania liczb kardynalnych (teoria PCF – possible cofinalities) została stworzona przez izraelskiego matematyka Saharona Szelacha.
Przypisy
[edytuj | edytuj kod]- ↑ Nieskończoność, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2021-07-23] .
- ↑ Arystoteles, Fizyka (Księga III, rozdział 6) i Metafizyka (Księga IX, rozdział 6), przedrukowane w Murawski, R.: 1986, Filozofia matematyki. Antologia tekstów klasycznych, Wydawnictwo UAM Poznań, s. 36–40. Przegląd zagadnień związanych z nieskończonościami daje Roman Murawski, Nieskończoność w matematyce. Zmagania z potrzebnym, acz kłopotliwym pojęciem, „Zagadnienia Filozoficzne w Nauce” 2014, LV, s. 8–9 [1].
- ↑ Ciesielski i Pogoda 2005 ↓, s. 232.
- ↑ Jahnke 2003 ↓, s. 35.
- ↑ Ciesielski i Pogoda 2005 ↓, s. 233.
Bibliografia
[edytuj | edytuj kod]- I.G. Baszmakowa , Grecja starożytna. Kraje hellenistyczne i imperium rzymskie, [w:] A.P. Juszkiewicz (red.), Historia matematyki, t. I, Warszawa: Państwowe Wydawnictwo Naukowe, 1975, s. 96–102 .
- Kazimierz Kuratowski, Wstęp do teorii mnogości i topologii, Warszawa: PWN, 1955 .
- Roman Murawski, Nieskończoność w matematyce. Zmagania z potrzebnym, acz kłopotliwym pojęciem, „Zagadnienia Filozoficzne w Nauce” (LV), 2014, s. 8–9 .
- Amir D. Aczel, Tajemnica alefów. Matematyka, kabała i poszukiwanie nieskończoności, Rebis, Poznań 2002.
- Hans Niels Jahnke: A history of analysis. Providence, RI: American Mathematical Society, 2003. ISBN 0-8218-2623-9. OCLC 51607350.
- Krzysztof Ciesielski, Zdzisław Pogoda: Bezmiar Matematycznej Wyobraźni. Warszawa: Prószyński i S-ka, 2005. ISBN 83-7337-932-0.
Linki zewnętrzne
[edytuj | edytuj kod]- Polskojęzyczne
Nagrania na YouTube [dostęp 2024-04-13]:
- Drogi do nieskończoności, kanał Centrum Nauki Kopernik, 14 grudnia 2018.
- Marek Kuś, Nieskończoność, Centrum Kopernika Badań Interdyscyplinarnych – Uniwersytet Jagielloński, kanał „Copernicus”, 16 lutego 2019.
- Tomasz Miller, Bliżej Nauki: Nieskończoność – i co dalej?, kanał FAIS UJ, 11 kwietnia 2024.
- Tomasz Miller, Jak duża (lub mała) jest nieskończoność?, kanał „Amfiteatr. Miejski Ośrodek Kultury”, 17 września 2024.
- Anglojęzyczne
- Graham Oppy i inni, Infinity, [w:] Stanford Encyclopedia of Philosophy, CSLI, Stanford University, 29 kwietnia 2021, ISSN 1095-5054 [dostęp 2021-04-30] (ang.).
- Bradley Dowden , The Infinite, Internet Encyclopedia of Philosophy, ISSN 2161-0002 [dostęp 2018-06-27] (ang.).
- Infinity (ang.), Routledge Encyclopedia of Philosophy, rep.routledge.com [dostęp 2023-05-10].
Nagrania na YouTube [dostęp 2024-04-13]:
- Michael Stevens, How To Count Past Infinity, kanał Vsauce, 9 kwietnia 2016.
- Defining Infinity, kanał PBS Infinite Series, 13 kwietnia 2018.
- Sabine Hossenfelder, Is Infinity Real?, kanał autorski, 5 grudnia 2020.