Nastavení

3.3 Číselné množiny

V této části textu zúžíme naši pozornost na množiny tvořené čísly. Na tyto množiny narazíme ve většině matematických předmětů.

3.3.1 Přirozená čísla

Množinu přirozených čísel³⁴ označujeme symbolem $\N$,

Přirozená čísla abstrahují „počet“ objektů. Na obrázku č. 3.2 jsou uvedeny tři sady různých geometrických útvarů. Příklady (a), (b) i (c) mají tu vlastnost, že vždy obsahují tři útvary. Tento postřeh vyjadřujeme konstatováním, že útvary jsou tři a značíme arabskou číslicí $3$.

Všimněme si, že množina přirozených čísel je uzavřená vůči násobení a sčítání. Přesněji, násobením a sčítáním dvou přirozených čísel dostaneme opět přirozené číslo:

Při počítání si ale pouze se sčítáním a násobením nevystačíme. Potřebujeme umět i odčítat a dělit, což v množině přirozených čísel už nelze vždy úspěšně provést (někdy ano, např. $4 - 2 = 2$ a $4 / 2 = 2$, ale $2 - 4$ nebo $2 / 4$ je v přirozených číslech problém). Řešení těchto algebraických úloh nás přirozeně přivede k celým a racionálním číslům.

Na závěr této podkapitoly učiňme ještě jednu poznámku. Více méně bez komentáře rovnou využíváme poziční zápis přirozených čísel pomocí arabských³⁵ cifer. V desítkové bázi lze každé přirozené číslo $m \in \N_0$ jednoznačně vyjádřit ve tvaru

kde $n \in \N_0$ a $m_0, m_1, \ldots, m_n$ jsou prvky množiny $\{0,1,\ldots, 9\}$. Tento fakt bychom zapisovali také symbolicky následujícím způsobem

Na pravé straně této rovnosti pak pozice jednotlivých cifer udávají jejich význam. Proto mluvíme o pozičním zápisu.

Zkuste se ale zamyslet nad problémem provádění algebraických operací (sčítání, násobení, odčítání) např. pomocí římského číselného systému. Například uvažte

a zapomeňte, že znáte poziční zápis a v něm dostupné algoritmy. Není to nic jednoduchého, že? Člověk pak raději sáhne po počítadle (abakus).

Arabské číslice v Evropě propagoval  Leonardo z Pisy (známý pod jménem Fibonacci) na začátku třináctého století. V roce 1202 vydal spis Liber abbaci („Kniha o počítání“), který významně napomohl rozvoji obchodu a vědy. Další zajímavosti o této „první výpočetní revoluci“ se může zvídavý čtenář dozvědět v poutavé knížce (Devlin, 2011).

3.3.2 Celá čísla

Množina $\N$ však není uzavřená vůči odečítání dvou přirozených čísel. V případě sčítání můžeme tento fakt také formulovat tak, že rovnice

pro zadaná přirozená $a,b\in\N$ nemusí mít přirozené řešení $x$. Uvažme třeba $a=4$ a $b=5$. Jinak řečeno, pouze pomocí přirozených čísel nemůžeme vyjádřit koncept „dluhu“ (záporné číslo) a „prázdného počtu“ (nula).

K odstranění těchto nedostatků musíme k přirozeným číslům přidat nulu a záporná čísla. Dostáváme tak množinu celých čísel,

V této množině už můžeme násobit, sčítat i odčítat, ale výsledek operace dělení už tuto množinu opustí. Tedy řešení rovnice

pro zadaná celočíselná $a$ a $b$ nemusí být celočíselné. Tuto operaci opět můžeme motivovat potřebou rozdělovat jeden objekt na několik částí. Například při dělení jedné pizzy ($a=1$) na osm kousků ($b=8$) dostáváme osminy pizzy ($x=\frac{1}{8}$). Musíme přejít k racionálním³⁶ číslům.

3.3.3 Racionální čísla

Množina racionálních čísel je tvořena řešeními rovnice (3.6) s nenulovým $b$, která zapisujeme jako zlomky³⁷

