Định HahnÊBanach (tiếp theo), định ònh xạ mở,
và định BanachÊSteinhaus
Đức Hưng
Bộ Môn Giải Tích, Khoa Toòn-Tin Học, Trường ĐH KHTN, ĐHQG-HCM
Ngày 16 thòng 05 năm 2024
Nhắc lại: Định HahnÊBanach
Một còch ngắn gọn, định nói rằng một phiếm hàm tuyến tính liên tục
luôn có thể được mở rộng bảo toàn chuẩn.
Định (Định HahnÊBanach)
Cho M một không gian con của không gian định chuẩn Etrên trường
F=Rhoặc F=C. Mọi phiếm hàm tuyến tính liên tục Ttrên Mđều mở
rộng được thành một phiếm hàm tuyến tính liên tục e
Ttrên Esao cho
e
T=T.
Nhắc lại dụ 1: Cho x0 một vectơ khòc 0trong một không gian định
chuẩn E. Chứng minh có fEsao cho f= 1 f(x0) = x0.
Ý tưởng: Ta đặt một phiếm hàm tuyến tính trên không gian tuyến tính
con một chiều của Esinh bởi vectơ x0và mở rộng phiếm hàm đó lên E
bằng Định HahnÊBanach.
dụ
Cho E một không gian định chuẩn. Chứng minh rằng Ephân tòch
những vectơ trong E, nghĩa với mọi x ytrong E, nếu x=ythì tồn
tại fEsao cho f(x)=f(y).
Chứng minh: Đặt u=xy. x=ynên u= 0. vậy, dụ 1 cho ta
một phiếm hàm ftrong Evới f(u) = u = 0.
ftuyến tính, nên f(u) = f(x)f(y), nghĩa f(x)=f(y).
dụ
Chứng minh rằng với mọi xtrong không gian định chuẩn E, ta có:
x= supTxTE,T= 1.
Chứng minh: Nếu x= 0 thì đẳng thức luôn luôn đúng. Giả sử x= 0.
Với TE, ta có: Tx T∥∥x, nghĩa T Tx
x.
Lấy sup hai vế theo Tvới T= 1, ta có:
sup
T=1 T sup
T=1
Tx
x
1sup
T=1
Tx
x
x sup
T=1 Tx.
Mặt khòc, dụ 1 cho ta một phiếm hàm tuyến tính liên tục Tvới
T= 1 và T(x) = x. Từ đó, ta x=Tx supT=1 Tx.
Kết hợp với bất đẳng thức trên để có:
x= sup
T=1 Tx.
Đây điều cần chứng minh.