Perusjoukko (todennäköisyys)
Perusjoukko [1][2] eli otosavaruus [3][4] eli näyteavaruus [4] eli tapahtuma-avaruus [5] on todennäköisyyslaskennassa peruskäsite, joka tarkoittaa satunnaisilmiön kaikkien erilaisten alkeistapauksien joukkoa. Kun alkeistapausten sijaan käytetään satunnaismuuttujan arvoja, muodostuu perusjoukko satunnaismuuttujan arvojoukosta. Käsitteen yhteydessä käytetään joukko-opin merkintöjä ja ajattelua. Perusjoukkoa merkitään yleensä (lue "oomega") tai [1][3][5][6][7]
Tapahtuman yleisyyttä arvioitaessa tulee ensin selvittää, mitkä satunnaisilmiön alkeistapaukset toteuttavat tarkasteltavan tapahtuman. Sitten selvitetään, mitkä ovat yleensä mahdolliset alkeistapaukset ja niistä muodostetaan perusjoukko. Klassisen todennäköisyysajattelun mukaan tapahtuman joukon koko verrattuna perusjoukon kokoon, määrittää tapahtuman yleisyyden eli todennäköisyyden. Muissakin todennäköisyyden määritelmissä pyritään samantapaiseen ajatteluun.[1][3][5][6]
Perusjoukko voi olla diskreettinen tai jatkuva. Diskreettisessä perusjoukossa arvoja on äärellinen määrä tai korkeintaan numeroituvasti ääretön määrä. Diskreettinen perusjoukko on yksinkertainen, jos sillä on vain äärellinen määrä alkioita. Jatkuvat perusjoukot ovat ylinumeroituvasti äärettömän kokoisia.[3][6]
Esimerkkejä perusjoukoista
muokkaaDiskreettejä tapauksia
muokkaaDiskreettisissä satunnaisilmiöissä on mahdollista luetella kaikki alkeistapaukset, jos niiden lukumäärä on äärellinen. Jos lähtökohtana on arpomisvälineen tulokset, jotka toimittavat satunnaisilmön tehtävää, saadaan seuraavia perusjoukkoja (numeroinnilla # viitataan kohtaan myöhemmin):
- Kolikonheitto (#1):
- Nopanheitto (#2):
- Kortinnosto (#3):
Perusjoukon koko on näissä tapauksissa äärellinen. Arpomisvälineitä saattaa olla useita, jolloin alkeistapaukset saadaan kertomalla arpomisvälineen perusjoukot keskenään karteesina tulona. Tällöin alkeistapaus on kummankin arpomisvälineen tulosten :
- Kolme kolikkoa (lyhenteet): joista muodostuu alkeistapausta.
- Kaksi noppaa: joista muodostuu alkeistapausta.
Perusjoukon koko poikkeaa arpomisvälineen tuottamasta tuloksesta, mutta silti perusjoukon koko on äärellinen.
Joskus perusjoukko on diskreettinen, mutta sen koko on kuitenkin ääretön. Esimerkiksi pelissä, jossa heitetään kolikkoa kunnes saadaan kruuna, voi heittokertojen lukumäärä kohota suureksikin. Kruuna voi tulla heti, jolloin klaavoja ei ole ehtinyt tulla eli niiden lukumäärä on nolla. Toisinaan voi heti klaavan jälkeen tulee kruuna, jolloin klaavojen lukumäärä on yksi. Mikään ei estä klaavoja tulemasta kaksi, kolme, neljä ja niin edelleen kertaa, ennen kuin saadaan ensimmäinen kruuna. Satunnaisilmiön luonne onkin sellainen, että klaavoja voi periaatteessa tulla kuinka monta vain. Siksi klaavojen mahdollisia lukumääriä esittävä perusjoukko on (#4) Perusjoukon koko on silloin numeroituvasti ääretön.
Jatkuvia tapaukset
muokkaaJatkuvissa satunnaisilmiöissä alkeistapaukset ovat reaalilukuja. Näiden luetteleminen on mahdotonta, joten niiden ilmoittamisessa tulee käyttää erilaisia ymmärrettäviä tapoja. Yleensä käytetään sanallisia ilmaisutapoja tai esimerkiksi lukuvälejä.
- Tuotteen alkoholipitoisuus (100% = 1): tai yleisemmin vain
- Ihmisen pituus:
- Tikan osumakohdat tikkatauluun kun origo on napakympissä (#5).
Satunnaismuuttujan perusjoukko
muokkaa- Pääartikkeli: Satunnaismuuttuja
Satunnaismuuttujaksi kutsutaan sellaisia satunnais-ilmiöiden tuottamia arvoja, jotka ovat suoraan numeerisia. Alkeistapaukset voivat olla fyysisten arpomisvälineiden asentoja (kolikko, noppa), mutta niille voidaan "antaa" myös numeeriset arvot (nopan silmien luvut). Satunnaismuuttujan perusjoukko on kaikki sen saamat erilaisiet numeeriset arvot.[6][7]
Perusjoukot ja todennäköisyydet
muokkaaPerusjoukon koko
muokkaaKun perusjoukko on yksinkertainen, jos se on muodostunut diskreettisistä ja äärellisistä alkeistapauksista tai satunnaismuuttujan arvoista. Tällöin voidaan perusjoukon alkioiden lukumäärä laskea. Esimerkiksi perusjoukossa #1 se on kaksi, perusjoukossa #2 se on kuusi ja #3 se on 52. Äärettömän mutta numeroituvan perusjoukon koko on ääretön.[6][8][9]
Jatkuvat perusjoukot sisältävät ylinumeroituvan määrän alkeistapauksia tai arvoja. Perusjoukon koko olisi myös ääretön, etllei käytettäisi mittana muita tapoja. Lukuvälin pituus kelpaa koon suuruuden arvioksi. Samalla tavalla tikkataulun pinta-ala (#5) kelpaa todennäköisyyden määrityksen pohjaksi. Tapaa kutsutaan geometriseksi todennäköisyydeksi.[5][6][7]
Todennäköisyys
muokkaaJos diskreettiset alkeistapaukset ovat symmetrisiä, ovat niiden todennäköisyydet yhtä suuret ja siten ykkösen murto-osia. Yleistäen alkeistapauksilla voi olla eri esiintymistodennäköisyydet johtuen esimerkiksi arpomisvälineen epäsymmetriasta tai satunnaisilmiön erityisestä luonteesta. Samaa ajattelua voidaan soveltaa satunnaismuuttujien kohdalla. Vaikka arpomisväline olisikin symmetrinen, voi siitä johdettu satunnaismuuttuja olla epäsymmetrinen. Näin käy, kun satunnaismuuttujaksi valitaan kahden heiton summat.[6][7][8][9]
Jatkuvan perusjoukon osajoukkojen eli tapahtumien todennäköisyydet tulee määrittää todennäköisyysfunktion avulla. Diskreettisten tapahtumien eli perusjoukon minkä tahansa osajoukon todennäköisyys voidaan aina määrittää. On kuitenkin osoittautunut, että jatkuvien perusjoukon osajoukoille määritelmä on liian väljä. On nimittäin olemassa tapahtumajoukkoja, joille esimerkiksi additiivisuuden todennäköisyysaksiooma ei ole voimassa. Siksi tulee rajoittaa niiden tapahtumien lukumäärää, joille todennäköisyys määritetään. Parhaaksi menettelyksi on osoittautunut se, että otetaan käyttöön sigma-algebra, jolle todennäköisyydet määritetään.[10][11]
Katso myös
muokkaaLähteet
muokkaa- ↑ a b c Sottinen, Tommi: Todennäköisyysteoria, syksy 2006 (10 op, 5 ov) (luentomoniste), Helsingin Yliopisto, 2006
- ↑ Jyväskylän yliopisto: VI.2. Äärellinen todennäköisyyskenttä, 2008
- ↑ a b c d Kivelä, Simo K.: Todennäköisyyslaskennan peruskäsitteet, M niin kuin matematiikka, 10.8.2000
- ↑ a b Saarnisaari, Harri (Arkistoitu – Internet Archive): Todennäköisyys (Arkistoitu – Internet Archive) (luentomateriaalia), 2003
- ↑ a b c d Etälukio: Todennäköisyyden käsite (Arkistoitu – Internet Archive)
- ↑ a b c d e f g Alatupa, Sami et al.: Pitkä Sigma 6, s. 43−60. (lukion pitkän matematiikan oppikirja) Helsinki: Otava, 2010. ISBN 978-951-31-5343-4
- ↑ a b c d Kivelä, Simo K.: Stokastinen muuttuja, M niin kuin matematiikka, 10.8.2000
- ↑ a b Albert, Jim: Listing All Possible Outcomes (The Sample Space) (Arkistoitu – Internet Archive), 1996
- ↑ a b Kivelä, Simo K.: Diskreetit jakaumat, M niin kuin matematiikka, 10.8.2000
- ↑ Ruskeapää, Heikki: Todennäköisyyslaskenta I(luentomoniste), Turun Yliopisto, 2012
- ↑ Weisstein, Eric W.: Sigma-Algebra (Math World – A Wolfram Web Resource) Wolfram Research. (englanniksi)