Mục lục
1 LỜI MỞ ĐẦU 2
2 NỘI DUNG 3
2.1 Giới hạn xạ ảnh . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.1.1 Định nghĩa. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.1.2 Các ví dụ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.2 Một số tính chất của giới hạn xạ ảnh . . . . . . . . . . . . . . . . . . . . . . 10
2.2.1 Giới hạn xạ ảnh của hệ xạ ảnh . . . . . . . . . . . . . . . . . . . . . 10
2.2.2 Biểu đồ xem như hàm tử . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.2.3 Giới hạn xạ ảnh trong phạm trù đủ . . . . . . . . . . . . . . . . . . . 12
2.2.4 Hàm tử bảo toàn giới hạn. . . . . . . . . . . . . . . . . . . . . . . . . 13
3 KẾT LUẬN 15
1
1 LỜI MỞ ĐẦU
Trong sự phát triển của toán học hiện đại , lý thuyết phạm trù chiếm một vị trí
ngày càng quan trọng . Với nội dung và phương pháp nghiên cứu độc đáo riêng, lý thuyết
phạm trù với tư cách là một lý thuyết độc lập đã chứng tỏ hiệu lực của nó trong việc giải
quyết nhiều vấn lớn của đại số, tôpô, và nhiều ngành toàn học lý thuyết khác.Vì vậy việc
làm quen đến tìm hiểu để nắm được một cách tương đối đầy đủ lý thuyết phạm trù và hàm
tử là một yêu cầu cần thiết đối với người học và làm toán hiện nay. Với mục đích đó cùng
với sự mong muốn giúp cho các bạn có cái nhìn sâu hơn về lý thuyết phạm trù và hàm tử,
trong khuôn khổ tiểu luận này chúng tôi sẽ làm rõ một trong những vấn đề của nó. Đó là
Mở rộng một số tính chất của giới hạn xạ ảnh . Cấu trúc của tiểu luận này gồm 2 phần :
1. Phần 1 : Trình bày lại khái niệm giới hạn xạ ảnh của hàm tử và một số ví dụ minh
họa.
2. Phần 2 : là phần chính của tiểu luận, nêu lên một số tính chất mở rộng của giới hạn
xạ ảnh.
Do khả năng có hạn cùng với một số điều kiện hạn chế khác nên trong tiểu luận này chắc
chắn không tránh khỏi những thiếu sót nên rất mong sự góp ý của các bạn. Cuối cùng tôi xin
chân thành cảm ơn PGS.TS Nguyễn Xuân Tuyến đã hướng dẫn tôi hoàn thành tiểu luận này.
Huế, ngày 25 tháng 2 năm 2008

Người thực hiện
2
2 NỘI DUNG
2.1 Giới hạn xạ ảnh
2.1.1 Định nghĩa.
Giả sử F : C −→ D là một hàm tử hiệp biến. Ta gọi giới hạn xạ ảnh của hàm tử F (nếu
có) là một vật L ∈ Ob(D) cùng với một họ cấu xạ
(u
X
: L −→ F (X))
X∈Ob(C)
thuộc Mor(D) sao cho hai điều kiện sau thỏa mãn:
i)Với mọi cấu xạ α : X −→ Y của C ta có biểu đồ sau giao hoán
F (X)
L
F (Y )
❄
F (α)


✒
u
X
❅
❅
❅❘
v
Y
ii)Nếu có một vật A ∈ Ob(D) và một họ cấu xạ
(v

X
: A −→ F (X))
X∈Ob(C)
thuộc Mor(D) sao cho với mỗi cấu xạ α : X −→ Y của C biểu đồ sau giao hoán
F (X)
A
F (Y )
❄
F (α)


✒
v
X
❅
❅
❅❘
v
Y
thì tồn tại duy nhất một cấu xạ γ : A −→ L sao cho với mọi vật X biểu đồ sau giao hoán
L
A
F (X)
❄
u
X


✒
γ

❅
❅
❅❘
v
X
Giới hạn xạ ảnh còn được gọi là giới hạn nghịch hay giới hạn trái, ký hiệu là L = lim
←−
F =
lim
←−
F (X)
Các cấu xạ u
X
: L −→ F (X) gọi là cấu xạ chính tắc của giới hạn xạ ảnh.
3
2.1.2 Các ví dụ
1. Trong phạm trù C tích của một họ các vật (A
i
)
i∈I
, A
i
∈ Ob(C) là giới hạn xạ ảnh của
một hàm tử thích hợp.
Thật vậy :
Đặt A =

