闭区间上连续函数有界性的教学研究与应用

来源 :曲阜师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:hgscmey
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
大学数学专业课程《数学分析》是一门非常重要的专业基础课和入门课程,闭区间上连续函数的性质是该课程的重要教学内容.关于闭区间上连续函数的有界性定理,该文给出一个新的完全不同的证明思路.从局部出发渐变到整体,将局部性质推演为整体性质,是新证明的出发点和入手点.该证明思路的核心是确界原理的应用,并将此新的证明思路应用于研究连续函数的其他性质,如连续函数的相邻的两个最值点区间的确定、连续函数的介值定理等.
其他文献
主要研究周期线性barrier分红策略下的古典风险模型,得到了平均累积折现分红函数满足的积分-微分方程,并在指数索赔的情况下求出了其精确表达式;文章最后给出了该模型下的破产概率所满足的偏积分微分方程.
文章对影响棉花组织培养及植株再生的6个主要因素(基因型、外植体类型、培养基组成、植物激素、光照、金属离子)的研究状况进行了回顾,探讨了目前棉花组织培养研究中的常见问题,并对未来开展棉花快速组织扩繁的研究方向进行展望.
文章采用泰尔指数、标准差椭圆、空间自相关等方法,分析了2005年以来山东城镇化水平差异的时空特征,运用面板空间杜宾模型从直接、间接与总效应3个方面探讨了各影响因素对城镇化发展的影响.研究表明:①山东省城镇化水平重心向西南部转移,东北—西南向格局特征明显,东北—西南方向趋于极化,西北—东南方向趋于扩散,方向性逐渐减弱;区域总差异、区域内差异、区域间差异逐年缩小.②城镇化水平存在正的全局空间自相关,但集聚态势减弱,LISA集聚图表现出明显的空间分异特征.③城镇化发展存在显著的正向溢出效应,但本地要素投入仍是影
文章利用自共轭微分算子研究高阶时滞微分方程的Ulam稳定性.首先给出了方程解的存在唯一性结果,在此基础上利用不等式结果得到了方程的Ulam稳定性.
研究有界区域内一类具有对数非线性项的伪抛物方程的齐次Dirichlet初值问题.分别在低初始能量0<J(u0)<d和临界初始能量J(u0)=d条件下,研究了问题的弱解的整体存在性.此外,在适当假设下,得到了问题的弱解的唯一性及其在有限时间内发生爆破的结果.
紫外段的光波从空气里入射到导体上,除部分光被反射,导体同时也对光波进行了宽带吸收而产生溅射的表面等离激元SPPs,SPPs在导体表面产生了亚波长约束可形成强电场,其有超衍射、敏感传播面上的细微变化、磁响应增强等特色性能.文章采用Maxwell电磁场方程组,对紫外段光波在导体传播面上产生的等离激元SPPs机制、刻有一维周期凹槽导体上的微波段SPPs传输色散特性,进行了推导、计算,仿真出三维凹槽同轴波导的场分布,得出了在符合波矢匹配条件下,可把微波段的导行电磁波,通过波导的亚波长周期凹槽转化成SPPs传输.
研究概率语言术语情境下的多属性群决策问题.首先,将决策者给予方案中各属性语言评价术语转换为概率语言术语,通过数学模型将属性的概率语言术语再转化为区间数,利用区间数的熵值法确定属性权重;其次,不仅考虑概率语言术语集中的概率值,而且还兼顾构成概率中各决策者的重要性程度,其重要性程度也即权重参与决策计算;再次,为了建立决策算法,把属性的概率语言术语集转换为概率区间值犹豫模糊集并将其映射为区间数集合,利用区间数的积型贴近度模型对各方案对应属性值进行两两测度,通过统计测度数值结果达到对方案优选目的;最后,通过一个实
高分一号是中国自主发射的光学遥感卫星,空间分辨率达到2、8和16 m,因此可以为尺度较小的第二模态内孤立波研究提供强有力的数据支撑。本文基于2014—2020年共7年高分一号光学遥感图像研究了南海东沙岛北部第二模态内孤立波特性,研究结果表明:在海水层结不变,海域第二模态内孤立波的光学遥感图像条纹亮暗次序与第一模态内孤立波的相反;第二模态内孤立波的波峰线远短于第一模态内孤立波的波峰线;南海东沙岛北部
环境温度是影响动物免疫能力的重要因素.为了解低温如何影响动物的免疫功能,我们将18只成年雄性三线仓鼠(Phodopus sungoris)随机分为常温组(n=10,20±1℃)和低温组(n=8),低温处理采用逐渐降温的方式.通过植物血球凝集素(Phytohaemagglutinin,PHA)反应来指示细胞免疫功能.结果发现,与常温组相比,低温降低了三线仓鼠的体重和体脂,但增加了肾脏鲜重、结肠及其内容物的重量.低温抑制了三线仓鼠的PHA反应,但对脾脏和胸腺鲜重、白细胞数均没有显著影响.三线仓鼠不同免疫成分对
科学计算程序的计算等效性判定是科学计算领域的重要问题。科学计算程序在算法改进、程序优化和版本迭代过程中经常对函数进行等价转换,转换前后的同一函数需要确保其计算过程的等效性。针对该问题,提出基于程序路径的状态匹配验证方法——SCEP,通过对程序不同版本在相同的输入空间的路径状态进行约束求解和精确比对,判定其计算的等效性。将SCEP方法与已有的判定方法在多个库函数组成的spcLib测试程序集上进行了对比实验,结果表明SCEP能判定更多的函数转换类型,不仅可用于“Fortran-to-Fortran”源码等效性