Johdatus matemaattiseen päättelyyn

Samankaltaiset tiedostot
(2n 1) = n 2

Miten osoitetaan joukot samoiksi?

Johdatus matemaattiseen päättelyyn (5 op)

Johdatus matemaattiseen päättelyyn

Johdatus matemaattiseen päättelyyn

Johdatus matemaattiseen päättelyyn

Johdatus matemaattiseen päättelyyn

Johdatus matemaattiseen päättelyyn

Yhtäpitävyys. Aikaisemmin osoitettiin, että n on parillinen (oletus) n 2 on parillinen (väite).

Ratkaisu: a) Kahden joukon yhdisteseen poimitaan kaikki alkiot jotka ovat jommassakummassa joukossa (eikä mitään muuta).

Esitetään tehtävälle kaksi hieman erilaista ratkaisua. Ratkaisutapa 1. Lähdetään sieventämään epäyhtälön vasenta puolta:

Vastaoletuksen muodostaminen

Matematiikassa väitelauseet ovat usein muotoa: jos P on totta, niin Q on totta.

Todistusmenetelmiä Miksi pitää todistaa?

Johdatus matemaattiseen päättelyyn

a k+1 = 2a k + 1 = 2(2 k 1) + 1 = 2 k+1 1. xxxxxx xxxxxx xxxxxx xxxxxx

Induktiota käyttäen voidaan todistaa luonnollisia lukuja koskevia väitteitä, jotka ovat muotoa. väite P(n) on totta kaikille n = 0,1,2,...

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista

3. Kirjoita seuraavat joukot luettelemalla niiden alkiot, jos mahdollista. Onko jokin joukoista tyhjä joukko?

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8

-Matematiikka on aksiomaattinen järjestelmä. -uusi tieto voidaan perustella edellisten tietojen avulla, tätä kutsutaan todistamiseksi

811120P Diskreetit rakenteet

Diskreetin Matematiikan Paja Ratkaisuhahmotelmia viikko 1. ( ) Jeremias Berg

Jokaisen parittoman kokonaisluvun toinen potenssi on pariton.

Tehtäväsarja I Seuraavissa tehtävissä harjoitellaan erilaisia todistustekniikoita. Luentokalvoista 11, sekä voi olla apua.

1 Perusasioita joukoista

a) Mitkä seuraavista ovat samassa ekvivalenssiluokassa kuin (3, 8), eli kuuluvat joukkoon

MS-A0402 Diskreetin matematiikan perusteet

1 sup- ja inf-esimerkkejä

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen!

Vieruskaverisi on tämän päivän luennolla työtoverisi. Jos sinulla ei ole vieruskaveria, siirry jonkun viereen. Esittäytykää toisillenne.

1. Osoita, että joukon X osajoukoille A ja B on voimassa toinen ns. de Morganin laki (A B) = A B.

Johdatus matematiikkaan

1. Otetaan perusjoukoksi X := {0, 1, 2, 3, 4, 5, 6, 7}. Piirrä seuraaville kolmelle joukolle Venn-diagrammi ja asettele alkiot siihen.

Vastaus 1. Lasketaan joukkojen alkiot, ja todetaan, että niitä on 3 molemmissa.

Miten perustella, että joukossa A = {a, b, c} on yhtä monta alkiota kuin joukossa B = {d, e, f }?

Johdatus yliopistomatematiikkaan. JYM, Syksy /197

Algebra I, harjoitus 5,

4 Matemaattinen induktio

d ) m d (I n ) = 2 d n d. Koska tämä pätee kaikilla

TIEA241 Automaatit ja kieliopit, syksy Antti-Juhani Kaijanaho. 8. syyskuuta 2016

JOHDATUS MATEMATIIKKAAN. Petri Juutinen

Johdatus yliopistomatematiikkaan. JYM, Syksy2015 1/195

Ensimmäinen induktioperiaate

1 sup- ja inf-esimerkkejä

Ensimmäinen induktioperiaate