i∈I
A
i

, giả sử (A, u
i
: A −→ A
i
; i ∈ I) là tích của họ các vật (A
i
)
i∈I
với A
i
∈ Ob(C).
Ta xây dựng hàm tử F như sau:
Ta xem I như một phạm trù rời rạc với:
Ob(I) =

i ∈ I

[i, j]
I
=

φ nếu i = j
1
i
nếu i = j
Ta xét hàm tử
F : I −→ C
i −→ A
i
Ta sẽ chứng minh A cùng với họ cấu xạ (u

i
: A −→ F (i) = A
i
)
i∈Ob(I)
là giới hạn xạ ảnh
của hàm tử F.
Thật vậy,
Mọi α = 1
i
: i −→ i ∈ Mor(I) ta có biểu đồ sau giao hoán vì 1
A
i
u
i
= u
i
F (i) = A
i
L
F (i) = A
i
❄
F (1
i
)=1
F (i)
=1
A
i

✑
✑
✑✸
u
i
◗
◗
◗s
u
i
Nếu có vật B ∈ Ob(C) và một họ cấu xạ (v
i
: B −→ F (i) = A
i
)
i∈Ob(I)
sao cho với mỗi cấu
xạ α = 1
i
: i −→ i ∈ Mor(I) biểu đồ sau giao hoán:
F (i) = A
i
B
F (i) = A
i
❄
F (α)=F (1
i
)=1
F (i)

=1
A
i
✑
✑
✑✸
v
i
◗
◗
◗s
v
i
Theo định tích A =

i∈I
A
i
thì tồn tại duy nhất γ : B −→ A để biểu đồ sau giao hoán với
mọi i ∈ Ob(I)
A
B
F (i) = A
i
❄
u
i
✑
✑
✑

✑✸
γ
◗
◗
◗s
v
i
4
Ngược lại, giả sử tồn tại lim
←−
F là (L, u
i
: L −→ F (i) = A
i
, i ∈ Ob(I))
Ta sẽ chứng minh (L, (u
i
)
i∈I
) là tích của họ vật (A
i
)
i∈I
.
Giả sử có một họ (α
i
: K −→ A
i
)
i∈I

ta sẽ chứng minh tồn tại γ : K −→ L sao cho u
i
γ = α
i
,
tức là sơ đồ sau giao hoán:
K
A
i
L
✲
α
i
❅
❅❘
γ

✒
u
i
Thật vậy, mọi α = 1
i
: i −→ i, sơ đồ sau giao hoán vì 1
A
i
α
i
= α
i
F (i) = A

i
K
F (i) = A
i
❄
F (1
i
)=1
F (i)
=1
A
i
✑
✑
✑✸
α
i
◗
◗
◗s
α
i
Mặt khác, vì (L, u
i
: L −→ F (i) = A
i
, i ∈ Ob(I)) là giới hạn xạ ảnh của hàm tử F nên theo
điều kiện ii) của định nghĩa giới hạn xạ ảnh ta có tồn tại duy nhất một cấu xạ γ : K −→ L
sao cho mọi i ∈ Ob(I) biểu đồ sau giao hoán:
L

K
F (i) = A
i
❄
u
i
✑
✑
✑
✑✸
γ
◗
◗
◗s
α
i
Tức là u
i
γ = α
i
Vậy A = lim
←−
F
2.Trong phạm trù D hạt nhân của một cấu xạ là giới hạn xạ ảnh của một hàm tử thích hợp.
Thật vậy :
Giả sử f : A −→ B là một cấu xạ của D và (u,K) là hạt nhân của cấu xạ f.
Ta lấy một phạm trù C với
Ob(C) =

X, Y


Mor(C) =

1
X
, 1
Y
, α, β : X −→ Y

Ta xét hàm tử
F : C −→ D
X −→ A
Y −→ B
α −→ f
β −→ 0
AB
1
X
−→ 1
A
1
Y
−→ 1
B
5
Ta sẽ chứng minh rằng (K, u
X
= u, u
Y
= 0) là giới hạn xạ ảnh của hàm tử F

