实变函数论课后答案第四章1.doc

《实变函数论课后答案第四章1.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、实变函数论课后答案第四章1第四章第一节习题1．证明：上的两个简单函数的和与乘积都还是上的简单函数证明：设，，这里互不相交，互不相交令，，则易知先注意：若，互不相交，则（可为无穷大）（，使，，，且，则）且同理：这显然还是一个简单函数，因为若，则，（），（），（），显然，，事实上，，若或则当时则也是简单函数，显然仍为简单函数1．证明当既是上又是上的非负可测函数时，也是上的非负可测函数证明：显然于，且于表明于又，由于在，上分别可测，和均为可测集，从而由P61推论2，为可测集，再由P101Th1知在上可测或直接用P104Th4的证明方法.1．设，是上几乎处处有限的非负可测函数，证明对，都

2、有闭集，使，而在上是有界的证明：令，，由条件在上几乎处处有限，.由可测于上知，是可测集（P103Th2,P64Th4可测集的交仍可测）令，，则可测，，且由P64Th5，而，则故，使，而故由，可测，闭集，，闭集使令，则为闭集，且在上由于，又而，故证毕.1．设是可测集合上的非负可测函数序列，证明：如果对任意，都有，则必有又问这一命题的逆命题是否成立？证明：非负可测，令则由CH1.§1习题8的证明方法：（P11,见前面的习题解答）（一般，）在本题的假设下，我们需证由公式（可测，故为可测集）故而所以我们只用证由于，故故得证，即逆命题一般不成立的必要条件是当时，不能推出于（于，但于）当时，

3、，于但不能保证1．设，在上非负可测，证明对于任意，都是可测的，进而证明使的最多有可数多个证明：因为在上可测，P103,Th2都是可测集，从而也是可测集显然，下证：，要么是空集，要么是有限集事实上，若使为无限集，则由P18,Th1,存在可数集由于时，，矛盾1．证明：如果是上的连续函数，则在任何可测子集E上都可测.证明：，则从是上的连续函数，我们易知是开集.事实上若，则从，使，则，故是开集，从而可测.而可测，故作为两个可测集的交也可测，这说明在上可测（P103,Th2）.2．设是可测集上的单调函数，证明在上可测.证明：不妨设在上单调不减，即，若，则，我们来证明是可测集，这样由本节定理

4、2知可测于（P103）.若使得，则显然可测若使得，此时若令，则要么，要么（1）若，则，故使，由在上单调不减，我们有，即，从而为可测集（2）若，则要么，要么若，则，此时，，由单调不减于知，故，而，从而有，故为可测集.若，而，，则，，则即为可测集.若，则，同样可证可测.若单调不增，则在上单调不减，从而可测，故在上可测.8．证明中可测子集上的函数可测的充要条件是存在上的一串简单函数使（）证明：（1）上的简单函数是可测的；设为上的简单函数，互不相交，为的可测子集，易知，是可测的（可测是可测集）故由P104Th5，可测，可测，由此，若存在上的一串简单函数，（）则从可测，且P107推论2，在

5、上可测（2）若可测，则由P107Th7，都是非负可测的，故由定义存在简单函数列，，（），，（）显然，也是简单函数，由本节第一题，仍为简单函数，且（）.证毕.9．证明：当是，是中的可测函数，且在上几乎处处有意义时，是上的可测函数.证明：（1）若，分别是，中的可测集，则函数是上的可测函数，事实上，，若，则是可测集若，则是可测集若，则是可测集（P72Th1）(1)推出(2):,可测,可测，则在上可测.现在来证明本题结论：在上可测，故由本节第8题结论，存在上的简单函数列，，（当）使得，同样，从在上可测知，存在上的简单函数列，使于上.从上述（1）（2）知，在上可测，且于上由上P107推论2

6、知在上可测.证法二（更简单）将，看成的函数，从在上可测知，为中的可测集，可测，故为中的可测集，故为中的可测集，则作为上的函数是可测的同理，在上也可测，P104Th5得在上也可测.9．证明：如果是定义于上的可测子集上的函数，则在上可测的充要条件是对中集合，都是的可测子集，如果还是连续的，则还是集（提示：用表示中那些使是上的可测子集的所构成的集合族，比较和中的集合类）.证明：记，我们来证明是一个-代数1）：显然是的可测子集2）若，是的可测子集，则也是的可测子集（P61推论1）则3）若，（）则，是的可测子集，也是的可测子集，故故是一个-代数现在，若是一可测函数，则是为可测集（，都是可测

7、集（P60Th2））则故包含所有的上的开集（由一维开集的构造），从而包含所有的集，这就证明了集，是的可测子集反过来，若集，是的可测子集，则由于，为开集，故是集知为可测集，故是上的可测函数.令，则一样：（1）；（2）；（3），故也是一个-代数若连续，则（）是开集（相对于）,从而是集，故，从而包含所有的集，故集，同样为集若的同胚，则将集映为可测集11．设是上的可测函数，是上的连续函数，证明：是上的可测函数（注意：如果在上连续，在上可测，未必可测，特别是，都可测时，未必可测）证明：，从