Kronecker-modulusok kombinatorikája és alkalmazások

Hasonló dokumentumok
Preinjektív Kronecker-modulusok bővítési szorzata

Kvadratikus alakok és euklideszi terek (előadásvázlat, október 5.) Maróti Miklós, Kátai-Urbán Kamilla

1.1. Vektorok és operátorok mátrix formában

Lineáris algebra és a rang fogalma (el adásvázlat, szeptember 29.) Maróti Miklós

Lineáris leképezések (előadásvázlat, szeptember 28.) Maróti Miklós, Kátai-Urbán Kamilla

Vektorterek. Wettl Ferenc február 17. Wettl Ferenc Vektorterek február / 27

Diszkrét matematika I., 12. előadás Dr. Takách Géza NyME FMK Informatikai Intézet takach november 30.

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Diszkrét matematika II., 8. előadás. Vektorterek

Diszkrét matematika 1. estis képzés. Komputeralgebra Tanszék ősz

1. 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

Lineáris algebra 2. Filip Ferdinánd december 7. siva.banki.hu/jegyzetek

Vizsgatematika Bevezetés a matematikába II tárgyhoz tavasz esti tagozat

Lineáris algebra. =0 iє{1,,n}

Mátrixok 2017 Mátrixok

Vektorok, mátrixok, lineáris egyenletrendszerek

2017, Diszkrét matematika

Vektorterek. =a gyakorlatokon megoldásra ajánlott

Polinomok (el adásvázlat, április 15.) Maróti Miklós

Kongruenciák. Waldhauser Tamás

17. előadás: Vektorok a térben

Permutációk véges halmazon (el adásvázlat, február 12.)

1. Házi feladat. Határidő: I. Legyen f : R R, f(x) = x 2, valamint. d : R + 0 R+ 0

1.1. Definíció. Azt mondjuk, hogy a oszója b-nek, vagy más szóval, b osztható a-val, ha létezik olyan x Z, hogy b = ax. Ennek jelölése a b.

Rekurzív sorozatok oszthatósága

LINEÁRIS ALGEBRA. matematika alapszak. Euklideszi terek. SZTE Bolyai Intézet, őszi félév. Euklideszi terek LINEÁRIS ALGEBRA 1 / 40

Klasszikus algebra előadás. Waldhauser Tamás március 24.

1. Bázistranszformáció

Diszkrét matematika 2.

1. Homogén lineáris egyenletrendszer megoldástere

VEKTORTEREK I. VEKTORTÉR, ALTÉR, GENERÁTORRENDSZER október 15. Irodalom. További ajánlott feladatok

Vektorterek. Több esetben találkozhattunk olyan struktúrával, ahol az. szabadvektorok esetében, vagy a függvények körében, vagy a. vektortér fogalma.

Csoporthatások. 1 Alapfogalmak 1 ALAPFOGALMAK. G csoport hatása az X halmazon egy olyan µ: G X X leképezés, amelyre teljesül

1. Mit jelent az, hogy egy W R n részhalmaz altér?

Klasszikus algebra előadás. Waldhauser Tamás április 14.

MBNK12: Permutációk (el adásvázlat, április 11.) Maróti Miklós

Klasszikus algebra előadás. Waldhauser Tamás április 28.

Komplex számok. Wettl Ferenc előadása alapján Wettl Ferenc előadása alapján Komplex számok / 18

1. feladatsor: Vektorterek, lineáris kombináció, mátrixok, determináns (megoldás)

Diszkrét matematika 2.C szakirány

Chomsky-féle hierarchia

Gráfelméleti feladatok. c f

Relációk. 1. Descartes-szorzat

A digitális számítás elmélete

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

A szimplex algoritmus

Bevezetés az algebrába 2

Diszkrét matematika 2. estis képzés

MATE-INFO UBB verseny, március 25. MATEMATIKA írásbeli vizsga

Mátrixfüggvények. Wettl Ferenc április 28. Wettl Ferenc Mátrixfüggvények április / 22

KOVÁCS BÉLA, MATEMATIKA I.

1. Absztrakt terek 1. (x, y) x + y X és (λ, x) λx X. műveletek értelmezve vannak, és amelyekre teljesülnek a következő axiómák:

Formális nyelvek - 9.

Bevezetés az algebrába 2 Differencia- és differenciálegyenlet-rendszerek

Nagy Gábor compalg.inf.elte.hu/ nagy

KOVÁCS BÉLA, MATEMATIKA I.

MM CSOPORTELMÉLET GYAKORLAT ( )

2. Rekurzió. = 2P2(n,n) 2 < 2P2(n,n) 1

Matematika (mesterképzés)

1. feladatsor Komplex számok

2018, Diszkrét matematika

Gy ur uk aprilis 11.

Miért fontos számunkra az előző gyakorlaton tárgyalt lineáris algebrai ismeretek

Ortogonalizáció. Wettl Ferenc Wettl Ferenc Ortogonalizáció / 41

Modellek és Algoritmusok - 2.ZH Elmélet

Nagy Gábor compalg.inf.elte.hu/ nagy

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Felvételi vizsga mintatételsor Informatika írásbeli vizsga

i=1 λ iv i = 0 előállítása, melynél valamelyik λ i

Deníciók és tételek a beugró vizsgára

= e i1 e ik e j 1. tenzorok. A k = l = 0 speciális esetben e az R egységeleme. A. e q 1...q s. = e j 1...j l q 1...q s

Direkt limesz, inverz limesz, végtelen Galois-bővítések

11. Előadás. 11. előadás Bevezetés a lineáris programozásba

Diszkrét matematika I.

2. gyakorlat. A polárkoordináta-rendszer

Bevezetés az algebrába 1

Lineáris egyenletrendszerek

Absztrakt vektorterek

Szinguláris értékek. Wettl Ferenc április 3. Wettl Ferenc Szinguláris értékek április 3. 1 / 28

Nagy Gábor compalg.inf.elte.hu/ nagy

MM4122/2: CSOPORTELMÉLET GYAKORLAT ( ) 1. Ismétlés február 8.február Feladat. (2 pt. közösen megbeszéltük)

p-adikus lineáris csoportok reprezentációi

Lineáris algebra Gyakorló feladatok