Thật vậy,
Với cấu xạ α, β : A −→ B ta xét sơ đồ sau:
F (X) = A
K
F (Y ) = B
❄
f=F (α)
❄
F (β)=0
AB
✑
✑
✑✸
u
X
◗
◗
◗s
u
Y
Do u
X
= u, u
Y
= 0 và vì u là hạt nhân của cấu xạ f nên fu
X
= fu = 0
KB
= u
Y

= 0
AB
u
X
.
Do đó sơ đồ trên giao hoán.
Giả sử có một vật L ∈ Ob(D) và một họ cấu xạ (v
X
: L −→ F (X) = A, v
Y
: L −→ F (Y ) =
B) của Mor(D) sao cho với các cấu xạ α, β : X −→ Y sơ đồ sau giao hoán.
F (X) = A
L
F (Y ) = B
❄
f=F (α)
❄
F (β)=0
AB
✑
✑
✑✸
v
X
◗
◗
◗s
v
Y

Tức là fv
X
= v
Y
= 0
AB
v
X
. Suy ra, fv
X
= 0
Vì (u,K) là hạt nhân của f nên tồn tại duy nhất h : L −→ K sao cho v
X
= u
X
h, nghĩa là
biểu đồ sau giao hoán.
K
L
F (X) = A
❄
u
X
✑
✑
✑
✑✸
h
◗
◗

◗s
v
X
Suy ra u
Y
h = fu
X
h = fv
X
= v
Y
, nghĩa là sơ đồ sau cũng giao hoán
K
L
F (Y ) = B
❄
u
Y
✑
✑
✑
✑✸
h
◗
◗
◗s
v
Y
Ngược lại, giả sử lim
←−

F tồn tại là (L, u
X
: L −→ F (X), X ∈ Ob(C))
Ta sẽ chứng minh L = Kerf
Thật vậy, theo điều kiện i) của định nghĩa giới hạn xạ ảnh thì với α, γ : X −→ Y của C ta
6
có biểu đồ sau giao hoán:
F (X) = A
L
F (Y ) = B
❄
f=F (α)
❄
F (β)=0
AB
✑
✑
✑✸
u
X
◗
◗
◗s
u
Y
Tức là:fu
X
= u
Y
= 0

AB
u
X
= 0
Mặt khác, giả sử tồn tại λ : K −→ A thỏa mãn f λ = 0. Ta sẽ chứng minh tồn tại duy nhất
một cấu xạ γ : K −→ L sao cho u
X
γ = λ.
Thật vậy, vì fλ = 0 do đó sơ đồ sau giao hoán:
F (X) = A
K
F (Y ) = B
❄
f
❄
0
AB
✑
✑
✑✸
λ
◗
◗
◗s
fλ
nên theo điều kiện ii) của định nghĩa giới hạn xạ ảnh thì tồn tại duy nhất một cấu xạ
γ : K −→ L sao cho biểu đồ sau giao hoán
L
K
F (X) = A

❄
u
X
✑
✑
✑
✑✸
γ
◗
◗
◗s
λ
Tức là u
X
γ = λ
Từ đó suy ra L = Kerf
Vậy Kerf = lim
←−
F
3. Trong phạm trù D đẳng hóa của hai cấu xạ là giới hạn xạ ảnh của một hàm tử thích hợp.
Thật vậy :
Giả sử f, g : A −→ B là hai cấu xạ thuộc Mor(D) và Equ(f, g) = (u, K).
Ta lấy một phạm trù C với
Ob(C) =

X, Y

Mor(C) =

1

X
, 1
Y
, α, β : X −→ Y

7
Ta xét hàm tử
F : C −→ D
X −→ A
Y −→ B
α −→ f
β −→ g
1
X
−→ 1
A
1
Y
−→ 1
B
Ta sẽ chứng minh rằng (K, u
X
= u, u
Y
= fu) là giới hạn xạ ảnh của hàm tử F
Thật vậy,
Với cấu xạ α, β : A −→ B ta xét sơ đồ sau:
F (X) = A
K
F (Y ) = B

