Phép đo tích

Trong toán học, cho hai không gian đo và các phép đo trên chúng, người ta có thể nhận được một k**hông gian đo tích** và một **phép đo tích** trên không gian đó. Về mặt khái niệm, điều này cũng tương tự như việc xác định tích Descartes của các tập và tô pô tích của hai không gian tôpô, ngoại trừ có thể có nhiều sự lựa chọn tự nhiên cho các phép đo tích.

Đặt (X_1, \Sigma_1) và (X_2, \Sigma_2) là 2 không gian đo, nghĩa là, \Sigma_1 và \Sigma_2 các đại số sigma trên X_1 và X_2 một cách tương ứng, và đặt \mu_1 và \mu_2 là các phép đo trên những không gian này. Ký hiệu \Sigma_1 \otimes \Sigma_2 là đại số sigma trên tích Descartes X_1 \times X_2 được sinh bởi các tập con của dạng B_1 \times B_2, với B_1 \in \Sigma_1 và B_2 \in \Sigma_2. Đại số sigma này được gọi là *sigma đại số của tích tensor* trên không gian tích

Một *phép đo tích* \mu_1 \times \mu_2 được định nghĩa là một phép đo trên không gian đo  (X_1 \times X_2, \Sigma_1 \otimes \Sigma_2)thoả mãn tích chất sau
:  (\mu_1 \times \mu_2)(B_1 \times B_2) = \mu_1(B_1) \mu_2(B_2)    
với mọi
:  B_1 \in \Sigma_1,\ B_2 \in \Sigma_2 .
(Trong các phép đo tích, một vài phép đo tích là vô hạn, ta xác định các tích bằng không nếu một trong các yếu tố bằng không.)

Trong thực tế, khi các không gian là không gian hữu hạn sigma thì phép đo tích được định nghĩa duy nhất với mỗi tập đo *E*,
: (\mu_1 \times \mu_2)(E) = \int_{X_2} \mu_1(E^y)\,d\mu_2(y) = \int_{X_1} \mu_2(E_{x})\,d\mu_1(x),
với E_x = \{y \in X_2 | (x, y) \in E\} và E^y = \{x \in X_1 | (x, y) \in E\}, khi cả hai đều là các tập đo.

Sự tồn tại của các phép đo này được đảm bảo bằng định lý Hahn–Kolmogorov. Tính duy nhất của phép đo tích được đảm bảo duy nhất trong trường hợp cả (X_1, \Sigma_1, \mu_1) và (X_2, \Sigma_2, \mu_2) are đều là sigma hữu hạn.

Các phép đo Borel trên không gian Euclide **R***n* có thể thu được như là tích của *n* bản sao của phép đo Borel trên đường thẳng thực **R**.

Ngay cả khi hai nhân tử của không gian tích là những không gian đo hoàn chỉnh, không gian tích có thể không phải là không gian đo hoàn chỉnh. Do đó, thủ tục mở rộng là cần thiết để mở rộng phép đo Borel vào phép đo Lebesgue, hoặc để mở rộng tích của hai các phép đo Lebesgue để đưa ra phép đo Lebesgue trên không gian tích.

Phép dựng đối của sự hình thành tích của hai phép đo là sự phân huỷ, mà trong một số ý nghĩa là "tách" một phép đo đã cho vào một hệ của các phép đo mà có thể lấy tích phân để đưa ra phép đo gốc.

## Các ví dụ
* Cho hai không gian đo, luôn luôn có một phép đo tích cực đại μmax duy nhất trên tích của chúng, với tính chất đó nếu μmax(*A*) hữu hạn với một tập đo *A*, thì μmax(*A*) = μ(*A*) với bất kỳ phép đo tích μ. Cụ thể giá trị của nó trên bất kỳ tập đo nhỏ nhất trong bất kỳ phép đo tích khác. Đây là phép đo được tạo ra theo định lý mở rộng Carathéodory.
* Luôn có một phép đo tích cực tiểu duy nhất μmin, được cho bởi μmin(*S*) = sup*A*&#x2282;*S*, μmax(*A*) hữu hạn μmax(*A*), trong đó *A* và *S* được giả định là có thể đo được.
* Dưới đây là một ví dụ trong đó một tích có nhiều hơn một phép đo tích. Lấy tích *X*&#xD7;*Y*, với *X* là khoảng đơn vị với phép đo Lebesgue, và *Y* là khoảng đơn vị có phép đo đếm và tất cả các tập đo được. Thì với phép đo tích cực tiểu, phép đo của một tập là tổng của các phép đo của tiết diện ngang của nó, trong khi đối với phép đo tích cực đại thì một tập có phép đo vô cùng trừ phi nó được chứa trong các hợp của tập các số đếm được dạng *A*&#xD7;*B*, với *A* hoặc có phép đo Lebesgue bằng 0 hoặc *B* là một điểm đơn. (Trong trường hợp này, phép đo có thể hữu hạn hoặc vô hạn.) Cụ thể, đường chéo có phép đo bằng 0 với phép đo tích cực tiểu và phép đo vô cùng với phép đo tích cực đại.

## Xem thêm
* Định lý Fubini

## Tham khảo

* 
* 
*Bài viết này tổng hợp tư liệu từ  trên [[PlanetMath]], được cấp phép theo Giấy phép .*