D(x, y) - x osztója y-nak

1. Mondjon legalább három példát predikátumra! P (x) - x prím M(x, y) - x merőleges y-ra E(x) - x egyenes D(x, y) - x osztója y-nak 2. Sorolja fel a logikai jeleket! - és (konjunkció) - vagy (diszjunkció) - ha..., akkor... (implikáció) - akkor, és csak akkor (ekvivalencia) - nem (negáció) - kizáró vagy 3. Milyen kvantorokat ismer? Mi a jelük? - létezik, idegen szóval egzisztenciális kvantor - minden, azaz univerzális kavantor 4. Mikor van egy változó egy kvantor hatáskörében? A ( xf) formulában az F-ben szereplő x változók a kvantor hatáskörében állnak. 5. Mik a nyitott, és mik a zárt formulák? Ha egy formulának van szabad változója, akkor nyitott, egyébként zárt. 6. Mondjon két példát nyitott formulára! E(x) - x egyenes I(x, y) - x egyenes illeszkedik y pontra P (x) - x pont x és y szabad változók az alábbi nyitott formulákban: A(x, y) = ( E(x) P (y) I(x, y) ) ( (E(x) ) ) B(x, y) = I(x, y) P (y) 7. Mondjon egy példát zárt formulára! ( C() = x (E(x) y ( P (y) I(x, y) ))) 8. Definiálja a részhalmaz és a valódi részhalmaz fogalmát, és adja meg a kapcsolódó jelöléseket! B halmaz részhalmaza A halmaznak, ha B minden eleme A-nak is eleme. Jelölés: B A, A B Ha B részhalmaza A-nak, de nem egyenlő vele, akkor B valódi részhalmaza A-nak. Jelölés: B A, A B 9. Milyen tulajdonságokkal rendelkezik a halmazok egyenlősége? A, B, C halmazok esetén: 1. reflexív: ( A(A = A)) 2. tranzitív: ( A, B, C((A = B) (B = C)) (A = C)) 3. antiszimmetrikus: ( A, B((A = B) (B = A)) (A = B)) 4. szimmetrikus: ( A, B((A = B) (B = A))) 10. Írja le a részhalmaz fogalmát! Milyen jelöléseket használunk a részhalmazok megadására? B halmaz részhalmaza A halmaznak, ha B minden eleme A-nak is eleme. Formálisan: B = {x A F(x)} 11. Írja le az üres halmaz fogalmát! Olyan halmaz, melynek nincs eleme. Jelölés: = {} 2

12. Igaz-e, hogy csak egy üres halmaz van? Igaz, a meghatározottsági axióma miatt csak egy üres halmaz van. 13. Írja le két halmaz unióját, és a megfelelő jelöléseket! Ha A és B halmaz, akkor A unió B azokat az elemeket tartalmazza, melyek A-nak, B-nek vagy mindkettőnek elemei. Jele: A B9 14. Írja le a halmazrendszer unióját, és a megfelelő jelöléseket! Olyan halmaz, melynek elemei az A halmazrendszer valamely elemének az elemei. Formálisan: A = H A H = {x H A : x H} Jelölés: A, {A A A}, A A A 15. Fogalmazza meg a halmazok uniójának alaptulajdonságait! A, B, C halmazok 1. A = A 2. A B = B A (kommutatív) 3. (A B) C = A (B C) (asszociatív) 4. A A = A (idempotens) 5. A B A B = B 16. Definiálja a halmazrendszer és két halmaz metszetét, illetve adja meg a kapcsolódó jelöléseket! Ha A és B halmaz, akkor A metszet B azon elemek halmaza, melyek A-nak és B-nek is elemei. Jelölés: A B Formálisan: A B := {x A x B} A halmazrendszer metszete az a halmaz, melynek elemei a halmazrendszer minden elemének eleme. Jelölés: A, {A A A}, A A A Formálisan: A := {a : a A minden A A-ra} 17. Fogalmazza meg a halmazok metszetének alaptulajdonságait! A, B, C halmazok 1. A = 2. A B = B A (kommutatív) 3. (A B) C = A (B C) (asszociatív) 4. A A = A (idempotens) 5. A B A B = A 18. Fogalmazza meg az unió és a metszet disztributivitását! A, B, C halmazok A (B C) = (A B) (A C) A (B C) = (A B) (A C) 19. Definiálja a halmazok különbségét, szimmetrikus differenciáját és komplementerét! A, B halmaz különbség: A \ B := {x A x / B} szimmetrikus differencia: A B := {x x A x B} = (A \ B) (B \ A) A halmaz X-re vonatkozó komplementere: A := X \ A 3

20. Fogalmazza meg a halmazok komplementerének alaptulajdonságait! 1. A = A 2. = X 3. X = 4. A A = X 5. A A = 6. A B B A 7. A B = A B 8. A B = A B 21. Írja le a hatványhalmaz fogalmát! Milyen jelölések kapcsolódnak hozzá? Ha A halmaz, akkor A hatványhalmaza egy olyan halmazrendszer, melynek elemei A részhalmazai. Jele: P(A) 22. Definiálja a rendezett pár fogalmát és koordinátáit! Bármely x, y esetén (x, y) := { {x}, {x, y} } Az (x, y) rendezett pár első koordinátája x, a második y. 23. Definiálja két halmaz Descartes-szorzatát! X, Y halmaz X Y := { (x, y) x X y Y } rendezett párokból álló halmaz X és Y Descartesszorzata. 24. Definiálja a binér reláció fogalmát, és adja meg a kapcsolódó jelöléseket! R reláció minden eleme egy rendezett pár. Jelölések: (x, y) R vagy xry (x és y között fennáll az R reláció) 25. Adjon három példát binér relációra! 1. 2. I X = { (x, x) X X x X } 3. R = { (x, y) R 2 x 2 = y } 26. Mit jelent az, hogy R reláció X és Y között? Mit jelent az, hogy R egy X-beli reláció? R reláció X és Y halmaz között: R X Y Ha X = Y, akkor R egy X-beli homogén binér reláció. 27. Definiálja a binér reláció értelmezési tartományát és értékkészletét, illetve adja meg a kapcsolódó jelöléseket! X, Y halmaz, R X Y R reláció értelmezési tartománya: dmn(r) := {x X y Y : xry} R reláció értékkészlete: rng(r) := {y Y x X : xry} 28. Definiálja binér reláció kiterjesztését, leszűkítését, leszűkítését egy halmazra! S, R binér reláció, A halmaz S R esetén S az R leszűkítése, vagy R az S kiterjesztése. R reláció leszűkítése A halmazra: R A := { (x, y) R x A } 29. Definiálja egy binér reláció inverzét! R binér reláció R 1 := {(y, x) (x, y) R} 4

30. Definiálja halmaz képét és inverz képét binér relációnál, illetve adja meg a kapcsolódó jelöléseket! R binér reláció, A halmaz A halmaz képe: R(A) := { y x A : (x, y) R } A halmaz inverz képe: R 1 (A) := { y x A : (y, x) R } 31. Definiálja binér relációk kompozicióját! Lehet-e a kompozició üres? R, S binér relációk R és S kompoziciója: R S := { (x, y) z : zry xsz } A kompozició akkor üres, ha dmn(r) és rng(s) diszjunkt. 32. Fogalmazzon meg két binér reláció kompoziciójára vonatkozó állítást! R, S, T binér relációk 1. (R S) T = R (S T ) (asszociatív) 2. (R S) 1 = S 1 R 1 33. Mit jelent az, hogy egy reláció tranzitív, szimmetrikus, illetve dichotom? Ezek közül melyek azok, amik csak a reláción múlnak? X halmaz, R binér reláció tranzitív: x, y, z (( (x, y) R (y, z) R ) (x, z) R ) szimmetrikus: x, y ( (x, y) R (y, x) R ) dichotom: x, y X-re (x, y) R (y, x) R igaz A tranzitivitás és a szimmetria csak a reláción múlik. 34. Mit jelent az, hogy egy reláció antiszimmetrikus, illetve trichotom? Ezek közül melyek azok, amik csak a reláción múlnak? X halmaz, R binér reláció antiszimmetrikus: x, y ( (x, y) R (y, x) R ) x = y trichotom: x, y X(x = y (x, y) R (y, x) R) Az antiszimmetria csak a reláción múlik. 35. Mit jelent az, hogy egy reláció szigorúan antiszimmetrikus, reflexív, illetve irreflexív? Ezek közül melyek azok, amik csak a reláción múlnak? X halmaz, R binér reláció szigorúan antiszimmetrikus: x, y ( (x, y) R (y, x) / R ) reflexív: x X : (x, x) R irreflexív: x X : (x, x) / R Az szigorú antiszimmetria csak a reláción múlik. 36. Definiálja az ekvivalenciarelációt, illetve az osztályozás fogalmát! X halmaz, R X X reláció ekvivalenciareláció, ha tranzitív, szimmetrikus és reflexív. X részhalmazainak egy O rendszerét X osztályozásának nevezzük, ha O páronként diszjunkt nem üres halmazokból álló halmazrendszer, melyre O = X 37. Mi a kapcsolat az ekvivalenciarelációk és az osztályozások között? Minden X halmazon értelmezett ekvivalenciarelációhoz ( ) létezik egy O = { x x X} osztályozás, ahol x = {y X y x} Másfelől minden osztályozás megad egy ekvivalenciarelációt: R = {Y Y : Y O} 5