❄
f=F (α)
❄
F (β)=g
✑
✑
✑✸
u
X
◗
◗
◗s
u
Y
Do u
X
= u và u
Y
= fu và vì u là đẳng hóa của cặp cấu xạ f và g nên fu
X
= fu = u
Y
=
gu = gu
X
. Do đó sơ đồ trên giao hoán.
Giả sử có một vật L ∈ Ob(C) và một họ các cấu xạ (v
X
: L −→ F (X) = A; v
Y

: L −→
F (Y ) = B) của Mor(D) sao cho với các cấu xạ α, β : X −→ Y sơ đồ sau giao hoán.
F (X) = A
L
F (Y ) = B
❄
f=F (α)
❄
F (β)=g
✑
✑
✑✸
v
X
◗
◗
◗s
v
Y
Tức là fv
X
= v
Y
, gv
X
= v
Y
. Suy ra, fv
X
= gv

X
Vì (u,K) là đẳng hóa của f và g nên tồn tại duy nhất h : L −→ K sao cho v
X
= u
X
h, nghĩa
là biểu đồ sau giao hoán.
K
L
F (X) = A
❄
u
X
✑
✑
✑
✑✸
h
◗
◗
◗s
v
X
Suy ra u
Y
h = fu
X
h = fv
X
= v

Y
, nghĩa là sơ đồ sau cũng giao hoán
K
L
F (Y ) = B
❄
u
Y
✑
✑
✑
✑✸
h
◗
◗
◗s
v
Y
8
Ngược lại, giả sử lim
←−
F tồn tại là (L, u
X
: L −→ F (X), X ∈ Ob(C))
Ta sẽ chứng minh L = Equ(f, g)
Thật vậy, theo điều kiện i) của định nghĩa giới hạn xạ ảnh thì với α, β : X −→ Y của C ta
có biểu đồ sau giao hoán:
F (X) = A
L
F (Y ) = B

❄
f=F (α)
❄
F (β)=g
✑
✑
✑✸
u
X
◗
◗
◗s
u
Y
Tức là:fu
X
= u
Y
= gu
X
Mặt khác, giả sử tồn tại λ : K −→ A thỏa mãn fλ = gλ. Ta sẽ chứng minh tồn tại duy
nhất một cấu xạ γ : K −→ L sao cho u
X
γ = λ.
Thật vậy, vì fλ = gλ do đó sơ đồ sau giao hoán:
F (X) = A
K
F (Y ) = B
❄
f

❄
g
✑
✑
✑✸
λ
◗
◗
◗s
fλ
nên theo điều kiện ii) của định nghĩa giới hạn xạ ảnh thì tồn tại duy nhất một cấu xạ
γ : K −→ L sao cho biểu đồ sau giao hoán:
L
K
F (X) = A
❄
u
X
✑
✑
✑
✑✸
γ
◗
◗
◗s
λ
Tức là u
X
γ = λ

Vậy Equ(f, g) = lim
←−
F
9
2.2 Một số tính chất của giới hạn xạ ảnh
2.2.1 Giới hạn xạ ảnh của hệ xạ ảnh
1. Hệ xạ ảnh
Cho I là một tập hợp sắp thứ tự, có lộc bên phải, tức là với mỗi cặp i,j ∈ I, tồn tại một
phần tử k ∈ I sao cho i ≤ k và j ≤ k.
Gọi I là phạm trù gắn với tập I.
Ob(I) = i∈ I = I
[i, j]
I
=

một phần tử duy nhất(i, j) nếu i ≤ j
∅ nếu i > j
(1)
Một hàm tử :
H :I −→C
i −→H(i) = F
i
i ≤ j −→f
ij
: F
i
−→ F
j
Gọi là một hệ xạ ảnh.
Như vậy, theo định nghĩa một hệ xạ ảnh xác định trong một phạm trù C, là một hệ (F

i
, f
ij
)
gồm các vật F
i
(i ∈ I) của C và các xạ f
ij
: F
j
−→ F
i
của C, xác định đối với mỗi cặp i,j ∈
I sao cho i ≤ j và thoả mãn các tính chất sau :
* f
ii
= 1
f
i
.
* Nếu i ≤ j ≤ k thì f
ik
= f
ij
.f
jk
.
F
k


