由买买提看人间百态

boards

本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示50字,超过一周显示500字 访问原贴
Mathematics版 - 问一个实变问题
相关主题
a questionMax value of a function over the unit square
再问一个实变问题问一个关于exponential function的积分
A question about measure theory and Lebesgue integrationFourier变换怎么延拓到平方可积函数空间?
问一个实分析的问题请教一个数值问题,请帮助
Fourier Transform & Differentiabilityintegral
请大侠推荐Measure and Integration方面的习题集!50个包子请教 Chebyshev's integral inequality
开区间的特征函数是Borel可测函数?Ask a question about product measures
求教一个测度问题请问关于一个分部积分的问题 (转载)
相关话题的讨论汇总
话题: negative话题: function话题: non话题: measurable
进入Mathematics版参与讨论
1 (共1页)
p*****n
发帖数: 758
1
suppose (X,M,u) is a measure space, F is a family of non-negative integrable
functions on X with the following properties:
1. if f,g are in F, so is f+g.
2. if f,g are in F, so is max{f,g}.
3.if f is a non-negative measurable function with positive integration, then
there exists a function g in F, such that g<=f, g has postive integration.
4.zero function is in F.
prove that for any non-negative measurable function f,integration of f=sup{
integration of g: g is in F, g<=f}.
thx
l*****e
发帖数: 65
2
用反证法试试.
1. Assume that there exists a non-negative measurable function f, such that
the supremum{ integration of g: g \in F and g <= f} is strictly less than
the integration of f. Denote the difference by \delta>0.
2. By the definition of the supremum, there exists a sequence of non-
negative integrable functions g_i, g_i \in F and g_i <=f, such that \int{f-g
_n} <= \delta + 1/n.
3. Define a new sequence of non-negative integrable
functions G_i, such that
G_1=g_1, and G_n=max(g_n, G_{n-1}) for n
p*****n
发帖数: 758
3
谢谢 !

that
-g

【在 l*****e 的大作中提到】
: 用反证法试试.
: 1. Assume that there exists a non-negative measurable function f, such that
: the supremum{ integration of g: g \in F and g <= f} is strictly less than
: the integration of f. Denote the difference by \delta>0.
: 2. By the definition of the supremum, there exists a sequence of non-
: negative integrable functions g_i, g_i \in F and g_i <=f, such that \int{f-g
: _n} <= \delta + 1/n.
: 3. Define a new sequence of non-negative integrable
: functions G_i, such that
: G_1=g_1, and G_n=max(g_n, G_{n-1}) for n

1 (共1页)
进入Mathematics版参与讨论
相关主题
请问关于一个分部积分的问题 (转载)Fourier Transform & Differentiability
问一个初级概率题请大侠推荐Measure and Integration方面的习题集!
Re: latex问题(integral)开区间的特征函数是Borel可测函数?
关于这个积分求教一个测度问题
a questionMax value of a function over the unit square
再问一个实变问题问一个关于exponential function的积分
A question about measure theory and Lebesgue integrationFourier变换怎么延拓到平方可积函数空间?
问一个实分析的问题请教一个数值问题,请帮助
相关话题的讨论汇总
话题: negative话题: function话题: non话题: measurable