Todennäköisyysavaruudet

Venn-diagrammi on hyödyllinen työväline, kun haluamme havainnollistaa eri joukkojen tai käsitteiden välisiä suhteita. Sen ja joukko-opin perusteiden avulla toden­näköisyys­laskentaa on helpompi hahmottaa. (ks. https://fi.wikipedia.org/wiki/Venn-diagrammi) Tässä teoriaosiossa esitellään muutamia joukko-operaatioita, joita käytetään Venn-diagrammin kuvauksissa.

Venn-diagrammi

Venn-diagrammi on hyödyllinen työväline, kun haluamme havainnollistaa eri joukkojen tai käsitteiden välisiä suhteita. Sen ja joukko-opin perusteiden avulla toden­näköisyys­laskentaa on helpompi hahmottaa. (ks. https://fi.wikipedia.org/wiki/Venn-diagrammi) Esimerkiksi yllä olevassa diagrammissa on esitetty alkiot {a, b, c, d}, jotka tässä tapauksessa muodostavat koko joukon E = {a, b, c, d}. Jos joukko A = {a, c}, niin voimme sanoa, että osajoukko  . ( Joukko  sisältyy joukkoon  .)

Seuraavissa teorialaatikoissa on esitetty muutamia merkintöjä, miten eri lukujoukkojen välisiä suhteita voidaan merkitä.

Sisältyy joukkoon:

Esimerkiksi oheisessa diagrammissa on esitetty alkiot {a, b, c, d}, jotka tässä tapauksessa muodostavat koko joukon E = {a, b, c, d}. Jos joukko A = {a, c}, niin voimme sanoa, että osajoukko  . ( Joukko  sisältyy joukkoon  .)

Yhdiste eli unioni U:

Yhdiste eli unionijoukkoon kuuluvat kaikki perusjoukon alkiot,

jotka kuuluvat joko joukkoon  tai  ja ovat täten tämän unionin alkioita.

Tässä kuvassa unioni on väritetyllä alueella.

   

 

Leikkaus:

Leikkausjoukkoon kuuluvat kaikki perusjoukon  alkiot, jotka kuuluvat joukkoon  (sininen vaakaviivoitus) ja  (punainen pystyviivoitus) ovat tämän leikkausjoukon alkioita. Tässä kuvassa leikkaus on ruudullisella violetiksi väritetyllä alueella

    

Poislukien joukosta: 

Poislukien joukosta ovat kaikki perusjoukon  alkiot, jotka kuuluvat joukkoon  mutta eivät joukkoon . Poislukien joukko on tässä kuvassa on siniseksi väritetyllä alueella.

Komplementti:

 ,  komplementti.

Siis kaikki joukon E alkiot jotka ovat alueen A ulkopuolella ovat A:n komplementteja.

Kuvassa A:n komplementti on valkoisella alueella.

 

Venn-diagrammilla voidaan helposti kuvata haluttua osaa koko joukosta.

 

Esimerkki 1: Venn-diagrammin käyttö

Laske  ja A \ B, kun E = 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 , A =  2, 4, 6, 8, 10 ja B = 4, 8. Piirrä tilannetta luonnehtiva kuva.

Ratkaisu:

A \ B = 2, 6, 10

 

Edellisessä esimerkissä havaittiin, että joukossa oli yhteensä kaksi yhteistä alkiota. On äärimmäisen tärkeä hahmottaa tilanne, että samoja alkioita ei lasketa kahteen kertaan.

Summaperiaate:

Jos joukoilla  ja  on yhteisiä alkioita,

eli niiden leikkausjoukko   .

Nyt alkioiden  tai  lukumäärä lasketaan:

Jos joukoilla  ja  ei ole yhteisiä alkioita,

eli  , niin

N on lyhenne sanasta Number (Numero).

Summaperiaatetta voidaan hyödyntää todennäköisyysavaruuksien hahmottamisessa. On tunnettua, että kuudella jaolliset luvut ovat jaollisia sekä luvulla 2 että 3.

 

Esimerkki 2: Positiiviset kahdella tai kolmella jaolliset kaksinumeroiset luvut

Lasketaan kahdella tai kolmella jaollisten positiivisten kaksinumeroisten kokonaislukujen määrä.

Ratkaisu:

Hahmotetaan tilanne:

Olkoon 2:lla jaollisia ovat luvut A = {10, 12, 14, 16, …, 96, 98}

Olkoon 3:lla jaollisia ovat luvut B = {12, 15, 18, …, 96, 99}

Olkoon 6:lla jaollisia luvut {12, 18, …, 90, 96}

Kaksinumeroisia kahdella jaollisia positiivisia kokonaislukuja on seuraavasti:

  • Olkoon  ja 
  • Kun , niin 
  •  , josta 

Kaksinumeroisia kolmella jaollisia positiivisia kokonaislukuja on seuraavasti: Olkoon  ja 

  • Kun  , niin 

  •  , josta 

Kaksinumeroisia kuudella jaollisia positiivisia kokonaislukuja on seuraavasti: Olkoon  ja 

  • Kun  , niin 

  •  , josta 

Yhteenveto:

  •  tai 

Vastaus: Kahdella tai kolmella jaollisia positiivisia kaksinumeroisia kokonaislukuja on siis 60.

 

Esimerkissä 2 käytettiin aritmeettisen lukujonon ominaisuuksia. Alla olevassa teoriassa on lyhyt kertaus MAY1-kurssilta, jossa opeteltiin lukujonoja.

Aritmeettinen lukujono: Lukujono  on aritmeettinen, jos  . Siis, jos lukujonon kahden peräkkäisen termin välinen erotus eli differenssi  on vakio, niin lukujono on aritmeettinen.

Aritmeettisen lukujonon yleisen termi määritellään seuraavasti:

 , missä 

 

Esimerkki 3: Positiiviset kahdella tai kolmella jaolliset kaksinumeroiset luvut (LO)

Määritä kahdella tai kolmella jaollisten positiivisten kaksinumeroisten kokonaislukujen määrä LibreOfficen Calcissa.

Ratkaisu:

Libre Officen Calc:ssa käytetään funktioita JAKOJ, LASKE.A ja LASKE.JOS

Aukaise Aloitustietosto LibreOfficen Calcissa

 

Siis  tai 

Vastaus: Kahdella tai kolmella jaollisia positiivisia kaksinumeroisia kokonaislukuja on siis 60.

Voit halutessasi tutkia myös ratkaisutiedostoa.

Toisinaan kahden eri joukon alkioista halutaan muodostaa erilaisia yhdistelmiä. Erilaisten yhdistelmien muodostaminen todennäköisyyslaskennassa on tärkeää, että kaikki erilaiset alkeistapaukset saadaan otettua huomioon. Toisinaan tällaisia tulojoukkoja on hyödylistä mallintaa. Piirto-ohjelman avulla mallintaminen usein selkiyttää sitä, mitä ollaan laskemassa.

Tulojoukko: Kun tarkastellaan joukkoja A ja B ja tarkoituksena on muodostaa niiden tulojoukko. Se saadaan kun jokainen joukon A alkio kerrotaan joukon B alkiolla ja tuloksena saadaan järjestettyjen parien  joukko.

 x      ja 

Esimerkki 4: Tulojoukko

Olkoon joukko  Määritä tulojoukko  x  . Muodosta siis kaikki mahdolliset lukuparit, jotka voidaan muodostettua joukosta  .

Ratkaisu:

Muodostetaan järjestettyjen parien joukko  x      ja 

 x    ,  ,  ,  ,  ,  ,  ,   

 

Esimerkki 5: Arpakuutio koordinaatistossa (GG)

Kun heitetään kahta painottamatonta arpakuutiota, niin saadaan järjestettyjen parien joukko  x      ja . Arpakuution silmäluvut ovat perinteisesti  . Piirrä koordinaatistoon GeoGebralla tai vastaavalla piirtoohjelmalla kohden arpakuution lukuparit, missä silmäluvut ovat yhtä suuret.

Ratkaisu:

Arpakuution lukuparit siis ovat  x  

Kirjoita GeoGebran syöttökenttään listana lukuparit muodossa: {(1, 1), (2, 2), (3, 3)}

GeoGebrassa saadaan kuva: 

Kaikkien samansuuruisten lukuparien lista:  

Viimeksi muutettu: torstai 13. helmikuu 2020, 13.59