21

DUNG LƯỢNG VÀ DẠNG ĐẠI SỐ
CỦA CÁC ÁNH XẠ ĐA TRỊ GIẢI TÍCH
Bành Đức Dũng
Trường Đại học Giao thông Vận tải tp.Hồ Chí Minh
Khái niệm ánh xạ đa trị giải tích lần đầu tiên được đưa ra bởi Oka vào năm
1934 khi tổng quát hóa một định lý của Hartogs. Sau đó, Nishino và Yamaguchi
đã đưa ra những phép chứng minh về các kết quả của Oka và mở rộng chúng.
Năm 1981, trong một hoàn cảnh khác, Slodkowski đã nghiên cứu các ánh xạ đa
trị giải tích và dùng các tính chất của chúng để giải quyết các vấn đề trong đại số
Banach và đại số đều, đồng thời ông cũng đưa ra một số đặc trưng mới cho các
ánh xạ đa trị giải tích và tổng quát hóa cho trường hợp nhiều chiều (xem [4]).
Trong bài viết này, kết quả đầu tiên mà chúng tôi muốn giới thiệu (định lý
3) là sự tổng quát hóa một định lý của Aupetit (xem [3]) về mối quan hệ giữa các
ánh xạ đa trị giải tích và dung lượng các ảnh của nó. Các ánh xạ đa trị hữu hạn có
dạng “đại số” (các ánh xạ mà ảnh của nó tại mỗi điểm là tập không điểm của một
đa thức với hệ số thích hợp) cũng giải tích và đã được sử dụng nhiều khi xét các
ánh xạ đa trị giải tích (trong trường hợp một biến phức, xem [1]). Một câu hỏi đặt
ra là, ngược lại, một ánh xạ đa trị giải tích hữu hạn có thể biểu diễn được dưới
dạng “đại số“ hay không và điều này có còn đúng cho trường hợp nhiều biến
không? Định lý 4 cho một câu trả lời khẳng định về vấn đề này.
Trước hết, chúng ta nhắc lại một vài kí hiệu cơ bản.
Cho X và Y là các không gian metric. Kí hiệu

22

P (Y) = {các tập con của Y},
F
c

'G
K

(
'G
K

là đồ thị của K
G’
), hàm

xác định
bởi

(

) = sup {

(

, z) : z K (

)}
là đa điều hòa dưới trên G’.
Giả sử G là một miền trong C
n
, ta có các định lý sau đây.
Định lý 3. Cho K : G  F
c
(C


EC
n
.
Chứng minh. Trước hết, ta chứng minh cho trường hợp k = 1. Giả sử (i)
không xảy ra, nghĩa là tập
E = {

 G :  K (

) < } có 0)(
22



EC
n
.
Khi đó, tồn tại số nguyên r  1 sao cho
E
r
= {

 G :  K (

)  r } có 0)(
22


 rn

G.
Đặt r = sup { K (

) :

 G }. Ta sẽ chứng minh r là số cần tìm. Thật vậy,
giả sử ngược lại rằng tồn tại một số r ’  r sao cho 0)(
'22


 rn
EC với E
r’
= {


G :  K (

)  r ’}. Chứng minh hoàn toàn tương tự như trên, ta lại có  K (

)  r
’ với mọi

 G. Điều này là mâu thuẫn với sup { K (

) :

 G}. Như vậy,
trường hợp k = 1 đã được chứng minh.
Trong trường hợp k bất kì, ta vẫn giả sử rằng 0)(


 G :  K
i
(

) < , i = 1, 2, , k}.
Do đó 0)(
22



i
n
EC với E
i
= {

 G :  K
i
(

) < }. Theo trên, định lý
đã đúng với k = 1 nên với mỗi i = 1, 2, , k tồn tại số r
i
 1 sao cho  K
i
(

)  r
i

k
i
rK
11
) (



với mọi

 G.
Nhưng vì K (

)  ) (
1

i
k
i
K

 với mọi

 G, do đó, K (

) 
i
k
i
r

cho 0)(
'22


 rn
EC với E
r’
= {

 G : K (

)  r’} và do đó, tồn tại ít nhất i, i
=1, 2, , k, sao cho r ’ < r
i
và K (

)  r
i
với mọi

 G. Nhưng điều này là mâu
thuẫn với tập
i
r
i
E ={

G : K
i
(

) = {z  C
k
:



r
J
Ji
j
niza
0
, ,2,1,0)(

} với mọi

 G,

25

trong đo r = sup { K (

) :

 G}, )(

i
J
a là các hàm chỉnh hình không đồng
nhất bằng không trên G với mọi i = 1, 2, , n;  J  = r.

(

) = {

}  K (

)
với mọi

 G, ta có thể đồng nhất K (

) với 
-1
(

), nghĩa là ta có thể xem
( K(

)) =

. Hơn nữa, từ tính giải tích của 
K
và tính Stein của G suy ra tồn tại
một ánh xạ chỉnh hình f từ một lân cận của 
K
vào G sao cho
K(

) = { z  G : f (




0
) (
J
Ji
J
za

, trong đó ) (

i
J
a là
các hàm chỉnh hình trên G. Từ K(

) = { z G : f(

, z) = 0}  r, với mọi

 G
ta có f
i
(

, z) =


r
J

0
) (

= 0, i = 1, 2, , n }
với mọi

 G, trong đó ) (

i
J
a  0 với mọi i = 1, 2, , n,  J  = r.
Ngược lại, giả sử
K (

) = { z  C
k
:


r
J
Ji
J
za
0
) (

= 0, i = 1, 2, , n }
với mọi


(
1
(

)), trong đó 
2
là phép chiếu chính tắc
lên thành phần thứ hai. Từ đó, theo [2, Định lý 3.1] thì K là giải tích.
Hệ quả 5. Định lý duy nhất cho các ánh xạ đa trị giải tích hữu hạn). Cho K
và H là các ánh xạ đa trị giải tích hữu hạn từ G vào F
c
(C
k
). Nếu K và H bằng
nhau trên một tập con có phần trong khác rỗng của G thì K và H bằng nhau trên
G.
Tuy nhiên, trong trường hợp tổng quát khi K và H không hữu hạn thì kết
quả này không còn đúng nữa. Ví dụ sau đây cho ta thấy điều đó.
Ví dụ: Cho K, H : G  F
c
(C) là các ánh xạ đa trị cho bởi








0 1

 H (0).
TÀI LIỆU THAM KHẢO
1. Bành Đức Dũng. Một số tính chất của các ánh xạ đa trị giải tích, Luận
văn Thạc sỹ, (2001).
2. Trần Ngọc Giao. Hàm giá trị tập giải tích và thác triển của chúng, Luận
án PTS, (1991).
3. B. Aupetit. Analytic multivalued functions in Banach algebras and
uniform algebras, Adv. In Math, 44 (1982) 18 - 60.
4. Z. Slodkowski, Analytic set - valued functions and spectra, Math Ann.
256 (1981) 363 - 386.
CAPACITIES AND ALGEBRAIC FORMS
OF ANALYTIC MULTIVALUED FUNCTIONS
Banh Duc Dung

SUMMARY
In [3], Aupetit obtained a result about the capacities of analytic
multivalued functions in case of one-dimension. In this paper, we will extend the

28

result in the general case. We also found that a function would be finitely
multivalued if and only if it has the algebraic form.