Operace sčítání a násobení je na zlomcích definována pomocí operací v $\Z$ následovně³⁸

Na pravých stranách těchto výrazů vždy můžeme zkrátit společné faktory a skutečně tak dostáváme prvek množiny (3.7). Celá čísla přirozeně patří do množiny racionálních čísel, tj. $\mathbb{Z} \subset \mathbb{Q}$, jakožto zlomky $\frac{p}{1}$, kde $p \in \mathbb{Z}$, přičemž algebraické operace jsou zachovány.

Racionální čísla $\Q$ spolu s operacemi sčítání $+$ a násobení $\cdot$ splňují veledůležité vztahy

platné pro libovolná racionální čísla $a,b,c$. Rovnosti (3.8) se nazývají asociativní zákony pro sčítání, resp. násobení. Pouze díky jejich platnosti můžeme u opakovaného sčítání a násobení přestat psát závorky. Celkový výsledek totiž na uzávorkování nezávisí³⁹. Rovnost (3.9) se nazývá distributivní zákon. Čtenář je s ním jistě intimně obeznámen, neboť díky němu lze provádět operaci „vytýkání před závorku“. Abychom nemuseli na pravé straně (3.9) psát závorky, zavádí se konvenční přednost operace násobení před sčítáním. Význačným prvkem množiny racionálních čísel je číslo $0$, které splňuje

pro libovolné racionální číslo $a$. Ke každému racionálnímu číslu $a$ existuje racionální číslo označované jako $-a$ splňující

Podobný význam jako číslo $0$ pro operaci sčítání má číslo $1$ pro operaci násobení, pro každé racionální číslo $a$ platí

Konečně ke každému nenulovému racionálnímu číslu $a$ existuje racionální číslo označované jako $a^{-1}$ splňující

Předchozí odstavec lze shrnout do krátkého konstatování, že množina racionálních čísel $\Q$ spolu s operacemi sčítání $+$ a násobení $\cdot$ tvoří číselné těleso. Studiem číselných těles se zabývá⁴⁰ oblast matematiky nazývaná obecná algebra. Konečná⁴¹ tělesa nacházejí široké uplatnění v moderních šifrovacích algoritmech a počítačové bezpečnosti vůbec. Při svém studiu na FITu se s nimi proto hned v několika předmětech později setkáte.

V množině racionálních čísel lze tedy provádět tzv. algebraické operace sčítání, odčítání, násobení a dělení (nenulovými čísly). Toto „číselné prostředí“ plně dostačuje k provádění jednoduchých účetních a obchodních operací, které motivovaly vznik algebry ve středověku. Bohužel (nebo možná naštěstí) tato číselná množina je nedostatečná k popisu celé řady praktických problémů. Na druhou stranu, ani takto starý koncept jako jsou racionální čísla, nelze plně modelovat na moderních počítačích (nemáme k dispozici nekonečnou paměť – čitatelé a jmenovatelé mohou být v principu libovolně velká celá čísla). Při provádění algebraických operací v racionálních číslech ovšem nedochází k zaokrouhlovacím chybám.

3.3.4 Reálná čísla

Na začátku této kapitoly jsme si ukázali, že přirozených a celých čísel „není dost“. K uspokojení našich požadavků bylo vždy nutné další čísla přidat. Podobná situace nastává i v případě racionálních čísel. Tato množina je sice již uzavřená vůči binárním algebraickým operacím sčítání a násobení, ale tentokrát narazíme na potíže při analýze následujícího geometrického problému. Uvažujme čtverec o straně délky $1$ (racionální číslo), viz obrázek č. 3.3.

Ptáme se, jaká je délka jeho úhlopříčky. Tu lze nalézt snadno pomocí pravítka. Na obrázku č. 3.3 je tato úhlopříčka označena písmenem $x$. Podle Pythagorovy věty platí

