紧性

紧性为点集拓扑中的基本概念，若X的任一开覆盖有有限子覆盖，称拓扑空间X的子集K为紧集，若能从X的任一覆盖K的开集族中取有限覆盖。