Johdatus diskreettiin matematiikkaan (syksy 2009) Harjoitus 3, ratkaisuja Janne Korhonen

2.1. Tehtävänä on osoittaa induktiolla, että kaikille n N pätee n = 1 n(n + 1). (1)

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 3 (9 sivua) OT

LUKUTEORIA johdantoa

Valitsemalla sopivat alkiot joudutaan tämän määritelmän kanssa vaikeuksiin, jotka voidaan välttää rakentamalla joukko oppi aksiomaattisesti.

Algebra I Matematiikan ja tilastotieteen laitos Ratkaisuehdotuksia harjoituksiin 9 (6 sivua) OT

Luonnollisten lukujen ja kokonaislukujen määritteleminen

(1) refleksiivinen, (2) symmetrinen ja (3) transitiivinen.

Approbatur 3, demo 1, ratkaisut A sanoo: Vähintään yksi meistä on retku. Tehtävänä on päätellä, mitä tyyppiä A ja B ovat.

Topologia Syksy 2010 Harjoitus 9

Matematiikassa ja muuallakin joudutaan usein tekemisiin sellaisten relaatioiden kanssa, joiden lakina on tietyn ominaisuuden samuus.

Matematiikan tukikurssi, kurssikerta 2

Matematiikan tukikurssi

Funktioista. Esimerkki 1

2017 = = = = = = 26 1

missä on myös käytetty monisteen kaavaa 12. Pistä perustelut kohdilleen!

a b c d

Johdatus matematiikkaan

1 Lukujen jaollisuudesta

b) Määritä myös seuraavat joukot ja anna kussakin tapauksessa lyhyt sanallinen perustelu.

= 3 = 1. Induktioaskel. Induktio-oletus: Tehtävän summakaava pätee jollakin luonnollisella luvulla n 1. Induktioväite: n+1

67-x x 42-x. Matematiikan johdantokurssi, syksy 2016 Harjoitus 3, ratkaisuista

a ord 13 (a)

4.3. Matemaattinen induktio

Johdatus matematiikkaan

Ekvivalenssirelaatio. Määritelmä 2 Joukon A binäärinen relaatio R on ekvivalenssirelaatio, mikäli. Jos R on ekvivalenssirelaatio ja a A, niin joukkoa

Matematiikan tukikurssi, kurssikerta 1

Funktiot. funktioita f : A R. Yleensä funktion määrittelyjoukko M f = A on jokin väli, muttei aina.

Topologia Syksy 2010 Harjoitus 4. (1) Keksi funktio f ja suljetut välit A i R 1, i = 1, 2,... siten, että f : R 1 R 1, f Ai on jatkuva jokaisella i N,

Lineaarikombinaatio, lineaarinen riippuvuus/riippumattomuus

Matematiikan ja tilastotieteen laitos Reaalianalyysi I Harjoitus Malliratkaisut (Sauli Lindberg)

Tarkastelemme ensin konkreettista esimerkkiä ja johdamme sitten yleisen säännön, joilla voidaan tietyissä tapauksissa todeta kielen ei-säännöllisyys.

Ilkka Mellin Todennäköisyyslaskenta Liite 1: Joukko-oppi

Diofantoksen yhtälön ratkaisut

Sekalaiset tehtävät, 11. syyskuuta 2005, sivu 1 / 13. Tehtäviä

Reaalilukuvälit, leikkaus ja unioni (1/2)

Esko Turunen MAT Algebra1(s)

Joukot metrisissä avaruuksissa

Vaihtoehtoinen tapa määritellä funktioita f : N R on

1 Supremum ja infimum

Matematiikan tukikurssi, kurssikerta 3

Insinöörimatematiikka A

TIEA241 Automaatit ja kieliopit, kevät 2011 (IV) Antti-Juhani Kaijanaho. 16. maaliskuuta 2011

Rekursio. Funktio f : N R määritellään yleensä antamalla lauseke funktion arvolle f (n). Vaihtoehtoinen tapa määritellä funktioita f : N R on

