Xem mã nguồn của Định lý Fubini

Trong [[giải tích]] toán '''định lý Fubini''', được giới thiệu bởi [[Guido Fubini]] (1907), là một kết quả xác định các điều kiện mà theo đó người ta có thể tính toán một [[tích phân bội]] bằng cách sử dụng [[tích phân lặp]]. Người ta có thể đổi lại thứ tự của phép lấy tích phân nếu tích phân kép cho một kết quả hữu hạn khi hàm lấy tích phân được thay thế bằng giá trị tuyệt đối của nó.
: <math>\int_X\left(\int_Y f(x,y)\,\text{d}y\right)\,\text{d}x=\int_Y\left(\int_X f(x,y)\,\text{d}x\right)\,\text{d}y=\int_{X\times Y} f(x,y)\,\text{d}(x,y)</math>
Kết quả là [[thứ tự của tích phân]] sẽ được phép thay đổi trong tích phân lặp. Định lý Fubini ngụ ý rằng hai tích phân lặp của một hàm hai biến bằng nhau nếu hàm khả tích. '''Định lý Tonelli''' được giới thiệu bởi [[Leonida Tonelli]] (1909) có kết quả tương tự nhưng áp dụng cho những hàm không âm hơn là các hàm khả tích.

== Lịch sử ==
Trường hợp đặc biệt của định lý Fubini cho các hàm liên tục trên tích của các tập con bị chặn đóng của không gian vectơ thực được biết đến Euler trong thế kỷ 18. [[Lebesgue]] (1904) đã mở rộng kết quả này cho các hàm bị chặn đo được trên tích của các khoảng. [[Levi]] (1906) phỏng đoán rằng định lý có thể được mở rộng cho các hàm khả tích hơn là các hàm bị chặn và điều này đã được chứng minh bởi [[Fubini]] (1907). [[Tonelli]] (1909) đã đưa ra một biến đổi của định lý Fubini áp dụng cho các hàm không âm hơn là các hàm khả tích.

== Các phép đo tích ==
Nếu ''X ''và ''Y'' là các không gian có độ đo với các phép đo, có một số cách tự nhiên để xác định một [[phép đo tích]] trên tích của chúng.

Tích ''X''&#xD7;''Y'' của không gian có độ đo (theo [[ý nghĩa của lý thuyết phạm trù]]) có được do các tập đo được của [[đại số sigma]] được tạo ra bởi các tích ''A''&#xD7;''B'' của các tập con đo được của  ''X'' và ''Y''.

Một phép đo μ trên ''X''&#xD7;''Y'' được gọi là một phép đo tích nếu μ(''A''&#xD7;''B'')=μ<sub>1</sub>(''A'')μ<sub>2</sub>(''B'') với các tập con đo được ''A&#x2282;X'' và ''B&#x2282;Y'' và các phép đo µ<sub>1</sub> trên ''X'' và µ<sub>2</sub> trên ''Y''. Nhìn chung có thể có nhiều phép đo tích khác nhau trên  ''X''&#xD7;''Y''. Định lý Fubini và định lý Tonelli đều cần các điều kiện kỹ thuật để tránh sự phiền phức này; cách phổ biến nhất là giả định tất cả không gian có độ đo có tổng hữu hạn, trong trường hợp có một phép đo tích duy nhất trên ''X''&#xD7;''Y''. Luôn có một phép đo tích cực đại duy nhất trên ''X''&#xD7;''Y'', nơi mà các phép đo của một tập đo được là cận trên nhỏ nhất trong các phép đo của các tập chứa nó  là các hợp đếm được của các tích trong các tập đo được. Các phép đo tích cực đại có thể được xây dựng bằng cách áp dụng [[định lý mở Carathéodory]] cho hàm phụ μ sao cho μ(''A''&#xD7;''B'')=μ<sub>1</sub>(''A'')μ<sub>2</sub>(''B'') trên vành của các tập tạo ra bởi các tích của các tập đo được. (Định lý mở Carathéodory đưa ra một phép đo trên không gian có thể đo được mà nhìn chung có chứa nhiều tập đo được hơn so với không gian đo được ''X''&#xD7;''Y'', vì vậy nói đúng ra các phép đo nên được giới hạn trong [[đại số sigma]] được tạo ra bởi các tích ''A''&#xD7;''B'' của các tập con đo được của  ''X'' và ''Y''.)

