羅群

（肇慶學(xué)院 數(shù)學(xué)與信息科學(xué)學(xué)院,廣東 肇慶 526061）

0 引言

在《數(shù)學(xué)分析》教材中，有如下定理：

積分第一中值定理[1]若f在[a,b]上連續(xù)，則至少存在一點(diǎn)ξ∈[a,b]，使得

該定理是數(shù)學(xué)分析中的一個(gè)重要定理.稱這樣的點(diǎn)ξ∈[a,b]為連續(xù)函數(shù)f在區(qū)間[a,b]上的中間值點(diǎn)（或平均值點(diǎn)），以下簡(jiǎn)稱f的中間點(diǎn).文獻(xiàn)[2]及其參考文獻(xiàn)中討論了連續(xù)函數(shù)f的中間值點(diǎn)的漸近性.對(duì)于[a,b]上的連續(xù)函數(shù)f，這樣的中間點(diǎn)不一定是唯一的.本文討論中間點(diǎn)集的穩(wěn)定性，即當(dāng)連續(xù)函數(shù)f發(fā)生微小變化時(shí)，f的中間點(diǎn)集是否也發(fā)生微小變化？有例子表明這個(gè)結(jié)論是否定的.為此，筆者引入本質(zhì)中間點(diǎn)等概念討論中間點(diǎn)集的穩(wěn)定性問(wèn)題，得到如下結(jié)論：[a,b]上大多數(shù)連續(xù)函數(shù)（在Baire分類意義下）的中間點(diǎn)集是穩(wěn)定的；[a,b]上連續(xù)函數(shù)的中間點(diǎn)集是本質(zhì)連通區(qū)的一個(gè)充分條件.

1 預(yù)備知識(shí)

設(shè)X和Z是2個(gè)Hausdorff拓?fù)淇臻g，F(xiàn)∶Z→2X是集值映射.

定義1 1）稱F在y∈Z處是上半連續(xù)的，如果對(duì)X中任意開(kāi)集O且F(y)?O，存在y的開(kāi)鄰域N(y)，使得對(duì)任意y′∈N(y)，有F(y′)?O；稱F在Z上為上半連續(xù)的，如果F在任意y∈Z處為上半連續(xù)的.

2）稱F在y∈Z處是下半連續(xù)的，如果對(duì)X中任意開(kāi)集O且O∩F(y)≠?，存在y的開(kāi)鄰域N(y)，使得對(duì)任意y′∈N(y)，有F(y′)∩O≠?；稱F在Z上為下半連續(xù)的，如果F在任意y∈Z處為下半連續(xù)的.

3）稱F在Z上是連續(xù)的，如果F在Z上既是上半連續(xù)又是下半連續(xù)的.

4）稱F在Z上是usco映射，如果對(duì)任意y∈Z，F(xiàn)(y)是緊值的且F在Z處是上半連續(xù)的.

記C[a,b]是定義在閉區(qū)間[a,b]上的實(shí)值連續(xù)函數(shù)，對(duì)任意f，g∈C[a,b]，定義度量ρ和范數(shù)‖·‖如下：

則C[a,b]是Banach空間[3].

對(duì)集合A，B?[a,b]，記H(A,B)為[a,b]上的Hausdorff度量.

下面的引理1是Fort定理，參見(jiàn)文獻(xiàn)[4－5].

引理1 如果X是度量空間，Z是Baire空間，F(xiàn)是Z上的usco映射，則存在Z中的稠密剩余集Q，使得對(duì)任意y∈Q，F(xiàn)在y處是下半連續(xù)的.

2 主要結(jié)論

引理2 映射G是一個(gè)usco映射，即G是具有緊值且上半連續(xù)的集值映射.

證 由于[a,b]是緊的，要證G是緊值的，只需證：對(duì)任意f∈C[a,b]，G(f)是閉的.設(shè)ξ0是G(f)的聚點(diǎn)，則存在G(f)中的點(diǎn)列，使得

由于

例1 設(shè)[a,b]＝[0,1]，f（t）≡1,t∈[0,1]，則G（f）＝[0,1].對(duì)任意ε＞0，取則，但G（fε）＝{1/2 }，顯然，即G在f不連續(xù)，從而G（f）不穩(wěn)定.

即(f*，ξ*)∈Graph G，從而映射G是usco映射.

定義2 1）對(duì)f∈C[a,b]，稱ξ∈G（f）是f的本質(zhì)中間點(diǎn)，如果對(duì)ξ的任意開(kāi)鄰域O(ξ)∈[a,b]，存在δ＞0，使得對(duì)任意滿足ρ(f，g)＜δ的g∈C[a,b]都有O(ξ)∩G(g)≠?；

