Chyby ve skriptech

Aktualizoval jsem hippiesovy errata (http://www.hippies.matfyz.info/files/ms-errata.pdf ke skriptům prof. Pultra (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

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).

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.

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.

Ano a pak tam jeste "chybi" zavorka:

Důkaz. Je-li a ≤ b^c ∨ c, je a ∧ b ≤ (b^c ∨ 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 .. 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:

errata od Adama Nohejla ( 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

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í. :-)

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_I1), V má být také z U a nikoliv z V
Strana 133, definice 5.1, (U_I4), V°V⊆U