Fórum studentů MFF UK

Ahoj, mohl by mi prosim nekdo vysvetlit, proc je v dukazu Birkhoffova lemmatu 3.4 (stranka 54) zrejme, ze G obsahuje F s pruhem? Diky.

vezmu si libovolny prvek x z F s pruhem, (X v b) je urcite >= x, cili prvek (x v b) je v F s pruhem, tedy (z definice G) x je v G ;)

Dobry, to me nenapadlo :-) Diky!

Myshaak píše:vezmu si libovolny prvek x z F s pruhem, (X v b) je urcite >= x, cili prvek (x v b) je v F s pruhem, tedy (z definice G) x je v G

Mne se to nezda, ta definice G je G = { x | x v b \in \bar{F}}. Tudiz to zduvodneni vyse nezabere, protoze neberu libovolny prvek x, ale libovolny prvek x v b a pak uz se to hrouti, protoze definice vlastnosti u filtru jsou pouze implikace.

Neví o tom někdo něco?