本書是實分析課程的教材,被國外眾多大學(xué)(如斯坦福大學(xué)、哈佛大學(xué)等)采用。全書分為三部分:第壹部分討論一元實變量函數(shù)的Lebesgue測度與Lebesgue積分;第二部分討論抽象空間拓?fù)淇臻g、度量空間、Banach空間以及Hilbert空間;第三部分討論一般測度空間上的積分,以及拓?fù)洹⒋鷶?shù)和動態(tài)結(jié)構(gòu)下豐富的一般理論。書中不僅包含數(shù)學(xué)定理和定義,而且還提出了富有啟發(fā)性的問題,以便讀者更深入地理解書中內(nèi)容。
與上一版相比,第4版的主要更新如下:
●新增了50%的習(xí)題。
●證明了一些基本結(jié)果,包括Egoroff定理和Urysohn引理。
●介紹了Borel-Cantelli引理、Chebychev不等式、快速Cauchy序列以及測度和積分所共有的連續(xù)性質(zhì)。
H. L. Royden的《實分析》前三版已幫助了幾代學(xué)習(xí)數(shù)學(xué)分析的學(xué)生. 第4版保持了前一版的目標(biāo)與總體結(jié)構(gòu)為現(xiàn)代分析人員提供他們需要知道的測度論、積分論以及泛函分析的知識.
本書分為三部分:第一部分討論一元實變量函數(shù)的Lebesgue測度與Lebesgue積分;第二部分討論抽象空間拓?fù)淇臻g、度量空間、Banach空間以及Hilbert空間;第三部分討論一般測度空間上的積分,以及拓?fù)洹⒋鷶?shù)或動力結(jié)構(gòu)下豐富的一般理論.
第二部分和第三部分的內(nèi)容原則上不依賴于第一部分. 然而,第一部分在學(xué)生熟悉的背景下提出了新概念,這為第二部分和第三部分建立更為抽象的概念奠定了基礎(chǔ). 此外,在第一部分創(chuàng)立的Banach空間Lp空間,是最為重要的Banach空間類之一. 建立Lp空間的完備性以及它們的對偶空間的主要理由是在這些空間上的泛函與算子的研究中能夠運用泛函分析的標(biāo)準(zhǔn)工具. 第二部分的目標(biāo)是創(chuàng)建這些工具.
第4版的主要更新
●與前一版相比本版新增了50%的習(xí)題.
●證明了一些基本的結(jié)果,包括Egoroff定理和Urysohn引理.
●與若干其他概念一起正式給出了Borel-Cantelli引理、Chebychev不等式、快速Cauchy序列,以及測度與積分所共有的連續(xù)性質(zhì).
本書的每一部分都有一些值得留意的變動:
第一部分
●給出了一致可積性的概念和Vitali收斂定理,它們是關(guān)于Lebesgue積分計算的基本定理證明的最重要部分.
●Lp(E)(1p)空間中快速Cauchy序列的性質(zhì)的精確分析現(xiàn)在是這些空間的完備性證明的基礎(chǔ).
●詳細(xì)討論了Lp(E)(1p)空間中的弱序列緊性,它被用于證明連續(xù)凸泛函的最小值點的存在性.
第二部分
●度量和拓?fù)淇臻g的一般結(jié)構(gòu)性質(zhì)分為兩個簡短的章,在這兩章中主要定理得到了證明.
●對于Banach空間的處理,除了討論有界線性算子的基本結(jié)果之外,還詳細(xì)討論了由Banach空間和它的對偶空間之間的對偶性誘導(dǎo)的弱拓?fù)涞木o性.
●新增一章討論Hilbert空間上的算子,其中弱序列緊性是證明關(guān)于緊對稱算子的特征向量上的Hilbert-Schmidt定理以及刻畫由Riesz和Schuader給出的作用在Hilbert空間的指標(biāo)為零的線性Fredholm算子的基礎(chǔ).
第三部分
●建立了一般的測度與積分理論,包括完備性和Lp(X, )(1p)空間的對偶空間的表示,探討了這些空間的弱序列緊性,包括刻畫L1(X, )空間中的弱序列緊性的Dunford-Pettis定理的證明.
●對于緊Hausdorff空間X,為刻畫C(X)的對偶討論了拓?fù)渑c測度之間的關(guān)系. 通過緊性論據(jù),這導(dǎo)致了關(guān)于緊群上唯一不變測度的存在性的von Neumann定理的證明,以及關(guān)于緊Hausdorff空間上的映射是遍歷的概率測度的存在性的證明.
測度與積分的一般理論誕生于20世紀(jì)初. 它現(xiàn)在是概率論、偏微分方程、泛函分析、調(diào)和分析以及動力系統(tǒng)等備受關(guān)注的若干數(shù)學(xué)領(lǐng)域不可或缺的要素. 事實上,它已成為一個統(tǒng)一的概念. 許多不同的題材能夠一致地用該理論處理積分與泛函分析之間的關(guān)系,特別是積分與弱收斂性之間的伴隨關(guān)系,在這里得到強化:這在如非線性偏微分方程的分析中是重要的(見L. C. Evans的書《Weak Convergence Methods for Nonlinear Partial Differential Equations》[AMS, 1990]).
參考文獻(xiàn)中列出了一些書,這些書在正文中沒有被具體引用,但應(yīng)作為補充材料和不同觀點供查詢. 特別是,列出了兩本關(guān)于數(shù)學(xué)分析的有趣歷史的書.
課程建議:第一學(xué)期
在第1章,建立了第一部分需要的所有實直線的初等分析與拓?fù)涞谋尘爸R. 這個初始章可作為便利的參考內(nèi)容. 核心內(nèi)容包括第2~4章、6.1~6.5節(jié)、第7章以及8.1節(jié). 此外,以下內(nèi)容可根據(jù)需要選擇: 8.2~8.4節(jié)對繼續(xù)研究賦范線性空間的對偶性與緊性的學(xué)生是有意義的;而 5.3節(jié)包含經(jīng)典分析的兩個瑰寶Lebesgue可積性的刻畫與關(guān)于有界函數(shù)的Riemann可積性的刻畫.
課程建議:第二學(xué)期
第二學(xué)期的課程應(yīng)基于第三部分. 初始的核心材料包括17.1節(jié)、18.1~18.4節(jié)以及19.1~19.3節(jié). 第17章的其余節(jié)可在開始或后面需要時講解:17.3~17.5節(jié)在第20章之前講授,17.2節(jié)在第21章之前講授. 繼而可講授第20章. 這些都不依賴于第二部分. 幾個備選題材需要涉及第二部分的內(nèi)容.
●建議1:證明Baire范疇定理及其關(guān)于連續(xù)函數(shù)序列的逐點極限的偏連續(xù)性的推論(第10章的定理7),從Riesz-Fischer定理推出Nikodym度量空間是完備的(第18章的定理23),證明Vitali-Hahn-Saks定理并接著證明Dunford-Pettis定理.
●建議2:涵蓋關(guān)于測度與拓?fù)涞牡?1章(略去20.5節(jié)),假設(shè)拓?fù)淇臻g是可度量化的,因此20.1節(jié)可被略去.
●建議3:證明無窮維賦范線性空間的閉單位球關(guān)于由范數(shù)誘導(dǎo)的拓?fù)涫欠蔷o的Riesz定理,以此作為得到關(guān)于弱拓?fù)涞男蛄芯o性的動機. 接著,若Lq(X, )是可分的,用Helley定理得到Lp(X, )(1
課程建議:第三學(xué)期
針對已經(jīng)上過前兩學(xué)期課程的學(xué)生,我把附帶一些補充材料的第二部分用于泛函分析課程.當(dāng)然這些材料需要裁剪,以與第二學(xué)期所選取的材料很好地銜接. 關(guān)于Hilbert空間上的有界線性算子的第16章可在關(guān)于Banach空間上的有界線性算子的第13章之后講授,因為關(guān)于弱序列緊性的結(jié)果從Hilbert空間的每個閉子空間的正交補的存在性可直接得到. 第二部分應(yīng)與第三部分的備選題材穿插講授,以提供抽象空間理論在積分上的應(yīng)用. 例如,用第19章的材料可在一般的Lp(X, )空間考慮自反性與弱緊性. 上面關(guān)于第二學(xué)期課程的建議1可用于第三學(xué)期而非第二學(xué)期,以給出Baire范疇定理的真正震撼的應(yīng)用. 第21章中C(X)的對偶的表示(其中X是緊Hausdorff空間),提供了Helly、Alaoglu與Krein-Milman的定理適用的另一族空間帶號Radon測度的空間. 通過涵蓋關(guān)于不變測度的第22章,學(xué)生將會接觸到一些應(yīng)用:用Alaoglu定理與Krein-Milman定理證明緊群上的Haar測度的存在性,使得映射是遍歷的測度的存在性(第22章的定理14),以及用Helly定理證明不變測度的存在性(Bogoliubov-Krilov定理).
歡迎讀者通過pmf@math.umd.edu提供評論. 勘誤與評注的清單將放在www.math.umd.edu/~pmf/RealAnalysis上.
致謝
很高興地表達(dá)我對教師、同行和學(xué)生的感謝. 我誠摯感謝Diogo Arsénio,他讀了完整手稿的倒數(shù)第二遍草稿,他的觀察和建議改進(jìn)了草稿. 在馬里蘭大學(xué),我針對多個分析課程寫了講義. 這些講義已融入當(dāng)前版本. 我的分析課程的一些研究生徹底檢查了該版本的部分手稿,他們的評論與建議非常有價值,他們是:Avner Halevy,J. J. Lee, Kevin McGoff,Himanshu Tiagi. 我特別感謝Brendan Berg,他創(chuàng)建了索引,校對了最后的手稿,友善地改進(jìn)了我的tex技巧. 我從與許多朋友和同事的交談中獲益良多,他們是:Diogo Arsénio,Stu Antman,Michael Boyle, Michael Brin, Craig Evans,Manos Grillakis,Richard Hevener,Brian Hunt,Jacobo Pejsachowicz,Michael Renardy,Eric Slud, Robert Warner, JimYorke.
對于第4版的第三次印刷,我改正了前兩次印刷的錯誤,這些錯誤是許多友善的讀者,特別是我在馬里蘭大學(xué)的研究生指出來的. 我感謝Jose Renato Ramos Barbosa教授,他為我提供了幾頁勘誤表. 特別的感謝給Richard Hevener,他嚴(yán)謹(jǐn)?shù)卣覍け緯腻e誤,提供了許多關(guān)于表達(dá)的極好建議,并且仔細(xì)地排出了一個張貼在網(wǎng)站上的勘誤清單. 我感謝Sam Punshon-Smith,他在解決幾個令人煩惱和困難的手稿制作問題上提供了很好的幫助.
我誠摯感謝出版社與評審人員:J. Thomas Beale, 杜克大學(xué);Richard Carmichael,維克森林大學(xué);Michael Goldberg,約翰霍普金斯大學(xué);Paul Joyce,愛達(dá)荷大學(xué);Dmitry Kaliuzhnyi-Verbovetskyi,德萊克斯大學(xué); Giovanni Leoni, 卡內(nèi)基梅隆大學(xué); Bruce Mericle,曼卡多州立大學(xué); Stephen Robinson, 維克森林大學(xué);Martin Schechter,加州大學(xué)歐文分校; James Stephen White,杰克遜維爾州立大學(xué);ShanshuangYang, 埃默里大學(xué).
Patrick M. Fitzpatrick
馬里蘭大學(xué)帕克分校
2014年4月
譯者序
前言
第一部分 一元實變量函數(shù)的Lebesgue積分
第0章 集合、映射與關(guān)系的預(yù)備知識2
0.1 集合的并與交2
0.2 集合間的映射3
0.3 等價關(guān)系、選擇公理以及Zorn引理3
第1章 實數(shù)集:集合、序列與函數(shù)6
1.1 域、正性以及完備性公理6
1.2 自然數(shù)與有理數(shù)9
1.3 可數(shù)集與不可數(shù)集11
1.4 實數(shù)的開集、閉集和Borel集13
1.5 實數(shù)序列17
1.6 實變量的連續(xù)實值函數(shù)21
第2章 Lebesgue測度25
2.1 引言25
2.2 Lebesgue外測度26
2.3 Lebesgue可測集的代數(shù)29
2.4 Lebesgue可測集的外逼近和內(nèi)逼近33
2.5 可數(shù)可加性、連續(xù)性以及Borel-Cantelli引理36
2.6 不可測集39
2.7 Cantor集和Cantor-Lebesgue函數(shù)41
第3章 Lebesgue可測函數(shù)45
3.1 和、積與復(fù)合45
3.2 序列的逐點極限與簡單逼近49
3.3 Littlewood的三個原理、Egoroff定理以及Lusin定理53
第4章 Lebesgue積分56
4.1 Riemann積分56
4.2 有限測度集上的有界可測函數(shù)的Lebesgue積分58
4.3 非負(fù)可測函數(shù)的Lebesgue積分65
4.4 一般的Lebesgue積分71
4.5 積分的可數(shù)可加性與連續(xù)性75
4.6 一致可積性:Vitali收斂定理77
第5章 Lebesgue積分:深入課題81
5.1 一致可積性和緊性:一般的Vitali收斂定理81
5.2 依測度收斂83
5.3 Riemann可積與Lebesgue可積的刻畫85
第6章 微分與積分89
6.1 單調(diào)函數(shù)的連續(xù)性89
6.2 單調(diào)函數(shù)的可微性:Lebesgue定理91
6.3 有界變差函數(shù):Jordan定理96
6.4 絕對連續(xù)函數(shù)99
6.5 導(dǎo)數(shù)的積分:微分不定積分103
6.6 凸函數(shù)108
第7章 Lp空間:完備性與逼近112
7.1 賦范線性空間112
7.2 Young、Hlder與Minkowski不等式115
7.3 Lp是完備的:Riesz-Fischer定理119
7.4 逼近與可分性124
第8章 Lp空間:對偶與弱收斂128
8.1 關(guān)于Lp(1p<)的對偶的Riesz表示定理128
8.2 Lp中的弱序列收斂134
8.3 弱序列緊性141
8.4 凸泛函的最小化144
第二部分 抽象空間:度量空間、拓?fù)淇臻g、Banach空間和Hilbert空間
第9章 度量空間:一般性質(zhì)152
9.1 度量空間的例子152
9.2 開集、閉集以及收斂序列155
9.3 度量空間之間的連續(xù)映射158
9.4 完備度量空間160
9.5 緊度量空間164
9.6 可分度量空間169
第10章 度量空間:三個基本定理171
10.1 Arzel-Ascoli定理171
10.2 Baire范疇定理175
10.3 Banach壓縮原理178
第11章 拓?fù)淇臻g:一般性質(zhì)183
11.1 開集、閉集、基和子基183
11.2 分離性質(zhì)186
11.3 可數(shù)性與可分性188
11.4 拓?fù)淇臻g之間的連續(xù)映射189
11.5 緊拓?fù)淇臻g192
11.6 連通的拓?fù)淇臻g195
第12章 拓?fù)淇臻g:三個基本定理197
12.1 Urysohn引理和Tietze延拓定理197
12.2 Tychonoff乘積定理201
12.3 Stone-Weierstrass定理204
第13章 Banach空間之間的連續(xù)線性算子209
13.1 賦范線性空間209
13.2 線性算子211
13.3 緊性喪失:無窮維賦范線性空間214
13.4 開映射與閉圖像定理217
13.5 一致有界原理222
第14章 賦范線性空間的對偶224
14.1 線性泛函、有界線性泛函以及弱拓?fù)?24
14.2 Hahn-Banach定理229
14.3 自反Banach空間與弱序列收斂性234
14.4 局部凸拓?fù)湎蛄靠臻g237
14.5 凸集的分離與Mazur定理240
14.6 Krein-Milman定理244
第15章 重新得到緊性:弱拓?fù)?47
15.1 Helly定理的Alaoglu推廣247
15.2 自反性與弱緊性:Kakutani定理249
15.3 緊性與弱序列緊性:Eberlein-mulian定理250
15.4 弱拓?fù)涞亩攘炕?52
第16章 Hilbert空間上的連續(xù)線性算子255
16.1 內(nèi)積和正交性255
16.2 對偶空間和弱序列收斂259
16.3 Bessel不等式與規(guī)范正交基261
16.4 線性算子的伴隨與對稱性264
16.5 緊算子268
16.6 Hilbert-Schmidt定理270
16.7 Riesz-Schauder定理:Fredholm算子的刻畫273
第三部分 測度與積分:一般理論
第17章 一般測度空間:性質(zhì)與構(gòu)造280
17.1 測度與可測集280
17.2 帶號測度:Hahn與Jordan分解284
17.3 外測度誘導(dǎo)的Carathéodory測度288
17.4 外測度的構(gòu)造291
17.5 將預(yù)測度延拓為測度:Carathéodory-Hahn定理293
第18章 一般測度空間上的積分299
18.1 可測函數(shù)299
18.2 非負(fù)可測函數(shù)的積分304
18.3 一般可測函數(shù)的積分310
18.4 Radon-Nikodym定理317
18.5 Nikodym度量空間:Vitali-Hahn-Saks定理323
第19章 一般的Lp空間:完備性、對偶性和弱收斂性328
19.1 Lp(X,)(1p)的完備性328
19.2 關(guān)于Lp(X,)(1p<)的對偶的Riesz表示定理333
19.3 關(guān)于L(X,)的對偶的Kantorovitch表示定理336
19.4 Lp(X,)(1<p<)的弱序列緊性339
19.5 L1(X,)的弱序列緊性:Dunford-Pettis定理341
第20章 特定測度的構(gòu)造346
20.1 乘積測度:Fubini與Tonelli定理346