全有界空間

ウィキペディア

全有界空間

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/08/07 02:08 UTC 版)

位相幾何学および関連する数学の分野において、全有界空間（ぜんゆうかいくうかん、英: totally bounded space）とは、任意の固定された「大きさ」（但し「大きさ」の意味する所は文脈によって異なる）の有限個の部分集合によって覆うことの出来る空間のことを言う。その大きさがより小さく固定される程、覆うためにはより多くの部分集合が必要となるが、どのような大きさであっても必ず有限個の部分集合によって覆うことが出来る。関連する概念として、空間内のある部分集合のみが覆われる場合の全有界集合（totally bounded set）がある。全有界空間の全ての部分集合は、全有界集合である。しかし、たとえ空間が全有界でなくとも、その部分集合の幾つかは全有界であることがあり得る。