Bourbaki

Bài tập 6, § 1

Tích phân, IV, p. 119

Cho ff là một hàm số số học ≥0\geq 0 xác định trên X.

a) Chứng minh rằng, để ánh xạ μ↦μ∗(f)\mu \mapsto \mu^*(f) của M+(X)\mathscr{M}_+(X) vào R‾\overline{\mathbf{R}} là liên tục đối với tôpô vague, thì điều kiện cần (và đủ) là ff liên tục với giá compact (sử dụng Bài tập 2). Để μ↦μ∗(f)\mu \mapsto \mu^*(f) là nửa liên tục dưới đối với tôpô vague, thì điều kiện cần (và đủ, xem Mệnh đề 4) là ff nửa liên tục dưới.

b) Chứng minh rằng, để ánh xạ μ↦μ∗(f)\mu \mapsto \mu^*(f) của M+(X)\mathscr{M}_+(X) vào R‾\overline{\mathbf{R}} là liên tục đối với tôpô gần mạnh (Chương III, §1, Bài tập 8), thì điều kiện cần và đủ là ff bị chặn và có giá compact (phương pháp tương tự như của a)). Từ đó, suy ra rằng đối với mọi hàm f≥0f \geq 0 bằng không trên phần bù của một hợp đếm được các tập compact, ánh xạ μ↦μ∗(f)\mu \mapsto \mu^*(f) là nửa liên tục dưới đối với tôpô gần mạnh (sử dụng Định lý 3) (xem Bài tập 7 b)).

c) Chứng minh rằng, để ánh xạ μ↦μ∗(f)\mu \mapsto \mu^*(f) của M+(X)∩M1(X)\mathscr{M}_+(X) \cap \mathscr{M}^1(X) vào R‾\overline{\mathbf{R}} là liên tục đối với tôpô siêu mạnh (Chương III, §1, Bài tập 15), thì điều kiện cần và đủ là ff bị chặn; đối với mọi hàm f≥0f \geq 0 xác định trên X, μ↦μ∗(f)\mu \mapsto \mu^*(f) là nửa liên tục dưới đối với tôpô siêu mạnh.

d) Chứng minh rằng, để ánh xạ μ↦μ∗(f)\mu \mapsto \mu^*(f) của M+(X)∩M1(X)\mathscr{M}_+(X) \cap \mathscr{M}^1(X) vào R‾\overline{\mathbf{R}} là liên tục đối với tôpô yếu (Chương III, §1, Bài tập 15), thì điều kiện cần và đủ là ff liên tục trên X và tiến về 0 tại điểm ở vô cực; để μ↦μ∗(f)\mu \mapsto \mu^*(f) là nửa liên tục dưới đối với tôpô yếu, thì điều kiện cần và đủ là ff nửa liên tục dưới.

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.