Matematické struktury: Porovnání verzí

Z ωικι.matfyz.cz
Přejít na: navigace, hledání
(Požadavky ke zkoušce (akad. rok 2005/2006))
(Zkoušky: 6.6.2009)
Řádka 26: Řádka 26:
 
* Popsat oddělovací axiomy.
 
* Popsat oddělovací axiomy.
 
* Dokázat Alexadrovovo lemma.
 
* 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 :-)
  
 
== Skripta ==
 
== Skripta ==
 
* [http://kam.mff.cuni.cz/~pultr/ms.ps http://kam.mff.cuni.cz/~pultr/ms.ps]
 
* [http://kam.mff.cuni.cz/~pultr/ms.ps http://kam.mff.cuni.cz/~pultr/ms.ps]

Verze z 6. 6. 2006, 13:37

Matematické struktury
Kód předmětu: NMAI064
Přednáší: Aleš Pultr

Požadavky ke zkoušce (akad. rok 2005/2006)

  1. Relace, relační systémy, homomorfismy. Podobjekty, součiny a kvocienty.
  2. 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".
  3. a $ \wedge $ b, a $ \vee $ b jako binární operace. Distributivní svazy. Ideály a filtry v distributivních svazech. Pseudokomplementy a komplementy. Heytingovy a Booleovy algebry.
  4. 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.
  5. 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 $ \vee $ pomocí suprema. Definujte uspořádání na algebře s operací $ \vee $ a dokažte, že $ a \vee b = sup\{a, b\} $.
  • 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:
  1. Galoisova adjunkce
  2. Variety
  3. 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í (T3) a přes to dokázat, že kompaktní Haussdorfův prostor je normální (T4).
  • 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 :-)

Skripta