陳亦佳，李志成

（玉溪師范學(xué)院 數(shù)學(xué)與信息技術(shù)學(xué)院，云南 玉溪 653100）

0 引 言

實(shí)數(shù)的連續(xù)性和閉區(qū)間的緊致性，使閉區(qū)間上的連續(xù)函數(shù)具有許多豐富性質(zhì)，例如有界性、最值性、介值性及一致連續(xù)性.開(kāi)區(qū)間和半開(kāi)區(qū)間是非緊致的，其上的連續(xù)函數(shù)就未必具有上述性質(zhì).本文主要在閉區(qū)間連續(xù)函數(shù)的性質(zhì)的基礎(chǔ)上，把緊致的閉區(qū)間推廣到非緊致的開(kāi)區(qū)間、半開(kāi)區(qū)間和無(wú)限區(qū)間.另一方面，實(shí)變函數(shù)是數(shù)學(xué)分析的繼續(xù)、深化和推廣，基于實(shí)變函數(shù)，我們可以進(jìn)一步把區(qū)間推廣到可測(cè)集，把連續(xù)函數(shù)推廣到可測(cè)函數(shù)，得到在可測(cè)集上可測(cè)函數(shù)的性質(zhì).基于上述分析，本文得到了幾個(gè)不同形式的閉區(qū)間連續(xù)函數(shù)性質(zhì)的推廣，并分別給出了他們的證明，使閉區(qū)間連續(xù)函數(shù)的性質(zhì)得到了豐富.下面介紹本文所涉及的定理和引理：

有界性定理[1]若函數(shù)f(x) 在閉區(qū)間[a,b] 連續(xù)，則函數(shù)f(x) 在閉區(qū)間[a,b] 上有界，即，有

最值性定理[1]若函數(shù)f(x) 在閉區(qū)間[a,b] 連續(xù)，則函數(shù)f(x) 在閉區(qū)間[a,b] 能取到最小值m和最大值M，即，使且，有

定義1[2]設(shè)E是一個(gè)實(shí)數(shù)子集.若對(duì)任何實(shí)數(shù)子集A有

則E稱(chēng)為L(zhǎng)ebesgue 可測(cè)集，或簡(jiǎn)稱(chēng)可測(cè)集.

定義2[2]設(shè)函數(shù)f的定義域是可測(cè)集D.若對(duì)任何實(shí)數(shù)α，集合

是可測(cè)集，則稱(chēng)f是D上的可測(cè)函數(shù).

定義3[2]設(shè)是Rn中一族開(kāi)集.如果，則{Gλ}稱(chēng)為E的一個(gè)開(kāi)覆蓋.若E的任一開(kāi)覆蓋中存在有限個(gè)開(kāi)集仍構(gòu)成E的一個(gè)開(kāi)覆蓋，則E稱(chēng)為緊集.

引理1[2]設(shè)f在可測(cè)集D上可測(cè)，則存在D上的簡(jiǎn)單函數(shù)列，使對(duì)每一收斂于f(x) .此外：

（i）當(dāng)f非負(fù)時(shí)，對(duì)每一單增收斂于f(x) ，

（ii）當(dāng)f有界時(shí)，在D上一致收斂于f(x) .

引理2[2]設(shè)F是一個(gè)緊集，是一列沿F連續(xù)的函數(shù).若在F上一致收斂于f，則f也沿F連續(xù).

引理3[2]設(shè)f是可測(cè)函數(shù)D上的簡(jiǎn)單函數(shù).則對(duì)任何ε＞0 ，有沿D連續(xù)的函數(shù)f*使

Egoroff 定理[2]設(shè)f和都是測(cè)度有限的集D上的幾乎處處有限的可測(cè)函數(shù).若fn在D上幾乎處處收斂于f，則對(duì)任何ε＞0 ，有D的閉子集F，使，并且fn在F上一致收斂于f.

1 閉區(qū)間連續(xù)函數(shù)性質(zhì)推廣到開(kāi)區(qū)間及無(wú)限區(qū)間

定理1函數(shù)f(x) 在開(kāi)區(qū)間(a,b) 上連續(xù)，且，則函數(shù)f(x)在開(kāi)區(qū)間(a,b)上有界.

證明由于，則由局部有界性，或，有

又由于f(x) 在上連續(xù)，由有界性定理可知，，有

定理2設(shè)函數(shù)f(x) 在區(qū)間( -∞,b) 上連續(xù)，且，則f(x)在區(qū)間( -∞,b)上有界.

證明由于，則由局部有界性，?M1＞0 ，?δ＞0 ，對(duì)于，有

類(lèi)似可證：