Tích của hai [[không gian đo được hoàn chỉnh]] thường không đầy đủ. Ví dụ, tích của [[phép đo Lebesgue]] trên khoảng đơn vị ''I''  với chính nó không phải là phép đo Lebesgue trên hình vuông ''I''&#xD7;''I''. Có một biến thể của định lý Fubini cho các phép đo hoàn chỉnh, trong đó sử dụng sự bổ sung tích của các phép đo chứ không phải là tích đầy đủ.

== Định lý Fubini cho các hàm khả tích ==
Giả sử ''X'' và ''Y'' <span>là các [[không gian phép đo]] [[hữu hạn tổng]], và giả sử rằng ''X'' × ''Y''</span> xác định phép đo tích (duy nhất vì ''X'' và ''Y'' là hữu hạn tổng). Định lý Fubini phát biểu rằng nếu ''f(x,y)'' là khả tích ''X&nbsp;&#xD7;&nbsp;Y'' , nghĩa là nó có thể đo được và
: <math>\int_{X\times Y} |f(x,y)|\,\text{d}(x,y)<\infty,</math>
thì
: <math>\int_X\left(\int_Y f(x,y)\,\text{d}y\right)\,\text{d}x=\int_Y\left(\int_X f(x,y)\,\text{d}x\right)\,\text{d}y=\int_{X\times Y} f(x,y)\,\text{d}(x,y).</math>
Hai tích phân đầu tiên là tích phân lặp liên quan đến hai phép đo, và tương ứng, tích phân thứ ba là một tích phân liên quan đến phép đo tích. Các tích phân từng phần <math>\int_Y f(x,y)\,\text{d}y, \int_X f(x,y)\,\text{d}x</math> không cần được định nghĩa khắp nơi,nhưng điều này không quan trọng vì những điểm không được định nghĩa dưới dạng tập các phép đo 0.

Nếu tích phân của giá trị tuyệt đối bên trên không hữu hạn thì hai tích phân lặp có thể có giá trị khác nhau. Xem minh họa dưới đây về khả năng này.

Điều kiện X và Y là hữu hạn tổng thường vô hại do trong thực tế hầu như tất cả các không gian đo được mà ta muốn sử dụng định lý Fubini đều là hữu hạn tổng. Định lý Fubini có một số phần mở rộng kỹ thuật đúng hơn cho trường hợp khi  ''X'' và ''Y'' không được giả định là hữu hạn tổng {{Harvard citation|Fremlin|2003}}. Rắc rối chính trong trường hợp này là có thể có nhiều hơn một phép đo tích trên ''X''&#xD7;''Y''. Định lý Fubini vẫn đúng với các phép đo tích cực đại, nhưng có thể không đúng với các phép đo tích khác. Ví dụ, có một phép đo tích và hàm ''f'' đo được không âm mà tích phân kép của |''f''| bằng không nhưng hai tích phân lặp có giá trị khác nhau; xem ví dụ bên dưới cho trường hợp này. Định lý Tonelli và định lý Fubini-Tonelli (nêu dưới đây) có thể không đúng trên không gian không hữu hạn tổng ngay cả đối với các phép đo tích cực đại.

== Định lý Tonelli cho các hàm không âm ==
'''Định lý Tonelli''' (đặt theo tên của Leonida Tonelli) là định lý kế thừa của định lý Fubini. Kết quả của định lý Tonelli là trùng với định lý Fubini, nhưng giả định <math>|f|</math> có tích phân hữu hạn được thay bằng giả định <math>f</math> không âm.

