Springen naar inhoud

Begrensd + gesloten = compact?


  • Log in om te kunnen reageren

#1

jordwillo

    jordwillo


  • 0 - 25 berichten
  • 9 berichten
  • Gebruiker

Geplaatst op 06 december 2010 - 16:34

dag iedereen,

zoals de titel toont heb ik moeite met de interpretatie van het begrip 'compact'. Heb al even wikipedia geraadpleegd maar daar vond ik niet echt een antwoord.

Ik zie deze begrippen in verband met verzamelingen in R^n

'gesloten' definiŽren ze in mijn cursus als : een verzameling is gesloten als ze naast alle inwendige ook alle randpunten bevat. Dit lijkt me vrij duidelijk.

'begrensd is gedefiniŽerd als : als er een r > 0 bestaat zodat voor elk punt a element van deze verzameling geldt dat |a|<r
een verzmaeling die zowel gesloten als begrensd is noemt men 'compact'.

Ik ga dus in de mist bij het begrip begrensd.....

iemand die een duidelijke uitleg heeft?

alvast bedankt

Jord

Dit forum kan gratis blijven vanwege banners als deze. Door te registeren zal de onderstaande banner overigens verdwijnen.

#2

TD

    TD


  • >5k berichten
  • 24049 berichten
  • VIP

Geplaatst op 06 december 2010 - 16:48

'begrensd is gedefiniŽerd als : als er een r > 0 bestaat zodat voor elk punt a element van deze verzameling geldt dat |a|<r

Is het deze definitie die je niet begrijpt? Ik vermoed dat |a| in je cursus wordt ingevoerd als de norm van a. Een verzameling heet dus begrensd indien alle punten (vectoren) uit die verzameling een norm hebben die onder een zeker vast reŽel getal blijft.

Bijvoorbeeld is deelverzameling van R≥ die bestaat uit alle punten binnen de bol met middelpunt in de oorsprong en straal 3, begrensd. Het zijn immers alle punten die voldoen aan x≤+y≤+z≤ < 9 en de norm van al deze punten is zeker kleiner dan 3.

Anderzijds is de deelverzameling van R≤ die bestaat uit alle punten die voldoen aan x > y, niet begrensd. Al deze punten vormen een halfvlak en je kan punten in dit halfvlak vinden met willekeurig grote norm (kies bv. y = 0 en x voldoende groot).
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

#3

jordwillo

    jordwillo


  • 0 - 25 berichten
  • 9 berichten
  • Gebruiker

Geplaatst op 07 december 2010 - 13:32

ok, dus begrensd wil zeggen da er een maximum grootte aan de vectoren wordt op gelegd, maar indien een verzameling gesloten is, dan is hij toch sowieso begrensd ook?

#4

Erik Leppen

    Erik Leppen


  • >250 berichten
  • 367 berichten
  • Ervaren gebruiker

Geplaatst op 07 december 2010 - 14:31

"begrensd" betekent gewoon wat je verwacht als je het woord ziet: verzameling A is begrensd als je er een schijf overheen kan leggen die de verzameling geheel overlapt.

indien een verzameling gesloten is, dan is hij toch sowieso begrensd ook?

Niet per se. Een verzameling A is gesloten als de rand van A tot A behoort. Oftewel, als elk randpunt in A zit. Dat zegt echter niets over wat er allemaal in die rand moet zitten. Het zegt alleen, als een punt in de rand zit, dan zit het ook in A zelf.

Je kan prima gesloten verzamelingen hebben die "oneindig ver weg reiken", bijvoorbeeld het gebied boven (en inclusief) de parabool y = x^2, oftewel alle punten (x, y) binnen R^2 met y >= x^2. Of Łberhaupt iedere verzameling van de vorm

LaTeX

voor een of andere functie f en een of andere constante C. De rand bevat punten waarvoor f(x) precies gelijk is aan C.

(hoe doe je ook weer vectornotatie in TeX?)

Om een flauw voorbeeld te geven, de verzameling R^n zelf is gesloten, want alle randpunten, namelijk geen enkele, zitten in R^n.

Veranderd door Erik Leppen, 07 december 2010 - 14:32


#5

TD

    TD


  • >5k berichten
  • 24049 berichten
  • VIP

Geplaatst op 07 december 2010 - 14:32

ok, dus begrensd wil zeggen da er een maximum grootte aan de vectoren wordt op gelegd, maar indien een verzameling gesloten is, dan is hij toch sowieso begrensd ook?

Nee, gesloten betekent niet noodzakelijk begrensd. De verzameling van reŽle getallen x ;) 1 is bijvoorbeeld gesloten, maar niet begrensd.

Edit: net te laat, blijkbaar.

(hoe doe je ook weer vectornotatie in TeX?)

Met \vec: LaTeX .
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

#6

Axioma91

    Axioma91


  • >250 berichten
  • 264 berichten
  • Ervaren gebruiker

Geplaatst op 02 januari 2011 - 20:11

Nog even een duidelijke definitie voor begrensd:
1) Een verzameling LaTeX is naar boven begrensd als er een LaTeX bestaat zo dat LaTeX voor alle LaTeX . Hierin is x een bovengrens voor V.
2) Een verzameling LaTeX is naar beneden begrensd als er een LaTeX bestaat zo dat LaTeX voor alle LaTeX . Hierin is x een ondergrens voor V.
- V is begrensd als V naar boven en naar beneden begrensd is.

#7

WernerP

    WernerP


  • >25 berichten
  • 42 berichten
  • Gebruiker

Geplaatst op 12 januari 2011 - 23:31

Vermits het over verzamelingen in LaTeX gaat:
Een verzameling LaTeX is begrensd als er een eindige straal en een middelpunt bestaat zodanig dat de figuur in de bol past:
LaTeX
Als de metriek van de ruimte zodanig is dat de driehoeksongelijkheid geldt, kan je bovendien bewijzen dat het middelpunt zonder verlies van algemeenheid de oorsprong kan zijn:
LaTeX





0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures