# [Zk] 27.5.2014

<{ForumPost(poster="Davpe", timestamp=2014-05-27 10:15:28)}>
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](http://forum.matfyz.info/memberlist.php?mode=viewprofile&u=5228) 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.
<{/ForumPost}>