01ALG:Kapitola1: Porovnání verzí

Z WikiSkripta FJFI ČVUT v Praze
Přejít na: navigace, hledání
(Překlepy a chyby)
(Překlepy a chyby)
Řádka 19: Řádka 19:
 
Nechť $\UU $ je množina všech množin
 
Nechť $\UU $ je množina všech množin
 
  a $\PP\UU=\set x{x\subset\UU}$ její potenční množina (množina všech jejích podmnožin).
 
  a $\PP\UU=\set x{x\subset\UU}$ její potenční množina (množina všech jejích podmnožin).
Potom neboť $\PP\UU\sse\UU$, je $\abs{\PP\UU}\leq\abs\UU$ (exaktní definice velkosti množiny je dále).
+
Potom neboť $\PP\UU\sse\UU$, je $\abs{\PP\UU}\leq\abs\UU$ (exaktní definice velikosti množiny je dále).
 
Současně však $\forall M(\abs{\PP M}>\abs{M})$, tedy i $\abs{\PP\UU}\leq\abs\UU$, což je spor.
 
Současně však $\forall M(\abs{\PP M}>\abs{M})$, tedy i $\abs{\PP\UU}\leq\abs\UU$, což je spor.
  
Řádka 71: Řádka 71:
  
 
\axiom(A4)Axiom sjednocení (sumy).
 
\axiom(A4)Axiom sjednocení (sumy).
$\AA x \EE z \AA u \big(u\in z \Lequiv \EE y (u\in y \Land u\in x)\big)$.
+
$\AA x \EE z \AA u \big(u\in z \Lequiv \EE y (u\in y \Land y\in x)\big)$.
  
 
\define
 
\define
 
Sumu systému $x$ značíme $z=\bigcup x$.
 
Sumu systému $x$ značíme $z=\bigcup x$.
  
\axiom(A5)Schema axiomů vydělení.
+
\axiom(A5)Schéma axiomů vydělení.
Nechť $F[u]$ je formule s volnou proměnnou $u$, jež neobsahuje $z$.
+
Nechť $F[u]$ je formule s volnou proměnnou $u$, jež neobsahuje volnou proměnnou $z$.
 
Potom axiomem je $\AA x \EE z \AA u \big(u\in z \Lequiv (u \in x \Land F[u])\big)$.
 
Potom axiomem je $\AA x \EE z \AA u \big(u\in z \Lequiv (u \in x \Land F[u])\big)$.
  
Řádka 116: Řádka 116:
 
\item Každá formule $F[u]$ definuje \defined{třídu} $Z=\set u{F[u]}$.
 
\item Každá formule $F[u]$ definuje \defined{třídu} $Z=\set u{F[u]}$.
 
\item Třídy značíme velkými písmeny.
 
\item Třídy značíme velkými písmeny.
\item Každá monžina je třída $x=\set u{u\in x}$.
+
\item Každá množina je třída $x=\set u{u\in x}$.
 
\item Třída, která není množinou, se nazývá \defined{vlastní třída}.
 
\item Třída, která není množinou, se nazývá \defined{vlastní třída}.
 
\item $\UU:=\set u{u=u}$ nazýváme \defined{universum} a je to vlastní třída.
 
\item $\UU:=\set u{u=u}$ nazýváme \defined{universum} a je to vlastní třída.

Verze z 20. 9. 2010, 19:05

PDF [ znovu generovat, výstup z překladu ] Kompletní WikiSkriptum včetně všech podkapitol.
PDF Této kapitoly [ znovu generovat, výstup z překladu ] Přeložení pouze této kaptioly.
ZIPKompletní zdrojový kód včetně obrázků.

Součásti dokumentu 01ALG

