1 Perusasioita joukoista

Transkriptio

1 1 Perusasioita joukoista 1.1 Merkintöjä Joukko voidaan määritellä luettelemalla siihen kuuluvat alkiot. Esimerkiksi voidaan merkitä = { 2, 1, 0, 1, 2}. Tästä merkinnästä nähdään, mitkä luvut ovat joukon alkioita. Esimerkiksi luku 1 on joukon alkio, mikä merkitään symbolikielellä 1 œ. Tämä merkintä luetaan yksi kuuluu joukkoon. Toisaalta esimerkiksi luku 4 ei ole joukon alkio, mikä merkitään symbolikielellä 4 œ. Tämä luetaan neljä ei kuulu joukkoon. Jos joukko määritellään luettelemalla siihen kuuluvat alkiot, ei järjestyksellä ole merkitystä. Siis esimerkiksi joukot {1, 2, 3} ja {3, 1, 2} ovat samat. Joukko ei myöskään muutu, vaikka sama alkio toistetaan useampaan kertaan: esimerkiksi joukot {1, 2, 3, 2, 1} ja {3, 2, 1} ovat samat. Monille lukujoukoille on oma symbolinsa. Ne on lueteltu alla taulukossa 1.1. Jossain yhteyksissä luku nolla lasketaan kuuluvaksi luonnollisten lukujen joukkoon, toisinaan taas ei. Kysymyksessä on siis sopimusasia. Tällä kurssilla sovitaan, että nolla on luonnollinen luku. Luonnolliset luvut N = {0, 1, 2,...} Kokonaisluvut Z = {..., 3, 2, 1, 0, 1, 2, 3,...} Rationaaliluvut Q = { m/n m, n œ Z ja n =0} Reaaliluvut R Kompeksiluvut = {(a, b) a œ R ja b œ R} Taulukko 1.1: Lukujoukkoja. Joukon kaikkien alkioiden luetteleminen ei ole aina mahdollista. Esimerkiksi merkinnästä = {..., 6, 4, 2, 0, 2, 4, 6,...} voidaan päätellä, että joukko muodostuu parillisista kokonaisluvuista. Sama asia voidaan merkitä täsmällisemmin antamalla ehto, joka joukon alkioiden täytyy toteuttaa. Joukko voidaan ehdon avulla merkitä = { m œ Z m =2n missä n œ Z } tai = {2n n œ Z}. Myös joukko = { 2, 1, 0, 1, 2} voidaan esittää ehdon avulla: = {z œ Z 2 Æ z Æ 2 }. Muitakin mahdollisuuksia on, esimerkiksi = {z œ Z : z Æ2 }. Kun joukko määritellään ehdon avulla, pystyviivan vasemmalla puolella kerrotaan, minkä tyyppisiä joukon alkiot ovat. Esimerkiksi merkinnästä = { m œ Z m =2n missä n œ Z } nähdään, että joukon alkiot ovat tyypiltään kokonaislukuja. Pystyviivan oikealle puolelle kirjoitetaan ehto, joka alkioilta vaaditaan. Joukon = { m œ Z m =2n missä n œ Z } tapauksessa vaaditaan, että luvut ovat parillisia. Merkinnät ovat siis aina muotoa {alkioiden tyyppi ehto, joka alkioilta vaaditaan}. Joskus pystyviivan tilalla saatetaan käyttää kaksoispistettä. Tätä merkintätapaa näkee vanhoissa kirjoissa sekä tilanteissa, joissa pystyviiva voisi sekoittua esimerkiksi itseisarvomerkkeihin. 1

2 1.2 Yhdiste, leikkaus ja erotus Joukoista voidaan muodostaa uusia joukkoja erilaisten joukko-operaatioiden avulla. Näistä yleisimmät on määritelty alla, ja niitä on havainnollistettu niin sanotuilla Vennin kaavioilla kuvassa 1.1. Määritelmä Oletetaan, että ja ovat joukkoja. Joukkojen ja yhdiste on joukko fi = { x x œ tai x œ }, leikkaus on joukko fl = { x x œ ja x œ }, erotus on joukko r = { x x œ ja x œ }. Merkintä r luetaan pois. Huomaa, että matematiikan tai ei ole poissulkeva: ehto x œ tai x œ sallii myös tapauksen, jossa alkio kuuuu sekä joukkoon että joukkoon. Sitenyhdisteen fi muodostavat kaikki alkiot, jotka kuuluvat ainakin toiseen joukoista ja. \ Kuva 1.1: Joukot ja sekä niiden yhdiste, leikkaus ja erotus tummennettuna. Esimerkki Merkitään = {0, 2, 4} ja = {1, 2, 3}. Joukkojen ja yhdiste on fi = {0, 1, 2, 3, 4}, leikkaus on fl = {2} ja erotus on r = {0, 4}. Joukkojen ja erotus on r = {1, 3}. 1.3 Tyhjä joukko Joukko-operaatioiden tuloksena voi joskus olla joukko, johon ei kuulu yhtään alkiota. Esimerkiksi joukoilla = {1, 2} ja = {3, 4} ei ole yhtään yhteisiä alkiota, joten niiden leikkaus fl on joukko, jossa ei ole yhtään alkiota. Tällaista joukkoa sanotaan tyhjäksi joukoksi. Määritelmä Tyhjä joukko tarkoittaa joukkoa, jossa ei ole yhtään alkiota. Tyhjää joukkoa merkitään symbolilla ÿ ja joskus myös merkinnällä {}. Edellä mainittujen joukkojen = {1, 2} ja = {3, 4} leikkaus on tyhjä joukko: fl = ÿ. 2

