民科吧 关注:365,944贴子:4,881,513

什么是“连续不断的曲线”?连续函数的定义与性质

只看楼主收藏回复

函数的极限上一个贴子传送门

上面便是我们高中就学习过的零点存在性定理,也叫波尔扎诺-柯西中值定理。注意到:这个定理中要求f(x)的图像必须是一条连续不断的曲线,但是,从我们讲过的实数公理系统开始,我们并没有说过什么是“连续不断的曲线”,也就是说,高中的这个定理是不合理的,数学的大厦又双叒叕轰然倒塌
高中教材之所以这样写也是不得已而为之,由于学生水平不足,高中不能像数分一样把实数公理系统完整地讲一遍,不然刚入学的高一小朋友们一看到实数的定义写了整整一面纸就得被吓跑。由于没有一个坚实的公理体系作为基础,后面的内容也自然会有不严谨之处,因此像上面的“连续”等概念也就只能靠直观感受了(了解微分学后再看高中教材的导数是真难受啊)
我们已经有了实数公理系统一些近世代数内容与实数,现在便可以严谨地定义“连续”了

一 基本定义
⑴Definition1:函数f:E→R在某点a(a∈E)是连续的,若f(a)的任意邻域V(f(a)),总存在a在E上的一个邻域U(a),令f(U(a))包含于V(f(a))
①我们指出,连续性不是整体性质而是局部性质
②在这个定义中,f 在E的孤立点上也是连续的,也有些教材的定义认为函数在孤立点上是不连续的
③若a是E的极限点,则f 在a上连续的充要条件是f 在x→a的极限为f(a),证明过于简单,略去
④由连续的定义,若 f在E的极限点a连续,则lim(x→a)f(x)=f(lim(x→a)x),即在一点连续的函数可与极限交换顺序,这样我们可以得到十分重要的海涅归结原则
⑤由柯西准则,我们可得函数在a∈E连续的充要条件:∀ε>0,∃U(a),令ω(f;U(a))<ε
⑵Definition2:量ω(f;a)=lim(δ→+0)ω(f;U(a))(δ是邻域半径)称为f:E→R在点a∈E处的振幅
①由上面的⑤我们可知,函数在一点处连续的充要条件是他在该点处振幅为0
②各位可以尝试自行验证我们对ω(f;a)的定义是合理的
⑶Definition3:若f:E→R在E上每个点都连续,那么称f是E上的连续函数
⑷Definition4:若f:E→R在某个点不连续,那么这个点称为他的间断点
⑸Definition5:若函数在某一间断点处极限存在,那么我们称该点为可去间断点
⑹Definition6:若函数在某一间断点处左右极限都存在但不等,则称其为第一类间断点,若两极限有一者不存在则称其为第二类间断点


IP属地:天津来自Android客户端1楼2024-01-10 12:19回复
    ⑺一些例子
    ①若f:E→R为常值函数,那么他必然连续,因为他在任意一点振幅都为0
    ②考虑一下三角函数sin(x),对于任意a∈R及任意ε>0,总存在δ=ε,当|x-a|<δ时,|sin(x)-sin(a)|=2|cos((x+a)/2)sin((x-a)/2)| (高中的和差化积)≤|x-a|<ε(利用了上一个贴子的不等式|sin(x)|<|x|),故正弦函数连续,同理可证余弦函数连续


    IP属地:天津来自Android客户端2楼2024-01-21 22:47
    回复
      ③由指数函数,对数函数与幂函数 可知,指数函数连续


      IP属地:天津来自Android客户端3楼2024-01-31 22:55
      收起回复
        ④黎曼函数
        这个函数在无理点处连续,有理点都是他的第一类间断点


        IP属地:天津来自Android客户端4楼2024-02-04 21:39
        收起回复
          ⑤狄利克雷函数
          这个函数在有理点处取1,在无理点处取0(请思考,为什么?)他处处不连续,是周期函数,但无最小正周期,因为没有最小的大于0的有理数


          IP属地:天津来自Android客户端5楼2024-02-04 21:45
          回复
            二 连续函数的局部性质
            我们将函数的定义域内的一点的任意小邻域内所具有的性质称为局部性质


            IP属地:天津来自Android客户端6楼2024-02-04 21:48
            回复
              刚刚打了好几把音游,现在手腕酸疼酸疼的但至少不妨碍打字


              IP属地:天津来自Android客户端7楼2024-02-05 18:39
              回复
                设f:E→R是在点a∈E连续的函数,那么有如下结论成立


                IP属地:天津来自Android客户端8楼2024-02-05 18:41
                回复
                  ⑴ f在a的某个邻域中有界
                  由定义立即得到


                  IP属地:天津来自Android客户端9楼2024-02-05 18:43
                  回复
                    ⑵如果f(a)≠0,那么在a的某个邻域中,函数的一切值与f(a)同号
                    这里只要取ε=f(a)/1145141919810即可证


                    IP属地:天津来自Android客户端10楼2024-02-05 18:45
                    收起回复
                      ⑶这里利用函数极限的算术性质即可


                      IP属地:天津来自Android客户端11楼2024-02-05 18:49
                      回复
                        ⑷ |f|也是连续函数
                        这个各位自行证明,只要利用绝对值的三角不等式


                        IP属地:天津来自Android客户端12楼2024-02-05 18:51
                        回复
                          ⑸若g:Y→R在b∈Y连续,f:E→Y满足f(a)=b,且在a连续,那么g(f(x))在a也连续
                          利用复合函数极限即可


                          IP属地:天津来自Android客户端13楼2024-02-05 18:53
                          回复
                            三 连续函数的整体性质
                            一般将与函数整个定义域有关的性质称为整体性质


                            IP属地:天津来自Android客户端14楼2024-02-05 18:54
                            回复
                              ⑴首先我们便给出高中缺失的波尔扎诺-柯西中值定理证明
                              如果一个函数在一个闭区间上连续,并在其两端点取异号的值,则该函数在该闭区间上有零点
                              即(f∈C[a,b])∧(f(a) f(b)<0)→∃ξ∈[a,b] s.t. f(ξ)=0
                              C(E)指E上一切连续函数的集合


                              IP属地:天津来自Android客户端15楼2024-02-05 19:05
                              回复