Documente Academic
Documente Profesional
Documente Cultură
INSTITUŢII
V. E. CĂZĂNESCU
January 6, 2006
cu următoarele proprietăţi:
1. extensivitate: (∀p ∈ P ) p ≤ p0 ,
2. idempotenţă: (∀p ∈ P ) p0 = p00 ,
3. monotonie: (∀p, q ∈ P ) p ≤ q =⇒ p0 ≤ q 0 .
Se numeşte familie Moore o submulţime M ⊂ P astfel ı̂ncât mulţimea {m ∈ M | p ≤ m} are prim element ∀p ∈ P .
Teorema 1.0.1 Fiind dat un operator de ı̂nchidere, se poate construi o familie Moore cu ajutorul lui. Fiind dată o familie
Moore, se poate găsi cu ajutorul ei un operator de ı̂nchidere. Mai mult, construcţiile anterioare sunt inverse una alteia.
q 0 ∈ {m ∈ M | p ≤ m} deci p0 ≤ q 0 .
3) Fie 0 un operator de ı̂nchidere, M familia Moore asociată lui 0 şi • operatorul de ı̂nchidere asociat familiei Moore M.
Demonstrăm pentru orice p ∈ P că p0 = p• .
p• este cel mai mic element din {m ∈ M | p ≤ m} = {m ∈ M | p ≤ m = m0 } 3 p0 deci p• ≤ p0 . Pentru orice m ∈ M , dacă
p ≤ m atunci p0 ≤ m0 = m deci p0 ≤ p• . Prin urmare p0 = p• .
4) Fie M o familie Moore, 0 operatorul de ı̂nchidere asociat lui M şi M 0 familia Moore asociată lui 0 . Probăm că M = M 0 .
Arătăm pentru orice p ∈ P că p ∈ M dacă şi numai dacă p ∈ M 0 .
Fie p ∈ M 0 = {m ∈ P | m = m0 }. Rezultă p0 ∈ M deci p ∈ M . Dacă p ∈ M atunci p este cel mai mic element din
mulţimea {m ∈ M | p ≤ m} deci p = p0 adică p ∈ M 0 . 2
Propoziţia 1.0.1 Într-o latice completă L, M este familie Moore dacă şi numai dacă pentru orice A ⊆ M, inf A ∈ M .
Demonstraţie.
Dacă M este familie Moore atunci inf A ≤ (inf A)0 . Dacă a ∈ A atunci inf A ≤ a de unde (inf A)0 ≤ a = a0 (deoarece
a ∈ M ). Aşadar (inf A)0 este minorant pentru A, prin urmare (inf A)0 ≤ inf A. Deci inf A este element ı̂nchis şi inf A ∈ M .
Pentru cealaltă implicaţie, fie p ∈ L şi notăm B = {m ∈ M | p ≤ m}. Cum, din ipoteză, inf B ∈ M deoarece p ≤ inf B
rezultă că inf B ∈ B este primul element al mulţimii B. 2
1
2 Conexiune Galois
Se numeşte conexiune Galois construcţia
∗
(P, ≤) −→
←− (Q, ≤)
∗
unde (P, ≤) şi (Q, ≤) sunt două mulţimi parţial ordonate iar cele două funcţii * (deşi sunt notate la fel deosebirea se va face
din context) au următoarele proprietăţi:
1. (∀p, p1 ∈ P ) p ≤ p1 =⇒ p∗1 ≤ p∗ ,
2. (∀q, q1 ∈ Q) q ≤ q1 =⇒ q1∗ ≤ q ∗ ,
3. (∀p ∈ P ) p ≤ p∗∗ ,
4. (∀q ∈ Q) q ≤ q ∗∗ .
Proprietăţi:
1. ∗ ∗ ∗ = ∗.
Din (4) rezultă p∗ ≤ p∗∗∗ şi cum, din (3), p ≤ p∗∗ , cu (1) obţinem p∗∗∗ ≤ p∗ .
2. • = ∗∗ este operator de ı̂nchidere.
Din (3) avem p ≤ p• . Cum p∗ = p∗∗∗ rezultă p∗∗ = p∗∗∗∗ deci p• = p•• . Dacă p ≤ q, aplicând (1) şi (2) avem q ∗ ≤ p∗ şi
p∗∗ ≤ q ∗∗ deci p• ≤ q • .
Exerciţiu Inlocuiţi una dintre relaţiile de ordine cu duala ei şi arătaţi că noţiunea de conexiune Galois este echivalentă
cu o pereche de aplicaţii crescătoare F : Q −→ P şi G : P −→ Q cu proprietatea
Conceptul de conexiune Galois mai este echivalent şi cu cel de functori adjuncţi ı̂ntre categoriile ataşate unor mulţimi partial
ordonate.
unde (P(X), ⊆) reprezintă mulţimea părţilor mulţimii X (X ∈ {A, B}) ordonată (parţial) cu incluziunea iar operatorii *
sunt definiţi ı̂n modul următor:
C ⊆ A, C ∗ = {b ∈ B | ∀c ∈ C, cRb},
D ⊆ B, D∗ = {a ∈ A | ∀d ∈ D, aRd}.
Se verifică imediat cele patru proprietăţi din definiţia conexiunii Galois.
Demonstraţie.
Probăm numai prima egalitate. Pentru orice b ∈ B remarcăm echivalenţa următoarelor observaţii
S
b ∈ ( i∈I Ci )∗ , S
bRc pentru orice c ∈ i∈I Ci ,
bRc pentru orice ı ∈ I şi c ∈ Ci ,
bRc pentru orice c ∈ Ci şi i ∈ I,
b∈T Ci pentru orice i ∈ I şi
b ∈ i∈I Ci∗ . 2
2
4 Instituţii
Se numeşte instituţie (notată cu I) următoarea construcţie
Sen©©© * Set
©
Sign ©
HH
H
M od HH
j Catop
unde Sign, Set şi Catop sunt trei categorii ( categoria signaturilor, categoria mulţimilor şi, respectiv, duala categoriei ca-
tegoriilor) iar Sen şi M od sunt doi functori. De asemenea, se mai dă câte o relaţie de satisfacere pentru fiecare obiect din
categoria signaturilor (pentru fiecare signatură)
Se numeşte Σ-model orice element M ∈ |M od(Σ)| iar Σ-propoziţie orice element e ∈ Sen(Σ).
Prin definiţie spunem că Σ-modelul M satisface mulţimea de Σ-propoziţii E ⊆ Sen(Σ), notat M |=Σ E dacă pentru orice
e ∈ E, M |=Σ e. Observăm că M |=Σ E dacă şi numai dacă M ∈ E ∗ .
Are loc şi condiţia de satisfacere extinsă:
Pentru orice morfism de signaturi ϕ : Σ −→ Σ0 , pentru orice M 0 ∈ |M od(Σ0 )| şi pentru orice E ⊆ Sen(Σ)
4.1 Observaţii
1. Dacă M |=Σ E atunci M |=Σ E • .
Într-adevăr, dacă M |=Σ E atunci M ∈ E ∗ = E ∗∗∗ = E •∗ adică M |=Σ E • .
2. E |=Σ e este echivalentă cu ∀M ∈ E ∗ , M |=Σ e sau cu e ∈ E ∗∗ = E • .
3. E |=Σ E1 dacăşi numai dacă E ∗ ⊆ E1∗ .
Mulţimea E • se numeşte mulţimea consecinţelor semantice ale mulţimii E.
Demonstraţie.
Demonstrăm ı̂ntâi prima egalitate. Din condiţia de satisfacere extinsă, pentru orice M 0 ∈ |M od(Σ0 )|,
3
de unde M 0 ∈ Sen(ϕ)(E)∗ ⇐⇒ M od(ϕ)(M 0 ) ∈ E ∗ deci
M 0 ∈ Sen(ϕ)(E)∗ ⇐⇒ M 0 ∈ M od(ϕ)−1 (E ∗ )
Lema 4.2.2 (Lema ı̂nchiderii) Pentru orice ϕ : Σ −→ Σ0 morfism de signaturi şi orice E ⊆ Sen(Σ) avem
Sen(ϕ)(E • ) ⊆ Sen(ϕ)(E)• .
Demonstraţie. Facem observaţia că pentru o funcţie surjectivă f : A −→ B, pentru orice C ⊆ B avem f (f −1 (C)) = C.
Cum din Lema 4.2.1 avem
Sen(ϕ)(E)∗ = M od(ϕ)−1 (E ∗ )
obţinem, ţinând seamă de observaţia anterioară,
M od(ϕ)(Sen(ϕ)(E)∗ ) = M od(ϕ)(M od(ϕ)−1 (E ∗ )) = E ∗ . 2
5 Exemple
5.1 Un exemplu din algebră
Vom descrie succint cel mai simplu exemplu neartificial de instituţie. In acest exemplu X este o mulţime fixată de variabile.
Drept categorie a signaturilor luăm categoria inelelor comutative CRing. Functorul
asociază fiecărui inel R, inelul de polinoame cu coeficienţi ı̂n R şi variabile din X, adică Sen(R) = R[X]. In plus orice
morfism de inele g : R → R0 se prelungeşte ı̂n mod natural la un morfism de inele Sen(g) : R[X] −→ R0 [X].
Functorul
M od : CRing −→ Catop
asociază fiecărui inel comutativ R categoria R-algebrelor notată M od(R). O R-algebră este o pereche (a, I) unde a : R → I
este un morfism de inele.
Pentru orice morfism de inele ϕ : R0 → R functorul
4
este definit prin:
M od(ϕ)(a, I) = (ϕ; a, I) pentru orice R-algebră (a, I) şi
M od(ϕ)(m) = m pentru orice morfism m de R-algebre.
Pentru orice R-algebră (a, I) şi orice funcţie f : X → I notăm cu < a, f > unicul morfism de inele a cărui restricţie la
R este a şi a cărui restricţie la X este f . Pentru orice R-algebră (a, I) şi orice polinom p ∈ R[X], relaţia de satisfacere este
definită prin:
(a, I) |=R p ⇐⇒ (∃s : X → I) < a, s > (p) = 0.
Pentru orice morfism de inele comutative ϕ : R0 → R, pentru orice R-algebră (a, I) şi pentru orice funcţie s : X → I
observăm că
Sen(ϕ); < a, s >=< ϕ; a, s > .
Verificăm condiţia de satisfacere. Fie ϕ : R0 → R un morfism de inele comutative, (a, I) o R-algebră şi p ∈ R0 [X].
Observăm că afirmaţia
(a, I) |=R Sen(ϕ)(p)
este succesiv echivalentă cu
∃s : X → I < a, s > (Sen(ϕ)(p)) = 0,
∃s : X → I < ϕ; a, s > (p) = 0,
(ϕ; a, I) |=R0 p,
M od(ϕ)(a, I) |=R0 p
deci condiţia de satisfacere este verificată.
Sen©©©* Set
©
Set ©
H
HH
M od HH
j Catop
definit pentru orice h din M od(M ) prin M od(f )(h) = Sen(f ); h. Se vede uşor că h ≤ g implică M od(f )(h) ≤ M od(f )(g).
M od ı̂nsuşi este functor deoarece egalităţile
5
= M od(f )(M od(f 0 )(h)) = (M od(f 0 ); M od(f ))(h)
arată că M od(f ; f 0 ) = M od(f 0 ); M od(f ).
Definim acum relaţia de satisfacere. Pentru o mulţime oarecare X vom defini |=X ⊆ |M od(X)| × Sen(X) pentru
h ∈ |M od(X)| şi e ∈ Sen(X) prin
h |=X e ⇐⇒ h(e) = 1.
Demonstrăm condiţia de satisfacere. Pentru f : X −→ Y, h ∈ |M od(Y )| şi e ∈ Sen(X)
h |=Y Sen(f )(e) ⇐⇒ h(Sen(f )(e)) = 1 ⇐⇒ (Sen(f ); h)(e) = 1 ⇐⇒ M od(f )(h)(e) = 1 ⇐⇒ M od(f )(h) |=X e.
6 Prezentări
Se numeşte prezentare o pereche (Σ, E) unde Σ ∈ |Sign|, şi E ⊆ Sen(Σ).
Un morfism de signaturi ϕ : Σ −→ Σ0 se numeşte morfism de prezentări ϕ : (Σ, E) −→ (Σ0 , E 0 ) dacă Sen(ϕ)(E) ⊆ E 0• .
Propoziţia 6.0.1 Dacă ϕ : Σ −→ Σ0 este un morfism de signaturi atunci următoarele afirmaţii sunt echivalente:
1. ϕ : (Σ, E) −→ (Σ0 , E 0 ) este morfism de prezentări,
2. ∀M 0 ∈ |M od(Σ0 )|, M 0 |=Σ0 E 0 =⇒ M od(ϕ)(M 0 ) |=Σ E,
3. E 0 |=Σ Sen(ϕ)(E).
Demonstraţie. Prima afirmaţie este echivalentă cu Sen(ϕ)(E) ⊆ E 0• , echivalent cu
Sen(ϕ)(E)• ⊆ E 0•
iar de la conexiunea Galois obţinem echivalent ı̂n continuare cu Sen(ϕ)(E)•∗ ⊇ E 0•∗ (= E 0∗ ) şi ı̂n conformitate cu Lema
4.2.1, este echivalent cu M od(ϕ)−1 (E ∗ ) ⊇ E 0∗ . Ultima afirmaţie este echivalentă cu M od(ϕ)(E 0∗ ) ⊆ E ∗ adică pentru orice
M 0 ∈ |M od(Σ0 )|, M 0 ∈ E 0∗ =⇒ M od(ϕ)(M 0 ) ∈ E ∗ ceea ce, evident, este a doua afirmaţie.
Echivalenţa lui 2 şi 3 rezultă din condiţia de satisfacere extinsă. 2
6
Lema 6.0.1 Dacă ϕ : (Σ, E) −→ (Σ0 , E 0 ) este morfism de prezentări, atunci ϕ : (Σ, E • ) −→ (Σ0 , E 0 ) este tot morfism de
prezentări.
Demonstraţie. Din ipoteză rezultă că Sen(ϕ)(E) ⊆ E 0• de unde Sen(ϕ)(E)• ⊆ E 0• şi, folosind lema ı̂nchiderii, obţinem
Sen(ϕ)(E • ) ⊆ Sen(ϕ)(E)• ⊆ E 0• ceea ce demonstrează afirmaţia. 2
Propoziţia 6.0.2 Compunerea ca morfisme de signaturi a două morfisme de prezentări este tot un morfism de prezentări.
ϕ ψ
Demonstraţie. Fie (Σ, E) −→ (Σ0 , E 0 ) −→ (Σ00 , E 00 ) două morfisme de prezentări. Observăm că
M od(ϕ)
M od(Σ0 ) - M od(Σ)
6 6
£¢ £¢
M odp (ϕ)
M odp (Σ0 , E 0 ) - M odp (Σ, E)
unde prin definiţie M odp (ϕ) este restricţia şi co-restricţia lui M od(ϕ).
Signp = P res(I).
Notăm cu V : P res(I) → Sign functorul uituc, definit prin V (Σ, E) = Σ pentru orice prezentare (Σ, E) şi V (φ) = φ pentru
orice morfism de prezentări φ. Prin definiţie
Senp = V ; Sen.
Cum functorul “modele” M odp a fost definit mai sus este suficient să mai definim relaţia de satisfacere şi să demonstrăm
condiţia de satisfacere. Prin definiţie
M |=(Σ,E) e ⇐⇒ M |=Σ e
pentru orice (Σ, E)-model M şi orice e ∈ Sen(Σ).
Demonstăm condiţiei de satisfacere. Fie ϕ : (Σ, E) −→ (Σ0 , E 0 ) un morfism de prezentări, M 0 un (Σ0 , E 0 ) model şi
e ∈ Sen(Σ).
M odp (ϕ)(M 0 ) |=(Σ,E) e
adică M od(ϕ)(M 0 ) |=Σ e este echivalentă conform condiţiei de satisfacere din I cu M 0 |=Σ Sen(ϕ)(e), deci
7
7 Teorii
Se numeşte teorie o prezentare (Σ, E) cu E = E • . Deoarece • este operator de ı̂nchidere rezultă că teoriile formează o familie
Moore, prin urmare.
M odp
- P res(I) - Catop
¤
T h(I) £
6
M odt
Propoziţia 7.0.2 Dacă ϕ : Σ −→ Σ0 este morfism de signaturi iar (Σ0 , E 0 ) este o teorie atunci şi (Σ, Sen(ϕ)−1 (E 0 )) este
teorie.
Reamintim că o echivalenţă de categorii este un functor deplin fidel F : C −→ D cu proprietatea: pentru orice D ∈ |D|
există C ∈ |C| astfel ı̂ncât F (C) şi D sunt izomorfe.
Demonstraţie. Deoarece T h(I) este subcategorie plină a lui P res(I), rezultă că functorul incluziune este deplin fidel.
Pentru a obţine concluzia este suficient să observăm că orice prezentare (Σ, E) este izomorfă cu teoria asociată (Σ, E • ). 2
Demonstraţie. Dată o prezentare (Σ, E), se consideră morfismul de prezentări 1Σ : (Σ, E • ) −→ (Σ, E) şi pentru orice
morfism de prezentări ϕ : (Σ0 , E 0 ) −→ (Σ, E) unde (Σ0 , E 0 ) este o teorie, se constată că ϕ este unicul morfism de teorii
Φ : (Σ0 , E 0 ) −→ (Σ, E • ) pentru care Φ1Σ = ϕ. 2