3 1.4 Osajoukko Jos kahdella joukolla ei ole yhteisiä alkiota, eli niiden leikkaus on tyhjä joukko, sanotaan, että kyseiset joukot ovat erilliset. Esimerkiksi kuvan 1.2 joukot = {3, 5, 7} ja = {2, 4, 6, 8, 9} ovat erilliset, samoin joukot ja D. Jos kahdella joukolla on ainakin yksi yhteinen alkio, eli niiden leikkaus ei ole tyhjä joukko, sanotaan, että joukot kohtaavat toisensa. Esimerkiksi kuvan 1.2 joukko = {2, 4, 6, 8, 9} kohtaa joukon = {1, 3, 4, 5, 7, 8, 0}, sillä fl = {4, 8} = ÿ. Joukossa on kuitenkin myös sellaisia alkioita, jotka eivät kuulu joukkoon, esimerkiksi alkio 2. Myös joukko = {3, 5, 7} kohtaa joukon = {1, 3, 4, 5, 7, 8, 0}, koska niiden leikkaus ei ole tyhjä. Huomataan lisäksi, että joukon jokainen alkio kuuluu joukkoon. Tällöin sanotaan, että on joukon osajoukko π Ô2 D Kuva 1.2: Joukko on joukon osajoukko. Määritelmä Joukko on joukon osajoukko, jos kaikilla x œ pätee myös x œ. Tällöin sanotaan, että sisältyy joukkoon, ja merkitään µ. Merkintä µ tarkoittaa, että ei ole joukon osajoukko. Kun osoitetaan joukkoa joukon osajoukoksi, pitää varmistua siitä, että jokainen joukon alkioista on myös joukon alkio. Toisaalta, jos osoitetaan, että joukko ei ole joukon osajoukko, riittää löytää joukosta yksi sellainen alkio, joka ei kuulu joukkoon. Esimerkki Merkitään = { 3, 0, 3}. Huomataan, että joukko on rationaalilukujen joukon osajoukko eli µ Q, sillä jokainen joukon alkioista voidaan kirjoittaa murtolukumuodossa: 3= 3/1, 0=0/1 ja 3=3/1. Siis 3 œ Q, 0 œ Q ja 3 œ Q. Toisaalta joukko ei ole luonnollisten lukujen joukon osajoukko eli µ N, sillä joukon alkio 3 ei ole luonnollinen luku: 3 œ mutta 3 œ N. Esimerkki Olkoon = { x œ R x 4 5x 3 x 2 +5x =0}. Näytetään, että {5, 1}µ. 3

