Springen naar inhoud

Continu of niet continu....


  • Log in om te kunnen reageren

#1

kotje

    kotje


  • >1k berichten
  • 3330 berichten
  • Verbannen

Geplaatst op 09 februari 2008 - 23:06

Zij volgende functie f(x)=0 als x rationaal is en 1 als x irrationaal is. Is ze continu of discontinu in R of ....
Volgens mijn verstand kan er niets bestaan en toch bestaat dit alles?

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

#2

TD

    TD


  • >5k berichten
  • 24052 berichten
  • VIP

Geplaatst op 09 februari 2008 - 23:16

Overal discontinu: tussen twee rationale getallen bevinden zich oneindig veel irrationale getallen en omgekeerd.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

#3

kotje

    kotje


  • >1k berichten
  • 3330 berichten
  • Verbannen

Geplaatst op 10 februari 2008 - 08:03

Als ik de definitie toepas ben ik meer geneigd te zeggen dat ze discontinu is in de rationale punten en continu in de irrationale punten. M.a.w. zij is discontinu en continu in geisoleerde punten (continuiteitsaxioma).
Volgens mijn verstand kan er niets bestaan en toch bestaat dit alles?

#4

The Black Mathematician

    The Black Mathematician


  • >100 berichten
  • 150 berichten
  • Ervaren gebruiker

Geplaatst op 10 februari 2008 - 10:42

Het probleem is dat als p een irrationeel punt is, je nooit een omgeving van p kan vinden die uit louter irrationele punten bestaat, zoals TD ook al zei. Dit omdat de rationele getallen dicht liggen in de reŽle getallen. Met behulp van de topologische definitie is het het gemakkelijkst aan te tonen dat f ook in p irrationeel is. In de topologie heet een functie f:X->Y continu in een punt x indien er voor elke open omgeving V van f(x) er een open omgeving U van x is zodat LaTeX , oftewel dat f(U) een deelverzameling van V is. (Let op het cursieve "voor elke").
Dit is de meest algemene definitie voor continuiteit in een punt. Alle andere definities zijn hier uit af te leiden.

Laten we dit toepassen op ons irrationele punt p.
f(p)=1, want p is irrationeel. Neem nu een open interval V rondom 1, zodat V het getal 0 niet bevat. Bijvoorbeeld neem V=(0,2). Nu elk open interval U dat p bevat, bevat ook een rationeel punt. Derhalve LaTeX en omdat 0 niet in V zit hebben we dus niet dat f(U) een deelverzameling van V is.

Omdat we dus een omgeving V van f(p) hebben gevonden waarvoor geldt dat er geen enkele omgeving U van p binnen V afgebeeld wordt, is f discontinu in p.

Zie voor de formele definitie van topologische continuÔteit in een punt deze link.

Veranderd door The Black Mathematician, 10 februari 2008 - 10:47


#5

TD

    TD


  • >5k berichten
  • 24052 berichten
  • VIP

Geplaatst op 10 februari 2008 - 11:01

Met behulp van de topologische definitie is het het gemakkelijkst aan te tonen dat f ook in p irrationeel is.

Je bedoelt hier natuurlijk dat f in p (met p irrationaal), discontinu is.

Als je het graag met een epsilon-delta argument ziet (zoals The Black Mathematician al zei, dit is equivalent met de topologische definitie die hij gaf), neem x = p irrationaal, dan is f(p) = 1. Het volstaat epsilon < 1 te nemen (bijvoorbeeld 1/2). Omdat de rationale getallen dicht zijn in pi.gif, vind je voor elke delta > 0 wel een rationaal getal in die delta-omgeving van p, waarvoor de functiewaarde (die 0 is) meer dan epsilon verschilt van 1.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

#6

kotje

    kotje


  • >1k berichten
  • 3330 berichten
  • Verbannen

Geplaatst op 10 februari 2008 - 11:16

The Black Math... schreef:

Het probleem is dat als p een irrationeel punt is, je nooit een omgeving van p kan vinden die uit louter irrationele punten bestaat,

We weten dat volgens het continuiteitsaxioma de rationale getallen de rechte niet volledig opvult, dus tussen twee opeenvolgende rationale getallen is er vrije ruimte, die opgevuld wordt door irrationale getallen. Nemen we nu een irrationeel getal p gelegen tussen 2 opeenvolgende rationale getallen, dan zijn er oneindig veel omgevingen rond p te vinden die alleen irrationele getallen bevatten.
Volgens mijn verstand kan er niets bestaan en toch bestaat dit alles?

#7

TD

    TD


  • >5k berichten
  • 24052 berichten
  • VIP

Geplaatst op 10 februari 2008 - 11:18

Het probleem met je redenering is: er zijn geen twee opeenvolgende rationale getallen.
Stel dat die er zijn en noem ze a en b, dan is (a+b)/2 ook rationaal en ertussen gelegen.

Ook de irrationale getallen 'vullen de reŽle rechte' niet helemaal op, de rationale ontbreken.
Tussen twee irrationale getallen, zit ook altijd een rationaal getal (oneindig veel zelfs).
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

#8

The Black Mathematician

    The Black Mathematician


  • >100 berichten
  • 150 berichten
  • Ervaren gebruiker

Geplaatst op 10 februari 2008 - 11:33

Je bedoelt hier natuurlijk dat f in p (met p irrationaal), discontinu is.
[...]

Ja, sorry.

#9

kotje

    kotje


  • >1k berichten
  • 3330 berichten
  • Verbannen