Opkut deníciók és tételek

15. LINEÁRIS EGYENLETRENDSZEREK

Lin.Alg.Zh.1 feladatok

Diszkrét matematika 2.C szakirány

Feladatok a Gazdasági matematika II. tárgy gyakorlataihoz

Nagy Gábor compalg.inf.elte.hu/ nagy

Szinguláris értékek. Wettl Ferenc április 12. Wettl Ferenc Szinguláris értékek április / 35

Matematika alapjai; Feladatok

Nagy Gábor compalg.inf.elte.hu/ nagy ősz

Mérhetőség, σ-algebrák, Lebesgue Stieltjes-integrál, véletlen változók és eloszlásfüggvényeik

Relációk. 1. Descartes-szorzat. 2. Relációk

RSA algoritmus. P(M) = M e mod n. S(C) = C d mod n. A helyesség igazoláshoz szükséges számelméleti háttér. a φ(n) = 1 mod n, a (a 1,a 2,...

FEGYVERNEKI SÁNDOR, Valószínűség-sZÁMÍTÁs És MATEMATIKAI

Amortizációs költségelemzés

Mer legesség. Wettl Ferenc Wettl Ferenc Mer legesség / 40

ZH feladatok megoldásai

3. Feloldható csoportok

Átírás:

Kronecker-modulusok kombinatorikája és alkalmazások BBTE, Magyar Matematika es Informatika Intézet

Tegezek Meghatározás Egy Q tegez egy irányított multigráf (két csomópont között több irányított él is lehet, illetve hurkok létezése is megengedett). Példa

Utak a tegezben Meghatározás Legyen Q egy tegez és a, b csomópontok. Egy l 1 hosszúságú út a-ból b-be egy olyan (a α 1,α 2,...,α l b) élsorozat, ahol minden α i élre igaz, hogy az α i nyíl eleje egybeesik az α i+1 nyíl végével. Minden a csomóponthoz hozzárendelünk egy l = 0 hosszúságú utat, a triviális vagy stacionárius utat.

Tegez útalgebrája Meghatározás A Q tegez kq útalgebrája egy olyan k-algebra, ahol a k-vektortérnek a bázisát az (a α 1,α 2,...,α l b), l 0 utak alkotják és ahol két bázisvektor szorzata a megfelel utak összetevését jelenti. Vagyis az (a α 1,α 2,...,α l b) és (c β 1,β 2,...,β k d) utak szorzata (a α 1,α 2,...,α l b)(c β 1,β 2,...,β l d) = = δ bc (a α 1,α 2,...,α l,β 1,β 2,...,β k d) (ahol δ bc a Kronecker-delta).

Tegez reprezentációja Meghatározás Legyen Q egy véges tegez. A Q k-lineáris reprezentációja (vagy csak egyszer en reprezentációja) a következ t jelenti: (1) Q minden egyes a csomópontjához egy M a k-vektortért rendelünk. (2) Minden egyes α : a b élhez egy megfelel ϕ α : M a M b k-lineáris függvényt rendelünk.

A Kronecker-tegez és a Kronecker-algebra Meghatározás A Kronecker-tegez: Meghatározás. A Kronecker-algebra izomorf a Kronecker-tegez útalgebrájával. [ ] k 0 A Kronecker-algebrának k 2 alakú elemei vannak, vagyis k ( ) v 0 2 2-es alakú mátrixok, ahol v,w k, (u 1, u 2 ) w (u 1, u 2 ) k 2. A szorzás a következ módon történik: ( d 0 (u 1, u 2 ) c )( f 0 (v 1, v 2 ) e ) ( = df 0 (u 1 f + v 1 c, u 2 f + v 2 c) ce ).

A Kronecker-tegez és a Kronecker-algebra Meghatározás A Kronecker-tegez: Meghatározás. A Kronecker-algebra izomorf a Kronecker-tegez útalgebrájával. [ ] k 0 A Kronecker-algebrának k 2 alakú elemei vannak, vagyis k ( ) v 0 2 2-es alakú mátrixok, ahol v,w k, (u 1, u 2 ) w (u 1, u 2 ) k 2. A szorzás a következ módon történik: ( d 0 (u 1, u 2 ) c )( f 0 (v 1, v 2 ) e ) ( = df 0 (u 1 f + v 1 c, u 2 f + v 2 c) ce ).

A Kronecker-tegez és a Kronecker-algebra Meghatározás A Kronecker-tegez: Meghatározás. A Kronecker-algebra izomorf a Kronecker-tegez útalgebrájával. [ ] k 0 A Kronecker-algebrának k 2 alakú elemei vannak, vagyis k ( ) v 0 2 2-es alakú mátrixok, ahol v,w k, (u 1, u 2 ) w (u 1, u 2 ) k 2. A szorzás a következ módon történik: ( d 0 (u 1, u 2 ) c )( f 0 (v 1, v 2 ) e ) ( = df 0 (u 1 f + v 1 c, u 2 f + v 2 c) ce ).

A Kronecker-modulus Meghatározás A Kronecker-modulus egy véges dimenziós jobboldali modulus a Kronecker-algebra fölött. Minden M Kronecker-modulust azonosíthatunk a Kronecker-tegeznek egy ( X 1 X 2 ϕ 2 ϕ 1 ) reprezentációjával. Itt X 1 és X 2 véges dimenziós k-vektorterek és ϕ 1, ϕ 2 k-lineáris függvények, amiknek felírhatjuk a mátrixszát a kanonikus bázisban. A reprezentációból a Kronecker-modulust a következ módon kapjuk vissza: a vektortér M = X 1 X 2, a jobboldali csoporthatás pedig : M A M, ahol ( (x 1, x 2 ) λ 0 (u 1, u 2 ) µ ) = (x 1 λ + ϕ 1 (x 2 )u 1 + ϕ 1 (x 2 )u 2, x 2 µ).

A Kronecker-modulus Meghatározás A Kronecker-modulus egy véges dimenziós jobboldali modulus a Kronecker-algebra fölött. Minden M Kronecker-modulust azonosíthatunk a Kronecker-tegeznek egy ( X 1 X 2 ϕ 2 ϕ 1 ) reprezentációjával. Itt X 1 és X 2 véges dimenziós k-vektorterek és ϕ 1, ϕ 2 k-lineáris függvények, amiknek felírhatjuk a mátrixszát a kanonikus bázisban. A reprezentációból a Kronecker-modulust a következ módon kapjuk vissza: a vektortér M = X 1 X 2, a jobboldali csoporthatás pedig : M A M, ahol ( (x 1, x 2 ) λ 0 (u 1, u 2 ) µ ) = (x 1 λ + ϕ 1 (x 2 )u 1 + ϕ 1 (x 2 )u 2, x 2 µ).

Felbonthatatlan Kronecker-modulusok A felbonthatatlan Kronecker-modulusok három családba sorolhatók: 1 a preprojektívek, 2 a regulárisok, 3 a preinjektívek. A Kronecker-modulusok kategóriájának jelölése: mod-kk.

Felbonthatatlan Kronecker-modulusok A felbonthatatlan Kronecker-modulusok három családba sorolhatók: 1 a preprojektívek, 2 a regulárisok, 3 a preinjektívek. A Kronecker-modulusok kategóriájának jelölése: mod-kk.

Felbonthatatlan Kronecker-modulusok A felbonthatatlan Kronecker-modulusok három családba sorolhatók: 1 a preprojektívek, 2 a regulárisok, 3 a preinjektívek. A Kronecker-modulusok kategóriájának jelölése: mod-kk.

Felbonthatatlan Kronecker-modulusok A felbonthatatlan Kronecker-modulusok három családba sorolhatók: 1 a preprojektívek, 2 a regulárisok, 3 a preinjektívek. A Kronecker-modulusok kategóriájának jelölése: mod-kk.

Felbonthatatlan Kronecker-modulusok A felbonthatatlan Kronecker-modulusok három családba sorolhatók: 1 a preprojektívek, 2 a regulárisok, 3 a preinjektívek. A Kronecker-modulusok kategóriájának jelölése: mod-kk.

Felbonthatatlan Kronecker-modulusok Preinjektív Preprojektív dualitás egységmátrix n-ed rendű Jordan-blokk (0 sajátértékkel) Reguláris és (ha a test algebrailag zárt)

Kronecker-modulusok felbontása Tétel (Krull-Schmidt) Minden in M mod-kk Kronecker-modulus a következ módon bontható fel egyedi módon (izomorzmus erejéig): ahol: M = (P c1 P cn ) ( p P 1 R p (µ (p) )) (I d1 I dm ), k 1 (c 1,...,c n ) véges, nemnegatív egész számokból álló növekv sorozat, 2 µ (p) = (µ 1,..., µ t ) partíció, ahol p P 1 k R p (µ (p) ) = R p (µ 1 ) R p (µ t ), (vagy p k { }) és 3 (d 1,...,d m ) véges, nemnegatív egész számokból álló csökken sorozat. Meghatározás Az el bbi (1), (2), (3) pontoknál felsorolt egész számokat nevezzük az M modulus Kronecker-invariánsainak. Ezek az invariánsok (izomorzmus erejéig) meghatározzák az M Kronecker-modulust.

Kronecker-modulusok felbontása Tétel (Krull-Schmidt) Minden in M mod-kk Kronecker-modulus a következ módon bontható fel egyedi módon (izomorzmus erejéig): ahol: M = (P c1 P cn ) ( p P 1 R p (µ (p) )) (I d1 I dm ), k 1 (c 1,...,c n ) véges, nemnegatív egész számokból álló növekv sorozat, 2 µ (p) = (µ 1,..., µ t ) partíció, ahol p P 1 k R p (µ (p) ) = R p (µ 1 ) R p (µ t ), (vagy p k { }) és 3 (d 1,...,d m ) véges, nemnegatív egész számokból álló csökken sorozat. Meghatározás Az el bbi (1), (2), (3) pontoknál felsorolt egész számokat nevezzük az M modulus Kronecker-invariánsainak. Ezek az invariánsok (izomorzmus erejéig) meghatározzák az M Kronecker-modulust.

Hom(X, Y ) Hom(R, P) = Hom(I, P) = Hom(I, R) = 0. P R I P R I

P P I I Kronecker-modulusok Tétel (Szántó Cs.) Legyen P := P d1... P dn és P := P c1... P cm, ahol 0 c 1... c m és 0 d 1... d n. Akkor P P ci 1 <d j (d j + 1) (c i + 1) +... + (c m + 1) minden i {1,...,m}-re. (c 0 = 1 és az üres összeg értéke 0).

P P I I Kronecker-modulusok A következ multiplikatív jelölést használva: P = (a 0 P 0 )... (a n P n )... P = (b 0 P 0 )... (b n P n )... azt kapjuk, hogy P P akkor és csak akkor, ha a 0 + 2a 1 +... + (n + 1)a n b 0 + 2b 1 +... + (n + 1)b n 2a 1 +... + (n + 1)a n 2b 1 +... + (n + 1)b n... (n + 1)a n (n + 1)b n.

I I Kronecker-modulusok Tétel (Szántó Cs., Szöll si I.) Legyenek d 1... d n > 0 és c 1... c m > 0 csökken sorozatok. I d1... I dn di 0 I c1... I cm ci 0 d c és d i +... + d n cj d i c j minden i = {1,...,n}-re (az üres összeg értéke 0).

I I Kronecker-modulusok A következ multiplikatív jelölést használva: I = (a 0 I 0 )... (a n I n )..., I = (b 0 I 0 )... (b n I n )... azt kapjuk, hogy I I akkor és csak akkor, ha a 0 b 0 a 1 b 1 a 1 + 2a 2 b 1 + 2b 2... a 1 + 2a 2 +... + na n b 1 + 2b 2 +... + nb n.

Rövid egzakt sorok [M] - az M mod-kk izomorzmusosztálya. Tétel (Szántó Cs.) Legyenek I i és I j felbonthatatlan preinjektív Kronecker-modulusok. Akkor és csak akkor létezik egy 0 I j I I i 0 rövid egzakt sor, ha { {[Ii I j ]} i j 1 [I ] {[I j I i ],[I j 1 I i+1 ],...,[I j [ j i 2 ] I. i+[ j i 2 ]]} i j < 1 Tétel (Szántó Cs.) Legyenek P i és P j felbonthatatlan preprojektív Kronecker-modulusok. Akkor és csak akkor létezik egy 0 P j P P i 0 rövid egzakt sor, ha { {[Pi P j ]} i j 1 [P] {[P j P i ],[P j+1 P i 1 ],...,[P j+[ i j 2 ] P. i [ i j 2 ]]} i j > 1

Rövid egzakt sorok [M] - az M mod-kk izomorzmusosztálya. Tétel (Szántó Cs.) Legyenek I i és I j felbonthatatlan preinjektív Kronecker-modulusok. Akkor és csak akkor létezik egy 0 I j I I i 0 rövid egzakt sor, ha { {[Ii I j ]} i j 1 [I ] {[I j I i ],[I j 1 I i+1 ],...,[I j [ j i 2 ] I. i+[ j i 2 ]]} i j < 1 Tétel (Szántó Cs.) Legyenek P i és P j felbonthatatlan preprojektív Kronecker-modulusok. Akkor és csak akkor létezik egy 0 P j P P i 0 rövid egzakt sor, ha { {[Pi P j ]} i j 1 [P] {[P j P i ],[P j+1 P i 1 ],...,[P j+[ i j 2 ] P. i [ i j 2 ]]} i j > 1

Rövid egzakt sorok [M] - az M mod-kk izomorzmusosztálya. Tétel (Szántó Cs.) Legyenek I i és I j felbonthatatlan preinjektív Kronecker-modulusok. Akkor és csak akkor létezik egy 0 I j I I i 0 rövid egzakt sor, ha { {[Ii I j ]} i j 1 [I ] {[I j I i ],[I j 1 I i+1 ],...,[I j [ j i 2 ] I. i+[ j i 2 ]]} i j < 1 Tétel (Szántó Cs.) Legyenek P i és P j felbonthatatlan preprojektív Kronecker-modulusok. Akkor és csak akkor létezik egy 0 P j P P i 0 rövid egzakt sor, ha { {[Pi P j ]} i j 1 [P] {[P j P i ],[P j+1 P i 1 ],...,[P j+[ i j 2 ] P. i [ i j 2 ]]} i j > 1

Rövid egzakt sorok Tétel (Szántó Cs., Szöll si I.) Legyenek a 1...a p 0, b 1 b n 0 és c 1 c r 0 csökken sorozatok. Akkor és csak akkor létezik egy 0 I b 1 I b n I c 1 I c r I a 1 I a p 0 alakú rövid egzakt sor, ha r = n + p, β : {1,...,n} {1,...,n + p}, α : {1,...,p} {1,...,n + p} szigorúan növekv függvények úgy, hogy Imα Imβ = /0 és m i j 0, 1 i n, 1 j p úgy, hogy l {1,...,n + p}-re teljesül a következ összefüggés: b i β (i)<α(j) m i, j where i = β 1 (l) l Imβ 1 j p c l = a j + β (i)<α(j) m i, j where j = α 1 (l) l Imα. 1 i n

Rövid egzakt sorok Példa 0 I 9 I 6 I 4 I 7 I 5 I 5 I 4 I 4 I 4 I 2 I 1 I 7 I 3 I 2 I 1 I 0 0.

Rövid egzakt sorok Tétel (Szöll si I.) Legyenek a 1...a p 0, b 1 b n 0, c 1 c r 0 csökken sorozatok és B j = {l {0,...,n} l k=1 b k + j k=1 a k l+j k=1 c k} minden 1 j p-re. Akkor és csak akkor létezik egy 0 I b 1 I b n I I a 1 I a p 0 alakú rövid egzakt sor, ha [I ] = [I c 1 I c r ], r = p + n, r i=1 c i = p i=1 a i + n i=1 b i, B j /0, a j c αj és b i c βi minden 1 j p és 1 i n értérke, ahol α j = { minb 1 + 1 j = 1 max{α j 1 + 1,minB j + j} 1 < j p és β i = { min{l {1,...,r} l α j,1 j p} i = 1 min{l {β i 1 + 1,...,r} l α j,1 j p} 1 < i n.

Rövid egzakt sorok Megjegyzés: Lineáris idej algoritmussal eldönthet, hogy egy adott középs tag megfelel-e a tételben szerepl követelményeknek.

Rövid egzakt sorok 9 9 6 6 4 4 7 7 3 3 2 2 1 1 0 0 0 7 10 12 13 13 9 16 19 21 22 22 15 22 25 27 28 28 19 26 29 31 32 32 0 7 5 5 4 4 4 2 1 7 12 17 21 25 29 31 32

Rövid egzakt sorok 7 3 2 1 0 9 6 4 0 7 10 12 13 13 9 16 19 21 22 22 15 22 25 27 28 28 19 26 29 31 32 32 0 7 5 5 4 4 4 2 1 7 12 17 21 25 29 31 32

Rövid egzakt sorok 7 3 2 1 0 9 6 4 0 7 10 12 13 13 9 16 19 21 22 22 15 22 25 27 28 28 19 26 29 31 32 32 0 7 5 5 4 4 4 2 1 7 12 17 21 25 29 31 32

Rövid egzakt sorok 7 3 2 1 0 9 6 4 0 7 10 12 13 13 9 16 19 21 22 22 15 22 25 27 28 28 19 26 29 31 32 32 7 5 5 4 4 4 2 1 0 7 12 17 21 25 29 31 32

Rövid egzakt sorok 7 3 2 1 0 9 6 4 0 7 10 12 13 13 9 16 19 21 22 22 15 22 25 27 28 28 19 26 29 31 32 32 7 5 5 4 4 4 2 1 0 7 12 17 21 25 29 31 32

Rövid egzakt sorok 7 3 2 1 0 9 6 4 0 7 10 12 13 13 9 16 19 21 22 22 15 22 25 27 28 28 19 26 29 31 32 32 7 5 5 4 4 4 2 1 0 7 12 17 21 25 29 31 32

Rövid egzakt sorok 7 3 2 1 0 9 6 4 0 7 10 12 13 13 9 16 19 21 22 22 15 22 25 27 28 28 19 26 29 31 32 32 7 5 5 4 4 4 2 1 0 7 12 17 21 25 29 31 32

Rövid egzakt sorok 7 3 2 1 0 9 6 4 0 7 10 12 13 13 9 16 19 21 22 22 15 22 25 27 28 28 19 26 29 31 32 32 7 5 5 4 4 4 2 1 0 7 12 17 21 25 29 31 32

Rövid egzakt sorok 7 3 2 1 0 9 6 4 0 7 10 12 13 13 9 16 19 21 22 22 15 22 25 27 28 28 19 26 29 31 32 32 7 5 5 4 4 4 2 1 0 7 12 17 21 25 29 31 32

Rövid egzakt sorok 7 3 2 1 0 9 6 4 0 7 10 12 13 13 9 16 19 21 22 22 15 22 25 27 28 28 19 26 29 31 32 32 7 5 5 4 4 4 2 1 0 7 12 17 21 25 29 31 32

Rövid egzakt sorok 7 3 2 1 0 9 6 4 0 7 10 12 13 13 9 16 19 21 22 22 15 22 25 27 28 28 19 26 29 31 32 32 7 5 5 4 4 4 2 1 0 7 12 17 21 25 29 31 32

Rövid egzakt sorok 7 3 2 1 0 9 6 4 0 7 10 12 13 13 9 16 19 21 22 22 15 22 25 27 28 28 19 26 29 31 32 32 7 5 5 4 4 4 2 1 0 7 12 17 21 25 29 31 32

Az algoritmus Algorithm 1: IsPreinjectiveExt(I, I, I ) input output: if : Preinjective Kronecker modules I, I and I, where I = I b 1 I bn, I = I a 1 Iam I = I c 1 Icp and m,n,p > 0. { True if I is a midde term in Ext 1 (I,I ). False otherwise m+n p then return False S a,s b,s c 0; j,i 1; for t 1 to p do S c S c + c t ; if j m and a j c t and S a + S b + a j S c then S a S a + a j ; j j + 1; if else if i n and b i c t and S a + S b + b i S c then S b S b + b i ; i i + 1; else return False; S a + S b S c then return False; else return True;

Az összes középs tag generálása Az összes középs tag (b vítés) generálására backtracking algoritmust használhatunk. A megoldástér az s szám r hosszúságú partícióinak halmaza, vagyis a megoldást c 1 c r 0 alakú sorozatok közt keressük, ahol r = p + n és r k=1 c k = s = p j=1 a j + n i=1 b i. Az el bbi tétel (explicit verzióját) használva kisz rhet k a nem megfelel sorozatok. Legrosszabb eset: generáljuk ki az összes középs tagot a 0 mi 0 I I n 0 rövid egzakt sorban, ahol m n. Ebben az esetben a lehetséges tagok száma P(n) 1 4n 3 eπ 2n 3 (Hardy-Ramanujan-képlet).

Az összes középs tag generálása Az összes középs tag (b vítés) generálására backtracking algoritmust használhatunk. A megoldástér az s szám r hosszúságú partícióinak halmaza, vagyis a megoldást c 1 c r 0 alakú sorozatok közt keressük, ahol r = p + n és r k=1 c k = s = p j=1 a j + n i=1 b i. Az el bbi tétel (explicit verzióját) használva kisz rhet k a nem megfelel sorozatok. Legrosszabb eset: generáljuk ki az összes középs tagot a 0 mi 0 I I n 0 rövid egzakt sorban, ahol m n. Ebben az esetben a lehetséges tagok száma P(n) 1 4n 3 eπ 2n 3 (Hardy-Ramanujan-képlet).

Az összes középs tag generálása Az összes középs tag (b vítés) generálására backtracking algoritmust használhatunk. A megoldástér az s szám r hosszúságú partícióinak halmaza, vagyis a megoldást c 1 c r 0 alakú sorozatok közt keressük, ahol r = p + n és r k=1 c k = s = p j=1 a j + n i=1 b i. Az el bbi tétel (explicit verzióját) használva kisz rhet k a nem megfelel sorozatok. Legrosszabb eset: generáljuk ki az összes középs tagot a 0 mi 0 I I n 0 rövid egzakt sorban, ahol m n. Ebben az esetben a lehetséges tagok száma P(n) 1 4n 3 eπ 2n 3 (Hardy-Ramanujan-képlet).

Az összes középs tag generálása Az összes középs tag (b vítés) generálására backtracking algoritmust használhatunk. A megoldástér az s szám r hosszúságú partícióinak halmaza, vagyis a megoldást c 1 c r 0 alakú sorozatok közt keressük, ahol r = p + n és r k=1 c k = s = p j=1 a j + n i=1 b i. Az el bbi tétel (explicit verzióját) használva kisz rhet k a nem megfelel sorozatok. Legrosszabb eset: generáljuk ki az összes középs tagot a 0 mi 0 I I n 0 rövid egzakt sorban, ahol m n. Ebben az esetben a lehetséges tagok száma P(n) 1 4n 3 eπ 2n 3 (Hardy-Ramanujan-képlet).

Az összes középs tag generálása Példa Izomorzmus erejéig összesen 18 különböz Kronecker-modulus szerepelhet középs tagként egy 0 I 5 I 3 I 3 I 2 I 1 I I 4 I 3 I 1 I 0 0 alakú rövid egzakt sorban: I 5 I 4 I 3 I 3 I 3 I 2 I 1 I 1 I 0, I 5 I 4 I 3 I 3 I 3 I 1 I 1 I 1 I 1, I 5 I 4 I 3 I 3 I 2 I 2 I 2 I 1 I 0, I 5 I 4 I 3 I 3 I 2 I 2 I 1 I 1 I 1, I 5 I 4 I 3 I 2 I 2 I 2 I 2 I 1 I 1, I 4 I 4 I 4 I 3 I 3 I 2 I 1 I 1 I 0, I 4 I 4 I 4 I 3 I 3 I 1 I 1 I 1 I 1, I 4 I 4 I 4 I 3 I 2 I 2 I 2 I 1 I 0, I 4 I 4 I 4 I 3 I 2 I 2 I 1 I 1 I 1, I 4 I 4 I 4 I 2 I 2 I 2 I 2 I 1 I 1, I 4 I 4 I 3 I 3 I 3 I 2 I 2 I 1 I 0, I 4 I 4 I 3 I 3 I 3 I 2 I 1 I 1 I 1, I 4 I 4 I 3 I 3 I 2 I 2 I 2 I 1 I 1, I 4 I 4 I 3 I 2 I 2 I 2 I 2 I 2 I 1, I 4 I 3 I 3 I 3 I 3 I 3 I 2 I 1 I 0, I 4 I 3 I 3 I 3 I 3 I 3 I 1 I 1 I 1, I 4 I 3 I 3 I 3 I 3 I 2 I 2 I 1 I 1, I 4 I 3 I 3 I 3 I 2 I 2 I 2 I 2 I 1.

Az összes középs tag generálása Példa 1 A 0 I 26 I 12 I 10 I 8 I 4 I I 19 I 15 I 8 I 4 I 1 I 1 0 rövid egzakt sorban a lehetséges középs tagok száma 102501 (2 másodperc). 2 A 0 I 20 I 19 I 18 I 10 I 8 I 3 I 2 I 2 I I 16 I 11 I 7 I 6 I 3 I 1 I 1 I 0 0 rövid egzakt sorban a lehetséges középs tagok száma 3322698 (2 perc).

Legáltalánosabb eset Tétel Az a 1,...,a n, c 1,...,c n N, c 1 c n 0, n 2 feltételek mellett [I c1 I cn ] {[I a1 ]} {[I an ]} akkor és csak akkor, ha σ S n permutáció és m i j 0 egészek, 1 j < i n úgy, hogy l {1,...,n} c l = a σ(l) + n i=σ(l)+1 és teljesülnek a következ k: (i) m i j > 0 = σ 1 (i) < σ 1 (j) (ii) a j a i = σ 1 (i) > σ 1 (j). σ(l) 1 mσ(l) i m σ(l) j, j=1

Legáltalánosabb eset (példa) 5 2 6 9 1 2 3

Legáltalánosabb eset (példa) 5 2 6 9 1 3 2

Legáltalánosabb eset (példa) 5 2 6 9 3 1 2

Legáltalánosabb eset (példa) 5 2 6 9 3 2 1

Legáltalánosabb eset (példa) 5 2 8 7 3 2 1

Legáltalánosabb eset (példa) 5 6 4 7 3 2 1

Legáltalánosabb eset (példa) 5 6 6 5 3 2 1

Legáltalánosabb eset (példa) 6 5 6 5 3 2 1

Legáltalánosabb eset (példa) 6 6 5 5 3 2 1

Rövid egzakt sorok ekvivalenciája Tétel (Szöll si I.) Legyenek q > n > 0, d 1 d q 0, c 1 c q n 0 és 0 a 1 a n sorozatok, I = I c 1 I c q n és I = I d 1 I d q. Akkor és csak akkor létezik a 0 P a 1 P a n I I 0 alakú rövid egzakt sor, ha létezik egy 0 I (+d) I (+d) I d (a 1+1) I d (an+1) 0 rövid egzakt sor, ahol a n + 1 d N és I (+d) := I c 1+d I cq n+d, I (+d) := I d 1+d I dq +d.

Rövid egzakt sorok ekvivalenciája Példa 0 I 12 I 9 I 8 I 6 I 6 I 5 I 5 I 5 I 4 I 4 I 3 I 2 I 1 I 0 0 12 9 8 6 6 5 5 5 4 4 3 2 1 0

Rövid egzakt sorok ekvivalenciája Példa Létezik a 0 P 0 P 1 P 2 P 3 I 8 I 5 I 4 I 2 I 2 I 1 I 1 I 1 I 0 I 0 0 rövid egzakt sor, mert felírható a következ : 0 I 12 I 9 I 8 I 6 I 6 I 5 I 5 I 5 I 4 I 4 I 3 I 2 I 1 I 0 0.

Rövid egzakt sorok ekvivalenciája Tétel (Szöll si I.) Legyen k egy algebrailag zárt test, 0 a 1 a n növekv sorozat, P,P és P = P a 1 P a n preprojektív, I,I és I = I an a1 I a n a n 1 I 0 preinjektív, illetve R,R reguláris modulusok mod- kk-ban. Akkor és csak akkor létezik egy 0 P a 1 P a n P R I P R I 0 alakú rövid egzakt sor, ha létezik a 0 P R I (+d) P R R I (+d) I an a1 I a n a n 1 I 0 0, rövid egzakt sor, ahol a n + 1 d N és R mod- kk úgy, hogy Hom(R,R ) = 0 és dimr = (( I I + n)d,( I I + n)d). Egy dimm = (a,b) dimenziójú M mod-kk Kronecker-modulus defektusa M = b a.

A résznyaláb-probléma teljes megoldása egy sajátos esetben Lineáris mátrixnyalábok Meghatározás Egy A + λ B M m,n (k[λ]) alakú mátrixot lineáris mátrixnyalábnak nevezünk (vagy csak egyszer en mátrixnyalábnak). Meghatározás Két A + λ B, A + λ B M m,n (k[λ]) mátrixnyaláb szigorúan ekvivalens, ha léteznek a konstans, nemszinguláris P M m (k) és Q M n (k) mátrixok úgy, hogy A + λ B = P(A + λ B)Q. A szigorú ekvivalenciát A + λ B A + λ B jelöli.

A résznyaláb-probléma teljes megoldása egy sajátos esetben Lineáris mátrixnyalábok Meghatározás Egy A + λ B M m,n (k[λ]) alakú mátrixot lineáris mátrixnyalábnak nevezünk (vagy csak egyszer en mátrixnyalábnak). Meghatározás Két A + λ B, A + λ B M m,n (k[λ]) mátrixnyaláb szigorúan ekvivalens, ha léteznek a konstans, nemszinguláris P M m (k) és Q M n (k) mátrixok úgy, hogy A + λ B = P(A + λ B)Q. A szigorú ekvivalenciát A + λ B A + λ B jelöli.

A résznyaláb-probléma teljes megoldása egy sajátos esetben Résznyalábok Meghatározás Egy A + λ B mátrixnyaláb akkor és csak akkor résznyalábja A + λ B-nek ha léteznek a A 12 + λ B 12, A 21 + λ B 21, A 22 + λ B 22 nyalábok úgy, hogy ( A A + λ B + λ B ) A 12 + λ B 12. A 21 + λ B 21 A 22 + λ B 22 Ebben az esetben azt mondjuk, hogy a kisebbik mátrixnyaláb kiegészíthet a nagyobbikban. Sorkiegészítésr l beszélünk, ha az A 12, B 12, A 22, B 22 mátrixokat elhagyjuk, és oszlopkiegészítésr l, ha az A 21, B 21, A 22, B 22 mátrixokat hagyjuk el.

A résznyaláb-probléma teljes megoldása egy sajátos esetben Résznyalábok Meghatározás Egy A + λ B mátrixnyaláb akkor és csak akkor résznyalábja A + λ B-nek ha léteznek a A 12 + λ B 12, A 21 + λ B 21, A 22 + λ B 22 nyalábok úgy, hogy ( A A + λ B + λ B ) A 12 + λ B 12. A 21 + λ B 21 A 22 + λ B 22 Ebben az esetben azt mondjuk, hogy a kisebbik mátrixnyaláb kiegészíthet a nagyobbikban. Sorkiegészítésr l beszélünk, ha az A 12, B 12, A 22, B 22 mátrixokat elhagyjuk, és oszlopkiegészítésr l, ha az A 21, B 21, A 22, B 22 mátrixokat hagyjuk el.

A résznyaláb-probléma teljes megoldása egy sajátos esetben Nyitott kérdés Nyitott kérdés Ha A + λ B, A + λ B mátrixnyalábok C felett, adjuk meg a klasszikus Kronecker-invariánsok függvényében a szükséges és elégséges numerikus feltételrendszerét annak, hogy az A + λ B résznyalábja legyen A + λ B-nek. Szerkesszük meg az A 12 + λ B 12, A 21 + λ B 21, A 22 + λ B 22 kiegészítéseket is.

A résznyaláb-probléma teljes megoldása egy sajátos esetben kanonikus alakja Minden mátrixnyaláb szigorúan ekvivalens egy kanonikus blokkdiagonális alakkal, amit a következ klasszikus Kronecker-invariánsokkal jellemezhetünk: 1 sor-minimális indexek 2 oszlop-minimális indexek 3 véges és végtelen elemi osztók

A résznyaláb-probléma teljes megoldása egy sajátos esetben kanonikus alakja Minden mátrixnyaláb szigorúan ekvivalens egy kanonikus blokkdiagonális alakkal, amit a következ klasszikus Kronecker-invariánsokkal jellemezhetünk: 1 sor-minimális indexek 2 oszlop-minimális indexek 3 véges és végtelen elemi osztók

A résznyaláb-probléma teljes megoldása egy sajátos esetben kanonikus alakja Minden mátrixnyaláb szigorúan ekvivalens egy kanonikus blokkdiagonális alakkal, amit a következ klasszikus Kronecker-invariánsokkal jellemezhetünk: 1 sor-minimális indexek 2 oszlop-minimális indexek 3 véges és végtelen elemi osztók

A résznyaláb-probléma teljes megoldása egy sajátos esetben kanonikus alakja Minden mátrixnyaláb szigorúan ekvivalens egy kanonikus blokkdiagonális alakkal, amit a következ klasszikus Kronecker-invariánsokkal jellemezhetünk: 1 sor-minimális indexek 2 oszlop-minimális indexek 3 véges és végtelen elemi osztók

Kronecker-modulusok A résznyaláb-probléma teljes megoldása egy sajátos esetben Mátrixnyaláb Kronecker-modulus Mátrixnyaláb Mátrixpár A Kronecker-tegez reprezentációja A + λ B M m,n (k[λ]) A, B M m,n (k) k m k n A B

A résznyaláb-probléma teljes megoldása egy sajátos esetben mint Kronecker-modulusok Sor-minimális indexek Oszlop-minimális indexek Véges és végtelen elemi osztók Felírható a mátrixnyaláb a kanonikus alakban Klasszikus Kroneckerinvariánsok Kroneckerinvariánsok A (c 1,...,c n ) növekv sorozat A (d 1,...,d n ) csökken sorozat A µ (p), p k és λ nemnulla partíciók Meghatározzák a Kronecker-modulust (izomorzmus erejéig) A modulus típusa preprojektív preinjektív reguláris

A résznyaláb-probléma teljes megoldása egy sajátos esetben Példa Egy mátrixnyaláb kanonikus alakban: A + λ B = A megfelel Kronecker-modulus: 0 0 λ 1 λ 1 0 0 λ 1 λ 0 1 λ 0 1 1 λ 0 0 1 λ 0 0 1 λ 1 0 λ λ+2 1 0 λ+2 (P 0 P 0 P 2 ) (R 0 (2) R 2 (2) R (3)) (I 2 I 1 I 0 )

Kronecker-modulusok A résznyaláb-probléma teljes megoldása egy sajátos esetben mint Kronecker-modulusok Kronecker-modulusok A + λ B M m,n (k[λ]) M A,B : k m A B k n. A + λ B A + λ B M A,B = MA,B A + λ B résznyalábja A + λ B-nek M A,B részfaktora M A,B-nek Meghatározás M A,B részfaktora M A,B-nek, ha létezik egy N modulus úgy, hogy M A,B N M A,B vagy (ekvivalens módon) ha létezik L úgy, hogy M A,B L M A,B.

Kronecker-modulusok A résznyaláb-probléma teljes megoldása egy sajátos esetben mint Kronecker-modulusok Kronecker-modulusok A + λ B M m,n (k[λ]) M A,B : k m A B k n. A + λ B A + λ B M A,B = MA,B A + λ B résznyalábja A + λ B-nek M A,B részfaktora M A,B-nek Meghatározás M A,B részfaktora M A,B-nek, ha létezik egy N modulus úgy, hogy M A,B N M A,B vagy (ekvivalens módon) ha létezik L úgy, hogy M A,B L M A,B.

A résznyaláb-probléma teljes megoldása egy sajátos esetben A résznyaláb-probléma moduláris megközelítése Ötlet: Tanulmányozzuk a Kronecker-modulusok közt felírható rövid egzakt sorokat Jellemezzük a lehetséges középs tagokat explicit numerikus feltételekkel Szerkesszük meg az összeköt modulust (egy olyan L modulust, amire teljesül: M A,B L M A,B)

A résznyaláb-probléma teljes megoldása egy sajátos esetben A résznyaláb-probléma moduláris megközelítése Ötlet: Tanulmányozzuk a Kronecker-modulusok közt felírható rövid egzakt sorokat Jellemezzük a lehetséges középs tagokat explicit numerikus feltételekkel Szerkesszük meg az összeköt modulust (egy olyan L modulust, amire teljesül: M A,B L M A,B)

A résznyaláb-probléma teljes megoldása egy sajátos esetben A résznyaláb-probléma moduláris megközelítése Ötlet: Tanulmányozzuk a Kronecker-modulusok közt felírható rövid egzakt sorokat Jellemezzük a lehetséges középs tagokat explicit numerikus feltételekkel Szerkesszük meg az összeköt modulust (egy olyan L modulust, amire teljesül: M A,B L M A,B)

A résznyaláb-probléma teljes megoldása egy sajátos esetben A résznyaláb-probléma moduláris megközelítése Ötlet: Tanulmányozzuk a Kronecker-modulusok közt felírható rövid egzakt sorokat Jellemezzük a lehetséges középs tagokat explicit numerikus feltételekkel Szerkesszük meg az összeköt modulust (egy olyan L modulust, amire teljesül: M A,B L M A,B)

I I I Kronecker-modulusok A résznyaláb-probléma teljes megoldása egy sajátos esetben Tétel (Szántó Cs., Szöll si I.) Legyenek I = a n I n a 0 I 0 és I = c n I n c 0 I 0 (n 1 1) preinjektív Kronecker-modulusok. I akkor és csak akkor részfaktora I -nek (vagyis L úgy, hogy I L I ) ha b 1 1 2 ( n ) n (i + 1)c i (i + 1)b i i=1 i=2 és b 0 a 0, ahol n i=0 (i + 1)c i n i=1 (i + 1)b i k = 0 n i=1 ia i n i=2 ib i k = 1 b k = ( ) n. i =k min ia i n i =k+1 ib i, n i =k (i+1)c i n i =k+1 (i+1)b i k k+1 2 k < n min(a n,c n ) k = n

A résznyaláb-probléma teljes megoldása egy sajátos esetben Példa Példa A + λ B = λ 1 0 0 0 λ 1 0 0 0 λ 1 λ 1 0 0 0 λ 1 0 0 0 λ 1 λ 1 0 0 0 λ 1 0 0 0 λ 1 λ 1 M 10,14 (C[λ]) M A,B = I 3 I 3 I 3 I 1

A résznyaláb-probléma teljes megoldása egy sajátos esetben Példa Példa A + λ B = 0 λ 1 0 0 0 0 0 λ 1 0 0 0 0 0 λ 1 0 0 0 0 0 λ 1 0 0 0 0 0 λ 1 λ 1 0 0 λ 1 λ 1 M 8,12(C[λ]). M A,B = I 5 I 2 I 1 I 0

A résznyaláb-probléma teljes megoldása egy sajátos esetben Példa Példa L 1 + λ L 2 = 0 0 λ 1 0 0 0 λ 1 0 0 0 λ 1 λ 1 0 0 λ 1 λ 1 0 0 λ 1 λ 1 M 8,14(C[λ]). L = I 3 I 2 I 2 I 1 I 0 I 0

A résznyaláb-probléma teljes megoldása egy sajátos esetben Példa Példa D 2 (A + λ B)C = 0 λ 1 0 0 0 0 0 0 0 λ 1 0 0 0 0 0 0 0 λ 1 0 0 1 0 0 0 0 λ 1 0 0 λ 0 0 0 0 λ 1 0 0 λ 1 0 0 0 0 λ 1 0 0 λ 1 0 0 0 0 0 0 1 0 λ 0 0 0 0 0 0 0 λ 0 0 0 0 0 0 1 0 0 0 0 0 0 ( A = + λ B ) A 12 + λ B 12 A 21 + λ B 21 A 22 + λ B 22 =

A résznyaláb-probléma teljes megoldása egy sajátos esetben Példa Példa A 12 + λ B 12 = 0 0 0 0 1 0 0 λ 0 0 0 0 0 0 0 0, A 21 + λ B 21 = ( ) 0 0 0 0 1 0 λ 0 0 0 0 0 λ 0 0 0 0 0 0 1 0 0 0 0 A 22 + λ B 22 = ( 0 0 0 0 )

A résznyaláb-probléma teljes megoldása egy sajátos esetben Példa D 2 = 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0

A résznyaláb-probléma teljes megoldása egy sajátos esetben Példa Példa C = 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0

A résznyaláb-probléma teljes megoldása egy sajátos esetben Ellenpélda...

A résznyaláb-probléma teljes megoldása egy sajátos esetben Alkalmazások A résznyaláb-problémának mérnöki alkalmazásai vannak: Kontrollelméletben (lineáris dinamikai rendszerek) Fizikában (áramkörök tervezése, bizonyos folyamatok modellezése, stb.) Az A λ I sajátérték-probléma általánosítása

A résznyaláb-probléma teljes megoldása egy sajátos esetben Alkalmazások A résznyaláb-problémának mérnöki alkalmazásai vannak: Kontrollelméletben (lineáris dinamikai rendszerek) Fizikában (áramkörök tervezése, bizonyos folyamatok modellezése, stb.) Az A λ I sajátérték-probléma általánosítása

A résznyaláb-probléma teljes megoldása egy sajátos esetben Alkalmazások A résznyaláb-problémának mérnöki alkalmazásai vannak: Kontrollelméletben (lineáris dinamikai rendszerek) Fizikában (áramkörök tervezése, bizonyos folyamatok modellezése, stb.) Az A λ I sajátérték-probléma általánosítása

A résznyaláb-probléma teljes megoldása egy sajátos esetben Alkalmazások A résznyaláb-problémának mérnöki alkalmazásai vannak: Kontrollelméletben (lineáris dinamikai rendszerek) Fizikában (áramkörök tervezése, bizonyos folyamatok modellezése, stb.) Az A λ I sajátérték-probléma általánosítása