词条

(数学)

在集合论及其数学应用中,是由集合(或其他数学物件)的搜集(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
类导读知识
宋代钱币种类
宋代钱币种类
古代最初的钱币,其实是贝壳,当时人们都是使用贝壳进行交易的,而后随着时间的迁移,到了战国时期,有了刀币布币、圜钱、秦代的方孔圆钱、汉代的五铢钱至清代的机制币等等,其实都是可以反映出当时朝代的一个社会经济发展状况的。其中宋朝应该算是历史上商品经济最为繁荣的一个时代吧,它一共分为北宋和南宋两个阶段,而宋朝的钱币种类也是比较多的,十几位皇帝一共铸有四五十种年号钱。南宋时期还出现了纪年钱,这也是宋代古钱币的一大特征,并且在北宋的时候,还出现了纸币交子,南宋有会子、关子。交子、会子都是当时对票据等的俗称。那么宋代钱币有哪些种类呢?基本上可以分为五种常见的类型,第一种大观通宝,是由徽宗御题钱文,宋朝与其他朝代不同的是每换一个年号就会发行一种钱币,因此宋代发行的钱币是比较多的;第二种崇宁通宝,是北宋徽宗赵佶年号崇宁,隶属于年号币,分别有崇宁重宝,崇宁通宝,崇宁元宝三种,其中崇宁元宝面值最大,通宝最小;第三种元丰通宝,是北宋赵顼,元丰年间所铸造;第四种皇宋通宝,是北宋赵祯,宝元二年铸,终于皇祐末年,非年号币,钱文属于篆书、真书对钱,有小平、折二两种,有铁钱,篆书中还有九叠,此钱币发行量小,历史时间长;第五种宋元通宝,是宋代古钱的一种,也是宋代开国钱币,铸于宋太宗建隆元年是国号加宝文的国号钱。
浏览量:1837次
月饼种类有哪些
月饼种类有哪些
中秋吃月饼,是中华民族一项历史悠久的传统习俗,每到中秋节,人们就会在一起吃月饼、赏月。中国地大物博,不同的地区饮食习俗有很大差异,不同地区地区的月饼都有各自的特点,目前流传的月饼主要分为这十种:1.广式月饼广式月饼的特点是皮薄松软、造型美观、图案精致,味道相对更甜一些,有椰蓉口味、果仁口味、禽肉口味和蓉沙口味。2.苏氏月饼苏氏月饼外皮比较酥松、色泽美观,馅料很丰富,有五仁、豆沙等,分甜、咸或烤、烙两类。3.京式月饼京式月饼甜度及皮馅比适中,口味清甜,口感松脆,经典的口味有自来红月饼、自来白月饼、五仁月饼等。4.滇式月饼滇式月饼以云腿月饼和鲜花月饼为代表。它的馅料比较特殊,凭借特色火腿和鲜花带给人不一样的口感,饼皮疏松,馅料咸甜适口。5.潮式月饼潮式月饼的主要特点是皮酥馅细,油不肥舌,甜不腻口,馅料有绿豆、乌豆、水晶、紫芋、蛋黄、海鲜等多种口味。6.徽式月饼徽式月饼小巧玲珑,皮是油酥皮,馅料用的是菜和油、糖混合制成,其中的代表是梅干月饼。7.衢式月饼衢式月饼以芝麻为重要原料,主要有杜泽桂花月饼和邵永丰麻这两种。8.秦式月饼秦式月饼荤素兼备,皮酥馅甘,馅料有甜有咸,有青红丝、桔饼、玫瑰花等等,其中的代表是西安的水晶月饼。9.晋式月饼晋式月饼外表扁平,口味醇厚绵和,馅料主要由精粉、胡麻油、鸡蛋、红枣、红糖、豆沙等制作而成。10.台式月饼台式月饼的内馅主要是绿豆沙、豆沙蛋黄,不仅有酥皮,也有糕皮,外表精美,圆边浅黄,重油而不腻,甜咸适口。
浏览量:1871次
蕨类植物怎么养
蕨类植物怎么养
想要养好蕨类植物,需要注意以下几个方面:1.控制好湿度,2.保持制宜的温度,3.充足的光照,4.保证新鲜空气,5.选择合适的肥料,6.预防病虫害。1.蕨类植物的特点是喜湿不耐旱,生长旺盛期可以每天浇水,保持土壤湿润,但不可浇水过多,如果根部腐烂要及时剪掉,浇水时间最好在早上。2.不同的蕨类植物适宜温度不同,一般来说,生长在热带的蕨类植物适宜温度在20℃~27℃之间,生长于亚热带和温带的蕨类植物,适宜温度是15℃到20℃之间。3.蕨类植物在抽芽期要主意好遮荫,休眠期则要放在光线充足的地方。需要注意的是蕨类植物不能放在阳光直射处,放在有阳光的地方即可。4.植物生长需要新鲜空气,要保持空气的流通。5.输送且富含有机质的土壤是最适合蕨类植物生长的。另外植株生长还需要氮磷钾,肥料的选择要尽量全面。6.要及时发现病虫害,比如红蜘蛛,蚜虫等等,这会造成植物生病,导致生长不良或死亡,对应不同的病虫害要用特定药物。
浏览量:1527次
蹴鞠类似于现在的什么运动
蹴鞠类似于现在的什么运动
蹴鞠类似于现代的足球运动,蹴鞠是一种一脚蹴、蹋、踢皮球的活动,据史料记载,早在战国时期,中国民间就由娱乐性的蹴鞠游戏。“蹴”是用脚蹴、蹋、踢的含义,“鞠”最早指的是用皮革包裹,内里塞满米糠的球。“鞠”的起源可以上溯到石球,石球原本是早期的狩猎工具,原始社会后期出现了用脚踢的石球和镂空的陶球,刘向在《别录》中提到过:“蹴鞠,传言黄帝所作”,相传蹴鞠是皇帝发明的。最初用作军事训练。战国的帛书也有相关记载。两汉时期,蹴鞠就已相当盛行;唐宋时期,蹴鞠在我国的发展达到顶峰,民间出现了很多蹴鞠组织与蹴鞠艺人,皇宫内院也以此为乐;清代更是出现了冰上蹙鞠。蹴鞠是中国古代流传久远、影响较大的一种体育运动。
浏览量:1696次
玉兰花什么时候开花
玉兰花什么时候开花
玉兰花大多数在每年春季的2-3月份开花。不过不同地区的开花时间会随生长环境有所变化,南方气温比较高的地方,花期可能就会提前到12月到第二年1月份;北方的气温比较低,开花的时间可能就会推迟。玉兰花一般一年只开一次,但有的品种会在春季和夏季开两次花。玉兰花的品种有很多。玉兰的同属植物约有90余种,我国本土有30余种,目前还有从国外引入的树种。常见的玉兰花种类有夜香木兰、山玉兰、广玉兰、馨香玉兰、绢毛木兰、木兰、厚朴、天女木兰、二乔玉兰、武当木兰、星花玉兰、宝华玉兰、望春玉兰、圆叶玉兰、西康玉兰等。其中,常绿的木兰树为夜香木兰、山玉兰、广玉兰、馨香玉兰、绢毛木兰。玉兰花不仅花朵娇艳,具有较高的观赏价值,其还是重要的中药材。玉兰花花蕾名辛夷,是中医治鼻病的主药。玉兰花瓣也可供食用。玉兰花不但可以泡茶,还可以煮粥、配菜、酿制糕点等,具有消炎止痛、改善睡眠质量、美容养颜、镇咳化痰的功效。
浏览量:1360次