Teorema de reprezentare a lui Stone (1936)

Andrei Sipo

3 decembrie 2014

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Algebre Boole (recapitulare)

Definiie
O algebr Boole era un tuplu (B, , , , 0, 1), unde B era mulime, iar
celelalte erau operaii pe B, de aritate 2, 2, 1, 0, 0, respectiv (am vzut la
seminar ce nseamn asta!), care verifica proprietile:
i erau comutative, asociative i distributive una fa de cealalt;
i erau absorbante una fa de cealalt, i.e.:
x (x y) = x, pentru orice x, y B;
x (x y) = x, pentru orice x, y B;

x 0 = 0, x 1 = x, x 0 = x, x 1 = 1, pentru orice x B;
x (x) = 0, x (x) = 1, pentru orice x B.
Observaie: s-a notat (la cursurile precedente, de pild) i x n loc de x.
O consecin aproape imediat era idempotena lui i :
x x = x, pentru orice x B;
x x = x, pentru orice x B.
Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Relaia de ordine pe o algebr Boole (recapitulare)

Am vzut la seminar c, dat fiind o algebr Boole B, pentru orice x, y B:
xy=xxy=y
n acest caz am spus c x y, iar acest definea o relaie de ordine (vezi
cursul de Analiz matematic!) pe mulimea B.
Proprietatea 1
Dac x, y, z B cu x y, atunci x z y z i x z y z (i.e. era
compatibil cu i ).
Proprietatea 2
Dac x, y B, atunci:
x y x y = 0 x y = 1
Demonstraia exerciiu!

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Cteva algebre Boole concrete

L2 = {0, 1}, cu operaiile canonice;

pentru orice mulime X, aveam algebra Boole (P(X), , , C, , X);
L22 sau n general Ln2 ;
rombul, cubul (din cursurile trecute);
chiar i L02 = {} (n care unicul element joac rol i de 0, i de 1);
pn acum trebuie s fi vzut cu toii c nu exist algebr Boole cu 3
elemente!

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Ce e morfismul i, mai ales, IZOMORFISMUL

Definiie
Dac (B, , , , 0, 1) i (B , , , , 0 , 1 ) sunt algebre Boole, un morfism
de la prima la a doua algebr este o funcie f : B B compatibil cu cele 5
operaii, adic:
f(x y) = f(x) f(y), pentru orice x, y B;
f(x y) = f(x) f(y), pentru orice x, y B;
f(x) = f(x), pentru orice x B;
f(0) = 0 ; f(1) = 1 .
Proprietate-Definiie
Dac un morfism este bijectiv, atunci funcia invers este tot morfism
(exerciiu!), caz n care numim cele dou morfisme inverse unul celuilalt
izomorfisme.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Nite izomorfisme

De pild, notm cu LX2 mulimea funciilor de la X la L2 . Echivalent, este

mulimea familiilor de 0-uri i 1-uri indexate dup X, pe care clar putem defini
operaiile component cu component, LX2 devenind algebr Boole. Putem
defini morfismul de la P(X) la LX2 prin:
(A) = A
unde A : X L2 este funcia indicator a mulimii A (ia valoarea 1 doar pe
elementele lui A X i 0 n rest). Acesta este chiar un izomorfism care e
inversul su?
O alt observaie este c pentru X = {1, ..., n}, reconstituim Ln2 -urile de mai
devreme, n sensul c LX2 va fi izomorf cu Ln2 . Cum definim riguros
izomorfismul?

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Nite izomorfisme

De pild, notm cu LX2 mulimea funciilor de la X la L2 . Echivalent, este

mulimea familiilor de 0-uri i 1-uri indexate dup X, pe care clar putem defini
operaiile component cu component, LX2 devenind algebr Boole. Putem
defini morfismul de la P(X) la LX2 prin:
(A) = A
unde A : X L2 este funcia indicator a mulimii A (ia valoarea 1 doar pe
elementele lui A X i 0 n rest). Acesta este chiar un izomorfism care e
inversul su?
O alt observaie este c pentru X = {1, ..., n}, reconstituim Ln2 -urile de mai
devreme, n sensul c LX2 va fi izomorf cu Ln2 . Cum definim riguros
izomorfismul?

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Cum arat algebrele Boole?

Pn acum, algebrele Boole considerate au fost de forma P(X), adic izomorfe

cu o asemenea algebr.
Apare ntrebarea: toate arat aa?

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Cum arat algebrele Boole?