4 Joukon määritelmästä nähdään, että sen muodostavat tietynlaiset reaaliluvut. Luvut 5 ja 1 ovat kumpikin reaalilukuja. Lisäksi sijoittamalla havaitaan, että ne toteuttavat joukon ehdon: = =0ja ( 1) 4 5 ( 1) 3 ( 1) 2 +5 ( 1) = =0. Siten 5 œ ja 1 œ. Näin ollen {5, 1}µ. Edellisessä esimerkissä osoitettiin joukko {5, 1} toisen joukon osajoukoksi tarkastelemalla joukon {5, 1} alkiot yksitellen. Tämä ei kuitenkaan aina ole mahdollista, esimerkiksi jos tarkasteltavassa joukossa on loputtomasti alkioita. Seuraavassa esimerkissä tutustutaan päättelytekniikkaan, jossa tarkasteltavan joukon koolla ei ole merkitystä. Esimerkki Osoita, että µ, missä = { x œ R sin 3x = cos x } ja = { x œ R (sin 3x cos x)(x 2 5x)=0}. Oletetaan, että b œ (eli kuvitellaan, että b on joukon alkio). Tällöin alkio b toteuttaa joukon ehdot, joten sille pätee b œ R ja sin 3b = cos b. Yhtälö sin 3b = cos b saadaan muokattua muotoon sin 3b cos b =0. Siitä on etua, kun lähdetään tutkimaan, toteuttaako tarkasteltava alkio b joukon ehdon. Nimittäin joukon ehdossa (sin 3x cos x)(x 2 5x)=0esiintyy sopivasti tekijä (sin 3x cos x). Lasketaan, mitä joukon ehdossa esiintyvästä lausekkeesta (sin 3x cos x)(x 2 5x) tulee, jos siihen sijoitetaan b: (sin 3b cos b)(b 2 5b)=0 (b 2 5b)=0. Huomataan, että tulos on nolla, eli alkio b toteuttaa joukon ehdon. Lisäksi jo aikaisemmin todettiin, että b œ R. Siisb œ. Tämä päättely toimii mille tahansa joukon alkiolle. Siten voidaan päätellä, että jokainen joukon alkio kuuluu joukkoon eli µ. Tyhjä joukko ÿ voidaan osoittaa minkä tahansa joukon osajoukoksi. Ennen kuin teemme sen, palautetaan vielä mieleen, miten osoitetaan, ettei annettu joukko ole toisen joukon osajoukko. Esimerkki Merkitään = { x œ Z x 2 x =0}. Näytetään, että {1, 2} µ. Tarkastellaan joukon {1, 2} alkiota 2. Havaitaan, että 2 2 2=4 2=2 = 0. Luku 2 ei siis toteuta joukon ehtoa. Tämän vuoksi 2 œ. Siis{1, 2} µ. Esimerkki Oletetaan, että on joukko. Päätellään, että ÿµ. Tavallisen logiikan mukaan on kaksi vaihtoehtoa: tyhjä joukko joko on joukon osajoukko tai ei ole joukon osajoukko. Mitään kolmatta vaihtoehtoa ei ole, eivätkä vaihtoehdot ÿµ tai ÿ µ voi olla tosia yhtä aikaa, vaan toinen on tosi ja toinen epätosi. 4