2）稱f∈C[a,b]是本質(zhì)的，如果每個(gè)ξ∈G（f）都是f的本質(zhì)中間點(diǎn)；

3）設(shè)f∈C[a,b]，Cα（f）?G（f）是連通子集，稱Cα（f）是G（f）的本質(zhì)連通區(qū)，如果對(duì)任意在[a,b]內(nèi)且包含Cα（f）的開(kāi)集O，都存在δ＞0，使得對(duì)任意滿足ρ(f，g)＜δ的g∈C[a,b]，都有O∩G(g)≠?；

4）稱f∈C[a,b]的中間點(diǎn)集G（f）是穩(wěn)定的，如果G在f處是連續(xù)的.

由定義1及定義2易得下面的定理1.

定理1 映射G在f∈C[a,b]處下半連續(xù)的充要條件為f是本質(zhì)的.（證明省略）

由引理1、引理2和定理1可得到定理2.

定理2 存在C[a,b]中一個(gè)稠密剩余集Q，使得對(duì)任意f∈Q?C[a,b]，G在f處是下半連續(xù)的.從而f∈Q是本質(zhì)的，G在f處是連續(xù)的，即G（f）是穩(wěn)定的.（證明省略）

由定理2可知，仍有f∈C[a,b]，而G在f處不是連續(xù)的，即G（f）是不穩(wěn)定的.

例1說(shuō)明，當(dāng)C[a,b]中的連續(xù)函數(shù)f有微小變化時(shí)，f的中間點(diǎn)集G(f)發(fā)生較大變化，即中間點(diǎn)集不穩(wěn)定.盡管不能得到G(f)是穩(wěn)定的，但可以得到G(f)存在本質(zhì)連通區(qū)的一個(gè)充分條件.

定理3 對(duì)f∈C[a,b]，若G(f)＝[α,β]?[a,b]，則G(f)是本質(zhì)連通區(qū).

證 （反證法）假設(shè)G(f)不是本質(zhì)連通區(qū)，則存在開(kāi)集O*?G(f)，使得對(duì)任意n＝1,2,3,…，存在gn∈C[a,b]，ρ(f，gn)＜1/n,滿足G(gn)∩O*＝?.

對(duì)任意n＝1,2,3,…，取xn∈G(gn)，則xn?O*.由于｛xn｝?[a,b]，所以｛xn｝有聚點(diǎn)x*?[a,b].不妨設(shè)而所以f(x*)(b－a)＝于是x*∈G(f)＝[α,β]?O*，而O*為開(kāi)與xn?O*矛盾.故G(f)是本質(zhì)連通區(qū).

推論1 對(duì)f∈C[a,b]，若G(f)是單點(diǎn)集｛x0｝，則x0是f的本質(zhì)中間點(diǎn)，此時(shí)G在f處是連續(xù)的.

注1 對(duì)f∈C[a,b]，若G(f)不是單點(diǎn)集，則f可能沒(méi)有本質(zhì)中間點(diǎn).

例2 設(shè)[a,b]＝[0,1]，f(t)≡0,t∈[0,1]，則G(f)＝[0,1]不是單點(diǎn)集.下面證明f沒(méi)有本質(zhì)中間點(diǎn).

事實(shí)上，對(duì)任意x0∈[0,1].若x0∈(0,1)，取充分小的δ＞0，使得(x0－4δ,x0＋4δ)?(0,1).對(duì)任意ε＞0，取

同理可證x0＝0與x0＝1也不是f的本質(zhì)中間點(diǎn)，故f沒(méi)有本質(zhì)中間點(diǎn).

[1] 華東師范大學(xué)數(shù)學(xué)系.數(shù)學(xué)分析:上冊(cè)[M].3版.北京:高等教育出版社，2005:217.

[2] 張新元,王驍力.一類函數(shù)第一積分中值定理中值點(diǎn)的漸近性[J].數(shù)學(xué)的實(shí)踐與認(rèn)識(shí),2011,41(4):228-233.

[3] 泛函分析引論及應(yīng)用[M].張石生，等譯.重慶:重慶出版社,1986:57.

[4] FORT M K J.Points of continuity of semicontinuous functions[J].Publ Math Debrecen,1952(2):100-102.

[5] 羅群，俞建.擬變分不等式解集的極小本質(zhì)集及其應(yīng)用[J].高校應(yīng)用數(shù)學(xué)學(xué)報(bào):A輯,2004,19(1):81-88.