Hyppää sisältöön
    • Suomeksi
    • In English
  • Suomeksi
  • In English
  • Kirjaudu
Näytä aineisto 
  •   Etusivu
  • 1. Kirjat ja opinnäytteet
  • Pro gradu -tutkielmat ja diplomityöt sekä syventävien opintojen opinnäytetyöt (kokotekstit)
  • Näytä aineisto
  •   Etusivu
  • 1. Kirjat ja opinnäytteet
  • Pro gradu -tutkielmat ja diplomityöt sekä syventävien opintojen opinnäytetyöt (kokotekstit)
  • Näytä aineisto
JavaScript is disabled for your browser. Some features of this site may not work without it.

Matematiikan joukko-opillisia perusteita

Hämäläinen, Simo (2011-03-03)

Matematiikan joukko-opillisia perusteita

Hämäläinen, Simo
(03.03.2011)
Katso/Avaa
gradu2011hamalainen.pdf (547.8Kb)
Lataukset: 

Turun yliopisto
avoin
Näytä kaikki kuvailutiedot
Julkaisun pysyvä osoite on:
https://urn.fi/URN:NBN:fi-fe201103031297

Kuvaus

Siirretty Doriasta
Tiivistelmä
Tutkielman aiheena on joidenkin matematiikan peruskäsitteiden esittäminen joukkoopin keinoin. Muun muassa järjestetyt parit eli kahden komponentin vektorit ja luonnolliset luvut voidaan kohtalaisen yksinkertaisesti esittää pelkistettyinä joukkoina. Pelkistetyt joukot ovat joukkoja, joiden kaikki jäsenet, jäsenten jäsenet ja niin edespäin ovat joukkoja.

Määritelmät ja todistukset esitetään formalismin hengessä matemaattisella symbolikielellä. Tarkoitus on varmistua, että perustelut todella noudattavat tutkielman alussa asetettuja sääntöjä ja sopimuksia ja perustuvat tutkielmassa esitettyihin aksioomiin. Aksiomaattisen joukko-opin suhdetta intuitioon perustuvaan naiiviin joukkooppiin pyritään selvittämään perustelemalla syitä eri aksioomien asettamiselle.

Monen asetetun aksiooman tarkoitus on mahdollistaa uusien joukkojen muodostaminen tai toisin ilmaisten kertoa, minkälaisia joukkoja on olemassa. Tällaisia aksioomia asetettaessa on oltava varovainen, jottei teoria ajaudu ristiriitaan. Joukkoja on voitava määritellä esimerkiksi ominaisuuden perusteella, jonka täyttävät alkiot valitaan joukon jäseniksi. Siksi esitetään separaatioaksiooma, jonka muoto on niin kutsutun Russellin paradoksin vuoksi harkittava tarkoin.

Lopuksi tarkastellaan lyhyesti äärettömiä joukkoja ja joukkoina esitettyjen luonnollisten lukujen yhteenlaskua. Yksinkertaisuudestaan huolimatta äärettömyyden ja yhteenlaskun käsitteet osoittautuvat tämän tutkielman puitteissa liian hankaliksi, kun ne yritetään esittää täsmällisen formaalisesti.
Kokoelmat
  • Pro gradu -tutkielmat ja diplomityöt sekä syventävien opintojen opinnäytetyöt (kokotekstit) [9323]

Turun yliopiston kirjasto | Turun yliopisto
julkaisut@utu.fi | Tietosuoja | Saavutettavuusseloste
 

 

Tämä kokoelma

JulkaisuajatTekijätNimekkeetAsiasanatTiedekuntaLaitosOppiaineYhteisöt ja kokoelmat

Omat tiedot

Kirjaudu sisäänRekisteröidy

Turun yliopiston kirjasto | Turun yliopisto
julkaisut@utu.fi | Tietosuoja | Saavutettavuusseloste