Bourbaki

Bài tập 11, § 3

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

Cho t↦λtt \mapsto \lambda_t là một ánh xạ μ\mu-thích hợp từ T vào M+(X)\mathscr{M}_+(X) thỏa mãn điều kiện sau: với mọi tập con compact K của T, tồn tại một tập con compact LKL_K của X sao cho Supp⁡(λt)⊂LK\operatorname{Supp}(\lambda_t) \subset L_K với mọi t∈Kt \in K.

a) Chứng minh rằng với mọi hàm f≥0f \geq 0 xác định trên X,

∫∙f(x) dν(x)≥∫∙dμ(t)∫∗f(x) dλt(x) \int^\bullet f(x)\, d\nu(x) \geq \int^\bullet d\mu(t) \int^* f(x)\, d\lambda_t(x)

(sử dụng Mệnh đề 3 a)).

b) Nếu f≥0f \geq 0 là địa phương ν\nu-không đáng kể, thì tập hợp các t∈Tt \in T sao cho ff không là địa phương λt\lambda_t-không đáng kể là địa phương μ\mu-không đáng kể.

c) Nếu ff là một ánh xạ ν\nu-đo được từ X vào một không gian tôpô X, thì tập hợp các t∈Tt \in T sao cho ff không λt\lambda_t-đo được là địa phương μ\mu-không đáng kể.

d) Với mọi hàm ν\nu-đo được f≥0f \geq 0, ánh xạ t↦∫∗f dλtt \mapsto \int^* f\, d\lambda_t là μ\mu-đo được và

∫∙f(x) dν(x)=∫∙dμ(t)∫∗f(x) dλt(x). \int^\bullet f(x)\, d\nu(x) = \int^\bullet d\mu(t) \int^* f(x)\, d\lambda_t(x).

e) Cho f\mathbf{f} là một hàm xác định trên X, có giá trị trong một không gian Banach hoặc trong R‾\overline{\mathbf{R}}, và khả tích ν\nu theo nghĩa bản chất. Chứng minh rằng tập hợp các t∈Tt \in T sao cho f\mathbf{f} không λt\lambda_t-khả tích là địa phương μ\mu-không đáng kể, hàm t↦∫f(x) dλt(x)t \mapsto \int \mathbf{f}(x)\, d\lambda_t(x) (được xác định địa phương hầu khắp nơi đối với μ\mu) là khả tích μ\mu theo nghĩa bản chất, và

∫f(x) dν(x)=∫dμ(t)∫f(x) dλt(x). \int \mathbf{f}(x)\, d\nu(x) = \int d\mu(t) \int \mathbf{f}(x)\, d\lambda_t(x).
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.