Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Exercitii. Demonstrati urmatoarele:<br />
(i) Daca A este C-initial (sau C-terminal, sau C-zero) atunci HomC(A,A) = {1A};<br />
Fie A f<br />
−→ B.<br />
(ii) Daca A este terminal atunci f este sectiune.<br />
(iii) Daca C este conexa [aici HomC(C,A) = ∅ pt orice A,C ∈ Ob(C)] si A este initial<br />
atunci f este sectiune (mono)<br />
(iv) Daca indepartam ipoteza ”C este conexa”, (iii) nu mai are loc.<br />
Contraexemplu: in Rng1 consideram Z initial si proiectia Z −→ Z2 (care nu este<br />
mono); categoria nu este conexa: HomRng 1 (Z2,Z) = ∅.<br />
2. Grupul cu un singur element, O este zero (initial si final) obiect in Grp<br />
Demo = De la O la orice grup exista un singur morfism (caci morfismele de grupuri<br />
pastreaza elementul neutru). De la orice grup la O exista o singura functie (care este si<br />
morfism de grupuri - trivial).<br />
3. Versiune diferita de prezentare a zero morfisme.<br />
Definitie. Intr-o categorie C un morfism A f<br />
−→ B se numeste<br />
(i) constant daca pt orice C ∈ Ob(C) si pt orice g,h ∈ HomC(C,A) : f ◦g = f ◦h<br />
(ii) dual, coconstant<br />
(iii) zero (morfism) daca este constant si coconstant.<br />
Exemple. 1) In Ens si Top, A f<br />
−→ B este constant ddaca A = ∅ sau |f(A)| = 1; este<br />
coconstant ddaca A = ∅. Deci acestea sunt zero morfisme (desi aceste <strong>categorii</strong> nu au<br />
obiecte zero).<br />
2) In Grp, R-Mod, Mon, LinTop, BanSp1,2, f este constant (coconstant, zero)<br />
daca f(A) = {eB} elementul neutru - sau zero pt adunare).<br />
3) Fie X,Y multimi infinite diferite; consideram categoria C cu urmatoarele: Ob(C) =<br />
{X,Y}, Hom(X,X) = {1X}, Hom(Y,Y) = {1Y}, Hom(Y,X) = ∅ si Hom(X,Y) = Y X .<br />
Atunci: orice C-morfism de la X la Y este si izomorfism si zero morfism<br />
Propozitie. Daca C are zero obiect atunci sunt echivalente: zero morfism ⇔ constant<br />
⇔ coconstant ⇔ factorizabil prin zero.<br />
Definitie. O categorie C se numeste conexa daca pentru orice 2 obiecte X si Y exista<br />
un sir finit de obiecte X = X0,X1,...,Xn = Y impreuna cu morfisme fi : Xi −→ Xi+1<br />
sau fi : Xi+1 −→ Xi pt orice 0 ≤ i < n (ambele directii sunt permise in acelas sir).<br />
[Se intilneste si definitia mai simpla: pt orice A,B : Hom(A,B) = ∅].<br />
Propozitie. Intr-o categorie conexa sunt echivalente<br />
(a) exista un mono constant de domeniu A<br />
(b) orice morfism de domeniu A este un mono constant<br />
(c) A este obiect terminal.<br />
4. Categoria Rng1 are obiect initial, dar nu si zero.<br />
Intradevar, se cunoaste Teorema: pentru orice inel cu unitate R exista un singur<br />
morfism unital f : Z −→ R [daca char(R) = 0 atunci f injectiva, daca char(R) = n<br />
atunci kerf = nZ]. Evident, Z nu este si final, deci nici zero obiect.<br />
17