Než mi hlava exploduje, tak si kreslím

[tutchek]

Takže, dávám na odiv některé své kreslené výtvory, snad to někomu pomlůže.. hitparádu začneme obrázkem k důkazu, že nemodulární svaz musí obsahovat C5

[tutchek]

[tutchek]

[tutchek]

[tutchek]

[tutchek]

Pokud to někdo čte, co mi kuva uniká?? Protože tohle není evidentně ok...

[tutchek]

Volné algebry

K 6.1



K 6.1.1



K 6.2.1



K 6.2.2



K 6.2.3



K 6.3



K 6.4 (začátek)



K 6.4 (rozuzlení)

[hippies]

až vyjdou ty skripta, tak vydej tohle jako jejich obrazovou přílohu, vyděláš balík

[tutchek]

teď ne malůvka ale postřeh

Haytingova operace....

a ^ b <= c prave kdyz a <= b-->c

jsem se dohrabal k pěkné alternativní definici (teda je úplně stejná, ale vysvětluje wo co gou)

a sice, umíme pseudokomplement b*, coz je nejvetsi takovy prvek x, pro ktery plati

b ^ x = 0

To je pekne, ale da se to zobecnit... nejprve jemnou kosmetikou

b ^ x <= 0,

coz je vesmes to same, precijenom je 0 nejmensi prvek svazu

mno a ted si rekneme, co kdyby jsme nechteli jen <= 0, ale neco jineho... trebaaa.... <= c (a aby se to nepletlo... tak neuziju ted x ale a)

a vysledek? b ^ a <= c

nejvetsi takove a (pokud existuje), muzeme si ho oznacit treba b+, a nebo jeste lepe, abychom podchytili, ze ma nejaky vztah k c, tou nechutnou sipkou, tedy b --> c, nazveme relativnim pseudokomplementem (je to pseudokomplement relativni vuci nejakemu jinemu prvku), tu sipku pak nazveme Heytingovou operaci


Specialne pak plati a* = maximální x { x ^ a = 0 } = ( a --> 0 )

Takze se nam ta sipcicka pekne propojila s hvezdickou, zazvonil zvonec a ja jdu spat, a ne.. pred spanim si nedam boolovy algebry, pred spanim si dam Deathly Hallows a budu premyslet, proc misto Avada Kedavra neni kletbou jez se neodpousti "Varieta volne algebry"... a proc misto "mdloby na tebe" Harry nepouziva jako obranne kouzlo "psi i j ksi je homomorfismus".... erm, uz mi hrabe

[hippies]

http://forum.matfyz.info/viewtopic.php?t=3265 .. podivej se az na dno;)