A
A
A
A
A
A
A
A
A
//
F
j
~~
}
}
}
}
}
}
}
F
i
Bây giờ ta sẽ xét giới hạn ảnh của hệ xạ ảnh trong một số phảm trù quen thuộc.
2. Trong phạm trù các tập hợp S, giới hạn xạ ảnh của hệ xạ ảnh (F
i
, f
ij
) tồn tại. Đó là tập
hợp F và U
i

: F −→ F
i
, xác định như sau, F là tập hợp con của tích Descartes

IF
j
,
gồm tất cả các họ (a
i
)
I
vời a
i
∈ I sao cho i ≤ j .
u
i
:F −→F
i
(i ∈ I)
(a
i
)
I
−→a
i
là cái thu hẹp của phép chiếu chính tắc.
Ta chứng minh , tập hợp F và họ phép chiếu u
i
, i ∈ I là giới hạn xạ ảnh của họ (F
i,f

ij
), thật
vậy :
(a) Với i ≤ j thuộc Mor(I). xét biểu đồ :
F
j
= H(j)
f
ij

F
u
j
::
u
u
u
u
u
u
u
u
u
u
u
i
$$
I
I
I

I
I
I
I
I
I
I
F
i
= H(i)
Theo cách xây dựng, với mọi x ∈ F , ta có
10
f
ij
u
j
(x) = f
ij
(x
j
) = x
i
mà u
ij
(x) = x
i
nên f
ij
u
j

= u
i
→ biểu đồ trên giao hoán.
(b) Nếu một họ ánh xạ v
i
: F

−→ F
i,i∈I
sao cho biểu đồ sau giao hoán
tức là F
ij
v
j
= v
i
.
F
u
i

F

λ
99
t
t
t
t
t

t
t
t
t
t
v
i
$$
I
I
I
I
I
I
I
I
I
H(i) = F
i
Xét ánh xạ
λ :F

−→F
x

= (x

i
)
I

−→x = (x
i
)
I
sao cho x
i
= v
i
(x

i
)
Khi đó, với mọi i ∈ I, u
i
λ(x

) = u
i
(x) = x
i
= v
i
(x

i
) nên u
i
λ = v
i
.

Gỉa sử tồn tại λ : F’−→ F sao cho u
i
λ = v
i
⇒ u
i
λ

= u
i
λ
⇒ u
i
λ

(x

) = u
i
λ(x

), x

∈ F

, với mọi i ∈ I
⇒ λ

(x


) = λ(x

)
⇒ λ

= λ
Vậy F và họ u
i
, i ∈ I là giới hạn xạ ảnh của họ(F
i
, f
ij
).
Trong trường hợp riêng I = 1, 2, và f
ij
là một ánh xạ 1-1 thì băng f cách đồng nhất
x
j
∈ F
j
với x
i
= f
ij
(x
j
) ∈ F
i
. Nghĩa là xem A
i

(i ≤ j) ta có thể cho rằng A
1
⊃ · · · A
2
⊃ · · · ,
tức là ta có một dãy các tập hợp nhỏ dần. Khi ấy mỗi dãy x = (x
i
)
i∈I
sẽ được xác định bởi
môt phần tử bất kì của nó. Chẳng hạn bởi x
1
∈ F
1
thành thử tập hợp F có thể đồng nhất
với

∞
i=1
F
i
. Vậy giới hạn xạ ảnh của một dãy tập hợp nhỏ dần bằng giao của chúng.
3. Trong các nhóm abel, tương tự như trong phạm trù các tập hợp, cũng có giới hạn xạ
ảnh của một hệ xạ ảnh (G
i
, f
ij
). Trong phạm trù các nhóm Ab, trải chỉ số trên I (mỗi G
i
1

nhóm, f
ij
là một đồng cấu nhóm từ G
j
đến G
i
) là nhóm con G của nhóm tích

i∈I
G
i
tạo
thành bởi tất cả các phần tử x = (x
i
)
i∈I
, x
i
∈ G
i
sao cho mỗi cặp i ≤ j ta có x
i
= f
ij
(x
i
).
Do đó dĩ nhiên tập hợp nền của G là giới hạn xạ ảnh của họ các tập nền của các nhóm G
i
theo họ ánh xạ f

