[Zk] 27.5.2014

Struktury, s nimiž se studenti již setkali (relace, algebraické struktury, struktury spojitosti); specifické vlastnosti, srovnání. Různé konstrukce (podobjekty, ekvivalence a kongruence, součiny, sumy a pod.) a jejich společné rysy. Zvláštní pozornost bude věnována částečným uspořádáním, a to jak obecným záležitostem, tak i aspektům speciálního významu pro informatiku. Některá základní fakta teorie kategorií.
Uživatelský avatar
Davpe
Matfyz(ák|ačka) level II
Příspěvky: 98
Registrován: 22. 9. 2010 16:07
Typ studia: Informatika Bc.
Kontaktovat uživatele:

[Zk] 27.5.2014

Příspěvek od Davpe »

1) Separabilita
Chtěl větu: Následující tvrzení jsou ekvivalentní: 1) X je separabilní 2) X má spočetnou bázi otevřených množin 3) X je Lindelofův. Stačila mu dokázat implikace 1) => 2) (ta nejtěžší).

2) Věta o existence volných algeber.
Dokonce se ani neptal proč je tam finitární typ (pro budoucí generace: proto, aby R byla množina a ne vlastní třída dle pozorování na str. 74 dole - děkuji mathemage za objasnění :) )

3) Definice souvislosti a křivkové souvislosti.

Všechno jsem měl, takže za 1. U věty o existenci volných algeber se ptal (snad všech) jestli ji může zadat. Otázky co jsem slyšel: trojúhelníková lemmata u algeber, definice volné algebry, distributivní svazy, svazy jako algebry, podalgebry, pseudokomplementy, jak jinak se dá definovat podalgebra generovaná M než průnikem algeber obsahujících M?
Opět pokládal otázku zda jsme se učili i těžké věty. Někdo místo odpovědi jaksi mlžil a ptal se ho co je těžké z čehož Pultr usoudil, že ten člověk nečetl všechno a dostal souvislost.
Slečna vedle mě dostala Separabilitu, kterou neuměla (dostal jsem ji pak já) a dostala náhradní otázku Oddělovací axiomy.
Odpovědět

Zpět na „MAI064 Matematické struktury“