词条 何公理

何公理

二房下派祖(10世) : 何公瑾,行清百六十七(菱塘) ; 何士杰,行清百九十(凤鸣) ; 何公琯,行清百九十二(时涨) ; 何公理,行清百九十三(蟠溪). 皆为梦然公之孙.
何公理相关文献
选择公理
陈述首先定义几个概念:集族:指由非空集合组成的集合。选择函数:它是一个集族上的函数。它规定:对于所有在集族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)是拓扑可分,可分离,邻域可分离等等。以上这些条件是按强度依序给出的:任何两个拓扑可区分的点也必然是相区分的,任何两个分离的点也必然是拓扑可区分的。更进一...
查看全文
家族谱大览
何氏家谱1至10(共10本)
原书: [出版地不详 : 出版者不详], 1988年重印. 10册 : 插图, 世系表, 人像. 注 : 本谱乃清康熙20[1755]年何子祥编修之何氏家谱重印本. 内容撷取自不同版本,卷数杂异。 基祖 : 何逖基. 自古万安而螺阳,定居温陵浔江. 生何元镇,讳靖之,号我泉 ; 何元钊 ; 何元钲 ; 何元镛 ; 何元铉五子. 此谱大部分为元镇派下资料. 和地始迁祖(3世) : 何添河,易名信哥. 元镇公第六子. 祖籍河南固始,先徙云霄,再徙南胜何仓,终于明洪武9年定居马铺平和和地. 生二子 : 长子何京保(居渡头) ; 次子何彦保,谥勤笃(为本谱之祖). 派祖(5世) : 何种德. 彦保公长子. 生五子 : 何以忠 ; 何宽智 ; 何咏 ; 何宽礼 ; 何宽逸. 分为五房. 子孙析置福建潮州, 福州; 台湾省等地. 另派祖(5世) : 何温朴. 彦保公次子. 生五子 : 何隽 ; 何国达 ; 何肃正 ; 何以杰 ; 何以宣. 分五房.子孙析置福建潮州, 诏安, 铜山 ; 台湾省等地. 散居地 : 福建省漳州, 泉州, 厦门等地. 书名据书衣题, 及版心题编目.
浏览:24427
東陽何氏宗譜
注 : 此谱不全. 缺卷6, 11-12, 20, 24, 26-27, 34. 一世远祖 : (唐) 何淳. 由泽州晋城徙婺,居金华. 东阳始祖(1世) : 何知言,十五府君. 淳公8世孙. 由婺徙东阳之古竺,提为一世. 生二子 : 何滂,字公泽,十二府君 ; 何澄. 本谱为滂公派世系. 南湖始祖(4世) : (宋) 何汝能,字国达,封太子太傅. 汝能公生四子 : (宋) 何楩,字伯材,行四三(长房) ; 何松,字坚材,行四八(二房) ; 何桩,字伯寿,行四九(三房) ; 何柽,字茂材,行五一(四房,居中湖). 二房松公生五子(6世) : 何逮,字思顺,行百十四 ; 何造,字习父,行百十九 ; 何逵,字泽可,行百廿三 ; 何淡,字履常,行百廿九(秘书派) ; 何述,字来老,行百三十二. 三房漆岭祖(7世) : 何传孙,字宗之,行千七十三. 桩公之孙. 逵公生八子(7世) : 何恬,行千四十 ; 何梦岘,字山甫,行千四十二 ; 何溍,行千四十七 ; 何梦开,行千六十六 ; 何梦祥,字视履,号爱山,行千七十一 ; 何梦申,字免父,行千八十 ; 何梦全,字江父,行千八十四 ; 何梦然,字子是,号月斋,行千八十九. 二房下派祖(10世) : 何公瑾,行清百六十七(菱塘) ; 何士杰,行清百九十(凤鸣) ; 何公琯,行清百九十二(时涨) ; 何公理,行清百九十三(蟠溪). 皆为梦然公之孙. 三房下派祖(10世) : 何公望,行清七十九(淝田) ; 何公吉,行清百零二(北田). 皆为桩公5世孙. 公瑾公下支祖(12世) : (元明之际) 何晋亨,行衍二百五十三(厅头) ; 何益亨,行衍百八十二(墩头). 蟾山祖(12世) : 何普大,行衍廿二. 逮公7世孙. 普大公下房祖(13世) : 何道祐,行贵六十二(梧桐) ; 何道原,行贵百零八(山后). 另房祖(14世) : (明) 何文旻,行曾九十七(兰山) ; 何文圭,行曾百三十二(金钗) ; 何文寿,行曾百七十一(寿山). 皆为梦申公7世孙. 普大公下另房祖(15世) : 何祖荫,行成三十三(各口) ; 何祖义,行成四十二(白竺). 四房下支祖(15世) : (明) 何程,行成二十七(白竺) ; 何稌,行成五十六(梅园). 皆为柽公10世孙. 西湾房祖(16世) : (明末) 何绍福,行绍六十三. 梦申公9世孙. 房祖(17世) : 何仲华,行宗四百三十(麻车) ; 何熺,行宗三百三十八(蠡湖). 皆为梦申公10世孙. 金杏园房祖(19世) : (明清之际) 何惠龙,惠四百九十一. 梦申公12世孙. 四房南溪祖(19世) : 何良荣,行惠百十六. 柽公14世孙. 房祖(21世) : (清) 何崇有,行崇四百五十六(塘头) ; 何崇演,行崇六百四十九(浦潭石泉) ; 何崇求,行崇四百三十八(高塘). 皆为普大公9世孙. 三房拖塘祖(24世) : (清) 何安德,行安一千七百九十. 传孙公17世孙. 排行(6世起) : 百千万庆清 得衍贵曾成 绍宗延惠泽 崇礼永安宁 光裕期懿嗣 济美复元亨 贞启系世秩 履泰萃丰临. 散居地 : 浙江省东阳县等地. 书名据卷端题及版心题编目. 书签题 : 东阳何府宗谱.
浏览:48940
盧江琴堂何氏宗譜
原书: [出版地不详 : 出版者不详], 2006年重修. 全1册(约600页) : 插图, 世系表, 肖像. 受姓祖 : (秦) 韩允,字子信. 王安公次子. 因战乱改姓为何. 金华祖 : (唐) 何淳. 为避乱,自分水珠树村徒居嫠州金华城. 始迁祖(1世) : (宋) 何知言,行十五. 自金华迁居东阳古竺. 南湖肇基祖(3世) : 何元,行廿四. 携子由古竺迁居南湖. 元公下派祖(4世) : (宋) 何汝明,三府君,字原亮 ; 何汝能,六府君,字国达(南湖祖) ; 何汝锡,十府君,字子与. 汝明公下支祖(5世) : (宋) 何楠,四四府君,字叔材 ; 何道叟,四六府君,字季材 ; 何千龄,四七府君,字会叟 ; 何千裹 ; 何千骥 ; 何坦. 上五公皆为何田派. 汝能公下支祖(5世) : (宋) 何木便,四三府君,字伯材(丹山派) ; 何松,四八府君,讳坚材(二房) ; 何桩(三房) ; 何柽(四房). 汝锡公下支祖(5世) : (宋) 何杞,四五府君,字仲材(十承事). 琴堂高祖(7世) : 何梦开,字天启,号凝碧. 为何松公之孙. 琴堂祖(21世) : (清) 何崇球. 派行(6世起) : 百千万庆清 得衍贵曾成 绍宗延惠泽 崇礼永安宁 光裕期懿嗣 济美复元亨 贞启世系秩 豫泰萃丰临. 散居地 : 浙江省东阳县等地. 书名据书衣题编目. 版心题 : 东阳何府宗谱.
浏览:2663
闽南漳泉何氏家谱(全十卷共三册)
原书: [台湾 : 出版者不详], 民国88[1999]复刊. 1册 : 插图, 世系表, 肖像. 收藏所 : 宜兰市问心斋陈永瑞藏. 入闽远祖 : (唐) 何衍,号定肃,大讳嗣韩. 因官安抚节度使,称安抚公. 宗祖 : 何逖基. 安抚公16世孙. 平和始迁祖 : 何添河,又名信奇. 派祖 : (元明之际) 何彦保,谥勤笃. 添河公次子. 彦保公下二房 : 何种德 ; 何温朴. 分为虎穴, 虹穴二族. 始祖 : 何镐昭公,讳宽智. 种德公次子. 生子四 : 世福 ; 世禄 ; 世寿 ; 世全 . 入台祖 : 何重光. 于清末入台,定籍淡水. 传三房 : 德胜 ; 禹臣 ; 汤臣. 散居地 : 福建省平和县; 台湾省台北县等地. 书名据书衣题, 及书名页题编目.
浏览:10962
浦陽義門何氏宗譜
原书: [出版地不详 : 出版者不详] , 2006年重修. 合4册 : 插图, 世系表, 肖像. 受姓祖 : (秦) 韩允. 因避秦难,易姓为何. 始迁祖(1世) : (唐) 何肇三,讳延寿. 由太末迁浦阳之东乡十七都练墅(埜)之上. 生子四 : 何凤鸣 ; 何鸿鸣 ; 何鹤鸣 ; 何鸾(鹃)鸣. 何村祖(12世) : (宋元之际) 何诚,行连一. 由十七都练埜迁居十四都何村. 为鸾鸣公之后. 练埜祖(13世) : (宋) 何希清,行常三. 为鸾鸣公之后. 后宅派祖(17世) : 何涓,行起二. 为诚公之后. 前宅派祖(17世) : 何瑞,行魁六 ; 何璋(迁居通化). 为诚公之后. 中宅派祖(17世) : 何恭,行昶一 ; 何敬,行昶二. 为诚公之后. 前何派祖(17世) : 何福锦,行林三 ; 何福清,行林七. 为希清公之后. 下何派祖(17世) : 何奇之,行岳二 ; 何美之,行岳三 ; 何公之,行岳三四. 为希清公之后. 后何派祖(17世) : 何廷金,字共祖,行迁十二 ; 何廷珪,行谦十五. 为希清公之后. 梅溪派祖(17世) : 何之清, 行利五. 为敬光公之后. 桐木殿何村派祖(17世) : 何敏,行利三十五. 为敬光公之后. 行字母 : 勤恳创业绩 忠诚耀祖先. 讳字母 : 孝友为世德 维望继启能. 表子母 : 卓敦雍俊胜 浩熙渊萃展. 散居地 : 浙江省浦江县等地. 书名据书衣题, 及版心题编目.
浏览:4942
增城何氏族谱 [15卷,首1卷]
原书: [出版地不详 : 出版者不详], 清同治7[1868]重修. 16册 : 插图, 世系表. 收藏所 : 中国广东省中山图书馆. 注 : 卷14记事至民国18[1929]. 部分手稿增补记事至1989年. 远祖 : 韩厥祖. 后因避难,易韩为何. 何氏初祖 : 何瑊. 太始祖 : (宋) 何文绩,号北斋. 岭南始祖 : (宋) 何雍,字伯尧,号梧窻. 文绩公长子. 居南雄府保昌县. 宗祖(一世) : 何肇易,字干符,行七,称贵七郎. 雍公第五子. 居东莞. 增城始祖 : 何绶,号大苏. 贵七郎第三子. 三大支祖(4世) : (明) 何广富,字伯成 ; 何广全 ; 何广通. 皆为妙保公之子. 散居地 : 广东省增城县等地. 书名据书名页题编目. 版心题 : 何氏族谱. 中国,广东省,英德市(古岭南浈阳大庆)(以绍姬祖地为祖籍地)
浏览:7456