词条

樊公理

翱公下五世祖 : (元明之际) 樊公理,字国兴,号清桦.

樊公理简介资料

字

国兴

朝代

元明之际

相关人物

始祖

资阳樊氏七修族谱

樊公理相关文献

选择公理

陈述首先定义几个概念：集族：指由非空集合组成的集合。选择函数：它是一个集族上的函数。它规定：对于所有在集族X中的集合s，f(s)是s的一个元素。那么，选择公理表示：上述可表示为：或者：该定理也可表达为：变体第二个版本的选择公理声称：第三个版本声称：使用这个版本的作者通常谈及“在A上的选择函数”，但要注意这里选择函数的概念是稍微不同的。它的定义域是A的幂集（减去空集），因此对任何集合A有意义；至于本文中其他地方用的定义，在“集合的搜集”上的选择函数的定义域是这个搜集，所以只对集合的集合有意义。透过这个变体的定义，选择公理也可以简洁的陈述为它等价于而选择公理的否定表达为：术语（AC，ZF，ZFC）以下列出了这篇条目中各种与“选择公理”相关的缩写：AC：选择公理。ZF：策梅洛-弗兰克尔集合论，不包括选择公理。ZFC：策梅洛-弗兰克尔集合论，包括选择公理。使用直到19世纪晚期，选择公理的使用一直都...

查看全文

公理

历史发展古希腊经由可靠的论证（三段论、推理规则）由前提（原有的知识）导至结论（新的知识）的逻辑演绎方法，是由古希腊人发展出来的，并已成为了现代数学的核心原则。除了重言式之外，没有任何事物可被推导，若没有任何事物被假定的话。公理即是导出特定一套演绎知识的基本假设。公理不证自明，而所有其他的断言（若谈论的是数学，则为定理）则都必须借助这些基本假设才能被证明。然而，对数学知识的解释从古至今已不太一样，且最终“公理”这一词对今日的数学家眼中和在亚里斯多德和欧几里得眼中的意思也有了些许的不同。古希腊人认为几何学也是数种科学的其中之一，且视几何学的定理和科学事实有同等地位。他们发展并使用逻辑演绎方法来作为避免错误的方法，并以此来建构及传递知识。亚里斯多德的后分析篇是对此传统观点的一决定性的阐述。“公理”，以传统的术语来说，是指在许多科学分支中所共有的一个不证自明的假设。在各种科学领域的基础中，或许会有...

查看全文

概率公理

