度量空间的非第一范畴集称为第二纲集（second category set），又叫做第二范畴集。

简介疏朗集疏朗集亦称无处稠密集，是度量空间中的一类子集。如果度量空间R的子集A不在R的任何非空开集中稠密，则称A是疏朗集。

第一纲集如果R中的点集A可以表成至多可数个疏朗集的并，就称A是第一范畴集（或第一纲集）。

定义度量空间的非第一范畴集称为第二范畴集（或第二纲集）。

性质贝尔纲定理断言：完备的度量空间必是第二纲集。贝尔纲定理是区间套定理的发展与提高，在证明许多存在定理时是很有用的。1

度量空间度量空间(Metric Space)，在数学中是指一个集合，并且该集合中的任意元素之间的距离是可定义的。

亦称距离空间。一类特殊的拓扑空间。弗雷歇(Fréchet，M.-R.)将欧几里得空间的距离概念抽象化，于1906年定义了度量空间。

在度量空间中，紧性、可数紧性、序列紧性、子集紧性是一致的。可分性、遗传可分性、第二可数性、林德勒夫性是一致的。度量空间必满足第一可数公理，是豪斯多夫空间，完全正规空间，仿紧空间。伪度量空间满足第一可数公理，但一般不是豪斯多夫空间。

本词条内容贡献者为:

李嘉骞 - 博士 - 同济大学