词条

(数学)

在集合论及其数学应用中,是由集合(或其他数学物件)的搜集(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
类导读知识
蕨类植物的主要特征
蕨类植物的主要特征
蕨类植物,一般指蕨类植物门,是植物界的一门。根、茎、叶中具真正的维管组织,以孢子繁殖。绝大多数在叶片下表面长有孢子囊,并聚集成各式各样的斑点或线条状的孢子囊群,初时为绿色,老时为锈黄色,有的裸露,有的具各种形状的盖。 蕨类植物门全世界约有12000种,广布世界各地,除沙漠、极干旱寒冷地区外,各地均有分布,尤以热带、亚热带为最丰富。根据分类,中国共有蕨类植物63科、228属,约2500种,它们大都喜生于温暖阴湿白森林环境,成为森林植被中草本层的重要组成部分,以华南、西南地区最为丰富。在生态习性上,有水生、土生、石生、附生或缠绕树干。 蕨类植物门下的植物是最古老的陆生植物。在生物发展史上,35000万年到27000万年的泥盆纪晚期到石炭纪时期,是蕨类最繁盛的时期,为当时地球上的主要植物类群。二叠纪末开始蕨类植物大量绝灭,其遗体埋藏地下,形成煤层。 蕨类植物的主要特征有:拥有发达的孢子系统,植株有明显的卷缩的幼芽、复叶以及跟状茎,具有可陆生或者附生的特性,蕨类植物也称围管植物,属于生命力极强的多年生草本。
浏览量:2001次
中国月饼种类
中国月饼种类
中秋节就要到了,中秋吃月饼是一个很传统的习俗,中国的月饼种类有很多,各地区都有相应的特色。中国四大月饼种类分别是广式月饼、京式月饼、滇式月饼、苏式月饼。广氏月饼起源于广州,但在全国都非常流行,是目前市场占比最大的一类月饼。广式月饼的特点是皮薄、馅大,通常皮馅比例为1:4,皮馅油含量高于其他类,吃起来口感松软、细滑。广式月饼的馅料有椰蓉型、蓉沙型、果仁型等。京式月饼甜度及皮馅比例适中,一般皮馅比例为2:3,以馅的特殊风味为主,口感松脆。京式月饼做工考究,制作程序之复杂居中国四大月饼体系之首,主要起源于京津及周边地区,馅料主要是枣料。滇式月饼是用云南特产的宣威火腿,加上蜂蜜、猪油、白糖等位馅心,用昆明呈贡的紫麦面粉为皮料烘烤而成。这种月饼甜中带咸,口味独特,食而不腻。苏式月饼起源于上海、江浙及周边地区。苏式月饼的特点是"酥",无论是饼皮还是馅料都非常酥,馅料有五仁、豆沙等,其中鲜肉馅饼是苏氏月饼中的新宠。除了以上这几种月饼,还有很多其他的月饼,比如潮式月饼、徽式月饼。这是月饼的其他两大种类。还有一些新式的月饼,比如冰皮月饼、冰淇淋月饼、果蔬月饼、海味月饼、椰奶月饼等等。
浏览量:1644次
冰雪运动种类
冰雪运动种类
冰雪运动泛指在冰上与雪地上进行的各种运动,由于早期的冰雪运动受条件所限,只能在寒冷结冰或有雪的冬天进行,所以又称之为冬季运动。如今随着人工制冷冰场和人造雪场的出现,冰雪运动已不只限于冬季进行。冰雪运动主要有花样滑冰、速度滑冰、现代冬季两项、北欧两项、钢架雪车、越野滑雪、跳台滑雪、有舵雪橇、无舵雪橇自由式滑雪、单板滑雪、短道速滑、冰壶、冰球滑冰、滑雪场馆、滑雪运动等项目。
浏览量:1931次
蕨类植物有哪些
蕨类植物有哪些
蕨类植物是地球上最古老的陆生植物,蕨类最繁盛的时期是泥盆纪晚期到石炭纪时期,从二叠纪末开始大量灭绝。蕨类植物需要水分作为再生循环的一部分,且从此开始衍生出各种不同的种类,是一种生命力极强的植物。蕨类植物有两个独立生活的植物体,叫做孢子体和配子体。现存的蕨类植物约有12000种,广泛分布于世界各地,尤其是热带和亚热带最为丰富。中国有61科223属,约2600种,主要分布在华南及西南地区,中国有“蕨类王国”之称。蕨类植物的种类非常多,比如可以食用的蕨、紫萁、荚果蕨、苹蕨、毛轴蕨等;还有观赏类例如铁线蕨、巢蕨属、鹿角蕨属、桫椤、荚果蕨、肾蕨等;有些蕨类植物是有毒的,包括海金沙、满江红和球子蕨;还有一些经济类,可以制成药物或者用于制造工业和农业肥料,这些蕨类包括石松、金毛狗、肾蕨、贯众、苹、槐叶萍、蕨、鳞毛蕨、荚果蕨、过沟菜蕨、蜈蚣草、桫椤、澳洲树蕨、水蕨、卷柏等等。
浏览量:2829次
海棠花种类
海棠花种类
海棠花品有种垂丝海棠、四季秋海棠、西府海棠、滇池海棠、山楂海棠、变叶海棠等。垂丝海棠是小乔木,垂丝海棠的叶片是椭圆形的,也有呈卵形的,花朵是粉色的,主要分布于我国的浙江、安徽、江苏等地。四季秋海棠是多年生的草本植物,叶片呈卵圆形,叶片的边缘具有小锯齿,花为红色或白色,花期较长,在3月到12月份都可以开花。 西府海棠属于蔷薇科苹果属的一类植物,是小乔木,是我国特有的树种,西府海棠适合生长在北方空气较为干燥的地区。在我国的河北、山东和辽宁等地都有栽培。 滇池海棠,分布于四川、云南等地,又名云南海棠,高达10m,幼时密生绒毛,老时逐渐脱落减少,暗紫色或紫褐色。 山楂海棠,是一种苹果属珍稀植物,在美丽的长白山西南坡海拔1100至1300米的针阔混交林中,盛开着一种漂亮的野生海棠花。 变叶海棠是良好的生态树种,根系发达,有很高的观赏价值,也是中国甘孜州高海拔地区阳坡、半阳坡地带造林绿化的优良乡土树种之一。
浏览量:1770次