數(shù)學(xué)外文翻譯---數(shù)學(xué)分析原理第四章連續(xù)性第一節(jié)函數(shù)的連續(xù)性

1、<p>　　外文翻譯： </p><p>　　數(shù)學(xué)分析原理第四章連續(xù)性第一節(jié)函數(shù)的連續(xù)性</p><p>　　原文來源：“Principles of Mathematical Analysis.”from Walter Rudin</p><p><b>　　譯文正文：</b></p>&l

2、t;p>　　在定義2.1和2.2中引進(jìn)了函數(shù)概念和一些與它有關(guān)的術(shù)語.雖然我們（在后面各章里）主要感興趣的是實(shí)函數(shù)和復(fù)函數(shù)（即值是實(shí)數(shù)或復(fù)數(shù)的函數(shù)），但是我們也要討論向量值函數(shù)（即在Rk中取值的函數(shù)）和在任意度量空間中取值的函數(shù).我們在這個更一般的基礎(chǔ)上將要討論的定理，并不會因?yàn)槲覀兿拗圃冢ɡ纾?shí)函數(shù)而顯得更容易些，放棄不必要的假定和用適當(dāng)普遍的措辭來敘述和證明定理，反而會使得情景確實(shí)簡潔了.</p><p&

3、gt;　　我們的函數(shù)的定義域也是度量空間，遇有不同的要求，便加以適當(dāng)?shù)恼f明.</p><p><b>　　函數(shù)的極限</b></p><p>　　4.1定義 令Ｘ和Ｙ是度量空間，假設(shè)，ｆ將Ｅ映入Ｙ內(nèi)．且ｐ是Ｅ的極限點(diǎn)．凡是我們寫當(dāng)時，或</p><p><b>　　（１）</b></p><p>

4、　　的時候，就是存在一個點(diǎn)具有以下的性質(zhì)：對于每個ε＞０，存在著δ＞０，使得</p><p><b>　?。ǎ玻?lt;/b></p><p><b>　　對于滿足</b></p><p><b>　?。ǎ常?lt;/b></p><p><b>　　的一切點(diǎn)成立．</b&

5、gt;</p><p>　　記號分別表示Ｘ和Ｙ中的距離．</p><p>　　如果Ｘ和（或）Ｙ換成實(shí)直線，復(fù)平面或某一歐式空間，那么距離自然該換成絕對值或相應(yīng)的范數(shù)（見第２．１６段）．</p><p>　　應(yīng)當(dāng)注意，但是上面的定義中，并不一定要求ｐ是Ｅ的點(diǎn)．此外，即使，也完全可能．</p><p>　　我們還可以將這個定義用序列的極限改述為：

6、</p><p>　　4.2 定理 令Ｘ，Ｙ，Ｅ，ｆ和ｐ是定義4.1說的那些，那么</p><p><b>　?。ǎ矗?lt;/b></p><p><b>　　當(dāng)且僅當(dāng)</b></p><p><b>　　（５）</b></p><p><b>

7、;　　對于Ｅ中合于</b></p><p>　　，　　　　　　　　　　（６）</p><p><b>　　的每個序列成立．</b></p><p>　　證　　假定（４）成立，取Ｅ中滿足（６）的．給定了ε＞０，那么就有δ＞０，使得當(dāng)且時，．同樣又有Ｎ使得當(dāng)ｎ＞Ｎ時，．這樣，對于ｎ＞Ｎ，我們有．這就證明了（５）成立．</p>

8、<p>　　反過來，假定（４）不成立．這時便有某一個ε＞０，使得對于每個δ＞０，都有點(diǎn)（依賴于δ），對于這來說，但．取我們就在Ｅ中找到一個滿足（６），但使（５）式不成立的序列．</p><p>　　推論　　如果ｆ在ｐ有極限，那么這極限是惟一的．</p><p>　　這可以由定理3.2（ｂ）及定理4.2推出來．</p><p>　　4.3　定義　　設(shè)有定

