Määrittelyjoukko
From Wikipedia, the free encyclopedia
Määrittelyjoukko on matematiikassa nimitys funktion arvojen laskemisessa käytettävästä lukujoukosta. [1]
Funktio on kuvaus lukujoukosta X joukkoon Y, mikä merkitään usein f: X → Y. Tässä joukko X on lähtöjoukko ja Y maalijoukko. Lähtöjoukon luvut x ovat kuvauksessa funktion lausekkeen argumentteja eli ne sijoitetaan lausekkeen muuttujan paikalle. Sijoitetun lausekkeen laskettu arvo y, jota kutsutaan myös funktion arvoksi, on maalijoukon luku. Tällöin merkitään f(x) = y .
Annettu lähtöjoukko voi olla funktiolle liian suuri eli se voi sisältää lukuja, joilla ei haluta tai joilla ei voi laskea funktion lausekkeelle arvoa. Tällöin karsitaan lähtöjoukosta pois nämä luvut niin, että jäljelle jää vain halutut tai sallitut luvut. Tätä joukkoa kutsutaan määrittelyjoukoksi.
Vaikka funktion yleisen määritelmän mukaan lähtöjoukon ei tarvitse olla lukujoukko, vaan se voi koostua vaikkapa ihmisten nimistä tai kolikonheiton tuloksista, ajatellaan tässä alkioita lukuina.[2]
Laajin määrittelyjoukko sisältää kaikki ne lähtöjoukon luvut, joilla funktio voidaan laskea. Joskus määrittelyjoukkoon jätetään vain sellaisia lukuja, joita yksittäisessä tilanteessa tarvitaan. Määrittelyjoukko on tällöin osajoukko laajimmasta määrittelyjoukosta. Funktion määrittelyjoukko voi siten vaihdella tilanteen mukaan.
Luonnollinen määrittelyjoukko koostuu sellaisista luvuista, jotka sopivat funktion luonteeseen. Jos funktio määrittelee nopan heittojen lukumäärän perusteella onnistumisen todennäköisyyden, on luonnollista käyttää argumenttina (heittojen lukumäärä) vain positiivisia kokonaislukuja eikä reaalilukuja.