Rácsséták bijektív leszámlálása. Doktori értekezés tézisei
|
|
- Lilla Szalainé
- 5 évvel ezelőtt
- Látták:
Átírás
1 Rácssétá bijetív leszámlálása Dotori érteezés tézisei Nagy Gábor Témavezető: Dr. Hajnal Péter egyetemi docens Matematia- és Számítástudományo Dotori Isola Szegedi Tudományegyetem Természettudományi és Informatiai Kar Bolyai Intézet Szeged 2014
2 1. Bevezetés Az érteezésben ét olyan problémaört vizsgálun a bijetív ombinatoria eszözeivel, melye rácssétára vonatozó összeszámlálási feladatohoz vezetne. A 2. fejezet fő eredménye Shapiro páros indexű Catalan-számora vonatozó onvolúciós formulájána bijetív bizonyítása, amelyet Stanley is feladatént tűzött i. Bizonyításun egyi övetezményeént a özépső binomiális együttható alternáló onvolúciós formulájána elemi levezetését is megapju. A 3. fejezetben síbeli szimmetrius véletlen sétá egy az x-tengellyel vett első metszéspont eloszlására vonatozó onvexitási tulajdonságát igazolju, majd teintjü a probléma magasabb dimenziós megfelelőjét is. Vizsgálatain motivációja az, hogy az alaptételből egy harmonius mértée sűrűségfüggvényére vonatozó friss eredmény új bizonyítása nyerhető. A disszertáció a szerző [1] [4] publiációin alapul. A tézisfüzetben található számozáso és jelölése megegyezne az érteezésben használtaal (a hivatozáso számozását leszámítva). 2. Páros indexű Catalan-számo onvolúciója 1 Az n-edi Catalan-számon az 2n ) n+1( n számot értjü, melyet Cn -nel jelölün a továbbiaban. Stanley több mint 200 evivalens ombinatorius definíciót gyűjtött össze [16, 15]. Ez a szám is mutatja, hogy a Catalan-számo alapvető ombinatorius mennyisége [10], többe özött öszönhetően a özöttü fennálló C 0 = 1; C n+1 = C C n reurzív összefüggésne, mely az összeszámlálási problémában gyaran megjeleni. Shapiro 2002-ben észrevette, hogy a Catalan-számo generátorfüggvényéne zárt alajából önnyen adódi [10; 123. o.] az alábbi tetszetős onvolúciós azonosság: = Tétel. (Shapiro [15; 6.C18], Nagy [2], Hajnal Nagy [1]) C 2 C 2n 2 = 4 n C n. (2.2) =0 Azonban az egyszerű ala és a nem elemi bizonyításo tömörsége ellenére ezt nehéz ombinatorius eszözöel igazolni, Stanley Bijective Proof Problems gyűjteményében is megoldatlanént szerepel [14]. (Megjegyezzü, hogy Andrews 2011-ben megfogalmazta a formula egy q-analógját, melyet ombinatoriusan is igazolt [5].) A 2. fejezet fő eredménye, hogy a (2.2) azonosságot először belátju elemi ombinatorius eszözöel a 2.2. alfejezetben 1
3 a [2] publiáció gondolatmenetét övetve, majd teljesen bijetív bizonyítást adun rá a 2.3. alfejezetben Hajnal Péterrel özös [1] ciün alapján. Uta ettős leszámlálásával fogun érvelni, ahol egy út alatt felfelé és lefelé lépése sorozatát értjü. Bár ezzel formálisan 1-dimenziós sétáat definiáltun, útjainat a síon szemléltetjü a szoásos módon: Amennyiben másént nem jelezzü, az uta az origóból indulna, és egy felfelé lépésne az (1, 1) lépés, egy lefelé lépésne pedig az (1, 1) lépés felel meg. Szüségün lesz a övetező fogalomra is: Egy út páros-metsző, ha soha nem lép (4 + 2, 0) alaú pontban az x-tengelyre ( Z). A Shapiro-azonossághoz társított összeszámlálási probléma alapja az az észrevétel, hogy az origóból a (4n, 0) pontba menő páros-metsző uta számát éppen a C 2n Catalan-szám adja meg (ld Lemma). Ez egy 1981-ben itűzött American Mathematical Monthly feladat [12], melyne 1987-ben publiáltá egy bijetív bizonyítását [11], amiben megadna egy bijeciót a megszámolandó uta halmaza és a 4n hosszú Dyc-uta halmaza özött. Az utóbbi halmaz elemszáma pedig özismerten C 2n. (Egy út Dyc-út, ha az origóból indítva az x-tengelyen végződi, de soha nem megy az x-tengely alá. Továbbá egy út hossza alatt mindig a lépései számát értjü.) Ebből önnyen övetezi (2.2) bal oldalána egy ombinatorius értelmezése, egy analóg állítással együtt (itt és a ésőbbieben is élün a B n := ( 2n n ) jelöléssel): 2.5. Követezmény. (Nagy [2]) a) n =0 C 2C 2n 2 az origóból a (4n + 1, 1) pontba menő páros-metsző utaat számolja meg. b) n =0 C 2B 2n 2 a 4n hosszú páros-metsző utaat számolja meg. Tehát (2.2) bizonyításához azt ell megmutatni, hogy a jobb oldal, a 4 n C n mennyiség is a övetezmény a) pontjában szereplő utaat számolja meg. Először a övetezmény ét pontja özötti apcsolatra világítun rá. Egyszerű számolás mutatja, hogy a b) pontban szereplő onvolúció éppen az a) pontban szereplő onvolúció (n + 1)-szerese: 2.6. Lemma. (Nagy [2]) C 2 B 2n 2 = (n + 1) =0 C 2 C 2n 2. Másszóval, a 2.5. Követezmény egyszerre interpretálja ombinatoriusan a Shapiro-azonosság bal oldalát, és anna (n + 1)-szeresét. Ebből reurzív módon összeszámlálhatju a övetezményben szereplő utaat: 2.7. Lemma. (Nagy [2]) a) Az origóból a (4n + 1, 1) pontba menő páros-metsző uta száma 4 n C n. b) A 4n hosszú páros-metsző uta száma 4 n B n. 2 =0
4 A 2.5. Követezmény, a 2.6. Lemma és a B n = (n+1)c n összefüggés alapján a ét állítás evivalens. A b) pontot nem nehéz teljes inducióval bizonyítani a ét pont evivalenciát is felhasználva. Összefoglalva, tehát ettős leszámlálással igazoltu Shapiro formuláját; és egyúttal az alábbi evivalens alaját is, melyet algebrailag a ét oldal (n + 1)-gyel való szorzásával apun (2.2)- ből: C 2 B 2n 2 = 4 n B n. (2.4) =0 A 2.3. alfejezetben áttérün a Shapiro-azonosság bijetív bizonyítására. (A C n Catalan-számra a 2n hosszú Dyc-uta számaént teintün.) Figyelembe véve, hogy a 2.5. Követezményt bijetíven igazoltu, célun eléréséhez elegendő özvetlen bijetív bizonyítással igazolni a 2.7.a Lemmát, vagyis megmutatni, hogy a 2.5. Követezmény a) pontjában szereplő (0, 0) (4n+1, 1) páros-metsző uta száma 4 n C n. Ezen uta halmazát H-val jelölve, az alfejezetben onstruálun egy ψ: H D 4 bijeciót, ahol D 4 egy alalmas 4 n C n elemű halmaz: D 4 a 2n hosszú 4-címézett Dyc-uta halmaza, ahol a 4-címézett Dyc-út olyan Dyc-út, amelyne párosadi pozícióban álló lépései címézette az 0, 1, 2, 3 címé valamelyiével, a páratlanadi lépése pedig címézetlene. A ψ leépezés definíciója hosszú folyamat, lemmá jelzi onstrución fontosabb állomásait ( Lemma). A lényegi lépés előészítéseént egy egyszerű techniai átalaítást és egy tömörítési eljárást hajtun végre, melyne eredménye egy H E 3 bijeció, ahol az E 3 halmaz azon (címézett, általánosított) utaat tartalmazza, amelye rendelezne a övetező három tulajdonsággal: (i) A (0, 1) pontból indulva a (2n, 1) vagy (2n, 1) pontban végződne; (ii) minden párosadi lépésü vagy (1, ±3) hosszú lépés, vagy az 1,2,3 címé valamelyiével ellátott (1, ±1) rövid lépés (és minden páratlanadi lépésü címézetlen rövid lépés); (iii) soha nem lépne az x-tengelyre (de átugorhatjá azt). Látni fogju, hogy E3 és D 4 útjaina 1,2,3 címéitől bizonyos értelemben elteinthetün. Jelölje E az E3 -beli utaból a címé elhagyásával nyert uta halmazát, és legyen D 2 a D 4 -beli utaból az 1,2,3 címé elhagyásával nyert jelölt Dyc-uta halmaza. Tehát E azon (0, 1) (2n, ±1) (címézetlen) utaat tartalmazza, amelye soha nem lépne rá az x-tengelyre, továbbá a hagyományos (1, ±1) rövid lépéseen túl tartalmazhatna (1, ±3) hosszú lépéseet is, izárólag páros pozícióban; D 2 pedig azon 2n hosszú Dyc-uta halmaza, amelyeben minden párosadi lépés vagy jelölt (0 címéjű) vagy jelöletlen (címézetlen). Meggondolható, hogy a hiányzó E3 D 4 bijeció megonstruálásához elegendő egy alábbi tulajdonságú E D 2 bijeciót megadni: 3
5 2.10. Lemma. (Hajnal Nagy [1]) Létezi olyan φ: E D 2 bijeció, hogy minden E E útra a φ(e) jelölt Dyc-útban ugyanannyi jelölt lépés van, mint ahány hosszú lépés szerepel E-ben. Ez a bijetív bizonyítás ulcslemmája. Két fő fázisból áll az E E φ(e) onverzión. Először E-ben lecseréljü az x-tengelyt átugró hosszú lépéseet jelölt (rövid) lépésere, és az eredetileg x-tengely alatt haladó része x-tengelyre való türözésével elérjü, hogy a apott E + út végig szigorúan az x-tengely fölött haladjon. (Ez az egyszerűbb rész.) Megmutatju, hogy a szóba jöhető E + uta mindegyie felépíthető egyszerű strutúrájú építőelemeből, mely felépítés a Dyc-utana megfeleltethető zárójelsorozato zárójelpároá bontásána egy iterjesztése. A másodi fázisban az E + út építőelemeit átalaítju egy előre meghatározott eljárás szerint, és az így apott (D 2 -beli) jelölt Dyc-utat rendeljü hozzá E-hez. A bizonyítás részleteiből iolvasható ét övetezmény: Követezmény. (Hajnal Nagy [1]) Jelölje E (n) azon (0, 1) (2n, ±1) (címézetlen) uta halmazát, amelye soha nem lépne az x-tengelyre, és a páros pozícióban állhatna hosszú lépése is. (Ez a orábbi E halmaz, csa megjelenítjü n-et a jelölésben.) a) Az E (n)-beli uta száma 2 n C n. b) Azon E (n)-beli uta száma, amelyeben hosszú lépés van, ( n ) Cn. c) Speciálisan, azon E (n)-beli uta száma, amelyeben n hosszú lépés van (tehát váltaozva öveti egymást rövid és hosszú lépése), C n. d) n 1 esetén a C n Catalan-szám megszámolja azon (0, 0) (n, 1) utaat, amelye megengedett lépései (1, ±1) és (1, ±2), továbbá a ezdőpontot leszámítva soha nem lépne az x-tengelyre Követezmény. Jelölje E (n) azon (0, 1)-ból induló, 2n hosszú (címézetlen) uta halmazát, amelye soha nem lépne az x-tengelyre, és a páros pozícióban állhatna hosszú lépése is. a) Az E (n)-beli uta száma 2 n B n. b) Azon E (n)-beli uta száma, amelyeben hosszú lépés van, ( n ) Bn. A 2.4. alfejezetben az eddigie néhány további övetezményét ismertetjü. (Ezen eredménye esetén is a ombinatorius bizonyításoon van a hangsúly, generátorfüggvényeel nem nehéz őet belátni.) Először egy techniai jellegű onvolúciós formulát bizonyítun, melyből reurzív módon levezethető a Shapiro-azonosság (2.4) evivalens alaja Lemma. (Nagy [2]) Tetszőleges rögzített n esetén 2 i+j+=n C 2i C 2j B 2 = B 2n+1, ahol az i, j, futó indexe nemnegatív egésze. 4
6 A tétel c) pontjában meghatározzu a páros indexű B n számo onvolúciójána zárt alaját is: =0 B 2 B 2n 2 = 16n + 4 n B n. 2 Enne egy evivalens megfogalmazását, a özépső binomiális együttható alternáló onvolúciós formuláját látju be ombinatorius módon: Tétel. (Spivey [13], Nagy [2]) B 2 B 2n 2 =0 n 1 =0 Uta ettős leszámlálásával igazolju a B 2 B 2n 2 =0 n 1 =0 B 2+1 B 2n 2 1 = 4 n B n. B 2+1 B 2n 2 1 = C 2 B 2n 2 alaot, mellyel visszavezetjü a problémát (2.4)-re. Bizonyításun tehát más utat övet, mint Spivey 2012-ben özzétett elegáns bizonyítása [13], mely véletlen színezett permutáció segítségével érvel. A 2.5. alfejezetben ét sejtést fogalmazun meg számítógépes vizsgálatain alapján. Eze imondásához szüségün lesz a övetező jelölésre, melyet a páros-metsző uta halmazához hasonlóan definiált útosztályo leírására használun: Egy b 0, b 1,..., b n sorozatra jelölje P[b 0 b 1... b n ] azon 2n hosszú, origóból induló (hagyományos) uta halmazát, amelye elerüli a {(2i, 0) : b i = 0} halmaz összes pontját, ugyanaor a {(2i, 0) : b i = 2} halmaz legalább egy pontjára rálépne. Első sejtésün a 2.7. Lemma általánosítása (mindét alpontban az első egyenlőség a érdéses, a másodi egyszerű): Sejtés. (Hajnal Nagy [1]) =0 a) P[(1 0 ) n ] = P[10 n n n 1 ] = 4 2n n 1 2C n 1, b) P[(1 0 ) n ] = P[10 n 1 2n n 1 ] = 4 2n n 1 B n. A ét alpont evivalenciáját is megmutatju, így elegendő lenne az egyiet igazolni. Másodi sejtésünben hasonló a P úthalmazt definiáló tiltássorozat, és a sejtett elemszám is: Sejtés. a) P[1( ) n ] = P[10 n n ] = 4 2n 2C n 1, b) P[1( ) n ] = P[10 n 1 2n ] = 4 2n B n. 5
7 3. Diszrét véletlen sétá egy onvexitási tulajdonsága A 3. fejezetben szimmetrius véletlen sétáal foglalozun. A utatás előzménye egy síbeli harmonius mértéere vonatozó 2012-beli folytonos eredmény [6], melyne új, diszrét megözelítéssel dolgozó bizonyítását publiáltu Toti Vilmossal [4]. (A harmonius analízisben fontos szerepet betöltő harmonius mértée [8] definiálható Brown-mozgás segítségével, a Brownmozgás pedig approximálható diszrét véletlen sétáal.) A benyújtott [4] publiáció diszrét, ombinatorius eredményeit dolgozza fel a fejezet, ezenfelül ismertetjü a Szalai Attilával özösen elért általánosításoat [3]. Bevezetjü a szüséges fogalmaat. A Z 2 -beli séta egy Q 0, Q 1, Q 2... véges vagy végtelen pontsorozat Z 2 -ben (Q i Z 2 ), ahol a Q i+1 Q i vetor a (0, 1), (0, 1), (1, 0), ( 1, 0) vetoro (lépése) valamelyie, minden i-re. (Analóg módon definiálju a Z d -beli sétáat is: d dimenzióban 2d megengedett lépés van, a standard bázisvetoro, és azo ellentettjei.) Az adott Q 0 ezdőpontú (szimmetrius) véletlen séta egy olyan Q 0 ezdőpontú végtelen séta, melyne lépéseit véletlenül, uniform módon választju meg, egymástól függetlenül. A fejezet alaperedménye a [4] publiáció főlemmája: 3.1. Tétel. (Nagy Toti [4]) Legyen p anna a valószínűsége, hogy a (0, 1) pontból induló Z 2 -beli véletlen séta a (, 0) pontban lép először az x-tengelyre ( Z). Eor a (p ) =0 sorozat onvex, vagyis p 1 2 (p 1 + p +1 ) teljesül 1 esetén. A 3.2. alfejezetben ismertetjü a tétel egy elemi, számolásmentes bizonyítását. A p valószínűség iszámításánál nyilvánvalóan elegendő a sétá első x-tengelymetszetig tartó szaaszával foglalozni, ezért bevezetjü a övetező elnevezéseet és jelöléseet: Azt mondju, hogy egy (véges, nem véletlen) ( 1, h) ( 2, 0) séta pozitív, ha a végpontját leszámítva mindig az x-tengely fölött tartózodi. W ( 1,h) 2 -vel jelöljü a ( 1, h) ( 2, 0) pozitív sétá halmazát, a W ( 1,h) 2 [l] halmaz pedig ezen sétá özül az l hosszúaat tartalmazza, ahol egy séta hossza a lépései száma. A p valószínűséghez hozzájáruló sétáat első lépésü, és az első x-tengelymetszetig tartó szaaszu szerint osztályozva önnyen látható, hogy a 3.1. Tétel bizonyításához elegendő a övetezőt megmutatni: 3.2. Lemma. (Nagy Toti [4]) Bármely egész számra létezi hossztartó W (0,2) W (1,1) W ( 1,1) injetív leépezés. Vagyis tetszőleges Z és l N esetén W (0,2) [l] W (1,1) [l] + W ( 1,1) [l]. Bizonyításént megadun egy egyszerű injeciót, amely egy W (0,2) -beli séta épét vagy bizonyos jobbra és felfelé lépése felcserélésével, vagy bizonyos jobbra és lefelé lépése felcserélésével állítja elő. (Geometriailag látványosabb injeciót váraozásainal ellentétben nem találtun.) Ezenívül vá- 6
8 zolju a 3.1. Tétel további bizonyítási módjaina ezdő lépéseit: Toti Vilmos eredeti megoldását, mely Fourier-együttható vizsgálatára vezet, illetve ét számolós ombinatorius gondolatmenetet a 3.2. Lemma igazolására. A 3.3. alfejezetben megvizsgálju a magasabb ezdőpontból indított véletlen sétá x-tengellyel vett első metszéspontjána eloszlását onvexitás szempontjából, és analóg eredményre jutun: 3.3. Tétel. (Nagy Szalai [3]) Jelölje p h anna a valószínűségét, hogy a (0, h) pontból induló Z 2 -beli véletlen séta a (, 0) pontban lép először az x-tengelyre, és legyen h 2 rögzített. Eor a ( p) h ( ) =h 2 sorozat onvex, vagyis ph p h 1 + p h +1 teljesül h 1 esetén. 1 2 A h = 1 esethez hasonló megfontoláso után megállapítju, hogy elegendő a 3.2. Lemma alábbi megfelelőjét igazolni: 3.4. Lemma. (Nagy Szalai [3]) Legyen adott h 2 és h 1. Eor létezi hossztartó, injetív W (0,h 1) W (0,h+1) W (1,h) W ( 1,h) leépezés. Vagyis tetszőleges l N esetén W (0,h 1) [l] + W (0,h+1) [l] W (1,h) [l] + W ( 1,h) [l]. A bizonyításban egy W W (0,h 1) W (0,h+1) séta épét attól függően definiálju, hogy a (h, 0), (h, 2h), ( h, 2h) és ( h, 0) csúcso által meghatározott négyzet valamelyi átlójára, vagy valamelyi oldalára lép-e először W. Az egyszerűbb eset az, amior valamelyi átlóra; ilyenor egy türözést hajtun végre. Abban az esetben, amior valamelyi négyzetoldalra lép először W (ez csa a felső oldal lehet), aor a övetező segédlemma által megadott injeció felhasználásával határozzu meg W épét úgy, hogy összességében egy 3.4. Lemmát igazoló leépezést definiálun. A segédlemma a 3.2. Lemma általánosítása, a bizonyítása is analóg módon történi: 3.5. Lemma. (Nagy Szalai [3]) Tetszőleges olyan h,, m egészere, melyere h 1 és h < m < h, létezi hossztartó W (m,2h) W (h,h+m) W ( h,h m) injeció. A probléma folytonos változata azt sugallja, hogy a 3.3. Tétel nem éles. Ezért megvizsgálju, hogy módszerünel (a 3.4. Lemma erősítésével) tudun-e (h 2)-nél isebb üszöbértétől ezdve onvexitást bizonyítani valamely h-ra, illetve onávitást tudun-e igazolni valamely intervallumon. A válasz nemleges, ennél ifinomultabb megözelítés ell. Azonban eözben önmaguban is érdees eredményehez jutun, amelyene nem látju egyszerű ombinatorius oát. (Csa számolással tudju igazolni őet, mely azon alapul, hogy az n hosszú (a, b) (c, d) pozitív sétá száma felírható zárt alaban [7] és [9] szerint, lásd 3.7. Lemma.) A apott eredménye a övetező: 7
9 3.6. Tétel. (Nagy Szalai [3]) Legyen h 2 és rögzített, valamint jelölje rendre V l, illetve F l azon l hosszú, W (0,h) -beli sétá számát, amelye ezdő lépése vízszintes (balra vagy jobbra lépés), illetve függőleges (felfelé vagy lefelé lépés). Eor l = h 2 2 esetén V l = F l ; l h 2 2 esetén V l F l ; l h 2 2 esetén V l F l. Továbbá, ha l h 2 2, aor V l = F l csa V l = F l = 0 esetén fordulhat elő, azaz csa aor, ha l olyan, hogy W (0,h) [l] = Lemma. (Nagy Szalai [3]) Legyen h 2 és rögzített, valamint jelölje J l (illetve L l ) azon l hosszú, W (0,h) -beli sétá számát, amelye ezdő lépése jobbra lépés (illetve lefelé lépés). Eor l = (h )(2h 1) esetén J l = L l ; l (h )(2h 1) esetén J l L l ; l (h )(2h 1) esetén J l L l. Továbbá, ha l (h )(2h 1), aor J l = L l csa J l = L l = 0 esetén fordulhat elő. A 3.4. alfejezetben a probléma magasabb dimenziós változatát tárgyalju. A sorozato onvexitásána megfelelője a (diszrét) szubharmoniusság lesz: Azt mondju, hogy az f: Z n R diszrét függvény (loálisan) szubharmonius a Z n pontban, ha f() 1 2n j N() f(j), ahol N() a pont Z n -beli szomszédaina halmaza, azaz a standard bázisvetoroat e 1,..., e n -nel jelölve, N() := { ± e i : i = 1,..., n}. A övetező valószínűségeet vizsgálju tetszőleges rögzített d 2 dimenzióban: Adott h N és = ( 1,..., d 1 ) Z d 1 esetén legyen p h anna az eseményne a valószínűsége, hogy Z d -ben a (0,..., 0, h) pontból induló véletlen séta a ( 1,..., d 1, 0) pontban lép először az x d = 0 hipersíra. A 3.1. Tétel magasabb dimenziós megfelelője a övetező tétel, melyet Toti Vilmos bizonyított: Tétel. (Nagy Toti [4]) A Z d 1 p 1 függvény szubharmonius minden 0 pontban. A tétel visszavezethető a síbeli esetre. Analóg módon apju a 3.3. Tétel magasabb dimenziós változatát: Tétel. (Nagy Szalai [3]) A Z d 1 p h függvény szubharmonius a [h 1, ) d 1 Z d 1 halmaz pontjaiban tetszőleges rögzített h 2 esetén. 8
10 Az érteezés alapját épező publiáció [1] P. Hajnal & G. V. Nagy: A bijective proof of Shapiro s Catalan convolution, Electron. J. Combin. 21 (2014), Issue 2, Paper #P2.42, [2] G. V. Nagy: A combinatorial proof of Shapiro s Catalan convolution, Adv. in Appl. Math. 49 (2012), [3] G. V. Nagy & A. Szalai: On the convexity of a hitting distribution for discrete random wals, Acta Sci. Math. (Szeged), elfogadva (2014). [4] G. V. Nagy & V. Toti: A convexity property of discrete random wals, benyújtva (2014). Hivatozáso [5] G. E. Andrews: On Shapiro s Catalan convolution, Adv. in Appl. Math. 46 (2011), [6] D. Beno, P. Dragnev & V. Toti: Convexity of harmonic densities, Rev. Mat. Iberoam. 28 (2012), [7] W. Brecenridge, H. Gastineau-Hills, A. Nelson, P. Bos, G. Calvert & K. Wehrhahn: Lattice paths and Catalan numbers, Bull. Inst. Combin. Appl. 1 (1991), [8] J. B. Garnett & D. E. Marshall: Harmonic measure, Cambridge University Press, Cambridge, [9] R. K. Guy, C. Krattenthaler & B. E. Sagan: Lattice paths, reflections, & dimension-changing bijections, Ars Combin. 34 (1992), [10] T. Koshy: Catalan numbers with applications, Oxford University Press, Oxford, [11] W. Nichols: A path bijection, Amer. Math. Monthly 94 (1987), [12] L. W. Shapiro: Problem E2903, Amer. Math. Monthly 88 (1981), 619. [13] M. Z. Spivey: Combinatorial interpretation of the alternating convolution of the central binomial coefficients, [14] R. P. Stanley: Bijective proof problems, [15] R. P. Stanley: Catalan addendum, [16] R. P. Stanley: Enumerative combinatorics, Vol. 2, Cambridge University Press, Cambridge,
Rácsséták bijektív leszámlálása. Doktori értekezés
Rácssétá bijetív leszámlálása Dotori érteezés Nagy Gábor Témavezető: Dr. Hajnal Péter Matematia- és Számítástudományo Dotori Isola Szegedi Tudományegyetem Természettudományi és Informatiai Kar Bolyai Intézet
RészletesebbenDr. Tóth László, Kombinatorika (PTE TTK, 2007)
A Fibonacci-sorozat általános tagjára vontozó éplet máséppen is levezethető A 149 Feladatbeli eljárás alalmas az x n+1 ax n + bx, n 1 másodrendű állandó együtthatós lineáris reurzióal adott sorozato n-edi
RészletesebbenA feladatok megoldása
A feladato megoldása A hivatozáso C jelölései a i egyenleteire utalna.. feladat A beérezési léps felszíne fölött M magasságban indul a mozgás, esési ideje t = M/g. Ezalatt a labda vízszintesen ut utat,
RészletesebbenA 2015/2016. tanévi Országos Középiskolai Tanulmányi Verseny második forduló MATEMATIKA I. KATEGÓRIA (SZAKKÖZÉPISKOLA) Javítási-értékelési útmutató
Otatási Hivatal A 015/016 tanévi Országos Középisolai Tanulmányi Verseny másodi forduló MATEMATIKA I KATEGÓRIA (SZAKKÖZÉPISKOLA) Javítási-értéelési útmutató 1 Egy adott földterület felásását három munás
Részletesebben1. Fourier-sorok. a 0 = 1. Ennek a fejezetnek a célja a 2π szerint periodikus. 1. Ha k l pozitív egészek, akkor. (a) cos kx cos lxdx = 1 2 +
. Fourier-soro. Bevezet definíció Enne a fejezetne a célja, hogy egy szerint periodius függvényt felírjun mint trigonometrius függvényeből épzett függvénysorént. Nyilván a cos x a sin x függvénye szerint
RészletesebbenI. A PRIMITÍV FÜGGVÉNY ÉS A HATÁROZATLAN INTEGRÁL
A primitív függvény és a határozatlan integrál 5 I A PRIMITÍV FÜGGVÉNY ÉS A HATÁROZATLAN INTEGRÁL Gyaorlato és feladato ( oldal) I Vizsgáld meg, hogy a övetező függvényene milyen halmazon van primitív
RészletesebbenDiszkrét matematika I. középszint Alapfogalmakhoz tartozó feladatok kidolgozása
Diszrét matematia I. özépszint Alapfogalmahoz tartozó feladato idolgozása A doumentum a övetező címen elérhető alapfogalmahoz tartozó példafeladato lehetséges megoldásait tartalmazza: http://compalg.inf.elte.hu/~merai/edu/dm1/alapfogalma.pdf
Részletesebbenk n k, k n 2 C n k k=[ n+1 2 ] 1.1. ábra. Pascal háromszög
Alapfeladato Megoldás A ombináció értelmezése alapján felírhatju, hogy n, n Ha n páros, aor n és n özött veszi fel értéeit Ha n páratlan, aor n, vagyis > n n+, ami azt jelenti, hogy és n özött veszi fel
RészletesebbenLegfontosabb bizonyítandó tételek
Legfontosabb bizonyítandó tétele 1. A binomiális tétel Tetszőleges éttagú ifejezés (binom) bármely nem negatív itevőj ű hatványa polinommá alaítható a övetez ő módon: Az nem más, mint egy olyan n tényezős
Részletesebben13. Előadás. 1. Aritmetikai Ramsey-elmélet (folytatás)
Diszrét Matematia MSc hallgató számára 13. Előadás Előadó: Hajnal Péter Jegyzetelő: Virágh Zita 010. december 13. 1. Aritmetiai Ramsey-elmélet (folytatás) Eddig megemlített Ramsey-tételeet a övetező táblázatban
Részletesebben6. Bizonyítási módszerek
6. Bizonyítási módszere I. Feladato. Egy 00 00 -as táblázat minden mezőjébe beírju az,, 3 számo valamelyiét és iszámítju soronént is, oszloponént is, és a ét átlóban is az ott lévő 00-00 szám öszszegét.
RészletesebbenDr. Tóth László, Kombinatorika (PTE TTK, 2007) nem vagyunk tekintettel a kiválasztott elemek sorrendjére. Mennyi a lehetőségek száma?
Dr Tóth László, Kombiatoria (PTE TTK, 7 5 Kombiáció 5 Feladat Az,, 3, 4 számo özül válasszu i ettőt (ét ülöbözőt és írju fel ezeet úgy, hogy em vagyu teitettel a iválasztott eleme sorredjére Meyi a lehetősége
RészletesebbenDrótos G.: Fejezetek az elméleti mechanikából 4. rész 1
Drótos G.: Fejezete az elméleti mechaniából 4. rész 4. Kis rezgése 4.. gyensúlyi pont, stabilitás gyensúlyi pontna az olyan r pontoat nevezzü valamely oordináta-rendszerben, ahol a vizsgált tömegpont gyorsulása
RészletesebbenPermutációegyenletekről
Permutációegyenleteről Tuzson Zoltán tanár, Széelyudvarhely Az elemi ombinatoriában n elem egy ermutációján az n darab elem egy meghatározott sorrendjét (sorbarendezését) értjü. Legyen az n darab elem
RészletesebbenFüggvények hatványsorba fejtése, Maclaurin-sor, konvergenciatartomány
Függvénye hatványsorba fejtése, Maclaurin-sor, onvergenciatartomány Taylor-sor, ) Állítsu elő az alábbi függvénye x helyhez tartozó hatványsorát esetleg ülönféle módszereel) éa állapítsu meg a hatványsor
RészletesebbenA gyors Fourier-transzformáció (FFT)
A gyors Fourier-transzformáció (FFT) Egy analóg jel spetrumát az esete döntő többségében számítástechniai eszözöel határozzu meg. A jelet mintavételezzü és elvégezzü a mintasorozat diszrét Fouriertranszformációját.
Részletesebben1. Egyensúlyi pont, stabilitás
lméleti fizia. elméleti összefoglaló. gyensúlyi pont, stabilitás gyensúlyi pontna az olyan pontoat nevezzü, ahol a tömegpont gyorsulása 0. Ha a tömegpont egy ilyen pontban tartózodi, és nincs sebessége,
RészletesebbenVALÓS SZÁMOK MEGKÖZELÍTÉSE TÖRTEKKEL
Surányi János Farey törte mate.fazeas.u Surányi János VALÓS SZÁMOK MEGKÖZELÍTÉSE TÖRTEKKEL FAREY-TÖRTEK. Egy a alós számot racionális számoal, azaz törteel aarun megözelíteni. A törteet az alábbiaban mindig
RészletesebbenKiegészítő részelőadás 2. Algebrai és transzcendens számok, nevezetes konstansok
Kiegészítő részelőadás. Algebrai és transzcendens számo, nevezetes onstanso Dr. Kallós Gábor 04 05 A valós számo ategorizálása Eml. (óori felismerés): nem minden szám írható fel törtszámént (racionálisént)
RészletesebbenExponenciális és logaritmusos kifejezések, egyenletek
Gyaorló feladato Eponenciális és logaritmusos ifejezése, egyenlete. Hatványozási azonosságo. Számítsd i a övetező hatványo pontos értéét! g) b) c) d) 7 e) f) 9 0, 9 h) 0, 6 i) 0,7 j), 6 ), l). A övetező
RészletesebbenA CSOPORT 4 PONTOS: 1. A
A CSOPORT 4 PONTOS:. A szám: pí= 3,459265, becslése: 3,4626 abszolút hiba: A szám és a becslés özti ülönbség abszolút értée Pl.: 0.000033 Relatív hiba: Az abszolút hiba osztva a szám abszolút értéével
RészletesebbenA szita formula és alkalmazásai. Gyakran találkozunk az alábbi kérdéssel, sokszor egy összetett feladat részfeladataként.
A szta formula és alalmazása. Gyaran találozun az alább érdéssel, soszor egy összetett feladat részfeladataént. Tentsün bzonyos A 1,...,A n eseményeet, és számítsu anna a valószínűségét, hogy legalább
RészletesebbenXL. Felvidéki Magyar Matematikaverseny Oláh György Emlékverseny Galánta 2016 Megoldások 1. évfolyam. + x = x x 12
XL. Felvidéi Magyar Matematiaverseny Oláh György Emléverseny Galánta 016 Megoldáso 1. évfolyam 1. Oldju meg az egész számo halmazán az egyenletet. x 005 11 + x 004 1 = x 11 005 + x 1 004 Az egyenlet mindét
RészletesebbenValószínűségszámítás és statisztika előadás Info. BSC B-C szakosoknak. Bayes tétele. Példák. Események függetlensége. Példák.
Valószínűségszámítás és statisztia előadás Info. BSC B-C szaosona 20018/2019 1. félév Zempléni András 2.előadás Bayes tétele Legyen B 1, B 2,..., pozitív valószínűségű eseményeből álló teljes eseményrendszer
RészletesebbenBAYES-ANALÍZIS A KOCKÁZATELEMZÉSBEN, DISZKRÉT VALÓSZÍNŰSÉG ELOSZLÁSOK ALKALMAZÁSA 3
Balogh Zsuzsanna Hana László BAYES-ANALÍZIS A KOCKÁZATELEMZÉSBEN, DISZKRÉT VALÓSZÍNŰSÉG ELOSZLÁSOK ALKALMAZÁSA 3 Ebben a dolgozatban a Bayes-féle módszer alalmazási lehetőségét mutatju be a ocázatelemzés
RészletesebbenKiegészítő részelőadás 2. Algebrai és transzcendens számok, nevezetes konstansok
Kiegészítő részelőadás 2. Algebrai és transzcendens számo, nevezetes onstanso Dr. Kallós Gábor 204 205 A valós számo ategorizálása Eml. (óori felismerés): nem minden szám írható fel törtszámént (racionálisént)
RészletesebbenAnalízis I. Vizsgatételsor
Analízis I. Vizsgatételsor Programtervező Informatikus szak 2008-2009. 2. félév Készítette: Szabó Zoltán SZZNACI.ELTE zotyo@bolyaimk.hu v.0.6 RC 004 Forrás: Oláh Gábor: ANALÍZIS I.-II. VIZSGATÉTELSOR 2006-2007-/2
RészletesebbenDiszkrét matematika 2. estis képzés
Diszkrét matematika 2. estis képzés 2018. tavasz 1. Diszkrét matematika 2. estis képzés 10. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék
Részletesebben(Diszkrét idejű Markov-láncok állapotainak
(Diszkrét idejű Markov-láncok állapotainak osztályozása) March 21, 2019 Markov-láncok A Markov-láncok anaĺızise főként a folyamat lehetséges realizációi valószínűségeinek kiszámolásával foglalkozik. Ezekben
Részletesebben3. előadás Reaktorfizika szakmérnököknek TARTALOMJEGYZÉK. Az a bomlás:
beütésszám. előadás TARTALOMJEGYZÉK Az alfa-bomlás Az exponenciális bomlástörvény Felezési idő és ativitás Poisson-eloszlás Bomlási sémá értelmezése Bomlási soro, radioatív egyensúly Az a bomlás: A Z X
RészletesebbenSHk rövidítéssel fogunk hivatkozni.
Nevezetes függvény-határértékek Az alábbiakban a k sorszámú függvény-határértékek)re az FHk rövidítéssel, a kompozíció határértékéről szóló első, illetve második tételre a KL1, illetve a KL rövidítéssel,
RészletesebbenA következő feladat célja az, hogy egyszerű módon konstruáljunk Poisson folyamatokat.
Poisson folyamatok, exponenciális eloszlások Azt mondjuk, hogy a ξ valószínűségi változó Poisson eloszlású λ, 0 < λ
RészletesebbenFEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI
FEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI statisztika 3 III. VÉLETLEN VEKTOROK 1. A KÉTDIMENZIÓs VÉLETLEN VEKTOR Definíció: Az leképezést (kétdimenziós) véletlen vektornak nevezzük, ha Definíció:
RészletesebbenDiszkrét matematika 2.C szakirány
Diszkrét matematika 2.C szakirány 2015. ősz 1. Diszkrét matematika 2.C szakirány 3. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék 2015.
RészletesebbenDiszkrét matematika 2. estis képzés
Diszkrét matematika 2. estis képzés 2018. tavasz 1. Diszkrét matematika 2. estis képzés 7. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék
RészletesebbenHadamard-mátrixok Előadó: Hajnal Péter február 23.
Szimmetrikus kombinatorikus struktúrák MSc hallgatók számára Hadamard-mátrixok Előadó: Hajnal Péter 2012. február 23. 1. Hadamard-mátrixok Ezen az előadáson látásra a blokkrendszerektől független kombinatorikus
RészletesebbenUrishon-Nachbin approach to utility representation theorem
MPRA Munich Personal RePEc Archive Urishon-Nachbin approach to utility representation theorem Gyula Magyaruti Corvinus University of Budapest 25. October 2008 Online at http://mpra.ub.uni-muenchen.de/20171/
RészletesebbenDiszkrét matematika 2.C szakirány
Diszkrét matematika 2.C szakirány 2015. tavasz 1. Diszkrét matematika 2.C szakirány 1. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu Komputeralgebra Tanszék 2015. tavasz Gráfelmélet Diszkrét
RészletesebbenDiszkrét matematika 1. estis képzés
Diszkrét matematika 1. estis képzés 2019. tavasz 1. Diszkrét matematika 1. estis képzés 9. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Mérai László diái alapján
Részletesebben5 3 0,8 0,2. Számolja ki a 3
Megoldási útmutató, eredménye A feladato megoldásaor mindig ismételje át a feladatban szereplő fogalma definícióit. A szüséges fogalma, definíció: valószínűségi változó, diszrét-, folytonos valószínűségi
RészletesebbenAnalízis előadás és gyakorlat vázlat
Analízis előadás és gyakorlat vázlat Készült a PTE TTK GI szakos hallgatóinak Király Balázs 2010-11. I. Félév 2 1. fejezet Számhalmazok és tulajdonságaik 1.1. Nevezetes számhalmazok ➀ a) jelölése: N b)
RészletesebbenA 2015/2016. tanévi Országos Középiskolai Tanulmányi Verseny döntő forduló MATEMATIKA III. KATEGÓRIA (a speciális tanterv szerint haladó gimnazisták)
A 205/206. tanévi Országos Középiskolai Tanulmányi Verseny döntő forduló MATEMATIKA III. KATEGÓRIA a speciális tanterv szerint haladó gimnazisták Javítási-értékelési útmutató. feladat Az {,2,...,n} halmaz
RészletesebbenDiszkrét matematika 2.C szakirány
Diszkrét matematika 2.C szakirány 2017. tavasz 1. Diszkrét matematika 2.C szakirány 3. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék 2017.
RészletesebbenMatematika szigorlat, Mérnök informatikus szak I jún. 11.
Matematia szigorlat, Mérnö informatius sza I. 007. jún. 11. Megoldóulcs 1. Adott az f(x) = (x ) függvény. (a) Végezzen teljes függvényvizsgálatot! D f = R \ {} 13 zérushely: x = y-tengelyen a metszet:
Részletesebbenismertetem, hogy milyen probléma vizsgálatában jelent meg ez az eredmény. A kérdés a következő: Mikor mondhatjuk azt, hogy bizonyos események közül
A Borel Cantelli lemma és annak általánosítása. A valószínűségszámítás egyik fontos eredménye a Borel Cantelli lemma. Először informálisan ismertetem, hogy milyen probléma vizsgálatában jelent meg ez az
RészletesebbenRamsey-féle problémák
FEJEZET 8 Ramsey-féle problémák "Az intelligens eljárást az jellemzi, hogy még a látszólag megközelíthetetlen célhoz is utat nyit, megfelelő segédproblémát talál ki és először azt oldja meg." Pólya György:
RészletesebbenKOVÁCS BÉLA, MATEMATIKA I.
KOVÁCS BÉLA, MATEmATIkA I. 4 IV. FÜGGVÉNYEk 1. LEkÉPEZÉSEk, függvények Definíció Legyen és két halmaz. Egy függvény -ből -ba egy olyan szabály, amely minden elemhez pontosan egy elemet rendel hozzá. Az
RészletesebbenDiszkrét matematika KOMBINATORIKA KOMBINATORIKA
A ombiatoria véges elemszámú halmazoat vizsgál. A fő érdése: a halmaz elemeit háyféleéppe lehet sorbaredezi, iválasztai özülü éháyat vagy aár midet bizoyos feltétele mellett, stb. Ezért a ombiatoria alapját
Részletesebbenminden x D esetén, akkor x 0 -at a függvény maximumhelyének mondjuk, f(x 0 )-at pedig az (abszolút) maximumértékének.
Függvények határértéke és folytonossága Egy f: D R R függvényt korlátosnak nevezünk, ha a függvényértékek halmaza korlátos. Ha f(x) f(x 0 ) teljesül minden x D esetén, akkor x 0 -at a függvény maximumhelyének
RészletesebbenGráfelmélet. I. Előadás jegyzet (2010.szeptember 9.) 1.A gráf fogalma
Készítette: Laczik Sándor János Gráfelmélet I. Előadás jegyzet (2010.szeptember 9.) 1.A gráf fogalma Definíció: a G=(V,E) párt egyszerű gráfnak nevezzük, (V elemeit a gráf csúcsainak/pontjainak,e elemeit
RészletesebbenSpeciális függvénysorok: Taylor-sorok
Speciális függvénysoro: Taylor-soro Állítsu elő az alábbi függvénye x 0 0 helyhez tartozó hatványsorát esetleg ülönféle módszereel és állapítsu meg a hatványsor onvergenciatartományát! A cos 5x függvény
RészletesebbenSzámsorok. 1. Definíció. Legyen adott valós számoknak egy (a n ) n=1 = (a 1, a 2,..., a n,...) végtelen sorozata. Az. a n
Számsorok 1. Definíció. Legyen adott valós számoknak egy (a n ) = (a 1, a 2,..., a n,...) végtelen sorozata. Az végtelen összeget végtelen számsornak (sornak) nevezzük. Az a n számot a sor n-edik tagjának
RészletesebbenFunkcionálanalízis. n=1. n=1. x n y n. n=1
Funkcionálanalízis 2011/12 tavaszi félév - 2. előadás 1.4. Lényeges alap-terek, példák Sorozat terek (Folytatás.) C: konvergens sorozatok tere. A tér pontjai sorozatok: x = (x n ). Ezen belül C 0 a nullsorozatok
RészletesebbenIII. FOLYTONOS OPTIMALIZÁCIÓ
III FOLYTONOS OPTIMALIZÁCIÓ El szó Ebben a részben a folytonos optimalizáció néhány területét teintjü át Az elso ötetbe a játéelmélettel foglalozó nyolcadi fejezet erült: ebben a fejezetben a véges játéoat,
RészletesebbenLeképezések. Leképezések tulajdonságai. Számosságok.
Leképezések Leképezések tulajdonságai. Számosságok. 1. Leképezések tulajdonságai A továbbiakban legyen A és B két tetszőleges halmaz. Idézzünk fel néhány definíciót. 1. Definíció (Emlékeztető). Relációknak
Részletesebben17. előadás: Vektorok a térben
17. előadás: Vektorok a térben Szabó Szilárd A vektor fogalma A mai előadásban n 1 tetszőleges egész szám lehet, de az egyszerűség kedvéért a képletek az n = 2 esetben szerepelnek. Vektorok: rendezett
RészletesebbenFEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI
FEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI statisztika 2 II. A valószínűségi VÁLTOZÓ És JELLEMZÉsE 1. Valószínűségi VÁLTOZÓ Definíció: Az leképezést valószínűségi változónak nevezzük, ha
RészletesebbenElemösszefügg ség és Steiner-fák
Eötvös Loránd Tudományegyetem Természettudományi Kar Varnyú József Márton Matematia BSc Elemösszefügg ség és Steiner-fá Szadolgozat Témavezet : Fran András egyetemi tanár Operációutatási Tanszé Budapest,
Részletesebbenfile:///l:/valsz%c3%a1mstatv%c3%a9gleges/bernoulli/introduction...
1 / 5 2011.03.17. 14:23 Virtuális laboratóriumo > 10. Bernoulli ísérlete > 1 2 3 4 5 6 1. Bevezetés Alapelmélet A Bernoulli ísérlet folyamat, melyne névadója Jacob Bernoulli a valószínűségszámítás egyi
RészletesebbenMatematika alapjai; Feladatok
Matematika alapjai; Feladatok 1. Hét 1. Tekintsük a,, \ műveleteket. Melyek lesznek a.) kommutativok b.) asszociativak c.) disztributívak-e a, műveletek? Melyik melyikre? 2. Fejezzük ki a műveletet a \
RészletesebbenDiszkrét matematika 2.
Diszkrét matematika 2. 2018. szeptember 21. 1. Diszkrét matematika 2. 2. előadás Fancsali Szabolcs Levente nudniq@cs.elte.hu www.cs.elte.hu/ nudniq Komputeralgebra Tanszék 2018. szeptember 21. Gráfelmélet
RészletesebbenSzegedi Tudományegyetem
Szegedi Tudományegyetem Bolyai Intézet Geometria Tanszé Reed-Solomon-féle hibajavító ódo BSc szadolgozat Készítette: Táborosi Andor Zsolt matematia szaos hallgató Témavezető: Dr. Nagy Gábor Péter egyetemi
Részletesebbenés annak H részcsoportja úgy, hogy a [H, G] intervallum (azaz a G-beli, H-t tartalmazó részcsoportok hálója) L-lel izomorf legyen?
3. 3. Probléma (T): Található-e minden L véges hálóhoz egy G véges csoport és annak H részcsoportja úgy, hogy a [H, G] intervallum (azaz a G-beli, H-t tartalmazó részcsoportok hálója) L-lel izomorf legyen?
RészletesebbenKészletek - Rendelési tételnagyság számítása -1
Készlete - Rendelési tételnagyság számítása -1 A endelési tételnagyság meghatáozása talán a legészletesebben tágyalt édésö a észletgazdálodási szaiodalomban. Enne nagyészt az az oa, hogy mind az egyszee
RészletesebbenACTA ACADEMIAE PAEDAGOGICAE AGRIENSIS
Separatum ACTA ACADEMIAE PAEDAGOGICAE AGRIESIS OVA SERIES TOM. XXII. SECTIO MATEMATICAE TÓMÁCS TIBOR Egy rekurzív sorozat tagjainak átlagáról EGER, 994 Egy rekurzív sorozat tagjainak átlagáról TÓMÁCS TIBOR
RészletesebbenKészítette: Fegyverneki Sándor
VALÓSZÍNŰSÉGSZÁMÍTÁS Összefoglaló segédlet Készítette: Fegyverneki Sándor Miskolci Egyetem, 2001. i JELÖLÉSEK: N a természetes számok halmaza (pozitív egészek) R a valós számok halmaza R 2 {(x, y) x, y
RészletesebbenSorozatok, sorok, függvények határértéke és folytonossága Leindler Schipp - Analízis I. könyve + jegyzetek, kidolgozások alapján
Sorozatok, sorok, függvények határértéke és folytonossága Leindler Schipp - Analízis I. könyve + jegyzetek, kidolgozások alapján Számsorozatok, vektorsorozatok konvergenciája Def.: Számsorozatok értelmezése:
RészletesebbenDiszkrét matematika II., 8. előadás. Vektorterek
1 Diszkrét matematika II., 8. előadás Vektorterek Dr. Takách Géza NyME FMK Informatikai Intézet takach@inf.nyme.hu http://inf.nyme.hu/ takach/ 2007.??? Vektorterek Legyen T egy test (pl. R, Q, F p ). Definíció.
RészletesebbenLogikai szita (tartalmazás és kizárás elve)
Logikai szita (tartalmazás és kizárás elve) Kombinatorika 5. előadás SZTE Bolyai Intézet Szeged, 2016. március 1. 5. ea. Logikai szita két halmazra 1/4 Középiskolás feladat. Egy 30 fős osztályban a matematikát
Részletesebben3. Előadás. Megyesi László: Lineáris algebra, oldal. 3. előadás Lineáris egyenletrendszerek
3. Előadás Megyesi László: Lineáris algebra, 47. 50. oldal. Gondolkodnivalók Determinánsok 1. Gondolkodnivaló Determinánselméleti tételek segítségével határozzuk meg a következő n n-es determinánst: 1
Részletesebben1. tétel Halmazok és halmazok számossága. Halmazműveletek és logikai műveletek kapcsolata.
1. tétel Halmazok és halmazok számossága. Halmazműveletek és logikai műveletek kapcsolata. HLMZOK halmaz axiomatikus fogalom, nincs definíciója. benne van valami a halmazban szintén axiomatikus fogalom,
RészletesebbenAz R halmazt a valós számok halmazának nevezzük, ha teljesíti az alábbi 3 axiómacsoport axiómáit.
2. A VALÓS SZÁMOK 2.1 A valós számok aximómarendszere Az R halmazt a valós számok halmazának nevezzük, ha teljesíti az alábbi 3 axiómacsoport axiómáit. 1.Testaxiómák R-ben két művelet van értelmezve, az
RészletesebbenFourier sorok február 19.
Fourier sorok. 1. rész. 2018. február 19. Függvénysor, ismétlés Taylor sor: Speciális függvénysor, melynek tagjai: cf n (x) = cx n, n = 0, 1, 2,... Állítás. Bizonyos feltételekkel minden f előállítható
RészletesebbenKomplex számok. (a, b) + (c, d) := (a + c, b + d)
Komplex számok Definíció. Komplex számoknak nevezzük a valós számokból képzett rendezett (a, b) számpárok halmazát, ha közöttük az összeadást és a szorzást következőképpen értelmezzük: (a, b) + (c, d)
RészletesebbenDiszkrét matematika 1.
Diszkrét matematika 1. 201. ősz 1. Diszkrét matematika 1. 1. előadás Mérai László diái alapján Komputeralgebra Tanszék 201. ősz Kombinatorika Diszkrét matematika 1. 201. ősz 2. Kombinatorika Kombinatorika
RészletesebbenDiszkrét matematika 2. estis képzés
Diszkrét matematika 2. estis képzés 2016. tavasz 1. Diszkrét matematika 2. estis képzés 9. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék
Részletesebben1. Komplex szám rendje
1. Komplex szám redje A hatváyo periódiusa ismétlőde. Tétel Legye 0 z C. Ha z egységgyö, aor hatváyai periódiusa ismétlőde. Ha z em egységgyö, aor bármely ét, egész itevőjű hatváya ülöböző. Tegyü föl,
RészletesebbenVEKTORTEREK I. VEKTORTÉR, ALTÉR, GENERÁTORRENDSZER október 15. Irodalom. További ajánlott feladatok
VEKTORTEREK I. VEKTORTÉR, ALTÉR, GENERÁTORRENDSZER 2004. október 15. Irodalom A fogalmakat, definíciókat illetően két forrásra támaszkodhatnak: ezek egyrészt elhangzanak az előadáson, másrészt megtalálják
RészletesebbenMiért fontos számunkra az előző gyakorlaton tárgyalt lineáris algebrai ismeretek
Az november 23-i szeminárium témája Rövid összefoglaló Miért fontos számunkra az előző gyakorlaton tárgyalt lineáris algebrai ismeretek felfrissítése? Tekintsünk ξ 1,..., ξ k valószínűségi változókat,
RészletesebbenGRÁFELMÉLET. 7. előadás. Javító utak, javító utak keresése, Edmonds-algoritmus
GRÁFELMÉLET 7. előadás Javító utak, javító utak keresése, Edmonds-algoritmus Definíció: egy P utat javító útnak nevezünk egy M párosításra nézve, ha az út páratlan hosszú, kezdő- és végpontjai nem párosítottak,
RészletesebbenDiszkrét matematika 2.
Diszkrét matematika 2. Mérai László előadása alapján Készítette: Nagy Krisztián 1. előadás Gráfok halmaza, gráf, ahol a csúcsok halmaza, az élek illesztkedés reláció: illesztkedik az élre, ha ( -él illesztkedik
RészletesebbenKomplex számok. 6. fejezet. A komplex szám algebrai alakja. Feladatok. alábbi komplex számokat és helyvektorukat:
6 fejezet Komplex számo A omplex szám algebrai alaja D 61 Komplex száma evezü mide olya a+bi alaú ifejezést amelybe a és b valós szám i pedig az összes valós számtól ülöböz épzetes egysége evezett szimbólum
Részletesebben2014. november 5-7. Dr. Vincze Szilvia
24. november 5-7. Dr. Vincze Szilvia A differenciálszámítás az emberiség egyik legnagyobb találmánya és ez az állítás nem egy matek-szakbarbár fellengzős kijelentése. A differenciálszámítás segítségével
Részletesebben123 Legyen mármost adva egy (1) lefedő rendszer, melyben ni *- 6, 1 ~ i :s és legyen p i az n 2hez tartozó prímszámo valamelyie. Eor ezen pi- (2) érte
Egy ongruenciarenslszereről szóló problémáról Az írta : ERDÖS PÁL (l) x-ai(mod ni), 1 < n1 < n 2
RészletesebbenDiszkrét matematika 2.C szakirány
Diszkrét matematika 2.C szakirány 2017. ősz 1. Diszkrét matematika 2.C szakirány 2. előadás Nagy Gábor nagygabr@gmail.com nagy@compalg.inf.elte.hu compalg.inf.elte.hu/ nagy Komputeralgebra Tanszék 2017.
Részletesebben1. Generátorrendszer. Házi feladat (fizikából tudjuk) Ha v és w nem párhuzamos síkvektorok, akkor generátorrendszert alkotnak a sík vektorainak
1. Generátorrendszer Generátorrendszer. Tétel (Freud, 4.3.4. Tétel) Legyen V vektortér a T test fölött és v 1,v 2,...,v m V. Ekkor a λ 1 v 1 + λ 2 v 2 +... + λ m v m alakú vektorok, ahol λ 1,λ 2,...,λ
RészletesebbenTypotex Kiadó. Bevezetés
Bevezetés A bennünket körülvevő világ leírásához ősidők óta számokat is alkalmazunk. Tekintsük át a számfogalom kiépülésének logikai-történeti folyamatát, amely minden valószínűség szerint a legkorábban
RészletesebbenA Peano-görbe. Besenyei Ádám ELTE
A Peano-görbe Besenyei Ádám ELTE A folytonos görbe kifejezés hallatán hajlamosak vagyunk először egy, a szó szoros értelmében egybefüggően megrajzolható vonalra gondolni. A görbe fogalma azonban a vártnál
RészletesebbenA JÓLÉTI ÁLLAM KÖZGAZDASÁGTANA
A JÓLÉTI ÁLLAM KÖZGAZDASÁGTANA A JÓLÉTI ÁLLAM KÖZGAZDASÁGTANA Készült a TÁMOP-4.1.2-08/2/A/KMR-2009-0041pályázati projet eretében Tartalomfejlesztés az ELTE TátK Közgazdaságtudományi Tanszéén az ELTE Közgazdaságtudományi
Részletesebbenf(x) vagy f(x) a (x x 0 )-t használjuk. lim melyekre Mivel itt ɛ > 0 tetszőlegesen kicsi, így a a = 0, a = a, ami ellentmondás, bizonyítva
6. FÜGGVÉNYEK HATÁRÉRTÉKE ÉS FOLYTONOSSÁGA 6.1 Függvény határértéke Egy D R halmaz torlódási pontjainak halmazát D -vel fogjuk jelölni. Definíció. Legyen f : D R R és legyen x 0 D (a D halmaz torlódási
Részletesebben1. tétel - Gráfok alapfogalmai
1. tétel - Gráfok alapfogalmai 1. irányítatlan gráf fogalma A G (irányítatlan) gráf egy (Φ, E, V) hátmas, ahol E az élek halmaza, V a csúcsok (pontok) halmaza, Φ: E {V-beli rendezetlen párok} illeszkedési
RészletesebbenTizenegyedik gyakorlat: Parciális dierenciálegyenletek Dierenciálegyenletek, Földtudomány és Környezettan BSc
Tizenegyedi gyaorlat: Parciális dierenciálegyenlete Dierenciálegyenlete, Földtudomány és Környezettan BSc A parciális dierenciálegyenlete elmélete még a özönséges egyenleteénél is jóval tágabb, így a félévben
Részletesebben1. Részcsoportok (1) C + R + Q + Z +. (2) C R Q. (3) Q nem részcsoportja C + -nak, mert más a művelet!
1. Részcsoportok A részcsoport fogalma. 2.2.15. Definíció Legyen G csoport. A H G részhalmaz részcsoport, ha maga is csoport G műveleteire nézve. Jele: H G. Az altér fogalmához hasonlít. Példák (1) C +
RészletesebbenVéletlen sorozatok ellenőrzésének módszerei. dolgozat
Eötvös Loránd Tudományegyetem Informatikai Kar Komputeralgebra Tanszék Véletlen sorozatok ellenőrzésének módszerei dolgozat Témavezető: Dr. Iványi Antal Miklós egyetemi tanár Készítette: Potempski Dániel
RészletesebbenVéges ponthalmazok legrövidebb hálózatai Kábelrakás kis költséggel
Véges ponthalmazok legrövidebb hálózatai Bessenyei Mihály U.M. Debreceni Egyetem, Matematikai Intézet, Analízis Tanszék (Szabó Gréta egyetemi hallgatóval közös munka alapján) Medve Matektábor, Pusztafalu,
Részletesebben1. feladatsor: Vektorterek, lineáris kombináció, mátrixok, determináns (megoldás)
Matematika A2c gyakorlat Vegyészmérnöki, Biomérnöki, Környezetmérnöki szakok, 2017/18 ősz 1. feladatsor: Vektorterek, lineáris kombináció, mátrixok, determináns (megoldás) 1. Valós vektorterek-e a következő
RészletesebbenStatisztika - bevezetés Méréselmélet PE MIK MI_BSc VI_BSc 1
Statisztika - bevezetés 00.04.05. Méréselmélet PE MIK MI_BSc VI_BSc Bevezetés Véletlen jelenség fogalma jelenséget okok bizonyos rendszere hozza létre ha mindegyik figyelembe vehető egyértelmű leírás általában
Részletesebbenegyenletesen, és c olyan színű golyót teszünk az urnába, amilyen színűt húztunk. Bizonyítsuk
Valószínűségszámítás 8. feladatsor 2015. november 26. 1. Bizonyítsuk be, hogy az alábbi folyamatok mindegyike martingál. a S n, Sn 2 n, Y n = t n 1+ 1 t 2 Sn, t Fn = σ S 1,..., S n, 0 < t < 1 rögzített,
RészletesebbenAlgoritmuselmélet. Katona Gyula Y. Számítástudományi és Információelméleti Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem. 13.
Algoritmuselmélet NP-teljes problémák Katona Gyula Y. Számítástudományi és Információelméleti Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem 13. előadás Katona Gyula Y. (BME SZIT) Algoritmuselmélet
RészletesebbenDigitális Fourier-analizátorok (DFT - FFT)
6 Digitális Fourier-analizátoro (DFT - FFT) Eze az analizátoro digitális műödésűe és a Fourier-transzformálás elvén alapulna. A digitális Fourier analizátoro a folytonos időfüggvény mintavételezett jeleit
Részletesebben