Tedy $x^2 = 2$. Takovéto kladné číslo $x$ nazýváme odmocninou ze dvou a značíme $\sqrt{2}$. Lze snadno ukázat, že toto číslo není racionální, jak jsme si již ukázali ve větě 2.1. Stojíme tedy před závažným problémem. Na obrázku č. 3.3 nelze délku červené úsečky vyjádřit⁴² racionálním číslem! Znamená to, že s konceptem úhlopříčky v tomto případě nemůžeme pracovat? Ne, vždyť jsme ji před chvilkou nakreslili! Jen to ukazuje na nedokonalost racionálních čísel, musíme přistoupit k reálným číslům, které nám umožní numericky (číselně) popsat i takovéto reálné geometrické útvary.

Mezi další významná iracionální čísla patří například Ludolfovo⁴³ číslo (tradičně označované řeckým písmenkem $\pi$) či Eulerova⁴⁴ konstanta (tradičně označované latinským písmenem $\ee$). V jistém smyslu je iracionálních čísel podstatně více⁴⁵ než racionálních, lze říci, že „typické“ reálné číslo je iracionální. Více si o vztahu těchto dvou množin povíme v BI-MA1. Čtenáři je jistě známo, že reálná čísla si můžeme geometricky představovat jako body ležící na přímce, tzv. číselné ose. Na přímce je zvolen význačný bod odpovídající nule a číslo $a$ vynášíme na osu ve vzdálenosti $|a|$ od bodu $0$. Kladná čísla umisťujeme napravo a záporná čísla nalevo od $0$.

Pokud bychom na osu vynášeli pouze racionální čísla, výsledná přímka by byla „děravá“. Například ve vzdálenosti $\sqrt{2}$ (napravo i nalevo) od bodu $0$ by nebyl zanesen žádný bod. K zaplnění číselné osy je potřeba uvažovat i iracionální čísla. Požadavek na neděravost reálné osy přesněji vyjadřuje „axiom úplnosti“. Podrobněji se touto problematikou budeme zabývat v jedné z prvních přednášek BI-MA1.

Poznamenejme pro zajímavost, že rozhodnout o racionálnosti či iracionálnosti čísla nemusí být jednoduché. Dokonce existují čísla, o kterých se doposud neví, do které množiny patří. Příkladem může být Euler–Mascheroniho konstanta definovaná vztahem⁴⁶

Více informací o tomto konkrétním problému lze nalézt v (Weisstein, b.r.).

3.3.5 Komplexní čísla

Mohlo by se zdát, že po doplnění racionálních čísel iracionálními čísly již není nutné žádná další čísla přidávat. Všimněme si, že geometrickou úvahu z minulého odstavce lze prostě redukovat na požadavek (viz rovnici (3.10)), aby rovnice

měla v dané číselné množině řešení (zde $\pm\sqrt{2}\in\R$). Ovšem už hned jednoduchá obměna této rovnice,

nemá reálné řešení⁴⁷. Tuto rovnici lze vyřešit zavedením imaginární jednotky (značíme $\ii$), jež splňuje rovnost $\ii^2 = -1$ a řeší proto i rovnici (3.11). Číslo $\ii$ nazýváme imaginární jednotkou. Toto nové číslo můžeme násobit a sčítat s libovolným reálným číslem. Získáváme tak komplexní čísla,

Je-li $z = a + b \ii$ komplexní číslo, pak reálné číslo $a$ nazýváme reálnou částí $z$ a reálné číslo $b$ imaginární částí $z$. Dvě komplexní čísla se rovnají, právě když se rovnají jejich reálné a imaginární části. Reálnou část komplexního čísla $z$ značíme $\Re z$ a imaginární část značíme $\Im z$. Reálná čísla jsou v množině komplexních čísel přirozeně obsažena ztotožníme-li reálné číslo $a$ s komplexním číslem $a + 0\ii$.

Algebraické operace na množině $\CC$ jsou zavedeny následovně

Všimněte si, že pokud $d=b=0$ pak součet $a+c$ a součin $a\cdot c$ má stejný význam jako v reálných číslech. Množina $\CC$ s takto zavedenými operacemi opět tvoří těleso.

