Fórum studentů MFF UK

Strana 110, definice 5.11, poslední řádek, myslím, že by tam mělo být: "takový, že [b][i]W[/i][/b]=[i]X[/i]\{[i]x[/i]}" (to nadtržení nad {[i]x[/i]} netuším jak tu udělat)
Strana 133, definice 5.1, (U[sub][i]I[/i][/sub]1), [i]V[/i] má být také z U a nikoliv z V
Strana 133, definice 5.1, (U[sub][i]I[/i][/sub]4), V°V⊆[b]U[/b]

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

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"
- "[latex]R_i[/latex]" (2 výskyty) má být "[latex]R_{it}[/latex]"
- "[latex]R[/latex]" má být "[latex]R_t[/latex]"

24: 6.4: část "Okamžitě vidíme, že":
- "[latex](Y,S)[/latex]" má být "[latex]Y,\overline{R}[/latex]"

24: 6.4.1: Důkaz:
- "[latex]\overline{\eta} = \overline{f} q n[/latex]" má být "[latex]\overline{f}\eta = \overline{f} q \xi[/latex]"

24: 7.1: před Pozorováním:
- (?) Možná by bylo lepší značit [latex]X_0[/latex] místo [latex]X[/latex], [latex]R_0[/latex] místo [latex]R[/latex]
(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í"
- "[latex](X,R)[/latex]" má být "[latex](X,R')[/latex]"

25: 7.2: Pozorování:
- "xobrazení" má být "zobrazení" (opět)
- "[latex](X_i . R_i)[/latex]" má být "[latex](X_i , R_i)[/latex]" (tečka místo čárky)

31: 2.5: začátek:
- "[latex](X \le)[/latex]" má být "[latex](X,\le)[/latex]" (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ů "[latex]\gamma[/latex]" má být "[latex]\beta[/latex]"

71: 2.5: Tvrzení (části 1. a 2.):
- "[latex]g: A \to C[/latex]" má být "[latex]g: C \to B[/latex]"
- "[latex]g[X]\subseteq f[X][/latex]" má být "[latex]g[X]\subseteq fh[X][/latex]"
- "[latex]g: C \to B[/latex]" má být "[latex]g: A \to C[/latex]"

76: 5.2: Pozorování:
- "[latex]E \subseteq X[/latex]" má být "[latex]E \subseteq X \times X[/latex]"

79: 6.2: Důkaz: 1.:
- dva z výskytů "[latex]\phi_m(x)[/latex]" mají být "[latex]\phi_m(y)[/latex]"

79: 6.3:
- "Dúkaz" má být "Důkaz"

80: 6.4: Důkaz:
- dva z výskytů "[latex]\psi[m][/latex]" mají být "[latex]\psi[M][/latex]"

94: Definice spojitosti v úvodu:
- chybí kvantifikace [latex]$y$[/latex]

96: (ot3)
- má být
[latex](ot3)~ U_i \in \tau, i \in J \Rightarrow \bigcup_{i \in J} U_i \in \tau[/latex]

kdyžtak to zkontrolujte

Ano a pak tam jeste "chybi" zavorka:

[i]Důkaz.[/i] Je-li a ≤ b[sup]c[/sup] ∨ c, je a ∧ b [b][color=#FF0000]≤[/color][/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 .. 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:

057:019: dava formule (Hey), ne (1.1)

062:004: Ma byt

Je-li a <= bc SUP c, je a INF b [b]<=[/b] (bc SUP c) INF b = 0 SUP c INF b <= c.

Respektive mi rozhodne neni jasne, proc by tam mela platit rovnost.

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.

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

Aktualizoval jsem hippiesovy errata ([url]http://www.hippies.matfyz.info/files/ms-errata.pdf[/url] ke skriptům prof. Pultra ([url]http://kam.mff.cuni.cz/~pultr/ms.pdf[/url]) 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í :)