Vybrané kapitoly z aritmetiky a analytickej geometrie

Definícia - sčítanie kardinálnych čísel.
Nech $\small A,B$ sú dve konečné a zároveň disjunktné množiny, ktorých kardinálne čísla sú $\small card (A), card (B)$. Pod súčtom týchto kardinálnych čísel budeme rozumieť kardinálne číslo zjednotenia $\small A \cup B$
$\small card (A)+card (B) = card(A \cup B), A \cap B= \emptyset$
V definícii predpokladáme, že množiny $\small A,B$ sú disjunktné.

Ak množiny $\small A,B$ nie sú disjunktné, tak vieme nájsť množiny $\small A,B$, ktoré budú disjunktné a zároveň bude platiť
$\small A \approx A^ \ast , B \approx B^ \ast$.
Potom pod súčtom kardinálnych čísel množín $\small A,B$ budeme rozumieť súčet kardinálnych čísel množín $\small A^ \ast ,B^ \ast$
$\small card (A)+card (B) = card(A^ \ast)+card(B^ \ast)$ .
Ak má byť definícia súčtu dvoch kardinálnych čísel korektná, tak nemôže závisieť od výberu množín $\small A,B$.

Veta - o súčte kardinálnych čísel.
Nech $\small A,B$ sú množiny, pre ktoré platí $\small A\cap B=\emptyset$ a nech $\small A^\ast,B^\ast$ sú ľubovoľné disjunktné množiny, pre ktoré platí $\small A\approx A^\ast,\ B\approx B^\ast$. Potom platí:
$\small card (A)+card (B) = card(A^ \ast)+card(B^ \ast)$

Dôkaz.
Stačí ukázať, že existuje bijekcia $\small f:A \cup B \longrightarrow A^\ast \cup B^\ast$:

• množiny $\small A,A^\ast$ sú ekvivalentné, preto existuje bijekcia
  $\small f_1:A \longrightarrow A^\ast$
• podobne pre množiny $\small B,B^\ast$ vieme nájsť bijekciu
  $\small f_2:B \longrightarrow B^\ast$
• definujme zobrazenie $\small f:A\cup B\longrightarrow A^\ast\cup B^\ast$ ako zjednotenie funkcií
  $\small f(x)=\lbrace{f_{1}(x), x \in A}\rbrace \cup \lbrace{f_{2}(x), x \in B}\rbrace$ .
Zobrazenie $\small f(x)$ je zrejme bijekcia.

Cvičenie.
Nech $\small A,B$ sú množiny, pre ktoré platí $\small A=\left\{1,2,3\right\} a B=\left\{3,4\right\}$. Vypočítajte súčet $\small card (A)+card (B)$.

Riešenie.
Keďže množiny $\small A,B$ nie sú disjunktné, nahraďme napríklad množinu $\small B$ inou ale s ňou ekvivalentnou množinou.
Napríklad $B^\ast=\left\{a,b\right\}$, ktorá obsahuje písmená. Potom už bude platiť
$\small A\cap B^\ast=\emptyset$
a podľa predchádzajúcej vety dostaneme:
$\small card\left(A\right)+card\left(B\right)=card\left(A\cup B^\ast\right)=card\left(\left\{1,2,3,a,b\right\}\right)=\mathbf{5}$ .