请输入您要查询的字词:

 

单词 TonellisTheorem
释义

Tonelli’s theorem


Here denote L+(X) as the space of measurable functionsMathworldPlanetmath X[0,]. Furthermore all integrals are Lebesgue integrals.

Theorem (Tonelli).

Suppose (X,M,μ) and (Y,N,ν) are σ-finite (http://planetmath.org/SigmaFinite)measure spacesMathworldPlanetmath. If fL+(X×Y), then the functionsxYf(x,y)𝑑ν(y) andyXf(x,y)𝑑μ(x) are in L+(X) and L+(Y) respectively, and furthermore if we denote by μ×ν the product measureMathworldPlanetmath, then

X×Yfd(μ×ν)=X[Yf(x,y)𝑑ν(y)]𝑑μ(x)=Y[Xf(x,y)𝑑μ(x)]𝑑ν(y).

Basically this says that you can switch the of integrals, or integrate over the product space as long as everything is positive and the spaces are σ-finite. Do note that we allow the functions to take on the value ofinfinityMathworldPlanetmathPlanetmath with the standard conventions used in Lebesgue integration. That is, 0=0, so that if a function is infiniteMathworldPlanetmath on a set of measure 0, then this does not contribute anything to the value of the integral.See the entry on extended real numbers for further discussion.

If we take the counting measure on , then one can the Tonelli theorem for sums.

Theorem (Tonelli for sums).

Suppose that fij0 for all i,jN, then

i,jfij=i=1j=1fij=j=1i=1fij.

In the above theorem we have used as our set for simplicity and familiarity of notation.If you would have an uncountable number of non-zero elements fij thenall the sums would be infinite and the result would be trivial.So the theorem for arbitrary sets just reduces to the above case.

References

  • 1 Gerald B. Folland. . John Wiley & Sons, Inc., New York, New York, 1999
随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 11:59:59