Primul nostru el va fi:
Teorem (baby Stone)
Orice algebr Boole finit este izomorf cu cea a prilor unei mulimi (finite,
firete).
n particular, exist algebre Boole finite numai de cardinal 2n , iar pentru fiecare
2n avem una singur, pn la un izomorfism.
S abordm mai nti problema pe un caz concret de pild, s reconstituim X
astfel nct cubul s fie izomorf cu P(X).
1

r
@
xr
ry @rz
@ @
r @r @r
a@ b c
@r
0
Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Cum arat algebrele Boole?

Primul nostru el va fi:
Teorem (baby Stone)
Orice algebr Boole finit este izomorf cu cea a prilor unei mulimi (finite,
firete).
n particular, exist algebre Boole finite numai de cardinal 2n , iar pentru fiecare
2n avem una singur, pn la un izomorfism.
S abordm mai nti problema pe un caz concret de pild, s reconstituim X
astfel nct cubul s fie izomorf cu P(X).
1

r
@
xr
ry @rz
@ @
r @r @r
a@ b c
@r
0
Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Atomi

r
@
xr
ry @rz
@ @
r @r @r
a@ b c
@r
0
X poate fi luat, de pild {1, 2, 3}, mulime care este n bijecie cu elementele de
la baza cubului.
Aceasta ne conduce la urmtorul concept:
Definiie
Se numete atom ntr-o algebr Boole B un element a = 0 astfel nct pentru
orice y B cu y a, am y {0, a} (zero este peste tot cel al lui B).
Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Atomi

r
@
xr
ry @rz
@ @
r @r @r
a@ b c
@r
0
X poate fi luat, de pild {1, 2, 3}, mulime care este n bijecie cu elementele de
la baza cubului.
Aceasta ne conduce la urmtorul concept:
Definiie
Se numete atom ntr-o algebr Boole B un element a = 0 astfel nct pentru
orice y B cu y a, am y {0, a} (zero este peste tot cel al lui B).
Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Atomi

r
@
xr
ry @rz
@ @
r @r @r
a@ b c
@r
0
X poate fi luat, de pild {1, 2, 3}, mulime care este n bijecie cu elementele de
la baza cubului.
Aceasta ne conduce la urmtorul concept:
Definiie
Se numete atom ntr-o algebr Boole B un element a = 0 astfel nct pentru
orice y B cu y a, am y {0, a} (zero este peste tot cel al lui B).
Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Plan de aciune

Va trebui deci s artm c dac B este finit, B este izomorf cu P(At(B)),

unde prin At(B) am notat mulimea atomilor lui B.
Morfismul va fi:
f : B P(At(B))
f(x) = {a At(B) | a x}
Trebuie artat:
c e morfism, ntr-adevr;
c e injectiv;
c e surjectiv.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Plan de aciune

Va trebui deci s artm c dac B este finit, B este izomorf cu P(At(B)),

unde prin At(B) am notat mulimea atomilor lui B.
Morfismul va fi:
f : B P(At(B))
f(x) = {a At(B) | a x}
Trebuie artat:
c e morfism, ntr-adevr;
c e injectiv;
c e surjectiv.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Plan de aciune

Va trebui deci s artm c dac B este finit, B este izomorf cu P(At(B)),

unde prin At(B) am notat mulimea atomilor lui B.
Morfismul va fi:
f : B P(At(B))
f(x) = {a At(B) | a x}
Trebuie artat:
c e morfism, ntr-adevr;
c e injectiv;
c e surjectiv.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Acea funcie este morfism

De pild, s artm c f(x y) = f(x) f(y), pentru orice x, y B.

Avem:
f(x y) = {a At(B) | a x y}
f(x) f(y) = {a At(B) | a x sau a y}

Aadar, trebuie artat proprietatea:

Pentru orice atom a i pentru orice x, y din B, am c a x y dac i numai
dac a x sau a y.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Acea funcie este morfism

De pild, s artm c f(x y) = f(x) f(y), pentru orice x, y B.

Avem:
f(x y) = {a At(B) | a x y}
f(x) f(y) = {a At(B) | a x sau a y}

Aadar, trebuie artat proprietatea:

Pentru orice atom a i pentru orice x, y din B, am c a x y dac i numai
dac a x sau a y.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Acea funcie este morfism