Vastauksia. Topologia Syksy 2010 Harjoitus 1

Lukuteoria. Eukleides Aleksandrialainen (n. 300 eaa)

on Abelin ryhmä kertolaskun suhteen. Tämän joukon alkioiden lukumäärää merkitään

Koodausteoria, Kesä 2014

MS-A010{3,4} (ELEC*) Differentiaali- ja integraalilaskenta 1 Luento 3: Jatkuvuus

JOHDATUS MATEMATIIKKAAN. Petri Juutinen

Topologia I Harjoitus 6, kevät 2010 Ratkaisuehdotus

Diskreetin matematiikan perusteet Malliratkaisut 2 / vko 38

Johdatus matematiikkaan

Predikaattilogiikan malli-teoreettinen semantiikka

Transkriptio:

Johdatus matemaattiseen päättelyyn Maarit Järvenpää Oulun yliopisto Matemaattisten tieteiden laitos Syyslukukausi 2015

1 Merkintöjä 2 Todistamisesta 2

3 Joukko-oppia Tässä luvussa tarkastellaan joukko-opin keskeisimpiä käsitteitä ja harjoitellaan matemaattista päättelyä niitä käyttäen. Joukko koostuu alkioista ja jokaisesta alkiosta on pystyttävä sanomaan, kuuluuko se tiettyyn joukkoon. Merkintä Mitä tarkoittaa? x A x on joukon A alkio, ts. x kuuluu joukkoon A y / A y ei ole joukon A alkio, ts. y ei kuulu joukkoon A {x P (x)} niiden alkioiden joukko, joilla on ominaisuus P (x) tyhjä joukko eli joukko, joka ei sisällä yhtään alkiota 3.1 Esimerkkejä (1) 1 {1, 2}, 2 {1, 2}, 0 / {1, 2} (2) {n N 0 < n < 5} = {1, 2, 3, 4} (3) {0, 1} = {0, 0, 1} = {1, 0} (4) {1}, sillä 1 {1}. (5) { }, sillä on joukon { } alkio. 3.2 Määritelmä Joukko A on joukon B osajoukko, jos jokainen joukon A alkio on myös joukon B alkio, ts. jos x A, niin x B. Tällöin merkitään A B. Joukot A ja B ovat samat, jos A B ja B A. Tällöin merkitään A = B. Joukko A ei ole joukon B osajoukko, jos joukossa A on sellainen alkio, joka ei kuulu joukkoon B, ts. jos on olemassa sellainen a A, että a / B. Tällöin merkitään A B. 3.3 Esimerkkejä (1) {1, 2}, {1} {1, 2}, {2} {1, 2} ja {1, 2} {1, 2} (2) {3, 7, 11, 15} {n N n pariton} N (3) {2, 3, 4} {2, 4, 6}, sillä 3 {2, 3, 4}, mutta 3 / {2, 4, 6}. (4) {n N n < 3} = {0, 1, 2, 3, 4, 5, 6, 7, 8} 3

(5) Parittomien luonnollisten lukujen määritelmän perusteella ja huomautuksen??(3) perusteella (6) N Z Q R {n N n on pariton} = {2k + 1 k N}, {n N n on pariton} = {n N n 2 pariton}. (7) Koska N Z (esimerkiksi 1 Z, mutta 1 / N), niin N on joukon Z aito osajoukko. Vastaavasti Z on joukon Q aito osajoukko ( 1 2 Q, mutta 1 / Z) ja Q 2 on joukon R aito osajoukko ( 2 R, mutta 2 / Q). (8) Osoita, että {0, 1} = {x R x 2 = x}. Todistus. On osoitettava kaksi seikkaa: {0, 1} {x R x 2 = x} ja {x R x 2 = x} {0, 1}. Perustellaan 1. väite: koska 0 2 = 0 ja 1 2 = 1, niin {0, 1} {x R x 2 = x}, joten 1. väite on totta. Perustellaan vielä 2. väite: Jos x R on sellainen, että x 2 = x, niin 0 = x 2 x = x(x 1), mistä nähdään, että x = 0 tai x = 1. Siis 2. väite pätee. (9) Onko väite tosi? jos a A ja A B, niin a / B Ratkaisu. Väite ei ole totta, mikä nähdään, kun valitaan A = {0, 1}, B = {1, 2} ja a = 1. Tällöin a A ja A B, sillä 0 A, mutta 0 / B. Lisäksi a B. 3.4 Määritelmä Olkoot A, B X. (Tässä X on jokin perusjoukko, esimerkiksi R, Q, Z tai N.) Määritellään joukkojen A ja B yhdiste A B = {x X x A tai x B}, 4

