Alkalmazott algebra - Előadások 2012

1. előadás (szeptember 3.)

Testek, polinomok, vektorterek. Altér, generátorrendszer, függetlenség, bázis, dimenzió. Lineáris leképezések és transzformációk, dimenziótétel. Egy alkalmazás: polinominterpoláció.

Tárgymutató

• Testek, polinomok, vektorterek: D6-10, J1-2
• Altér, generátorrendszer, függetlenség, bázis, dimenzió: D11-16, J2-3
• Lineáris leképezések és transzformációk, dimenziótétel: D17-20, J3-5
• Egy alkalmazás: polinominterpoláció: D22, "interpoláció".

2. előadás (szeptember 7.)

Lagrange- és Newton-féle interpolációs polinomok. A Shamir-féle titokmegosztás. Polinomok és polinomfüggvények kapcsolata véges, illetve végtelen test fölött. Műveletek lineáris leképezésekkel. Mátrixok, mátrixműveletek, mátrixhoz tartozó lineáris leképezés. Speciális mátrixok, blokkmátrixok. Lineáris leképezés mátrixa adott bázispárban.

Tárgymutató

• Lagrange-féle interpolációs polinom: D21-22, J5
• Newton-féle interpolációs polinom: -
• Shamir-féle titokmegosztás: D23-25, J6
• Polinomok és polinomfüggvények kapcsolata véges, illetve végtelen test fölött: -
• Műveletek lineáris leképezésekkel: D17-18, J4, J6
• Mátrixok, mátrixműveletek, mátrixhoz tartozó lineáris leképezés: D27-31, D37-38, J7-8
• Speciális mátrixok, blokkmátrixok: D31
• Lineáris leképezés mátrixa adott bázispárban: D35

Eltérések

Polinomok és polinomfüggvények kapcsolata véges, illetve végtelen test fölött

Newton-féle interpolációs polinom:

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle f_0, \dots, f_{n-1}: \deg f_i = i }

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle f_i(x) = f_{i-1}(x) + A(x - a_1)\dots(x-a_i) }

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle f(a_{i+1}) = b_{i+1} }

??

Newton-féle interpolációs formula (innen):

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle y=y_0 + A_0(x-x_0)+ A_1(x-x_0)(x-x_1)+\dots +A_m(x-x_0)(x-x_1) \dots(x-x_m), }

ahol az Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle A_i} kifejezések a Newton-féle interpolációs együtthatók:

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle A_0=\frac{y_1-y_0}{x_1-x_0};\quad A_1=\frac{y_1-y_0-A_0(x_2-x_1)}{(x_2-x_0)(x_2-x_1)};\quad\dots }

3. előadás (szeptember 14.)

Báziscsere. Elemi sorműveletek és elemi mátrixok. Az invertálhatóság ekvivalensei. Lineáris leképezés és mátrix rangja. A rang ekvivalensei és tulajdonságai. Egy alkalmazás: a Fischer-egyenlőtlenség.

Tárgymutató

• Báziscsere: D40, J9
• Elemi sorműveletek és elemi mátrixok: ??
• Az invertálhatóság ekvivalensei: ??
• Lineáris leképezés és mátrix rangja: ??
• A rang ekvivalensei és tulajdonságai: D49, J15
• Egy alkalmazás: a Fischer-egyenlőtlenség: -

Eltérések

Fischer-egyenlőtlenség: hiányzik a jegyzetből/diasorból.

Rang alkalmazása: Fischer-egyenlőtlenség

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle n, \lambda \in \mathbb{N}^+} . Legyen Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle |S| = n } halmaz, Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \mathcal{H}: S } néhány részhalmazának halmaza (halmazrendszer) úgy, hogy

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle h_1, h_2 \in \mathcal{H} (h_1 \neq h_2) }

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \lambda } -elemű részhalmazban metszik egymást (Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle |h_1 \cap h_2| = \lambda} ). Ekkor Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle |\mathcal{H}| \leq n }

4. előadás (szeptember 17.)

Determináns definíciója, tulajdonságai, kiszámítási módjai. Cauchy-Binet-formula. Inverz mátrix előjeles aldeterminánsokkal. Lineáris egyenletrendszerek megoldása és megoldásszáma. Sajátérték, sajátvektor, sajátaltér. Vektorterek direkt összege, és ennek dimenziója. A különböző sajátértékekhez tartozó sajátalterek generátuma a sajátalterek direkt összege.

Tárgymutató

• Determináns definíciója, tulajdonságai, kiszámítási módjai: D43-48, J10-12
• Cauchy-Binet-formula: -
• Inverz mátrix előjeles aldeterminánsokkal: D48, J13
• Lineáris egyenletrendszerek megoldása és megoldásszáma: D52-63, J13-14. Megoldásszám: ??
• Sajátérték, sajátvektor, sajátaltér: D64-68, J15-16
• Vektorterek direkt összege, és ennek dimenziója: J18
• A különböző sajátértékekhez tartozó sajátalterek generátuma a sajátalterek direkt összege: ??

Eltérések

Determináns: Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle A = [\sigma_1, \dots, \sigma_n]} esetén Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \det A} a Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \sigma_1, \dots, \sigma_n} egy csúcsból kiinduló oldalak által határolt Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle n} -dimenziós paralelepipedon előjeles térfogata.

Szerepelt a determináns korábban ismert definíciója is (D43, J10).

Cauchy-Binet-formula: hiányzik a jegyzetből/diasorból.

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle A \in \mathbb{R}} , Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle B \in \mathbb{R}^{n \times k}} , Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle k \leq n} esetén az Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle AB} Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle k \times k} -as négyzetes mátrix determinánsa: Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \det(AB) = \sum_i \det A_i \cdot \det B_i }

Az összegbe az összes lehetséges kiválasztással kapott Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle k \times k} -as részmátrixok kerülnek.

Formálisan (innen): Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle \sum_{F \subseteq \left\{1,\ldots,n\right\}, |F| = k} \det A[F] \cdot \det B[F] }

Értelmezés sikertelen (SVG (a MathML egy böngészőkiegészítővel engedélyezhető): Érvénytelen válasz („Math extension cannot connect to Restbase.”) a(z) https://wikimedia.org/api/rest_v1/ szervertől:): {\displaystyle n = m} -re a tétel megegyezik a determinánsok szorzástételével (az összeg egy tagból áll).

5. előadás (szeptember 21.)

Mátrix magterének és képterének bázisa. Mátrixok hasonlósága. Diagonalizálhatóság és ekvivalensei. Karakterisztikus és minimálpolinom. Cayley-Hamilton-tétel. Jordan-féle normálalak.

Tárgymutató

• Mátrix magterének és képterének bázisa: ??
• Mátrixok hasonlósága: D40-42, J10
• Diagonalizálhatóság és ekvivalensei: -
• Karakterisztikus és minimálpolinom: D73 és J16, D77 és J22
• Cayley-Hamilton-tétel: D76 (Hamilton-Cayley-tétel) J21
• Jordan-féle normálalak: részletes leírás a tárgy honlapján