Springen naar inhoud

discrete metric ruimte



  • Log in om te kunnen reageren

#1

lucca

    lucca


  • >250 berichten
  • 758 berichten
  • Ervaren gebruiker

Geplaatst op 16 oktober 2012 - 10:56

Veronderstel een discrete metric ruimte X (dus x=y dan d(x,y) =0) en anders d(x,y = 1) Ik wilde mij afvragen of deze ruimte X completeness afdwingt.

Een set is çompleteness (sorry dat ik de NL vertaling niet zo snel weet, en compleetheid klinkt vreemd), als elke cauchy rij convergeert naar een waarde in X.

maar, cauchy rij is gedefineerd met voor alle epsilon is er een n_e zodanig dat voor alle n,m groter dan deze n_e geldt dat : | xn - xm | < e,

we weten dat d(x,y) = 1 voor alle x niet gelijk aan y, maar dan blijft |xn - xm| ook altijd 1, gegeven dat xn niet gelijk is aan xm. Maar dan voldoet het criterium van cauchy rij niet. dus dan is er ook geen cauchy rij. Maar dat betekent dan weer niet dat het niet completeness is, want deze zegt, alle cauchy rijen convergeren naar waarde in X. We hebben geen cauchy rij, dus er convergeert er ook geen een naar een waarde in X. Toch completeness dan?

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

#2

JorisL

    JorisL


  • >250 berichten
  • 555 berichten
  • Ervaren gebruiker

Geplaatst op 16 oktober 2012 - 18:40

Ik heb even gezocht. Het was namelijk al even geleden dat ik hier nog mee bezig ben geweest.

Jij probeert te bewijzen dat er geen Cauchy rijen bestaan.

Maar neem een Cauchyrij. Uit de definitie volgt dat
LaTeX

Maar we hebben een discrete metriek. Dus is de afstand tussen de waardes 0 of 1.

We beschouwen een Cauchy-rij dus moet vanaf een zeker N gelden dat voor al de grotere getallen de rij constant wordt.

Kan je deze redenering volgen? Kun je dan ook verder?

Jij wilt trouwens bewijzen dat een verzameling compleet is.

#3

lucca

    lucca


  • >250 berichten
  • 758 berichten
  • Ervaren gebruiker

Geplaatst op 16 oktober 2012 - 21:03

ja zo'n rij bestaat, namelijk de rij {1,1,1,1,1,1,1....} de afstand is dan 0, dus dan voldoet elke epsilon. maar voor elke andere rij waarvoor de termen niet constant is voldoet het niet (toch?)

#4

JorisL

    JorisL


  • >250 berichten
  • 555 berichten
  • Ervaren gebruiker

Geplaatst op 18 oktober 2012 - 14:56

Je kan uit de definitie van de Cauchy rij vinden dat elke cauchy rij vanaf een bepaalde N een constante rij zal worden. Anders heb je geen Cauchy rij in deze ruimte.

Zij dus LaTeX een Cauchy rij. En kies een willekeurige LaTeX
Waarbij voor de elementen LaTeX geldt dat LaTeX . Hier geldt de definitie dus niet wegens de discrete metriek.

Maar vanaf N wordt er wel aan voldaan. Dan volgt daaruit dat LaTeX

Hieruit volgt dan dat voor elke cauchy rij (die dus moet voldoen aan de definitie) de staart van de rij constant is. Dus convergeert naar een element van je ruimte.

Ik hoop dat je de uitleg kan volgen.






Also tagged with one or more of these keywords: wiskunde

0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures