Johdatus analyysiin hyödyntämällä rakenteisia päättelyketjuja
Mäkinen, Saara (2016-10-06)
Johdatus analyysiin hyödyntämällä rakenteisia päättelyketjuja
Mäkinen, Saara
(06.10.2016)
Tätä artikkelia/julkaisua ei ole tallennettu UTUPubiin. Julkaisun tiedoissa voi kuitenkin olla linkki toisaalle tallennettuun artikkeliin / julkaisuun.
Turun yliopisto
Kuvaus
Siirretty Doriasta
Tiivistelmä
Tutkielman aiheena on johdatus analyysiin. Tarkoituksena on rakentaa tarkan matemaattisen merkintätavan perustalle ymmärrettävä lähestymistapa analyysin perusteisiin ja niihin liittyviin matemaattisiin todistuksiin.
Aluksi perehdytään rakenteisten päättelyketjujen menetelmään, joiden avulla matemaattisten todistusten esitykseen voidaan tuoda tavallista enemmän selitystä ja informaatiota. Päättelyketjumenetelmä myös tuo ratkaisujen loogisen rakenteen paremmin esille, joka tukee matemaattisen tiedon luonteen hahmotusta. Menetelmän esittelyn jälkeen sitä käytetään erityyppisten laskujen ja todistusten esittämiseen.
Matemaattista päättelyä tukee tarkkojen merkintätapojen käyttö, joita hyödyn- netään myös päättelyketjumenetelmässä. Matemaattiseen päättelyyn kuuluu erilaiset todistusmenetelmät, eräänä tärkeimmistä induktioperiaate sekä erilaiset kvantifiointisäännöt.
Analyysin perusteet lähtevät reaalilukujen aksiomaattisesta määrittelystä ja niiden luonteen tutkimisesta. Reaalilukujen luonteesta päästään niihin liittyviin mielenkiintoisiin tuloksiin, kuten kolmioepäyhtälöön, summiin ja tuloihin, binomikaavaan sekä Bernoullin epäyhtälöön. Näihin tärkeisiin tuloksiin liittyy niiden todistukset helposti ymmärrettävässä, selittävässä muodossa.
Erilaisten kuvausten, erityisesti funktioiden ominaisuudet ovat oleellisessa osassa analyysin perusteissa. Funktioilla on monia tärkeitä ominaisuuksia, joista tässä yhteydessä tarkastellaan erilaisten funktioiden raja-arvoa ja jatkuvuutta.
Tutkielman sisältöä voi käyttää esimerkiksi lukion kurssimateriaalina, sillä mukana on runsaasti aiheisiin liittyviä harjoitustehtäviä ratkaisuineen.
Aluksi perehdytään rakenteisten päättelyketjujen menetelmään, joiden avulla matemaattisten todistusten esitykseen voidaan tuoda tavallista enemmän selitystä ja informaatiota. Päättelyketjumenetelmä myös tuo ratkaisujen loogisen rakenteen paremmin esille, joka tukee matemaattisen tiedon luonteen hahmotusta. Menetelmän esittelyn jälkeen sitä käytetään erityyppisten laskujen ja todistusten esittämiseen.
Matemaattista päättelyä tukee tarkkojen merkintätapojen käyttö, joita hyödyn- netään myös päättelyketjumenetelmässä. Matemaattiseen päättelyyn kuuluu erilaiset todistusmenetelmät, eräänä tärkeimmistä induktioperiaate sekä erilaiset kvantifiointisäännöt.
Analyysin perusteet lähtevät reaalilukujen aksiomaattisesta määrittelystä ja niiden luonteen tutkimisesta. Reaalilukujen luonteesta päästään niihin liittyviin mielenkiintoisiin tuloksiin, kuten kolmioepäyhtälöön, summiin ja tuloihin, binomikaavaan sekä Bernoullin epäyhtälöön. Näihin tärkeisiin tuloksiin liittyy niiden todistukset helposti ymmärrettävässä, selittävässä muodossa.
Erilaisten kuvausten, erityisesti funktioiden ominaisuudet ovat oleellisessa osassa analyysin perusteissa. Funktioilla on monia tärkeitä ominaisuuksia, joista tässä yhteydessä tarkastellaan erilaisten funktioiden raja-arvoa ja jatkuvuutta.
Tutkielman sisältöä voi käyttää esimerkiksi lukion kurssimateriaalina, sillä mukana on runsaasti aiheisiin liittyviä harjoitustehtäviä ratkaisuineen.