关于向量空间定义中运算公理的独立性

对于向量空间定义中的八条运算公理,证明了"加法满足交换律"这一公理的独立性依赖于其它某些运算公理的定义形式,并证明了运算公理"k(lα)=(kl)α"和"k(α+)β=kα+kβ"的独立性与基础数域的选取有关,即当基础数域是有理数域时,这两条运算公理是其它运算公理的逻辑推论.     

F*空间上点态半有界和非无界线性算子族的共鸣定理

证明每个F~*空间(即满足第一可数公理的Hausdorff拓扑向量空间)可借助于它的"标准生成伪范数族"来表征.利用标准生成伪范数族P,在F~*空间中引入P-有界集、P-半有界集和P-无界集的概念,建立点态半有界和非无界线性算子族的共鸣定理.作为其推论,得到了Menger概率赋范空间中点态概率半有界和非概率无界线性算子族的共鸣定理,改进并推广了某些已有的结果.     

数学的心脏

引论:数学究竟是由什么组成的?公理(如平行公理)吗?定理(如代数的基本定理)吗?证明(如Gdel的不可判定性的证明)吗?概念(如集与类)?定义(如Menger的维数定义)?理论(如范畴理论)?公式(如Canchy的积分公式)?方法(如逐次逼近法)? 诚然,没有这些组成部分,数学就不存在;这些都是数学的必要组成部分。但是,它们中的任何一个     

模糊半开集和半分离性公理

本文改进了文[3]的模糊半开集定义，在本文定义的模糊半开集定义，不仅可以完全保留文[3]的结论，而且还能建立分明拓扑空间及其诱导拓扑空间关于半开集、半闭集等对应关系。此外，本文借助重域概念重新定义了半－R0，半－R1和半－T2空间，与[4]相比，本文定义的半分离性公理体系可以更自然地推广分明拓扑空间中的有关定理。     

E-理想拟正则半群

本文定义了一类拟正则半群,所谓E-理想拟正则半群;给出了它以及它的两类特殊情形(E-左正则性拟正则半群,E-半格性拟正则半群)的特征;建立了它们的结构定理,并作为推论获得了左正则带的结构以及带的已知结构(文献[1],Petrich,1967)。     

概念定义之于数学思维

1 概念定义及其特征 概念定义(concept definition)是概念内涵(即概念所反映的现实世界中对象的空间形式和数量关系)的科学表述和界定,它通过刻画概念所反映的对象的本质属性来明确概念.定理、公式、性质和法则等,都是由定义和公理推演出来的.     

立体几何中“有关公理问题”的商榷

1　问题的提出无论是老教材还是新教材 ,普通高级中学的立体几何课程里总有以下四条公理 :直线在平面内公理 (公理 1) ;两个平面相交时的交线公理 (公理 2 ) ;不共线三点共面公理 (公理 3) ;三线平行公理 (公理4 ) .其中公理 3的推论 3是 :经过两条平行直线 ,有且只有一个平面 ,对于该推论的证明 ,我们已经知道的有三种 .图 1　平行直线如图 1所示 ,已知 :空间两条直线a和b .且a∥b .求证 :经过直线a和b有且只有一个平面 .证法 1　存在性　根据平面几何的知识 ,平面内不重合的两条直线 ,不相交就平行 ,所以经过互相平行的两条直线a和b ,必定…     

善用基本结论快速突破平几赛题

本文所说的基本结论，是指中学平面几何教材中公理和定理的直接推论(但不以定理形式出现在教材中)，以及一些常见常做的习题的熟知结论，尽管高中生能用来解决平几问题的方法和手段较多，但纯几何的综合法仍不失为一种最有效和用得最多的方法，而善于利用基本结论是实现快速突破的关键，下面举例说明。     

关于任意随机适应序列部分和增长阶的估计

设(Ω,F,P)为概率空间,{Xn,Fn,n 0}为定义在上面的随机适应序列.目的是要研究任意随机适应序列的一个强极限定理.作为推论,推广了Freedman的一个定理以及任意随机适应序列部分和增长阶估计定理.     

关于 Peano 算术不可有穷公理化之 Ryll-Nardzewski 证明的若干注记——数学基础阅读札记之二