Demonstraie.
tiu c a x y. Atunci (din definiia lui ) am:
a (x y) = a
i deci (din distributivitate):
(a x) (a y) = a
Se tie a (a x) = a (din absorbie), i deci am c a x a, iar analog
a y a. Cum a este atom, rezult a x, a y {0, a}. Dac ambele ar fi 0,
ar rezulta:
(a x) (a y) = 0 0 = 0 = a
contradicie. Deci mcar unul din ele este egal cu a. QED.
Fr a restrnge generalitatea, presupun a x. Atunci:
a (x y) = (a x) (a y) = a (a y) = a
adic a x y.
Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Acea funcie este morfism

Exerciiu (de seminar?)

Demonstrai i c:
a (x y) dac i numai dac a x i a y
a x dac i numai dac a x
i apoi c f-ul definit mai devreme e compatibil i cu operaiile , , 0, 1, i.e.
c este morfism.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Acea funcie este injectiv

Ne folosim de urmtorul rezultat:
Lem
n orice algebr Boole finit, sub fiecare element nenul se afl un atom.
Demonstraie.
Iau un element x. Dac este atom, STOP (l iau pe el nsui). Dac nu,
nseamn c exist un element x1 sub el care nu e nici x, nici 0. Dac x1 e
atom, STOP (l iau pe x1 ca atomul dorit). Dac nu, repetm procesul,
obinnd un ir x x1 x2 ..., care nu poate merge la infinit (doar algebra e
finit!), aa c la un moment dat ajungem la STOP.
Acum putem vedea c f e injectiv:
Demonstraie.
Iau x = y i vreau s art f(x) = f(y). Dac x = y, atunci ori x y, ori y x
(antisimetrie!). S zicem x y, adic x y = 0. Aplic lema anterioar i
obin un atom a mai mic ca x y, adic (din exerciiul de mai devreme) a x
i a y, i.e. a f(x) \ f(y). Deci f(x) = f(y).
Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Acea funcie este injectiv

Ne folosim de urmtorul rezultat:
Lem
n orice algebr Boole finit, sub fiecare element nenul se afl un atom.
Demonstraie.
Iau un element x. Dac este atom, STOP (l iau pe el nsui). Dac nu,
nseamn c exist un element x1 sub el care nu e nici x, nici 0. Dac x1 e
atom, STOP (l iau pe x1 ca atomul dorit). Dac nu, repetm procesul,
obinnd un ir x x1 x2 ..., care nu poate merge la infinit (doar algebra e
finit!), aa c la un moment dat ajungem la STOP.
Acum putem vedea c f e injectiv:
Demonstraie.
Iau x = y i vreau s art f(x) = f(y). Dac x = y, atunci ori x y, ori y x
(antisimetrie!). S zicem x y, adic x y = 0. Aplic lema anterioar i
obin un atom a mai mic ca x y, adic (din exerciiul de mai devreme) a x
i a y, i.e. a f(x) \ f(y). Deci f(x) = f(y).
Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Acea funcie este surjectiv

Demonstraie.
Ca s art c f este surjectiv, trebuie s iau o mulime C inclus n At(B) i s
gsesc x cu f(x) = C.
Cum B e finit, i C e finit, i.e. putem scrie C = {a1 , ..., an }.
Iau x = a1 ... an . De ce f(x) = C?
Fie ai C. Din idempoten i comutativitate, am:
ai a1 ... an = a1 ... an
adic ai x, i prin urmare ai f(x).
Fie a f(x). Atunci:
a a1 ... an
i, prin urmare (din demonstraia de mai devreme) a ai pentru un i. Cum a i
ai sunt atomi, rezult a = ai C.
Vaszic B P(At(B)).

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Acea funcie este surjectiv

