Liên hợp của không gian c a,b

Khóa luận tốt nghiệp Trường ĐHSP Hà Nội TRƯỜNG ĐẠI HỌC SƯ PHẠM HÀ NỘI KHOA TOÁN ****** MẠC ANH VĂN LIÊN HỢP CỦA KHÔNG GIAN C  A, B  KHÓA LUẬN TỐT NGHIỆP ĐẠI HỌC Chuyên ngành: GIẢI TÍCH HÀ NỘI- 2013 Khóa luận tốt nghiệp Trường ĐHSP Hà Nội TRƯỜNG ĐẠI HỌC SƯ PHẠM HÀ NỘI KHOA: TOÁN ****** MẠC ANH VĂN LIÊN HỢP CỦA KHÔNG GIAN C  A, B  KHÓA LUẬN TỐT NGHIỆP ĐẠI HỌC Chuyên ngành: GIẢI TÍCH Người hướng dẫn khoa học TS BÙI KIÊN CƯỜNG HÀ NỘI- 2013 Khóa luận tốt nghiệp Trường ĐHSP Hà Nội Lời cảm ơn Khóa luận em đươc hoàn thành với bảo, hướng dẫn tận tình thầy giáo - tiến sĩ Bùi Kiên Cường Qua em xin bày tỏ lòng biết ơn sâu sắc tới thầy giáo tiến sĩ Bùi Kiên Cường, người trực tiếp tạo điều kiện giúp đỡ em suốt thời gian làm khóa luận Đồng thời em xin gửi lời cảm ơn chân thành tới thầy cô giáo tổ giải tích, thầy cô giáo khoa Toán trường ĐHSP Hà Nội tạo điều kiện tốt để em hoàn thành khóa luận tốt nghiệp Em xin chân thành cảm ơn! Hà Nội, tháng năm 2013 Sinh viên MẠC ANH VĂN Khóa luận tốt nghiệp Trường ĐHSP Hà Nội Lời cam đoan Khóa luận tốt nghiệp em hoàn thành hướng dẫn tận tình thầy giáo - tiến sĩ Bùi Kiên Cường, với cố gắng thân Trong trình nghiên cứu, em tham khảo kế thừa thành nghiên cứu nhà khoa học nhà nghiên cứu với trân trọng lòng biết ơn Em xin cam đoan khóa luận kết riêng thân, trùng lặp với đề tài nghiên cứu tác giả khác Nếu sai em xin hoàn toàn chịu trách nhiệm Hà Nội, tháng năm 2013 Sinh viên MẠC ANH VĂN Khóa luận tốt nghiệp Trường ĐHSP Hà Nội MỤC LỤC PHẦN MỞ ĐẦU CHƯƠNG 1: MỘT SỐ KHÁI NIỆM VÀ KẾT QUẢ CHUẨN BỊ 1.1.Không gian định chuẩn, không gian Banach 1.2.Không gian C  a, b  1.3.Hàm có biến phân bị chặn 10 1.4.Tích phân Riemann-Stieltjes 11 CHƯƠNG 2: LIÊN HỢP CỦA KHÔNG GIAN C  a, b  15 2.1.Định lí biểu diễn cho phiếm hàm tuyến tính bị chặn C[a,b] 16 2.2.Quan hệ tương đương hàm có biến phân bị chặn 20 2.3.Chuẩn hóa hàm biến phân bị chặn 24 2.4 Liên hợp không gian C  a, b  26 KẾT LUẬN 28 TÀI LIỆU THAM KHẢO 29 Khóa luận tốt nghiệp Trường ĐHSP Hà Nội PHẦN MỞ ĐẦU Lí chọn đề tài Giải tích hàm ngành toán học xây dựng vào nửa đầu kỉ XX xem ngành toán học cổ điển Nội dung hợp lí thuyết tổng quát xuất phát từ việc mở rộng số khái niệm kết Giải tích, Đại số, Phương trình vi phân… Trong trình phát triển từ đến nay, Giải tích hàm tích luỹ nội dung phong phú Những phương pháp kết mẫu mực giải tích hàm xâm nhập vào tất ngành toán học có liên quan có sử dụng đến công cụ Giải tích Ngoài ra, có ứng dụng vật lí lí thuyết số lĩnh vực khoa học khác Sự xâm nhập mặt mở chân trời rộng lớn cho ngành toán học nói trên, mặt khác đòi hỏi ngành Giải tích hàm phải đúc kết kết ngành toán học riêng rẽ để chừng mực đề mẫu toán học tổng quát trừu tượng Với mong muốn nghiên cứu tìm hiểu sâu môn giải tích hàm, em chọn đề tài “Liên hợp không gian C  a, b  ” làm đề tài khoá luận tốt nghiệp Nghiên cứu đề tài thấy định lý cần đủ không gian liên hợp C  a, b  Thông qua thấy vai trò quan trọng nhiều vấn đề giải tích ứng dụng vào lĩnh vực khác toán học nói riêng lĩnh vực khoa học khác nói chung Mục đích nghiên cứu Nghiên cứu lí thuyết định lý không gian liên hợp C  a, b  số ứng dụng để thấy vai trò quan trọng nhiều vấn Khóa luận tốt nghiệp Trường ĐHSP Hà Nội đề giải tích ứng dụng vào lĩnh vực khác toán học nói riêng lĩnh vực khoa học khác nói chung Đối tượng nhiệm vụ nghiên cứu Các kiến thức liên quan đến không gian tôpô, không gian metric, không gian định chuẩn, không gian Banach, không gian C  a , b  , hàm có biến phân bị chặn, tích phân Riemann-Stieljes Phương pháp nghiên cứu Sử dụng kết hợp phương pháp nghiên cứu: nghiên cứu lí luận, phân tích, tổng hợp, so sánh… Phạm vi nghiên cứu Nghiên cứu kiến thức liên quan đến định lý không gian liên hợp C  a, b  số ứng dụng Bố cục luận văn Phần mở đầu Nội dung khoá luận gồm hai chương: Chương 1: Một số khái niệm kết chuẩn bị Chương 2: Liên hợp không gian C  a, b  Kết luận Khóa luận tốt nghiệp Trường ĐHSP Hà Nội CHƯƠNG MỘT SỐ KHÁI NIỆM VÀ KẾT QUẢ CHUẨN BỊ 1.1.Không gian định chuẩn, không gian Banach 1.1.1 Không gian định chuẩn Định nghĩa 1.1 Ta gọi không gian định chuẩn (hay không gian tuyến tính định chuẩn) không gian tuyến tính X trường P với ánh xạ từ X vào tập số thực R , kí hiệu thỏa mãn tiên đề chuẩn sau đây: 1) (x  X ), x  0, x   x  0; 2) (x  X ), (  P ),  x   x ; 3) (x, y  X ), x  y  x  y Số x gọi chuẩn véc tơ x Ta kí hiệu không gian định chuẩn l X Ví dụ 1.1 Cho không gian véctơ l2 Đối với véctơ x  ( xn )  l2 ta đặt:  x  x n n 1 chuẩn l2 Không gian chuẩn tương ứng kí hiệu l2 Định nghĩa 1.2: Ta nói chuẩn không gian véctơ X tương đương tồn số C1, C2 thỏa mãn: C1   C Khóa luận tốt nghiệp Trường ĐHSP Hà Nội Chú ý: Trong không gian hữu hạn chiều, chuẩn tương đương Các chuẩn tương đương sinh tôpô Điều không không gian vô hạn chiều Định nghĩa 1.3: Một phép đẳng cấu hai không gian tuyến tính định chuẩn song ánh tuyến tính bị chặn Hai chuẩn tương đương  ánh xạ id : ( X , )  ( X , ) đẳng cấu ( id liên tục ánh xạ ngược liên tục) Ví dụ 1.2 Mỗi không gian Hilbert tách (tức tồn sở Hilbert đếm được) đẳng cấu với l2 1.1.2 Không gian Banach Định nghĩa 1.4: Một không gian Banach không gian tuyến tính định chuẩn đầy đủ (tức dãy hội tụ điểm không gian ấy) Ví dụ 1.2 a) Không gian Hilbert không gian Banach b) LP ( X , d  ) ,1  p   không gian Banach Định nghĩa 1.5: (Toán tử tuyến tính bị chặn) Một ánh xạ tuyến tính bị chặn (hay toán tử bị chặn) T hai không gian tuyến tính định chuẩn ( X , ) ( X , ) ánh xạ tuyến tính thỏa mãn  c  cho:  x  X , Tx  c  Tx Như biết từ trước đó, T bị chặn  T liên tục  T liên tục điểm Khóa luận tốt nghiệp Trường ĐHSP Hà Nội Ta định nghĩa chuẩn toán tử là: T  sup Tx x 1 Bổ đề 1.1: Chuẩn toán tử chuẩn không gian L( X , Y ) tất toán tử tuyến tính bị chặn từ X vào Y Chứng minh: Trước hết, ta chứng minh bất đẳng thức tam giác Vì chuẩn nên ta có: (T  S ) x  Tx  Sx  sup T x  Sx x  sup ( T x 1  Tx x 1  Sx ,  Sx 2 ) Mà sup ( T x x 1  Sx )  sup T x 2 x 1  sup Sx x 1  sup (T  S ) x  sup Tx  sup Sx x 1 x 1 x 1  T S  T  S Tiếp theo, ta chứng minh aT  a T Thật vậy, ta có: aT  sup aTx x 1 Vì chuẩn nên: aTx  a Tx Mặt khác, với số dương a sup a   a.sup   , đó: aT  sup aTx  sup a Tx x 1  a sup Tx x 1 x 1 2  a T Cuối cùng, ta chứng minh T   T  Nói cách khác, ta phải chứng minh Tx = x  X1 Ta thấy, T    x  1, Tx  Theo                   [...]... tính liên t c f x c định trên một không gian con M c a không gian định chuẩn X bao giờ c ng c thể khuếch thành một phiếm hàm tuyến tính liên t c F trên X , mà c F  f Hệ quả 1.2: Cho không gian định chuẩn X Với mỗi phần tử kh c không x0  X tồn tại một phiếm hàm tuyến tính liên t c f x c định trên toàn không gian X sao cho f ( xo )  xo và f  1 1.1.4 Không gian liên hợp Định nghĩa 1.6 : Cho X... Định nghĩa 1.6 : Cho X là một không gian định chuẩn Không gian liên hợp (hay c n gọi là không gian đối ngẫu) c a X , ký hiệu X * là tập hợp tất c c c phiếm hàm tuyến tính liên t c trên X Định lý 1.3 : (Định lý Riesz) Cho H là một không gian Hilbert th c Khi đó, với mọi F H thì tồn tại duy nhất hàm cho F ( x )  f , x , x  H Hơn nữa f  F Trường hợp đ c biệt ta coi H * là H Ví dụ: a) ( L2 )... tốt nghiệp Trường ĐHSP Hà Nội 2 1.1.3 Định lý Hahn-Banach Định lý 1.2: Cho một phiếm hàm tuyến tính f x c định trên một không gian con M c a một không gian véctơ th c X Nếu c một hàm dưới tuyến tính  x c định trong X sao cho (x  M ) f ( x)   ( x) thì phải c một phiếm hàm tuyến tính F ( x ) x c định trong toàn thể X sao cho: 1) F là khuếch c a f , nghĩa là: (x  M ) F ( x)  f ( x) 2) (x ... 2 tính chất tuyến tính thì  x  X 1 , Tx 2  0 Nhưng do 2 là một chuẩn nên Tx  0 , x  X1 Do đó T  0 Định lý 1.1: Nếu Y là một không gian Banach thì L( X , Y ) c ng là một không gian Banach Chứng minh : Rõ ràng L( X , Y ) là không gian tuyến tính định chuẩn Cho An là dãy Cauchy c c hàm trong L( X , Y ) khi đó: An  Am  0 khi m, n   n , m  Suy ra,  x  X ,  An ( x )  là dãy Cauchy Do... Bây giờ, ta chứng minh tính bị chặn: A( x) y  lim An ( x)  lim sup An x n  X Nhưng  An n N là dãy Cauchy Do đó nó bị chặn đều bởi hằng số C Do đó, Ax  C x X Vậy A  L( X , Y ) Cuối c ng, ta chứng minh rằng nó chính là giới hạn c a dãy An : ( An  A)( x)  lim ( An  Am )( x ) m  lim sup An  Am x m    (1) x Vậy An  A L ( X ,Y ) X X do An là dãy Cauchy  0 Định lý đư c chứng minh ... giải tích ứng dụng vào lĩnh v c kh c toán h c nói riêng lĩnh v c khoa h c kh c nói chung Đối tượng nhiệm vụ nghiên c u C c kiến th c liên quan đến không gian tôpô, không gian metric, không gian. .. hàm tuyến tính liên t c f x c định toàn không gian X cho f ( xo )  xo f  1.1.4 Không gian liên hợp Định nghĩa 1.6 : Cho X không gian định chuẩn Không gian liên hợp (hay gọi không gian đối ngẫu)... đẳng c u ( id liên t c ánh xạ ngư c liên t c) Ví dụ 1.2 Mỗi không gian Hilbert tách (t c tồn sở Hilbert đếm đư c) đẳng c u với l2 1.1.2 Không gian Banach Định nghĩa 1.4: Một không gian Banach không