柯尔莫果洛夫公理假设我们有一个基础集ΩΩ-->{displaystyleOmega}，其子集的集合F{displaystyle{mathfrak{F}}}为σ代数，和一个给F{disp

查看全文

公理系统

性质一个公理系统称为自洽（或称相容、一致），如果它没有矛盾，也就是说没有从公理同时导出一个命题及其否定的能力。在一个公理系统中，一个公理被称为独立的，若它不是一个从系统的其它公理可以导出的定理。一个系统称为独立的，若它的每个公理都是独立的。虽然独立性不是一个系统的必要需求，自洽性却是必要的。若一个公理系统中，每个命题及其否定命题中至少有一方可被证明，则称该公理系统为完备。模型公理系统的数学模型是一个定义良好的集合，它给系统中出现的未定义术语赋予意义，并且是用一种和系统中所定义的关系一致的方式。具体模型的存在性能证明系统的自洽性。模型也可以用来显示一个公理在系统中的独立性。通过构造除去一个特定公理的子系统的有效模型，我们表明该省去的公理是独立的，若它的正确性不可以从子系统得出。两个模型被称为同构，如果它们的元素可以建立一一对应，并且以一种保持它们之间的关系的方式。一个其每个模型都同构于另一个

查看全文

分离公理

初步定义在定义分离公理之前，让我们先了解在拓扑空间中，可分离的集合(和点)的具体含意。（须注意的是，可分离的集合不一定等同于下一节所定义的“分离空间”。）分离公理是利用拓扑的方法来分办不相交的集合及相区别的点。不只要拓扑空间内的元素是相区别的，更要这些元素是“拓扑可区别的”；不只要拓扑空间内的子集是不相交的，更要这些子集是（以某种方式）“可分离的”。分离公理声称，无论如何，若点或集合在某些较弱意思下是可区别的或可分离的，也必须在某些较强的意思下是可区别或可分离的。设X为一拓扑空间，A,B⊆X，R是实数集，定义：对于X中的点x，y（或点x和子集A），称它们为拓扑可分，可分离，邻域可分离等等，当且仅当单元素集合{x}和{y}（或{x}和子集A）是拓扑可分，可分离，邻域可分离等等。以上这些条件是按强度依序给出的：任何两个拓扑可区分的点也必然是相区分的，任何两个分离的点也必然是拓扑可区分的。更进一...

查看全文

家族谱大览

樊氏三阳合谱 [17卷,首2卷]

原书: [出版地不详] : 忠孝堂, 1996年. 24册 : 插图, 世系表. 收藏所 : 中国湖北省图书馆. 受姓祖 : 虞仲. 仲雍亶父次子,食采于樊,因以为氏. 远祖 : 樊须,字子迟. 吴楚始祖 : (后晋) 樊怀韬,讳韬,行仁一,号三阳居士. 世重公之子. 开基豫章进贤. 因祖肇自襄阳,盛于南阳,徙居鄱阳,遂名其地曰三阳. 宗祖 : (宋元之际) 樊克洪,讳世洪,号容斋,行省一. 因避乱,迁湖广武昌县樊湖. 下有七子,仅有三子居黄冈. 黄冈一世祖 : (元明之际) 樊德仲,讳德,字焕章,亦字汉章,行秀二 ; 率弟樊秀五 ; 樊秀七. 此谱大部分为秀二公下世系资料. 秀二下支祖(13世) : 樊用哲,讳哲,字彦明行一 ; 樊用槐,字彦明,行二 , 樊用善,讳善,字彦诚. 秀五公之子 : 樊用海. 下有二支 : 樊伯常 ; 樊伯良. 秀七公之子 : 樊用庆. 散居地 : 湖北省黄冈县等地. 书名据版心题编目. 书衣题 : 樊氏三阳宗谱.

樊氏族谱

原书: [出版地不详 : 出版者不详], 民国10[1921]七修. 10册 : 插图, 世系表. 纂修者 : 樊忠桢,字骏德 ; 樊典玉,字春伦 ; 樊典裘,字壬发 ; 樊典亮,字加喜 ; 樊典赐,字鸿福. 注 : 此谱版心不含卷数. 卷数仅标列于书衣. 资阳始祖(1世) : (元) 樊思斋,字舜臣,号玉𤲅. 由江西太和县峩岭徙湖广,居郴州兴宁县管塘梵石垇. 安仁始祖(4世) : (明) 樊宗远,字祖尧,号青庵. 荣夫公长子. 思斋公3世孙. 宗远公生六子(5世) : 樊俊宁,字万威,号月山 ; 樊俊英,字明秀,号永吉 ; 樊俊琳,字琢之,号望山 ; 樊俊奇(籍云南,另谱) ; 樊俊宣(失考) ; 樊俊明(一传后失考). 俊宁公下二子(6世) : (明) 樊克清,字明宇(下四子: 樊玉,字含章 ; 樊枲,原名玺,字士宝 ; 樊璲 ; 樊𤩽) ; 樊克浩(赴云南参军). 俊英公下派祖(6世) : (明) 樊克政,字明才. 生二子(7世) : 樊恭,字敬先(浆村) ; 樊贵,字𢖍山(葫芦塘). 俊琳公下派祖(6世) : (明) 樊克惠,字德彰 ; 樊克敬,字慎章,号东山 ; 樊克善. 克惠公生三子(7世) : (明) 樊庸,字正常(管塘) ; 樊俭 ; 樊亮. 克敬公生三子(7世) : (明) 樊璇,字舜占,号玉庵(石门楼) ; 樊玑,字玉山,号龙庵(石𡎠) ; 樊璋(徙广西桂林). 庸公下房祖(10世) : (明) 樊楚辂,字月堂(管壕坪). 从良公(字产甫)之长子. 生五子: 樊朝秦 ; 樊朝楚 ; 樊朝周,字从吾 ; 樊朝蜀,字耕野 ; 樊朝韩. 排行字 : 思景夫宗俊克樊大从楚朝廷兴文士英豪启典谟忠孝传家国彦秀志诗书科甲光先绪声名振斗枢世诞象贤裔永锡玉麟符德泽流芳远积善庆有余. 散居地 : 湖南省资兴县, 郴州市等地. 书名据版心题, 及版心题编目.