Demonstraie.
Ca s art c f este surjectiv, trebuie s iau o mulime C inclus n At(B) i s
gsesc x cu f(x) = C.
Cum B e finit, i C e finit, i.e. putem scrie C = {a1 , ..., an }.
Iau x = a1 ... an . De ce f(x) = C?
Fie ai C. Din idempoten i comutativitate, am:
ai a1 ... an = a1 ... an
adic ai x, i prin urmare ai f(x).
Fie a f(x). Atunci:
a a1 ... an
i, prin urmare (din demonstraia de mai devreme) a ai pentru un i. Cum a i
ai sunt atomi, rezult a = ai C.
Vaszic B P(At(B)).

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Contraexemplu
DAR... nu orice algebr Boole este izomorf cu cea a prilor vreunei mulimi.
De exemplu: Pf,c (N) = {A N | A finit sau N \ A finit}, cu operaiile
induse de cele din P(N).
Ce cardinal are Pf,c (N)?
exist un numr numrabil (i.e. n bijecie cu N) de mulimi cu un
element:{0}, {1}, {2}, ...;
exist un numr numrabil de mulimi cu dou elemente (spre exemplu, le
ordonm dup suma elementelor i apoi lexicografic, n cazul n care suma
e egal):
{0, 1}, {0, 2}, {1, 1}, {0.3}, {1, 2}, {0, 4}, {1, 3}, {0, 5}, {1, 4}, {2, 3}, ...;
...
Cum orice reuniune numrabil de mulimi numrabile este numrabil (vezi
cursurile trecute!), avem un numr numrabil de mulimi finite ale lui N.
Similar, avem un numr numrabil de mulimi cofinite ale lui N.
Deci Pf,c (N) este o mulime numrabil.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Contraexemplu
DAR... nu orice algebr Boole este izomorf cu cea a prilor vreunei mulimi.
De exemplu: Pf,c (N) = {A N | A finit sau N \ A finit}, cu operaiile
induse de cele din P(N).
Ce cardinal are Pf,c (N)?
exist un numr numrabil (i.e. n bijecie cu N) de mulimi cu un
element:{0}, {1}, {2}, ...;
exist un numr numrabil de mulimi cu dou elemente (spre exemplu, le
ordonm dup suma elementelor i apoi lexicografic, n cazul n care suma
e egal):
{0, 1}, {0, 2}, {1, 1}, {0.3}, {1, 2}, {0, 4}, {1, 3}, {0, 5}, {1, 4}, {2, 3}, ...;
...
Cum orice reuniune numrabil de mulimi numrabile este numrabil (vezi
cursurile trecute!), avem un numr numrabil de mulimi finite ale lui N.
Similar, avem un numr numrabil de mulimi cofinite ale lui N.
Deci Pf,c (N) este o mulime numrabil.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Contraexemplu
DAR... nu orice algebr Boole este izomorf cu cea a prilor vreunei mulimi.
De exemplu: Pf,c (N) = {A N | A finit sau N \ A finit}, cu operaiile
induse de cele din P(N).
Ce cardinal are Pf,c (N)?
exist un numr numrabil (i.e. n bijecie cu N) de mulimi cu un
element:{0}, {1}, {2}, ...;
exist un numr numrabil de mulimi cu dou elemente (spre exemplu, le
ordonm dup suma elementelor i apoi lexicografic, n cazul n care suma
e egal):
{0, 1}, {0, 2}, {1, 1}, {0.3}, {1, 2}, {0, 4}, {1, 3}, {0, 5}, {1, 4}, {2, 3}, ...;
...
Cum orice reuniune numrabil de mulimi numrabile este numrabil (vezi
cursurile trecute!), avem un numr numrabil de mulimi finite ale lui N.
Similar, avem un numr numrabil de mulimi cofinite ale lui N.
Deci Pf,c (N) este o mulime numrabil.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Contraexemplu
DAR... nu orice algebr Boole este izomorf cu cea a prilor vreunei mulimi.
De exemplu: Pf,c (N) = {A N | A finit sau N \ A finit}, cu operaiile
induse de cele din P(N).
Ce cardinal are Pf,c (N)?
exist un numr numrabil (i.e. n bijecie cu N) de mulimi cu un
element:{0}, {1}, {2}, ...;
exist un numr numrabil de mulimi cu dou elemente (spre exemplu, le
ordonm dup suma elementelor i apoi lexicografic, n cazul n care suma
e egal):
{0, 1}, {0, 2}, {1, 1}, {0.3}, {1, 2}, {0, 4}, {1, 3}, {0, 5}, {1, 4}, {2, 3}, ...;
...
Cum orice reuniune numrabil de mulimi numrabile este numrabil (vezi
cursurile trecute!), avem un numr numrabil de mulimi finite ale lui N.
Similar, avem un numr numrabil de mulimi cofinite ale lui N.
Deci Pf,c (N) este o mulime numrabil.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Contraexemplu
DAR... nu orice algebr Boole este izomorf cu cea a prilor vreunei mulimi.
De exemplu: Pf,c (N) = {A N | A finit sau N \ A finit}, cu operaiile
induse de cele din P(N).
Ce cardinal are Pf,c (N)?
exist un numr numrabil (i.e. n bijecie cu N) de mulimi cu un
element:{0}, {1}, {2}, ...;
exist un numr numrabil de mulimi cu dou elemente (spre exemplu, le
ordonm dup suma elementelor i apoi lexicografic, n cazul n care suma
e egal):
{0, 1}, {0, 2}, {1, 1}, {0.3}, {1, 2}, {0, 4}, {1, 3}, {0, 5}, {1, 4}, {2, 3}, ...;
...
Cum orice reuniune numrabil de mulimi numrabile este numrabil (vezi
cursurile trecute!), avem un numr numrabil de mulimi finite ale lui N.
Similar, avem un numr numrabil de mulimi cofinite ale lui N.
Deci Pf,c (N) este o mulime numrabil.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Contraexemplu (2)
Presupunem prin absurd c Pf,c (N) ar fi izomorf cu vreun P(X).
Clar X nu are cum s fie finit, altfel i P(X) ar fi finit, i deci i (din
izomorfism) Pf,c (N), care e ns infinit.
Rezult c X e infinit. Atunci X are cel puin cardinalul lui N, deci P(X) are
cel puin cardinalul lui P(N), care este strict mai mare dect al lui N, adic
P(X) este nenumrabil. Rezult din izomorfism c i Pf,c (N) e nenumrabil.
Contradicie!

