Jordan
YaBB Newbies
Poissa
I Love YaBB 2!
Viestejä: 16
|
Hei.
Tuossa on parissa kohtaa pieniä vihreitä tai epäselvyyksiä.
1. Jotta määrittelemäsi e olisi olemassa, sinun täytyy todeta, että joukko A on epätyhjä. Tämä on kuitenkin selvää sen nojalla, että d_0 on joukon A alkio. Kuitenkin tämä on sellainen pieni asia, joka on mainittava, jos tehtävän haluaa tehdä täsmällisesti. En tiedä mitä varten ja millä taustatiedoilla olet tehtävää tekemässä, mutta periaatteessa luvun d_0 olemassaolon todistaminen pitäisi tehdä jatkuvuuden määritelmän avulla. Tämä on ihan perustulos, mikä on melko helppo näyttää, mutta en tiedä onko sitä näytetty esimerkiksi lukion oppikirjoissa.
2. Kappaleen, joka alkaa 'Osoitetaan, että funktio f on positiivinen välillä ]e,c] ...', loppu on hieman epäselvä. Vaikuttaa siltä, että käytät lukua e kahteen eri tarkoitukseen. Tehtävänä on todistaa, että f on positiivinen väillä ]e,c], mutta lopussa sanot, että x_0 kuuluu sellaiselle välille ]e,c] jolla f on positiivinen. Tämän voi korjata seuraavasti. Päättelit jo, että on olemassa A:n alkio x, jolle x<x_0, mutta koska x on A:n alkio, niin f(y)>0 kaikilla y, jotka ovat välillä x<y<= c (tämä on vain joukon A määritelmä). Mutta x_0>x, joten välttämättä f(x_0)>0.
3. Seuraavassa kappaleessa sanot, että 'Koska funktio f on derivoituva, niin voimme päätellä, että f(x)->f(e), kun x->e oikealta.' Derivoituvuudella ei ole suoranaisesti mitään tekemistä tämän kanssa. Jatkuvuus on ainoa, mitä tähän tarvitaan. Mielestäni riittävä päättely olisi f(x)>0 kun x>e, joten f(e)=lim_{x->e+} f(x)>=0. Tämä päättely, että jos funktio on positiivinen, niin sen raja-arvo ei voi olla negatiivinen on hirveän luonnollinen asia, mutta sitä on tuskin todistettu täsmällisesti lukiossa, ja todistaminen pitäisi tehdä raja-arvon määritelmän nojalla.
4. Haluat näyttää, että f(e)=0. Tämän vastaoletus ei ole f(e)>0 tai e>a. Tuo tai-väittämä on ylimääräinen. Olet jo käsitellyt tapauksen e=a, joten voit tämän jälkeen huoletta olettaa, että e>a ja käsitellä vain tätä tapausta. Päättely olisi selkeämpää, jos lähtisit tässä liikkeelle siitä, että f(e)>0 ilman, että ryhdyt puhumana x:stä tai e-r:stä. Päättely voisi olla seuraavan kaltaista: Oletetaan, että e>a ja tehdään vastaoletus - f(e)>0. Jatkuvuuden nojalla (sama päättely kuin tehtävän alussa) siitä, että f(e)>0 seuraa, että on olemassa luku r>0, jolle f(x)>0 kun e-r<x<=e. Tämähän tarkoittaa, että e-r on joukon A alkio, mutta e-r<e, mikä on ristiriita sen kanssa, että e=Inf A. Toki asia kannattaa kirjoittaa niin kuin itse ymmärrät sen parhaiten. Mielestäni tuo vain on lyhin ja selkein tapa päätellä kyseinen asia.
Muutoin en huomannut mitään kommentoitavaa. Muistutan vain, että tämä on yksi tapa tehdä asia. Voi olla, että on muita helpompiakin tapoja. Tämä oli ensimmäinen, mikä minulla tuli mieleen.
|