leikkaus A B = {x X x A ja x B}, erotus A\B = {x X x A ja x / B} ja komplementti A C = X \ A = {x X x / A}. 3.5 Esimerkkejä (1) Olkoot A = {0, 2, 4, 6} ja B = {0, 1, 2, 3}. Tällöin A B = {0, 1, 2, 3, 4, 6}, A B = {0, 2}, A \ B = {4, 6} ja (A B) (A \ B) = {0, 2} {4, 6} = {0, 2, 4, 6} = A. (2) Olkoot A = {0, 1, a, b}, B = {1, 2, a} ja C = {2, 3, c}. Tällöin A B = {0, 1, 2, a, b}, A B = {1, a}, A\B = {0, b}, B\A = {2}, A C =, B C = {2} A (B C) = A {2} = ja (A B) (A C) = {0, 1, 2, a, b} {0, 1, 2, 3, a, b, c} = {0, 1, 2, a, b}. (3) Olkoot A = {n N n on jaollinen 6:lla}, B = {n N n on jaollinen 3:lla} ja C = {n N n on jaollinen 2:lla}. Tällöin ja esimerkin?? (2) perusteella B C = {n N n on jaollinen 2:lla tai 3:lla} B C = {n N n on jaollinen 2:lla ja 3:lla} = A. Määritellään seuraavaksi joukon R avoimet, suljetut ja puoliavoimet välit. 5

