Bourbaki

Bài tập 25, § 2

Tích phân, VI, p. 68

Bourbaki marks this one as harder than the rest.

Cho μ\mu là một độ đo dương trên T.

a) Cho f là một ánh xạ đo được vô hướng μ\mu của T vào một không gian Banach F, sao cho f(T)f(T) tương đối compact đối với σ(F,F′)\sigma(F, F'). Chứng minh rằng tồn tại một ánh xạ đo được μ\mu g của T vào F sao cho f−gf - g là không đáng kể địa phương vô hướng. (Xét ánh xạ h↦∫fh dμh \mapsto \int fh\, d\mu của L1(μ)L^1(\mu) vào F, và áp dụng Bài tập 24 cho nó, cũng dùng Bài tập 10 của Ch. IV, §7.)

b) Cho f là một ánh xạ đo được vô hướng μ\mu của T vào một không gian Fréchet phản xạ F. Chứng minh rằng tồn tại một ánh xạ đo được μ\mu g của T vào F sao cho f−gf - g là không đáng kể địa phương vô hướng (xem Bài tập 15 b)). (Rút gọn về trường hợp T compact, dùng Mệnh đề 14 của Ch. IV, §5, No. 9. Tiếp theo, áp dụng Bài tập 23 c) của §1 để rút gọn về trường hợp f(T)f(T) bị chặn trong F. Sau đó nhúng F vào một tích đếm được các không gian Banach, và dùng a).)

c) Cho f là một ánh xạ của T vào một không gian Fréchet F, μ\mu-đo được đối với tôpô σ(F,F′)\sigma(F, F'). Chứng minh rằng f là μ\mu-đo được đối với tôpô ban đầu của F. (Rút gọn về trường hợp T compact và f liên tục đối với tôpô σ(F,F′)\sigma(F, F'); kết luận như trong b).)

Lời giải

Chưa có lời giải nào được viết.

Bản dịch máy từ tiếng Anh, bởi gpt-5-6-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.