A-B, kun A < B 1 / 20



Samankaltaiset tiedostot
8 Joukoista. 8.1 Määritelmiä

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

5. Laskutoimitukset eri lukujärjestelmissä

811120P Diskreetit rakenteet

(2n 1) = n 2

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

Joukot. Georg Cantor ( )

811120P Diskreetit rakenteet

MS-A0402 Diskreetin matematiikan perusteet

Johdatus matemaattiseen päättelyyn

Joukko-oppi. Joukko-oppi. Joukko-oppi. Joukko-oppi: Mitä opimme? Joukko-opin peruskäsitteet

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

Lause 5. (s. 50). Olkoot A ja B joukkoja. Tällöin seuraavat ehdot ovat

Johdatus todennäköisyyslaskentaan Joukko-oppi. TKK (c) Ilkka Mellin (2005) 1

[a] ={b 2 A : a b}. Ekvivalenssiluokkien joukko

Diskreetin Matematiikan Paja Ratkaisuhahmotelmia viikko 1. ( ) Jeremias Berg

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

Johdatus matematiikkaan

Luonnollisten lukujen ja kokonaislukujen määritteleminen

Johdatus diskreettiin matematiikkaan Harjoitus 1,

Alkioiden x ja y muodostama järjestetty pari on jono (x, y), jossa x on ensimmäisenä ja y toisena jäsenenä.

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä, todistuksia ym., osa I

MS-A0402 Diskreetin matematiikan perusteet Yhteenveto, osa I

Matriisit. Määritelmä 1 Reaaliluvuista a ij, missä i = 1,..., k ja j = 1,..., n, muodostettua kaaviota a 11 a 12 a 1n a 21 a 22 a 2n A =

MS-A0402 Diskreetin matematiikan perusteet Esimerkkejä ym., osa I

MAT Algebra I (s) periodilla IV 2012 Esko Turunen

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

DISKREETTIÄ MATEMATIIKKAA.

Matriisipotenssi. Koska matriisikertolasku on liitännäinen (sulkuja ei tarvita; ks. lause 2), voidaan asettaa seuraava määritelmä: ja A 0 = I n.

MS-A0401 Diskreetin matematiikan perusteet Yhteenveto, osa I

Matematiikan tukikurssi

a b c d

JOHDANTO KURSSIN AIHEPIIRIIN

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

Äärellisten mallien teoria

Tehtävä 1. Arvioi mitkä seuraavista väitteistä pitävät paikkansa. Vihje: voit aloittaa kokeilemalla sopivia lukuarvoja.

MAT Algebra 1(s)

Matemaatiikan tukikurssi

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

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

Johdatus yliopistomatematiikkaan. JYM, Syksy2015 1/195

Matematiikan tukikurssi, kurssikerta 1

X R Matematiikan johdantokurssi, syksy 2016 Harjoitus 5, ratkaisuista

Lineaariavaruudet. Span. Sisätulo. Normi. Matriisinormit. Matriisinormit. aiheita. Aiheet. Reaalinen lineaariavaruus. Span. Sisätulo.

1.1. Määritelmiä ja nimityksiä

Ortogonaalinen ja ortonormaali kanta

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

7. Laskutoimitukset eri lukujärjestelmissä 1 / 31

Diskreetti matematiikka, syksy 2010 Harjoitus 7, ratkaisuista

Lukumäärän laskeminen 1/7 Sisältö ESITIEDOT:

Diskreetin matematiikan perusteet Laskuharjoitus 1 / vko 8

Renkaat ja modulit. Tässä osassa käsiteltävät renkaat ovat vaihdannaisia, ellei toisin mainita. 6. Ideaalit

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

8.5. Järjestyssuhteet 1 / 19

811120P Diskreetit rakenteet

Matematiikan tukikurssi

Lukujoukot luonnollisista luvuista reaalilukuihin

Todennäköisyyslaskenta I, kesä 2017 Helsingin yliopisto/avoin Yliopisto Harjoitus 1, ratkaisuehdotukset

6 Relaatiot. 6.1 Relaation määritelmä

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

Osa 1: Todennäköisyys ja sen laskusäännöt. Todennäköisyyden aksioomat

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

Alkioiden x ja y muodostama järjestetty pari on jono (x, y), jossa x on ensimmäisenä ja y toisena jäsenenä.

