{{Předmět|Matematické struktury|Aleš Pultr|MAI064}}
skripta přímo "od zdroje", hippiesovy opravy, opravy od shiroo
<MAI064%20wiki-skripta>
Požadavky ke zkoušce (akad. rok 2005/2006)
Relace, relační systémy, homomorfismy. Podobjekty, součiny a kvocienty.
Předuspořádání a (částečná) uspořádání. Suprema a infima. Adjunkce (Galoisova konexe). Knaster-Tarského věta o pevném bodě. Relace "hluboko pod".
a b, a b jako binární operace. Distributivní svazy. Ideály a filtry v distributivních svazech. Pseudokomplementy a komplementy. Heytingovy a Booleovy algebry.
Algebraické operace. Algebraické struktury daného typu, algebry. Homomorfismy a jejich vlastnosti. Podalgebry. Součiny (produkty) algeber. Kongruence a faktorové algebry. Volné algebry. Variety algeber a Birkhoffova věta o varietách.
Základní topologické pojmy (otevřené a uzavřené množiny, okolí, uzávěr). Spojitost a její charakteristiky. Oddělovací axiomy. Střízlivost. Kompaktní prostory a jejich základní vlastnosti.
Zkoušky
30.5.2006
Na zkoušce jsme se sešli dva. Moje otázky byly
Definujte operaci pomocí suprema. Definujte uspořádání na algebře s operací a dokažte, že .
Definujte homomorfismus algeber + jaké jsou jeho speciální vlastnosti (oproti obecným homomorfismům)
Dokažte Knaster-Tarského větu o pevném bodě
Ekvivalentní definice spojitých zobrazení v topologických prostorech
Důkaz Alexadrovova lemmatu
Zkouška trvala asi tři čtvtě hodiny.
31.5.2006
Dnes jsme byli na zkoušce čtyři. Dostal jsem následující otázky:
Dokázat Knaster-Tarského větu o pevném bodě.
Popsat ideály a filtry v distributivních svazech a dokázat Birkhoffovu větu.
Popsat oddělovací axiomy.
Dokázat Alexadrovovo lemma.
06.6.2006
Tady jsou moje postřehy:
V SiSu byla zkouška vypsaná na 9:30. V 9:27, když jsem přišel, už byli všichni uvnitř a pracovali na otázkách.
Pultr zkouší všechny najednou: zadá otázku, po vypracování mu dáte vědět, on to prohlídne a zadá další otázku nebo si řekne o index. Taky se ptá, jestli jste se učili i těžký věci, jestli chcete jedničku nebo vám stačí horší známka atd. Když s něčím nehnete, dá náhradní otázku.
Než jsem odešel, dostali všichni jedničku, jeden se tam ještě trápil. Na druhou stranu několik lidi vůbec nepřišlo.
Otázky:
Galoisova adjunkce
Variety
Kompaktní Haussdorfovy prostory
Po necelé hodině za jedna. Ani nebylo potřeba uvádět moc důkazů. U dvojky se naštěstí spokojil, jen s popisem operátorů E a M a formulací Birkhoffovy věty o varietách. Třetí otázka byla dokazovací - jde o to dokázat, že kompaktní Haussdorfův prostor je regulární (T<sub>3</sub>) a přes to dokázat, že kompaktní Haussdorfův prostor je normální (T<sub>4</sub>).
Ideální je stěsnat odpověď na jednu stránku A4. Docela by mně zajímalo, jestli ty odpovědi vůbec čte. Trojka se mi na A4 nevešla, tak jsem důkaz druhé věty napsal na druhou stranu. Když to prohlížel, tak stránku neotáčel a ani mu nepřišlo, že by něco chybělo :-)
07.6.2006
Zkouška začala asi v 9:17, Pultr chodí dřív... Jinak to probíhalo stejně jako 6.6.
Otázky co jsem zachytil a co tu ještě nepadly:
Střízlivost prostoru
Birkhofova věta o varietách
Já měl Knaster-Tarskeho, Birkhofa I a oddělovací axiomy - ty sem trochu zblbl, celkově za 2 po 45 min. Good Luck.
13. 6. 2006
Pultr prisel brzo - uz v 9:00, tak jsme zacali hned
dostal jsem:
Galoisova konexe + vety o ni (ani nechtel moc dukazy)
definice Heytingovy algebry + vyznam Galoisovy konexe v ni (jedna cast uplne distributivity)
Boolenizace Heytingovy algebry (nevedel jsem dukaz => nahradni otazka)
ekvivalentni definice spojitosti s dukazy
Alexandrovo lemma
tim, ze jsem neznal Boolenizaci, tak rekl, ze asi jednicka to nebude - pak jsem udelal tu spojitost s dukazama, tak se me zeptal, jestli neco tezsiho bych zvladl, treba existence volne algebry - na to jsem zakroutil hlavou a zeptal se me, tak co tedy? Alexandrovo lemma ... po chvilce premysleni kyvl, ale pohrozil, ze mi neporadi ani carku navic ani jeden index neopravi - nastesti jsem tohle lemma umel podrobne ;-) ...
vybojoval jsem za 1 po hodine a ctvrt
dalsi otazky co tam padly:
veta o pevnem bode
definice volnych algeber
definice variet
Category:Matematika%20pro%20informatiky