Määrittelyjoukko

Määrittelyjoukko on matematiikassa nimitys funktion arvojen laskemisessa käytettävästä lukujoukosta. 

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.

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.

Esimerkkejä

Suurin mahdollinen määrittelyjoukko voidaan päätellä funktion ominaisuuksista.

Neliöjuurifunktiota  ei ole määritelty negatiivisille luvuille. Siksi neliöjuurifunktion määrittelyjoukko muodostetaan poistamalla reaaliluvuista negatiiviset luvut. Määrittelyjoukkoon jää silloin luvut  ja kuvaus voidaan esittää
.

Käänteislukufunktio  voidaan laskea kaikilla reaaliluvuilla paitsi nollalla. Määrittelyjoukko saadaan silloin reaalilukujoukosta poistamalla siitä luku 0. Kuvaus voidaan silloin esittää

Tangenttifunktio on määritelty kaikilla reaaliluvuilla (kulmilla) paitsi :n \pi:n monikerroilla. Sallitut luvut ovat ne, jotka toteuttavat epäyhtälön

Lähteet
 Wolfram Mathworld: Domain
 PurpleMath: Domain and Range

Viitteet

Kirjallisuutta
 
 

Joukko-oppi