Springen naar inhoud

Open En Gesloten Bollen


  • Log in om te kunnen reageren

#1

Saraatje

    Saraatje


  • >25 berichten
  • 49 berichten
  • Ervaren gebruiker

Geplaatst op 14 maart 2007 - 19:35

Ik kom niet uit het volgende:
We hebben de functie
LaTeX
Deze definieert een norm op R^2 (is dat makkelijk aan te tonen??)
De bijbehorende afstand wordt genoteerd met d_1. Deze metriek definieert de bol met middelpunt a uit R^2 en straal r>0 (notatie B_1(a;r)).
Geef open bol B_1(0;1) met middelpunt (0,0) en straal 1 en bewijs dat voor iedere a uit R^2 en iedere epsilon>0 de bol B_1(a;epsilon) open is t.a.v. de Euclidische metriek.

Iemand enig idee hoe ik dit kan doen?

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 14 maart 2007 - 19:53

Ik kom niet uit het volgende:
We hebben de functie
LaTeX


Deze definieert een norm op R^2 (is dat makkelijk aan te tonen??)

Je moet aantonen dat de norm niet negatief is (voldaan door absolute waarden) en enkel 0 als de vector zelf de nulvector is (ook triviaal). Bovendien moet een de norm van een vector vermenigvuldigd met een scalair gelijk zijn aan de norm van de vector, vermenigvuldigd met de absolute waarde van het scalair, ook voldaan (absolute waarden). Dan rest er nog de driehoeksongelijkheid.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

#3

Saraatje

    Saraatje


  • >25 berichten
  • 49 berichten
  • Ervaren gebruiker

Geplaatst op 14 maart 2007 - 20:21

Ok thanks! Ik snap alleen toch niet wat dat te maken heeft met de bol?

Oh, ok, even over de quote heen gelezen :)

Trouwens, als het een open bol betreft t.a.v. Euclidische metriek, betekent dat het dan ook een open bol betreft t.a.v. metriek d_1?

Veranderd door Saraatje, 14 maart 2007 - 20:22


#4

TD

    TD


  • >5k berichten
  • 24049 berichten
  • VIP

Geplaatst op 14 maart 2007 - 20:22

Het is me niet duidelijk wat er bedoeld wordt met "open is t.a.v. de Euclidische metriek".
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

#5

Saraatje

    Saraatje


  • >25 berichten
  • 49 berichten
  • Ervaren gebruiker

Geplaatst op 14 maart 2007 - 20:37

Voor zover ik begrepen heb:
Een verzameling is open <=> de verzameling = het inwendige van deze verzameling.
En verder, als de verzameling een metriek is, dan is de bol B(0;1) open in deze verzameling. Volgens mij kun je met het bewijs van de norm-definitie laten zien dat de ruimte een metriek betreft en dan is de gegeven bol automatisch open (is een lemma). Maar dat weet ik niet zeker.

#6

*_gast_PeterPan_*

  • Gast

Geplaatst op 14 maart 2007 - 20:42

Het is me niet duidelijk wat er bedoeld wordt met "open is t.a.v. de Euclidische metriek".

Hij zal de norm-1 metriek bedoelen.
Kies LaTeX
De Euclidische afstand tussen x en a is (gebruik Pythagoras), zeg c.
Bekijk nu de bol LaTeX en toon aan dat deze bol in LaTeX ligt,
dus dat het volgende geldt: Als
LaTeX dan is LaTeX

#7

Saraatje

    Saraatje


  • >25 berichten
  • 49 berichten
  • Ervaren gebruiker

Geplaatst op 14 maart 2007 - 20:52

Klopt het trouwens dat de bol ook vierkant kan zijn? Of zeg ik nu hele gekke dingen...

#8

TD

    TD


  • >5k berichten
  • 24049 berichten
  • VIP

Geplaatst op 14 maart 2007 - 20:55

Klinkt gek, maar zie hier.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

#9

Saraatje

    Saraatje


  • >25 berichten
  • 49 berichten
  • Ervaren gebruiker

Geplaatst op 14 maart 2007 - 20:59

hmm, interessant dat het klopt!
Maar dan snap ik nog steeds niet hoe je openheid bewijst t.a.v. een metriek...

#10

Saraatje

    Saraatje


  • >25 berichten
  • 49 berichten
  • Ervaren gebruiker

Geplaatst op 14 maart 2007 - 21:07

Maar dan snap ik nog steeds niet hoe je openheid bewijst t.a.v. een metriek...

Dus R^2 is een metrische ruimte met metriek d_1 en d_1 is een Euclidische afstand. Dan is de bol B_1(0;1) open in R^2 (dit laatste komt uit een lemma). Maar er schijnen twee verschillende bewijzen te zijn voor de Euclidische metriek en metriek d_1, maar ik dacht dat deze dezelfde metriek waren?

#11

*_gast_PeterPan_*

  • Gast

Geplaatst op 15 maart 2007 - 09:31

Het woord Euclidisch slaat op de gebruikelijke manier van afstand meten, dus met formules als LaTeX
Je moet bewijzen dat een bol open is.
Noem de bol LaTeX
Dan moet je laten zien dat er voor elke LaTeX er een bolletje om LaTeX bestaat, dat helemaal binnen LaTeX ligt.
Jouw bollen zijn door hun metriek in feite vierkanten.
Dus in dit geval moet je laten zien dat voor elk punt LaTeX (In dit geval is X dus een vierkantje), er een bolletje (in dit geval is dat een vierkantje) om LaTeX bestaat dat geheel binnen X ligt. (Dus klein vierkanje binnen groot vierkant).





0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures