# Chyby ve skriptech

<{ForumPost(poster="Schiroo", timestamp=2008-06-14 21:53:51)}>
Aktualizoval jsem hippiesovy errata ([http://www.hippies.matfyz.info/files/ms-errata.pdf](http://www.hippies.matfyz.info/files/ms-errata.pdf) ke skriptům prof. Pultra ([http://kam.mff.cuni.cz/~pultr/ms.pdf](http://kam.mff.cuni.cz/~pultr/ms.pdf)) a doplnil je vlastními poznatky. Chtěl bych vytvořit kompaktní errata - zúplnit je, aby obsahovaly veškeré chyby - špatné symboly, překlepy, nepřesnosti (vyjma chybějící interpunkce, čárek chybí příliš mnoho, možná i úmyslně) atd.  Proto vás žádám, kdo najdete dosud neobjevenou chybu nebo objevíte chybu v chybách :twisted: , pochlubte se :!:   
  
  
Po skončení semestru společný výtvor předám prof. Pultrovi (samozřejmě jen pokud dostanu svolení původního autora, kterého tímto žádám o vyjádření :wink: ), který projevil zájem. Zasloužíme se o nehynoucí slávu u následujících generací  :)

*Attachments:*

- *[ms_errata.pdf](/Forum%20archiv/Attachments/387_4c93a582e1e17e3caab2ffcd04561ac4)*

<{/ForumPost}>

<{ForumPost(poster="Lukas Mach", timestamp=2008-06-15 02:30:11)}>
014:001: "A podmnozina X" a ne "A podmnozina B"   
014:017: "fi: Y -> Xi, i elem J" a ne "fi: Y -> Xj, i elem J"  
  
Jeste co se tyce 073:026, tak omega_0 je proste ordinal isomorfni s mnozinou prirozenych cisel (protoze pokud by M a T byly konecne, tak neni jasne jakou presne velikost by mela ta generovana algebra mit).
<{/ForumPost}>

<{ForumPost(poster="hippies", timestamp=2008-06-15 09:04:34)}>
Timto se puvodni autor vyjadruje a mas me svoleni;)  
  
PS: V me papirove verzi skript je jeste spousta objevu, ktere jsem uz nemel silu/cas doplnit do toho dokumentu  
PPS: Mel jsem stejne ambice, ale kdyz jsem pak 4.srpna odchazel ze zkousky s 3--, tak mi to prislo nemistne:D  
  
Edit: Jeste bych upozornil, ze na netu se vali ruzne verze a ze treba ta, se kterou jsem pracoval ja, obsahuje chyby, ktere jsem v jinych verzich nenasel.
<{/ForumPost}>

<{ForumPost(poster="Lukas Mach", timestamp=2008-06-29 18:26:14)}>
057:019: dava formule (Hey), ne (1.1)  
  
062:004: Ma byt   
  
Je-li a <= bc SUP c, je a INF b **<=** (bc SUP c) INF b = 0 SUP c INF b <= c.  
  
Respektive mi rozhodne neni jasne, proc by tam mela platit rovnost.
<{/ForumPost}>

<{ForumPost(poster="hippies", timestamp=2008-06-30 09:19:51)}>
Ano a pak tam jeste "chybi" zavorka:  
  
*Důkaz.* Je-li a ≤ b<sup>c</sup> ∨ c, je a ∧ b **≤** (b<sup>c</sup> ∨ c) ∧ b = 0 ∨ (c ∧ b) ≤ c; ...  
  
Mám teď trochu času, tak ty skripta projdu a sepíšu co jsem tam ještě objevil a už nebyl čas napsat do errat (s tim rizikem teda, ze uz tomu nerozumim:) )  
  
