Matfyz Wiki
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ěžší).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í :) )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.