推論1函數(shù)f(x) 在區(qū)間(a, +∞) 上連續(xù)，且則函數(shù)f(x)在區(qū)間(a, +∞)上有界.

推論2函數(shù)f(x) 在區(qū)間( -∞, +∞) 上連續(xù)且則函數(shù)f(x)在區(qū)間( -∞, +∞)上有界.

定理3設(shè)函數(shù)f(x) 在開(kāi)區(qū)間(a,b) 上連續(xù)，且則

證明（1）將函數(shù)f(x) 在閉區(qū)間[a,b] 上作連續(xù)開(kāi)拓，令

則F(x) 是[a,b] 上的連續(xù)函數(shù)，從而F(x) 在[a,b] 上可取得最大值.不妨設(shè)最大值為，由已知條件可知，

則f(x) 在(a,b) 內(nèi)的1x處取到最大值.

（2）另一方面，由于F(x) 是[a,b] 上的連續(xù)函數(shù)，所以F(x) 在[a,b] 上可取得最小值.不妨設(shè)最小值為F(x2)，.由已知條件可知，

則f(x) 在(a,b) 內(nèi)的2x處取到最小值.

定理4函數(shù)f(x) 在無(wú)窮區(qū)間( -∞,b) 上連續(xù)，且則

證明（1）由則對(duì)于，?X＞0 ，當(dāng)x＜-X時(shí)，有

將函數(shù)f(x) 在[ -X,b]上作連續(xù)開(kāi)拓，令

由于F(x)在[ -X,b]連續(xù)，則F(x)在[ -X,b]存在最大值M.

若f(ξ1)＜M，則

若f(ξ1)=M，則

將函數(shù)f(x) 在[ -X,b]上作連續(xù)開(kāi)拓，令

由于F(x)在[ -X,b]連續(xù)，則F(x)在[ -X,b]存在最小值m.

若f(ξ2)＞m，則

若f(ξ2)=m，則

類(lèi)似可證：

推論3若函數(shù)f(x) 在無(wú)窮區(qū)間(a, +∞)上連續(xù)，并則

推論4若函數(shù)f(x) 在無(wú)窮區(qū)間( -∞, +∞)上連續(xù)，且為有限值），則

2 閉區(qū)間連續(xù)函數(shù)性質(zhì)推廣到可測(cè)集上的可測(cè)函數(shù)

定理5設(shè)f是可測(cè)集D上幾乎處處有限的可測(cè)函數(shù)，則對(duì)任何ε＞0 ，有沿D連續(xù)的函數(shù)f* ，使并且

證明不失一般性設(shè)f在D上處處有限.先設(shè)是有界可測(cè)集，由引理4，有D上的簡(jiǎn)單函數(shù)列使得

現(xiàn)對(duì)每一n≥1 ，由引理6，存在沿D連續(xù)的函數(shù)使得

令

則

再由引理5，f沿F連續(xù).構(gòu)造函數(shù)f* ，由于是開(kāi)集，其中開(kāi)區(qū)間族兩兩不相交.定義

則顯然f作為F上的函數(shù)可以開(kāi)拓成沿D的連續(xù)函數(shù)f* ，且

此時(shí)

從而

和

對(duì)一般的D?R，此時(shí)對(duì)每一整數(shù)n，令

則Dn都是有界的.從而由上段證明，對(duì)每一n，存在Dn的閉子集Fn，使f沿Fn連續(xù)，并且

則f作為F上的函數(shù)可以開(kāi)拓成D上的連續(xù)函數(shù)f* ，使

并且

從而

和

類(lèi)似可證：

推論5若f是[a,b] 上幾乎處處有限的可測(cè)函數(shù)，則對(duì)任何ε＞0 ，有[a,b] 上連續(xù)函數(shù)f* ，使并且

3 結(jié) 論

對(duì)連續(xù)函數(shù)性質(zhì)的研究是數(shù)學(xué)分析最基本、最核心的知識(shí)點(diǎn)之一，因此這個(gè)課題研究一直都很熱門(mén)，也很有意義.本文在前人的研究基礎(chǔ)上，探討把閉區(qū)間上連續(xù)函數(shù)的性質(zhì)推廣到開(kāi)區(qū)間或無(wú)窮區(qū)間.實(shí)變函數(shù)是數(shù)學(xué)分析的繼續(xù)、深化和推廣，本文又基于實(shí)變函數(shù)理論.利用Lebesgue 測(cè)度理論，把連續(xù)函數(shù)推廣到可測(cè)函數(shù)，把區(qū)間推廣到可測(cè)集.并得到幾個(gè)不同形式的推廣，并進(jìn)行嚴(yán)格證明，使閉區(qū)間連續(xù)函數(shù)的性質(zhì)得到推廣，使之應(yīng)用更為廣泛.