Johdatus matematiikkaan

Huom. muista ilmoittautua kokeeseen ajoissa. Ilmoittautumisohjeet kurssin kotisivuilla.

Diskreetin Matematiikan Paja Tehtäviä viikolle 2. ( ) Jeremias Berg

Sovellettu todennäköisyyslaskenta B

Diskreetin matematiikan perusteet Laskuharjoitus 2 / vko 9

Johdatus todennäköisyyslaskentaan Todennäköisyyden aksioomat. TKK (c) Ilkka Mellin (2005) 1

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

811120P Diskreetit rakenteet

Johdatus matemaattiseen päättelyyn (5 op)

Matematiikan tukikurssi, kurssikerta 3

Jarkko Peltomäki. Aliryhmän sentralisaattori ja normalisaattori

Matematiikan johdantokurssi, syksy 2016 Harjoitus 11, ratkaisuista

Talousmatematiikan perusteet, L2 Kertaus Aiheet

Lineaariset kongruenssiyhtälöryhmät

Matematiikka kaikille, kesä 2017

MS-A0402 Diskreetin matematiikan perusteet

1. Logiikan ja joukko-opin alkeet

Äärettömistä joukoista

1 Perusasioita joukoista

Karteesinen tulo. Olkoot A = {1, 2, 3, 5} ja B = {a, b, c}. Näiden karteesista tuloa A B voidaan havainnollistaa kuvalla 1 / 21

Algebra I, harjoitus 5,

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

Diskreetin Matematiikan Paja Ratkaisuehdotuksia viikolle 2. ( ) Jeremias Berg

Salausmenetelmät. Veikko Keränen, Jouko Teeriaho (RAMK, 2006)

0. Kertausta. Luvut, lukujoukot (tavalliset) Osajoukot: Yhtälöt ja niiden ratkaisu: N, luonnolliset luvut (1,2,3,... ) Z, kokonaisluvut

T Syksy 2003 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet )

ABHELSINKI UNIVERSITY OF TECHNOLOGY

Esko Turunen Luku 9. Logiikan algebralisointi

Talousmatematiikan perusteet, L2 Kertaus Aiheet

Relaation ominaisuuksia. Ominaisuuksia koskevia lauseita Sulkeumat. Joukossa X määritelty relaatio R on. (ir) irrefleksiivinen, jos x Rx kaikilla x X,

Predikaattilogiikkaa

Yhtenäisyydestä. Johdanto. Lähipisteavaruus. Tuomas Korppi

T Syksy 2005 Logiikka tietotekniikassa: perusteet Laskuharjoitus 8 (opetusmoniste, kappaleet )

Joukossa X määritelty relaatio R on. (ir) irrefleksiivinen, jos x Rx kaikilla x X,

Matriisilaskenta. Harjoitusten 3 ratkaisut (Kevät 2019) 1. Olkoot AB = ja 2. Osoitetaan, että matriisi B on matriisin A käänteismatriisi.

Transkriptio:

A-B, kun A < B 1 / 20 Ylivuoto Luvunk p esittäminen vaatiip+1merkkiä, joista 1. merkki on1ja loputpmerkkiä0:ia. Tapauksessa, missäajab ovat positiivisia,a > B, on lukua B:kin positiivinen, joten A B +k p = A+B > k p. ja esittäminen vaatiip+1merkkiä, joista ensimmäinen on1. p+1:n merkin tarvetta kutsutaan ylivuodoksi (overflow). KunA > B, niin pyyhkimälläa B :stä ylivuotomerkki pois saadaan erotus. Esityksessä A B = A+B k p vähentäminenk p :llä edustaa juuri ylivuotomerkin poispyyhkimistä. 2 / 20 Tapaus A<B KunAjaB ovat positiivisia jaa < B, ona B < 0 SilloinA B +k p on lukuak p pienempi ja sen esittämiseen ei tarvitakaanp+1:tä merkkiä eli ylivuotoa. Johtopäätös: KunA+B :ssä on ylivuoto, niin haettu erotus on positiivinen ja erotus saadaan pyyhkimällä ylivuotomerkki pois. KunA+B :ssä ei ole ylivuotoa on haettu erotus negatiivinen ja erotus saadaan määräämälläa+b :nk:n komplementti (mikä edustaak p :n vähentämistäa+b :stä) ja sijoittamalla eteen oikea etumerkki. Siis, kuna B, niin A B = A+B k p = (k p (A+B )) = (A+B ) = ((A+B ) +1) 3 / 20 1