ij
.
2.2.2 Biểu đồ xem như hàm tử
Một đồ thị τ = (I, u, ξ) có thể xem như một phạm trù mà I là lớp các vật, và Mor(i,j)
gồm tất cả các đường đi từ i đến j. ta kí hiệu phạm trù này là : I
một biểu đồ D trong một phạm trù C trên đồ thị τ đã biết là một quy tắc D cho tương
ứng với mỗi đỉnh i ∈ I một vật D
i
của C, và với mỗi đường đi ω từ i đến j một cấu xạ D(ω)
từ D
i
đến D
j
. Đồng thời ứng với đừong đi không taị i là cấu xạ đồng nhất 1
D
i
và ứng với
mỗi hợp thành của đường đi ω, σ là cấu xạ hợp thành D(ω)D(σ).
vậy, một biểu đồ D trong phạm trù C trên đồ thị τ được xem như một hàm tử D từ
phạm trù I đến phạm trù C.
11
2.2.3 Giới hạn xạ ảnh trong phạm trù đủ
1. Phạm trù đủ. Một phạm trù C gọi là đủ bên trái -complete( đủ bên phải - Cocomplete
) nếu mọ biểu đồ trong C, trên bất cứ đồ thị nào cũng có giới hạn xạ ảnh(quy nạp ). Nếu
điều này chỉ đúng cho các biểu đồ hữu hạn nói phạm trù đủ hữu hạn bên trái (bên phải).
Theo các ví dụ của giới hạn xạ ảnh trong mục 2, chương 1, một phạm trù đủ bên trái
thì có tích, có tích thớ, có đẳng hóa và nếu có vật không thì cũng có hạt nhân.
Bây giờ ta xét ngược lại, giới hạn xạ ảnh cho những biểu đồ nào tồn tại thì đủ để cho phạm
trù đủ bên trái.
Xét một biểu đồ D trong phạm C có tích và dẳng hóa trên một đồ thị τ = (I, u, ω). gọi

A là tích của họ vật D
i
, i ∈ I, a
i
: A −→ D
i
là phép chiếu thứ i. Cho r(u) là gốc, s(u) là
mút của mũi tên u và A =

u∈U
D
s(u)
. p

s(u)
: A

−→ D
s(u)
là phép chiếu thứ s(u).
Do tính phổ dụng của A’, họ p
s(u)
: A −→ D
s(u)
u∈U
cảm sinh một cấu xạ xác định α :
A −→ A

để cho với mỗi u ∈ U :
p

s(u)
= p

s(u)
α (1)
mặt khác, họ p
r(u)
: A −→ D
s(u)
u∈U
cảm sinh một họ cấu xạ xác định β : A −→ A

thỏa mãn
D(u)p
r(u)
= p

s(u)
β (2)
Từ đó ta có định lí :
2. Định lí 3.1. Trong một phạm trù có tích, họ λ
i
: L −→ D
i
là giới hạn xạ ảnh của D khi
và chỉ khi cấu xạ f : L −→ C do nó cảm sinh là đẳng hóa của cặp cấu xạ α, β : C −→ C

xác định ở trên.
Chứng minh. Xét một họ bất kỳ λ
i

: L −→ D
i
i∈I
và cho f : −→ C là cấu xạ cảm sinh
do tính phổ dụng của C. chỉ cần chứng minh rằng họ λ
i
tưong thích với D khi và chỉ khi
α.f = β.f ,có nghĩa họ λ
i
là giới hạn trái của D khi và chỉ khi f la dẳn hóa của α và β.
Nếu α.f = β.f thì với mỗi u ∈ U ta có p

s(u)
αf = p

s(u)
βf , cho nên theo (1) và (2)
p
s(u)
f = D
u
p
s(u)
f, do đó λ
s(u)
= D
u
λ
r(u)
, chứng tỏ họ λ

i
tương thích với D.
Ngược lại, nếu họ này tương thích thì với mỗi u ∈ U ta có λ
s(u)
= D
u
λ
r(u)
hay
p
s(u)
f = D(u)p
r(u)
f, từ đó theo (1) và (2) ta được p

s(u)
αf = p

s(u)
βf , và vì đẳng thức
này đúng với mọi u ∈ U nên α.f = β.f .
Vậy định lí được chứng minh.
Vậy phép lấy giới hạn xạ ảnh quy về lấy tích và lấy đẳng hóa. Muốn có giới hạn xạ ảnh
của D, chỉ việc xác định cặp cấu xạ α, β : A −→ A

, và lấy đẳng hóa L −→ A của cặp
(α, β).
3. Định lí 3.2 Trong một phạm trù đủ bên trái, giới hạn trái của một biểu đồ là D trên
một đồ thị τ = (I, U, σ) là vật
L =


u∈U
Equ(p
j
, D(u)p
(
i)) ⊂ P
cùng với họ cấu xạ
λ
k
: L ⊂ P
p
k
−→ D
k
(k ∈ I)
12
,
trong đó σ(u) = (i, j), P =

i∈I
D
i
, và p
k
là phép chiếu P −→ D
k
.
Chứng minh. Với mỗi mũi tên u : i → j, cho α
u

: E
u
−→ P là đẳng hóa của p
j
và D(u)p
i
.
Ta có λ
j
= L → E
u
→ P → D
j
= L → E
u
→ P → D
i
D(u)
−−−→ D(j) = L ⊂ P → D
i
D
u
−−→ D
j
,
tức là biểu đồ sau giao hoán .
L
λ
i
||

z
z
z
z
z
z
z
z
z
λ
j
""
E
E
E
E
E
E
E
E
E
D
i
D(u)
−−−→
D
j
Mặt khác, nếu một họ g
k
: X −→ D

k
, K ∈ I thỏa mãn g
j
= D(u)g
i
với mọi u mà
σ(u) = (i, j), thì có một cấu xạ duy nhất g : X → P sao cho g
k
= p
k
g (h ∈ I),
do đó p
j
g = D(u)p
i
gvới mọi u ma σ(u) = (i, j). Vậy theo định nghĩa đẳng hóa, có một
cấu xạ duy nhất X → E
u
sao cho g = X → E
u
→ P , rồi theo định nghĩa giao có một
cấu xạ duy nhất X → L sao cho X → E
u
= X → L → E
u
với mỗi u ∈ U. Khi ấy
g
k
= X → P → D
k

= X → E
u
→ P → D
k
= X → L → E
u
→ P → D
k
= X → L
λ
k
−→ Dk.
Chứng tỏ rằng L là giới hạn xạ ảnh của D.
2.2.4 Hàm tử bảo toàn giới hạn.
1. Định nghĩa. Cho một hàm tử F : A −→ B.Với mỗi biểu đồ D trong A trên
τ = (I, U, σ), ta xét biểu đồ mathcalF D trong B, cũng trên τ , bằng cách lấy mathcalF D
i
=
F(D
i
), mathcalF D(u) = mathcalF (D(u)).
Nếu F(σ
i
) : F(X) → F(D
i
) là giới hạn trái của FDkhi σ
i
là giới hạn trái của D thì ta
nói hàm tử F bảo toàn giới hạn trái hay mạnh bên trái, Kí hiệu :
F(lim

−→
D) = lim
−→
FD
Sau đây ta sẽ xét một số tính chât của hàm tử này.
2. Định lí. Đối với một hàm tử F, từ một phạm trù A có tích đến một phạm trù B bất kỳ,
các tính chất sau đây tương đương:
1. F bảo toàn giới hạn trái.
2. F bảo toàn tích và đẳng hóa.
3. F bảo toàn tích và níu.
4. F bảo toàn tích và hạt nhân (phạm trù A thỏa mãn thêm điều kiện A là phạm trù
chuẩn tắc ).
Chứng minh. 2) =⇒ 1). Cho {L → D
i
} là giới hạn trái của biểu đồ D trong A. Theo
định lý 3.1, họ đó cảm sinh một cấu xạ L → P là đẳng hóa của hai cấu xạ α, β : P → P

.
Họ {T (L) → T (D
i
)} cảm sinh cấu xạ T (L) → T (P ), và theo giả thiết cấu xạ này là đẳng
hóa của T (α), T (β) : T (P ) → T (P

). Mặt khác dễ thấy rằng đối với biểu đồ TD các cấu xạ
T (α), T (β) có ý nghĩa như α, β trong biểu đồ D. Do đó theo định lý 3.1, {T (L) → T (D
i
)}
13
là giới hạn trái của TD.
3) =⇒ 2). Cho f, g là hai cấu xạ bất kỳ từ A đến B. Gọi K là tích thớ của f và g (do đó là

đẳng hóa của f, g).Theo giả thiết ta có tích thớ:
T (K)
T (v)
//
T (u)

T (A)
T (g)

T (A)
T ((f))
//
T (A) × T(B)
Mà T (f ) là cấu xạ cảm sinh bởi cặp (1
T (A)
, T(f)), T (g) là cấu xạ cảm sinh bởi cặp (1
T (A)
, T(g)).
Vậy theo tính chất của đẳng hóa, T (K) = Equ(T (f ), T(g)).
4) =⇒ a). Cho hai cấu xạ bất kỳ f, g : A → B. Nếu f : A → A × B là cấu xạ cảm
sinh bởi cặp (1
A
, f), g : A → A × B là cấu xạ cảm sinh bởi cặp (1
A
, g) thì do phạm trù
chuẩn tắc và do f là đơn cấu (vì p
A
f = 1
A
là đơn cấu) nên f là hạt nhân của một cấu xạ s

nào đó. Lấy v = Ker(sg) thì theo tính chất của níu có một cấu xạ u để cho biểu đồ sau là níu.
K
u

v
//
A
g

A
f
//
A × B
Khi đó theo tính chất của đẳng hóa v = Equ(f, g). Mặt khác, vì T bảo toàn hạt nhân nên
trong biểu đồ
T (k)
T (v)
//
T (u)

T (A)
T (g)

T (sg)
&&
L
L
L
L
L

L
L
L
L
L
T (A)
T (f)
//
T (A) × T(B)
T (s)
//
T (c)
ta cũng có T (f) = KerT (s), T (u) = KerT (sg) = Ker(T (s), T (g)), nên biểu đồ hình vuông
ở biểu đồ trên là níu, theo tính chất của đẳng hóa suy ra T (K) = Equ(T (f ), T (g)).
3. Ví dụ. Các hàm tử quên sau
1.
F
Ab
: Ab −→S
(M, +) →M
đồng cấu M
α
−→ N →ánh xạ M
β
−→ N
2.
F
Ri
: Ab −→S
(M, +, .) →M

đồng cấu vành M
α
−→ N →ánh xạ M
β
−→ N
Đều bảo toàn tích và đẳng hóa nên chúng bảo toàn giới hạn xạ ảnh.
14
3 KẾT LUẬN
Cũng như nhiều lý thuyết toán học hiện đại khác, lí thuyết phạm trù hàm chứa
trong nó nhiều khái niệm rất trừu tượng liên quan đến cơ sở của nhiếu ngành toàn học khác
như Hình học, giải tích Vì vậy để hiểu nó một cách hoàn chỉnh đòi hỏi ở người học phải
có cách làm việc nghiêm túc với niếm say mê lớn.
Trong tiểu luận này đã khảo sát một trong những phần của lý thuyết phạm trù liên quan
chặt chẽ với ngành giải tích, đó là giới hạn xạ ảnh. Một số tính chất của giới hạn xạ ảnh
đã được làm rõ như giới hạn xạ ảnh của hệ xạ ảnh trong phạm trù S các tập hợp, phạm
trù các nhóm Abel, giới hạn xạ ảnh trong phạm trù đủ và các điều kiện để một hàm tử bảo
toàn giới hạn ảnh Tuy nhiên đây mới chỉ là mở rộng những tính chất chung của giới hạn
xạ ảnh, còn nếu khảo sát trong những phạm trù cụ thể chắc chắn sẽ có những tính chất lí
thú và hoàn chỉnh hơn nhiều.
Cuối cùng chúng tôi rất mong nhận được ý kiến phê bình, đóng góp của các bạn để đề
tài hoàn thiện hơn.
15
Tài liệu
[1] PGS.TSKH Xuân Tuyến,PGS.TS Lê Văn Thuyết : Cở Sở Đại Số Hiện Đại, Nhà xuất
bản giáo dục (2001)
[2] Ngô Thúc Lanh : Giáo Trình Đại Số Sau Đại Học, nhà xuất bản đại học và trung học
chuyên nghiệp (1985)
[3] Hoàng Tụy, Nguyễn Xuân Mỵ, Nguyễn Văn Khuê, Hà Huy Khoái : Mở Đầu Một Số
Lý Thuyết Hiện Đại Của TôPô Và Đại Số, Tập 1, Nhà xuất bản đại học và trung học
chuyên nghiệp (1979)

16