Compact: verschil tussen versies

Een [[topologische ruimte]] ''X'' wordt '''compact''' genoemd als elke [[open overdekking]] van ''X'' een eindige deeloverdekking heeft. Dat wil zeggen dat, als <math>\{U_i\}_{i\in I}</math> een familie [[open verzameling]]en van ''X'' is zodanig dat <math>\bigcup_{i\in I}U_i \supseteq X</math>, er een ''[[cardinaliteit|eindige]]'' deelfamilie <math>J\subset I</math> is waarvoor ook <math>\bigcup_{i\in J}U_i \supseteq =X</math>.