9、義在Ｅ上的兩個復(fù)函數(shù)和，我們用表示一個函數(shù)，它給Ｅ的每個點(diǎn)配置的數(shù)是．我們用類似的方法定義兩個函數(shù)的差，積及商，約定商只定義在Ｅ的那些使如果給Ｅ的每個點(diǎn)配置同一個數(shù)ｃ，那么就叫做一個常數(shù)函數(shù)，或簡單地叫做一個常數(shù)，并記作．設(shè)和都是實(shí)函數(shù)，如果對于每個來說，那么有時為了簡便，就記作．</p><p>　　類似地，如果和把Ｅ映入內(nèi)，便用</p><p>　　來定義及；再若是是實(shí)數(shù)，便定義．&l

10、t;/p><p>　　4.4 定理 如果，Ｘ是度量空間，ｐ是Ｅ的極限點(diǎn)，與是Ｅ上的復(fù)函數(shù)，而且</p><p><b>　　那么</b></p><p><b>　?。ǎ幔?lt;/b></p><p><b>　?。ǎ猓?lt;/b></p><p><

11、b>　?。ǎ悖?lt;/b></p><p>　　證　　依照定義４.３，這些論斷可以從序列的類似性質(zhì)（定理３.３）直接退出來．</p><p>　　評注　如果與將Ｅ映入內(nèi)，那么（ａ）仍然成立，而（ｂ）就要變?yōu)椋ǎ?lt;/p><p><b>　?。▍⒖炊ɡ恚?４）</b></p><p><b>　　連

12、續(xù)函數(shù)</b></p><p>　?。?５　定義　　設(shè)Ｘ與Ｙ是度量空間，并且將Ｅ映入Ｙ內(nèi)，如果對于每一個總存在對于一切滿足的點(diǎn)來說，就說在連續(xù)．</p><p>　　如果在Ｅ的每一點(diǎn)都連續(xù)，就說在Ｅ上連續(xù)．</p><p>　　應(yīng)該注意，要使在點(diǎn)連續(xù)，必須在點(diǎn)有定義．（這一點(diǎn)請與定義４.１后面的說明對比一下）．</p><p>　

13、　如果是Ｅ的一個孤立點(diǎn)，那么由我們的定義推知，每一個以Ｅ為定義域的函數(shù)都在點(diǎn)連續(xù)．因?yàn)椋还苋〉哪膫€總可以選一個使得滿足的點(diǎn)只有；于是</p><p>　?。?６定理　在定義４.５里所假定的情況下，再假定是Ｅ的極限點(diǎn)．那么，在點(diǎn)連續(xù)當(dāng)且僅當(dāng)</p><p>　　證　只要將定義４.１和４.５對比一下就清楚了．</p><p>　　現(xiàn)在我們轉(zhuǎn)到函數(shù)的復(fù)合．下面定理的一種

14、簡述是：連續(xù)函數(shù)的連續(xù)函數(shù)是連續(xù)的．</p><p>　　４.７　定理　設(shè)Ｘ,Ｙ,Ｚ是度量空間，，將Ｅ映入Ｙ內(nèi)，將的值域映入Ｚ內(nèi)，而是由　?。x的Ｅ到Ｚ的映射．如果，并且在點(diǎn)連續(xù)，那么在點(diǎn)連續(xù)．</p><p>　　這個函數(shù)叫做和的復(fù)合函數(shù)或者和合成．記號　在本書中經(jīng)常用．</p><p>　　證　設(shè)已經(jīng)給定．因?yàn)樵谶B續(xù)，便有使得當(dāng)和有．又因?yàn)樵邳c(diǎn)連續(xù)，那么存在著

15、，使得當(dāng)和有．由此知道：當(dāng)和有．所以在點(diǎn)連續(xù)．</p><p>　?。?８定理　將度量空間Ｘ映入度量空間Ｙ內(nèi)的映射在Ｘ上連續(xù)，當(dāng)且僅當(dāng)對于Ｙ的每一個開集Ｖ來說，是Ｘ中的開集．</p><p>　?。嫦竦亩x已見于定義２.２）這是連續(xù)性的一個極有用的一個特征．</p><p>　　證　設(shè)在Ｘ上連續(xù)而Ｖ是Ｙ中開集．我們必須證明，的每個點(diǎn)都是的內(nèi)點(diǎn)．設(shè)，且．由于Ｖ是開集

16、，必定存在著,使得當(dāng)有，而由于在點(diǎn)連續(xù)，就又存在，使當(dāng)有.所以，只要就保證了.</p><p>　　反之，設(shè)對于Ｙ中的每個開集Ｖ來說，是Ｘ中的開集．固定了與，令Ｖ滿足的一切所成的集，那么Ｖ是開集，因而是開集，因而存在著使得當(dāng)有．然而一旦，便將要，所以．這就完成了定理的證明．</p><p>　　推論　將度量空間Ｘ映入度量空間Ｙ內(nèi)的映射是連續(xù)的，當(dāng)且僅當(dāng)對于Ｙ中的每個閉集Ｃ， 是閉集．<

17、;/p><p>　　這由本定理即可推知．因?yàn)橐粋€集是閉集，當(dāng)且僅當(dāng)它的余集是開集．然而對每個，．現(xiàn)在我們轉(zhuǎn)到復(fù)值和向量值函數(shù)，以及定義在的子集上的函數(shù)．</p><p>　?。矗埂《ɡ怼≡O(shè)與是度量空間Ｘ上的復(fù)連續(xù)函數(shù)，那么，與在Ｘ上連續(xù)．</p><p>　　在最后的情形中，當(dāng)然必須假定對于一切</p><p>　　證　在Ｘ的孤立點(diǎn)無需證明．在

18、極限點(diǎn)，論斷是定理４．４與定理４．６的直接結(jié)果．</p><p><b>　?。矗保啊《ɡ?lt;/b></p><p>　?。ǎ幔┰O(shè)是度量空間Ｘ上的實(shí)函數(shù)，并且ｆ是由</p><p>　?。妗　　　　　　。ǎ罚?lt;/p><p>　　定義而將Ｘ映入內(nèi)的映射．那么，ｆ連續(xù)當(dāng)且僅當(dāng)都連續(xù)．</p><p>

19、;　?。ǎ猓┤绻媾cｇ是將Ｘ映入內(nèi)的連續(xù)映射，那么ｆ＋ｇ與ｆ·ｇ都在Ｘ上連續(xù)．</p><p>　　函數(shù)叫做ｆ的分量．注意，ｆ＋ｇ是把Ｘ映入內(nèi)的映射，而ｆ·ｇ則是Ｘ上的實(shí)函數(shù)．</p><p>　　證　部分（ａ）能由不等式</p><p><b>　?。?lt;/b></p><p>　　推出來的，其中．部

20、分（ｂ）是（ａ）與定理４．９的直接結(jié)果．</p><p>　?。矗保薄±∪绻屈c(diǎn)的坐標(biāo)．由</p><p><b>　　（８）</b></p><p>　　定義的函數(shù)必然在上連續(xù)，這因?yàn)椴坏仁?lt;/p><p>　　表示，我們可以在定義４．５中?。@些函數(shù)有時稱為坐標(biāo)函數(shù)．</p><p>　　

21、重復(fù)應(yīng)用定理４．９可以證明每個單項(xiàng)式　　　　　（９）</p><p>　　在上連續(xù)，其中是非負(fù)的整數(shù)．因?yàn)槌?shù)顯然是連續(xù)的，所以（９）式用常數(shù)乘后還連續(xù)．由此推知，每個由</p><p><b>　?。ǎ保埃?lt;/b></p><p>　　給出的多項(xiàng)式Ｐ在上連續(xù)．這里系數(shù)是復(fù)數(shù)，是非負(fù)的整數(shù)，并且（１０）中的和只有有限多項(xiàng)．</p>

22、<p>　　更進(jìn)一步，的每個有理函數(shù)，即形式如（１０）的兩個多項(xiàng)式的商，只要它的分母不為零，便在上連續(xù)．</p><p>　　從三角形不等式容易看出</p><p><b>　?。?1）</b></p><p>　　所以，映射是上的連續(xù)函數(shù).</p><p>　　現(xiàn)在，如果f是一個由度量空間X映入內(nèi)的連續(xù)映射

23、，并且在X上由定義，那么，用定理4.7可以推知，是X上的連續(xù)實(shí)函數(shù).</p><p>　　4.12 評注 我們定義了一個度量空間X的某個子集E上定義的函數(shù)的連續(xù)概念.然而，E在X中的余集在這個定義中不起任何作用（注意，這情況同函數(shù)的極限有些不同）．因此，去掉 的定義域的余集我們毫不介意.這就是說，我們可以只談度量空間映入另一度量空間內(nèi)的連續(xù)映射，而不談子集的映射.這樣可以簡化某些定理的敘述和證明.我們已經(jīng)在定理4