共查询到20条相似文献,搜索用时 328 毫秒
1.
2.
定义了域上的射影几何,证明了:它满足Hilbert几何公里体系中的结合公理,如果是有序域上的射影几何,则更满足顺序公理。 相似文献
3.
定义了域上的射影几何,证明了;它满足Hilbert几何公里体系中的结合公理;如果是有序域上的射影几何,则更满足顺序公理. 相似文献
4.
在本文中我们将给出只保留结合公理的几何,并证明:这种几何.同构于域上的射影几何.若添加顺序公理.则得到同构于有序域上的射影几何的几何. 相似文献
5.
张成恒 《甘肃联合大学学报(自然科学版)》1991,(1)
众所周知,公理化方法是研究近代数学分支的重要方法,它对近代数学的发展起到了巨大的推动作用.因此我们用公理化方法的观点来比较射影几何公理体系与希尔伯特(Hilbert)公理体系的异同,就有助于我们更好地理解和掌握射影几何学.为了更好地对射影几何公理体系和希尔伯特公理体系进行比较,下面我们先列出一组射影几何学的公理体系,然后再进行比较. 相似文献
6.
7.
唐起汉 《苏州大学学报(医学版)》1986,(4)
Desargues命题和除环有下面关系:公理法定义的射影平面中Desargues命题成立的充分必要条件是该平面是代数地定义在除环上的,本文给出上述结论的必要性的一种证法;藉助合射群的“保心同态”构作除环,进而阐明Desargues射影平面可以代数地定义在该除环上。 相似文献
8.
9.
该文建立了高阶Euler多项式的一个递归关系,给出了包含广义Fibonaci,Lucas序列与高阶Euler多项式的一些恒等式,推广了L.Toscano和P.F.Byrd的结果 相似文献
10.
射影化Finsler丛及其联络 总被引:3,自引:3,他引:0
构作了以射影化切丛PTM为底空间的主丛射影化Finsler丛PFM,探讨了丛PFM中的联络的性质,得到了丛FM中的联络,丛PFM中的联络及π*TM的协变微分三者之间的关系,特别指出π*TM的协变微分Δ在某种意义下就是Rund联络。 相似文献
11.
王敬庚 《首都师范大学学报(自然科学版)》1990,(4)
笛沙格定理在平面射影几何中必须选作公理,然而一般的高等几何教科书又都用投到无穷远法或解析法对它加以证明,本文从几何基础的角度指出了这种处理的合理性。 相似文献
12.
刘泽庆 《辽宁师范大学学报(自然科学版)》1994,17(4):265-269
证明了紧映射的若干不动点定理,给出了一个紧映射具有不动点的两个充要条件,推广了Jungck,Janos,Park,Kim和Lee,Park,Fisher,Shih和Yeh及Leader的结果. 相似文献
13.
14.
令C是H=PG(2,Fq)中一个二次曲线,这里q是一个偶素数的方幂,取一个二次曲线作为射影平面中的一个射影我们构作两个类和三个类的结合方案并计算它的参数。 相似文献
15.
16.
张克珍 《阜阳师范学院学报(自然科学版)》1997,(2)
<正> 命题:三角形三边的中点,三高线的足,垂心与各顶点连线的中点共九点位于同一个圆上。(此圆称为三角形的欧拉圆或九点圆)。 此命题在十九世纪初已被发现,其证明方法以学科而论,可分为初等几何证法与高等几何证法两种。所谓初等几何证法,即是从欧氏几何的公理体系纯逻辑地进行推证,但一般地我们也把向量法列入欧氏几何之中;所谓高等几何证法,即是从射影几何学的公理系统中纯逻辑地论证命题。然 相似文献
17.
L-fuzzy U-分离公理及其特征 总被引:1,自引:0,他引:1
在LF拓扑空间中引入L-fuzyUi(i=-1,0,1,2,3,4)、L-fuzzyU-正则及L-fuzzyU-正规分离公理.讨论了这些分离公理的特征及其相互关系.证明了这些分离公理是遗传和拓扑不变的等重要性质. 相似文献
18.
历史关系模式的形式化的研究 总被引:2,自引:0,他引:2
提出了一种新的历史关系数据库模型,给出了该模型满足1NF,TNF的形式化定义,还给出了组标志及其公理、TNF等重要概念。最后,对满足1NF,TNF的该模型做了分析对比。 相似文献
19.
张上伟 《福建师范大学学报(自然科学版)》1998,14(3):30-35
把Finsler空间中保持测地线性质的变换推广为在一般Finsler联络下保持道路性质的变换,获得了包括广义Weyl张量在内的若干个不变张量,并用它们的李导数研究无穷小广义射影变换。 相似文献
20.
张上伟 《福建师范大学学报(自然科学版)》1998,(3)
把Finsler空间中保持测地线性质的变换推广为在一般Finsler联络下保持道路性质的变换,获得了包括广义Weyl张量在内的若干个不变张量,并用它们的李导数研究无穷小广义射影变换. 相似文献