DAR... observm c atunci cnd am artat c orice algebr Boole finit e

izomorf cu un P(X) nu am folosit la injectivitate dect proprietatea de a avea
un atom sub fiecare element nenul.
Definiie
Se numete algebr Boole atomic o algebr Boole n care sub fiecare element
nenul se gsete un atom.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Contraexemplu (2)
Presupunem prin absurd c Pf,c (N) ar fi izomorf cu vreun P(X).
Clar X nu are cum s fie finit, altfel i P(X) ar fi finit, i deci i (din
izomorfism) Pf,c (N), care e ns infinit.
Rezult c X e infinit. Atunci X are cel puin cardinalul lui N, deci P(X) are
cel puin cardinalul lui P(N), care este strict mai mare dect al lui N, adic
P(X) este nenumrabil. Rezult din izomorfism c i Pf,c (N) e nenumrabil.
Contradicie!

DAR... observm c atunci cnd am artat c orice algebr Boole finit e

izomorf cu un P(X) nu am folosit la injectivitate dect proprietatea de a avea
un atom sub fiecare element nenul.
Definiie
Se numete algebr Boole atomic o algebr Boole n care sub fiecare element
nenul se gsete un atom.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Spre Stone
Algebra Pf,c (N) este atomic (de ce?), aadar am morfismul injectiv
(scufundare) Pf,c (N) , P(At(Pf,c (N))) care NU este izomorfism. n general,
avem:
Teorem (nu chiar Stone, dar pe-acolo)
Orice algebr Boole atomic se scufund n cea a prilor unei mulimi (mai
precis e vorba de mulimea atomilor ei).
Vrem acum s renunm la ipoteza atomic pentru c NU ORICE ALGEBR
BOOLE ESTE ATOMIC!!!!!
De pild, algebra Lindenbaum-Tarski a s.f.c.pp. (n ipoteza c Var e infinit)
nu este atomic (nu artm asta aici, ne-am complica).

Reamintim c atomic nseamn: orice element nenul st peste un atom a,

i.e. aparine mulimii Ua = {x | a x}. De aceast mulime ne vom lega.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Spre Stone
Algebra Pf,c (N) este atomic (de ce?), aadar am morfismul injectiv
(scufundare) Pf,c (N) , P(At(Pf,c (N))) care NU este izomorfism. n general,
avem:
Teorem (nu chiar Stone, dar pe-acolo)
Orice algebr Boole atomic se scufund n cea a prilor unei mulimi (mai
precis e vorba de mulimea atomilor ei).
Vrem acum s renunm la ipoteza atomic pentru c NU ORICE ALGEBR
BOOLE ESTE ATOMIC!!!!!
De pild, algebra Lindenbaum-Tarski a s.f.c.pp. (n ipoteza c Var e infinit)
nu este atomic (nu artm asta aici, ne-am complica).

Reamintim c atomic nseamn: orice element nenul st peste un atom a,

i.e. aparine mulimii Ua = {x | a x}. De aceast mulime ne vom lega.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Spre Stone
Algebra Pf,c (N) este atomic (de ce?), aadar am morfismul injectiv
(scufundare) Pf,c (N) , P(At(Pf,c (N))) care NU este izomorfism. n general,
avem:
Teorem (nu chiar Stone, dar pe-acolo)
Orice algebr Boole atomic se scufund n cea a prilor unei mulimi (mai
precis e vorba de mulimea atomilor ei).
Vrem acum s renunm la ipoteza atomic pentru c NU ORICE ALGEBR
BOOLE ESTE ATOMIC!!!!!
De pild, algebra Lindenbaum-Tarski a s.f.c.pp. (n ipoteza c Var e infinit)
nu este atomic (nu artm asta aici, ne-am complica).

Reamintim c atomic nseamn: orice element nenul st peste un atom a,

i.e. aparine mulimii Ua = {x | a x}. De aceast mulime ne vom lega.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Ultrafiltre
Am vzut c Ua = {x | a x} are proprietile (parte sunt evidente, parte
le-am demonstrat, parte v-au rmas ca exerciii):
dac x Ua i x y, atunci y Ua ;
x Ua dac i numai dac x
/ Ua ;
x y Ua dac i numai dac x Ua i y Ua ;
x y Ua dac i numai dac x Ua sau y Ua .
Definiie
O submulime nevid a unei algebre Boole B cu aceste patru proprieti se
numete ultrafiltru al lui B.
Definiie
Un ultrafiltru de forma Ua = {x | a x}, cu a un element al algebrei Boole se
numete ultrafiltrul principal generat de a.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Ultrafiltre
Am vzut c Ua = {x | a x} are proprietile (parte sunt evidente, parte
le-am demonstrat, parte v-au rmas ca exerciii):
dac x Ua i x y, atunci y Ua ;
x Ua dac i numai dac x
/ Ua ;
x y Ua dac i numai dac x Ua i y Ua ;
x y Ua dac i numai dac x Ua sau y Ua .
Definiie
O submulime nevid a unei algebre Boole B cu aceste patru proprieti se
numete ultrafiltru al lui B.
Definiie
Un ultrafiltru de forma Ua = {x | a x}, cu a un element al algebrei Boole se
numete ultrafiltrul principal generat de a.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Ultrafiltre

Proprietate (Reality check)

Un ultrafiltru principal este neaprat generat de un atom.
Demonstraie.
Fie Ua un ultrafiltru i fie b mai mic ca a care nu e a. Vreau s art c b este 0.
Am a b b
/ Ua b Ua a b b b b b = b.
Dar b b = 0, deci b = 0.
Analogul lui atomic va fi:
Proprietate
Orice element nenul se gsete ntr-un ultrafiltru.
Acest fapt a fost demonstrat cursul trecut (!) c e valabil n orice algebr
Boole (cutai Existena ultrafiltrelor).

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Ultrafiltre

Proprietate (Reality check)

Un ultrafiltru principal este neaprat generat de un atom.
Demonstraie.
Fie Ua un ultrafiltru i fie b mai mic ca a care nu e a. Vreau s art c b este 0.
Am a b b
/ Ua b Ua a b b b b b = b.
Dar b b = 0, deci b = 0.
Analogul lui atomic va fi:
Proprietate
Orice element nenul se gsete ntr-un ultrafiltru.
Acest fapt a fost demonstrat cursul trecut (!) c e valabil n orice algebr
Boole (cutai Existena ultrafiltrelor).

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)

Generaliti
Algebre Boole finite i atomice
Ultrafiltre i teorema lui Stone

Stone, n sfrit!
Putem acum enuna:
Teorema de reprezentare a lui Stone (1936)
Orice algebr Boole B se scufund n cea a prilor unei mulimi. Mai precis,
este vorba de mulimea Spec(B), a ultrafiltrelor lui B.
Demonstraie.
Se ia morfismul:
f : B P(Spec(B))
f(x) = {U Spec(B) | x U}
Faptul c e morfism rezult din definiia/proprietile ultrafiltrului.
Faptul c e injectiv rezult similar cu demonstraia faptului c morfismul de
mai devreme era injectiv, cu deosebirea c n loc s spunem c sub x y se
gsete un atom, spunem c x y se afl ntr-un ultrafiltru.

Andrei Sipo

Teorema de reprezentare a lui Stone (1936)