EDIT: .. tak hotovo [http://hippies.matfyz.info/files/ms-errata.pdf](http://hippies.matfyz.info/files/ms-errata.pdf) .. jen co jsem koukal, tak mám jinou verzi, takže nepasuje číslování/řádkování :( .. takže jsem nemohl vaše chyby přidat, protože prostě nevidim, kde jsou. Upozorňuju, že některé věci můžou být špatně, protože už tomu vůbec nerozumim :lol:
<{/ForumPost}>

<{ForumPost(poster="peterblack", timestamp=2010-06-20 23:17:26)}>
errata od Adama Nohejla ( [http://mff.lokiware.info/MatematickeStruktury](http://mff.lokiware.info/MatematickeStruktury) ), protože je tam Putr nezahrnul tak jsem vyhazel duplicity s prvnim postem a pridal nejke nove chyby co jsem nasel ja... takhle to tu bude vsechno pohromade  
  
23: 6.3.2: Důkaz:  
- "Podle 3.6.2" má být "Podle 3.6.1"  
- "$R_i$" (2 výskyty) má být "$R_{it}$"  
- "$R$" má být "$R_t$"  
  
24: 6.4: část "Okamžitě vidíme, že":  
- "$(Y,S)$" má být "$Y,\overline{R}$"  
  
24: 6.4.1: Důkaz:  
- "$\overline{\eta} = \overline{f} q n$" má být "$\overline{f}\eta = \overline{f} q \xi$"  
  
24: 7.1: před Pozorováním:  
- (?) Možná by bylo lepší značit $X_0$ místo $X$, $R_0$ místo $R$  
 (X už v tomto odstavci značí jiný obj., R v následujícím pozorování jinou rel.),  
 případně ještě X místo Y v souladu s dřívějším.  
  
25: 7.1 (pokračování z předchozí str.):  
- "xobrazení" má být "zobrazení"  
- "$(X,R)$" má být "$(X,R')$"  
  
25: 7.2: Pozorování:  
- "xobrazení" má být "zobrazení" (opět)  
- "$(X_i . R_i)$" má být "$(X_i , R_i)$" (tečka místo čárky)  
  
31: 2.5: začátek:  
- "$(X \le)$" má být "$(X,\le)$" (chybí čárka)  
  
33: 3.5: 1. věta:  
- "uspořádaná množiny" má být "uspořádané množiny"  
  
36: 5.3: poslední věta:  
- "i probereme" má být "si probereme"  
  
40: 7.2: definice spojitého funkcionálu:  
- "takové,že" má být "takové, že"  
  
68: 1.3.1: Důkaz:  
- několik z výskytů "$\gamma$" má být "$\beta$"  
  
71: 2.5: Tvrzení (části 1. a 2.):  
- "$g: A \to C$" má být "$g: C \to B$"  
- "$g[X]\subseteq f[X]$" má být "$g[X]\subseteq fh[X]$"  
- "$g: C \to B$" má být "$g: A \to C$"  
  
76: 5.2: Pozorování:  
- "$E \subseteq X$" má být "$E \subseteq X \times X$"  
  
79: 6.2: Důkaz: 1.:  
- dva z výskytů "$\phi_m(x)$" mají být "$\phi_m(y)$"  
  
79: 6.3:  
- "Dúkaz" má být "Důkaz"  
  
80: 6.4: Důkaz:  
- dva z výskytů "$\psi[m]$" mají být "$\psi[M]$"  
  
94: Definice spojitosti v úvodu:  
- chybí kvantifikace $$y$$  
  
96: (ot3)  
- má být   
$(ot3)~ U_i \in \tau, i \in J \Rightarrow \bigcup_{i \in J} U_i \in \tau$  
  
kdyžtak to zkontrolujte
<{/ForumPost}>

<{ForumPost(poster="mhb", timestamp=2010-10-06 02:04:47)}>
Během následujících pár dnů mám v plánu zapracovat vaši erratu do skript pana profesora Pultra. Poprosil jsem jej, jestli je mohu opravit za něj, a mohu.  
  
Pokud někoho tlačí, že bych si mohl přivlastnit jeho/její práci, tak nebojte, nic takového nemám v plánu -- chci prostě dotáhnout plán erraty k dokonalosti. Ovšem příznávám, že autory dohledávat nebudu, abych prosil o svolení, snad mi to $GOD odpustí. :-)
<{/ForumPost}>

<{ForumPost(poster="Germoe", timestamp=2011-06-26 13:41:52)}>
Strana 110, definice 5.11, poslední řádek, myslím, že by tam mělo být: "takový, že ***W***=*X*\{*x*}" (to nadtržení nad {*x*} netuším jak tu udělat)  
Strana 133, definice 5.1, (U<sub>I</sub>1), *V* má být také z U a nikoliv z V  
Strana 133, definice 5.1, (U<sub>I</sub>4), V°V⊆**U**
<{/ForumPost}>