Định lý Tonelli phát biểu rằng nếu (''X'', ''A'', μ) và (''Y'', ''B'', ν) là không gian đo hữu hạn tổng, khi ''f'' từ ''X×Y'' đến [0,∞] là không âm và đo được, thì
: <math>\int_X\left(\int_Y f(x,y)\,\text{d}y\right)\,\text{d}x=\int_Y\left(\int_X f(x,y)\,\text{d}x\right)\,\text{d}y=\int_{X\times Y} f(x,y)\,\text{d}(x,y).</math>
Một trường hợp đặc biệt của định lý Tonelli là trong hoán vị các phép lấy tích phân, như<math>\sum_x \sum_y a_{xy}=\sum_y \sum_x a_{xy}</math>, với <math>a_{xy}</math> không âm với mọi ''x'' và ''y''. Điểm mấu chốt của định lý là hoán vị thứ tự của phép lấy tích phân ngay cả khi các chuỗi phân kỳ. Trong thực tế, cách duy nhất để thay đổi thứ tự phép lấy tích phân là tồn tại một số chuỗi phụ phân kì đến  <math>+\infty</math> '''và '''những chuỗi phụ khác phân kỳ đến <math>-\infty</math>. Với tất cả các yếu tố không âm, điều này không xảy ra trong ví dụ đã phát biểu.

Nếu không có điều kiện trong đó các không gian đo hữu hạn tổng thì cả ba tích phân này sẽ có giá trị khác nhau. Một số tác giả đưa ra sự tổng quát của định lý Tonelli cho một số không gian đo không hữu hạn tổng nhưng các khái quát này thường bổ sung điều kiện giảm thiểu bài toán ngay lập tức thành trường hợp hữu hạn tổng. Ví dụ, người ta có thể chấp nhận đại số sigma tồn tại A × B mà được tạo ra bởi các tích của các tập con đo hữu hạn, hơn là được tạo ra bởi tất cả các tích của các tập con đo được, dù điều này có kết quả không mong muốn rằng các phép chiếu từ tích đến các nhân tố A và B của nó là không thể đo được. Một cách khác là thêm điều kiện giá của f được chứa trong một hợp đếm được của các tích của các tập hợp đo hữu hạn. {{Harvtxt|Fremlin|2003}} đưa ra một số phần mở rộng kỹ thuật tốt hơn của định lý Tonelli trong một số không gian không hữu hạn tổng. Không có sự khái quát nào tìm thấy bất kỳ ứng dụng quan trọng ngoài lý thuyết đo trừu tượng, chủ yếu là do hầu hết tất cả các không gian đo của sự quan tâm thiết thực là hữu hạn tổng.

== Định lý Fubini-Tonelli ==
Kết hợp định lý Fubini với định lý Tonelli tạo thành định lý Fubini-Tonelli (thường được gọi là định lý Fubini), phát biểu rằng nếu ''X'' và ''Y'' là các không gian đo hữu hạn sigma, và nếu ''f'' là một hàm đo được sao cho bất kỳ một trong ba tích phân
: <math>\int_X\left(\int_Y |f(x,y)|\,\text{d}y\right)\,\text{d}x</math>
: <math>\int_Y\left(\int_X |f(x,y)|\,\text{d}x\right)\,\text{d}y</math>
: <math>\int_{X\times Y} |f(x,y)|\,\text{d}(x,y)</math>
hữu hạn thì
: <math>\int_X\left(\int_Y f(x,y)\,\text{d}y\right)\,\text{d}x=\int_Y\left(\int_X f(x,y)\,\text{d}x\right)\,\text{d}y=\int_{X\times Y} f(x,y)\,\text{d}(x,y).</math>
Giá trị tuyệt đối của ''f'' trong các điều kiện trên có thể được thay thế bằng một trong hai phần dương hoặc âm của ''f''; các hình thức này coi định lý Tonelli là một trường hợp đặc biệt khi phần âm của một hàm không âm bằng không và do đó có tích phân hữu hạn. Một cách không chính thức, tất cả những điều kiện này nói rằng tích phân kép của ''f'' được xác định rõ, mặc dù nó có thể vô cùng.

