Zk 30.5.2013
Napsal: 1. 6. 2013 14:14
Byly jsme dvě a otázky:
1) Def. suprema, infima, svaz (polosvaz, úplný svaz...)
2) Neexistuje úplný polosvaz (Věta když máme suprama, máme i infima... Věta str 32)
3) Birkhoffova věta o ideálech/filtrech
4) Existence volných algeber a klasika předpoklad o finitárním typu
5) Dk, že interval <0, 1> je souvislý (chtěl se zeptat na něco z topologie, aby to bylo lehké, trochu jsem věděla, hodně poradil)
A druhá sada
1) Tarského-Knasterova věta, z toho Cantor-Bernstein
2) Alexandrovo lemma
3) Heytingovy algebry (definice, jednoznačnost rozšíření, pseudokomplement, bool algebry, boolenizace...)
4) Na doplnění věta 4.4. str 55 o pseudokomplementech (a & b)** = a** & b**
Dal hodně otázek a ze všech kapitol, byl moc hodnej, ale jak jsme byly jsem dvě, tak to bylo trochu na dlouhý lokte i když jsme to docela uměli. P.S.: Nezapomeňte se hezky obléknout, Pultr má rád, když se přijde v obleku, asi jako že člověk vyjadřuje úctu jemu i jeho báječnému předmětu.
1) Def. suprema, infima, svaz (polosvaz, úplný svaz...)
2) Neexistuje úplný polosvaz (Věta když máme suprama, máme i infima... Věta str 32)
3) Birkhoffova věta o ideálech/filtrech
4) Existence volných algeber a klasika předpoklad o finitárním typu
5) Dk, že interval <0, 1> je souvislý (chtěl se zeptat na něco z topologie, aby to bylo lehké, trochu jsem věděla, hodně poradil)
A druhá sada
1) Tarského-Knasterova věta, z toho Cantor-Bernstein
2) Alexandrovo lemma
3) Heytingovy algebry (definice, jednoznačnost rozšíření, pseudokomplement, bool algebry, boolenizace...)
4) Na doplnění věta 4.4. str 55 o pseudokomplementech (a & b)** = a** & b**
Dal hodně otázek a ze všech kapitol, byl moc hodnej, ale jak jsme byly jsem dvě, tak to bylo trochu na dlouhý lokte i když jsme to docela uměli. P.S.: Nezapomeňte se hezky obléknout, Pultr má rád, když se přijde v obleku, asi jako že člověk vyjadřuje úctu jemu i jeho báječnému předmětu.