Compact space

Compact space

Jesse Russell Ronald Cohn

     

бумажная книга



ISBN: 978-5-5091-9954-7

High Quality Content by WIKIPEDIA articles! In mathematics, specifically general topology and metric topology, a compact space is a mathematical space in which any infinite sequence of points sampled from the space must eventually get arbitrarily close to some point of the space. There are several different notions of compactness, noted below, that are equivalent in good cases. The version just described is known as sequential compactness. The Bolzano–Weierstrass theorem gives an equivalent condition for sequential compactness when considering subsets of Euclidean space: a set then is compact if and only if it is closed and bounded. Examples include a closed interval or a rectangle. Thus if one chooses an infinite number of points in the closed unit interval, some of those points must get arbitrarily close to some real number in that space. For instance, some of the numbers 1/2, 4/5, 1/3, 5/6, 1/4, 6/7, … get arbitrarily close to 0. (Also, some get arbitrarily close to 1.) Note that the same set of points would not have, as an accumulation point, any point of the open unit interval; hence that space cannot be compact. Euclidean space itself is not compact since it is not bounded. In particular, no subset of the points 1, 2, 3, … on the real line gets arbitrarily close to any real number.