词条

(数学)

在集合论及其数学应用中,是由集合(或其他数学物件)的搜集(collection),可以依所有成员所共享的性质被无歧定义。有些类是集合(例如由所有偶数构成的类),但有些则不是(如所有序数所构成的类或所有集合所构成的类)。一个不是集合的类被称之为真类。一个是集合的类被称为“小类”。

在数学里,有许多物件对集合而言太大,而必须以类来描述,像是大的范畴和超实数的类体之类等。要证明一给定“事物”为一真类,一般的做法是证明此一“事物”至少有着如序数一般多的元素。有关此一证明的例子,请参见完全自由格英语Free_lattice#The_complete_free_lattice

真类不能是一个集合或者是一个类的元素,而且不受ZF集合论中的公理所限制;因此避免掉了许多朴素集合论中的悖论。反而,这些悖论成了证明某一个类是否为真类的方法之一。例如,罗素悖论可以证明由所有不包含集合自身的集合所构成的类是一个真类,而布拉利-福尔蒂悖论则可证...

类相关文献
陈类
定义给定一个拓扑空间X上的一个复向量丛E,E的陈类是一系列X的上同调的元素。E的第k个陈类通常记为ck(E),是X的整数系数的上同调群H(X;Z)中的一个元素,并且满足如下公理:公理1.对于任何E,&
查看全文
鸟类DNA分类系统
分类表始鸟下纲Palaeognathae三趾鹑下纲Turnicaves新鸟下纲Neognathae参见鸟类传统分类系统
查看全文
类的定义在现实世界中,经常有属于同一个类的对象。例如,某辆自行车只是世界上很多自行车中的一辆。在面向对象软件中,也有很多共享相同特征的不同的对象:矩形、雇用记录、视频剪辑等。可以利用这些对象的相同特征为它们创建一个蓝图。对象的软件蓝图称为类。类是定义同一类所有对象的变量和方法的蓝图或原型。例如,可以创建一个定义包含当前档位等实例变量的自行车类。这个类也定义和提供了实例方法(变档、刹车)的实现。实例变量的值由类的每个实例提供。因此,当创建自行车类以后,必须在使用之前对它进行实例化。当创建类的实例时,就创建了这种类型的一个对象,然后系统为类定义的实例变量分配内存。然后可以调用对象的实例方法实现一些功能。相同类的实例共享相同的实例方法。除了实例变量和方法,类也可以定义类变量和类方法。可以从类的实例中或者直接从类中访问类变量和方法。类方法只能操作类变量-不必访问实例变量或实例方法。系统在第一次在程...
查看全文
鸟类传统分类系统
†蜥鸟亚纲(Archaeornithes)†Archaeopterygidae†Confuciusornithiformes†Hongshanornithidae†Yanornithiformes†Apsaraviformes目未定†反鸟亚纲(Enantiornithes)†Avisauridae†Gobipterygidae†Longipterygidae基群及科未定今鸟亚纲(Neornithes)†黄昏鸟目Hesperornithiformes†Hesperornithidae†Baptornithidae†Brodavidae†Enaliornithidae科未定†鱼鸟目Ichthyornithiformes†Ichthyornithidae†Lithornithiformes†Lithornithidae鸵鸟目Struthioniformes†Dinornithidae†Megal...
查看全文
引用Jech,Thomas,SetTheory,SpringerMonographsinMathematicsthirdmillennium,Berlin,NewYork:Springer-Verlag,2003,ISBN978-3-540-44085-7Levy,A.,BasicSetTheory,Berlin,NewYork:Springer-Verlag,1979另见罗素公理体系
查看全文
类相关标签
集合论基本概念
类的理论
范畴论
罗素公理体系
家族谱大览
5.陆氏墙东支谱 [残卷] : 墙东类稿, 卷16-20, 1860-2013
原书: [出版地不详] : 世德堂藏, 2013年续修. 存5册 : 插图, 世系表, 肖像. 注 : 此谱不全. 仅存卷4上,下, 及卷6. 从第11世祖之世系开始拍摄. 始祖, 始迁祖, 及编纂者资料均缺. 注 : 此记录之第4至5册为: "墙东类稿" 卷11至20. 远祖 : (唐) 陆宣. 宗祖 : (宋) 陆文圭,字子方,号墙东先生. 下有二子 : 陆秉钧(长房) ; 陆秉锁(次房). 十一世祖 : 陆思文,字二霖 ; 陆思明,字三霖 ; 陆思川. 注 : 此族共分五房 : 长房住云亭袁家桥 ; 次房住南外黄石桥 ; 三房住旧县署 ; 四房住东外杨岸桥 ; 五房住南闸李家弄. 袁家桥支祖(13世) : 陆兆武. 黄石桥支祖(16世) : 陆朝栋. 李家弄支祖(14世) : 陆锡公. 散居地 : 江苏省江阴县等地. 书名据书签题, 书名页题, 及版心题编目. 部分卷端题 : 澄江陆氏墙东支谱.
浏览:100
4.陆氏墙东支谱 [残卷] : 墙东类稿, 卷11-15, 1860-2013
原书: [出版地不详] : 世德堂藏, 2013年续修. 存5册 : 插图, 世系表, 肖像. 注 : 此谱不全. 仅存卷4上,下, 及卷6. 从第11世祖之世系开始拍摄. 始祖, 始迁祖, 及编纂者资料均缺. 注 : 此记录之第4至5册为: "墙东类稿" 卷11至20. 远祖 : (唐) 陆宣. 宗祖 : (宋) 陆文圭,字子方,号墙东先生. 下有二子 : 陆秉钧(长房) ; 陆秉锁(次房). 十一世祖 : 陆思文,字二霖 ; 陆思明,字三霖 ; 陆思川. 注 : 此族共分五房 : 长房住云亭袁家桥 ; 次房住南外黄石桥 ; 三房住旧县署 ; 四房住东外杨岸桥 ; 五房住南闸李家弄. 袁家桥支祖(13世) : 陆兆武. 黄石桥支祖(16世) : 陆朝栋. 李家弄支祖(14世) : 陆锡公. 散居地 : 江苏省江阴县等地. 书名据书签题, 书名页题, 及版心题编目. 部分卷端题 : 澄江陆氏墙东支谱.
浏览:100
[彭氏]家族类
原书: 稿本, 记事至昭和12[1937]. 1册(97面). 江西远祖 : (唐) 彭构云. 庐陵宗祖 : (唐) 彭玕. 广东始祖 : (宋) 彭延年,字舜章,又名华四郎,号震峰. 居揭阳县浦口. 台湾始迁祖 : (清) 彭象照. 散居地 : 广东省揭阳县 ; 台湾省新竹县,台湾省桃园县等地. 书名据书名页题编目.
浏览:100
文氏德慰球选廷五房七修谱 [世系12卷,首1卷,表2卷,序传类2卷,末1卷,附编1卷]
原书: 水埠湾 : 养廉学校, 民国22[1933]. 存9册 : 世系表. 注 : 本谱不全. 缺世系卷7, 9-12; 及表卷2. 编谱人员 : 文之谟,字诗畅 ; 文崇德,字式奎,号述苏 ; 文焕奎,字春生,号永旺 ; 文冬永,字来复 ; 文道德,字友三 ; 文盛兴,字映兆. 益阳始迁祖 : 文潮鏖,讳琰, 文昌义之季子. 由江西永新迁益阳. 为小街尾, 及十里子良岩文氏始祖. 派祖(8世) : 文宗录,字泉江. 为本谱五房之祖. 子孙多居子良岩. 五大房祖(11世) : (明) 文尚德,字复初 ; 文尚慰,名莘辅 ; 文尚球,字莘尹 ; 文尚选 ; 文尚廷. 本宗派语 : 潮福绍仕友 昌章宗大应 尚胜嗣维贤 万邦隆盛德 永世进忠良 明显昭谟烈 宏达焕书香 心传其肇孔 慎修克发扬. 注 : 成高渊源通达诸房派语,见本谱卷末第2-3页. 散居地 : 湖南省益阳县等地. 书名据书衣题, 及版心题编目. 卷端题 : 益阳子良岩文氏德慰球选廷五房七修谱.
浏览:0
文氏德慰球选廷五房七修谱 [世系12卷,首1卷,表2卷,序传类2卷,末1卷,附编1卷]
原书: 水埠湾 : 养廉学校, 民国22[1933]. 存9册 : 世系表. 注 : 本谱不全. 缺世系卷7, 9-12; 及表卷2. 编谱人员 : 文之谟,字诗畅 ; 文崇德,字式奎,号述苏 ; 文焕奎,字春生,号永旺 ; 文冬永,字来复 ; 文道德,字友三 ; 文盛兴,字映兆. 益阳始迁祖 : 文潮鏖,讳琰, 文昌义之季子. 由江西永新迁益阳. 为小街尾, 及十里子良岩文氏始祖. 派祖(8世) : 文宗录,字泉江. 为本谱五房之祖. 子孙多居子良岩. 五大房祖(11世) : (明) 文尚德,字复初 ; 文尚慰,名莘辅 ; 文尚球,字莘尹 ; 文尚选 ; 文尚廷. 本宗派语 : 潮福绍仕友 昌章宗大应 尚胜嗣维贤 万邦隆盛德 永世进忠良 明显昭谟烈 宏达焕书香 心传其肇孔 慎修克发扬. 注 : 成高渊源通达诸房派语,见本谱卷末第2-3页. 散居地 : 湖南省益阳县等地. 书名据书衣题, 及版心题编目. 卷端题 : 益阳子良岩文氏德慰球选廷五房七修谱.
浏览:0
文氏德慰球选廷五房七修谱 [世系12卷,首1卷,表2卷,序传类2卷,末1卷,附编1卷]
原书: 水埠湾 : 养廉学校, 民国22[1933]. 存9册 : 世系表. 注 : 本谱不全. 缺世系卷7, 9-12; 及表卷2. 编谱人员 : 文之谟,字诗畅 ; 文崇德,字式奎,号述苏 ; 文焕奎,字春生,号永旺 ; 文冬永,字来复 ; 文道德,字友三 ; 文盛兴,字映兆. 益阳始迁祖 : 文潮鏖,讳琰, 文昌义之季子. 由江西永新迁益阳. 为小街尾, 及十里子良岩文氏始祖. 派祖(8世) : 文宗录,字泉江. 为本谱五房之祖. 子孙多居子良岩. 五大房祖(11世) : (明) 文尚德,字复初 ; 文尚慰,名莘辅 ; 文尚球,字莘尹 ; 文尚选 ; 文尚廷. 本宗派语 : 潮福绍仕友 昌章宗大应 尚胜嗣维贤 万邦隆盛德 永世进忠良 明显昭谟烈 宏达焕书香 心传其肇孔 慎修克发扬. 注 : 成高渊源通达诸房派语,见本谱卷末第2-3页. 散居地 : 湖南省益阳县等地. 书名据书衣题, 及版心题编目. 卷端题 : 益阳子良岩文氏德慰球选廷五房七修谱.
浏览:0
类导读知识
黄山毛峰属于什么茶类
黄山毛峰属于什么茶类
黄山毛峰属于绿茶类,产于安徽省黄山(徽州)一带,所以又称为徽茶。黄山茶的历史可以追述到1200年前的盛唐,《徽州府志》中已经有关于黄山茶的记载。明朝时期黄山茶已经很有名气,黄山毛峰茶的雏形也基本形成。清光绪年间,有位名叫谢正安的茶商开办了"谢裕泰"茶行,他率人去黄山等地采摘肥嫩的芽叶,经过精细炒制,创制出了风味俱佳的优质茶叶,由于茶叶白毫披身,芽尖似峰,取名"毛峰",后冠以地名为"黄山毛峰"。黄山毛峰外形微卷,状似雀舌,绿中泛黄,银毫显露,且带有金黄色鱼叶,入杯冲泡雾气结顶,汤色清碧微黄,叶底黄绿有活力,滋味醇甘,香气如兰,韵味深长。
浏览量:3547次
宋代钱币种类
宋代钱币种类
古代最初的钱币,其实是贝壳,当时人们都是使用贝壳进行交易的,而后随着时间的迁移,到了战国时期,有了刀币布币、圜钱、秦代的方孔圆钱、汉代的五铢钱至清代的机制币等等,其实都是可以反映出当时朝代的一个社会经济发展状况的。其中宋朝应该算是历史上商品经济最为繁荣的一个时代吧,它一共分为北宋和南宋两个阶段,而宋朝的钱币种类也是比较多的,十几位皇帝一共铸有四五十种年号钱。南宋时期还出现了纪年钱,这也是宋代古钱币的一大特征,并且在北宋的时候,还出现了纸币交子,南宋有会子、关子。交子、会子都是当时对票据等的俗称。那么宋代钱币有哪些种类呢?基本上可以分为五种常见的类型,第一种大观通宝,是由徽宗御题钱文,宋朝与其他朝代不同的是每换一个年号就会发行一种钱币,因此宋代发行的钱币是比较多的;第二种崇宁通宝,是北宋徽宗赵佶年号崇宁,隶属于年号币,分别有崇宁重宝,崇宁通宝,崇宁元宝三种,其中崇宁元宝面值最大,通宝最小;第三种元丰通宝,是北宋赵顼,元丰年间所铸造;第四种皇宋通宝,是北宋赵祯,宝元二年铸,终于皇祐末年,非年号币,钱文属于篆书、真书对钱,有小平、折二两种,有铁钱,篆书中还有九叠,此钱币发行量小,历史时间长;第五种宋元通宝,是宋代古钱的一种,也是宋代开国钱币,铸于宋太宗建隆元年是国号加宝文的国号钱。
浏览量:3408次
中国四大月饼种类
中国四大月饼种类
月饼是中秋节的传统美食,古往今来一直非常受人欢迎,全国各地都会在中秋节这一天吃月饼、赏月。由于地域的不同衍生出了多种月饼种类,其中最著名的就是四大月饼:广式月饼、京式月饼、滇式月饼、苏式月饼。广式月饼:广式月饼起源于广州,如今已经流行于全国各地。广式月饼的特点是皮薄馅大,皮馅的油含量也比其他月饼高,吃起来松软细滑,表皮金黄,柔软滋润,馅料有果仁、肉禽、椰蓉等多种口味。京式月饼:京式月饼起源于京津地区,甜度适中,口感松脆。京式月饼做工考究,制作程序复杂,有很多特殊风味,比如蛋黄茶油月饼、自来红月饼等等。滇式月饼:滇式月饼也叫做云腿月饼,是使用云南特产的火腿加上蜂蜜、猪油等制成馅料,然后用紫麦面粉作饼皮烘烤而成的。滇式月饼表面呈现金黄色或红棕色,有一层硬壳,酥皮裹着馅料,香味扑鼻。苏式月饼:苏式月饼起源于江浙地区,它的特点是酥,饼皮非常酥香,用牙一咬就会掉渣。苏式月饼的口味非常丰富,有玫瑰、百果、椒盐、豆沙、火腿、鲜肉、虾仁等多种馅料,馅料比较紧实,近年来颇受欢迎。
浏览量:2940次
中国八大月饼种类
中国八大月饼种类
中国八大月饼种类其实是指八大派系的月饼,分别是广式月饼、京式月饼、潮式月饼、苏式月饼、滇式月饼、衢式月饼、徽式月饼、晋式月饼。而这些月饼都是各有各的特点的。广式月饼是现在比较广泛,也是受欢迎度最高的月饼,广式月饼是广东省的特色月饼,而且这个月饼在唐朝时期就有了,到了明代的时候就已经形成了固定的模样;苏氏月饼是起源于苏州,而它也是与广式月饼区别最大的月饼,除了咬一口酥掉渣的酥皮,最大的区别就是烤出来就可以直接食用,不用“回油”,越是刚出炉的越酥香;晋式月饼是山西月饼的特色代表,起源于明朝时期;潮式月饼给人的感觉就类似于大个头的“豆沙包”,制作方法上是与苏式月饼比较相似的。滇式月饼是云南的特色月饼,其最大的特点就是将云南的火腿与玫瑰花加入馅料,这也是最经典的滇式月饼品种;衢式月饼是浙江衢州特色的中秋小吃,其表面会有很多芝麻;徽式月饼是安徽徽州地区的特色中秋美食,最具有代表的徽式月饼是“梅干月饼”;京式月饼,是北方地区月饼类食品的代表品种之一,花样众多。月饼与各地饮食习俗相融合,发展出了广式、晋式、京式、苏式、潮式、滇式等月饼,被中囯南北各地的人们所喜欢。中秋节吃月饼和赏月昰中囯南北各地过中秋节的必备习俗,月饼象征着大团圆,人们把它当作节日食品,用它祭月、赠送亲友。
浏览量:2647次
蹴鞠类似于现在的什么运动
蹴鞠类似于现在的什么运动
蹴鞠类似于现代的足球运动,蹴鞠是一种一脚蹴、蹋、踢皮球的活动,据史料记载,早在战国时期,中国民间就由娱乐性的蹴鞠游戏。“蹴”是用脚蹴、蹋、踢的含义,“鞠”最早指的是用皮革包裹,内里塞满米糠的球。“鞠”的起源可以上溯到石球,石球原本是早期的狩猎工具,原始社会后期出现了用脚踢的石球和镂空的陶球,刘向在《别录》中提到过:“蹴鞠,传言黄帝所作”,相传蹴鞠是皇帝发明的。最初用作军事训练。战国的帛书也有相关记载。两汉时期,蹴鞠就已相当盛行;唐宋时期,蹴鞠在我国的发展达到顶峰,民间出现了很多蹴鞠组织与蹴鞠艺人,皇宫内院也以此为乐;清代更是出现了冰上蹙鞠。蹴鞠是中国古代流传久远、影响较大的一种体育运动。
浏览量:3223次