Liczby niewymierne
| Ten artykuł od 2023-01 wymaga zweryfikowania podanych informacji. Należy podać wiarygodne źródła w formie przypisów bibliograficznych. Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte. Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary) Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu. |
Liczby niewymierne – liczby rzeczywiste niebędące wymiernymi, czyli niebędące ilorazami liczb całkowitych[1][2], czasem oznaczane różnicą zbiorów: [3]. Przykłady to:
- pierwiastek kwadratowy z dwójki ();
- inne pierwiastki arytmetyczne z liczb naturalnych niebędące liczbami naturalnymi, np. [potrzebny przypis];
- liczba pi (π)[4];
- podstawa logarytmu naturalnego (e)[5];
- stała Gelfonda-Schneidera ;
- [6];
- [6];
- stała Apéry’ego [3].
Rozwinięcie dziesiętne liczby niewymiernej jest nieskończone i nieokresowe[1]. Przez to przykładem liczby niewymiernej jest też 0,123456789101112131415... – konkatenacja zapisów dziesiętnych kolejnych liczb naturalnych[potrzebny przypis].
Dzieje badań
Najstarsze opisy niewymierności pochodzą ze starożytnej Grecji[1], konkretniej od Pitagorejczyków, którzy wykazali niewymierność liczby [3]. Zauważyli oni, że przekątna kwadratu o boku 1, możliwa do obliczenia twierdzeniem Pitagorasa, jest niewspółmierna z bokiem[potrzebny przypis]. Potem udowodniono niewymierność innych stałych[3]:
stała | dowód niewymierności | |
---|---|---|
data | autor | |
e | 1737 | Leonhard Euler |
π | 1760 | Johann Heinrich Lambert |
1979 | Roger Apéry(inne języki) |
Własności
- Zbiór liczb niewymiernych jest gęsty i nieprzeliczalny[7].
- Liczba niewymierna podniesiona do potęgi niewymiernej może być wymierna. Inaczej, istnieją takie liczby niewymierne i że liczba jest wymierna. Przykłady to[6]:
- O własnościach niektórych potęg z niewymiernymi wykładnikami mówi twierdzenie Gelfonda-Schneidera[6].
- Liczba niewymierna do potęgi wymiernej może być wymierna lub nie: .
- Każdą liczbę niewymierną można rozwinąć w nieskończony ułamek łańcuchowy; skończone ułamki łańcuchowe przedstawiają liczby wymierne[8].
- Liczby niewymierne wypełniają luki w przekrojach Dedekinda zbioru liczb wymiernych dając w efekcie przestrzeń zupełną[potrzebny przypis].
- Jako podprzestrzeń linii prostej zbiór liczb niewymiernych jest homeomorficzny z przestrzenią Baire’a, czyli ze zbiorem wszystkich funkcji [potrzebny przypis].
Zobacz też
Zobacz hasło liczba niewymierna w Wikisłowniku |
- dowód niekonstruktywny
- twierdzenie Gelfonda-Schneidera
- liczba przestępna
- niewspółmierność interteoretyczna
Przypisy
- ↑ a b c Liczby niewymierne, [w:] Encyklopedia PWN [dostęp 2023-11-23] .
- ↑ Liczby niewymierne [online], www.matemaks.pl [dostęp 2023-07-17] .
- ↑ a b c d Eric W.E.W. Weisstein Eric W.E.W., Irrational Number, [w:] MathWorld, Wolfram Research (ang.). [dostęp 2023-11-23].
- ↑ pi, [w:] Encyklopedia PWN [dostęp 2023-11-23] .
- ↑ e, [w:] Encyklopedia PWN [dostęp 2023-11-23] .
- ↑ a b c d MarekM. Kordos MarekM., Intuicjonizm i to, co po nim, [w:] pismo „Delta”, deltami.edu.pl, kwiecień 2017, ISSN 0137-3005 [dostęp 2023-11-23] (pol.).
- ↑ Irrational number (ang.), Encyclopedia of Mathematics, encyclopediaofmath.org, [dostęp 2023-11-23].
- ↑ AndrzejA. Schinzel AndrzejA., Ułamki łańcuchowe, „Delta” (5/1979), Warszawa: Uniwersytet Warszawski, 1979, s. 1-3, ISSN 0137-3005 (pol.).
- p
- d
- e
podziały (dychotomie) |
|
---|---|
inne podtypy |
|
- p
- d
- e
ogólne typy liczb | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
relacje |
| ||||||||||
działania | |||||||||||
liczby pierwsze |
| ||||||||||
równania diofantyczne |
| ||||||||||
twierdzenia arytmetyki modularnej |
| ||||||||||
inne zagadnienia | |||||||||||
twierdzenia limitacyjne |
- PWN: 3932369
- Britannica: topic/irrational-number
- SNL: irrasjonale_tall
- Catalana: 0153755
- DSDE: irrationale_tal