součástakcepopisposlední editacesoubor
Hlavní dokument editovatHlavní stránka dokumentu 01ALGKarel.brinda 24. 8. 201014:49
Řídící stránka editovatDefiniční stránka dokumentu a vložených obrázkůAdmin 7. 9. 201513:48
Header editovatHlavičkový souborKarel.brinda 24. 10. 201019:54 header.tex
Kapitola0 editovatÚvodní poznámkyKarel.brinda 26. 8. 201015:03 alg_note.tex
Kapitola1 editovatTeorie množínSnilard 6. 1. 201100:37 alg_set.tex
Kapitola2 editovatRelaceKarel.brinda 25. 1. 201122:52 alg_rel.tex
Kapitola3 editovatUspořádané množinySedlam18 24. 1. 201213:18 alg_set2.tex
Kapitola4 editovatAlgebraSnilard 6. 1. 201100:59 alg_alg.tex
Kapitola5 editovatTeorie grupPitrazby 17. 2. 201202:51 alg_group.tex
Kapitola6 editovatOkruhyPitrazby 17. 2. 201203:00 alg_ring.tex
Kapitola7 editovatModuly a lineární algebryKosarvac 11. 11. 201115:50 alg_module.tex
Kapitola8 editovatTeorie svazůPitrazby 17. 2. 201214:19 alg_lattice.tex
Kapitola9 editovatPolynomy nad komutativními tělesyPitrazby 17. 2. 201214:21 alg_polynoms.tex
Kapitola10 editovatKonečná tělesaPitrazby 17. 2. 201214:24 alg_finite.tex

Zdrojový kód

%\wikiskriptum{01ALG}
 
\xx{Úvod do teorie množin}
 
\xxx{Teorie množin}
 
\xxxx{Naivní teorie množin}
 
\begin{enumerate}%XX
\item Cantor, 19. století
\item Vychází z~představy, že každý objekt je množina.
\end{enumerate}%XX
 
V~naivní teorii množin se brzy došlo k tzv. \defined[paradox]{paradoxům}.
Ve skutečnosti to nejsou paradoxy, neboť paradox je \uv{neuvěřitelné, leč pravdivé tvrzení},
 ale zde jde skutečně o spory v pravém slova smyslu.
 
\example(Cantorův paradox)
Nechť $\UU $ je množina všech množin
 a $\PP\UU=\set x{x\subset\UU}$ její potenční množina (množina všech jejích podmnožin).
Potom neboť $\PP\UU\sse\UU$, je $\abs{\PP\UU}\leq\abs\UU$ (exaktní definice velikosti množiny je dále).
Současně však $\forall M(\abs{\PP M}>\abs{M})$, tedy i $\abs{\PP\UU}\leq\abs\UU$, což je spor.
 
\example(Russelův paradox)
2 předpoklady:
 
\begin{enumerate}
\item každý výrok $V(x)$ definuje množinu;
\item o každém prvku lze rozhodnout, zda do množiny patří, či nikoli.
\end{enumerate}
 
Potom definujme $x:=\set y{y\notin y}$. Dále $x\in x \Limpl x\notin x$ a zároveň $x\notin x \Limpl x\in x$, což je spor.
 
\example(sémantické paradoxy)
Např. paradox Kréťana: \uv{Všichni Kréťani jsou lháři.}
V~této podobě však nefunguje a je třeba jej poupravit:
\uv{Teď lžu.}
 
\xxxx{Axiomatická teorie množin}
 
Teorie množin má 2 axiomatiky, které jsou však ekvivalentní:
 
\begin{enumerate}
\item Zermelova-Fraenkelova axiomatika (označovaná \defined[ZF]{ZF});
\item G\H odelova-Bernaysova axiomatika.
\end{enumerate}
 
My budeme pracovat s~Zermelovou-Fraenkelovou axiomatikou, jež vznikla v~roce 1908.
 
\axiom(A0)Axiomy rovnosti.
\begin{enumerate}%XX
\item $\AA x (x=x)$;
\item $\AA x \AA y (x=y \Limpl y=x)$;
\item $\AA x \AA y \AA z ((x=y \Land y=z) \Limpl x=z)$;
\item $\AA x \AA y \Bigl(x=y \Limpl \bigl( (\AA u (u \in x \Lequiv u \in y) )
\Land \AA u (x \in u \Lequiv y \in u )\bigr)\Bigr)$.
\end{enumerate}%XX
 
\axiom(A1)Axiom existence.
$\EE x (x=x)$.
 
\axiom(A2)Axiom extenzionality.
$\AA x \AA y \big(x=y \Lequiv \AA u (u \in x \Lequiv u \in y)\big)$.
 
\axiom(A3)Axiom dvojice.
$\AA x \AA y \EE z \AA u \big(u \in z \Lequiv (u=x \Lor u=y)\big)$.
 
\define \defined{Uspořádaná dvojice} $\anglevector{x,y} :=\{\{x\},\{x,y\}\}$.\\
\defined{Uspořádaná $n$-tice} $\anglevector{x_1\cldc x_n}:=
 \anglevector{x_1, \anglevector{x_2\cldc x_n}}$.
 
