interactieve reële analyse

topologie

5.2. Compacte en perfecte Verzamelingen

we hebben al gezien dat alle open Verzamelingen in de reële lijn kunnen worden geschreven als de aftelbare Vereniging van disjuncte open intervallen. We zullen nu de gesloten sets nader bekijken. De belangrijkste soort gesloten sets in de echte lijn worden compacte sets genoemd:

definitie 5.2.1: Compact-Sets
Een verzameling van reële getallen heet compact als elke rij in S is een deelrij die convergeert naar een element opnieuw opgenomen in S.
Voorbeelden 5.2.2:
  • Is het interval compacte ? Wat dacht je van, en C = { (-1/2, 1/2), (1/3, 2/3), (1/2, 3/2)}. Is C een open deksel voor S ?
  • Laat S=. Definieer = { t R: | t – / &lt en s} voor een vaste &gt 0. Is de verzameling van alle { }, S, een open deksel voor S ? Hoeveel sets van het type zijn er eigenlijk nodig om S te dekken ?
  • Laat S =(0, 1). Definieer een verzameling C = {(1 / j, 1), voor alle j &gt 0 }. Is C een open deksel voor S ? Hoeveel sets uit de collectie C zijn er eigenlijk nodig om S te dekken ?

hier is de karakterisering van compacte sets alleen gebaseerd op open sets:

stelling 5.2.6: Stelling van Heine-Borel
een verzameling s van reële getallen is dan en slechts dan compact als elke open deksel C van S kan worden gereduceerd tot een eindige subdekking.

ProofProof

compacte verzamelingen delen veel eigenschappen met eindige verzamelingen. Bijvoorbeeld, als A en B twee niet-lege Verzamelingen zijn met een B dan een B # 0. Dat geldt in feite ook voor eindig veel verzamelingen, maar faalt om waar te zijn voor oneindig veel verzamelingen.

voorbeelden 5.2.7:
  • overweeg de verzameling van Verzamelingen (0, 1/j) Voor alle J &gt 0. Wat is het snijpunt van al deze verzamelingen ?
  • kunt u oneindig veel gesloten verzamelingen vinden, zodat hun snijpunt leeg is en elke verzameling zich in zijn voorganger bevindt ? Dat wil zeggen, kunt u sets AJ zo vinden dat Aj + 1 Aj en Aj = 0 ?

compacte sets, aan de andere kant, hebben de volgende mooie eigenschap, die zal worden gebruikt in een aantal van de volgende hoofdstukken:

stelling 5.2.8: kruising van geneste compacte Verzamelingen
stel dat { Aj } een verzameling Verzamelingen is, zodat elke aj niet-leeg, compact en Aj+1 Aj is. Dan is A = Aj niet leeg.

ProofProof

een andere interessante collectie van gesloten sets zijn de perfecte sets:

definitie 5.2.9: perfecte Set
een verzameling S is perfect als deze gesloten is en elk punt van S een accumulatiepunt van S is.
voorbeeld 5.2.10:
  • vind een perfecte set. Zoek een gesloten set die niet perfect is. Vind een compacte set die niet perfect is. Zoek een onbegrensde gesloten set die niet perfect is. Zoek een gesloten set die noch compact, noch perfect is.
  • Is de verzameling {1, 1/2, 1/3,… perfect ? Hoe zit het met de set {1, 1/2, 1/3,…} {0} ?

als toepassing van het bovenstaande resultaat, zullen we zien dat perfecte sets gesloten sets zijn die veel punten bevatten:

stelling 5.2.11: perfecte Verzamelingen zijn ontelbaar
elke niet-lege perfecte set moet ontelbaar zijn.

ProofProof

dit kan een snel, maar nogal verfijnd bewijs opleveren van het feit dat het interval ontelbaar is: het interval is een perfecte verzameling, dus moet het ontelbaar zijn.

een ander, nogal eigenaardig voorbeeld van een gesloten, compacte en perfecte verzameling is de Cantorverzameling.

definitie 5.2.12: Cantor Midden Derde Set
Starten met het apparaat interval

S0 =

Verwijderen uit het midden derde en stel

S1 = S0 \ (1/3, 2/3)

Verwijder uit dat de twee middelste derde en stel

S2 = S1 \ { (1/9, 2/9) (7/9, 8/9) }

Verder in deze mode, waar

Sn+1 = Sn \ { midden gedeelte van subintervals van Sn }

Dan de Cantor set C is gedefinieerd als

C = Sn

De Cantor set geeft een indicatie van de ingewikkelde structuur van gesloten sets in de echte lijn. Het heeft de volgende eigenschappen:

voorbeeld 5.2.13: eigenschappen van de Cantor Set
  • tonen dat de Cantor-set compact is (d.w.z. gesloten en Begrensd)
  • tonen dat de Cantor-set perfect is (en dus ontelbaar)
  • laat zien dat de Cantor set lengte nul heeft, maar ontelbaar veel punten bevat.
  • laat zien dat de Cantor-verzameling geen open verzameling bevat

denk aan deze set. Het lijkt verrassend dat

  • een set van lengte nul ontelbaar veel punten kan bevatten.
  • een perfecte verzameling hoeft geen open verzameling

te bevatten daarom laat de Cantorverzameling zien dat gesloten deelverzamelingen van de reële lijn ingewikkelder kunnen zijn dan intuïtie op het eerste gezicht suggereert. Het wordt in feite vaak gebruikt om moeilijke, contra-intuïtieve objecten in de analyse te construeren.

Volgende / Vorige / Woordenlijst / Kaart

Geef een antwoord

Het e-mailadres wordt niet gepubliceerd.

Previous post GoodTherapy
Next post Caeleb Dressel eyes 20-seconden barrière in controversieel badpak