Welcome guest
You're not logged in.
255 users online, thereof 0 logged in

Definition: Heine-Borel Property defines Compact Subsets

A subset \(U\) of a metric (or topological) space1 \(X\) is called compact, if for every open cover $(U_i)_{i\in I}$ of $U$ there exist only finitely many indices \(i_1,i_2,\ldots,i_k\in I\) with

\[U\subset U_{i_1}\cup U_{i_2}\cup \ldots \cup U_{i_n}.\]


1 The above definition makes no reference to any kind of a metric of the space $X$. Thus, it can be used in more generalized topological spaces rather than metric spaces.

| | | | | created: 2017-02-20 23:43:11 | modified: 2017-03-12 14:01:23 | by: bookofproofs | references: [582]

1.Explanation: Explanation of the Heine-Borel Property

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:


Bibliography (further reading)

[582] Forster Otto: “Analysis 2, Differentialrechnung im \(\mathbb R^n\), Gewöhnliche Differentialgleichungen”, Vieweg Studium, 1984