Luận văn Thạc sĩ Toán học: Đối ngẫu của không gian lồi địa phương

Chia sẻ: Lavie Lavie | Ngày: | Loại File: PDF | Số trang:60

Thêm vào BST

Báo xấu

71
lượt xem 13
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Luận văn Thạc sĩ Toán học: Đối ngẫu của không gian lồi địa phương tập trung tìm hiểu về không gian đối ngẫu, hệ số đối ngẫu, ánh xạ liên hợp và ánh xạ đối ngẫu, tôpô trên không gian đối ngẫu, không gian thùng, không gian phản xạ và một số nội dung khác.

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Luận văn Thạc sĩ Toán học: Đối ngẫu của không gian lồi địa phương

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH -------------------- Đàm Văn Ngọc ĐỐI NGẪU CỦA KHÔNG GIAN LỒI ĐỊA PHƯƠNG Chuyên ngành : Toán giải tích Mã số : 60 46 01 LUẬN VĂN THẠC SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC PGS.TS ĐẬU THẾ CẤP Thành phố Hồ Chí Minh – 2009
BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC SƯ PHẠM TP. HỒ CHÍ MINH -------------------- Đàm Văn Ngọc ĐỐI NGẪU CỦA KHÔNG GIAN LỒI ĐỊA PHƯƠNG LUẬN VĂN THẠC SĨ TOÁN HỌC Thành phố Hồ Chí Minh – 2009
LỜI CẢM ƠN Em xin gửi lời cảm ơn sâu sắc đến PGS.TS Đậu Thế Cấp đã tận tình hướng dẫn, tạo mọi điều kiện thuận lợi giúp em hoàn thành luận văn này. Em cũng xin cảm ơn các quý thầy đã giảng dạy em trong suốt quá trình học cao học và các quý thầy trong hội đồng khoa học đã đọc và có những ý kiến đóng góp quý báu. Sau cùng, em xin chân thành cảm ơn các thầy cô làm việc tại phòng KHCN – SĐH đã giúp đỡ em rất nhiều trong quá trình học tập và khi thực hiện luận văn này.
MỤC LỤC Trang phụ bìa Lời cảm ơn Mục lục MỞ ĐẦU .......................................................................................................... 1 Chương 1. KIẾN THỨC CHUẨN BỊ 1.1. Không gian vectơ tôpô.......................................................................... 3 1.2. Không gian vectơ khả mêtric ................................................................ 4 1.3. Tập bị chặn, hoàn toàn bị chặn và compăc ........................................... 6 1.4. Không gian đầy đủ ................................................................................ 7 1.5. Ánh xạ tuyến tính.................................................................................. 7 1.6. Không gian lồi địa phương ................................................................... 7 1.7. Định lý Hahn- Banach và nguyên lý bị chặn đều ............................... 11 Chương 2. LÝ THUYẾT ĐỐI NGẪU 2.1. Không gian đối ngẫu ........................................................................... 12 2.2. Hệ đối ngẫu ......................................................................................... 15 2.3. Pôla...................................................................................................... 19 2.4. Song pôla............................................................................................. 21 2.5. Ánh xạ liên hợp và ánh xạ đối ngẫu ................................................... 23 2.6. Tôpô trên không gian đối ngẫu. Định lí Mackey-Arens..................... 25 2.7. Tôpô mạnh .......................................................................................... 30 Chương 3. MỘT SỐ KHÔNG GIAN LỒI ĐỊA PHƯƠNG ĐẶC BIỆT 3.1. Không gian thùng................................................................................ 35 3.2. Không gian phản xạ ............................................................................ 40 3.3. (DF) - Không gian............................................................................... 43
3.4. Đặc trưng đối ngẫu của không gian Frechet (F - không gian) và (DF) - không gian................................................................................ 48 KẾT LUẬN .................................................................................................... 54 TÀI LIỆU THAM KHẢO ............................................................................ 55
MỞ ĐẦU 1. Lý do chọn đề tài Lý thuyết đối ngẫu, đặc biệt là đối ngẫu của không gian lồi địa phương có vai trò đặc biệt quan trọng trong chuyên ngành giải tích hàm nói chung và không gian vectơ tôpô nói riêng. Do đó, việc nghiên cứu một cách đầy đủ và phát triển lý thuyết đối ngẫu của không gian lồi địa phương là một vấn đề quan trọng và cần thiết. 2. Mục đích Tìm hiểu về lý thuyết đối ngẫu trên các không gian lồi địa phương tổng quát và một số lớp không gian lồi địa phương đặc biệt như : không gian phản xạ, không gian thùng và (DF) – không gian. 3. Đối tượng và phạm vi nghiên cứu Luận văn nghiên cứu lý thuyết đối ngẫu trên các không gian lồi địa phương tổng quát và một số lớp không gian lồi địa phương đặc biệt. 4. Ý nghĩa khoa học và thực tiễn Các kết quả của lý thuyết đối ngẫu của không gian lồi địa phương có nhiều ứng dụng trong giải tích phức nhiều biến, trong phương trình đạo hàm riêng và nhiều ngành toán học khác. 5. Cấu trúc của luận văn. Gồm ba chương Chương đầu giới thiệu các kiến thức cơ bản về không gian vectơ tôpô và không gian lồi địa phương, đồng thời nhắc lại một số kết quả của giải tích hàm được sử dụng trong các chương sau. Chương thứ hai trình bày các khái niệm của lý thuyết đối ngẫu của không gian lồi địa phương như : không gian đối ngẫu, hệ đối ngẫu và tôpô của hệ đối ngẫu, mà kết quả quan trọng nhất là định lý Mackey-Arens.
Chương cuối của luận văn nhằm mục đích trình bày một số lớp không gian lồi địa phương có nhiều ứng dụng gồm : không gian thùng, không gian phản xạ và đặc biệt là (DF) - không gian, lớp các không gian chứa các không gian đối ngẫu của các không gian Frechet. Các kết quả quan trọng trong các không gian đó được xây dựng dựa trên các kết quả của lý thuyết đỗi ngẫu.
Chương 1. KIẾN THỨC CHUẨN BỊ Chương này trình bày các kiến thức cơ bản và một số kết quả trong không gian vectơ tôpô, không gian lồi địa phương được sử dụng trong các các chương sau . 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 ( K  R hoặc K  C ). 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ơ E 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. Định lý Cho E là một 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 từ 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   K,   0 , á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ì U,   0 là lân cận của 0. Theo định lý 1.1.2, 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 gọi vắn tắt là lân cận. 1.1.3. Định nghĩa  Tập con A của không gian vectơ E gọi là hút nếu UnA  E . Gọi là cân n 1 nếu x  A thì với mọi   K,   1 đều có x  A .
1.1.4. Định lý Nếu U là một cơ sở lân cận trong E thì với mọi U  U ta có: 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 1.1.5. Hệ quả Trong không gian vectơ tôpô, mọi lân cận U đều chứa một lân cận đóng. 1.1.6. Hệ quả Cho U là một cơ sở lân cận của một không gian vectơ tôpô E. Khi đó E là Hausdorff nếu và chỉ nếu I U  0 UU 1.1.7. Định nghĩa nửa chuẩn và chuẩn Giả sử E là không gian vectơ. Hàm p xác định trên E và nhận giá trị thực gọi là nửa chuẩn trên E nếu i) p(x)  0, x  E. ii) p(x)   p(x), x  E. iii) p(x  y)  p(x)  p(y), x, y  E . Nửa chuẩn p gọi là một chuẩn nếu p(x)  0  x  0 . 1.1.8. Định nghĩa Một không gian vectơ cùng với một chuẩn trên nó gọi là không gian định chuẩn. 1.2. Không gian vectơ khả mêtric 1.2.1. Định nghĩa Không gian vectơ tôpô E gọi là không gian khả mêtric nếu tồn tại một mêtric d sinh ra tôpô của E.
1.2.2. Định lý Không gian vectơ tôpô Hausdorff E khả mêtric nếu và chỉ nếu E có một cơ sở lân cận đếm được. Trong trường hợp đó tồn tại hàm x  x từ E lên R thỏa mãn : a) x  x , x  E,   K,   1 ; b) x  y  x  y , x, y  E ; c) x  0  x  0 ; d) Mêtric d(x,y) = x  y sinh ra tôpô của E. Chứng minh Giả sử Vn  là một cơ sở lân cận cân của E thỏa mãn Vn 1  Vn 1  Vn với mọi n  N . (1) Với mọi tập con hữu hạn khác rỗng H  , đặt VH   Vn . Ta có VH là nH lân cận cân. Đặt p H   2 n . nH Từ (1) , bằng quy nạp theo số phần tử của H dễ dàng chứng minh p H  2 n  n  H  VH  Vn (2) (ở đây n  H nghĩa là n  k với mọi k  H ) . 1 khi x  VH , H Đặt : x   inf p H : x  VH  khi H, x  VH ta có hàm x a x từ E vào . Dễ thấy x   0;1 . Do VH cân nên 1) thỏa mãn. Hiển nhiên 2) đúng nếu x  y  1 . Bây giờ giả sử x  y  1 . Chọn   0 sao cho x  y  2  1 . Khi đó tồn tại các tập con hữu hạn H và K của N sao cho x  VH , y  VK và p H  x  ,p K  y   .
Vì p H  p K  1 nên tồn tại tập M sao cho p H  p K  p M . Do (1) ta có VH  VK  VM . Từ đó suy ra x  y  VM và x  y  p M  p H  p K  x  y  2 . Vậy có 2). Với mọi   0 , đặt S  x : x   . Ta có S2 n 1  Vn  S2 n với mọi n  N . (3) Thật vậy, x  Vn thì x  2 n , do đó Vn  S2 n . Mặt khác nếu x  2 n 1 thì tồn tại H sao cho x  VH và p H  2 n . Từ đó theo (2) ta có x  Vn . Do E Hausdorff nên theo hệ quả 1.4 và (3) ta có tính chất 3) trong định lý. Theo (3) ta cũng có S 0 là cơ sở lân cận của 0 trong E. Vậy có tính chất 4) trong định lý. 1.3. Tập bị chặn, hoàn toàn bị chặn và compăc 1.3.1. Định nghĩa Giả sử E là không gian vectơ tôpô. Tập con X  E gọi là bị chặn nếu với mọi lân cận U của 0  E , tồn tại   0 sao cho X  V . 1.3.2. Mệnh đề Giả sử E là không gian vectơ tôpô. Khi đó : a) Bao đóng của tập bị chặn là bị chặn b) Bội vô hướng của tập bị chặn là bị chặn c) Hợp hoặc tổng hữu hạn các tập bị chặn là bị chặn 1.3.3. Định nghĩa Giả sử E là không gian vectơ tôpô tập con X  E là hoàn toàn bị chặn nếu với mọi lân cận U của 0  E , tồn tại tập hữu hạn B  E để X  B  U .
1.3.4. Định nghĩa Giả sử E là không gian vectơ tôpô và X  E ta nói là tập compăc nếu mọi phủ mở của X, tồn tại một phủ con hữu hạn. 1.4. Không gian đầy đủ Cho không gian vectơ tôpô E. Dãy x n   E gọi là dãy Cauchy nếu mọi lân cận U, tồn tại n 0 , sao cho x m  x n  U , với mọi m,n  n 0 . Lưới x  D gọi là lưới Cauchy nếu mọi lân cận U, tồn tại 0 sao cho : x   x   U, ,   0 . Không gian vectơ tôpô E gọi là đầy đủ nếu mọi lưới Cauchy trong E đều hội tụ, gọi là đầy đủ theo dãy nếu mọi dãy Cauchy trong E đều hội tụ. Tập con A của E gọi là đầy đủ (đầy đủ theo dãy) nếu mọi lưới (dãy) Cauchy trong A đều hội tụ đến một điểm thuộc A. 1.5. Ánh xạ tuyến tính 1.5.1. Mệnh đề Nếu E và F là những không gian vectơ tôpô và f là một ánh xạ tuyến tính của E vào F thì f là liên tục trên E khi và chỉ khi f liên tục tại điểm gốc. 1.5.2. Định nghĩa Đặt L (E, F) là tập hợp các ánh xạ tuyến tính liên tục từ E vào F, T  L (E,F). Ta nói T là đồng liên tục nếu với mỗi lân cận V trong F, tồn tại một lân cận U trong E sao cho f (U)  V với mọi f  T . 1.6. Không gian lồi địa phương Tập con A của một không gian vectơ gọi là tập lồi nếu x, y  A,    0,1 , đều có (1   )x  y  A . Tập A lồi và cân được gọi là tập tuyệt đối lồi.
1.6.1. Định nghĩa Không gian vectơ tôpô E gọi là không gian lồi địa phương nếu E Hausdorff và E có một cơ sở lân cận gồm các tập lồi. 1.6.2. Bổ đề Cho E là một không gian vectơ tôpô Hausdorff. Khi đó, các mệnh đề sau đây là 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. 1.6.3. Định nghĩa Cho A là tập con của không gian vectơ E. Khi đó: p A (x)  x A  inf   0 : x A xác định một hàm từ E vào R , gọi là hàm cỡ, hay phiếm hàm Minkowski của tập A. 1.6.4. Bổ đề Với mọi tập con cân và hút A của không gian vectơ E,  A là một nửa chuẩn trên E. 1.6.5. Mệnh đề Giả sử E là không gian lồi địa phương và A là một tập bị chặn trong E.  n n  Khi đó bao tuyệt đối lồi (A)   x    i x i :   i  1, x i  A, i  1,n,n    i 1 i 1  của A cũng bị chặn. 1.6.6. 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 nếu và chỉ nếu o U là lân cận của 0  E và U  x  E : p(x)  1 , U  x  E : p(x)  1 . 1.6.7. Định nghĩa 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 : a) x  E, x  0, tồn tại U  U ,   0 sao cho x U . b) Mọi lân cận V của 0  E , tồn tại U U và   0 sao cho U V . Họ .   I các nửa chuẩn trên E gọi là hệ cơ bản các nửa chuẩn nếu hệ  các tập U   x : x    1 là một hệ cơ bản các lân cận của E. 1.6.8. Đị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 .   I của E có tính chất sau a) Mọi x  E, x  0, tồn tại   I sao cho x  0 b) Mọi ,  I tồn tại   I và C > 0 sao cho: max   ,    C   . 1.6.9. Bổ đề Nếu .   I là một họ các nửa chuẩn có các tính chất a) và b) trong định lý 1.6.7 thì họ các tập U  , (a)  x  E : x  a   , a  E,   I,   0 là cơ sở của tôpô lồi địa phương duy nhất trên E nhận .   I làm hệ cơ bản các nửa chuẩn. Nếu họ các các nửa chuẩn có tính chất b) mà không có tính chất a) thì với tôpô trên, E có một cơ sở lân cận lồi nhưng không Hausdorff. 1.6.10. Phương pháp xác định tôpô lồi địa phương Giả sử p I là một họ các nửa chuẩn trên không gian vectơ E. Kí hiệu (I) là họ các tập hữu hạn khác rỗng của I. Với mọi M  (I) , đặt
p M (x)  max p (x) M ta được họ các nửa chuẩn p M M (I) thỏa mãn tính chất b) trong định lý 1.6.8. Do đó theo bổ đề 1.6.9, họ các tập có dạng: U M, (a)  x  E : p M (x  a)   = I x  E : p (x  a)   = I U  , (a) M M với mọi M (I) ,   0, a  E là một cơ sở của một tôpô trên E. Với tôpô này, E là một không gian vectơ có một cơ sở lân cận lồi nhưng có thể không Hausdorff. Tôpô này là tôpô yếu nhất trên E để mọi nửa chuẩn p ,   I liên tục, gọi là tôpô sinh bởi họ nửa chuẩn p I . Nếu họ nửa chuẩn có tính chất a) trong định lý 1.6.7 thì E với tôpô nói trên là không gian lồi địa phương. Bây giờ giả sử U là một họ khác rỗng các tập con tuyệt đối lồi và hút của không gian vectơ E. Khi đó tôpô sinh bởi họ nửa chuẩn   U UU gọi là tôpô sinh bởi họ các tập tuyệt đối lồi và hút U . Nếu I U  0 thì E với UU tôpô nói trên là không gian lồi địa phương. 1.6.11. Định lý Cho E và F là các không gian vectơ tôpô sinh bởi các họ nửa chuẩn tương ứng là p I và q J . Khi đó, ánh xạ tuyến tính A : E  F liên tục nếu và chỉ nếu mọi  J tồn tại M  (I) và c > 0 sao cho: q (A(x))  c  p  (x), với mọi x  E . M 1.6.12. Định nghĩa Giả sử E là không gian lồi địa phương. Ta nói E là : a) Không gian Frechet (hay còn gọi là F-không gian) nếu nó khả mêtric và đầy đủ.
b) Không gian Banach nếu nó là không gian định chuẩn đầy đủ. 1.6.13. Định nghĩa Giả sử E và F là các không gian lồi địa phương. Ánh xạ tuyến tính f : E  F gọi là bị chặn địa phương nếu f biến tập bị chặn trong E thành tập bị chặn trong F. 1.7. Định lý Hahn- Banach và nguyên lý bị chặn đều 1.7.1. Định lý tách các tập lồi Giả sử F là không gian vectơ tôpô thực. A, B là hai tập lồi rời nhau trong E và A là mở. Khi đó tồn tại dạng tuyến tính liên tục f trên E và   R sao cho: f (x)  , x  A và f (x)  , x  B . 1.7.2. Định lý Giả sử p là một nửa chuẩn trong không gian vectơ thực E và f là dạng tuyến tính trên một không gian con M của E sao cho f (x)  p(x), x  M . Khi đó, tồn tại dạng tuyến tính g trên E thỏa mãn g(x)  f (x), x  M và g(x)  p(x), x  E . 1.7.3. Hệ quả Giả sử E là không gian vectơ trên trường K, a không thuộc E, p là một nửa chuẩn trên E. Khi đó, tồn tại phiếm hàm tuyến tính f trên E sao cho : f(a) = p(a) và f (x)  p(x) với mọi x E 1.7.4. Nguyên lý bị chặn đều Giả sử E là một không gian Banach, F là một không gian định chuẩn và f  I là một họ các ánh xạ tuyến tính liên tục từ E vào F. Khi đó nếu với mọi x  E , sup f  (x)   thì sup f    . I I
Chương 2. LÝ THUYẾT ĐỐI NGẪU Chương này chúng ta sẽ trình bày các vấn đề của lý thuyết đối ngẫu bao gồm : không gian đối ngẫu, hệ đối ngẫu và tôpô của hệ đối ngẫu. Bằng cách coi rằng các lân cận của điểm gốc là pôla của những tập nào đó trong không gian lồi địa phương, ta sẽ xác định được các tôpô lồi địa phương khác nhau trên đối ngẫu của một không gian lồi địa phương. Các tập hợp được sử dụng cho mục đích ấy là : lớp các tập hợp bị chặn. Định lý Mackey – Arens đặc trưng cho tất cả các tôpô lồi địa phương xác định cùng một hệ đối ngẫu cho trước, đó là các tôpô lồi địa phương mạnh hơn tôpô yếu và yếu hơn tôpô Mackey. 2.1. Không gian đối ngẫu 2.1.1. Định nghĩa Cho E là một không gian vectơ tôpô trên trường K. Ta kí hiệu E*  L(E,K) là không gian các dạng tuyến tính trên E, E  L (E,K) là không gian các dạng tuyến tính liên tục trên E. Khi đó, E* và E là các không gian vectơ trên K. E* gọi là không gian đối ngẫu đại số của E và E gọi là không gian đối ngẫu của E. Sau đây là một số tính chất trên không gian đối ngẫu của một không gian lồi địa phương 2.1.2. Bổ đề Cho p và q là hai nửa chuẩn trên không gian vectơ E. Nếu q(x) < 1 kéo theo p(x)  1 thì p(x)  q(x) với mọi x  E . Chứng minh Giả sử ngược lại, tồn tại x 0  E và   0 sao cho 0  q(x 0 )    p(x 0 ) x0 x Khi đó: q( )  1 nhưng p( 0 )  1, (mâu thuẫn).  
Vậy p(x)  q(x) với mọi x  E . 2.1.3. Định lý Cho E là một không gian lồi địa phương, f1 là một dạng tuyến tính liên tục trên một không gian con M của E. Khi đó, tồn tại f  E sao cho f M  f1 . Chứng minh Do f1 liên tục trên M nên tập V  x : f1 (x)  1 là một lân cận của 0. Từ đó, tồn tại lân cận tuyệt đối lồi U sao cho U  M  V . Với mọi x  M, x U  1 ta có: x  U nên x  U  M  V  f1 (x)  1 . Theo bổ đề 2.1.2 ta có: f1 (x)  x U , x  M . Theo định lí Hahn- Banach 1.7.2 tồn tại f  E* sao cho: f M  f1 và f (x)  x U , x  E . Ta chứng minh f  E . Thật vậy, với mọi   0 : x  U thì f (x)  x U  nên f liên tục tại 0 suy ra f liên tục trên E hay f  E . 2.1.4. Hệ quả Cho E là một không gian lồi địa phương. Khi đó với mọi a  E, a  0 , tồn tại f  E sao cho f (a)  1 . Chứng minh Đặt M  a là không gian sinh bởi a, f1 là phiếm hàm trên M xác định bởi f1 (a)   . Khi đó, với mọi , , 1 ,  2  K : f (1a   2a)  f1 ((1   2 )a)  1   2  f1 (1a)  f1 ( 2a) f1 ((a))  f1 (()a)    f1 (a) Vậy f1 là phiếm hàm tuyến tính trên M. Do E Hausdorff nên tồn tại lân cận tuyệt đối lồi U sao cho a  U . Với mọi   0, a  U thì f1 (a)   nên
f1 liên tục tại 0, do đó, f1 liên tục trên M. Theo định lý 2.1.3, tồn tại f  E sao cho f M  f1 . Từ đó ta có: f (a)  ,   K  f (a)  1 . 2.1.5. Định lý Cho E là một không gian lồi địa phương, A là tập con tuyệt đối lồi và a  A . Khi đó, tồn tại f  E sao cho: a) f(a) > 1 b) f (x)  1, x  A . Chứng minh Do a  A , E là Hausdorff nên có lân cận tuyệt đối lồi U sao cho 1 1 (a  U)  A   . Đặt B  A  U . Vì A tuyệt đối lồi nên U  B , suy ra B 2 2 tuyệt đối lồi, hút và  B   1 U . 2 Theo hệ quả 1.7.3, tồn tại f  E* sao cho f (a)  a B và f (x)  x B với mọi x  E . Do x  x B liên tục nên f liên tục tức là f  E . Ta chứng minh f (a)  a B  1. Giả sử f (a)  a B  1 . Vì a  B nên a  B với mọi   1. r 1 1 r 1 Lấy r > 1 sao cho a U   1 ( do  0 khi r  1 nên ta có thể r 2 r 1 1 lấy được như vậy). Do a  rB  rA  r U nên tồn tại x  A, y  U sao cho: 2 2 1 a  rx  ry hay x  a  y . Vì x  A nên x  a  U  x  a  U nên r 1 r 1 r 1 1 1 x  a U  a ya  ay  a U   1(mâu thuẫn). r U r U r 2 Vậy f(a) >1.
1 Vì U hút nên với mọi x  A , chọn   0 sao cho x  U . Ta có : 2 1 (1  )x  A  U  B nên (1  ) x B  (1  )x B  1 suy ra x B 1. 2 Vì f (x)  x B nên f (x)  1, x  A . 2.1.6. Hệ quả Cho A là tập con tuyệt đối lồi của một không gian lồi địa phương E và a  A . Khi đó, có f  E sao cho f (a)  f (A) . Chứng minh Theo định lý 2.1.5, tồn tại f  E sao cho: f(a) > 1 và f (x)  1, x  A . Vì f (A)    K :   1  B , mà B là tập đóng nên f (A)  B nên f (a)  B  f (a)  f (A) . 2.2. Hệ đối ngẫu 2.2.1 Định nghĩa hệ đối ngẫu Cho E, F là hai không gian vectơ trên cùng một trường vô hướng K. .,. : E  F  K là một dạng song tuyến tính. Ta gọi cặp ( E, F) là một hệ đối ngẫu nếu thỏa mãn hai điều kiện sau : 1) Với mỗi 0  x  E , tồn tại x  F sao cho x, x  0 2) Với mỗi 0  x  F , tồn tại x  E sao cho x, x  0 2.2.2. Chú ý Cho ( E, F) là hệ đối ngẫu thì với mọi x  F , x a x, x là dạng tuyến tính trên E và với x, x  F, x  x  x  E để: x, x  x  0  x, x  x, x Như vậy, ánh xạ x  x, x từ F vào E* là đơn ánh nên ta có thể đồng nhất F là không gian con của E* .