资源描述:
《《元函数的连续性》PPT课件》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、§3二元函数的连续性无论是单元微积分还是多元微积分,其中所讨论的函数,最重要的一类就是连续函数.二元函数连续性的定义比一元函数更一般化了些;而它们的局部性质与在有界闭域上的整体性质,二者完全相同.一、二元函数的连续性概念二、有界闭域上连续函数的性质一、二元函数的连续性概念※连续性的定义若只要,就有则称f关于集合D在点连续.在不致误解的情形下,也称f在点连续.若f在D上任何点都关于集合D连续,则称f为D上的连续函数.定义1设f为定义在点集上的二元函数,由上述定义知道:若是D的孤立点,则必定是f的连续点.若是D的聚点,则f关于集合D在点连续等价于如果是D的聚点,而(2)式不成立(其含义与一元函数
2、的对应情形相同),则称是f的不连续点(或称间断点).特别当(2)式左边极限存在,但不等于如上节例1、2给出的函数在原点连续;例3、4、5是f的可去间断点.时,给出的函数在原点不连续.又若把上述例3的函数改为上,这时由于其中m为固定实数,亦即函数f只定义在在坐标原点的连续性.因此此时f在原点连因此f在原点沿着直线是连续的.例1讨论函数解由于当续;而当不存在,此时在原点间断.※全增量与偏增量设量形式来描述连续性,即当为函数f在点的全增量.和一元函数一样,可用增时,f在点连续.如果在全增量中取则相应得到的增量称为偏增量,分别记作一般说来,函数的全增量并不等于相应的两个偏增量之和.若一个偏增量的极限
3、为零,如则表示当固定时,作为x的函数,它在x0连续.同理,则表示当容易证明:当f在其定义域的内点连续时,在x0与在y0都连续.但是反过来,由二元函数对单个自变量都连续,一般不能保证该函数的连续性(除非另外增加条件).例如二元函数固定时,在y0连续.在原点处显然不连续,但由于f(0,y)=f(x,0)=0,因此它在原点处对x和对y分别都连续.例2设在区域连续.试证在下列条件之一满足时,处处连续:(i)对其中一个变量(例如y)满足李普希茨条件,即使得对任何(ii)对其中一个变量(x)的连续关于另一个变量(y)是一致的,即(iii)参见本节习题第9题(这里不作证明).证(i)又当(ii)又由f对x
4、的连续关于y是一致的,故这就证得※连续函数的局部性质以及相应的有理运算的各个法则.下面只证明二元若二元函数在某一点连续,则与一元函数一样,可以证明它在这一点近旁具有局部有界性、局部保号性复合函数的连续性定理,其余留给读者自己去练习.定理16.7(复合函数的连续性)设函数和义,并在点Q0连续,其中则复合函数在点P0也连续.证由f在点Q0连续可知:使得当在点的某邻域内有定义,并在点连续;f(u,v)在点的某邻域内有定时,有又由、在点P0连续可知:对上述使得当时,有综合起来,当时,便有所以在点连续.二、有界闭域上连续函数的性质本段讨论有界闭域上多元连续函数的整体性质.这可以看作闭区间上一元连续函数
5、性质的推广.定理16.8(有界性定理与最大、小值定理)若二元函数f在有界闭域上连续,则f在D上有界,且能取得最大值与最小值.证先证明f在D上有界.倘若不然,则存使得在于是得到一个有界点列,且能使中有无穷多个不同的点.由聚点定理的推论,存在收敛子列,设.因D是闭域,从而.又因f在D上连续,当然在点也连续,于是有这与不等式(3)矛盾,所以f是D上的有界函数.下面证明f在D上能取到最大、小值.为此设可证必有一点,使(同理可证存在,使).如若不然,对任意,都有.考察D上的正值连续函数由前面的证明知道,F在D上有界.又因f不能在D上达到上确界M,所以存在收敛点列,使.于是有,这导致与F在D上有界的结论
6、相矛盾,从而证得f在D上能取到最大值.定理16.9(一致连续性定理)若函数f在有界闭域上连续,则f在D上一致连续.即存在只依懒于的使得对一切满足证本定理可参照第七章中证明一致连续性定理的理来证明.这里我们采用后一种证法.方法,运用有限覆盖定理来证明,也可以运用聚点定倘若f在D上连续而不一致连续,则存在某对于任意小的例如,总有必有的点相应的,虽然,但是由于D为有界闭域,因此存在收敛子列并设.再在中取出与下标相同的子列则因有.最后,由f在P0连续,得这与相矛盾,所以f在D上一致连续.定理16.10(介值性定理)设函数f在区域上连续,若P1,P2为D中任意两点,且则对任何满足不等式证作辅助函数的实
7、数,必存在点,使得易见F仍在D上连续,且由(4)式知道下面证明必存在,使图16-18由于D为区域,我们可以用有限段都在D中的折线连结P1和P2(如图16-18).若有某一个连接点所对应的函数值为0,则定理得证.否则从一端开始逐段检查,必定存在某直线段,使得F在它两端的函数值异号.不失一般性,设连结P1(x1,y1),P2(x2,y2)的直线段含于D,其方程为在此直线段上,F变为关于t的复合函数:由于G为[0,