5 Mietitään aluksi, voisiko sittenkin päteä, että ÿ µ. Tällöin joukossa ÿ pitäisi olla alkio, joka ei kuulu joukkoon (vrt. esim ). Tyhjässä joukossa ÿ ei kuitenkaan ole yhtään alkiota. Joukossa ÿ ei siis ole sellaista alkiota, joka ei kuulu joukkoon. Näin vaihtoehto ÿ µ on epätosi. Koska vaihtoehto ÿ µ on epätosi, täytyy toisen vaihtoehdon olla tosi. Siis ÿ µ. Joissakin tilanteissa tavataan joukkoja, joiden alkiot ovat nekin joukkoja. Kappaleessa 1.8 esiteltävä potenssijoukon käsite on esimerkki tällaisesta tilanteesta. Seuraavassa esimerkissä havainnollistetaan osajoukon ja joukossa alkiona olevan joukon eroa. Esimerkki Merkitään X = {2, 3, {1}, {4, 2}} ja = {2, 3}, = {1} ja = {{1}, 3}. Mitkä joukoista,, ja X ovat joukon X osajoukkoja? Joukon X merkinnästä nähdään, että sen alkiot ovat luku 2, luku 3, joukko {1} eli ykkösen yksiö ja joukko {4, 2} eli lukujen 4 ja 2 kaksio. Joukossa X on siis alkioina kaksi lukua ja kaksi joukkoa. Havaitaan, että µ X, sillä = {2, 3}, ja2 œ X ja 3 œ X (jokainen joukon alkio kuuluu joukkoon X). Toisaalta µ X, sillä1 œ mutta 1 œ X (joukossa on alkio 1, joka ei kuulu joukkoon X). Joukko on joukon X osajoukko eli µ X,sillä = {{1}, 3},ja{1}œX ja 3 œ X (jokainen joukon alkio kuuluu joukkoon X). Lisäksi joukko X on itsensä osajoukko eli X µ X, sillä jokainen joukon X alkio kuuluu joukkoon X. voimet, suljetut ja puoliavoimet välit ovat reaalilukujen joukon osajoukkoja. Määritelmä Oletetaan, että a ja b ovat reaalilukuja ja a < b. Tällöin määritellään avoin väli ]a, b[, suljettu väli [a, b] sekä puoliavoimet välit [a, b[ ja ]a, b] seuraavasti: ]a, b[ ={ x œ R a<x<b} [a, b]={ x œ R a Æ x Æ b } [a, b[ ={ x œ R a Æ x<b} ]a, b]={ x œ R a<xæ b } Kuva 1.3: suljettu väli [0, 1], avoin väli ]2, 3[ ja puoliavoin väli [4, 5[ 5

6 Symbolien Œ ja Œ avulla voidaan osoittaa, että väli on rajaton. Rajattomat välit määritellään seuraavasti: Määritelmä Oletetaan, että c on reaaliluku. Tällöin ] Œ,c[={ x œ R x<c} ]c, Œ[ ={ x œ R x>c} ] Œ,c]={ x œ R x Æ c } [c, Œ[ ={ x œ R x Ø c } 1.5 Osajoukoksi osoittaminen ikaisemmin olemme jo tutustuneet siihen, miten annettu joukko osoitetaan toisen joukon osajoukoksi (esim ). bstraktissakin tilanteessa voidaan käyttää samaa ideaa kuin esimerkissä 1.4.4: otetaan tarkasteltavasta joukosta yksi alkio umpimähkään ja näytetään, että se kuuluu toiseen joukkoon. Näin tehdään myös seuraavassa esimerkissä. Esimerkki Oletetaan, että ja ovat joukkoja. Osoitetaan, että ( fi )r µ. Oletetaan, että a œ ( fi ) r. Tästä voidaan erotuksen määritelmän nojalla päätellä, että a œ fi ja a œ. Edelleen koska a œ fi, voidaan yhdisteen määritelmän nojalla päätellä, että a œ tai a œ. Näistä jälkimmäinen vaihtoehto ei voi toteutua, koska jo aikaisemmin päädyttiin siihen, että a œ. Voidaan siis olla varmoja, että ensimmäinen vaihtoehto on totta eli a œ. Yllä oleva päättely voidaan tehdä mille tahansa joukon ( fi ) r alkiolle, joten jokainen joukon ( fi )r alkio kuuluu joukkoon. 1.6 Joukkojen osoittaminen samaksi Edellisissä kappaleissa tutustuimme osajoukon määritelmään ja siihen, miten sen avulla osoitetaan joukko toisen joukon osajoukoksi. Tässä kappaleessa sovellamme osajoukoksi osoittamista kahden joukon samaksi osoittamiseen. loitetaan määrittelemällä, mitä tarkoitetaan sillä, että kaksi joukkoa ovat samat. Määritelmä Joukot ja ovat samat, jos niissä on täsmälleen samat alkiot eli kaikilla alkioilla x pätee seuraava: x œ, jos ja vain jos x œ. Tällöin merkitään =. Esimerkki Päteekö väite ( fi )r = kaikilla joukoilla ja? Oletetaan, että ja ovat joukkoja. Esimerkissä näytettiin, että tällöin ( fi )r µ. 6

7 Tämä tarkoittaa, että jokainen joukon ( fi ) r alkio kuuluu joukkoon. Tästä ei kuitenkaan voida päätellä, että joukot ( fi )r ja olisivat samat. Voi nimittäin olla, että joukossa on sellaisia alkioita, jotka eivät kuulu joukkoon ( fi )r. Kumotaan väite ( fi ) r = kaikilla joukoilla ja antamalla vastaesimerkki. Valitaan vaikkapa = {1, 2} ja = {2, 3}. Tällöin ( fi ) r = {1, 2, 3} r {2, 3} = {1}. Siten ( fi )r =. Tästä nähdään, että väite ei pidä paikkaansa kaikilla joukoilla ja. Huomaa, että väite saattaa kuitenkin päteä jossain erityistapauksessa, esimerkiksi jos = ÿ tai jos = Kuva 1.4: On olemassa joukot ja, joilla väite ( )r = ei päde. Joukkojen samuutta koskevia väitteitä on joskus hyödyllistä tutkia Vennin kaavioiden avulla ennen väitteiden täsmällistä todistamista. Esimerkki Tutkitaan Vennin kaavioiden avulla, kumpi seuraavista yhtälöistä näyttäisi pätevän kaikilla joukoilla, ja : ( )=( ) ( )=( ) ( ). Vennin kaaviot kannattaa piirtää esimerkiksi vaiheittain kuten alla. ( ) ( ) Kuva 1.5: Yhtälön ( )=( ) tutkiminen Vennin kaavioiden avulla. 7

8 fi ( ) ( ) ( ) Kuva 1.6: Yhtälön ( )=( ) ( ) tutkiminen Vennin kaavioiden avulla. Näyttäisi siltä, että yhtälö ( )=( ) ( ) pätee aina, sillä kuvassa 1.6 vasemmanpuolimmainen ja oikeanpuolimmainen Vennin kaavio ovat identtiset. Sen sijaan kuvassa 1.5 päädyttiin keskenään erilaisiin Vennin kaavioihin. Monissa tilanteissa Vennin kaaviot eivät riitä perustelemaan joukkojen samuutta, vaan tarvitaan toisenlaista päättelyä. Esimerkiksi jos tarkasteltavia joukkoja on enemmän kuin kolme, käy oikeanlaisen Vennin kaavion piirtäminen hankalammaksi, ja äärettömän monen joukon tapauksessa se on mahdotonta. Lisäksi kaavioiden tulkinta vaatii huolellisuutta: joissain tilanteissa osa Vennin kaavion alueista voi vastata tyhjää joukkoa, mikä saattaa hankaloittaa oikeiden johtopäätösten tekemistä. Seuraavaksi harjoittelemme osoittamaan kaksi joukkoa samaksi tekniikalla, joka perustuu joukkojen samuuden määritelmään Määritelmän mukaan joukot X ja Y ovat samat, jos niissä on täsmälleen samat alkiot; ts. jos jokainen joukon X alkio kuuluu joukkoon Y ja jokainen joukon Y alkio kuuluu joukkoon X. Joukkojen samuus voidaan siis todistaa osoittamalla kumpikin joukko toisen osajoukoksi. Todistus, jossa kaksi joukkoa osoitetaan samaksi, muodostuu siis kahdesta osasta. Nämä osat saatetaan joskus erottaa toisistaan merkeillä µ ja, jotka muistuttavat todistuksen kirjoittajaa ja myös lukijaa siitä, kumpaa joukkoa ollaan osoittamassa toisen joukon osajoukoksi. Näin on tehty myös seuraavassa esimerkissä. Esimerkki Oletetaan, että, ja ovat joukkoja. Osoitetaan, että fi ( fl )=( fi ) fl ( fi ). µ : Oletetaan, että x œ fi ( fl ). Yhdisteen määritelmän nojalla voidaan päätellä, että x œ tai x œ fl. Koska ei voida olla varmoja siitä, kumpi näistä vaihtoehdoista on voimassa, täytyy kumpikin niistä tarkastella erikseen. Näin voidaan varmistua siitä, että haluttuun johtopäätökseen päädytään kaikissa mahdollisissa tapauksissa. 8

9 Tapaustarkastelu: Oletetaan, että x œ. Yhdisteen määritelmän nojalla voidaan tästä päätellä, että x œ fi ja x œ fi. Koska x on näiden molempien joukkojen alkio, voidaan leikkauksen määritelmän nojalla päätellä, että x œ ( fi ) fl ( fi ). Oletetaan, että x œ fl. Leikkauksen määritelmän nojalla voidaan päätellä, että x œ ja x œ. Koska x œ, niin yhdisteen määritelmän nojalla x œ fi. Toisaalta koska x œ, niin yhdisteen määritelmän nojalla x œ fi. Koska x kuuluu sekä joukkoon fi että joukkoon fi, niinx œ ( fi ) fl ( fi ). Kaikissa mahdollisissa tapauksissa päädytään siis johtopäätökseen, että x œ (fi)fl(fi). Edellä tehty päättely pätee mille tahansa joukon fi( fl) alkiolle, joten joukon fi( fl) jokainen alkio kuuluu joukkoon ( fi ) fl ( fi ). Siis fi ( fl ) µ ( fi ) fl ( fi ). Huomaa, että matematiikan tai ei ole poissulkeva, vaan edellä tapaustarkastelussa on mahdollista, että x kuuluu kumpaankin joukoista ja. Miksi sitten ei erikseen käsitelty vaihtoehtoa, jossa x œ ja x œ? Itse asiassa tämä vaihtoehto sisältyy edellä käsiteltyihin tapauksiin. Nimittäin ensimmäisessä tapauksessa oletetaan, että x œ eikä oteta mitään kantaa siihen, kuuluuko x joukkoon vai ei. Siten ensimmäinen tapaus sisältää sekä tapauksen, jossa x œ, että tapauksen, jossa x œ. Vastaavasti jälkimmäisessä tapauksessa oletetaan vain, että x œ eikä oteta kantaa siihen, kuuluuko x joukkoon vai ei. : Oletetaan, että x œ (fi)fl(fi). Leikkauksen määritelmän nojalla voidaan päätellä, että x œ fi ja x œ fi. Yhdisteen määritelmän soveltaminen sekä joukkoon fi että joukkoon fi johtaa helposti sekavaan tilanteeseen, jossa virhepäätelmien riski kasvaa. Turvaudutaan siis hiukan erilaiseen menettelytapaan. Voidaan olla varmoja, että joka tapauksessa pätee joko x œ tai x œ. Tutkitaan nämä vaihtoehdot erikseen: Oletetaan, että x œ. Tällöin yhdisteen määritelmän mukaan x œ fi ( fl ). Oletetaan, että x œ. Koska kuitenkin tiedetään, että x œ fi, voidaan päätellä, että x œ. Vastaavasti koska x œ fi ja oletuksen mukaan x œ, niinx œ. Siis x œ ja x œ, joten leikkauksen määritelmän mukaan x œ fl. Tästä seuraa yhdisteen määritelmän nojalla, että x œ fi ( fl ). Kaikissa mahdollisissa tapauksissa päädytään johtopäätökseen, että x œ fi ( fl ). Edellä tehty päättely pätee mille tahansa joukon ( fi ) fl ( fi ) alkiolle, joten joukon ( fi ) fl ( fi ) jokainen alkio kuuluu joukkoon fi ( fl ). Tämä tarkoittaa, että ( fi ) fl ( fi ) µ fi ( fl ). Päättelysuunnat µ ja yhdessä osoittavat, että fi ( fl )=( fi ) fl ( fi ). 9

10 1.7 Perusjoukko ja komplementti Usein tarkastellaan jonkin tietyn joukon eri osajoukkoja ja alkioita. Tätä joukkoa, jonka osajoukkoja ja alkoita tutkitaan, sanotaan perusjoukoksi. Määritelmä Olkoon X tarkasteltava perusjoukko. Joukon µ X komplementti on joukko { = { x œ X x œ }. Joukon komplementti voidaan ilmaista joukkojen erotuksen avulla: { = X r. Sille käytetään joskus myös merkintää c tai Ā. Esimerkiksi topologiassa merkintä Ā tarkoittaa niin sanottua suljettua joukkoa, minkä vuoksi emme käytä sitä komplementin merkintänä. { {( ) Kuva 1.7: Joukot ja { sekä fi ja {( fi ). Perusjoukkoa ei välttämättä aina erikseen ilmoiteta, vaan se pitää päätellä asiayhteydestä. Esimerkki Tarkastellaan luonnollisten lukujen joukon N osajoukkoja = {0, 1, 2, 3} ja = { n œ N n =2k missä k œ N }. Määritetään { ja {. Ensimmäisestä virkkeestä voidaan päätellä, että perusjoukkona on luonnollisten lukujen joukko. Komplementin määritelmän mukaan { = {n œ N n œ } = {4, 5, 6, 7,...} = { n œ N n Ø 4 } { = {n œ N n œ } = {1, 3, 5, 7,...} = { m œ N m =2k +1missä k œ N }. Huomataan, että joukko on parillisten luonnollisten lukujen joukko ja sen komplementti { on parittomien luonnollisten lukujen joukko. Lause (de Morganin lait). Oletetaan, että ja ovat joukon X osajoukkoja. Tällöin {( fi )={ fl{ ja {( fl )={ fi{. 10

11 Todistus. Todistetaan ensimmäinen väite ja jätetään toisen väitteen todistus harjoitustehtäväksi. Osoitetaan siis, että{(fi) ={fl{ näyttämällä kumpikin joukko toisen osajoukoksi samaan tapaan kuin esimerkissä µ : Oletetaan, että x œ {(fi). Komplementin määritelmän nojalla tästä voidaan päätellä, että x œ X ja x œ fi. Voiko alkio x tässä tilanteessa kuulua joukkoon? Jos x œ, niin silloin yhdisteen määritelmän mukaan x œ fi. Koska kuitenkin edellä todettiin, että x œ fi, niin voidaan päätellä, että x œ. Vastaavasti koska x œ fi, niin x œ. Koska x œ X ja x œ, niin komplementin määritelmän mukaan x œ {. Vastaavasti koska x œ X ja x œ, niinx œ {. Näin x œ { ja x œ {, joten leikkauksen määritelmän mukaan x œ { fl{. : Oletetaan, että x œ { fl {. Leikkauksen määritelmän nojalla voidaan tästä päätellä, että x œ { ja x œ {. Komplementin määritelmän mukaan tällöin x œ X ja x œ ja x œ. Koska x œ ja x œ, niinx œ fi. Siisx œ X ja x œ fi, mikä komplementin määritelmän mukaan tarkoittaa, että x œ {( fi ). 1.8 Potenssijoukko Kappaleessa 1.4 tutustuttiin osajoukon käsitteeseen. Tässä kappaleessa siirrytään tarkastelemaan jonkin annetun joukon kaikkia osajoukkoja ja niiden muodostamaa joukkoa. Määritelmä Oletetaan, että X on joukko. Joukon X potenssijoukko tarkoittaa sen kaikkien osajoukkojen muodostamaa joukkoa P(X)={ µ X }. Esimerkki Joukolla X = {3, 1, 4} on seuraavat osajoukot: tyhjä joukko ÿ, yhden alkion osajoukot eli yksiöt {3}, {1}, {4}, kahden alkion osajoukot eli kaksiot {3, 1}, {3, 4}, {1, 4} ja joukko itse X. Kun nämä kerätään yhdeksi joukoksi, saadaan joukon X potenssijoukko: P(X)={ÿ, {3}, {1}, {4}, {3, 1}, {3, 4}, {1, 4}, X}. Esimerkki Olkoon Y = {ÿ, {3, 1, 4}}. Määritä P(Y ). Potenssijoukon määrittämiseksi pitää tutkia, mitä osajoukkoja joukolla Y on. Tiedetään, että tyhjä joukko ÿ on minkä tahansa joukon osajoukko (esim ) eli erityisesti ÿ µ Y. Lisäksi joukko itse on itsensä osajoukko (esim ) elierityisestiy µ Y. Joukolla Y on siis ainakin kaksi osajoukkoa: ÿ ja Y. Onko sillä muita osajoukkoja? Huomataan, että joukossa Y on kaksi alkiota: ÿ ja {3, 1, 4}. (Nämä alkiot ovat itsekin joukkoja, mutta siitä huolimatta ne ovat joukon Y alkiota). Voidaan päätellä, että joukolla Y on osajoukkoina myös kaksi yksiötä: alkion ÿ yksiö {ÿ} ja alkion {3, 1, 4} yksiö {{3, 1, 4}}. 11

12 Kaksialkioisella joukolla Y on siis yhteensä neljä osajoukkoa: tyhjä joukko ÿ, yksiöt {ÿ} ja {{3, 1, 4}} sekä joukko Y itse. Joukon Y potenssijoukko on siten P(Y )={ÿ, {ÿ}, {{3, 1, 4}}, Y}. Myös potenssijoukkojen tapauksessa kaksi joukkoa osoitetaan samaksi näyttämällä kumpikin toisen osajoukoksi. Tätä on havainnollistettu seuraavassa esimerkissä. Esimerkki Oletetaan, että ja ovat joukkoja. Osoita, että P(fl) = P()flP(). µ : Oletetaan, että X œp( fl ). Tästä voidaan potenssijoukon määritelmän nojalla päätellä, että X on joukon fl osajoukko eli X µ fl. Tästä puolestaan seuraa lemman nojalla, että X µ ja X µ. Potenssijoukon määritelmän mukaan tällöin X œp() ja X œp(). Leikkauksen määritelmän mukaan tästä seuraa, että X œp() flp(). : Oletetaan, että Y œp() flp(). Tästä voidaan leikkauksen määritelmän nojalla päätellä, että Y œp() ja Y œp(). Potenssijoukon määritelmän mukaan tällöin Y µ ja Y µ. Tästä voidaan lemman nojalla päätellä, että Y µ fl. Koska Y on joukon fl osajoukko, niin Y œp(fl). Huomaa, että esimerkissä nojauduttiin lemmaan 3.3.4, jonka mukaan X µ fl, jos ja vain jos X µ ja X µ. Jos tätä tulosta ei olisi ollut käytettävissä, olisi sekin pitänyt todistaa. 1.9 Joukkojen karteesinen tulo eli tulojoukko Tiedämme jo, että joukossa alkioiden järjestyksellä ei ole väliä: esimerkiksi {3, 8} = {8, 3}. Jos alkioiden järjestyksellä on väliä, päädytään kahden alkion tapauksessa niin sanotun järjestetyn parin käsitteeseen. Järjestetty pari on muotoa (a, b) ja sille pätee (a, b)=(c, d), jos ja vain jos a = c ja b = d. Siis esimerkiksi (1 + 2, 2 3 )=(3, 8) mutta (3, 8) = (8, 3). Järjestettyjen parien avulla voidaan esimerkiksi ilmaista tasokoordinaatiston pisteiden koordinaatteja. Järjestetyn parin käsitteen avulla voidaan määritellä joukkojen karteesinen tulo: Määritelmä Oletetaan, että ja ovat joukkoja. Joukkojen ja karteesinen tulo eli tulojoukko on joukko = { (a, b) a œ ja b œ }. Esimerkki Määritetään joukkojen = {2, 3, 4} ja D = {1, 2} karteesinen tulo D. Määritelmän mukaan se on D = { (x, y) x œ ja y œ D } = {(2, 1), (2, 2), (3, 1), (3, 2), (4, 1), (4, 2)}. 12

13 Tulojoukkoa D voi havainnollistaa koordinaatistossa: Kuva 1.8: Joukko D = {(2, 1), (2, 2), (3, 1), (3, 2), (4, 1), (4, 2)} koordinaatistossa. Tulojoukon alkiot eivät välttämättä ole lukupareja, vaan ne voivat olla minkä tahansa olioiden muodostamia järjestettyjä pareja. Seuraavassa esimerkissä tarkastellaan joukkojen muodostamia järjestettyjä pareja. Esimerkki Merkitään = {1, 2}. Joukon potenssijoukko on sen kaikkien osajoukkojen muodostama joukko P() ={, {1}, {2}, }. Määritellään joukko asettamalla = {(X, Y ) P() P() X Y }. Havaitaan, että joukko voidaan kirjoittaa myös luettelemalla siihen kuuluvat alkiot: = {(, ), (, {1}), (, {2}), (,), ({1}, {1}), ({1},), ({2}, {2}), ({2},), (, )}. Vennin kaaviot eivät sovellu kovin hyvin tulojoukkoja koskevien yleisten väitteiden tutkimiseen. Tulojoukkoja voidaan kuitenkin havainnollistaa piirroksilla kuten seuraavassa esimerkissä. Esimerkki Oletetaan, että, ja ovat joukkoja. Havainnollistetaan piirroksella joukkoja ( ) ja ( ) ( ). Merkitään tulojoukossa vasemmalla esiintyvä joukko koordinaatiston vaaka-akselille ja piirretään sen levyinen pystysuora kaistale (kuva 1.9). Merkitään sitten oikealla esiintyvät joukot ja pystyakselille niin, että ne menevät osittain päällekkäin, ja piirretään niitä vastaavat vaakasuorat kaistaleet. Kuva 1.9: Joukot, ja. 13

14 Leikkausta fl vastaava vaakasuora kaistale on kuvassa Tulojoukko ( ) on joukkoa vastaavan kaistaleen ja joukkoa vastaavan kaistaleen leikkaus, joka on merkitty kuvaan 1.10 tummanharmaalla. ( ) Kuva 1.10: Joukot ja ( ). Vastaavasti tulojoukko on joukkoa vastaavan kaistaleen ja joukkoa vastaavan kaistaleen leikkaus, joka on merkitty kuvaan 1.11 tummanharmaalla. Kuvassa 1.11 näkyy havainnollistus myös tulojoukolle. Niiden leikkauksena saadaan joukko ( ) ( ). ( ) ( ) Kuva 1.11: Joukot, ja ( ) ( ). Esimerkin havainnollistuksen perusteella joukot ( ) ja ( ) ( ) näyttävät olevan samat. Todistetaan seuraavaksi, että tämä havainto pitää paikkansa, olivatpa joukot, ja mitä tahansa joukkoja. Käytetään jälleen kappaleessa 1.6 esiteltyä tekniikkaa, jolla kaksi joukkoa osoitetaan samaksi näyttämällä, että kumpikin on toisen osajoukko. Esimerkki Osoitetaan, että ( )=( ) ( ) kaikilla joukoilla, ja. Oletetaan, että, ja ovat joukkoja. Näytetään, että tällöin ( ) =( ) ( ). Tehdään tämä osoittamalla sisältyminen molempiin suuntiin. : Oletetaan, että x ( ). Tulojoukon määritelmän nojalla voidaan päätellä, että x on tietynlainen järjestetty pari. Tarkemmin sanottuna x =(s, t), missä s ja t. Koska t, voidaan leikkauksen määritelmän nojalla päätellä edelleen, että t ja t. 14

15 Mitä nyt voidaan sanoa järjestetystä parista (s, t)? Koska s œ ja t œ, niin tulojoukon määritelmän mukaan (s, t) œ. Lisäksi x =(s, t), joten x œ. Vastaavasti koska s œ ja t œ, niinx =(s, t) œ. Koska x kuuluu sekä joukkoon että joukkoon, voidaan leikkauksen määritelmän nojalla päätellä, että x œ ( ) fl ( ). : Oletetaan, että y œ ( ) fl ( ). Leikkauksen määritelmän nojalla y œ ja y œ. lkio y on siis tietynlainen järjestetty pari. Tarkemmin sanottuna y =(a, d), missä a œ, d œ ja d œ. Koska d kuuluu sekä joukkoon että joukkoon, voidaan päätellä, että d œ fl. Koska a œ ja d œ fl, niin tulojoukon määritelmän mukaan y =(a, d) œ ( fl ). Päättelyt ja yhdessä osoittavat, että ( fl ) =( ) fl ( ). Koska todistuksen alussa oletettiin, että, ja ovat joukkoja, eikä mitään muita niitä koskevia oletuksia tehty, pätee tämä päättely riippumatta siitä, mitä joukkoja, ja ovat. Voidaan siis päätellä, että ( fl )=( ) fl ( ) kaikilla joukoilla, ja. 15