De digitale vraagbaak voor het wiskundeonderwijs

home |  vandaag |  gisteren |  bijzonder |  prikbord |  gastenboek |  wie is wie? |  contact

HOME

samengevat
vragen bekijken
een vraag stellen
hulpjes
zoeken
FAQ's
links
twitter
boeken
help

inloggen

colofon

  \require{AMSmath}

Wat is wÚl de juiste procedure?

Gegeven is een interval $I=[a,b]$ met $b$>$a$ en beide reŰel. Er geldt dat $f,g$ twee reŰel waardige functies continu zijn op dit interval. Bovendien geldt er $f(x)=g(x)$ voor alle $x \in [a,b] \cap$ $\mathbf{Q}$. Toon aan dat $f=g$, met behulp van een epsilon-delta bewijs.

Mijn poging:

Zij $\epsilon>0$. Laat $c$ een irrationaal getal zijn in het interval $[a,b]$. Dan kunnen we altijd een $\delta>0$ vinden zodanig dat er een rationaal getal $x$ is in $[a,b] \cap ]c-\delta, c+\delta$. Immers, $\mathbf{Q}$ is dicht in $\mathbf{R}$. Dus volgt dat $|f(x)-g(x)| = 0 < \epsilon$.

Echter is dit bewijs nog niet goed omdat ik een eis op $x$ leg, terwijl het voor alle $x$ in de doorsnede moet gelden. Wat is wÚl de juiste procedure?

Jan
Student universiteit - dinsdag 3 maart 2020

Antwoord

Je kwantoren staan helemaal verkeerd. Je doet verder ook niets met de $c$; het lijkt me dat je juist voor die (irrationale) $c$ wilt bewijzen dat $f(c)=g(c)$. Dan kan de conclusie dat $f(x)=g(x)$ nooit het eind van het bewijs zijn; wat zegt dat dan over $c$? En kies je die $\delta$ ook maar willekeurig? En waar gebruik je de continu´teit van $f$ en $g$?

Je begint met een irrationale $c$ en gaat bewijzen dat $f(c)=g(c)$. Dat kun je doen door voor elke positieve $\varepsilon$ te laten zien dat $|f(c)-g(c)|<\varepsilon$.
Neem dus $\varepsilon>0$ willekeurig. De continu´teit van $f$ en $g$ geeft je een positieve $\delta$ zˇ dat voor elke $x$ met $|x-c|<\delta$ geldt dat $f(x)-f(c)|<\varepsilon$ en $|g(x)-g(c)|<\varepsilon$.
Neem nu een rationale $x$ met $|x-c|<\delta$ en bewijs met behulp van die $x$ en de driehoeksongelijkheid dat $|f(c)-g(c)|<2\varepsilon$.

kphart
Vragen naar aanleiding van dit antwoord? Klik rechts..!
dinsdag 3 maart 2020



klein |  normaal |  groot

home |  vandaag |  bijzonder |  twitter |  gastenboek |  wie is wie? |  colofon

©2001-2020 WisFaq - versie IIb