Giá 10k/, tài liệu này đang ở dạng xem trước, vui lòng nạp thẻ cào để được xem full tài liệu www.facebook.com/garmentspace www.facebook.com/garmentspace www.facebook.com/garmentspace
GIÁO TRÌNH KHỐI NGUỒN CÁC LOẠI - ĐIỆN LẠNH BÁCH KHOA HÀ NỘI
Su dung bat_bien_topo_tuyen_tinh_de_nghien_cuu_tinh_chinh_hinh_cua_ham_chinh_hinh_theo_tung_bien_5749
1. BỘ GIÁO DỤC VÀ ĐÀO TẠO
TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH
NGUYỄN MINH TRÍ
SỬ DỤNG BẤT BIẾN TÔPÔ TUYẾN TÍNH
ĐỂ NGHIÊN CỨU TÍNH CHỈNH HÌNH CỦA HÀM
CHỈNH HÌNH THEO TỪNG BIẾN
LUẬN VĂN THẠC SĨ TOÁN HỌC
Thành Phố Hồ Chí Minh - 2011
2. BỘ GIÁO DỤC VÀ ĐÀO TẠO
TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH
NGUYỄN MINH TRÍ
SỬ DỤNG BẤT BIẾN TÔPÔ TUYẾN TÍNH ĐỂ
NGHIÊN CỨU TÍNH CHỈNH HÌNH CỦA HÀM
CHỈNH HÌNH THEO TỪNG BIẾN
Chuyên ngành: Hình Học – TôPô
Mã số: 604610
LUẬN VĂN THẠC SĨ TOÁN HỌC
NGƯỜI HƯỚNG DẪN KHOA HỌC:
TS: NGUYỄN THÁI SƠN
Thành Phố Hồ Chí Minh – 2011
3. LỜI CẢM ƠN
Tôi vô cùng biết ơn Tiến sĩ NGUYỄN THÁI SƠN đã định hướng tôi trong việc nghiên cứu
luận văn này, một vấn đề đang được quan tâm do những ứng dụng của nó trong nhiều lĩnh
vức của Toán học; thầy là người trực tiếp hướng dẫn tôi trong việc thực hiện luận văn này
Tôi gửi lời tri ân đến các thầy cô giáo trong khoa Toán- Tin đã hướng dẫn tôi nghiên cứu
Toán học trong những năm học tại trường Đại Học Sư Phạm TPHCM. Đồng thời tôi cũng
gởi lời tri ân đến gia đình và bạn bè đã hiểu, chia sẻ và động viên tôi trong quá trình thực
hiện đề tài.
Nguyễn Minh Trí.
4. MỤC LỤC
LỜI CẢM ƠN ..............................................................................................................3
MỤC LỤC ....................................................................................................................4
DANH MỤC KÍ HIỆU................................................................................................7
LỜI NÓI ĐẦU...............................................................................................................i
1. Lý do chọn đề tài:..................................................................................................................i
2. Mục đích nghiên cứu:............................................................................................................i
3. Đối tượng và phạm vi nghiên cứu:........................................................................................i
4. Phương pháp nghiên cứu:.................................................................................................... ii
5. Cấu trúc luận văn: 4 chương: .............................................................................................. ii
Chương 1: KIẾN THỨC CƠ BẢN VỀ TÔPÔ VÀ GIẢI TÍCH HÀM.................. 1
1.1 Không gian vectơ tôpô. ......................................................................................................1
1.1.1 Định nghĩa. .................................................................................................................1
1.1.2 Tính chất. ....................................................................................................................1
1.1.3 Mệnh đề.......................................................................................................................2
1.1.4 Hệ quả.........................................................................................................................2
1.1.5 Tập bị chặn và hoàn toàn bị chặn...............................................................................3
1.2 Không gian lồi địa phương.................................................................................................3
1.2.1 Định nghĩa. .................................................................................................................3
1.2.2 Bổ đề. .........................................................................................................................3
1.2.3 Bổ đề. ..........................................................................................................................4
1.2.4 Hệ cơ bản các lân cận và các nửa chuẩn. ..................................................................4
1.2.5 Định lý.........................................................................................................................4
1.2.6 Ánh xạ tuyến tính liên tục............................................................................................5
1.3 Đối ngẫu của không gian lồi địa phương. ..........................................................................6
1.3.1 Không gian đối ngẫu...................................................................................................6
1.3.2 Hệ đối ngẫu.................................................................................................................6
1.3.3 Ánh xạ đối ngẫu. .........................................................................................................7
1.3.4 Không gian phản xạ và không gian thùng..................................................................8
1.4 Tôpô xạ ảnh và tôpô quy nạp. ............................................................................................8
1.4.1 Tôpô xạ ảnh.................................................................................................................9
1.4.2 Tôpô qui nạp . Giới hạn quy nạp. ...............................................................................9
5. 1.4.3 Không gian chặn nội và siêu chặn nội......................................................................10
1.5 Không gian Fretchet và DF- không gian..........................................................................10
1.5.1 Hệ cơ bản tăng các nửa chuẩn. ................................................................................10
1.5.2 Không gian Frechet. .................................................................................................11
1.5.3 DF- Không gian. .......................................................................................................11
1.6 Định lý Baire. ...................................................................................................................11
Chương 2: CÁC KIẾN THỨC VỀ HÀM CHỈNH HÌNH.....................................12
2.1 Hàm chỉnh hình. ...............................................................................................................12
2.1.1 Hình cầu và đa dĩa....................................................................................................12
2.1.2 Chuỗi hội tụ và hàm chỉnh hình................................................................................13
2.1.3 Các tính chất cơ bản của hàm chỉnh hình. ...............................................................14
2.1.4 Hàm chỉnh hình theo từng biến.................................................................................17
2.1.5 Hàm đa điều hòa dưới. .............................................................................................19
2.1.6 Thác triển chỉnh hình................................................................................................20
2.1.7 Miền chỉnh hình và lồi chỉnh hình. ...........................................................................21
2.1.8 Hàm vét cạn và miền giả lồi. ....................................................................................22
2.2 Tập giải tích:.....................................................................................................................22
2.2.1 Tập con giải tích. ......................................................................................................22
2.2.2 Thành phần bất khả quy............................................................................................23
2.2.3 Quỹ tích kì dị.............................................................................................................24
2.3 Các khái niệm trong đa tạp phức......................................................................................25
2.3.1 Hàm chỉnh hình.........................................................................................................25
2.3.2 Vành các mầm hàm...................................................................................................25
2.3.3 Mặt Riemann.............................................................................................................25
2.3.4 Tập con giải tích và siêu mặt giải tích......................................................................25
2.4 Phủ giải tích nhánh...........................................................................................................26
2.4.1 Ánh xạ riêng..............................................................................................................26
2.4.2 Ánh xạ hữu hạn. ........................................................................................................26
2.4.3 Phủ giải tích nhánh...................................................................................................26
2.5 Lý thuyết Stein. ................................................................................................................26
2.5.1 Đa tạp Stein...............................................................................................................27
2.5.2 Mệnh đề.....................................................................................................................27
2.5.3 Mệnh đề.....................................................................................................................28
2.5.4 Tập đa cực.................................................................................................................28
6. 2.5.5 Bó giải tích coherent trên đa tạp Stein. ....................................................................29
2.5.6 Nhóm đối đồng điều với giá trị trong một bó. ..........................................................31
2.6 Không gian giải tích. ........................................................................................................32
2.6.1 Không gian vành.......................................................................................................32
2.6.2 Không gian giải tích..................................................................................................32
2.7 Điểm chuẩn tắc của không gian giải tích và không gian chuẩn tắc. ................................32
2.8 Chuẩn tắc hóa. ..................................................................................................................32
Chương 3: CÁC BẤT BIẾN TÔPÔ TUYẾN TÍNH. .............................................34
3.1 Không gian chuỗi lũy thừa...............................................................................................34
3.2 Không gian có tính chất ( )DN
.........................................................................................35
3.2.1 Định nghĩa. ...............................................................................................................35
3.2.2 Bổ đề:........................................................................................................................36
3.2.3 Bổ đề. ........................................................................................................................37
3.3 Không gian có tính chất ( )Ω ............................................................................................38
3.3.1 Định nghĩa. ...............................................................................................................38
3.3.2 Bổ đề. ........................................................................................................................38
3.4 Một số bất biến tôpô tuyến tính khác...............................................................................39
Chương 4: CÁC KẾT QUẢ VỀ TÍNH CHỈNH HÌNH CỦA HÀM CHỈNH
HÌNH THEO TỪNG BIẾN......................................................................................40
4.1 Định lý..............................................................................................................................41
4.2 Bổ đề.................................................................................................................................41
4.3 Bổ đề.................................................................................................................................44
4.4 Bổ đề.................................................................................................................................45
KẾT LUẬN ................................................................................................................48
TÀI LIỆU THAM KHẢO ........................................................................................49
7. DANH MỤC KÍ HIỆU
U : cơ sở lân cận của 0 E∈ .
'E : Không gian đối ngẫu của không gian vectơ E .
( )nz z : tích vô hướng chuẩn tắc trong n
.
( )w oD f z : đạo hàm có hướng phức của f tại oz theo hướng w .
( )v
oD f z : đạo hàm riêng cấp cao của f tại oz .
( )1,..,z qrk f f : hạng của ma trận Jacobi ( )1,.., qf f
J .
( )p n
oC : không gian các hàm lớp p
C trên n
với giá compact.
GK : bao lồi chỉnh hình của K trong G .
1( ,.., )qN f f : tập không chung của 1,.., qf f .
( )H G : không gian các hàm chỉnh hình trên G .
( )R A : tập các điểm chính quy của A .
( )S A : tập các điểm kì dị của A .
R ( )1,.., qf f : bó quan hệ giữa 1,.., qf f .
YH : bó cấu trúc của Y .
( ),p
H U J : nhóm p - đối đồng điều của U với giá trị trong J .
( ), JΓ Ω : tập tất cả các nhát cắt của J trên U .
xJ : thớ của J tại x .
8. LỜI NÓI ĐẦU
Vào những năm 80 của thế kỉ trước, D.Vogt đã đưa ra và có nhiều kết quả nghiên cứu về
các bất biến tôpô tuyến tính. Các bất biến này mở ra nhiếu ứng dụng cho giải tích phức. Một
trong những ứng dụng của chúng là nghiên cứu tính chỉnh hình của các ánh xạ chỉnh hình
theo từng biến, một bài toán nổi tiếng được đặt ra vào năm 1906 bởi Hartogs. Bài toán này
đã được nghiên cứu từ lâu và đã có nhiều kết quả quan trọng.
1. Lý do chọn đề tài:
Trong chương trình đào tạo thạc sĩ chuyên ngành hình học có nhiều nội dung đề cập đến
hình học giải tích phức trong đó chủ yếu nói về các đa tạp phức. Ta biết rằng một hàm
chỉnh hình trên các đa tạp phức X Y× → thì chỉnh hình theo từng biến. Tuy nhiên,
điều ngược lại có đúng không? Khi xét thêm một tập ,K X K⊂ ≠ ∅ thì một hàm chỉnh
hình theo từng biến thì chưa chắc là hàm chỉnh hình. Và với điều kiện nào thì một hàm
chỉnh hình theo từng biến :f K Y× → có thể thác triển chỉnh hình? Việc tìm hiểu các
điều kiện cần và đủ về các không gian để các hàm chỉnh hình theo từng biến thì chỉnh
hình, và có thể thác triển chỉnh hình là một vấn đề mang tính chất thời sự. Công cụ để
nghiên cứu các kết quả này là các kiến thức về tôpô đại cương và giải tích hàm có liên
hệ mật thiết với hình học giải tích phức. Do đó tôi chọn đề tài này để củng cố kiến thức
của mình và bước đầu tìm hiểu về hình học giải tích phức hiện đại như hình học
hyperbolic. Theo chúng tôi đề tài này có tính hiện đại, thời sự và thiết thực đối với sự
phát triển của giải tích phức
2. Mục đích nghiên cứu:
Tương tự như lý do chọn đề tài tức là tìm hiểu các điều kiện cần và đủ về các không gian
để các hàm chỉnh hình theo từng biến thì chỉnh hình
3. Đối tượng và phạm vi nghiên cứu:
1. Định nghĩa các không gian có tính chất , , ..DN LB∞
Ω
2. Nghiên cứu các tính chất của các không gian này
9. 3. Ứng dụng các tính chất của các không gian DN để nghiên cứu tính chỉnh hình của
những hàm chỉnh hình theo từng biến.
4. Phương pháp nghiên cứu:
Tiếp cận các kiến thức hiện đại về tôpô, giải tích hàm, giải tích phức để nghiên cứu các
không gian , ,..DN Ω
5. Cấu trúc luận văn: 4 chương:
Chương 1: Kiến thức cơ bản về tôpô và giải tích hàm.
Chương 2: Các kiến thức về hàm chỉnh hình.
Chương 3: Các bất biến tôpô tuyến tính.
Chương 4: Các kết quả về tính chỉnh hình của hàm chỉnh hình theo từng biến.
10. Chương 1: KIẾN THỨC CƠ BẢN VỀ TÔPÔ VÀ GIẢI TÍCH HÀM
Nội dung chính của luận văn này là sử dụng các kiến thức về bất biến tôpô tuyến tính để
nghiên cứu tính chỉnh hình của những hàm chỉnh hình theo từng biến. Các kiến thức về bất
biến tôpô tuyến tính là những kiến thức mới hiện đại và đang được phát triển bởi nhiều nhà
khoa học trong nước và quốc tế. Do đó để tiếp cận được các khái niệm này, chúng tôi bắt
đầu từ những kiến thức nền tảng để xây dựng các định nghĩa, tính chất về bất biến tôpô
tuyến tính. Các kiến thức này liên hệ mật thiết với các kiến thức về tôpô và giải tích hàm.
Do đó để thuận tiện cho việc theo dõi trong chương này chúng tôi giới thiệu các khái niệm
cơ bản về tôpô và giải tích hàm:
1. Không gian vectơ tôpô.
2. Không gian lồi địa phương.
3. Đối ngẫu của không gian lồi địa phương.
4. Tôpô xạ ảnh và tôpô quy nạp.
5. Không gian Fretchet và DF-không gian.
6. Định lý Baire.
1.1 Không gian vectơ tôpô.
1.1.1 Định nghĩa.
Cho E là một không gian vectơ trên trường K . Một tôpô τ trên E gọi là tương thích (với
phép toán đại số của E ) nếu phép cộng +: E E E× → và phép nhân vô hướng .: K E E× →
liên tục .
Ta gọi một không gian vectơ cùng một tôpô tương thích trên nó là một không gian vectơ
tôpô.
1.1.2 Tính chất.
Cho E là không gian vectơ tôpô. Khi đó:
a) Với mọi a E∈ , phép tịnh tiến x x a+ là phép đồng phôi E lên E . Đặc biệt, U là
một cơ sở lân cận của 0 E∈ thì a + U = {a + U : U ∈ U } là cơ sở lân cận của
a E∈ .
b) Với mọi , 0Kλ λ∈ ≠ , ánh xạ x xλ là phép đồng phôi E lên E . Đặc biệt U là lân
cận của 0 E∈ thì , 0Uλ λ ≠ là lân cận của 0 .
11. Theo tính chất trên toàn bộ cấu trúc tôpô của E được xác định bởi một cơ sở lân cận của 0.
Sau này lân cận của 0 được viết tắt là lân cận.
Tập con A của một không gian vectơ E gọi là hút nếu
1n
nA E
∞
=
= ; gọi là cân nếu x A∈ thì
với mọi , 1Kλ λ∈ ≤ đều có x Aλ ∈ .
1.1.3 Mệnh đề.
Nếu U là một cơ sở lân cận trong E thì với mọi U ∈ U
a) U là tập hút .
b) Tồn tại V ∈ U sao cho V + V ⊂ U .
c) Tồn tại lân cận cân W sao cho W ⊂ U .
Chứng minh:
a) Mọi x E∈ , ánh xạ ( )f xλ λ= liên tục tại 0λ = , do đó tồn tại 0ε > sao cho x Uλ ∈
với mọi ,Kλ λ ε∈ ≤ . Chọn n sao cho
1
n
ε< ta có x nU∈ .
b) Ánh xạ ( , )g x y x y= + liên tục tại 0, 0x y= = nên tồn tại 1 2,V V ∈ U sao cho
1 2V V U+ ⊂ . Vì 1 2V V∩ cũng là lân cận nên tồn tại V ∈ U , V ⊂ 1 2V V∩ . Khi đó
V V U+ ⊂ .
c) Ánh xạ ( , )h x xλ λ= liên tục tại 0, 0xλ= = nên tồn tại lân cận V và 0ε > sao cho
x Uλ ∈ khi , x Vλ ε≤ ∈ , hay V Uλ ⊂ khi λ ε≤ . Do đó V Uε µ⊂ khi 1µ ≥ . Đặt
1
W U
µ
µ
≥
= . Ta có V W Uε ⊂ ⊂ nên W là một lân cận chứa trong U . Nếu x W∈ và
0 1λ< ≤ thì với 1µ ≥ ta có x U
µ
λ
∈ . Suy ra x Uλ µ∈ với 1µ ≥ hay x Wλ ∈ . Vậy
W là tập cân.
1.1.4 Hệ quả.
Cho U là một cơ sở lân cận của không gian vectơ tôpô E . Khi đó E là Hausdorff nếu và
chỉ nếu { }0
U
U
∈
=U
.
12. 1.1.5 Tập bị chặn và hoàn toàn bị chặn.
Một tập con A của không gian vectơ tôpô E gọi là bị chặn nếu mọi lân cận U (của 0), tồn
tại Kλ ∈ sao cho A Uλ⊂ ( ta nói U hút tập A ).
Tập con A của một không gian vectơ tôpô E gọi là hoàn toàn bị chặn nếu mọi lân cận U
của 0 trong E , tồn tại hữu hạn các điểm 1,.., nx x E∈ sao cho A ( )
1
n
i
i
x U
=
⊂ + .
1.2 Không gian lồi địa phương.
1.2.1 Định nghĩa.
Không gian vectơ tôpô Hausdorff gọi là không gian lồi địa phương nếu E có một cơ sở lân
cận gồm các tập lồi. Một tôpô biến E thành không gian lồi địa phương gọi là một tôpô lồi
địa phương (trên E ).
Tập A lồi và cân được gọi là tập tuyệt đối lồi.
1.2.2 Bổ đề.
Cho E là một không gian vectơ tôpô Hausdorff. Khi đó các điều kiện sau đây tương đương:
a) E là không gian lồi địa phương.
b) E có một cơ sở lân cận gồm các tập tuyệt đối lồi.
c) E có một cơ sở lân cận gồm các tập đóng tuyệt đối lồi.
Chứng minh:
c)⇒ b) ⇒ a) là hiển nhiên.
Ta sẽ chứng minh a) ⇒ c). Giả sử U là một lân cận lồi. Do hệ quả 1.1.4 ta có thể giả thiết
U đóng. Chọn W như trong chứng minh c) của mệnh đề 1.1.3, ta có W cân. Mọi λ , 1λ ≥ ,
Uλ là tập lồi và đóng. Vì W bằng giao của một họ các tập lồi và đóng nên cũng lồi và đóng.
Vậy W là lân cận đóng tuyệt đối lồi, W U⊂
Cho A là một tập con hút của không gian vectơ E . Khi đó
{ }inf 0:A
x x Aλ λ= > ∈ xác định một hàm từ E vào , gọi là hàm cở hay phiếm hàm
Minkowski của tập A .
13. 1.2.3 Bổ đề.
Cho E là một không gian lồi địa phương và p là một nửa chuẩn trên E . Khi đó
a) p liên tục nếu và chỉ nếu p liên tục tại 0 E∈ .
b) p = . ,U
U là một tập tuyệt đối lồi và hút thì p liên tục khi U là lân cận của 0 E∈ và
{ } { }
0
: ( ) 1 , : ( ) 1U x E p x U x E p x=∈ < =∈ ≤ .
1.2.4 Hệ cơ bản các lân cận và các nửa chuẩn.
Cho không gian lồi địa phương E . Một họ U các lân cận của E gọi là một hệ cơ bản các
lân cận nếu thỏa mãn các điều kiện:
1) Mọi , 0,x E x∈ ≠ tồn tại U ∈ U sao cho x U∉ .
2) Mọi lân cận V của 0 E∈ , tồn tại U ∈ U và 0ε > sao cho U Vε ⊂ .
Họ { }. α α∈Λ
các nửa chuẩn trên E gọi là một hệ cơ bản các nửa chuẩn nếu hệ các tập
{ }: 1U x E xα α
=∈ < là một hệ cơ bản các lân cận của E .
1.2.5 Định lý.
Mọi không gian lồi địa phương E đều có một hệ cơ bản các nửa chuẩn. Mọi hệ cơ bản các
nửa chuẩn { }. α α∈Λ
của E có các tính chất sau:
1) Mọi , 0,x E x∈ ≠ tồn tại α ∈Λ sao cho 0x α
>
2) Mọi ,α β ∈Λ tồn tại γ ∈Λ và 0C > sao cho { }max . , . .Cα β γ
≤
Chứng minh:
Theo bổ đề 1.2.2, E có một cơ sở lân cận tuyệt đối lồi U . Theo bổ đề 1.2.3,
{ }. U
U ∈ U là một họ các nửa chuẩn liên tục. Mọi lân cận V của 0, tồn tại U ∈ U sao
cho U V⊂ . Từ đó theo bổ đề 1.2.3 { }: 1U
x x U V< ⊂ ⊂
Vậy { }. U
U ∈ U là một hệ cơ bản các nửa chuẩn của E .
Bây giờ giả sử { }. α α∈Λ
là một hệ cơ bản các nửa chuẩn của E . Giả sử , 0,x E x∈ ≠ do E
Hausdorff nên tồn tại lân cận W của 0 sao cho x W∉ . Chọn α ∈Λ và 0ε > sao cho
14. U Wαε ⊂ . Theo bổ đề 1.2.3,
1
x U
ε
∉ nên
1
1x
αε
≥ hay 0x α
ε≥ > . Ta có tính chất 1). Với
,α β ∈Λ tùy ý, do U Uα β∩ là lân cận của 0 nên tồn tại γ ∈Λ và 0ε > sao cho
U U Uγ α βε ⊂ ∩ . Đặt
1
C
ε
= ta có tính chất 2)
Trường hợp đặc biệt hệ cơ bản các nửa chuẩn của không gian lồi địa phương E chỉ gồm
một nửa chuẩn thì dễ thấy nửa chuẩn đó phải là chuẩn và E lúc đó gọi là không gian khả
định chuẩn.
1.2.6 Ánh xạ tuyến tính liên tục.
Cho E và F là các không gian lồi địa phương với hệ cơ bản các nửa chuẩn ( ) A
pα α∈
trong
E và ( ) B
qβ β∈
trong F . Khi đó những điều sau đây là tương đương với mỗi ánh xạ tuyến
tính :H E F→ :
1. H liên tục .
2. H liên tục tại 0.
3. Với mỗi Bβ ∈ tồn tại Aα ∈ và 0C > sao cho ( ) ( )q Hx Cp xβ α≤ với mọi x E∈ .
Chứng minh:
1 ⇒2 là hiển nhiên.
2 3⇒ Lấy Bβ ∈ bất kì, do H liên tục tại 0 nên tồn tại Aα ∈ và 0ε > sao cho
( )( ) ( ), ,10 0H U Uα ε β⊂ . Vì vậy với x E∈ sao cho ( ) 0p xα = , ( ), 0tx Uα ε∈ 0t∀ > . Do đó
( ) ( )( ) 1 0tq Hx q H tx tβ β= < ∀ > . Điều này suy ra ( ) ( )0q Hx p xβ α= ≤ . Với x E∈ sao
cho ( ) 0p xα ≠ , ta có:
( ) ( )
( )
( )
2 2
2
x
q Hx p x q H p x
p x
β α β α
α
ε
ε ε
= ≤
.
Đặt
2
:C
ε
= ta có điều phải chứng minh.
3 1⇒ Nếu ox E∈ và lưới ( ) T
xτ τ∈
hội tụ đến ox , khi đó từ 3 suy ra với mỗi Bβ ∈ ,
( ) ( )( ) ( )o o oq Hx Hx q H x x Cp x xβ τ β τ α τ− = − ≤ −
Do ( ) T
xτ τ∈
hội tụ đến ox nên ( )lim 0T op x xτ α τ∈ − =với mỗi Aα ∈ nên suy ra
15. ( )lim 0T oq Hx Hxτ β τ∈ − =suy ra H liên tục.
Cho E và F là các không gian lồi địa phương.
Ánh xạ tuyến tính A : E F→ gọi là bị chặn địa phương nếu ( )A B bị chặn trong F với
mọi tập con bị chặn B trong E .
Dễ thấy rằng nếu A liên tục thì A bị chặn địa phương.
Một ánh xạ tuyến tính :A E F→ được gọi là đẳng cấu nếu A là một đồng phôi, E và F
được gọi là đẳng cấu nếu tồn tại một đẳng cấu :A E F→ . Khi đó ta viết E F≅ .
1.3 Đối ngẫu của không gian lồi địa phương.
1.3.1 Không gian đối ngẫu.
Cho E là một không gian vectơ tôpô trên trường K . Kí hiệu 'E = L ( , )E K là không gian
các phiếm hàm tuyến tính liên tục trên ( )*
, ,E E L E K= là không gian các phiếm hàm tuyến
tính trên E . Ta có 'E và E∗
là các không gian vectơ trên , 'K E gọi là đối ngẫu của ,E E∗
gọi
là không gian đối ngẫu đại số của E .
1.3.2 Hệ đối ngẫu.
Cho E là một không gian vectơ. Không gian con F của E∗
gọi là phân biệt các điểm của
E nếu mọi 1 2 1 2, ,x x E x x∈ ≠ tồn tại y F∈ sao cho 1 2( ) ( )y x y x≠ . Ta gọi cặp ( ),E F trong đó
F là một không gian con của E∗
phân biệt các điểm của E là một hệ đối ngẫu.
Cho( ),E F là một hệ đối ngẫu. Đồng nhất E với ( )j E qua ánh xạ : *, ( )( ) ( )j E F j x y y x→ =
với mọi ,x E y F∈ ∈ , j là đơn ánh tuyến tính (do F phân biệt các điểm E ). Hiển nhiên
( )j E phân biệt các điểm của F . Do đó ( ),E F là hệ đối ngẫu thì ( ),F E cũng là hệ đối ngẫu.
Cho ( ),E F là một hệ đối ngẫu. Tôpô lồi địa phương τ trên E sao cho ( , )'E Fτ = gọi là
tôpô của hệ đối ngẫu. Kí hiệu ( , )E Fσ là tôpô yếu nhất để mọi y F∈ liên tục. Tôpô đó là
tôpô lồi địa phương sinh bởi họ các nửa chuẩn ( )x y x hay là tôpô xác định bởi các hệ cơ
16. bản các nửa chuẩn ( ) sup ( ) , ( )M y Mp x y x M Fε∈= ∈ , ( )Fε là tập hợp của tất cả các tập con hữu
hạn của F .
Cho ( ),E F là một hệ đối ngẫu và A E⊂ . Ta gọi pôla của A ( trong F ) là tập
: ( ) 1sup
o
A
A y F y x
=∈ ≤
.
1.3.3 Ánh xạ đối ngẫu.
Cho ánh xạ tuyến tính liên tục :A E F→ . Ánh xạ đối ngẫu của A là ánh xạ ': ' 'A F E→ xác
định bởi: '( )A y y A= với mọi 'y F∈ .
Định lý Schauder: Cho E , F là các không gian Banach và A∈ L ( , )E F Khi đó A
compact nếu và chỉ nếu ': ' 'A F E→ compact.
Chứng minh:
Ký hiệu U là hình cầu đơn vị của E . Nếu A compac thì
{ }( )
: ', 1 ( ( ))A U
M y y F y C A U= ∈ ≤ ⊂ là bị chặn và đồng liên tục. Theo định lí Ascoli, M
compact tương đối. Với mọi , ', '( ) '( )y z F A y A z∈ =ta có
( ( )) ( '( )( )) ( '( ))( ) ( ( ))y A x A y x A z x z A x= = = với mọi x E∈ .
Từ đó ánh xạ tuyến tính : '( ') ( ( ))A F C A Uϕ → xác định bởi ( )
( '( )) A U
A y yϕ = với mọi 'y F∈
( )( )
( )
( )
( )
( ) ( )( )
1
'( ) 'sup sup sup
y A U A U
A y y A x y y A y
ξ ξ
ξ ξ ϕ
≤ ∈ ∈
= = = =
Nên ϕ là đẳng cự.
Đặt { }': 1V y F y=∈ ≤ , ta có ( )'( )A V Mϕ = . Do M compact tương đối nên '( )A V compact
tương đối. Vậy 'A compact
Bây giờ nếu 'A là ánh xạ compact thì theo trên '': '' ''A E F→ compact. Kí hiệu
: '', : ''E Fj E E j F F→ → là phép nhúng chính tắc. Ta có '' E FA j j A= là ánh xạ compact.
Do Fj là phép đẳng cự nên suy ra A compact
17. 1.3.4 Không gian phản xạ và không gian thùng.
1.3.4.1 Không gian phản xạ.
Cho E là một không gian lồi địa phương, ta kí hiệu ( )' ',E E b∗
= với tôpô mạnh
( )',b b E E∗
= . Khi đó ( )'' ' 'E E= cũng là một không gian lồi địa phương và ta có thể so sánh
E với ''E
Với mọi x E∈ ta có phiếm hàm tuyến tính ( )J x trên 'E xác định bởi: ( )( ) ( )' 'J x x x x= với
mọi 'x 'E∈ . Vì { } ( )( )( ') '( ) 'x
J x x x x p x= ≤ với mọi ' 'x E∈ , ta có ( ) ''J x E∈ . Dễ thấy rằng
: '', ( )J E E x J x→ là đơn ánh tuyến tính
Tương tự trường hợp không gian định chuẩn, có thể đồng nhất E với không gian con
( )J E ''E⊂ . Tuy nhiên tôpô trên ( )E J E≡ có thể không trùng với tôpô trên E cảm sinh bởi
tôpô trên ''E .
Không gian lồi địa phương E gọi là nửa phản xạ nếu ''E E= như các không gian vectơ và
gọi là phản xạ nếu ''E E= như là các không gian lồi địa phương.
Định lí: Không gian lồi địa phương E nửa phản xạ nếu và chỉ nếu mọi tập bị chặn trong E
là compact yếu tương đối.
1.3.4.2 Không gian thùng.
Cho E là một không gian lồi địa phương. Ta gọi b** là tôpô địa phương trên E cảm sinh
bởi tôpô trên ''E .
Cho tập M E⊂ . M gọi là một cái thùng của E nếu M tuyệt đối lồi, đóng và hút, M gọi là
hút các tập bị chặn nếu mọi tập bị chặn B trong E , tồn tại 0λ > sao cho B Mλ⊂ .
Không gian lồi địa phương gọi là không gian tựa thùng nếu mọi cái thùng hút các tập bị
chặn là lân cận của 0. Không gian lồi địa phương gọi là không gian thùng nếu mọi cái thùng
đều là lân cận của 0.
Bổ đề: Nếu E là không gian tựa thùng và mọi tập tuyệt đối lồi, đóng và bị chặn của E đều
là đĩa Banach thì E là không gian thùng.
Mọi không gian tựa thùng, đầy đủ theo dãy là không gian thùng.
1.4 Tôpô xạ ảnh và tôpô quy nạp.
18. 1.4.1 Tôpô xạ ảnh.
Ta gọi một hệ xạ ảnh là một hệ có dạng { }:i i i I
E Eπ ∈
→ trong đó E là không gian vectơ và
với mọi i I∈ , iE là không gian lồi địa phương, :i iE Eπ → là ánh xạ tuyến tính.
Cho { }:i i i I
E Eπ ∈
→ là một hệ xạ ảnh. Họ các nửa chuẩn
( ):max i ip p M I
i M
π ε
∈
∈
với ip là nửa chuẩn liên tục trên ,iE i M∈ là hệ cơ bản các
nửa chuẩn của một tôpô lồi địa phương trên E , gọi là tôpô xạ ảnh trên E ứng với hệ xạ ảnh
đã cho.
Dễ thấy rằng ánh xạ tuyến tính : i
i I
E X
∈
Φ → Π , ( ) ( ( ))i i Ix xπ ∈Φ = là một đẳng cấu giữa E với
tôpô xạ ảnh và ( )EΦ với tôpô tích. Tôpô xạ ảnh là tôpô yếu nhất để tất cả các ánh xạ iπ liên
tục.
Định lý: Mọi không gian lồi địa phương E đều có tôpô xạ ảnh ứng với một hệ xạ ảnh phù
hợp của các không gian Banach.
Chứng minh:
Giả sử { }α α∈Λ
là một hệ cơ bản các nửa chuẩn của E . Ký hiệu Eα là không gian Banach
địa phương theo nửa chuẩn . α
. Gọi τ là tôpô trên E tương ứng với hệ xạ ảnh
{ }: E Eα
α α
λ ∈Λ
→ . Vì tất cả các ánh xạ α
λ liên tục trên E nên τ yếu hơn tôpô trên E . Mặt
khác . α
là τ - liên tục với mọi α ∈Λ nên tôpô trên E yếu hơn tôpô τ . Vậy τ trùng với
tôpô xuất phát trên E .
1.4.2 Tôpô qui nạp . Giới hạn quy nạp.
Ta gọi một hệ quy nạp là một hệ có dạng { }:i i i I
j E E ∈
→ , trong đó E là không gian vectơ và
với mọi i I∈ , iE là không gian lồi địa phương, :i ij E E→ là ánh xạ tuyến tính.
Cho hệ quy nạp { }:i i i I
j E E ∈
→ . Nếu tồn tại một tôpô lồi địa phương mạnh nhất trên E để tất
cả các ánh xạ ij liên tục thì tôpô đó gọi là tôpô quy nạp trên E ứng với hệ quy nạp đã cho.
Cho hệ quy nạp đếm được { }:n n n
j E E ∈
→
thỏa mãn:
1) nE là không gian con của E và :n nj E E→ là phép nhúng.
2) 1n nE E +⊂ và phép nhúng 1n nE E +→ liên tục với mọi n∈ .
19. Nếu tồn tại tôpô quy nạp của hệ thì ( ),E τ gọi là giới hạn quy nạp của hệ { }:n n n
j E E ∈
→
.
Ký hiệu ( ), n nE ind Eτ →=
Nếu 2) được thay bởi
2’) nE là không gian tôpô con của 1nE + với mọi n∈ thì giới hạn quy nạp lúc đó gọi là giới
hạn quy nạp chặt.
1.4.3 Không gian chặn nội và siêu chặn nội.
Không gian lồi địa phương ( ),E t gọi là không gian chặn nội nếu t là tôpô quy nạp ứng với
hệ { }:i i i I
j E E ∈
→ của các không gian định chuẩn.
Không gian chặn nội còn có tên gọi là không gian bonologic hay không gian Mackey.
Định lý: Mọi không gian lồi địa phương khả mêtric là không gian chặn nội. Nếu E là
không gian chặn nội thì 'E là không gian đầy đủ.
Không gian lồi địa phương E gọi là không gian siêu chặn nội nếu E có tôpô của một hệ
quy nạp của một hệ { }:i i i I
j E E ∈
→ của các không gian Banach.
Không gian Schwartz:
Không gian lồi địa phương E gọi là không gian Schwartz nếu mọi lân cận tuyệt đối lồi U
trong E , tồn tại lân cận tuyệt đối lồi V sao cho mọi 0ε > , tồn tại các điểm 1,..., nx x V∈ để
cho ( )
1
n
i
i
V x Uε
=
⊂ + .
Không gian Montel:
Ta gọi không gian Montel là một không gian tựa thùng, mọi tập con bị chặn đều compact
tương đối.
Định lý: Nếu E là không gian Montel thì 'E cũng là không gian Montel.
1.5 Không gian Fretchet và DF- không gian.
1.5.1 Hệ cơ bản tăng các nửa chuẩn.
Cho E là không gian lồi địa phương có một hệ cơ bản các nửa chuẩn { }. n n∈
. Bằng cách
thay . n
bởi
1
.max j
j n≤ ≤
ta có thể giả thiết 1n n
x x +
≤ với mọi ,x E n∈ ∈ . Ta gọi một hệ có
tính chất trên là hệ cơ bản tăng các nủa chuẩn.
20. 1.5.2 Không gian Frechet.
Ta gọi một không gian lồi địa phương E cùng một mêtric đầy đủ sinh ra tôpô của E là
không gian Frechet.
Định lý: E là không gian Frechet, F là không gian con đóng của E thì /E F là không gian
Frechet.
1.5.3 DF- Không gian.
Một dãy các tập bị chặn { }n n
U ∈
của không gian lồi địa phương E gọi là một dãy cơ bản
các tập bị chặn nếu mọi tập bị chặn B của E tồn tại n∈ và 0λ > sao cho nB Uλ⊂ .
Một không gian lồi địa phương E gọi là DF- không gian nếu có các tính chất sau:
1) E có một dãy cơ bản các tập bị chặn .
2) Nếu V E⊂ là một tập hút các tập bị chặn và bằng giao của một dãy các lân
cận tuyệt đối lồi thì V là lân cận của 0 .
Định lý: Nếu E là không gian lồi địa phương khả mêtric thì 'E là DF- không gian đầy đủ.
Nếu E là DF- không gian thì 'E là không gian Frechet .
Hệ quả: Nếu E là không gian Frechet thì ''E là không gian Frechet và E có thể coi là
không gian con đúng của ''E .
1.6 Định lý Baire.
Cho ( ),X Τ là một không gian tôpô Hausdorff, thỏa mãn một (hoặc hai) tính chất sau đây:
(A) Tồn tại một mêtric d trên X với ( ),X d là một không gian mêtric đầy và Τ là một
tôpô mêtric.
(B) X là compact địa phương.
Giả sử có một dãy ( ) 1n n
F ≥
các tập con đóng của X sao cho 1 nn
X F
∞
=
= . Khi đó tồn tại số
nguyên 1n ≥ sao cho ( )nInt F ≠ ∅.