Ưu điểm của định lý Fubini-Tonelli trên định lý Fubini là các tích phân lặp của giá trị tuyệt đối |''f''| có thể dễ dàng nghiên cứu hơn tích phân kép. Do trong định lý Fubini, các tích phân đơn có thể không được xác định trên tập đo 0.

== Định lý Fubini đối với các phép đo đầy đủ ==

== Counterexamples ==

=== Sự thất bại của định lý Tonelli đối với không gian không hữu hạn sigma ===

=== Sự thất bại của định lý Fubin đối với các phép đo tích không cực đại ===

=== Sự thất bại của định lý Tonelli đối với các hàm không đo được ===

=== Sự thất bại của định lý Fubini đối với các hàm không đo được ===

=== Sự thất bại của định lý Fubini đối với các hàm không khả tích ===

== Xem thêm ==
* Kuratowski–Ulam theorem (analogue for category)
* [[Nguyên lý Cavalieri|Cavalieri's principle]] (an early particular case)
* Coarea formula (generalization to geometric measure theory)
* Young's theorem (analogue for differentiation)
* Disintegration theorem (a restricted converse to Fubini's theorem)

== Tham khảo ==
{{tham khảo}}
* {{Chú thích|MR=1897317|last=DiBenedetto|first=Emmanuele|title=Real analysis|series=Birkhäuser Advanced Texts: Basler Lehrbücher|publisher=Birkhäuser Boston, Inc.|place=Boston, MA|year=2002|ISBN=0-8176-4231-5}} 
* {{Chú thích|MR=2462280|last=Fremlin|first=D. H.|title=Measure theory|volume=2|publisher=Torres Fremlin|place=Colchester|year=2003|ISBN=0-9538129-2-8}}
* {{Chú thích|first=Wacław|last=Sierpiński|year=1920|title=Sur un problème concernant les ensembles mesurables superficiellement|journal=Fundamenta Mathematicae|volume=1|issue=1|pages=112&ndash;115|url=https://eudml.org/doc/212592}}
* {{Chú thích|first=Harvey|last=Friedman|year=1980|title=A Consistent Fubini-Tonelli Theorem for Nonmeasurable Functions|journal=Illinois J. Math.|volume=24|issue=3|pages=390&ndash;395|mr=573474|url=http://projecteuclid.org/euclid.ijm/1256047607}}
* {{Chú thích| |first=G.|last=Fubini|title=Sugli integrali multipli|journal=Rom. Acc. L. Rend. (5)|volume=16|issue=1|pages=608-614|year=1907|ZBL=38.0343.02}} Reprinted in {{Chú thích|first=G.|last=Fubini|title=Opere scelte|volume=2|publisher=Cremonese|year=1958|pages=243–249}}
* {{Chú thích|last=Lebesgue|year=1904|title=Leçons sur l'intégration et la recherche des fonctions primitives|publisher=Gauthier-Villars|place=Paris|url=https://archive.org/details/leconegrarecher00leberich}}
* {{Chú thích|first=L.|last=Tonelli|title=Sull'integrazione per parti|journal=Atti della Accademia Nazionale dei Lincei  (5)|volume=18|issue=2|year=1909|pages=246-253}}

== Liên kết ngoài ==
* {{SpringerEOM|title=Fubini theorem|id=F/f041870|first=L.D.|last=Kudryavtsev}}
* {{Chú thích|last=Teschl|first=Gerald|authorlink=Gerald Teschl|title=Topics in Real and Functional Analysis|url=http://www.mat.univie.ac.at/~gerald/ftp/book-fa/index.html|publisher=(lecture notes)}}

[[Thể loại:Định lý trong tính toán]]