Úplný metrický prostor

Metrický prostor, tj. množina vybavená nějakou metrikou, je označován jako úplný, pokud v něm každá posloupnost, která je (v dané metrice) cauchyovská, má v této metrice limitu, tj. je konvergentní.

V každém metrickém prostoru jsou konvergentní posloupnosti vždy cauchyovské, jak plyne z trojúhelníkové nerovnosti. Opačně to neplatí například pro metrický prostor racionálních čísel s obvyklou metrikou (která dvěma číslům přiřadí absolutní hodnotu jejich rozdílu). V něm nemá limitu např. posloupnost , , , , ..., která v metrickém prostoru reálných čísel konverguje k Ludolfovu číslu , které je iracionální.

Z toho plyne, že racionální čísla nejsou úplným prostorem; lze však dokázat, že reálná čísla úplná jsou.

Úplný obal

editovat

Ke každému metrickému prostoru   existuje takový úplný metrický prostor  , že   je možné izometricky zobrazit na jeho podprostor   hustý v  . Prostor   nazýváme úplným obalem metrického prostoru  .

Platí, že pokud jsou   úplné obaly metrického prostoru  , pak existuje izometrické zobrazení  .

Vlastnosti

editovat
  • Je-li metrický prostor kompaktní, pak je i úplný.
  • Metrický prostor X je úplný právě tehdy, když každá posloupnost do sebe zanořených uzavřených neprázdných podmnožin X, s poloměry jdoucími k 0, má neprázdný (přesněji jednobodový) průnik: jestliže Fn je uzavřená a neprázdná, Fn+1Fn pro každé n, a diam(Fn) → 0, pak existuje x ∈ X náležející každé množině  Fn.
  • Uzavřený podprostor úplného prostoru je úplný.
  • Prostor je úplný, právě když je absolutně uzavřený.
  • Banachova věta o kontrakci říká, že v neprázdném úplném metrickém prostoru existuje pro danou kontrakci právě jeden pevný bod.

Příklady úplných prostorů

editovat
  • Prostor reálných čísel   s euklidovskou metrikou je úplný. Stejně tak prostor komplexních čísel   s metrikou danou absolutní hodnotou je úplný.
  • Každý normovaný vektorový prostor konečné dimenze s metrikou indukovanou normou, tzn:   je úplný. Předchozí příklad je vlastně speciálním případem tohoto faktu.
  • Každý metrický prostor s diskrétní metrikou je úplný, neboť v této metrice jsou cauchyovské pouze posloupnosti, které jsou od jistého indexu konstantní (a tedy jsou konvergentní).
  • Prostor všech spojitých funkcí na uzavřeném intervalu   s metrikou
     
je úplný.

Příklady neúplných prostorů

editovat
  • Prostor racionálních čísel (s eukleidovskou metrikou) není úplný metrický prostor. Příkladem budiž posloupnost racionálních čísel  ,  ,  ,  ,   a dále dle desetinného rozvoje cisla  , která je cauchyovská, ale její limitou je Eulerovo číslo, což je číslo iracionální. Posloupnost tedy není konvergentní v prostoru racionálních čísel.
  • Jakýkoli (omezený) otevřený či polouzavřený interval na reálné ose je neúplný. Například na intervalu   není konvergentní posloupnost
 

ačkoli je konvergentní v oboru všech reálných čísel.

Související články

editovat