38. Definiálja a részbenrendezés, illetve a részbenrendezett halmaz fogalmát! Mit mondhatunk egy részbenrendezett halmaz egy részhalmazáról? Ha egy X halmazbeli reláció reflexív, antiszimmetrikus és tranzitív, akkor részbenrendezésnek nevezzük. Jelölés: A részbenrendezett halmaz tulajdonképpen a (X, ) pár. X részbenredezett halmaz Y részhalmaza is részbenrendezett. 39. Definiálja a (teljes) rendezés fogalmát! Ha a részbenrendezési reláció dichotom is, azaz, ha X bármely két eleme összehasonlítható, akkor rendezésnek nevezzük. 40. Mondjon példát részbenrendezett, de nem rendezett halmazra! n, m N, n m reláció. 41. Definiálja egy relációnak megfelelő szigorú, illetve gyenge reláció fogalmát! R X X S az R-nek megfelelő szigorú reláció: xry x y xsy, ahol S X X T az R-nek megfelelő gyenge reláció: xry x = y xt y, ahol T X X 42. Definiálja a szigorú részbenrendezést, és fogalmazza meg a kapcsolatát a részbenrendezéssel! Ha < egy X-beli szigorú részbenrendezés, amin egy tranzitív, szigorúan antiszimmetrikus (tehát irreflexív is) relációt értünk, akkor a megfelelő gyenge reláció egy részbenrendezés ( ). 43. Definiálja az intervallumokat, és adja meg a kapcsolódó jelöléseket! X egy részbenrendezett halmaz Ha z x és z y, akkor z az x és y közé esik. Az ilyen elemek halmazát [x, y]-al jelöljük. Ha z > x és z < y, akkor z szigorúan az x és y közé esik. Az ilyen elemek halmazát ]x, y[ vagy (x, y) jelöli. Az [x, y[ és az ]x, y] értelmezése analóg. Itt használatos a [x, y), illetve a (x, y] jelölés is. A fenti halmazok közös néven intervallumok. 44. Definiálja a kezdőszelet fogalmát, és adja meg a kapcsolódó jelöléseket! X részbenrendezett halmaz Egy x X elemhez tartozó kezdőszeletnek a {y X y < x} részhalmazt nevezzük. Ennek jelölése: ], x[ (A ], x], ]x, [, [x, [ jelölések analóg értelmezendők) 45. Definiálja a legkisebb és legnagyobb elem fogalmát! X részbenrendezett halmaz legkisebb elem: x X, y X-re x y legnagyobb elem: x X, y X-re x y Nem biztos, hogy léteznek ilyen elemek, de ha igen, akkor egyértelmű. 46. Definiálja a minimális és a maximális elem fogalmát, és adja meg a kapcsolódó jelöléseket! X részbenrendezett halmaz x X-et minimálisnak nevezzük, ha nincs nála kisebb, maximálisnak pedig, ha nincs nála nagyobb elem. Ha X-nek! minimális eleme, akkor azt min X-szel, ha pedig! maximális eleme azt max X-szel jelöljük. 6

47. Adjon meg egy olyan részbenrendezett halmazt, melyben több minimális elem van! X = {2, 3, 4, 5, 6, 10} R = { (x, y) X 2 : x y } relációban a 2, 3 és az 5 minimális. 48. Adjon meg olyan részbenrendezett halmazt, melyben nincs maximális elem! Ilyen halmaz például a természetes számok halmaza (N). 49. Definiálja az alsó és felső korlát fogalmát! X részbenrendezett halmaz, Y X, x X y Y : y x x felső korlátja Y -nak y Y : y x x alsó korlátja Y -nak 50. Definiálja az alsó és a felső határ tulajdonságot! X részbenrendezett halmaz = S X felülről korlátos, és van felső korlátja S felső határ tulajdonságú. = S X alulról korlátos, és van alsó korlátja S alsó határ tulajdonságú. 51. Definiálja az infimum és a szuprémum fogalmát! X részbenrendezett halmaz, Y X Ha Y alulról korlátos, és az alsó korlátok halmazában van legnagyobb elem, akkor azt Y infimumának nevezzük. Jele: inf Y Ha Y felülről korlátos, és a felső korlátok halmazában van legkisebb elem, akkor azt Y szuprémumának nevezzük. Jele: sup Y 52. Definiálja a jólrendezés és a jólrendezett halmaz fogalmát! Egy X rendezett halmazt jólrendezettnek, a rendezését pedig jólrendezésnek nevezzük, ha X bármely nem üres részhalmazának van legkisebb eleme. 53. Adjon meg egy olyan rendezett halmazt, ami nem jólrendezett! Z, mivel a negatív számokból álló részhalmaznak nincs legkisebb eleme vagy a R, mivel például a ]0, 1[ intervallumnak nincs legkisebb eleme. N 54. Adjon példát jólrendezett halmazra! 55. Definiálja a függvény fogalmát, és ismertesse a kapcsolódó jelöléseket! ( ((x, Egy f reláció függvény, ha y) f (x, y ) f ) ) y = y. Jelölések: x dmn(f)-re f(x) = y, f : x y (az f függvény x helyen felvett y értéke), f : X Y (X halmazt Y -ba képező f függvény) 56. Mi a különbség az f X Y és a f : X Y között? f X Y esetén dmn(f) X, míg f : X Y esetén dmn(f) = X 57. Mikor nevezünk egy függvényt kölcsönösen egyértelműnek? Egy f függvény kölcsönösen egyértelmű (injektív), ha ( f(x) = y f(x ) = y ) x = x f 1 reláció is függvény. 58. Definiálja a permutáció fogalmát! Egy X halmaz önmagára való kölcsönösen egyértelmű leképezéseit az X permutációjának nevezzük. 7

59. Igaz-e, hogy két függvény összetétele is függvény? Igaz, ha f és g függvény, akkor g f is az. 60. Mikor állítjuk, hogy két függvény összetétele injektív, szürjektív, illetve bijektív? Ha f és g injektív, akkor g f is. Ha f : X Y és g : Y Z szürjektívek, akkor g f : X Z is szürjektív. Ha f és g bijektív, akkor g f is. 61. Mikor nevezünk egy függvényt monoton növekedőnek, illetve monoton csökkenőnek? X, Y részbenrendezett halmazok, f : X Y monoton növekedő, ha x, y X, x y esetén f(x) f(y), és monoton csökkenő, ha x, y X, x y esetén f(x) f(y). 62. Mikor nevezünk egy függvényt szigorúan monoton növekedőnek, illetve szigorúan monoton csökkenőnek? X, Y részbenrendezett halmazok, f : X Y szigorúan monoton növekedő, ha x, y X, x < y esetén f(x) < f(y), és szigorúan monoton csökkenő, ha x, y X, x < y esetén f(x) > f(y). 63. Mi a kapcsolat a szigorúan monoton növekedő és az injektív függvények között? Ha X, Y rendezett halmaz, akkor egy f : X Y szigorúan monoton függvény injektív is. 64. Mit értünk indexhalmaz, indexelt halmaz és indexelt család alatt? f függvény i helyen felvett értékét f i -vel jelöljük. Ilyenkor a függvény I értelmezési tartományát indexhalmaznak, értékkészletét pedig indexelt halmaznak, a függvényt pedig indexelt családnak nevezzük. 65. Definiálja az indexelt halmazcsaládokra vonatkozó De Morgan-szabályokat! X i, i I az X részhalmazainak indexelt családja. Ekkor az X-re vonatkozó komplementer: ( i I X i ) = i I X i ( i I X i ) = i I X i 66. Definiálja a binér, unér és nullér műveletek fogalmát, továbbá ismertesse a kapcsolódó jelöléseket! X egy halmaz X-beli binér műveleten egy : X X X leképezést értünk, X-beli unér műveleten egy : X X leképezést értünk, míg nullér műveleten : { } X leképetést értünk, ami tulajdonképp X egy elemének a kijelölése. 67. Adjon meg egy binér műveletet táblázattal! Binér logikai műveletek, például: (és), (implikáció). 8

68. Hogyan definiálunk műveleteket függvények között? X halmaz, Y halmaz a binér művelettel (f g)(x) = x X ( f(x) g(x) ), ha f, g : X Y Hasonloán definiaĺhatoḱ uneŕ eś nulleŕ mu veletek fu ggveńyeken. 69. Definiálja a művelettartó leképezés fogalmát! binér művelet az X halmazon, binér művelet az X halmazon φ : X X leképezés művelettartó, ha x, y X-re φ(x y) = φ(x) φ(y) 70. Adjon példát művelettartó leképezésre! X = X = R = = szorzás φ : x x 2 művelettartó, mert (xy) 2 = x 2 y 2 71. Fogalmazza meg a rekurziótételt! X egy halmaz, a X, f : X X függvény és N-en teljesülnek a Peano-axiómák, akkor!g : N X függvény, amelyre n N ( g(0) = a g(n + ) = f(g(n)) ). 72. Definiálja a karakterisztikus függvény fogalmát, és ismertesse a kapcsolódó jelöléseket! X, Y halmaz, Y X. Ekkor Y karakterisztikus függvénye: { 0, ha x X \ Y χ Y (x) = 1, ha x Y 73. Definiálja a bal és jobb oldali semleges elem, illetve a semleges elem fogalmát! G halmaz, : G G G Ha s G és g G(s g = g), akkor s bal oldali semleges elem. Ha s G és g G(g s = g), akkor s jobb oldali semleges elem. Ha s bal és jobb oldali semleges elem is, akkor s semleges elem. 74. Definiálja a félcsoport, a balinverz, a jobbinverz és az inverz fogalmát, továbbá ismertesse a kapcsolódó jelöléseket! G halmaz, : G G G Ha asszociatív, akkor a (G, ) grupoid félcsoport. Ha (G, ) félcsoportban van semleges elem, tehát (G, ) monoid, akkor g, g G, s semleges elem, illetve g g = s esetén g a g balinverze, g pedig a g jobbinverze. Ha g a g bal- és jobbinverze, akkor g inverz. 75. Igaz-e, hogy egy egységelemes multiplikatív félcsoportban, ha h-nak és g-nek van inverze, akkor h g-nek is, és ha igen, mi? Igaz, ha h-nak h, g-nek g az inverze, akkor h g inverze g h. 76. Definiálja a csoport és az Abel-csoport fogalmát! G halmaz, : G G G (G, ) csoport, ha (G, ) grupoidban a asszociatív, van semlegesen eleme, továbbá G minden elemének létezik inverze. (G, ) csoport Abel-csoport, ha kommutatív. 9

77. Igaz-e, hogy ha X tetszőleges halmaz, akkor (P(X), ) egy egységelemes félcsoport? Igaz, egységelemes kommutatív félcsoport, ahol az egységelem maga az X. 78. Igaz-e, hogy ha X tetszőleges halmaz, akkor (P(X), ) egy csoport? Nem, egységelemes ( az egységelem) kommutatív félcsoport. 79. Igaz-e, hogy ha X tetszőleges halmaz, akkor (P(X), ) egy félcsoport? Igaz, Abel-csoport, mivel az inverz a komplementer, az egységelem pedig az. 80. Igaz-e, ha X tetszőleges halmaz, akkor az X-beli binér relációk a kompozició művelettel egységelemes félcsoportot alkotnak? Igaz, mivel a kompozició művelet asszociatív ( R, Q, S relációkra (R Q) S = R (Q S) ), az egységelem pedig I X = { (x, x) X X x X }, mivel R X X-re R I X = I X R = R. 81. Igaz-e, ha X tetszőleges halmaz, akkor az X-et X-re képező bijektív leképezések a kompozició művelettel csoportot alkotnak? Igaz, a bijektív leképezek csoportot alkotnak, mivel a bijekció injektív, és az injektív leképezéseknek van inverze. 82. Fogalmazza meg a természetes számokra a reláció és a műveletek kapcsolatát leíró tételt! n, m, k N n m n + k m + k k 0 esetén n m n k m k 83. Definiálja a véges sorozatokat! Ha n N, akkor a [0, n] N vagy [1, n] N + halmazon értelmezett függvényeket véges sorozatnak nevezzük. 84. Fogalmazza meg az általános rekurziótételt! X halmaz, f egy X-be képező függvény, ahol dmn(f) N valamely kezdőszeletéből X-be képező függvények halmaza. Ekkor!g : N X, amely f-zárt, tehát a N ( g(a) = f(g ],a[ ) ) 85. Definiálja véges sok elem szorzatát félcsoportban és egységelemes félcsoportban! G egy multiplikatív félcsoport, x : N G Az általános rekurziótételt alkalmazva definiálhatjuk a ( n 1 n+1 n ) x k szorzatokat úgy, hogy x k = x 1 és x k = x k x n+1 (n N + ) k=1 k=1 Ha G egységelemes multiplikatív félcsoport e egységelemmel, akkor érdemes úgy megállapodni, hogy 0 x k = e k=1 86. Hogyan értelmezzük a a A x a jelölést? Ha G félcsoport, A halmaz, x : A G függvény, n N + és φ : {k N 1 k n} A injektív leképezés, akkor minden ilyen leképezésre n k=1 x φ(k) ugyan az. Ez az általános kommutativitás tétele, és ezt a közös értéket jelöltük a A x a-val. 10 k=1 k=1

87. Definiálja a nullgyűrű és a zérógyűrű fogalmát! A nullgyűrű egy olyan gyűrű, ami csak 1 elemet tartalmaz, és ez a 0. A zérógyűrű additív Abel-csoport, amelyben bármely két elem szorzata 0. 88. Definiálja a bal és jobb oldali nullosztó és a nullosztópár fogalmát! R gyűrű, x, y 0 és x, y R Ha xy = 0 x és y nullosztópár. Itt x a bal, míg y a jobb oldali nullosztó. 89. Definiálja az integritási tartomány fogalmát! Kommutatív nullosztómentes gyűrűt integritási tartománynak nevezünk. 90. Definiálja a rendezett integritási tartomány fogalmát! Egy R rendezett halmaz rendezett integritási tartomány, ha integritási tartomány, és az alábbi feltételek fennállnak: 1. x, y, z R(x y x + z y + z) (összeadás monoton) 2. x, y R(x, y 0 xy 0) (szorzás monoton) 91. Fogalmazza meg a szükséges és elégséges feltételt arra, hogy egy integritási tartomány rendezett integritási tartomány legyen! R integritási tartomány rendezett integritási tartomány ha alaphalmaza rendezett, és az alábbi feltételek fennállnak: 1. x, y, z R(x < y x + z < y + z) (összeadás szigorúan monoton) 2. x, y R(x, y > 0 xy > 0) (szorzás szigorúan monoton) 92. Fogalmazza meg a rendezett integritási tartományokban az egyenlőtlenségekkel való számolás szabályait leíró tételt! R rendezett integritási tartomány, x, y, z R 1. x > 0 x < 0, és x < 0 x > 0 2. (x < y z > 0) xz < yz 3. (x < y z < 0) xz > yz 4. x 0 x 2 > 0 5. Ha 1 semleges elem, 0 < x < y és x, y-nak van multiplikatív inverze, akkor 0 < 1 y < 1 x 93. Definiálja a test fogalmát, és adjon három példát testre! F gyűrűt testnek nevezzük, ha a nullelemet 0-val jelölve F \{0} a szorzással Abel-csoportot alkot. Ilyen például: Q, R, C 94. Definiálja a rendezett test fogalmát, és adjon példát olyan testre, mely nem tehető rendezett testté! Ha egy test rendezett integritási tartomány, akkor rendezett testnek nevezzük. C nem tehető rendezett testté. 95. Fogalmazza meg az arkhimédeszi tulajdonságot! F rendezett test arkhimédeszien rendezett, ha x, y F ( x > 0 n N(nx y) ) 96. Mi a kapcsolata az arkhimédeszi tulajdonságnak a felső határ tulajdonsággal? Egy felső határ tulajdonságú rendezett test mindig arkhimédeszien rendezett. 97. Fogalmazza meg a racionális számok felső határ tulajdonságára és az arkhimédeszi tulajdonságra vonatkozó tételt! A Q számok rendezett teste arkhimédeszien rendezett, de nem felső határ tulajdonságú. 11

98. Fogalmazza meg a valós számok egyértelműségét leíró tételt! R és R két felső határ tulajdonságú rendezett test. Ekkor φ : R R injektív leképezés, mely monoton növekvő, illetve összeadás- és szorzástartó. 99. Definiálja a bővített valós számokat! R = R {, + }. A R számok rendezésének kiterjesztése R-ra: < x < + Ellentett képzése: (+ ) = és ( ) = + Összeadás: x + (+ ) = (+ ) + x = +, ha x R, és x > x + ( ) = ( ) + x =, ha x R, és x < + A (+ ) + ( ) és a ( ) + (+ ) nincs értelmezve. 100. Fogalmazza meg a valós számok létezését leíró tételt! Létezik felső határ tulajdonságú rendezett test. 101. Definiálja a komplex számok halmazát a műveletekkel! A komplex számok halmaza C = R R, azaz rendezett valós számpárok halmaza az (x, y) + (x, y ) = (x + x, y + y ) összeadással, és a (x, y) (x, y ) = (xx yy, xy + x y) szorzásal, mint műveletekkel. 102. Adja meg a R beágyazását C-be! x, x R 1. (x, 0) + (x, 0) = (x + x, 0) 2. (x, 0) (x, 0) = (xx, 0) Emiatt az x (x, 0) injektív, összeadás- és szorzástartó leképezése R-nek C-be, így R = { (x, 0) C x R } 103. Definiálja i-t, komplex szám valós és képzetes részét, konjugáltját és a képzetes számok fogalmát! (0, 1) komplex számot jelölje i. Ennek segítségével tetszőleges a, b R, (a, b) komplex szám átírható a + bi alakba (algebrai alak). z = a + bi C esetén z képzetes része b (jele: Im(z) = b), illetve valós része a (jele: Re(z) = a). z konjugáltja a z = a + bi = a bi komplex számmal egyenlő. Ha Re(z) = 0, akkor z képzetes szám. 104. Fogalmazza meg a komplex konjugálás tulajdonságait! Definíció alapján következnek a következő összefüggések: ( ) 1. z = z 4. z + z = 2Re(z) 1 6. = 1 2. z + w = z + w 5. z z = 2Im(z)i z z 3. zw = z w 105. Definiálja a komplex szám abszolút értékét! Milyen tételt használt? (x, y) C (x, y) = Felhasznált tétel: Pitagorasz-tétel x 2 + y 2 = r 106. Fogalmazza meg a komplex számok abszolútértékének tulajdonságait! z, w C, x R 1. zz = z 2 1 2. z = z z, ha z 0 2 3. (x, 0) = x 4. 0 = 0 és z 0 z > 0 12 5. z = z 6. zw = z w 7. Re(z) z 8. Im(z) z 9. z + w z + w 10. z w z w

107. Definiálja a komplex számokra a sgn függvényt, és fogalmazza meg tulajdonságait! z C Tulajdonságai: 0, ha z = 0 sgn(z) = sgn(z) sgn(z) = z z, ha z 0 sgn(z) = 1, ha z 0 108. Definiálja a komplex számok trigonometrikus alakját és argumentumát! 0 z C t R(sgn(z) = cos t + i sin t). Ha ez az összefüggés fennáll, akkor a t + 2kπ(k Z) számokra is, és csak ezekre. Ha z = 0, akkor bármely t R választható. Ilyenkor a z trigonometrikus alakja z = z (cos t + i sin t). A z argumentuma (jele: arg(z)) az a t R, amelyre π < t π és z = z (cos t + i sin t) 109. Írja fel két komplex szám szorzatát és hányadosát trigonometrikus alakjuk segítségével! z, w C, t = arg(z), s = arg(w) zw = z (cos t + i sin t) w (cos s + i sin s) = zw (cos (s + t) + i sin (s + t)) z w = z w w 2 = z w ( cos (t s) + i sin (t s) ), ha w 0 110. Ha n N + és w C, írja fel a z n = w egyenlet összes megoldását! w = 0 esetén ( z = 0, különben, ha t = arg(w), k N z k = n ( ) ( ) ) t + 2kπ t + 2kπ w cos + i sin, k = [0, n 1] n n különböző komplex számok, amelyek n-edik hatványa w. 111. Írja fel az n-edik komplex egységgyököket. Mit értünk primitív n-edik egységgyökök alatt? Speciálisan, ha w = 1, akkor az ε n = 1 feltételnek az alábbi komplex számok tesznek eleget: ( ) ( ) 2kπ 2kπ ε k = cos + i sin, k = [0, n 1] n n Ezeket n-edik komplex egységgyököknek nevezzük. Az n-edik primitív egységgyökök hatványaiként az összes többi egységgyök előáll. 112. Ha n N + és w C, írja fel a z n = w egyenlet összes megoldását az n-edik egységgyök segítségével! z k = zε k, ahol k = [0, n 1] 113. Fogalmazza meg az algebra alaptételét! Ha n N +, valamint c 0, c 1,..., c n C, c n 0, akkor z C, amelyre n c k z k = 0. k=0 114. Definiálja a halmazok ekvivalenciáját, és sorolja fel tulajdonságait! Tetszőleges X, Y halmazok ekvivalensek, ha φ : X Y bijekció. Jelölése: X Y. Tulajdonságai: 1. X X (reflexív) 2. X Y Y X (szimmetrikus) 3. (X Y Y Z) X Z (tranzitív) 13

115. Ha az X és X illetve Y és Y halmazok ekvivalensek, milyen más halmazok ekvivalenciájára következtethetünk? X Y és X Y is ekvivalens. 116. Definiálja a véges és végtelen halmazok fogalmát! X halmaz véges, ha valamely n N számra ekvivalens a {1, 2,..., n} halmazzal, egyébként végtelen. 117. Definiálja egy véges halmaz elemeinek a számát! Hogyan jelöljük? Mit használt fel a definícióhoz? Az az egyértelműen meghatározott n N, melyre adott X véges halmaz ekvivalens {1, 2,..., n}-nel, az X halmaz elemeinek a száma. Jele: (X), card(x), X A definícióhoz felhasználtuk, hogy minden véges halmaz legfeljebb egy n-re ekvivalens {1, 2,..., n} halmazzal. 118. Fogalmazza meg a véges halmazok és elemszámuk tulajdonságait leíró tételt! X, Y halmazok 1. X véges és Y X Y is véges, és (Y ) (X) 2. X véges és Y X Y is véges, és (Y ) < (X) 3. X, Y véges és diszjunkt X Y is véges, és (X Y ) = (X) + (Y ) 4. X, Y véges (X Y ) + (X Y ) = (X) + (Y ) 5. X, Y véges X Y is véges, és (X Y ) = (X) (Y ) 6. X, Y véges X Y is véges, és (X Y ) = (X) (Y ) 7. X véges P(X) is véges, és (P(X)) = 2 (X) 8. ha X véges, és f : X Y szürjektív, akkor Y is véges, (Y ) (X), és ha f nem injektív, akkor (Y ) < (X) 119. Fogalmazza meg a skatulyaelvet! X, Y véges halmazok, (X) > (Y ), akkor egy f : X Y leképezés nem lehet injektív. 120. Mit mondhatunk egy véges halmazban minimális és maximális elem létezéséről? Részbenrendezett halmaz bármely nem üres részhalmazának van minimális és maximális eleme. 121. Mit mondhatunk véges halmaz összes permutációinak számáról? Egy véges n elemű halmaz permutációinak száma P n = n k=1 k = n! X véges halmaz permutációinak a száma csak (X)-től függ. 122. Mit értünk véges halmaz variációin, és mit mondhatunk az összes variációk számáról? {1, 2,..., k}-t A-ba képező injektív leképezéseket az A k-ad osztályú variációinak nevezzük. Ha (A) = n, akkor számuk V k n = n! (n k)! 123. Definiálja az ismétléses variációk fogalmát! Mit mondhatunk egy véges halmaz összes ismétléses variációinak számáról? {1, 2,..., k}-t A-ba képező leképezéseket az A k-ad osztályú ismétléses variációinak nevezzük. Ha (A) = n, akkor Vn k,i = n k 14

124. Mit értünk egy véges halmaz kombinációin, és mit mondhatunk az összes kombinációk számáról? A halmaz k N elemű részhalmazait az A halmaz k-ad osztályú kombinációinak nevezzük. Ha (A) = n, akkor C k n = n! k!(n k)! = ( n k ) 125. Mit értünk egy véges halmaz ismétléses kombinációin, és mit mondhatunk el az összes ismétléses kombinációk számáról? A halmaz k-ad osztályú ismétléses kombinációi ( olyan f ): A N függvények, melyekre n + k 1 a A f(a) = k igaz. (A) = n esetén Ck,i n = k 126. Mit értünk egy véges halmaz ismétléses permutációin, és mit mondhatunk az összes ismétléses permutáció számáról? Ha r, i 1, i 2,..., i r N, akkor az a 1, a 2,..., a r különböző elemek i 1, i 2,..., i r ismétlődésű ismétléses permutációi az olyan n = i 1 + i 2 +... + i r -tagú szorzatok, amelyekben az a j elem i j -szer fordul elő. Ezek száma P i 1,i 2,...,i r n = n! i 1!i 2! i r! 127. Fogalmazza meg a binomiális tételt! R kommutatív egységelemes gyűrű, x, y R, n N n ( ) n (x + y) n = x k y n k k k=0 128. Írja fel a Pascal-háromszög első 8 sorát! 0. 1 1. 1 1 2. 1 2 1 3. 1 3 3 1 4. 1 4 6 4 1 5. 1 5 10 10 5 1 6. 1 6 15 20 15 6 1 7. 1 7 21 35 35 21 7 1 129. Fogalmazza meg a polinomiális tételt! R kommutatív egységelemes gyűrű, n, r N, x 1, x 2,..., x r R. Ekkor (x 1 + x 2 +... + x r ) n = P i 1,i 2,...,i r n x i 1 1 x i 2 2 x i r r. i 1 +i 2 +...+i r =n i 1,i 2,...,i r N 130. Fogalmazza meg a logikai szita formulát! X 1, X 2,..., X k az X véges halmaz részhalmazai f : X Y, ahol Y Abel-csoport. Legyen S = x X f(x) S r = 1 i 1 <i 2 <...<i r k x (X i1 X i2... X i r ) f(x) és legyen S 0 = Ekkor S 0 = S S 1 + S 2 S 3 + + ( 1) k S k x X\ k i=1 X i f(x) 15

131. Definiálja a természetes számok körében az oszthatóságot, és adja meg a jelöléseket! m, n N. m-et n osztójának, vagy n-t m többszörösének nevezzük, illetve azt mondjuk, hogy n osztható m-el, ha k N(n = mk). Jelölés: m n (m osztója n-nek) 132. Sorolja fel a természetes számok körében az oszthatóság alaptulajdonságait! n, m N 1. (n m n m ) nn mm 6. (k N + mk nk) m n 2. n N(n 0) 7. (m n i k i N) m j i=1 k in i 3. 0 n n = 0 8. (n 0 m n) m n 4. n N(1 n) 9. az reláció részbenrendezés 5. k N(m n mk nk) 133. Definiálja a természetes számok körében a prímszám és a törzsszám fogalmát! Mi a kapcsolat a két fogalom között? k, m, n, p N Ha n > 1 csak 1 n vagy n 1 alakban írható fel természetes számok szorzataként, akkor n törzsszám (irreducibilis). Ha p > 1 és p km (minden lehetséges km felbontásra) esetén p k p m, akkor p prímszám. Minden prímszám törzsszám, és minden törzsszám prímszám. 134. Definiálja egységelemes integritási tartományban az oszthatóságot, és adja meg a jelölését! R egységelemes integritási tartomány, a, b R a osztója b-nek, vagy b az a többszöröse, illetve b osztható a-val, ha c R(b = ac). Jelölése: a b 135. Sorolja fel egységelemes integritási tartományban az oszthatóság alaptulajdonságait! R egységelemes integritási tartomány, a, b, c R 1. (a b a b ) aa bb 2. a R(a 0) 3. 0 a a = 0 4. a R(1 a) (1 egységelem) 5. a b c R(ac bc) 6. (ac bc c 0) a b 7. (a b i c i R) a j i=1 c ib i 8. az reláció reflexív és tranzitív 136. Definiálja az asszociáltak fogalmát, és sorolja fel ennek a kapcsolatnak a tulajdonságait! R egységelemes integritási tartomány, a, b R Ha a b b a a és b asszociáltak. Tulajdonságok: Ez a reláció ekvivalenciareláció, és kompatibilis a szorzással. A 0-nak csak önmaga az asszociáltja. A reláció kompatibilis ezzel az ekvivalenciarelációval, és az ekvivalenciaosztályokon tekintve részbenrendezést kapunk. 137. Definiálja az egységek fogalmát, és sorolja fel az egységek halmazának tulajdonságait! Egy R egységelemes integritási tartományban 1 asszociáltjait egységeknek nevezzük, tehát az egységek R azon elemei, melyeknek a szorzásra nézve inverzük. Tulajdonságok: Az egységek R minden elemének osztói. Az egységek a szorzásra nézve Abel-csoportot alkotnak. 16

138. Mi a kapcsolat az egységek és az asszociáltak között? R egységelemes integritási tartomány a R asszociáltjai a εa alakú elemek, ahol ε egység. 139. Mi a kapcsolat a N és az Z számok körében vett oszthatóság között? Ha a, b Z, akkor ab = a b. m n akkor teljesül az Z számok körében, ha m n teljesül N-ben. 140. Definiálja egységelemes integritási tartományban a prímelem és az irreducibilis elem fogalmát! Mi a kapcsolat a két fogalom között? R egységelemes integritási tartomány 0 a R irreducibilis, ha nem egység, és csak a = bc (ahol b vagy c egység, b, c R) alakban írható fel. 0 p R prímelem, ha nem egység és p ab (a, b R, minden lehetséges ab-re) esetén p a p b. Minden prímelem irreducibilis, de nem minden irreducibilis elem prímelem. 141. Mit értünk egységelemes integritási tartományban legnagyobb közös osztó alatt? R egységelemes integritási tartomány, a 1, a 2,..., a n R elemeknek a b R elem legnagyobb közös osztója, ha i = 1, 2,..., n esetén b a i, és ha b a i b b. 142. Mikor mondjuk egységelemes integritási tartomány elemire, hogy relatív prímek? R egységelemes integritási tartomány, a 1, a 2,..., a n R relatív prímek, ha legnagyobb közös osztóik egységek. 143. Mit értünk egységelemes integritási tartományban legkisebb közös többszörös alatt? R egységelemes integritási tartomány, a 1, a 2,..., a n R elemeknek a b R elem legkisebb közös többszöröse, ha i = 1, 2,..., n esetén a i b, és ha a i b b b. 144. Egyértelmű-e az Z számok körében a legnagyobb közös osztó? Ismertesse a kapcsolódó jelöléseket! Nem, a 1, a 2,..., a n Z számok legnagyobb közös osztói közül az egyik nemnegatív. Ennek jelölései: lnko(a 1, a 2,..., a n ), gcd(a 1, a 2,..., a n ), (a 1, a 2,..., a n ) 145. Egyértelmű-e az Z számok körében a legkisebb közös többszörös? Ismertesse a kapcsolódó jelöléseket! Nem, a 1, a 2,..., a n Z számok legkisebb közös többszörösei közül az egyik nemnegatív. Ennek jelölései: lkkt(a 1, a 2,..., a n ), lcm(a 1, a 2,..., a n ), [a 1, a 2,..., a n ] 146. Ismertesse a bővített euklideszi algoritmust! Célja a, b egészek d legnagyobb közös osztójának, illetve x, y Z számok meghatározása úgy, hogy d = ax + by teljesüljön. 1. [Init] LEGYEN x 0 1, y 0 0, r 0 a, x 1 0, y 1 1, r 1 b, n 0 2. [Vége?] HA r n+1 = 0 AKKOR x x n, y y n, d r n VÉGE. 3. [Ciklus] LEGYEN q n+1 r n /r n+1, r n+2 r n mod r n+1 = r n r n+1 q n+1, x n+2 x n x n+1 q n+1, y n+2 y n y n+1 q n+1, n n + 1 ÉS MENJÜNK (2)-RE. 17

147. Mely tétel alapján számolhatjuk ki véges sok egész szám legnagyobb közös osztóját prímfelbontás nélkül? Bármely a 1, a 2,..., a n Z számok legnagyobb közös osztójának a kiszámítása visszavezethető két szám legnagyobb közös osztójára: lnko(a 1, a 2,..., a n ) = lnko(lnko(a 1, a 2 ), a 3,..., a n ) Emiatt az euklideszi algoritmus ismételt alkalmazásával is kiszámítható a legnagyobb közös osztó. 148. Fogalmazza meg a számelmélet alaptételét! Minden N + szám a sorrendtől eltekintve egyértelműen felírható prímszámok szorzataként. 149. Ismertesse Erathoszthenész szitáját! Segítségével egy adot n-ig tudjuk meghatározni a prímeket. Lépései: 1. Írjuk fel a számokat 2-től n-ig. 2. Az első szám (2) prím, az összes többi többszöröse összetett, ezért húzzuk ki őket! 3. A megmaradó számok közül az első prím (3), húzzuk ki a többszöröseit! 4. A végén n-nél nem nagyobb prímek maradnak. 150. Definiálja egész számok kongruenciáját, és adja meg a kapcsolódó jelöléseket! a, b, m Z és m a b a és b kongruensek modulo m. Jelölés: a b (mod m) 151. Fogalmazza meg az egész számok kongruenciájának egyszerű tulajdonságait! a, b, d Z 1. (a b (mod m) d m) a b (mod d) 2. a b (mod m) 0 d Z(ad bd (mod md)) 3. bármely adott m Z-re a kongruencia ekvivalenciareláció Z-ben 4. a b (mod m) a b (mod m) 152. Definiálja a maradékosztály, redukált maradékosztály, teljes és redukált maradékrendszer fogalmát! Egy m Z modulus szerinti kongruencia ekvivalenciaosztályait maradékosztályoknak nevezzük. Ha egy maradékosztály valamelyik eleme relatív prím a modulushoz, akkor mindegyik, és ekkor a maradékosztályt redukált maradékosztálynak nevezzük. Páronként inkongruens egészek egy rendszerét maradékrendszernek nevezzük. Ha egy maradékrendszer minden maradékosztályból tartalmaz elemet, akkor teljes maradékrendszernek nevezzük. Ha egy maradékrendszer pontosan a redukált maradékosztályokból tartalmaz elemet, akkor redukált maradékrendszer. 153. Definiálja Z m -et! Milyen algebrai struktúra Z m az összeadással és a szorzással? Az m Z modulus szerinti kongruencia kompatibilis az összeadással és a szorzással. A maradékosztályok kommutatív egységelemes gyűrűt alkotnak az összeadással és a szorzással. Ezt a gyűrűt jelöljük Z m -el. 154. Fogalmazza meg a (Z m, +, ) gyűrű tulajdonságát leíró tételt! 1 < m Z 1. ( 1 < lnko(a, m) < m ) a maradékosztálya nullosztó Z m -ben. 2. ( lnko(a, m) = 1) a maradékosztályának van multiplikatív inverze Z m -ben. 18

155. Mit mondhatunk az aa i + b számokról, ha a i egy maradékrendszer, illetve egy redukált maradékrendszer elemeit futja be? 1 < m Z, a relatív prím m-hez. Ha a 1, a 2,..., a m teljes maradékrendszer modulo m b Z, akkor aa 1 +b, aa 2 +b,..., aa m +b is teljes maradékrendszer modulo m. Ha a 1, a 2,..., a φ(m) redukált maradékrendszer modulo m, akkor aa 1, aa 2,..., aa φ(m) is redukált maradékrendszer modulo m. 156. Fogalmazza meg az Euler-Fermat-tételt! 1 < m Z, a relatív prím m-hez. Ekkor a φ(m) 1 (mod m). 157. Fogalmazza meg a Fermat-tételt! Legyen p prímszám 1. a Z p a a p 1 1 (mod p). 2. a Z a p a (mod p). 158. Fogalmazza meg a kínai maradéktételt! Legyenek m 1, m 2,..., m n egynél nagyobb, páronként relatív prím N számok, c 1, c 2,..., c n Z. Az x c j (mod m j ), j = 1, 2,..., n kongruenciarendszer megoldható, és bármely két megoldása kongruens modulo m 1 m 2 m n. 19

Diszkrét matematika I. - Vizsga anyag 2 1. Mondjon legalább 3 példát predikátumra E(x) : x egyenes P(x): x pont I(x,y): x illeszkedik y-ra 2. Sorolja fel a logikai jeleket a. :negáció, tagadás b. : kizáró vagy c. : és, konjukció d. : megengedő vagy, diszjukció e. : implikáció f. : összeférhetetlen vagy g. : sem sem h. : ekvivalencia 3. Milyen kvantorokat ismer? Mi a jelük? a. egzisztenciális kvantor b. univerzális kvantor 4. Hogyan kapjuk a logikai formulákat? Definíciók, tétel kimondások A logikai formulák az adott elmélet predikátumaiból épülnek fel a logikai jelek, valamint a két kvantor segítségével. 5. Mikor van egy változó egy kvantor hatáskörében? Egy formula egy ( xa) vagy ( xa) típusú részformulája esetén az x változó minden a két zárójel közötti előfordulására azt mondjuk, hogy a kvantor hatáskörében van. 6. Mik a nyitott és mik a zárt formulák? Ha egy formulának nincs szabad változója, akkor a formulát zárt formulának, egyébként nyitott formulának nevezzük. 7. Mondj két példát nyitott formulára. 8. Mondj egy példát zárt formulára. Készítette: Nyilas Árpád minden jog fenntartva

Diszkrét matematika I. - Vizsga anyag 3 9. Definiálja a részhalmaz és a valódi részhalmaz fogalmát és adja meg jelöléseiket. A halmaz részhalmaza a B halmaznak, ha A minden eleme a B halmaznak is. Jele. Ha A részhalmaza B-nek, de nem egyenlő vele, akkor azt mondjuk, hogy A valódi részhalmaza B-nek. Jele:. 10. Milyen tulajdonságokkal rendelkezik a részhalmaz fogalom? a. reflexivítás : b. tranzitívitás: c. antiszimmetria : 11. Milyen tulajdonságokkal rendelkezik a halmazok egyenlősége. a. reflexivítás : b. tranzitívitás: c. antiszimmetria : d. szimmetria: 12. Írja le a részhalmaz fogalmát. Milyen jelölést használunk részhalmazok megadására A halmaz részhalmaza a B halmaznak, ha A minden eleme a B halmaznak is. Jele. 13. Írja le az üres halmaz fogalmát. Az üres halmaz olyan halmaz, amelynek nincs eleme. 14. Igaz-e, hogy csak egy üres halmaz van? Igen, a meghatározottsági axióma miatt. 15. Írja le két halmaz unióját és a megfelelő jelöléseket. A és B halamz uniója az a halmaz, amelynek pontosan azok a dolgok az elemei, melyek elemei A-nak vagy B-nek (vagy mind kettőnek). Jele. 16. Írja le halmazrendszer unióját és a megfelelő jelöléseket. Ha A egy halmaz, melynek elemei mind halmazok, akkor azt a halmazt, amely pontosan azokat a dolgokat tartalmazza, amelyek A valamely elemének az elemei, az A uniójának nevezzük. Jelölései: 17. Fogalmazza, meg a halmazok alaptulajdonságait. (1) (2) (kommutativitás) (3) (asszociativitás) (4) (idempotencia) (5) Készítette: Nyilas Árpád minden jog fenntartva

Diszkrét matematika I. - Vizsga anyag 4 18. Definiálja halmazrendszer és két halmaz metszetét, és adja meg jelöléseiket. halmazok egy nem üres rendszere, akkor a halmazrendszer metszetét a összefüggéssel definiálhatjuk, más jelölések: A és B halmaz metszete: 19. Definiálja a diszjunktság és a páronként diszjunktság fogalmát. Ha egy nem üres halmazrendszer metszete az üres halmaz, akkor a halmazrendszer diszjunkt. Ha a halmazrendszer bármely két különböző halmazának a metszete üres, akkor elemei páronként diszjunktak. 20. Fogalmazza meg a halmazok metszetének alaptulajdonságait. (1) (2) (kommutativitás) (3) (asszociativitás) (4) (idempotencia) (5) 21. Fogalmazza meg a unió és a metszet disztributivitását. (metszet disztributivitása az unióra nézve) (unió disztributivitása a metszetre nézve) 22. Definiálja halmazok különbségét, szimmetrikus differenciáját, és komplementerét. a. különbség: b. szimmetrikus differencia: c. A halmaz X-re vonatkozó komplementere: 23. Fogalmazza meg a halmazok komplementereinek alaptulajdonságait. (1) (2) (3) X (4) (5) (6) (7) (8) 24. Írja le a hatvány halmaz fogalmát. Milyen jelölések kapcsolódnak hozzá? Ha A halmaz akkor azt a halmazrendszert, melynek elemei A részhalmazai, az A hatványhalmazának nevezzük. Jele, esetleg Készítette: Nyilas Árpád minden jog fenntartva

Diszkrét matematika I. - Vizsga anyag 5 25. Definiálja a rendezett pár fogalmát és koordinátáit. Bármely x, y esetén legyen. Az (x,y) rendezett pár első koordinátája x, második koordinátája y. 26. Definiálja két halmaz Descartes szorzatát. X,Y halmaz Descartes szorzata: az halmaz. rendezett párokból álló 27. Definiálja a binér relációt, és adja meg a kapcsolódó jelöléseket. Egy halmaz binér reláció, ha minden eleme rendezett pár. használatos a xry helyett gyakran 28. Adjon 3 példát binér relációra. 29. Mit jelent az, hogy R reláció X és Y között? Mit jelent az, hogy R egy X-beli reláció? R reláció X és Y között, ha, ha X=Y akkor R X beli reláció. 30. Definiálja binér reláció értelmezési tartományát és értékkészletét, és adja meg a kapcsolódó jelöléseket. R reláció értelmezési tartománya: R reláció értékkészlete: 31. Definiálja binér reláció kiterjesztését, leszűkítését és leszűkítését egy halmazra és adja meg a kapcsolódó jelöléseket. Az R binér relációt az S binér reláció kiterjesztésének, illetve S-et az R leszűkítésének nevezzük, ha. R reláció A halmazra való leszűkítésén az relációt értjük. 32. Definiálja egy binér reláció inverzét és sorolja fel az inverz három egyszerű tulajdonságát. R binér inverze: tulajdonségai: (1) (2) (3) Készítette: Nyilas Árpád minden jog fenntartva

Diszkrét matematika I. - Vizsga anyag 6 33. Definiálja halmaz képét és inverz képét binér relációnál és adja meg a kapcsolódó jelöléseket. R binér reláció, A halmaz, akkor az A halmaz képe: B halmaz inverz képe az R reláción: Ha A=,a-, akkor R(,a-) helyet írhatunk R(a)-t 34. Definiálja a binér reláció kompozícióját. Lehet-e a kompozíció üres? Az R és S binér reláció kompozícióján az relációt értjük. Két reláció kompozíciója lehet üres, ekkor rng(s) és dmn(r) diszjunktak. 35. Fogalmazzon meg három, binér relációk kompozíciójára vonatkozó állítást. (1) (2) (3) 36. Mit jelent, hogy egy reláció tranzitív, szimmetrikus, illetve dichotóm? Ezek közül mi az ami csak a reláción múlik? Legyen R X-beli binér reláció ekkor, a. tranzitív ha: b. szimmetrikus ha: c. dichotóm ha: A tranzitivitás és a szimmetria csak a reláción múlik. 37. Mit jelent az, hogy egy reláció antiszimmetrikus, illetve trichotóm? Ezek közül mi az ami csak a reláción múlik? Legyen R X-beli binér reláció ekkor, a. antiszemmetrikus ha: b. trichotóm ha: Az antiszimmetria csak a reláción múlik. Készítette: Nyilas Árpád minden jog fenntartva

Diszkrét matematika I. - Vizsga anyag 7 38. Mit jelent az, hogy egy reláció szigorúan antiszimmetrikus, reflexív illetve inreflexív? Ezek közül mi az, ami csak a reláción múlik? Legyen R X-beli binér reláció ekkor, a. szigorúan antiszimmetrikus ha b. reflexív c. irreflexív A szigorú antiszimmetria csak a reláción múlik. 39. Definiálja az ekvivalenciareláció, illetve az osztályozás fogalmát. X halmaz beli reláció ekvivalenciareláció, ha reflexív, szimmetrikus és tranzitív. Az X részhalmazainak egy rendszerét X osztályozásának nevezzünk, ha páronként diszjunkt nem üres halmazokból álló halmazrendszer, amelyre. 40. Mi a kapcsolat az ekvivalenciarelációk és az osztályozások között. Valamely X halmazon értelmezett ~ ekvivalenciareláció esetén a ekvivalenciaosztályok X-nek egy osztályozását adják. Megfordítva: az X halmaz bármely osztályoza esetén az reláció ekvivalencia reláció, amelyhez tartozó ekvivalencia osztályok halmaza. Hasonlóan, ha egy ekvivalenciarelációra képezzük az ekvivalenciaosztályokat, amjd ebből a hozzá tartozó ekvivalencia relációt, akkor az eredeti relációt kapjuk vessza. 41. Definiálja a részbenrendezés és a részbenrendezett halmaz fogalmát. Mit mondhatunk egy részbenrendezett halmaz részhalmazáról? X halmazbeli részbenrendezés egy tranzitív reflexív és antiszimmetrikus X-beli reláció. A részben rendezés jelölése:. A részben rendezett halmaz, tulajdonképpen (X, pár. Egy részbenrendezett halmaz minden részhalmaza is részbenrendezett, ha a ennek az elemei között tekintjük. relációt csak 42. Definiálja a rendezés, a rendezett halmaz és a lánc fogalmát. X részben rendezett halmazon, részben rendezési reláció dichotóm is, azaz X bármely két eleme összehasonlítható, akkor a reláció rendezés, X pedig rendezett halmaz. X -vel részbenrendezett halmaz Y részhalmaza lánc, ha a relációt csak Y az elemei között tekintve Y -vel rendezett. 43. Mondjon példát részbenrendezett, de nem rendezett halmazra. A természetes számok körében az n osztja m-et reláció 44. Definiálja egy relációnak megfelelő szigorú illetve gyenge reláció fogalmát. X-beli R relációhoz definiálhatunk X-beli S szigorú relációt, úgy hogy X-beli R relációhoz definiálhatunk X-beli T gyeng relációt, úgy hogy Készítette: Nyilas Árpád minden jog fenntartva

Diszkrét matematika I. - Vizsga anyag 8 45. Definiáljuk a szigorú részbenrendezést és fogalmazzuk meg kapcsolatát a részbenrendezéssel. X halmaz - relációval részben rendezett halmaz, akkor a megfelelő X-beli szigorú reláció (jele <) szigorú részben rendezés. Ami irreflexív, tranzitív, szigorúan antiszimmetrikus. Ha egy részben rendezéshez, definiáljuk a megfeleő szigorú részben rendezést, majd abból a megfelelő gyenge rendezést a -t kapjuk vissza, és fordítva. 46. Mi az, hogy kisebb, nagyobb, megelőzi, követi? Adja meg a kapcsolódó jelöléseket. < szigorú részben rendezés. Ha x<y (ami helyett írhatunk y>x-t) akkor azt mondjuk, hogy x kisebb, mint y vagy y nagyobb, mint x, vagy x megelőzi y-t vagy y követi x-et. Gyenge reláció esetén( ) hozzátesszük, hogy vagy egyenlő. 47. Definiálja az intervallumokat és adja meg a kapcsolódó jelöléseket. X egy részbenrendezett halmaz. Ha x az ilyen elem halmazát *x,y+-al jelöljük. és z y, akkor azt mondjuk, hogy z x és y közé esik, X egy részbenrendezett halmaz. Ha x< és z<y, akkor azt mondjuk, hogy z szigorúan x és y közé esik, az ilyen elem halmazát +x,y*-al vagy (x,y) jelöljük. +x,y+ és *x,y* halmazok, definíciója analóg, itt is használatos (x,y+ és a *x,y) jelölés is. A fenti halmazok közös néven intervallumok. 48. Mi az hogy közvetlenül követi, illetve, hogy közvetlenül megelőzi? Ha x<y de ]x,y[=, akkor x közvetlenül megelőzi y-t, illetve y közvetlenül követi x-t. 49. Definiálja a kezdő szelet fogalmát és adja meg a kapcsolódó jelöléseket. Egy elemhez tartozó kezdőszeletnek a részhalmazt nevezzük. Jelölése:. A jelölések analóg értelmezendők. 50. Definiálja a legkisebb és a legnagyobb elem fogalmát. X részbenrendezett halmaz legkisebb eleme X részbenrendezett halmaz legnagyobb eleme, amelyre, amelyre 51. Definiálja a minimális és a maximális elem fogalmát, és adja meg a kapcsolódó jelöléseket. x-t minimálisnak nevezzük, ha nincs nála kisebb elem, maximálisnak akkor, ha nincs nála nagyobb elem. Ha van egyértelmű minimális elem akkor azt min X-el jelöljük, és ha van egyértelmű maximális elem azt max X-el jelöljük. 52. Adjon meg olyan részbenrendezett halmazt, amiben több minimális elem van. A halmazon az osztója részbenrendezés. 53. Adjon meg olyan részbenrendezett halmazt, amelyben nincs maximális elem van. A természetes számok halmaza a szokásos rendezéssel. Készítette: Nyilas Árpád minden jog fenntartva

Diszkrét matematika I. - Vizsga anyag 9 54. Igaz-e, hogy rendezett halmazban a legkisebb és a minimális elem fogalma egybe esik. Igen, mivel rendezett halmazban, bármely két elem összehasonlítható, így ( 55. Definiálja az alsó és a felső korlát fogalmát. Egy X részben rendezett halmaz x eleme az Y részhalmaz a. alsó korlátja ha b. felső korlátja ha 56. Igaz-e, hogy ha egy részbenrendezett halmaz egy részhalmaza tartalmaz a részhalmaz alsó korlátai közül elemeket, akkor csak egyet. Igen, akkor az az Y legkisebb eleme. 57. Definiálja az alsó és a felső határtulajdonságot. Ha X részbenrendezett halmaz bármely nem üres, felülről korlátos részhalmazának van felső határa, akkor a felső határ tulajdonságúnak nevezzük, ha pedig bármely nem üres alulról korlátos részhalmazának van alsó határa, akkor X-et alsó határtulajdonságúnak nevezzük. 58. Igaz-e, hogy ha egy részbenrendezett halmaz egy részhalmaza tartalmazza a részhalmaz egy alsó korlátját, akkor az a részhalmaznak minimális eleme? Igen, mert ekkor az alsó korlát fogalmának definíciója miatt X halmaz Y részhalmazának x elemére és egyben alsó korlátjára teljesül a y X:x y, amely a legkisebb elem definíciójával egyezik meg. Mivel x az Y összes elemével összehasonlítható - mert alsó korlát -, ezért y X: x y = ( ( y X: x Y)) = ( y X: y <x) = y X:y<x _, ami a minimális elem definíciója, tehát x az Y részhalmaz minimális eleme is. 59. Definiálja az infimum és a szuprémium fogalmát. Ha X halmaz Y részhalmazának alsó korlátainak halmazában van legnagyobb elem, akkor az Y infimumának nevezzük (jelölés: inf Y), ha Y felsőkorlátainak halmazában van legkisebb elem, azt Y szuprémumának nevezzük(jelölés sup Y). 60. Definiálja a jólrendezést és a jólrendezett halmaz fogalmát. X rendezett halmaz jólrendezett, a rendezés pedig jólrendezés, ha X bármely nem üres részhalmazának van legkisebb eleme. 61. Adjon meg olyan rendezett halmazt, amely nem jólrendezett. Racionális számok halmaza. 62. Adjon példát jólrendezett halmazra. Természetes számok halmaza. Készítette: Nyilas Árpád minden jog fenntartva

Diszkrét matematika I. - Vizsga anyag 10 63. Adjon meg két részben rendezett halmaz Descartes-szorzatán a halmazok részben rendezései segítségével két részbenrendezést. Legyen X és Y részben rendezett halmaz. -ban legyen, ha vagy -ban legyen, ha (lexikografikus rendezés) 64. Két jól rendezett halmaz Descartes-szorzatán a lexikografikus részbenrendezést tekintjük. Mit állíthatun erről. A két halmaz Descartes-szorzata rendezett, illetve jólrendezett a lexikografikus rendezéssel. 65. Definiálja a függvény fogalmát. Ismertesse a kapcsolódó jelüléseket. A függvény egy olyan f reláció, amelyre Jelölések: (f X halmazt Y ba képző függvény) (a függvény x helyen felvett y értéke) 66. Mi a különbség a között, hogy 67. Mikor nevezünk egy függvényt kölcsönösen egyértelműnek. Egy függvény kölcsönösen egyértelmű, ha f(x)=y és f(x )= esetén x=x 68. Igaz-e, hogy az identikus leképezés, mindig szürjektív. X et Y ba képtő identikus leképzés szürjektív, ha X=Y, de nem ha 69. Definiálja a permutáció fogalmát. Egy X halmaz önmagára való kölcsönösen egyértelmű leképzéseit az X permutációinak nevezzük. 70. Igaz-e, hogy két függvény összetétele függvény. Igaz, ha f X-ből Y-ba és g Y-t Z-ba képző függvények, akkor X-et Z-ba képző függvény. 71. Mikor állítjuk, hogy két függvény összetétele injektív, szürjektív, illetve bijektív. Ha f és g is kölcsönösen egyértelmű függvény, akkor Ha f X-ből Y-ba és g Y-t Z-ba képző függvények, akkor is. X-et Y-ba képző függvény Ha f és g is bijektív függvény, akkor is. 72. Mi a kapcsolat függvények és ekvivalenciarelációk között? Ha az X halmazon adott egy ekvivalencia reláció, akkor az x elemhez az ekvivalenciaosztályát rendelő leképzést kanonikus leképzése. Megfordítva ha egy függvény, akkor az ha f(x)=f(x ) reláció egy ekvivalencia reláció. Készítette: Nyilas Árpád minden jog fenntartva