Geplaatst op 10 februari 2008 - 11:37

TD schreef:

Het probleem met je redenering is: er zijn geen twee opeenvolgende rationale getallen.
Stel dat die er zijn en noem ze a en b, dan is (a+b)/2 ook rationaal en ertussen gelegen.

Hier is op het eerste zicht weinig tegen in te brengen.
Maar de rationale getallen zijn aftelbaar, dan zouden er dus geen twee opeenvolgende natuurlijke getallen zijn. Wat doet ge hiermee?
Volgens mijn verstand kan er niets bestaan en toch bestaat dit alles?

#10

TD

    TD


  • >5k berichten
  • 24052 berichten
  • VIP

Geplaatst op 10 februari 2008 - 11:38

Waarom zouden er geen opeenvolgende natuurlijke getallen kunnen zijn? Deze redenering gaat ook niet op: het is niet omdat twee verzamelingen dezelfde kardinaliteit hebben (zoals de natuurlijke getallen en de rationale getallen), dat ze ook dezelfde eigenschappen hebben! Zo zijn de natuurlijke getallen bijvoorbeeld niet dicht in pi.gif, en dat is net essentieel voor dit probleem.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

#11

kotje

    kotje


  • >1k berichten
  • 3330 berichten
  • Verbannen

Geplaatst op 10 februari 2008 - 11:48

Begrijp ik niet. Is LaTeX dicht in LaTeX ?
Volgens mijn verstand kan er niets bestaan en toch bestaat dit alles?

#12

TD

    TD


  • >5k berichten
  • 24052 berichten
  • VIP

Geplaatst op 10 februari 2008 - 11:51

Ja, dat is wat The Black Mathematician ook al in z'n eerste bericht schreef. Zie ook hier.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

#13

kotje

    kotje


  • >1k berichten
  • 3330 berichten
  • Verbannen

Geplaatst op 10 februari 2008 - 19:27

Ik meen de topologische definitie van continuiteit te begrijpen. Met de definitie van 'dense set' heb ik wat meer moeilijkheden.
Maar toch vraag ik mij af wat er mis is aan volgende redenering:
LaTeX hebben hetzelfde cardinaalgetal d.w.z. men kan tussen beide een bijectie leggen. Door het feit dat er twee opeenvolgende natuurlijke getallen zijn; zijn er dus twee opeenvolgende rationale getallen en geldt dus de redenering, die ik vroeger al heb gedaan.
Op jouw redenering dat het gemiddelde een rationaal getal is dat tussen de twee eerst gekozen opeenvolgende liggen, kan ik zeggen dat ik nu terug twee nieuwe opeenvolgende heb enz. We weten dat het oneindig kleine een eigenaardig beest is.
Volgens mijn verstand kan er niets bestaan en toch bestaat dit alles?

#14

TD

    TD


  • >5k berichten
  • 24052 berichten
  • VIP

Geplaatst op 10 februari 2008 - 20:35

Maar toch vraag ik mij af wat er mis is aan volgende redenering:
LaTeX

hebben hetzelfde cardinaalgetal d.w.z. men kan tussen beide een bijectie leggen.

Dit klopt nog: je kan de rationale getallen dus inderdaad in een aftelbaar rijtje schrijven.

Door het feit dat er twee opeenvolgende natuurlijke getallen zijn; zijn er dus twee opeenvolgende rationale getallen

Dit klopt in die zin dat in die rij van de rationale getallen, een volgorde zit. Maar dan zeg je:

en geldt dus de redenering, die ik vroeger al heb gedaan.

En dat klopt niet. De rij van rationale getallen die je kan maken, is geen (strikt) stijgende rij zoals de natuurlijke getallen 1,2,3,... Met andere woorden: voor twee "opeenvolgende rationale getallen" (in de zin dat ze na elkaar volgen in een zekere rij waar je de rationale getallen mee voorstelt) geldt niet dat de volgende steeds groter is dan de vorige. Voor een gegeven rationaal getal, bestaat er geen "volgend rationaal getal" in de zin zoals bij de natuurlijke getallen.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

#15

kotje

    kotje


  • >1k berichten
  • 3330 berichten
  • Verbannen

Geplaatst op 10 februari 2008 - 21:28

De rij van rationale getallen die je kan maken, is geen (strikt) stijgende rij zoals de natuurlijke getallen 1,2,3,... Met andere woorden: voor twee "opeenvolgende rationale getallen" (in de zin dat ze na elkaar volgen in een zekere rij waar je de rationale getallen mee voorstelt) geldt niet dat de volgende steeds groter is dan de vorige. Voor een gegeven rationaal getal, bestaat er geen "volgend rationaal getal" in de zin zoals bij de natuurlijke getallen.

Men kan de rationale getallen niet opschrijven van klein naar groot, omdat men het volgend rationaal getal van een rationaal getal niet kent; dit wil natuurlijk niet zeggen dat het niet bestaat. Het moet trouwens bestaan want als men in de gelegde bijectie een bepaald natuurlijk getal laat corresponderen met een bepaald rationaal getal dan laat ik het volgend natuurlijk getal corresponderen met het juist daaropvolgend rationaal getal, dat wel ietsje groter moet zijn want anders kan men de rij van de rationale getallen niet doorlopen.
Volgens mijn verstand kan er niets bestaan en toch bestaat dit alles?





0 gebruiker(s) lezen dit onderwerp

0 leden, 0 bezoekers, 0 anonieme gebruikers

Ook adverteren op onze website? Lees hier meer!

Gesponsorde vacatures

Vacatures