Relatsioonid ja funktsioonid 1. Relatsioon on hulk paare Lähtu me ees pooldefineeri tud hulkade Cartes ius e korrutis es t ehk ris tkorrutis es t (öeldaks e ka ots ekorrutis ) A × B tähendab kõiki järj es tatud paaride hulka (a,b), kus a A j a b B. N 1: A ntud on hulgad A= { 1,2} j a B={ 1} Leia me : A × B= { (1,1),(2,1)} B × A ={ (1,1),(1,2)} J äreldus : A × B B × A Hu lga A × B alam h ulk a R n im etatak s e b in aars eks relats ioon ik s hu lgas t A hu lk a B K ui (a,b) R, s iis kirj utataks e ka aRb. J uhul kui a pole s eotud b-ga s iis kirj utataks e a R b . Erij uhul kui B=A , s iis R on binaars e relats ioon hulgal A . (alterna tiivne levinud tähis tus on A x B : A B ) Relatsiooni (vastavuse) määramispiirkond , tähis on Dom(R) D om(R )= { a A |leidub b B nii et (a,b) R } (doma in of R) Relatsiooni (vastavuse) muutumispiirkond
Matemaatiliste tõestuste meetodid 1. Otsesed tõestuse meetodid M ate maa tiline s üs teem koos neb aks ioomides t, teoreemides t, definits ioonides t ja defineeri ma ta obj ektides t. A ks ioom on laus e, mid a eeldataks e tõene olevat. D ef in its ioon i kas utataks e uute konts epts ioonide ja mõis t ete s elgitamis eks teadaolev ate mõis te te kaudu. T eoreem on väide, mis on tões tatud. L em m a - väiks ema is es eis va tähts us ega teoree m, mis on enamas t i abiks teoree mi de tões ta mis e l. Järeld u s - toeree mis t ots es elt järelduv tule mus N äited: D efineeri ma ta obj ektid: punktid, jooned D efinits ioon: Kolmnurg a ümber mõ õt on võrdne s elle kol mnurga külgede s ummag a
Matemaatiliste tõestuste meetodid 1. Otsesed tõestuse meetodid M ate maat ilin e s üs teem koos neb aks ioomides t, teoreemides t, definits ioonides t ja defineeri ma ta obj ektides t. A ks ioom on laus e, mid a eeldataks e tõene olevat. D ef in its ioon i kas utataks e uute konts epts ioonide ja mõis t ete s elgitamis eks teadaolev ate mõis te te kaudu. Teoreem on väide, mis on tões tatud. L em m a - väiks e ma is es eis va tähts us ega teoreem, mis on ena mas ti abiks teoreemide tões ta mis e l. Järeld u s - toeree mis t ots es elt j ärelduv tule mus N äited: D efineeri ma ta obj ektid: punktid, jooned D efinits ioon: Kolmnurga ümber mõõ t on võrdne s elle kolmnurga külgede s ummaga
P aradoks : a) H abemeaj aj a puzle- kapten käs ib rühma habemeaj aj ale aj ada habet kõikidel kompan ii liikmete l, eeldus el et rühma liik med ei tohi is e habet aj ada. O lles kõigi teis te habemed aj anud, kas vab talle endale habe. Enda habet ei s aa ta aj ada, s es t nii rikuks ta kapteni käs ku. Kui ta aga enda habet ei aj a, s iis ta peaks ühtpidi kapteni käs u järgi enda habet aj ama (kõikidel liik me tel). D ef: Hu lk A on k ollek ts ioon k orrek ts elt d ef in eeritu d ob jek tid es t, n ii et iga ob jek ti k orral k eh tib ük s järgevas t k ah es t võim alu s es t - x k u u lub h u lk a A , k irju tam e x A - x ei ku u lu h u lk a A , k irju tam e x A H ulki tähis tame s uurte tähtedega j a nende ele men te väikes te tähtedeg a. Tühihulk Ø ={ } N äited hulkada defineerimis es t j a kas uta mis es t N 1. A ntud hulgad { a) x | x on reaalarv ja kehtib x 2 = 1} -1 ja 1
P aradoks : a) H abemeaj aj a puzle- kapten käs ib rühma habemeaj aj ale aj ada habet kõikidel kompan ii liikmete l, eeldus el et rühma liik med ei tohi is e habet aj ada. O lles kõigi teis te habemed aj anud, kas vab talle endale habe. Enda habet ei s aa ta aj ada, s es t nii rikuks ta kapteni käs ku. Kui ta aga enda habet ei aj a, s iis ta peaks ühtpidi kapteni käs u järgi enda habet aj ama (kõikidel liik me tel). D ef: Hu lk A on k ollek ts ioon k orrek ts elt d ef in eeritu d ob jek tid es t, n ii et iga ob jek ti k orral k eh tib ük s järgevas t k ah es t võim alu s es t - x k u u lub h u lk a A , k irju tam e x A - x ei ku u lu h u lk a A , k irju tam e x A H ulki tähis tame s uurte tähtedega j a nende ele men te väikes te tähtedeg a. Tühihulk Ø ={ } N äited hulkada defineerimis es t j a kas uta mis es t N 1. A ntud hulgad { a) x | x on reaalarv ja kehtib x 2 = 1}
ma a s u s an t Pr An Ha t s V rm i s o l me I X Põ h r s o kl ik n 20 a s oo 10 s l e Vabariik tsus Pran Riik Euroopas is e , u e F anca , R e publiq F r a nce n im etus: lik Amet Pindala 5
Paradoksid: Russelli ehk habemeajaja paradoks (hulga esitamine predikaadi abil): P(X) = true, kui argumendina esitatud hulk pole iseenda elemendiks. P(X) = false, kui argumendina esitet hulk on iseenda elemendiks. Kontrollime hulka Y = {X | P(X)} Eeldades, et Y kuuluks hulka Y, saame P(Y) = false => Y ei kuulu hulka Y Eeldades, et Y ei kuulu hulka Y, saame P(Y) = true => Y kuulub Y Paradokside elimineerimine hulkade hierarhia ja klassifitseerimisega. 2. Relatsioonid. Ekvivalentsi- ja järjestusseosed. Relatsioon ehk seos hulkade A ja B vahel on alamhulk A x B-le. Seos hulgal A on alamhulk A x A-le. Pöördrelatsioon R-1 on relatsiooni täiend. aRb -> Elemendid a ja b on seoses R Refleksiivsus - iga a korral aRa (a on iseendaga seoses) Sümmeetria iga a korral aRb => bRa (kõik seosed on vastastikused) Transitiivsus iga a korral aRb && bRc => aRc (põhimõtteliselt järjestusseos)
kohta midagi väidetud. Sealhulgas võib tähisena kasutada ka sedasama muutujat , kui ta ei esine eeldustes (vaba muutujana). 11. **Kvantorite distributeerumine konjunktsiooni ja disjunktsiooniga. **Kvantorite ettetoomine. [3] o Kvantorite distributiivsus: 8x(F(x) & G(x)) = 8xF(x) &8xG(x), 9x(F(x) v G(x)) = 9xF(x) v9xG(x). o vajaduse korral konjunktsiooni ja disjunktsiooni kommutatiivsust, toome kvantorid osavalemite eest valemi ette. HULGAD, FUNKTSIOONID 10 12. Hulgateooria alusmõisted: hulk, element, hulkade võrdsus, tühi hulk. [3, 4, 5] Hulk o üksteisest erinevate objektide kohumit, mida vaadeldakse ühe tervikuna ja kus iga objekti korral on võimalik üheselt kindlaks määrata, kas ta kuulub antud hulka. Element o hulka kuuluv objekt Hulkade võrdsus o DEF: Kahte hulka A ja B loetakse võrdseteks ja kirjutatakse A = B, kui hulgad A ja B
Kõik kommentaarid