reálné číslo, které nespadá do množiny racionálních čísel From Wikipedia, the free encyclopedia
V matematice je iracionální číslo (řecky arretos či alogos) každé reálné číslo, které není racionálním číslem, tedy takové číslo, které nelze vyjádřit jako zlomek, tedy podíl dvou celých čísel a/b, kde a a b jsou celá čísla a b není nula. Iracionální číslo má neukončený a neperiodický desetinný rozvoj.
Asi nejstarším a nejjednodušším příkladem iracionálního čísla je . Její iracionalitu lze dokázat celkem jednoduše sporem pomocí základních vlastností dělitelnosti (viz níže). Obecně platí, že odmocniny z přirozených čísel jsou buď přirozená anebo iracionální čísla, což lze snadno dokázat pomocí rozkladu na prvočísla (základní věty aritmetiky).
Také logaritmy jsou většinou iracionální, elementárně lze dokázat např. iracionalitu čísla . Míníme dekadický logaritmus, pro přirozený to platí rovněž, důkaz je však podstatně složitější. Rovněž hodnoty exponenciálních, goniometrických apod. transcendentních funkcí jsou často iracionální čísla.
Mezi nejznámější iracionální čísla patří číslo , vyjadřující délku kružnice s jednotkovým průměrem nebo Eulerovo číslo e, základ přirozených logaritmů. Tato čísla jsou dokonce transcendentní – nejsou kořeny žádné algebraické rovnice (rovnice, v níž jsou koeficienty racionální čísla).
Objev je připisován matematikovi Pythagorovy školy jménem Hippasos, který dokázal, že úhlopříčka jednotkového čtverce nemůže být vyjádřena racionálním číslem. Podle pověsti byl Hippasus svržen z lodi do moře a utopen, aby tento objev zůstal utajen.
Důkaz iracionality Ludolfova čísla resp. Eulerova čísla je obtížnější a podařil se teprve v druhé polovině osmnáctého století.
Protože každé racionální číslo je možné vyjádřit podílem dvou celých čísel, množina racionálních čísel je nekonečná spočetná. Ale reálných čísel je nespočetně, tedy více než racionálních, takže iracionálních čísel musí být také nespočetně, množina iracionálních čísel má stejnou mohutnost jako množina čísel reálných, tzn. mohutnost kontinua.
Důkaz tvrzení o nespočetnosti iracionálních čísel lze poměrně jednoduše nahlédnout takto: postupujme sporem,
Z 1. a 2. by pak plynulo, že sjednocení racionálních a iracionálních čísel, což jsou čísla reálná, má stejnou mohutnost jako množina přirozených čísel, která je spočetná. Tím jsme se dostali ke sporu a předpoklad 1. nemůže platit. Proto množina iracionálních čísel má mohutnost větší než spočetnou a zároveň však nemůže mít mohutnost větší než její nadmnožina - čísla reálná, která má mohutnost kontinua.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.