Esimerkki 7.12 Laske A B, kun p = 5, k = 10 (eli käytetään 10- järjestelmän lukuja), A = 25 = 00025 jab = 183 = 00183. Ratk B = 99999 00183 = 99816 ja B = B +1 = 99817. A+B = 00025+99817 = 99842 Ei ylivuotoa, jotena B < 0. LuvunA+B 9:n komplementti on(a+b ) = 00157 ja 10:n komplementti (A+B ) = 00157+1 = 00158. A B = (A+B ) = 158. 4 / 20 Esimerkki 7.14. Laske ilman lainaamista(301) 6 (5001) 6 6-järjestelmässä. Ratk.... 5 / 20 2

8. Joukoista 6 / 20 Joukon määritelmä Joukko on alkioidensa kokoelma. Valitsemalla sopivat alkiot joudutaan tämän määritelmän kanssa vaikeuksiin, jotka voidaan välttää rakentamalla joukko oppi aksiomaattisesti. Näin ei tässä tehdä vaan tyydytään ns. naiviin joukko oppiin. Joukko tunnetaan luettelemalla/määrittelemällä sen alkiot. x A xona:n alkio (kuuluua:han). Esimerkiksi joukko R = {x x reaaliluku}; N = {x x luonnollinen luku} = {0,1,2,3,...}; A = {a,b,c,d}. 7 / 20 Naiivin joukko-opin ongelma Russellin paradoksi: P on kaupungin ainoa parturi ja miespuolinen. Jokainen kaupungin mies joko ajaa oman partansa tai parturi P ajaa hänen partansa. Parturi P ajaa siis vain sellaisten miesten parran, jotka eivät aja sitä itse. Kuka ajaa P:n parran? OlkoonS niiden kaupungin miesten joukko, joilta P ajaa parran. JosP S, niinp ajaa oman partansa, elip / S JosP / S, niinp :n parran ajaap, elip S Ratk. Tällaista parturia ei voi olla olemassa. 8 / 20 3

8.1. Määritelmiä JoukotAjaB ovat samat, elia = B, jos niiden alkiot ovat samat. Kun alkiox A niinx B ja kuny B niiny A Kun kaikkia:n alkiot kuuluvatb:hen, niinaonb osajoukko. A B Kunx A, niinx B. YlläolevaA = B:n määritelmä merkitsee sitä, ettäa = B (A B jab A). SelvästiA A. JosA B, mutta joukotajab eivät ole samat, niin joukkoaon silloin joukonb aito osajoukko. 9 / 20 Määritelmiä jatkoa Joukko, joka ei sisällä alkioita on tyhjä joukko. Aina kunaon joukko, A. Joukko voi olla myös joukkojen joukko eli sen alkiot ovat joukkoja: Esimerkiksi{,{a},{b},{a, b}} on joukkojen joukko. Joukon A potenssijoukko P(A) on kaikkien A:n osajoukkojen muodostama joukko. Esimerkki. Joukon A = {a, b, c} potenssijoukko on P(A) = {,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}}. Lause. Jos joukossaaonnalkiota, niinp(a):ssa on2 n alkiota. Tod.... 10 / 20 4

Joukkojen toimituksia Unioni : A B = {x x A taix B} Leikkaus : A B = {x x A jax B} Komplementti : A = {x x A}; tällöin ajatellaan A:n olevan jonkin perusjoukonu osajoukko ja siis A A = U. Erotus\:A\B = {x x A ja x B} Esimerkki 8.2. A = {a,b,c,d} jab = {b,c,e,f}a B = {a,b,c,d,e,f} A B = {b,c} A\B = {a,d} B \A = {e,f}. Jos lisäksi perusjoukkou = {a,b,c,d,e,f,g}, niin joukkoa = {e,f,g} ja joukkob = {a,d,g}. 11 / 20 Joukot ja Boolen algebra PerusjoukonU osajoukot muodostavat toimitusten, ja suhteen Boolen algebran missä = 0 jau = 1. Silloin esimerkiksi de Morganin lait: (A B) = (A ) (B ) (A B) = (A ) (B ) ovat voimassa. 12 / 20 5