\axiom(A4)Axiom sjednocení (sumy).
$\AA x \EE z \AA u \big(u\in z \Lequiv \EE y (u\in y \Land y\in x)\big)$.
 
\define
Sumu systému $x$ značíme $z=\bigcup x$.
 
\axiom(A5)Schéma axiomů vydělení.
Nechť $F[u]$ je formule s volnou proměnnou $u$, jež neobsahuje volnou proměnnou $z$.
Potom axiomem je $\AA x \EE z \AA u \big(u\in z \Lequiv (u \in x \Land F[u])\big)$.
 
\example
\begin{enumerate}
\item $F=\ulcorner u\in y\urcorner$ $\rightarrow$ \defined{průnik} $z=:x\cap y$.
\item $F=\ulcorner u\notin y\urcorner$ $\rightarrow$ \defined{rozdíl} $z=:x\setminus y$.
\item $F=\ulcorner u\neq u\urcorner$ $\rightarrow$ existence \defined{prázdné množiny} $z=:\emptyset$.
\end{enumerate}
 
\axiom(A6)Axiom potence.
$\AA x \EE z \AA u (u \in z \Lequiv u \sse x)$.
 
\define
Potenční množinu množiny $x$ značíme $z=\PP x$.
 
\axiom(A7)Axiom nekonečna.
$\EE z \big(\emptyset\in z \Land \AA x (x\in z \Limpl x\cup\{x\}\in z)\big)$.
 
\example
$\PP{\emptyset}=\{\emptyset\}$.
$\PP{\{\emptyset\}}=\{\emptyset, \{\emptyset\}\}$.
$\PP{\{\emptyset, \{\emptyset\}\}}=\{\emptyset, \{\emptyset\}, \{\{\emptyset\}\}, \{\emptyset, \{\emptyset\}\}\}$.
Tato posloupnost množin umožňuje definovat přirozená čísla (s nulou) jako množiny.
 
\axiom(A8)Axiom fundovanosti.
$\AA x \big(x\neq\emptyset \Limpl \EE z (z\in x \Land z\cap x=\emptyset)\big)$.
 
\consequence
$\AA y (y\notin y)$.
 
\axiom(A9)Axiom výběru.
Nezařazuje se do ZF axiomatiky, pokud jej zahrneme, používáme označení \defined{ZFC}
 (\uv C označuje \uv{axiom of Choice}).
 
\define(třídy v Z-F axiomatice)
\begin{enumerate}%XX
\item Každá formule $F[u]$ definuje \defined{třídu} $Z=\set u{F[u]}$.
\item Třídy značíme velkými písmeny.
\item Každá množina je třída $x=\set u{u\in x}$.
\item Třída, která není množinou, se nazývá \defined{vlastní třída}.
\item $\UU:=\set u{u=u}$ nazýváme \defined{universum} a je to vlastní třída.
\end{enumerate}%XX
 
\remark(G\H odelova-Bernaysova axiomatika)
 
\begin{enumerate}%XX
\item Prvotním pojmem je třída.
\item Množina je taková třída, která je prvkem jiné třídy.
\item Třída, který není množinou, je vlastní třída.
\item Obě teorie jsou ekvivalentní.
\end{enumerate}%XX
 
\xxxx{Kartézský součin}
 
\define
Mějme 2 třídy $X$, $Y$. Třídu
$$X\times Y:=\set{\anglevector{u,v}}{u\in X \Land v\in y}
=\set z{\EE u \EE v (z=\anglevector{u,v} \Land u\in X \Land v\in Y)}$$
nazveme \defined{kartézský součin $X$ a $Y$}.
 
\lemma
Jsou-li $x$ a $y$ množiny, pak i kartézský součin $x\times y$ je množina.
 
\proof
$
u\in x \Land v\in y
\implies
u,v\in X\cup Y
\implies
\{u\}, \{u,v\}\in\PP{x\cup y}
\implies
z\in\PP{\PP{x\cup y}}
\implies
x\times y=\set{z\in\PP{\PP{x\cup y}}}{\EE u \EE v (z=\anglevector{u,v} \Land u\in x \Land v\in y)}
$, tedy podle schematu axiomu vydělení je $x\times y$ množina.
\QED