词条 何公理

何公理

二房下派祖(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)是拓扑可分,可分离,邻域可分离等等。以上这些条件是按强度依序给出的:任何两个拓扑可区分的点也必然是相区分的,任何两个分离的点也必然是拓扑可区分的。更进一...
查看全文
家族谱大览
福建东山前何乡何氏简谱暨在台宗亲通讯录
原书: 写本, 民国68[1979]记事. 1册(18面) : 插图, 世系表, 人像. 河南入闽始祖 : (唐) 安抚使公. 十五世始祖 : 何逖基 ; 何逖源. 散居地 : 福建省东山县前何乡及台湾省等地
浏览:100
上湘何周氏族谱 [3卷,首1卷]
原书 : [出版地不详] : 敦本堂藏, 清光绪26[1900]初修. 2册 : 世系表. 收藏所 : 太原寻源姓氏文化中心. 注 : 微卷第1册与第2册次序颠倒. 第1册含卷1-3. 第2册含卷首及上卷. 合宗鼻祖 : (清) 何周正朝,字荣生. 湘西二都何仲玉之子,出抚城北周象智(字慧之)为子,故冒姓为周氏. 何氏始祖 : 何仲玉. 周氏始祖 : (明) 周明贵,字桂宇. 散居地 : 湖南省湘潭县等地. 编纂者 : 何周维曙,字明轩 ; 何周新懋,字蓬仙 ; 何周心馨,字桂森. 书名据书名页题编目. 版心题 : 何周氏族谱.
浏览:100
甘肃省酒泉市敦煌市肃州庙村何氏全族家谱【上庄子】(第一卷)
甘肃省酒泉市敦煌市肃州庙村何氏全族家谱【上庄子】(第一卷)
查阅了好多地方,发现甘肃省没有一本完整的何氏族谱,我是现存何氏家族的第五代人,由于之前的好多族谱都在文化大革命中被焚毁,所以现在有些亲属找不到了,我也是非常愿意同所有的何氏家族成员进行交流与探讨族谱编纂,谢谢大家!
浏览:0
福建东山前何乡何氏简谱暨在台宗亲通讯录
原书: 写本, 民国68[1979]记事. 1册(18面) : 插图, 世系表, 人像. 河南入闽始祖 : (唐) 安抚使公. 十五世始祖 : 何逖基 ; 何逖源. 散居地 : 福建省东山县前何乡及台湾省等地
浏览:100
何麻車村志[何氏]
原书: 浙江永康 : 何麻车村志编纂委员会, 1998. 7, 3, 340页 : 插图, 世系表, 地图. 收藏者 : 山西省社会科学院. 附 : 何氏宗谱. 始祖 : (元明之际) 何高一,讳端,字君阳. 散居地 : 浙江省永康县栁青乡何麻车村等地.
浏览:100
100.何氏宗谱, 100.卷92: 何黄氏宗谱 贵分道忠 花园铺黄家湾, 1990
原书: [出版地不详] : 谷诒堂, 1990年镌. 110册 : 插图, 世系表. 宗祖:(唐) 何奖,字步霄,官名朝缪. 昕公之子. 历职尚书. 生九子 : 何偕,字仲元 ; 何渭 ; 何兴 ; 何升 ; 何俊 ; 何享 ; 何向 ; 何昌 ; 何仁. 卜居九区宅九井,是为九井之图所由名. 始迁祖:(宋) 何公辅,字彦仁. 奖公24世孙. 由江西迁居蕲水何家寨. 生七子 : 何伯祥(为本谱宗祖) ; 何伯通 ; 何伯达 ; 何伯龄 ; 何伯胜 ; 何伯清 ; 何伯椿 ; 三女 : 念一娘 ; 念二娘 ; 念三娘. (据何氏合族总谱). 注:据浠川敦本堂谱载, 何彦仁,字文一,又名兴堂,号公辅. 宋举人,蕲阳(今湖北黄岗武穴市)令,大致仕寄居永乐里. 生九子 : 何龙一 ; 何龙二,字伯华 ; 何龙三,字伯祥 ; 何龙四,字伯荣 ; 何龙五,字世超 ; 何龙六, 何龙七,字士龙 ; 何龙八,字凤从 ; 何龙九,字云从(官荆州右卫). 伯祥公下派祖(宋5世) : 何千一,讳应龙(迁黄岗李婆墩,后裔详"黄分本源堂宗谱") ; 何千二,讳应凤(居浠石门). 系恭三公之子. 千二公下三子 : 何万十一(籍何家寨断事湾,生二子 : 何承甫 ; 何良甫) ; 何万十二(籍侯王坪何家冲,生一子 : 何端甫) ; 何万十三(籍黄冈李婆墩). 明一世祖:(元明之际) 何承甫 ; 何良甫(碑载元末徙家直辖太湖县,生二子 : 何添祥, 何添禹) ; 何端甫,讳诚,字中立,行一(生一子 : 何添龙). 良甫公下派祖(3世):(明) 何廷章(添祥公之子) ; 何廷富 ; 何廷贵(二公为添禹公之子). 廷章公下房祖(7世):何大富, 何大理, 何大荣, 何大昭, 何大旭, 何大安, 何大中…等. 廷富公下房祖(7世):何大坤, 何大均, 何大益, 何大秦, 何大弼, 何大明, 何大南, 何大瑞, 何大雄, 何大轩, 何大仁, 何大位, 何大涌, 何大洧…等. 廷贵公下房祖(7世):何大申 ; 何大尧 ; 何大东 ; 何大贞 ; 何大湖 ; 何大禄 ; 何大沧…等. 承甫公下派祖(3世):何廷举, 承甫公之后, 廷举公之前失考. 廷举公下房祖(7世):何大和 ; 何大辂 ; 何大贵 ; 何大元 ; 何大贞 ; 何大利…等 何黄氏始祖 : (明) 何道忠. 廷贵公之孙. 随姑至黄岗花园铺,因姑父黄义财无子,招赘内姪道忠(浠水何家寨必亮公之子)为嗣,此即何黄两姓之由来. 道忠公下三子 : 黄荣昌(迁湖南) ; 黄盛昌(迁堵城黄家大湾) ; 黄贵昌(居花园铺真武观). 彦仁公另派祖(1世):(宋) 何龙五,字世超,号隆五. 彦仁公第五子. 以龙九公长子何海一,字秀泉,为嗣. 龙五公下派祖(6世):(明) 何思贤. 申公之子. 生二子 : 何仲江 ; 何仲全. 思贤公下派祖(13世):何廷明,原名之明(希达公三子, 明朝时乱迁霍邑,后人蕃衍以廷明公为始祖) ; 何廷清 ; 何廷魁…等. 皆为大贤公4世孙. 廷明公下支祖(17世):(清) 何治英,字孔时 ; 何治才,名子才,字孔周 ; 何治德,名子德,字孔元 ; 何治阔,字孔远 ; 何治蕙,字孔蕙 ; 何治蕙,字孔蕙 ; 何治由,字云路 ; 何治国,字孔云 ; 何治泰,字孔华 ; 何治民,字孔富…等. 另支祖(13世):(清) 何德华,字泽周,行一. 生三子 : 何建元 ; 何建利 ; 何建贵. (注: 何氏家乘八修时,距石门约十里的何家湾有何姓一支,执墨稿一册要求入谱,此即德华公支谱. 德华公之前谱系失考.) 何黄合谱派行 : 彦伯亨恭 千万良添 廷必希仲 大风其然 之时德建 宗声绍文 修世运光 国恩家庆 集义行仁 发祥有道 锡福咸臻 振兴中华 敬业超群 三江五岳 焕彩扬. 另派行(必至集字之间) : 道昌 通大郁学 举登有树 然基金衍 本光生銮 永秉昭理. 黄姓宗派二十字:有树然基 金衍本光 生銮永秉 昭理历秦 辅为在衔 书名据书衣题, 部分版心题编目. 书名页题 : 何氏家乘 版心题 : 何氏八修宗谱 另版心题:何黄氏八修宗谱 散居地:湖北省黄石市, 黄冈市, 浠水县, 团风县, 英山县, 罗田县, 蕲春县, 武汉市黄陂区, 孝感市...等.
浏览:100