8.2. Joukon alkioiden lukumäärä Olkoon A joukonaalkioiden määrä. Kuinka monta alkiota on kahden joukonajab unionissaa B? Yleisesti A B A + B, sillä summassa A + B joukona B alkiot tulevat lasketuiksi kahteen kertaan. Täten leikkausjoukon alkioiden lukumäärä on vähennettävä joukkojenajab alkioiden summasta. Eli A B = A + B A B. Tapaus A B C?... 13 / 20 Inclusion exclusion Yleisesti: A 1 = A 1 A 1 A 2 = A 1 + A 2 A 1 A 2 A 1 A 2 A 3 = A 1 + A 2 + A 3 A 1 A 2 A 1 A 3 A 2 A 3 + A 1 A 2 A 3 A 1 A 2 A 3 A 4 = A 1 + A 2 + A 3 + A 4 A 1 A 2 A 1 A 3 A 1 A 4 A 2 A 3 A 2 A 4 A 3 A 4 + A 1 A 2 A 3 + A 1 A 2 A 4 + A 1 A 3 A 4 + A 2 A 3 A 4 A 1 A 2 A 3 A 4 14 / 20 6

Inclusion exclusion jatkoa Matemaattisella induktiolla voidaan näyttää todeksi n A 1 A 2 A n = A 1 A i A j + 1 i<j<k n 1 1 i j n A i A j A k +( 1) n+1 A 1 A 2 A n. 15 / 20 Esimerkki 8.3. Kuudensadan televisiokatsojan säännöllisiä katsomistottumuksia kyseltiin kolmen televisiosarjan perusteella. Sarjat olivat: Komeat ja urheat (=KR), Piilotetut hetket (=SE) ja Himakuja (=KK). Vastauksista saatiin seuraavat katsojalukumäärät: Sarjat KR SE KK KRSE KRKK SEKK KRSEKK Katsojia: 155 230 155 70 45 50 30 Missä esimerkiksi KK tarkoittaa sitä, että katsoja on seurannut säännöllisesti sarjaa KK ja KRKK tarkoittaa sitä, että katsoja on seurannut sää nnöllisesti sekä sarjaa KR että sarjaa KK. a) Kuinka moni kyselyyn vastanneista oli seurannut säännöllisesti ainakin yhtä sarjaa? b) Kuinka moni katselijoista oli seurannut säännöllisesti ainakin kahta sarjaa? Ratk.... 16 / 20 7

8.3. Suhteet eli relaatiot A jab ovat joukkoja. Karteesinen tuloa B on järjestettyjen alkioparien joukko: A B = {(a,b) a A ja b B}. Taso on kahden lukusuoran karteesinen tulo. YleensäA B B A (koskaa B:n pareissa ensina:n alkiot ja sittenb:n alkiot jab A:n pareissa ensinb:n alkiot ja sittena:n alkiot); poikkeuksia saadaan kuna = B ja kuna = taib =. 17 / 20 Relaation määritelmä OlkootAjaB joukkoja. Kaksipaikkainen suhde eli relaatio R A:sta B:hen on A B:n osajoukko: R A B. Tällöin tieto a on suhteessarb:hen merkitään (a,b) R tai arb, ja kunaei ole suhteessarb:hen, merkitään (a,b) R ja a Rb. MerkinnänaRb takana on reaaliluvuista tuttu suhde, jolla merkitään100 103 (tai95 13). Merkintä(100, 103) on outo. 18 / 20 8

Relaation määritelmä jatkoa KunA = B, niin suhdettara:stab:hen sanotaan lyhyesti suhteeksi joukossaa(esim. on suhde joukossa R). Esimerkiksi R = {(a,1),(b,2),(c,3)} on suhde joukossa{a, b, c} {1, 2, 3}, {(x,x 2 ) x R} on suhde joukossar. 19 / 20 Spesiaalisuhteita Suhde (=relaatio)rjoukossaaon (i)refleksiivinen jos(a, a) R aina kun a A, (ii) symmetrinen jos aina kuna,b A on voimassa(a,b) R (b,a) R, (iii) antisymmetrinen, jos aina kuna,b A jaa b on voimassa(a,b) R (b,a) / R. (iii) transitiivinen, jos aina kuna,b,c A on voimassa(a,b),(b,c) R (a,c) R. 20 / 20 9