Prekompaktní množina

Z Wikipedie, otevřené encyklopedie

Prekompaktní množina, nebo též totálně omezená množina, je taková množina bodů metrického prostoru, která jde vždy pokrýt konečným počtem stejných koulí o libovolně malém poloměru.

[editovat] Definice

Množina M v metrickém prostoru se nazývá prekompaktní, jestliže ke každému ε > 0 existuje v M konečná množina bodů x_1, \ldots, x_n \in M s vlastností M \subset \bigcup_{i=1}^n U(x_i,\epsilon), kde U(xi,ε) jsou ε-okolí xi (koule se středem xi a poloměrem ε).

[editovat] Vlastnosti

Množina M je prekompaktní právě tehdy, když z každé posloupnosti prvků M lze vybrat cauchyovskou posloupnost.

Prekompaktní množina je omezená. Kompaktní množiny jsou ty, které jsou prekompaktní a úplné.

Na úplných metrických prostorech prekompaktní množiny a relativně kompaktní množiny splývají.

[editovat] Podívejte se také na