Matfyz Wiki
Tak poletech zas něco pro budoucí generace:
Naprostá klasika .. přišel jsem načas jeden už pomalu odcházel dva psali otázku jsem dostal než jsem si sednul, dva se nechali kontumovat.
Otázky taky klasika:
Distributivní svazy (napsal jsem definici, nutnou a postačující podmínku [C5,D3], a že je vždy modulární). Začal jsem psát něco o DeMorganovi, ale to už mě zarazil a ..
učil jste se i těžší věci? -> anoKdy platí (^ai) v bi=^(ai v bi) i pro nekonečné {ai} .. hodně mě musel navádět k těm heytingovým algebrám (kdybych věděl hned, bylo by to významný plus, pořád opakoval, že to je složitá otázka :) ). Někjaký body asi přistály za to, že jsem věděl BA=>HA nicméně asi odpověď nic moc.
Existence volných algeber s důkazem bez problému
Dáme něco z topologiíJe kompaktni podmnožina topologie uzavřená? -> Trochu mi trvalo než jsem se dobral k tomu, že jen pokud je T2 (naštěstí jsem se blížil shora).
Následovalo tak mi to dokažte, které jsem sice dával dohormady nicméně hodně pomalu, Když už to nevydržel a šel mi to napsat, tak viděl moje zmatené poznámky k tomu a řekl, že mi tu dvojku dá, protože trojky má pro ty co vědí jen definice a to zas já umím víc :D .. Takže 2.
Před odchodem jsem si ještě nechal vysvětlit jak je to s tím 2<<2 (http://forum.matfyz.info/viewtopic.php? ... 457#p16690) .. A chápali jsme to správně. 2<<2 (třeba i) v diskrétních prostorec, nicméně třeba v R už to neplatí, protože a=b=2, D=(0;2) to zabije .. sup D=2 -> b<=supD -> v D je x: a<=x a to není pravda