词条 樊公理

樊公理

翱公下五世祖 : (元明之际) 樊公理,字国兴,号清桦.
樊公理简介资料
国兴
元明之际
樊公理相关文献
选择公理
陈述首先定义几个概念:集族:指由非空集合组成的集合。选择函数:它是一个集族上的函数。它规定:对于所有在集族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)是拓扑可分,可分离,邻域可分离等等。以上这些条件是按强度依序给出的:任何两个拓扑可区分的点也必然是相区分的,任何两个分离的点也必然是拓扑可区分的。更进一...
查看全文
家族谱大览
樊氏宗谱 [5卷]
原书: [出版地不详] : 樊氏宗谱续修理事会, 2000年重修. 7册: 插图, 世系表, 人像, 照片. 远祖 : (后梁) 樊晓,字渐明,号一乐. 世居福建兴化府蒲田县. 任括苍太守. 居处州府缙云县在城. 义乌始祖(1世) : (宋) 樊季达,字梅窗,行千七. 自缙云县迁居义乌鸡鸣山下. 派祖(13世) : 樊焕,字德辉,号婺川,行齐一 ; 樊炜,字德燿,行齐二 ; 樊奕,字德彰,号南岩,行齐三 ; 樊烛,行齐七 ; 樊齐九. 齐一公下三房祖(17世) : (明) 樊志尧,字希仁,号金川,行富三 (长房) ; 樊志伊,字希尹,号平川,行富四(次房) ; 樊志圣,行富五(幼房). 齐二公下二房祖(17世) : 樊志臯,行富十(长房) ; 樊志贤,字希颜,号东冈,行富一(幼房). 齐三公下三房祖(17世) : 樊志舜,行富六(长房) ; 樊志性,行富二(次房) ; 樊志殷,行富八(幼房). 志尧公下支祖(19世) : (明) 樊守约,行华二. 移居鸡鸣山后高塘村(高塘派) ; (20世) 樊道诚,行玘三十六(上塘派) ; 樊道训,行玘四十一 ; 樊道论,行玘四十五 ; 樊道炳,行玘六十七(皆上塘沿派) ; (24世) 樊惟彦,行淳一百(下前山派). 齐一公次房志伊公下支祖(20世) : 樊道盛,行玘廿八(五房里派) ; 樊道全,行玘三十八 ; 樊道备,行玘四十 ; 樊道峻,行玘四十七(皆下阶沿派). 东阳始祖(20世) : (明) 樊道熙,行玘六十二. 志臯公曾孙. 迁居东阳四十五都登龙岭脚杨店. 生一子 : 樊思智,行勤五十. 齐九公后山背派祖(21世) : 樊思赵,行勤三十六. 齐七公前阶沿四教派祖(21世) : (明) 樊思缗,行勤七十 一; 樊思颜,字希贤,号鸣松,行勤七十五 ; 樊思曾(或作会),字子成,号鸣山,行勤六十七 ; 樊思孟,字子忠,号近塘,行勤八十九. 思智公下三房祖(24世) : 樊惟谋,字国奇,行淳九十(夏房) ; 樊惟盈,字国蒲,行淳百六(商房) ; 樊惟勇,字国义,行淳百十五(周房). 夏房下三分祖(25世) : 樊茂统,行厚九十一(松分) ; 樊茂朝,行厚百二十七(竹分) ; 樊茂谅,字希贞,行厚百二十八(梅分). 商房下二分祖(26世) : 樊士善,原名起元,字长善,号知止,行谦百二十(唐分,迁居下杨店) ; 樊士焕,字起彩,行谦百三十(虞房). 下吴岩祖(26世) : 樊士贞,字起廉,行谦百廿四. 系出周房. 由登龙岭脚迁居五十四都下吴岩. 唐分下三房祖(27世) : 樊宏发,字光远,号腾致,行和百八(智分) ; 樊宏梅,字占魁,号幽香,行和一百五十三(仁分) ; 樊宏龙,字云从,号见田,行和二百三(勇分). 排行 : 百千万世 盛定忠生 成康宁安 泰齐得福 禄富荣华 玘勤俭崇 淳厚谦和 信义恭方 昌显圣瑞 嘉美裕亨隆. 新增排行 : 鸣升贞吉 庆泽春秋. 辈份 : 子尚大志 允守道思 廷文惟懋 正宏学可 必朝章一 应有为立 德其能怀 国明良. 新增辈份 : 展望伟强. 散居地 : 浙江省义乌县, 东阳县等地. 书名据书衣题, 及版心题编目. 谱序题 : 义乌樊氏宗谱
浏览:0
樊氏七修族谱
原书 : [湖南 : 资阳樊氏七修族谱委员会], 2004. 7册 : 插图, 世系表, 肖像. 收藏者 : 中国湖南图书馆. 受姓祖 : (周) 穆仲,字山甫. 周公之子. 封侯樊邑,以国为姓. 始祖 : 樊须,字子迟. 宗祖 : (东汉) 樊君云. 江西祖 : 樊偁,字义干. 益阳始迁祖 : (宋元之际) 樊柔仲,字恩普,号才惠,行秀一 ; 樊雍仲,字步青,号才翱,行秀二 ; 樊和仲,字大鹏,号才翔,行秀三. 惠公下五世祖 : (元明之际) 樊公法,字源远,号清潢 ; 樊公平,字克顺,号清荣. 翱公下五世祖 : (元明之际) 樊公理,字国兴,号清桦. 翔公下五世祖 : (元明之际) 樊公族,字洁玉,号清圆. 散居地 : 湖南省益阳县等地. 书名据书名页题编目. 书衣题 : 樊氏族谱 : 资阳七修. 版心题 : 樊氏七修族谱.
浏览:100
樊氏族谱
原书: [出版地不详 : 出版者不详], 民国10[1921]七修. 10册 : 插图, 世系表. 纂修者 : 樊忠桢,字骏德 ; 樊典玉,字春伦 ; 樊典裘,字壬发 ; 樊典亮,字加喜 ; 樊典赐,字鸿福. 注 : 此谱版心不含卷数. 卷数仅标列于书衣. 资阳始祖(1世) : (元) 樊思斋,字舜臣,号玉𤲅. 由江西太和县峩岭徙湖广,居郴州兴宁县管塘梵石垇. 安仁始祖(4世) : (明) 樊宗远,字祖尧,号青庵. 荣夫公长子. 思斋公3世孙. 宗远公生六子(5世) : 樊俊宁,字万威,号月山 ; 樊俊英,字明秀,号永吉 ; 樊俊琳,字琢之,号望山 ; 樊俊奇(籍云南,另谱) ; 樊俊宣(失考) ; 樊俊明(一传后失考). 俊宁公下二子(6世) : (明) 樊克清,字明宇(下四子: 樊玉,字含章 ; 樊枲,原名玺,字士宝 ; 樊璲 ; 樊𤩽) ; 樊克浩(赴云南参军). 俊英公下派祖(6世) : (明) 樊克政,字明才. 生二子(7世) : 樊恭,字敬先(浆村) ; 樊贵,字𢖍山(葫芦塘). 俊琳公下派祖(6世) : (明) 樊克惠,字德彰 ; 樊克敬,字慎章,号东山 ; 樊克善. 克惠公生三子(7世) : (明) 樊庸,字正常(管塘) ; 樊俭 ; 樊亮. 克敬公生三子(7世) : (明) 樊璇,字舜占,号玉庵(石门楼) ; 樊玑,字玉山,号龙庵(石𡎠) ; 樊璋(徙广西桂林). 庸公下房祖(10世) : (明) 樊楚辂,字月堂(管壕坪). 从良公(字产甫)之长子. 生五子: 樊朝秦 ; 樊朝楚 ; 樊朝周,字从吾 ; 樊朝蜀,字耕野 ; 樊朝韩. 排行字 : 思景夫宗俊 克樊大从楚 朝廷兴文士 英豪启典谟 忠孝传家国 彦秀志诗书 科甲光先绪 声名振斗枢 世诞象贤裔 永锡玉麟符 德泽流芳远 积善庆有余. 散居地 : 湖南省资兴县, 郴州市等地. 书名据版心题, 及版心题编目.
浏览:100
樊氏族谱
原书: [出版地不详 : 出版者不详], 民国10[1921]七修. 10册 : 插图, 世系表. 纂修者 : 樊忠桢,字骏德 ; 樊典玉,字春伦 ; 樊典裘,字壬发 ; 樊典亮,字加喜 ; 樊典赐,字鸿福. 注 : 此谱版心不含卷数. 卷数仅标列于书衣. 资阳始祖(1世) : (元) 樊思斋,字舜臣,号玉𤲅. 由江西太和县峩岭徙湖广,居郴州兴宁县管塘梵石垇. 安仁始祖(4世) : (明) 樊宗远,字祖尧,号青庵. 荣夫公长子. 思斋公3世孙. 宗远公生六子(5世) : 樊俊宁,字万威,号月山 ; 樊俊英,字明秀,号永吉 ; 樊俊琳,字琢之,号望山 ; 樊俊奇(籍云南,另谱) ; 樊俊宣(失考) ; 樊俊明(一传后失考). 俊宁公下二子(6世) : (明) 樊克清,字明宇(下四子: 樊玉,字含章 ; 樊枲,原名玺,字士宝 ; 樊璲 ; 樊𤩽) ; 樊克浩(赴云南参军). 俊英公下派祖(6世) : (明) 樊克政,字明才. 生二子(7世) : 樊恭,字敬先(浆村) ; 樊贵,字𢖍山(葫芦塘). 俊琳公下派祖(6世) : (明) 樊克惠,字德彰 ; 樊克敬,字慎章,号东山 ; 樊克善. 克惠公生三子(7世) : (明) 樊庸,字正常(管塘) ; 樊俭 ; 樊亮. 克敬公生三子(7世) : (明) 樊璇,字舜占,号玉庵(石门楼) ; 樊玑,字玉山,号龙庵(石𡎠) ; 樊璋(徙广西桂林). 庸公下房祖(10世) : (明) 樊楚辂,字月堂(管壕坪). 从良公(字产甫)之长子. 生五子: 樊朝秦 ; 樊朝楚 ; 樊朝周,字从吾 ; 樊朝蜀,字耕野 ; 樊朝韩. 排行字 : 思景夫宗俊 克樊大从楚 朝廷兴文士 英豪启典谟 忠孝传家国 彦秀志诗书 科甲光先绪 声名振斗枢 世诞象贤裔 永锡玉麟符 德泽流芳远 积善庆有余. 散居地 : 湖南省资兴县, 郴州市等地. 书名据版心题, 及版心题编目.
浏览:100
樊氏三阳合谱 [17卷,首2卷]
原书: [出版地不详] : 忠孝堂, 1996年. 24册 : 插图, 世系表. 收藏所 : 中国湖北省图书馆. 受姓祖 : 虞仲. 仲雍亶父次子,食采于樊,因以为氏. 远祖 : 樊须,字子迟. 吴楚始祖 : (后晋) 樊怀韬,讳韬,行仁一,号三阳居士. 世重公之子. 开基豫章进贤. 因祖肇自襄阳,盛于南阳,徙居鄱阳,遂名其地曰三阳. 宗祖 : (宋元之际) 樊克洪,讳世洪,号容斋,行省一. 因避乱,迁湖广武昌县樊湖. 下有七子,仅有三子居黄冈. 黄冈一世祖 : (元明之际) 樊德仲,讳德,字焕章,亦字汉章,行秀二 ; 率弟樊秀五 ; 樊秀七. 此谱大部分为秀二公下世系资料. 秀二下支祖(13世) : 樊用哲,讳哲,字彦明行一 ; 樊用槐,字彦明,行二 , 樊用善,讳善,字彦诚. 秀五公之子 : 樊用海. 下有二支 : 樊伯常 ; 樊伯良. 秀七公之子 : 樊用庆. 散居地 : 湖北省黄冈县等地. 书名据版心题编目. 书衣题 : 樊氏三阳宗谱.
浏览:0
樊氏三阳合谱 [17卷,首2卷]
原书: [出版地不详] : 忠孝堂, 1996年. 24册 : 插图, 世系表. 收藏所 : 中国湖北省图书馆. 受姓祖 : 虞仲. 仲雍亶父次子,食采于樊,因以为氏. 远祖 : 樊须,字子迟. 吴楚始祖 : (后晋) 樊怀韬,讳韬,行仁一,号三阳居士. 世重公之子. 开基豫章进贤. 因祖肇自襄阳,盛于南阳,徙居鄱阳,遂名其地曰三阳. 宗祖 : (宋元之际) 樊克洪,讳世洪,号容斋,行省一. 因避乱,迁湖广武昌县樊湖. 下有七子,仅有三子居黄冈. 黄冈一世祖 : (元明之际) 樊德仲,讳德,字焕章,亦字汉章,行秀二 ; 率弟樊秀五 ; 樊秀七. 此谱大部分为秀二公下世系资料. 秀二下支祖(13世) : 樊用哲,讳哲,字彦明行一 ; 樊用槐,字彦明,行二 , 樊用善,讳善,字彦诚. 秀五公之子 : 樊用海. 下有二支 : 樊伯常 ; 樊伯良. 秀七公之子 : 樊用庆. 散居地 : 湖北省黄冈县等地. 书名据版心题编目. 书衣题 : 樊氏三阳宗谱.
浏览:0