3.6 Määritelmä Olkoot a, b R sellaisia, että a < b. Määritellään ]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} (avoin väli) (suljettu väli) (puoliavoin väli) (puoliavoin väli). Lisäksi ]a, [ = {x R x > a} [a, [ = {x R x a} ], a[ = {x R x < a} ], a] = {x R x a}. Tässä on äärettömän symboli. 3.7 Esimerkkejä (1) Olkoot A = [0, 1], B = [1, 2] ja C = ] 1 2, 3 2[. Nyt A B = {x R 0 x 1 tai 1 x 2} = [0, 2], A B = {x R 0 x 1 ja 1 x 2} = {1}, A C = {x R 0 x 1 tai 1 2 < x < 3 2 } = [ 0, 3 2[, A C = {x R 0 x 1 ja 1 2 < x < 3 2 } = ] 1 2, 1], B C = {x R 1 x 2 tai 1 2 < x < 3 2 } = ] 1 2, 2] B C = {x R 1 x 2 ja 1 2 < x < 3 2 } = [ 1, 3 2[, A\B = {x R 0 x 1 ja (x < 1 tai x > 2)} = [0, 1[, A\C = {x R 0 x 1 ja (x 1 2 tai x 3 2 )} = [ 0, 1 2] ja B\C = {x R 1 x 2 ja (x 1 2 tai x 3 2 )} = [ 3 2, 2]. (2) Olkoot A = [ 2, 2[ ja B = [1, [. Tällöin A B = {x R 2 x < 2 tai x 1} = [ 2, [ A B = {x R 2 x < 2 ja x 1} = [1, 2[, R \ A = {x R x < 2 tai x 2} =], 2[ [2, [, R \ B = {x R x < 1} =], 1[, A \ B = { 2 x < 2 x < 1} = [ 2, 1[ ja B \ A = {x 1 x < 2 tai x 2} = [2, [. 6

Määritellään seuraavaksi joukkojen äärelliset ja numeroituvat yhdisteet ja leikkaukset. 3.8 Määritelmä Joukkojen A 1, A 2,..., A k äärellinen yhdiste on k A i = A 1 A 2... A k = {x x A 1 tai x A 2 tai... tai x A k } i=1 = {x x A i jollakin i = 1,..., k} ja äärellinen leikkaus on k A i = A 1 A 2... A k = {x x A 1 ja x A 2 ja... ja x A k } i=1 = {x x A i kaikilla i = 1,..., k}. Joukkojen A 1, A 2,... numeroituva yhdiste on A i = {x x A i jollakin i = 1, 2,...} i=1 ja numeroituva leikkaus on 3.9 Esimerkkejä A i = {x x A i kaikilla i = 1, 2,...}. i=1 (1) Tarkastellaan joukkoja A = ] 1, 0[, B = ]0, 1], C = [ 1 2, 2] ja D = {0, 3}. Mitä ovat A B, A B D, B C D, A B C D ja B C D? Ratkaisu: Määritelmien perusteella saadaan A B = {x R 1 < x < 0 tai 0 < x 1} = ] 1, 1] \{0}, A B D = {x R 1 < x < 0 tai 0 < x 1 tai x = 0 tai x = 3} = ] 1, 1] {3}, B C D = {x R 0 < x 1 tai 1 x 2 tai x = 0 tai x = 3} = [0, 2] {3}, 2 A B C D = ja B C D =. 7

(2) Kaikilla k N määritellään A k = [k, k + 1[. Mitä ovat 5 A k, 10 A k, 10 A k ja A k? k=5 Ratkaisu: Määritelmien perusteella 5 A k = A 1 A 2 A 3 A 4 A 5 = [1, 2[ [2, 3[ [3, 4[ [4, 5[ [5, 6[= [1, 6[, 10 10 k=5 A k = A 1 A 2... A 10 = [1, 2[ [2, 3[... [10, 11[= [1, 11[, A k = A 5 A 6... A 10 = [5, 6[ [6, 7[... [10, 11[= [5, 11[ A k = {x R x A k jollakin k = 1, 2,...} = [1, [. (3) Kaikilla k = 1, 2,... määritellään A k = [0, 1 [. Mitä ovat k ja 5 A k, 10 A k, 10 A k ja A k? k=5 Ratkaisu: Määritelmien perusteella 5 A k = A 1 A 2 A 3 A 4 A 5 = [0, 1[ [0, 1[ [0, 1[ [0, 1[ [0, 1[= [0, 1[, 2 3 4 5 5 10 10 k=5 A k = A 1 A 2... A 10 = [0, 1[ [0, 1 1 1 [... [0, [= [0, [, 2 10 10 A k = A 5 A 6... A 10 = [0, 1[ [0, 1 1 1 [... [0, [= [0, [ 5 6 10 10 ja A k = {x R x A k kaikilla k = 1, 2,...} = {0}. Perustellaan viimeinen yhtäsuuruus, ts. todistetaan, että A k = {0} (ks. 2.12). 8

On siis osoitettava, että {0} A k ja A k {0}. Koska 0 [0, 1 k [ kaikilla k = 1, 2,..., niin {0} A k. Osoitetaan vielä, että A k {0}. Oletus: x A k, ts. x A k kaikilla k = 1, 2,.... Väite: x = 0. Antiteesi: x 0. Koska x A 1 ja x 0, niin 0 < x < 1. Valitaan niin suuri i = 1, 2,..., että i > 1 x. Tällöin 1 < x, joten x / A i i. Tämä on ristiriita, sillä oletuksen mukaan x A i. Näin ollen antiteesi ei ole tosi, ja siten väite pätee. 3.10 Määritelmä Joukkojen A ja B tulojoukko eli karteesinen tulo on A B = {(a, b) a A, b B}. Huomaa, että (a, b) = (c, d) a = c ja b = d. 3.11 Esimerkkejä (1) Jos A = {a, b, c} ja B = {0, a}, niin A B = {(a, 0), (a, a), (b, 0), (b, a), (c, 0), (c, a)}. (2) Olkoot A = {1}, B = {2, 3}, C = {1, 2} ja D = {3}. Mitä ovat A (B C), (A B) (A C), A (B \ C), (A B) \ (A C), (A B) (C D) ja (A C) (B D)? Ratkaisu. Määritelmistä saadaan A (B C) = {1} {1, 2, 3} = {(1, 1), (1, 2), (1, 3)} (A B) (A C) = {(1, 2), (1, 3)} {(1, 1), (1, 2)} = {(1, 1), (1, 2), (1, 3)} A (B \ C) = {1} {3} = {(1, 3)} (A B) \ (A C) = {(1, 2), (1, 3)} \ {(1, 1), (1, 2)} = {(1, 3)} (A B) (C D) = {(1, 2), (1, 3)} {(1, 3), (2, 3)} = {(1, 2), (1, 3), (2, 3)} (A C) (B D) = {1, 2} {2, 3} = {(1, 2), (1, 3), (2, 2), (2, 3)}. 9

(3) Euklidinen avaruus R n : R 2 = R R = {(x, y) x R ja y R} (xy-taso) R 3 = R R R = {(x, y, z) x R, y R ja z R} R n = R R... R }{{} n-kpl (n-ulotteinen euklidinen avaruus). (xyz-avaruus) (4) Jos A = [ 1, 1[, B = ]0, 1[ ja C = [1, [, niin A B = [ 1, 1[ ]0, 1[ = {(x, y) R 2 1 x < 1 ja 0 < y < 1} A C = [ 1, 1[ [1, [ = {(x, y) R 2 1 x < 1 ja y 1} C A = [1, [ [ 1, 1[ = {(x, y) R 2 x 1 ja 1 y < 1}. 3.12 Miten joukot osoitetaan samoiksi? Kun todistetaan, että A = B, on päättelyssä kaksi vaihetta: (i) osoitetaan, että A B, ts. jos x A, niin x B, (ii) osoitetaan, että B A, ts. jos x B, niin x A. 3.13 Esimerkkejä (1) Olkoot A = {x R x 2 5x + 6 = 0} ja B = {n N 3 < n 2 < 10}. Osoita, että A = B. Todistus. On osoitettava, että A B ja B A. (i) Väite 1: A B, ts. jos x A, niin x B. Todistus. Olkoon x A. Tällöin x R ja x 2 5x + 6 = 0. Ratkaistaan toisen asteen yhtälö jakamalla polynomi x 2 5x + 6 tekijöihin: 0 = x 2 5x + 6 = (x 2)(x 3). Tästä nähdään, että x = 2 tai x = 3. Koska 2 N ja 3 < 2 2 < 10, niin 2 B. Koska 3 N ja 3 < 3 2 < 10, niin 3 B. Siis A B. (ii) Väite 2: B A, ts. jos x B, niin x A. Todistus. Olkoon n B, ts. n N ja 3 < n 2 < 10. Tällöin n = 2 tai n = 3. Sijoittamalla 2 x:n paikalle lausekkeeseen x 2 5x + 6 saadaan 2 2 5 2 + 6 = 4 10 + 6 = 0. 10

Siis 2 A. Sijoittamalla 3 muuttujan x paikalle lausekkeeseen x 2 5x+6 saadaan Siis 3 A. Näin ollen B A. Kohdista (i) ja (ii) seuraa, että A = B. 3 2 5 3 + 6 = 9 15 + 6 = 0. (2) Osoita, että A (B C) = (A B) (A C). Todistus. (i) Väite 1: A (B C) (A B) (A C), ts. jos x A (B C), niin x (A B) (A C). Todistus. Oletetaan, että x A (B C). Tällöin x A tai x B C. Käsitellään nämä tapaukset erikseen. Jos x A, niin x A B ja x A C yhdisteen määritelmän nojalla. Siis x (A B) (A C). Jos x B C, niin x B ja x C leikkauksen määritelmän perusteella. Edelleen yhdisteen määritelmän nojalla x A B ja x A C. Siis x (A B) (A C). Koska molemmissa tapauksissa x (A B) (A C), niin väite 1 on totta. (ii) Väite 2: (A B) (A C) A (B C), ts. jos x (A B) (A C), niin x A (B C). Todistus. Oletetaan, että x (A B) (A C). Tällöin x A B ja x A C. Jos x A, niin yhdisteen määritelmän nojalla x A (B C). Jos taas x / A, niin koska x A B ja x A C, on x molempien joukkojen B ja C alkio. Näin ollen x B C, mistä seuraa, että x A (B C). Siis väite 2 on totta. Kohdista (i) ja (ii) seuraa, että A (B C) = (A B) (A C). (3) Osoita, että (A B) C = A C B C. Todistus. (i) Väite 1: (A B) C A C B C, ts. jos x (A B) C, niin x A C B C. Todistus. Oletetaan, että x (A B) C, ts. x / A B. Perustellaan, että tästä seuraa, että x / A ja x / B. Antiteesi: x A tai x B. Tällöin x A B, mikä on ristiriita, sillä oletuksen perusteella x / A B. Siis antiteesi on väärä. Näin ollen x / A ja x / B, ts. x A C ja x B C. Siis x A C B C. Väite 1 on siis totta. 11

(ii) Väite 2: A C B C (A B) C, ts. jos x A C B C, niin x (A B) C. Todistus. Oletetaan, että x A C B C, ts. x / A ja x / B. Perustellaan, että tästä seuraa, että x / A B. Antiteesi: x A B. Tällöin x A tai x B, mikä on ristiriita, sillä oletuksen mukaan x / A ja x / B. Siis antiteesi on väärä. Näin ollen x / A B, ts. x (A B) C, ja väite 2 on osoitettu todeksi. Kohdista (i) ja (ii) seuraa, että (A B) C = A C B C. (4) Osoita, että A (B C) = (A B) (A C). Todistus. (i) Väite 1: A (B C) (A B) (A C), ts. jos (x, y) A (B C), niin (x, y) (A B) (A C). Todistus. Oletetaan, että (x, y) A (B C), ts. x A ja y B C. Jos y B, niin (x, y) A B. Jos taas y C, niin (x, y) A C. Näin ollen (x, y) (A B) (A C), joten väite 1 on totta. Väite 2: (A B) (A C) A (B C), ts. jos (x, y) (A B) (A C), niin (x, y) A (B C). Todistus. Oletetaan, että (x, y) (A B) (A C), ts. (x, y) A B tai (x, y) A C. Jos (x, y) A B, niin x A ja y B, joten (x, y) A (B C). Jos taas (x, y) A C, niin x A ja y C, joten (x, y) A (B C). Näin ollen väite 2 on totta. Kohdista (i) ja (ii) seuraa, että A (B C) = (A B) (A C).. Harjoitellaan vielä todistamista joukko-opin käsitteitä käyttäen. 3.14 Esimerkki Osoita, että A B A, jos ja vain jos B A. Todistus. Väite koostuu kahdesta väitelauseesta. Todistetaan ne erikseen. Oletus 1: A B A. Väite 1: B A, ts. jos x B, niin x A. 12

Todistus. Olkoon x B. Tällöin x A B, joten oletuksen 1 perusteella x A. Siis väite 1 on totta. Oletus 2: B A. Väite 2: A B A, ts. jos x A B, niin x A. Todistus. Olkoon x A B, ts. x A tai x B. Jos x A, niin väite 2 on totta. Jos taas x B, niin oletuksen 2 perusteella x A. Siis väite 2 on totta. Kohdista ja seuraa, että A B A, jos ja vain jos B A. 13