Nửa môđun và không gian lũy đẳng liên kết với dàn vectơ

Một phần của tài liệu Giải tích hàm lũy đẳng (Trang 34)

Các ví dụ về nửa môđun và không gian lũy đẳng quan trọng nhất của Giải tích lũy đẳng là các nửa môđun con của các dàn vectơ tôpô hay đối ngẫu của các nửa môđun con này theo nghĩa chúng có các phiếm hàm tuyến tính thỏa mãn các điều kiên khác như phiếm hàm a -tuyến tính chẳng hạn.

Nhắc lại rằng, một không gian vectơ V trên trường số thực { được sắp thứ tự

nếu V được trang bị với thứ tự bộ phận £ sao cho tất cả các phép tịnh tiến

xx +y và phép vị tự xlx bảo toàn thứ tự với l > 0 và x y, ÎV . Cùng các phép toán x Ú =y x Å =y sup{x y, } và x Ù =y inf{x y, }, V được gọi là một

dàn vectơ (trong trường hợp này, nhóm cộng của V là dàn có thứ tự). Một dàn vectơ tôpô là không gian vectơ tôpô Hausdorff V sao cho V là dàn vectơ, các phép toán

,

chuẩn tắc với tôpô trên V . Đặc biệt, dàn định chuẩn (tương ứng dàn Banach) là không gian định chuẩn (tương ứng không gian Banach) có cấu trúc của dàn vectơ sao cho các phép toán Ú = Å và Ù liên tục.

Cho V là dàn vectơ tôpô trên {, K là nửa nhóm con của nhóm cộng trong V

với tổng thông thường và M là tập con của V bất biến qua các phép tịnh tiến

xx +k trong đó k Î K. Giả sử thêm rằng KM là các nửa nhóm con lũy đẳng trong V với phép toán Ú = Å, các phép nhúng KVMV là các b -

đồng cấu.

Rõ ràng, V là nửa trường với các phép toán lũy đẳng Å = Ú = sup,  = + và K là nửa trường con của V . Ở đây, tích K´MM được định nghĩa bởi (k x, ) k x = +k x.

Mệnh đề 2.4

1. Các nửa trường VK là đóng nguyên (do đó là các tựa trường) với các phép toán lũy đẳng Å = sup và  = +, trường hợp này 1 = 0.

2. Mb -không gian lũy đẳng trên tựa trường K , tích K ´MM được định nghĩa bởi (k x, )  k x = +k x.. Đặc biệt dàn Vb -không gian lũy đẳng và Mb-không gian con lũy đẳng của V (cho dùM không cần phải là không gian con của V theo nghĩa thông thường).

3. Tích K´MM là hạn chế của tích trong nửa trường b-đầy đủ Vb tới

K´M .

Chứng minh

Ta sẽ chứng minh khẳng định đầu tiên. Các khẳng định còn lại có thể kiểm tra trực tiếp nhờ tính toán.

Bây giờ, ta chứng minh nửa trường K đóng nguyên. Với x Î K thì x có phần tử nghịch đảo x-1 = -x . Cho x b, Î Kxn = nx £b với n = 1,2, 3,... .Ta có

1 . x b n £ do đó x 1.b 1.b n n æ ö÷ ç

Åççè ÷÷÷ø= . Do tính liên tục của tích thông thường và tổng lũy đẳng nên 1 1 lim . lim . n n x x x b x b n n ¥ ¥ æ ö÷ æ æ öö÷÷ ç ç ç Å = Å = Å çç ÷÷÷= çç Åçç ÷÷÷÷÷÷= = è ø è è øø 1 0 0 1,

suy ra x Å =1 1 hay x £1. Từ đó K đóng nguyên. Chứng minh tương tự ta được

V đóng nguyên.

Mệnh đề được chứng minh.

Định nghĩa 2.12. Ta gọi b -không gian lũy đẳng M trong mệnh đề 2.4 là một không gian dạng (V K, ).

Các ví dụ

Ví dụ 2.1. Giả sử K là nửa trường b-đầy đủ có phần tử không và K ¹ { }0,1 . Nửa nhóm Map(X K,) là nửa môđun lũy đẳng trên K (với phép nhân hàm với phần tử của K ) nhưng không là môđun chuẩn tắc nếu X ³2.

Các nửa môđun lũy đẳng USC X( ,{max) và LSC X( ,{max) không chuẩn tắc nếu

2

X ³ nhưng đều là các nửa môđun a -đầy đủ.

Ví dụ 2.2. Các nửa nhóm USC X( ), LSC X( ), Lp( )X và Conv(X,{) là các a -

không gian lũy đẳng trên nửa trường (và tựa trường) K = {(max,+) với phép nhân các hàm với các phần tử của K . Mở rộng chuẩn tắc của các nửa nhóm lũy đẳng này là các a -không gian lũy đẳng a -đầy đủ trên nửa trường b-đầy đủ {max và các nửa môđun a -đầy đủ trên nửa vành {max.

Ví dụ 2.3. Nửa vành {max là a -không gian lũy đẳng trên nửa trường {max. Tương tự, Map(X,{) là a -không gian lũy đẳng trên {max. Một cách rất tự nhiên, ta nói

( )

Map X,{ là không gian n chiều nếu Xn phần tử.

Ví dụ 2.4. Các không gian dạng (V K, )

2.4.1. C X( ) là không gian dạng (V K, ) với K là nhóm con của { và ( )

M =V =C X .

2.4.2. Với V =C X( ), K là nhóm con của  và M là nhóm con các hàm có giá trị nguyên thì M là không gian dạng (V K, ).

2.4.3. M là không gian dạng (V K, ) với 2

Chương 3

CÁC ĐỊNH LÍ CƠ BẢN 3.1. Định lí cơ bản về phiếm hàm

Giả sử Vb -không gian lũy đẳng trên tựa trường K .

Định nghĩa 3.1. Cho x ÎV. Kí hiệu x* là phiếm hàm định bởi

 ( ) { } : inf y k x x V K y x y k K y k x * * £  = Ù Î £ =    ( )3.1

Ta gọi x* là x -phiếm hàm trên V .

Nếu trong V tồn tại phần tử lớn nhất thì ta kí hiệu phần tử này là IV. Nhắc lại rằng I =V supV = infÆ. Tương tự, I =K supK . Lưu ý rằng IV* ( )y º 0K với mọi

y VÎ (ngoại trừ trường hợp y = IV ); 0V* ( )y = IK với y ¹ 0V0V* ( )0V = 0K.

Định lí 3.1. Cho Vb-không gian lũy đẳng trên tựa trường K. Với mọi x ÎV ta có x -phiếm hàm x* : yx y*( ) là phiếm hàm a -tuyến tính trên V .

Chứng minh

Thay KV bởi các b -mở rộng tương ứng và sử dụng Định nghĩa 2.8 và Mệnh đề 2.1 ta có thể giả sử Vb-đầy đủ và K là nửa trường b -đầy đủ. Thế thì

 { }V

V =V È I và K = K È I{ }K . Với x = IV ta có thể kiểm tra phát biểu của định lí một cách trực tiếp. Ta cần xét trường hợp x < IV . Theo Định nghĩa 2.4 và Định nghĩa 2.8 thì V chuẩn tắc nên y £x y*( )*x nếu

( ) { }

Gọi Y là tập con bất kì của nửa môđun V . Từ định nghĩa của ánh xạ ( )

yx y* dễ thấy x* bảo toàn thứ tự. Do đó

( ) sup{ ( ) } ( ) x Y* x y y* Y x* Y Å = Î £ Å . Nếu K y( ) {= k ÎK y £kx}= Æ thì ( ) K x* ÅY = I , Åx Y*( )= sup{x y y*( ) ÎY}= IK

với I =K supK = supK. Vậy nên trong trường hợp này x*(ÅY)= Åx Y*( ). Mặt khác

( )

x Y* )x ³ x y*( )x ³y

với mọi y ÎY nên (Åx Y*( ))x ³ ÅY dẫn đến Åx Y*( )³x*(ÅY). Ta đã chứng minh được Åx Y*( )£ x*(ÅY) nên

( ) ( )

x* ÅY = Åx Y* ( )3.2

hay phiếm hàm yx y*( ) là a -đồng cấu.

Bây giờ ta sẽ chứng minh phiếm hàm này thuần nhất, nghĩa là ( ) ( )

kx y* = x k* y ( )3.3 với mọi k ÎKy VÎ . Giả sử p là phần tử khả nghịch của Ky là phần tử bất kì của V . Vì phép nhân với p hay phép vị tự là một tự đồng cấu của K nên

( ) { } { } ( )

pK y = pk Î K y £kx = k Î K py £ kx = K py

Do đó K p( y)= Æ nếu K y( ) = Æ dẫn tới x y*( ) = x*(py)= IK và ( ) ( )

( ) ( ) ( ( )) ( ) ( )

px y* = p ÙK y = Ù pK y = ÙK py = x* py

Từ đó tính thuần nhất ( )3.3 được chứng minh với mọi phần tử khả nghịch

p = Îk K . Trường hợp k = 0 thì 0x y*( ) = =0 x*( )0 = x*(0y). Vậy phiếm hàm x* thuần nhất.

Định lí được chứng minh.

Mệnh đề 3.1. Cho V là nửa môđun chuẩn tắc trên nửa vành b-đầy đủ K (chẳng hạn

Vb-không gian b -đầy đủ). Gọi f là phiếm hàm a -tuyến tính trên V sao cho

f có giá trị 1f( )IV > 1 với I =V supV . Khi đó tồn tại duy nhất x -phiếm hàm ( )

yx y* sao cho x y*( )³ f y( ) với mọi y VÎ và x y*( ) = f y( ) nếu f y( ) khả nghịch trong K trong đó x = Å{y ÎV f y( )£1} Chứng minh Đặt x = Å{y ÎV f y( )£ 1} thì rõ ràng f x( )= 1. Do f ( )IV <1 ta có V x ¹ I . Nếu y VÎ và f y( ) khả nghịch thì ( ) ( ) 1 ( ) (( ( )) 1 ) f y - f y f f y - y = = 1   . D0 đó ( ( )) 1 x ³ f y - y nên f y( )x ³y dẫn đến x y*( )£ f y( ). Mặt khác, vì ( ) x y* x ³y nên x y*( )= x y*( ) f x( )³ f y( ). Từ đó x y*( ) = f y( ) nếu ( ) f y khả nghịch. Mệnh đề được chứng minh.

Bổ đề 3.1. Cho K là nửa trường b -đầy đủ khác đại số Bool { }0 1, thì { }

(K \ ) inf(K \{ })

= Ù =

Chứng minh

Đặt m = Ù(K \{ }0 ). Từ giả thiết suy ra tồn tại phần tử khả nghịch k ¹1. Ta có thể giả sử k <1 (trong trường hợp ngược lại ta thay k bởi ( ) 1

k -

Å

1 ). Theo

cách đặt m ta có m £ <k 1. Nếu m ¹ 0 thì các phần tử mmm khả nghịch và mm < m1< m trái với định nghĩa của m. Điều này chứng tỏ m = 0. Bổ đề được chứng minh.

Định lí 3.2. Cho Vb-không gian lũy đẳng trên tựa trường K. Với mọi phiếm hàm a -tuyến tính f ¹ q (phiếm hàm không) xác định trên V , tồn tại duy nhất

b

x ÎV sao cho f có dạng f = x*. Nếu K ¹ { }0 1, thì x = Å{y ÎV f y( )£1}. Trong trường hợp ngược lại x = Å{y ÎV f y( ) = 0}.

Chứng minh

Thay KV bởi các b -mở rộng tương ứng và sử dụng Định nghĩa 2.8 và Mệnh đề 2.1 ta có thể giả sử Vb-đầy đủ và K là nửa trường b-đầy đủ. Giả sử

f là phiếm hàm a -tuyến tính khác q xác định trên V và f V:   K là mở rộng của f lên V.

Trước tiên, giả sử rằng K = { }0 1, . Đặt x = Å{y ÎV f y( ) = 0}. Thế thì ( )

f y = 0 nếu y £xf y( )=1 nếu ngược lại. Do vậy f = x*. Khi x = IV ta có

( )V f I = 0  do f ¹ q. Vậy x ÎV =Vb. Xét trường hợp K ¹ { }0 1, . Áp dụng Bổ đề 3.1 ta có 0 = Ù(K \{ }0 ). Đặt ( ) { }

x = Å y ÎV f y £ 1 . Nếu x = IV thì f( )IV £1 với f ¹ q (do tính thuần nhất nên miền giá trị của f chứa tất cả các phần tử khả nghịch của K , kể cả các phần tử k >1). Chứng tỏ x ÎV =Vbf x( )= 1.

Trong chứng minh của Mệnh đề 3.1, ta đã chỉ ra rằng x* ³ f và ( ) ( )

x y* = f y nếu f y( )ÎK \{ }0 . Do đó để chứng minh x* = f ta cần chỉ ra ( )

x y* = 0 khi f y( )= 0. Thật vậy, nếu f y( )= 0 thì f k( y)= <0 1 với

k ¹ 0. Nhưng điều này dẫn tới ky £x nếu k ¹ 0. Do đó kx ³y nếu k ¹ 0. Suy ra x y*( )£ Ù(K \{ }0 )= £0 x y*( ). Ta có điều phải chứng minh.

Định lí được chứng minh.

3.2. Định lí Hahn – Banach

Cho V là nửa môđun trên nửa vành lũy đẳng K. Nửa môđun conW của nửa môđun của V là nửa nhóm con W của V đóng với phép nhân với các hệ tử trong K. Lưu ý rằng bản thân W cũng là một nửa môđun trên K .

Định nghĩa 3.2. Cho Va -không gian lũy đẳng (tương ứng b -không gian lũy đẳng) trên tựa trường K . Nửa môđun con W của V được gọi là a -không gian con (tương ứng b-không gian con) của V nếu phép nhúng i W: V có mở rộng a -

tuyến tính (tương ứng b-tuyến tính) duy nhất W V (tương ứng WbVb) tới mở rộng của các nửa môđun xác định trên Kb.

Mệnh đề sau được suy ra trực tiếp từ các định nghĩa

Mệnh đề 3.2. Cho Va -không gian lũy đẳng (tương ứng b-không gian lũy đẳng) trên tựa trường KWa -không gian con (tương ứng b -không gian con) của V . Khi đó WW (tương ứng Wb) là các a -không gian lũy đẳng (tương ứng b -không gian lũy đẳng).

Định lí 3.3. Cho Vb-không gian lũy đẳng trên tựa trường KWb-không gian con của V . Mọi phiếm hàm a -tuyến tính trên W đều có mở rộng a -tuyến tính lên V .

Định lí 3.4. Cho Vb-không gian lũy đẳng. Nếu x y, ÎVx ¹ y thì tồn tại phiếm hàm a -tuyến tính f trên V sao cho f x( )¹ f y( ).

Chứng minh

Nếu x > y thì y x*( )>1y y*( )£ 1 do đó f = y* là phiếm hàm cần tìm. Trong trường hợp trái lại ta có x < IV . Khi đó ta không có x y*( )£1 nhưng

( )

x x* £1 suy ra f = x* là phiếm hàm thỏa mãn định lí. Định lí được chứng minh.

Nhận xét 3.1. Từ định nghĩa của không gian dạng (V K, ) ta có mỗi b -không gian con là một không gian dạng (V K, ) trên chính nó.

Nhận xét 3.2. Nửa môđun con C X( ) của USC X( ) không phải là b-không gian con vì phép nhúng tương ứng không phải là b-đồng cấu. Tuy nhiên C X( ) vẫn là

b -không gian lũy đẳng (cũng là a -không gian lũy đẳng) trên {(max,+) và các phiếm hàm a -tuyến tính trên C X( ) có các mở rộng a -tuyến tính tới USC X( ). Ta có thể mở rộng định lí 3.3 cho trường hợp này.

3.3. Định lí Banach – Steinhaus và định lí đồ thị đóng

Các phát biểu dưới đây có thể suy ra từ các định nghĩa. Các kết quả này tương tự như định lí Banach – Steinhaus và định lí đồ thị đóng trong Giải tích hàm thông thường. Trong mục này, ta luôn giả thiết rằng mọi a -không gian đều a -đầy đủ. Các kết quả này có thể mở rộng cho trường hợp các không gian không đầy đủ nhờ quá trình làm đầy.

Mệnh đề 3.3. Giả sử P = { }pa là họ các ánh xạ a -tuyến tính từ a -không gian

V vào a -không gian W và ánh xạ p V: W là tổng của các pa, nghĩa là ( ) sup{ ( ) }

Chứng minh Ta có ( ) { ( ) } { ( ) } ( ) { } ( ) sup sup sup p k x p k x p P k p x p P k p x p P k p x a a a a a a = Î = Î = Î =     

với mọi x ÎV nên p thuần nhất. Nếu X ÌV thì

( ) { ( ) } { ( ) } ( ) { } { { ( ) } } ( ) { } ( ) sup sup

sup , sup sup

sup p X p X p P p X p P p x x X p P p x x X p P p x x X p X a a a a a a a a Å = Å Î = Å Î = Î Î = Î Î = Î = Å Từ đó p là ánh xạ a -tuyến tính. Mệnh đề được chứng minh.

Hệ quả. Tổng của một họ các phiếm hàm a -tuyến tính là phiếm hàm a -tuyến tính.

Mệnh đề 3.4. Cho VW là các a -không gian. Ánh xạ tuyến tính p V: W

a -tuyến tính khi và chỉ khi đồ thị T của p đóng trong V W´ với tổng các tập con bất kì.

Chứng minh

Từ giả thiết suy ra phép nhúng i T: V W´ là a -tuyến tính. Chú ý rằng

p là hợp của ba ánh xạ a -tuyến tính: phép đẳng cấu x  (x p x, ( ))ÎT , phép nhúng i và phép chiếu V W´ W nên có điều phải chứng minh.

Mệnh đề được chứng minh.

3.4. Tích vô hướng, định lí Riesz - Fischer

Bây giờ, ta xét một lớp các không gian lũy đẳng mà trên đó có thể xác định cấu trúc tự nhiên của tích vô hướng.

Định nghĩa 3.3. Một b-không gian lũy đẳng A trên tựa trường K được gọi là b -

tính chất kết hợp). Nếu tích A A´  Aa -đồng cấu tách (tương ứng b-đồng cấu tách) thì b -nửa đại số A được gọi là a -chính quy (tương ứng b-chính quy).

Lí thuyết dàn vectơ là nguồn ví dụ quan trọng về các b-nửa đại số lũy đẳng.

Mệnh đề 3.5. Cho Ab-nửa đại số, với mọi phần tử khả nghịch x ÎA và với mọi

y Î A ta luôn có

( ) ( 1)

A

x y* = 1* yx- (3.4) Chứng minh

Một phần của tài liệu Giải tích hàm lũy đẳng (Trang 34)

Tải bản đầy đủ (PDF)

(50 trang)