《实变函数与泛函基础》第二版程其襄第十章答案,答案概述.doc

第十章 巴拿赫(Banach)空间中的基本定理 设X是赋范线性空间，是X中个线性无关向量，是一组数，证明：在X上存在满足下列两条件：（1）, (2) 的线性连续泛函的充要条件为：对任何数， 都成立。 证明 必要性。若线性连续泛函满足（1）和（2），则 充分性。若对任意数，有 。 令为张成的线性子空间。对任意，定义上线性泛函： 。 因，故是有界的，且。由泛函延拓定理，存在X上的线性连续泛函，使限制在上就是。显然满足条件（1）和（2）。证毕。 2．设X是赋范线性空间，Z是X的线性子空间，，又，证明存在，满足条件： 1）当时，； 2） ； 3） 。 证明 记。在M上定义泛函：，则以下三条件成立： 1）当时，； 2）； 3）在M上有界，且。 其中3）可以这样证明：若，则 ， 所以。 又对任意，。由的任意性，我们得到 。 又，这样我们就证明了。 3． 证明：无限维赋范线性空间的共轭空间也是无限维的。 证明 设是X中一列线性无关向量。记 。 因是线性无关的。，因此由习题2，存在，使, 在为零, . 以下我们来证明是中线性无关的向量.事实上,若有,使. ,则. 这样由于,，必有,因,所以。类似可证, ，从而，。这样我们证明了中有无限多个线性无关的向量,因此是无限维的.证毕. 4. 证明Bananch空间X自反的充要条件是自反. 证明 若X是banach空间,则存在一个从X到的自然的等距同构映射, .若,则称X是自反的。其中是这样定义的, 若,,. 为方便起见,记X到的自然的等距同构映射为，到的自然的等距同构映射为。 我们要证明的充要条件为. 若.对任意,定义：若，。对任意，。因,因此。这就证明了。 反之,若,而。则存在,使F在上恒为零，而。但。必有，使。对任意, 这样。但,矛盾。因此必有。 证毕。 5．设是一列数，证明存在[a ,b]上有界变差数列，使，成立的充要条件为对一切多项式 成立着 其中M为常数。 证明 充分性 。在C[a ,b]的线性子空间上定义线性泛函f： 由条件，可知f在上是有界的。因为在C[a ,b]上稠密，所以可将f连续的延拓到C[a ,b]上（不妨仍记为f），这样f是C[a ,b]上连续线性泛函，且，。由Riesz表示定理，存在有界变差函数g，使。特别的 必要性。若存在有界变差函数，使 。 定义C[a ,b]上的有界线性泛函。则对每一多项式 ， 有 取。证毕。 6．设T为中单向移位算子，即若，则，求。 解 若，，则，且 ， 所以。 7．举例说明一致有界性定理中空间X完备的条件不能去掉。 解 设X为的线性子空间，的充分且必要条件是除去有限多个外其余皆为零。（）。若，定义X到X的线性映射 则 。 对任一，当时，有，因此 。 以上例子说明一致有界性定理中X的完备性条件不能去掉。 8．证明 ：在完备度量空间X中成立闭球套定力，即若 且 ， 则存在唯一的；反之，若在度量空间X中成立闭球套定理，则X是完备度量空间。 证明 设X是完备的度量空间，为一列闭球套： 若，对任给，存在N，当时，，因此当时，。所以是柯西列。设。 因为当时，，又是闭集，。因此。 下面证明。若，则 这样必有。 反之，若X满足闭球套定理，是柯西列。则存在，当时，，记。存在，当时，，记-------。存在，当时，记 这样得到一列闭球，对任意k和任意，有 。 所以，即 于是，由假设存在，且。 因为为柯西列，，则必有。因此X必为完备度量空间。证毕。 9．设是一列复数，若对任何，级数都收敛，证明：，其中的定义见第八章题9。 证明 对每一个n，定义。若，。因为 所以，且。设满足，则，则 这就证明了。 由题设条件，对任意，收敛，从而有界。由一致有界性定理，有界，设，即。令。所以 。证毕。 10．设是[a ,b]上的L可测函数，，若对一切，函数都在[a, b]上L可积，则，其中。 证明 令 。则显然为上有界的可测函数。若，定义上泛函。则是上的有界线性泛函，且。 又因为，由勒贝格控制收敛定理， 。 由一致有界性定理，存在，使，即，因为 ，由Levi定理 。 所以。证毕。 11． 证明引理：设X是Banach空间，p(x) 是X上泛函，满足条件： 1）； 2）时，； 3）； 4）当时，。 证明必有M0，使对一切，成立。 证明 先证对任意M0，是X中闭集。事实上，若，且，则，所以，因此是闭集。 记，。则。由Baire纲定理，存在某，使在某一小球中稠密。因为是闭集，则。对X中任意一点，和在O中，所以。因此。 这样取，则。证毕。 12． 设，其中X是Banach空间，Y是赋泛线性空间，若