Wijsman konvergens

Wijsman-konvergens är en variant av Hausdorff-konvergens som är lämplig för arbete med obegränsade uppsättningar . Intuitivt är Wijsman-konvergens till konvergens i Hausdorff-måttet som punktvis konvergens är till enhetlig konvergens .

Historia

Konvergensen definierades av Robert Wijsman. Samma definition användes tidigare av Zdeněk Frolík . Ännu tidigare definierade Hausdorff i sin bok Grundzüge der Mengenlehre så kallade slutna gränser ; för korrekta metriska utrymmen är det samma som Wijsman-konvergens.

Definition

Låt ( X , d ) vara ett metriskt mellanrum och låt Cl( X ) beteckna samlingen av alla d -slutna delmängder av X . För en punkt x X och en mängd A ∈ Cl( X ), sätt

En sekvens (eller netto ) av mängder A i ∈ Cl( X ) sägs vara Wijsman konvergent till A ∈ Cl( X ) om, för varje x X ,

Wijsman-konvergens inducerar en topologi på Cl( X ), känd som Wijsman-topologin .

Egenskaper

  • Wijsman-topologin beror mycket starkt på metriken d . Även om två mått är enhetligt ekvivalenta, kan de generera olika Wijsman-topologier.
  • Beers sats : om ( X , d ) är ett komplett , separerbart metriskt utrymme, så är Cl( X ) med Wijsman-topologin ett polskt utrymme , dvs det är separerbart och metriserbart med ett komplett mått.
  • Cl( X ) med Wijsman-topologin är alltid ett Tychonoff-rum . Dessutom har man Levi-Lechicki-satsen : ( X , d ) är separerbar om och endast om Cl( X ) är antingen metriserbar, första-räknbar eller andra-räknbar .
  • Om den punktvisa konvergensen av Wijsman-konvergensen ersätts med enhetlig konvergens (likformigt i x ), så erhåller man Hausdorff-konvergens, där Hausdorff-måttet ges av
Hausdorff och Wijsman topologierna på Cl( X ) sammanfaller om och endast om ( X , d ) är ett totalt avgränsat rum .


Se även

Anteckningar
Bibliografi

externa länkar