Komplexní čísla si lze představit například jako body v komplexní rovině. Vodorovnou osu nazýváme reálnou osou a svislou osu nazýváme imaginární osou. Komplexnímu číslu $a+\ii b$ pak odpovídá bod o souřadnicích $(a,b)$. Viz obrázek č. 3.5.

Zavádí se absolutní hodnota komplexního čísla

V komplexní rovině si lze absolutní hodnotu komplexního čísla $a+ \ii b$ představit jako délku úsečky spojující body $0$ a $a+b\ii$. Číslo $a - \ii b$ nazýváme komplexně sdruženým číslem k číslu $a + \ii b$, $a,b\in\R$. Komplexně sdružené číslo tak získáme zrcadlením vůči reálné ose.

Operaci sčítání komplexních čísel si lze představit jako sčítání vektorů (sčítá se „po složkách“). Operaci násobení komplexních čísel lze v komplexní rovině znázornit jako rotaci a škálování. To není zcela zřejmé tvrzení, lze ho však odvodit například z definice operace násobení (3.12). Pro ilustraci uvádíme obrázek 3.6. Speciálně násobení imaginární jednotkou $\ii$ si lze v komplexní rovině představovat jako rotaci o úhel $\frac{\pi}{2}$ vzhledem k počátku souřadného systému, který odpovídá číslu $0$, proti směru hodinových ručiček.

Důvod k zavedení komplexních čísel se může zdát uměle vykonstruovaný. Například se hned nabízí otázka, zda v případě, kdy budeme zkoumat řešení jiné polynomiální rovnice než (3.11), nebudeme potřebovat další komplexní jednotku. Odpověď na tuto otázku podal Gauss⁴⁸ ve své slavné Fundamentální větě algebry: každý polynom s komplexními koeficienty stupně $n$ má $n$ komplexních kořenů⁴⁹. K řešení polynomiálních rovnic tedy naprosto vystačíme s komplexními čísly.

Řada matematických metod aplikovaných v praxi je ve své podstatě komplexní. Například Fourierova transformace (resp. Fast Fourier Transform, FFT), využívaná k analýze a zpracování signálu (a tedy i ve vašem oblíbeném audio či video přehrávači), je bez aparátu komplexních čísel jen nešikovně popsatelná. Z důvodů, které na tomto místě nelze rozebírat, komplexní čísla vždy přirozeně vyvstanou kdykoliv máme co dočinění s rotacemi (viz interpretace násobení komplexních čísel), reálná čísla samotná vystačí pouze na škálování. Bez komplexních čísel by šlo jen velmi těžko formulovat kvantovou fyziku, teorii, na které stojí řada moderních technologií a jež možná v blízké budoucnosti kompletně změní otázku bezpečnosti IT.

3.3.6 Kvaterniony

Na závěr této kapitolky poznamenejme, že komplexní čísla lze ještě dále rozšířit na (nekomutativní) těleso kvaternionů. V něm nemáme jen jednu komplexní jednotku, ale hned tři ($\ii$, $\mathrm{j}$ a $\mathrm{k}$). Celkem tedy dostáváme čtyři jednotky (jedna reálná $1$ a tři „imaginární“), odtud název. Vztahy mezi těmito jednotkami jsou definovány pomocí rovnic

Z těchto vztahů dokážete odvodit další součiny různých kombinací jednotek.

Množinu

s operacemi definovanými podobně jako v komplexních číslech, zavedl Hamilton. (Sir William Rowan Hamilton (4. srpna 1805 – 2. září 1865) byl irský fyzik a matematik. Poté, co objevil definiční vztahy (3.13), vyryl je do mostu v Dublinu.) Proč se tu o kvaternionech zmiňujeme? Pomocí kvaternionů lze totiž velmi výhodně (ve výpočetním slova smyslu) počítat například rotace vektorů v třírozměrném prostoru. Využívá jich řada algoritmů implementovaných v grafických kartách. Pro zajímavost viz např. (Confuted, b.r.).