Bourbaki

Bài tập 14, § 5

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

Cho (An)(A_n) là một dãy các tập hợp con của XX sao cho, với mỗi chỉ số nn, tồn tại một tập hợp đo được Bn⊃AnB_n \supset A_n, các BnB_n từng đôi một rời nhau. Chứng minh rằng

μ∗(⋃nAn)=∑nμ∗(An)vaˋμ∗(⋃nAn)=∑nμ∗(An). \mu^*\left( \bigcup_n A_n \right) = \sum_n \mu^*(A_n) \quad \text{và} \quad \mu_*\left( \bigcup_n A_n \right) = \sum_n \mu_*(A_n).
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.