Ryll-Nardzewski首先在[1]中给出了Peano算术不可有穷公理化的证明;差不多同时,Mostowski在[2]中得到了更强的结果。 Ryll-Nardzewski证明的特点在于应用了Peano算术非标准模型的存在性,后者是Godel完全定理的一个简单推论。可能由于发表时的仓促,在[1]中出现了若干易引起混乱的笔误,遗漏甚至较严重的错误。除了该文中系统A_o的公理对于证明后面的定理为不完全外,我们还发现定理25根本是错误的。由之定理27(i)亦不成立。因此定理27(ii)     

平均值函数列

本文用公理方法定义了平均值函数列.从公理定义出发,推证了平均值函数列的一系列共同性质,从而概括并推广了一些常见的平均值函数列.定理1指出了两个不同的平均值函数列的大小不会因变元的增加而改变,定理2揭示了平均值函数列与凸函数之间的内在联系,定理3则给出了多种平均值函数列的构作方法.     

试谈反证法证题

一、什么是反证法被誉为“数学家最精良武器之一”的反证法是指“先提出与结论相反(相排斥)的假设,然后推出和已经证明的定理(公理)、定义、题设等相矛盾的结果,这样就证明了与结论相反的假设     

对“边边角”的深入探究

八年级三角形全等的判定方法,课本中介绍了四种:边边边(SSS)公理、边角边(SAS)公理、角边角(ASA)公理和角角边(AAS)定理,对特殊的直角三角形在判定全等时,除了以上四种方法外,还有"斜边、直角边"(HL)定理.而众所周知,"SSA"是不能用来作为判定任意两个三角     

“圆周角”一课的教案

教学目的:使学生了解和圆有关的角的定义,掌握相应的度数定理及推论,并能熟练运用。重点:圆周角定理及证明。难点:分三种情况证明定理。课时安排:两课时,第一课时到推论二。教学过程:     

自由模的自同态环之间的同构

本文主要结果如下:(1)证明了两个自由模及是半线性同构当且仅当End_F与End_G是严格的环同构(见定义1)。(2)用不同方法证明并推广了1985年Bolla用范畴方法来描述End_F与End_G之间的环同构。(3)1962年Wolfson定理是我们的推论。     

关于三角范畴的八面体公理

三角范畴是一个带有自同构且满足四条公理的加法范畴,其中的一条重要公理就是八面体公理,该公理形式复杂不易理解难以应用.在本文中,作者讨论了三角范畴定义中八面体公理的几个等价命题,给出了新的八面体公理的等价命题,证明了各个公理间的相互等价关系,同时简化了八面体的表达形式,并且给出了该定理的一个具体应用.     

Dunham型联合Chebyshev逼近理论

本文在不假定 G 在紧集 X 上满足 Haar 条件的情形,建立了 Dunham 型联合最佳逼近的 Chebyshev 理论,包括特征定理(定理5、定理6和推论2),唯一性与强唯一性定理(定理9和推论3)以及连续性定理,同时我们也得到了“削皮”定理与联合最佳逼近的量的对偶形式。(定理7)。     

半线性椭圆方程组的一个刘维尔型定理

本文研究如下形式的半线性椭圆方程组:-Δu=f1(v),-Δv=f2(u),x∈Rn(n≥3)．在一定的假设下,得到了该方程组的一个刘维尔型定理,不同作者的两个结果成为该定理的推论．     

源于教材 高于教材——“长短弦定理”及其推论

为便于师生理解和接受，本文中避开圆锥曲线的第二定义，以横向椭圆为参照，借助焦点三角形和余弦定理推证了一个重要的公式——角度式焦半弦公式，并在此基础上归纳概括出了一个重要定理——长短弦定理，进一步分析了长短弦定理在不同情形下的表达形式，最后通过实例印证利用长短弦定理及其推论处理焦点弦问题所带来的便捷.     

立体几何中思维能力的培养

思维方法可分为分析性思维和综合性思维两大类。在分析性思维中我们主要讨论求同思维和求异思维,综合性思维中主要讨论直觉思维。 求同思维(集中思维)能力的培养通常我们学习一些概念、公理、定义、定理、