Bourbaki

Bài tập 2, § 1

Tích phân, VI

Bourbaki marks this one as harder than the rest.

Cho T, X, Y là ba không gian compact địa phương, với Y có một cơ sở đếm được. Cho μ\mu là một độ đo ≥0\geq 0 trên T, t↦λtt \mapsto \lambda_t (t∈Tt \in T) là một họ các độ đo ≥0\geq 0 μ\mu-thích hợp1^1 trên X, và đặt ν=∫λtdμ(t)\nu = \int \lambda_t d\mu(t). Cho x↦ρxx \mapsto \rho_x (x∈Xx \in X) là một họ các độ đo ≥0\geq 0 ν\nu-thích hợp trên Y. Hơn nữa, giả sử rằng một trong hai điều kiện sau được thỏa mãn: a) X là đếm được tại vô hạn; b) ν\nu bị chặn. Dưới các điều kiện này, hãy chứng minh rằng tồn tại một tập hợp N′N' μ\mu-không đáng kể địa phương sao cho, với mọi t∉N′t \notin N', họ x↦ρxx \mapsto \rho_x là λt\lambda_t-thích hợp; hơn nữa, họ t↦∫ρxdλt(x)t \mapsto \int \rho_x d\lambda_t(x), được xác định với t∉N′t \notin N', là μ\mu-thích hợp, và

∫dμ(t)∫ρxdλt(x)=∫ρxdν(x). \int d\mu(t) \int \rho_x d\lambda_t(x) = \int \rho_x d\nu(x).

(Để chứng minh rằng x↦ρxx \mapsto \rho_x là khả tích vô hướng theo λt\lambda_t địa phương hầu khắp nơi, hãy sử dụng Bổ đề 1 của §3, No. 1, bằng cách dùng, trong trường hợp b), sự kiện rằng λt\lambda_t bị chặn địa phương hầu khắp nơi; dùng cùng phương pháp để thấy rằng t↦∫ρxdλt(x)t \mapsto \int \rho_x d\lambda_t(x) là khả tích vô hướng theo μ\mu; cũng sử dụng Mệnh đề 13 của No. 5.)

(1) Theo nghĩa của ấn bản thứ nhất của Ch. V (xem chú thích cho §1, No. 1, Ví dụ); tương tự đối với các Bài tập 3 và 4.

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-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.