关于Hahn-Banach定理的证明

Hahn-Banach关于线性泛函的开拓定理是泛函分析中的一个基本定理,这个定理以及它的各种推广有许多重要的应用。1953年Mazur和Orlicz在他们合著的论文中,对这个定理作了极为一般的推广和深入的研究,Mazur-Orlicz定理的证明不久即为Sikorski和Pták相继简化了,即可容易地由Hahn-Banach定理导出Mazur-Orlicz定理。考虑到在Pták关于Mazur-Orlicz定理的证明中只是应用了Hahn-Banach定理的最简单的特款:     

关于替换定理的证明

在[1]中的替换定理的证明是有问题的,本文给出这一定理的严格证明。为了方便起见,现把[1]中的替换定理摘抄如下: 定理6.3.6(替换定理)设向量组 (2) {α_1,α_2,…,α}线性无关,并且每一α_1都可以由向量组 (3) {β_1,β_2,…,β_s}线性表示,那么r≤s,并且必要时可以对(3)中向量重新编号,使得用α_1,α_2,…,α替换β_1,     

关于平面性定理的证明

本文对巴特尔、哈拉里和科达马发现的一个平面性定理给理论上的证明。     

巴斯卡定理的应用与推广

在文献（1）中，对射影几何中最重要的定理之一巴斯卡定理及其对偶定理作了介绍。此文给出了这两个定理三方面的应用，并在圆锥（二次）曲线束的概念下对巴斯卡定理作了推广。     

关于Cayley-Hamilton定理的新证明

从形式幂级数和拓扑变换给出凯莱-哈密尔顿定理的2种证法,其中幂级数证明主要是利用多项式的性质,而拓扑证明用到了映射的连续性和矩阵范数.     

关于Minkowski定理证明的注记

在用Blichfeldt定理证明Minkowski定理的过程中,对于格点对称性及直线斜率的存在性没有进行讨论,对其中遗漏的2种情形进行了补充讨论,从而改进了原有的证明.     

关于Lebesgue分解定理的证明

提供了Lebesgue分解定理的又一证明,由此可以简化Lebesgue积分基本定理的证明．这对现代分析学教程的简化和学习无疑是非常有益的。     

关于Vizing定理证明的改进

本对Ｆｏｕｒｎｉｅｒ给出的Ｖｉｚｉｎｇ定理的证切中所使用的引理进行了修订，在此基础上，对Ｖｉｚｉｎｇ定理的证明进行了改进。     

关于笛沙格定理的证明

本文给出笛沙格定理的几种证法。     

关于KAMKE唯一性定理推论的证明

本文对空间R~(n+1)中的区域G:|t-τ|相似文献   

关于微分中值定理证明的注记

微分中值定理是微分学的理论基础。因为微分的应用借助于它,而且它又是利用导数的局部性质来研究函数整体性质的重要工具。同时微分中值定理又是一个教学难点。这是因为它包括了罗尔定理、拉格朗日定理和柯西定理等三个定理,这对刚接触数学分析的学生来说显得内容比较集中。而在定理的证明过程中需要引进辅助函数又比较突然,使学生不易想到。但是,对于这三个定理又都有它们的几何直观及物理背景,所以从感性上又容易接受,因此我想如能从这方面入手再去讲定理本身的证明使学生容易掌握。     

关于平面束定理证明的探讨

对平面束定理的证明过程中的不足进行了分析, 给出了补充证明, 并针对点到投影直线的距离这一类问题, 给出了利用平面束方程的解法.     

关于图论中一个定理的证明

在图论的教科书和专著中,对图论的重要定理“在简单有向图G中,它的每一个结点位于且只位于一个强分图中”的证明,均采用图论中一般方法.本文试用集合论中等价关系的方法予以证明,此方法具有数学的严谨性.     

关于素数定理的一个初等证明

本文参照简化后的Selberg-Erds方法~(4),通过等价关系,对进行讨论,给出素数定理的另一个证明。     

关于中值定理证明的统一处理

给出了微分中值定理的一种统一处理的方法,同时给出了Cauchy定理的一种新的证明方法。     

关于拉格朗日中值定理的证明

拉格朗日中值定理是微分学中一个应用广泛的重要定理,针对罗尔定理证明拉格朗日中值定理的问题,从几何意义及坐标系转换等方面分析了构造辅助函数的思路及方法。拓宽了中值定理证明的思路。     

关于Cramer定理的另一证明

克兰姆定理是高等代数的一个基本的重要的定理。它给出了解 n 个未知量 n 个方程的线性方程组的一种解法,它的优点是在用方程的系数及常数项组成的行列式,把解明显地表达出来,这在处理问题时是非常方便的。但在传统的证明过程中常常使初学的人有些困惑,现介绍另一证法。     

关于欧拉定理的另一证明

费尔马(在17世纪时)发现的一个定理历史上叫做Fermat小定理。后来欧拉(在18世纪时)给以证明并推广了它,推广后的定理历史上叫做Euler定理。这两个定理过去曾有过多种不同的证法,本文将给出另外一种证法。为此先证明引理1 设p是素数,而h_1,h_2,…,h_a都是整数(a为正整数),则 (h_1 h_2 … h_a)~p≡h_1~p h_2~p … h_a~p(modp)。证明:对a进行归纳。当a=1时,显然引理成立。     

关于凸函数中一个定理的证明

一般凸函数是由f(x_1+x_2/2)≤1/2[f(x_)1+f(x_2)]…(1)来定义的。在函数连续时也有用f(sum from n=1 to n λ_ix_i)≤sum from n=1 to n λ_if(x_i),λ_i为实数,而sum from n=1 to n λ_i=1…(2)来定义。但当函数连續时,由(1)可(?)(2)这是一个定理。现在用实数的二进位表示法和有限归纳内法来证明这个定理。     

关于替换定理的两个证明

张禾瑞、郝鈵新合编的《高等代数》(1979年版)的下册P144中介绍了“替换定理”,这一定理很重要,它是后续的很多定理的基础.但作者关于这一定理的证明,对于初学者来说,往往不易理解.其实,该书的上册已讲过了有关矩阵的秩、初等变换和初等矩阵等知识,完全可以利用矩阵的知识证明这一定理.这样作,一方面可以巩固学过的知识,另一方面也教会学生初步利用矩阵知识进行论证.运用矩阵这一工具进行论证,往往使证明过程简化或易于理解.因此,在代数教学中要充分注意引导学生在可能的情况下运用矩阵这一工具解决问题.同时,对一个重要定理采用多种证法,对开阔学生思路是有启发的.现将“替换定理”的矩阵证明过程介绍如下: