Fórum studentů MFF UK

Neví o tom někdo něco?

[quote="Myshaak"]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 ;)[/quote]

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.

Dobry, to me nenapadlo :-) 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 ;)

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