连通紧集上的连续函数.pdfVIP

第24卷 第 1期 江苏教育学院学报 (自然科学版) Vol_24 No．1 2007年 1月 JournalofJiangsuInstituteofEducation(NaturalSciences) Jan．，2007 连通紧集上的连续函数 仇 惠 玲 (江苏教育学院数学系，江苏南京 210013) 摘 要 设(x，p)是一个度量空问，本文研究了点集 在什么条件下，能使得在X上的任何连续函数都是一致连续函 数 。并给出了一个充要条件． 关键词 紧集；连续函数；一致连续函数 1 引言与主要结果 设(X，p)是一个度量空间，本文研究的函数均是 上的实函数． 若点集 上的任何开覆盖都包含一个有限的子覆盖，则称 是紧集． 设 )是 上的函数，若对任何正数 s，都存在正数6，使得对任何 中的两点 。， ，只要P( ， )6，就有 。)一，( ) l8，则称函数 )在 上一致连续． 函数的一致连续性与集合的紧性有着密切的联系．下面是我们一个熟知的结论． 定理 1 设 (X，P)是一个度量空间，且 是一个紧集，则在 上的任何连续函数都是一致连续函数． 在一般情况下，定理 1的逆是不成立的，即在某个集 上的任何连续函数都是一致连续函数并不能保证 一定是一个紧 集．请看下面的例子： 例 1：设点集 是 自然数集 ，显然在 上的任何函数都是连续函数也都是一致连续函数，而 自然数集X不是紧集． 如果我们对点集 稍加一些限制，定理 1的逆还是能够成立．下面是我们给出的主要结果． 定理2 设( ，P)是一个度量空间，且 是一个连通集，如果在 上的任何连续函数都是一致连续函数，则 是一个紧集． 2 一些概念及引理 为了证明定理2，我们需要一些概念和引理． 如果在 中的任何序列 { }都存在 { }的一个收敛子序列 ，则称 是列紧集． 如果在 中的任何柯西序列都在 中收敛 ，则称 是完备集． 如果对任何正数 ，X都存在一个有限的s一网(即 能被有限个半径为 的领域所覆盖)，则称 是全有界集． 如果 不能表示成 中的两个互不相交非空开集的并集 ，则称 是连通集． 引理 12【 若 是紧集，则 是列紧集． 引理2 是紧集的充要条件是 既是完备集又是全有界集． 证明：必要性 ：设 是紧集，由引理 1，也是列紧集． 设{X}是 中的一个柯西数列．因为 是列紧集 ，所以{ }在 中存在收敛的子序列，因而柯西数列 { }在 中收敛，因此 是完备集． 此外，假设 不是全有界集，即存在正数a，使得 不存在有限的a一网，于是就存在 中的一个点列 { }，使得p(x， ) o／(n#m)，因而 { }的任何子列都不是柯西数列，从而 { }的任何子列都发散，这与 是列紧集矛盾．所以 是全有界集． 充分性：设 既是完备集又是全有界集．假设 不是紧集，即存在 的一个开覆盖 不存在有限的子覆盖．但 是全有界 1 1 1 集，所以存在X中的一列半径为 的闭球B(，者)={Ip(，)≤1‘，E }，使得 二 二 二 1 1 1 日(l，÷)3B(x2，1)]…B(，者)]…， ‘ 二 1 1 1 且对于每一 曰( ，·)来讲，都不存在有限的子覆盖．当nm时，有 曰( ， )，即p( ， ) — —一0．因此 二 厶 一 52 — { }是X中的一个柯西数列 ，是完备集，所