TAÏP CHÍ ÑAÏI HOÏC SAØI GOØN Soá 19 - Thaùng 2/2014<br />
<br />
<br />
LUẬT SỐ LỚN DẠNG HỘI TỤ MOSCO CHO MẢNG<br />
CÁC BIẾN NG U NHIÊN ĐA TRỊ, HOÁN ĐỔI ĐƯỢC THEO HÀNG<br />
DƯƠNG XUÂN GIÁP(*)<br />
NGUYỄN THỊ QUỲNH HOA(**)<br />
TÓM TẮT<br />
Trong bài báo này, chúng tôi thiết lập luật số lớn dạng hội tụ osco cho mảng tam<br />
giác các biến ngẫu nhiên hoán đổi được theo hàng, nhận giá trị tập đóng trên không gian<br />
Banach khả li. Kết quả của chúng tôi thu được không cần giả thiết kì vọng bị chặn và c n<br />
mở rộng một kết quả của Inoue và Taylor.<br />
Từ khoá: luật số lớn dạng hội tụ osco, biến ngẫu nhiên đa trị, không gian Banach<br />
khả li<br />
ABSTRACT<br />
In this paper, we establish the law of large numbers for triangular array of row-wise<br />
exchangeable random sets in a separable Banach space in the Mosco sense. The results<br />
are obtained without bounded expectation conditions and improve the results by Inoue and<br />
Taylor.<br />
Keywords: the law of large numbers in the Mosco sense, random sets, separable<br />
Banach space<br />
1. PHẦN MỞ ĐẦU<br />
Trong mấy thập kỉ gần đây, luật số lớn cho các biến ngẫu nhiên đa trị dẫn tới nhiều<br />
ứng dụng trong các lĩnh vực khác nhau như: tối ưu hoá và điều khiển, hình học ngẫu nhiên,<br />
toán kinh tế, thống kê, y học,... Năm 2006, H. Inoue và R. L. Taylor thiết lập luật số lớn<br />
dạng hội tụ Mosco cho dãy các biến ngẫu nhiên hoán đổi được, nhận giá trị tập đóng trên<br />
không gian Banach khả li [4, tr. 271]. Gần đây, trong bài báo [5], Nguyễn Văn Quảng và<br />
Dương Xuân Giáp đã thiết lập các luật số lớn theo tôpô Mosco cho mảng tam giác các biến<br />
ngẫu nhiên độc lập theo hàng, nhận giá trị tập đóng trên không gian Rademacher dạng<br />
. Đây là bài báo đầu tiên thiết lập luật số lớn theo dạng hội tụ Mosco cho<br />
mảng tam giác các biến ngẫu nhiên đa trị. Tiếp nối hướng nghiên cứu này, chúng tôi đã<br />
thiết lập được luật số lớn theo dạng hội tụ Mosco cho mảng tam giác các biến ngẫu nhiên<br />
hoán đổi được theo hàng, nhận giá trị tập đóng trên một không gian Banach khả li. Trong<br />
bài báo [5], luật số lớn được thiết lập dưới điều kiện kì vọng bị chặn, tuy nhiên trong bài<br />
báo này chúng ta không cần giả thiết này. Kết quả của chúng tôi còn mở rộng một kết quả<br />
của Inoue và Taylor.<br />
2. KIẾN THỨC CHUẨN B<br />
Trong suốt bài báo này, chúng tôi luôn giả thiết rằng là một không gian xác<br />
suất đầy đủ, là không gian Banach khả li thực và là không gian đối ngẫu của<br />
nó.<br />
Ký hiệu là họ tất cả các tập con đóng khác rỗng của không gian Banach , là<br />
tập tất cả các số thực. Trên ta xác định một cấu trúc tuyến tính với các phép toán<br />
được định nghĩa như sau:<br />
<br />
(*)<br />
ThS.NCS, Trường Đại học Vinh.<br />
(**)<br />
Học viên Cao học 19 Toán - Trường Đại học Vinh.<br />
<br />
82<br />
trong đó<br />
Ánh xạ được gọi là biến ngẫu nhiên đa trị, nếu với mọi tập con mở U của<br />
thì tập con<br />
<br />
thuộc .<br />
Phần tử ngẫu nhiên được gọi là một lát cắt -đo được (hay nói gọn là lát cắt<br />
đo được) của X nếu với mọi .<br />
-đại số Effros trên là -đại số sinh bởi các tập con<br />
<br />
với U là một tập con mở trên . Khi đó, một hàm đa trị là đo được khi và<br />
chỉ khi là -đo được, nghĩa là với mọi , ta có .<br />
Một họ hữu hạn các biến ngẫu nhiên đa trị được gọi là hoán đổi được<br />
nếu<br />
<br />
với mọi và với mọi phép hoán vị của tập .<br />
Với mỗi biến ngẫu nhiên đa trị -đo được X, ta đặt<br />
<br />
Kì vọng của biến ngẫu nhiên đa trị được định nghĩa như sau<br />
với là tích phân Bochner thông thường.<br />
Cho một -đại số con của -đại số và một biến ngẫu nhiên đa trị -đo được<br />
(nghĩa là với mọi tập con mở của ). Với và<br />
xác định trên , ta định nghĩa:<br />
<br />
<br />
<br />
<br />
Cho , chúng ta kí hiệu: là bao đóng (theo chuẩn), là bao đóng (theo<br />
tôpô yếu), là bao lồi, là bao lồi đóng của .<br />
Hàm khoảng cách , hàm tựa của tương ứng được định nghĩa như sau<br />
<br />
<br />
<br />
Chúng ta còn định nghĩa<br />
Cho là một tôpô trên và là một dãy nhận giá trị trên . Đặt:<br />
<br />
<br />
với là một dãy con của . Các tập con và tương ứng gọi<br />
là giới hạn dưới và giới hạn trên của , liên quan đến tôpô .<br />
Chúng ta dễ dàng suy ra được rằng .<br />
Một dãy được gọi là hội tụ tới , theo dạng Kuratowski, tôpô , nếu hai đẳng<br />
thức sau đây được thỏa mãn<br />
<br />
83<br />
Trong trường hợp này, chúng ta sẽ viết . Rõ ràng, điều này đúng khi và<br />
chỉ khi<br />
<br />
Chúng ta ký hiệu (tương ứng ) là tôpô mạnh (tôpô sinh bởi chuẩn) (tương ứng, tôpô<br />
yếu) của . Một tập con được gọi là giới hạn dạng osco của dãy và được<br />
ký hiệu bởi nếu<br />
<br />
Điều này đúng khi và chỉ khi<br />
<br />
Hội tụ Mosco cho dãy các biến ngẫu nhiên đa trị được định nghĩa như trên bằng cách thay<br />
thế bởi và bởi , các phát biểu là đúng hầu chắc chắn (h.c.c.).<br />
3. KẾT QUẢ CHÍNH<br />
Cho biến ngẫu nhiên đa trị , ta kí hiệu là -đại số sinh bởi , nghĩa là<br />
-đại số bé nhất mà đo được. Để chứng minh kết quả chính, chúng ta cần bổ đề sau:<br />
Bổ đ .1. [6] Giả sử là một mảng tam giác các phần tử trên<br />
không gian Banach thỏa mãn:<br />
,<br />
tồn tại hằng số C sao cho , với mọi<br />
Khi đó, ta có khi .<br />
Khi thiết lập luật số lớn cho mảng tam giác các biến ngẫu nhiên nhận giá trị tập đóng, nếu<br />
sử dụng kĩ thuật chứng minh như của H. Inoue và R. L. Taylor thì không thu được kết quả.<br />
Vì thế, chúng tôi phải sử dụng thêm Bổ đề 3.1 và đưa ra phương pháp mới để xây dựng<br />
mảng các lát cắt, cũng như đưa ra một số kĩ thuật biến đổi khác.<br />
Định lí .2. Cho là một mảng tam giác các biến ngẫu nhiên<br />
hoán đổi được theo hàng, nhận giá trị tập đóng trên không gian Banach khả li. Giả sử<br />
rằng<br />
<br />
với mọi và là một hàm đo được. Khi đó, nếu tồn tại sao<br />
cho:<br />
+) Với mỗi , tồn tại mảng tam giác thỏa mãn điều kiện<br />
hoán đổi được theo hàng, và khi với mỗi và<br />
với mọi .<br />
+) Với mỗi khi và với mọi ,<br />
<br />
thì<br />
<br />
<br />
<br />
Chứng minh. Đặt . Đầu tiên, chúng ta sẽ chứng tỏ rằng<br />
h.c.c. Để làm được điều này, chúng ta sẽ sử dụng Bổ đề 3.1. Với mỗi<br />
<br />
<br />
<br />
<br />
84<br />
và , theo Bổ đề 3.6[1], tồn tại (các phần tử<br />
<br />
chỉ phụ thuộc vào và ) sao cho<br />
<br />
Từ điều kiện , tồn tại một mảng tam giác sao cho với mỗi<br />
, mảng hoán đổi được theo hàng và<br />
khi , với mỗi và .<br />
<br />
Đặt với . Giả sử với . Khi<br />
đó, ta có<br />
<br />
<br />
<br />
<br />
Đặt , với và . Do mảng tam giác<br />
hoán đổi được theo hàng nên<br />
cũng là mảng các phần tử ngẫu nhiên hoán đổi được<br />
theo hàng.<br />
Từ , với mỗi , ta có khi , nghĩa là<br />
khi Chúng ta có<br />
<br />
(từ tính chất )<br />
<br />
85<br />
khi (theo bất đẳng thức hàm lồi).<br />
Từ đó, chúng ta có<br />
<br />
Điều này có nghĩa là<br />
<br />
Với mọi , ta có<br />
<br />
<br />
(do là ánh xạ tuyến tính)<br />
<br />
(theo định nghĩa phần tử ngẫu nhiên)<br />
với mọi<br />
khi (từ giả thiết ).<br />
Từ các khẳng định trên, chúng ta thấy rằng với mỗi , mảng tam giác<br />
thỏa mãn tất cả các điều kiện của Định lí 1[8].<br />
Áp dụng định lí này ta có<br />
h.c.c. khi , với mỗi .<br />
Điều này tương đương với<br />
<br />
h.c.c.<br />
Với mỗi chúng ta đặt<br />
<br />
Với mỗi , từ điều kiện hoán đổi được theo hàng và hội tụ<br />
theo trung bình bậc 2 theo cột tới khi nên chúng có kì vọng bị chặn. Do đó,<br />
chúng ta suy ra<br />
<br />
với mọi<br />
Từ , chúng ta suy ra khi , với mỗi (hội tụ theo kéo theo hội<br />
tụ theo ). Từ đó, ta có khi .<br />
Kết hợp điều này với , chúng ta nhận thấy rằng thỏa mãn<br />
tất cả các giả thiết của Bổ đề 3.1, với mỗi . Từ đó, áp dụng bổ đề này<br />
cho mảng chúng ta thu được<br />
khi với mỗi<br />
<br />
Từ đó, ta suy ra<br />
<br />
<br />
<br />
<br />
86<br />
Từ , chúng ta có<br />
<br />
<br />
<br />
<br />
Tương tự, từ , chúng ta thu được<br />
<br />
<br />
<br />
<br />
Chúng ta có khi . Từ đó, kết hợp với , , và<br />
chúng ta có<br />
<br />
<br />
<br />
Điều này kéo theo Vì vậy<br />
Tiếp theo, giả sử là một dãy trù mật trên . Từ định lí về sự khả li, tồn tại dãy<br />
thuộc với sao cho<br />
<br />
Khi đó, khi và chỉ khi với mọi .<br />
Từ là mảng tam giác các biến ngẫu nhiên hoán đổi được theo<br />
hàng, chúng ta suy ra là mảng tam giác các biến ngẫu<br />
nhiên hoán đổi được theo hàng, với mỗi . Đặt .<br />
Khi đó cũng là mảng tam giác các biến ngẫu nhiên hoán đổi<br />
được theo hàng.<br />
Lập luận tương tự, chúng ta suy ra rằng mảng tam giác thỏa<br />
mãn đầy đủ các điều kiện của Định lí 1[8] cho trường hợp biến ngẫu nhiên nhận giá trị<br />
thực, với mỗi . Khi đó, áp dụng bổ đề này, chúng ta có<br />
h.c.c. khi , với mọi<br />
Điều này có nghĩa là<br />
h.c.c. khi , với mọi<br />
Hơn nữa, từ và , chúng ta có<br />
<br />
87<br />
khi với mọi<br />
Từ đó, do tính hoán đổi được theo hàng của mảng tam giác các biến ngẫu nhiên<br />
, ta suy ra mảng tam giác này có kì vọng bị chặn.<br />
Áp dụng Bổ đề 3.1, ta có<br />
<br />
<br />
<br />
Từ đó, với mỗi , h.c.c. khi . Nghĩa là, tồn tại<br />
, sao cho với mọi khi<br />
.<br />
Với mỗi nếu thì khi , trong đó<br />
.<br />
Từ đó, chúng ta thu được<br />
<br />
Từ đó suy ra . Vì vậy, h.c.c.<br />
<br />
4. KẾT LUẬN<br />
Bài báo này đã thiết lập được luật số lớn dạng hội tụ Mosco đối với mảng tam giác các<br />
biến ngẫu nhiên hoán đổi được theo hàng, nhận giá trị tập đóng trên không gian Banach<br />
khả li. Đây là sự tổng quát một kết quả của H. Inoue and R.L.Taylor (2006) đăng trên tạp<br />
chí Stochastic Analysis and Applications (SCIE). Để chứng minh được kết quả chính, các<br />
tác giả đã đưa ra được một số kĩ thuật mới mà có thể áp dụng được cho lớp khá rộng các<br />
bài toán liên quan.<br />
<br />
TÀI LIỆU THAM KHẢO<br />
<br />
1. C. Castaing, N. V. Quang and D. X. Giap (2012), Mosco convergence of strong law of<br />
large numbers for double array of closed valued random variables in Banach space,<br />
Journal of Nonlinear and Convex Analisis, Vol. 13, No. 4, pp. 615-636.<br />
2. C. Castaing, N. V. Quang and D. X. Giap (2012), Various convergence results in<br />
strong law of large numbers for double array of random sets in Banach spaces, Journal<br />
of Nonlinear and Convex Analisis, Vol. 13, No. 1, pp. 1-20.<br />
3. Y. S. Chow and H. Teicher, Probability Theory, Springer, New York, 1978.<br />
4. H. Inoue and R.L.Taylor (2006), Law of large numbers for exchangeable random sets<br />
in Kuratowski-Mosco sense, Stochastic Analisis and Applications, Volume 24, Issue 2,<br />
pp. 263-275.<br />
5. N. V. Quang and D. X. Giap (2013), Mosco convergence of SLLN for triangular<br />
arrays of rowwise independent random sets, Statistics and Probability Letters, 83, pp.<br />
1117-1126.<br />
6. N. V. Quang and D. X. Giap (2013), SLLN for double array of mixing dependence<br />
random sets and fuzzy random sets in a separable Banach space, Journal of Convex<br />
Analisis, Vol. 20, No. 4.<br />
<br />
<br />
88<br />
7. R. L. Taylor, P. Z. Daffer and R. F. Patterson (1985), Limit theorems for sums of<br />
exchangeable variables, Rowman $\&$ Allanheld Publishers, Totowa N.J.<br />
8. R. L. Taylor and R. F. Patterson (1985), Strong laws of large numbers for arrays of<br />
row-wise exchangeable random elements, Internat. J. Math. Math. Sci., Vol. 8, No.<br />
1, 135-144.<br />
Bài báo này được tài trợ bởi uỹ phát triển khoa học và công nghệ quốc gia Vietnam<br />
(NAFOSTED).<br />
<br />
* Ngày nhận bài: 4/4/2013. Biên tập xong: 18/2/2014. Duyệt đăng: 24/2/2014.<br />
<br />
<br />
<br />
<br />
89<br />