Bourbaki

Bài tập 8, § 5

Tích phân, V, p. 100

Bourbaki marks this one as harder than the rest.

a) Cho ν\nu là một độ đo nguyên tử dương trên TT, và cho AA là một tập con ν\nu-khả tích phân của TT. Chứng minh rằng tập các giá trị của ν(X)\nu(X), khi XX chạy trên tập các tập con ν\nu-khả tích phân của AA, là đóng trong R\mathbf{R}. (Cho MM là tập hợp nhỏ nhất mang ν\nu. Giả sử A∩MA \cap M vô hạn và sắp xếp các điểm của A∩MA \cap M thành một dãy (an)(a_n), xét ánh xạ φ\varphi từ không gian tích {0,1}N\{0,1\}^\mathbf{N} vào R\mathbf{R} được xác định bởi φ((εn))=∑nεnν({an})\varphi((\varepsilon_n)) = \sum_n \varepsilon_n \nu(\{a_n\}), và chứng minh rằng nó liên tục.)

b) Suy ra từ aa) và Bài tập 7 b) rằng nếu μ\mu là một độ đo dương bất kỳ trên TT, và AA là một tập con μ\mu-khả tích phân của TT, thì tập các giá trị của μ(X)\mu(X), khi XX chạy trên tập các tập con μ\mu-khả tích phân của AA, là đóng trong R\mathbf{R}. Mở rộng kết quả này đến trường hợp μ\mu là một độ đo thực bất kỳ trên TT.

c) Suy ra từ Bài tập 7 b) rằng nếu μ\mu là một độ đo thực khuếch tán trên TT, thì tập các giá trị của μ(X)=μ+(X)−μ−(X)\mu(X) = \mu^+(X) - \mu^-(X), trong đó XX chạy trên tập các tập con ∣μ∣|\mu|-khả tích phân của TT, là một khoảng đóng của R\mathbf{R} (bị chặn hoặc không).

d) Cho một ví dụ về một độ đo nguyên tử dương ν\nu trên một không gian địa phương compact không compact TT, sao cho tập các giá trị của ν(X)\nu(X), trong đó XX chạy trên tập các tập con ν\nu-khả tích phân của TT, không đóng (lấy ν\nu sao cho inf⁡t∈Tν({t})>0\inf_{t \in T} \nu(\{t\}) > 0).

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. Chưa được người kiểm tra.