Gyakorlatok

Tartalom jegyzék

1. hét (szept. 5.)

Megnyitás


Csütörtök

Vizsgáljuk meg, hogy vektortér-e.

$_{\mathbf{Z}}\mathbf{Z}$

$_{\mathbf{R}}\mathbf{C}$

$_{\mathbf{C}}\mathbf{R}$

Legyen \[ V:=\{ (1,a)\,|\,a\in\mathbf{R}\}, \] és definiáljuk \begin{align*} (1,a)+(1,b) &:=(1,a+b),\\ \alpha(1,a) &:=(1,\alpha a). \end{align*} Altér-e $\mathbf{R}^2$-ben?

Lineárisan függetlenek-e az $e^x$ és $e^{-2x}$ függvények?

Lineárisan független rendszer-e \[\{\sin(x),\sin(2x),\ldots,\sin(kx)\}?\]

Igazoljuk, hogy \[ \text{span}\{ 1,x,x^2,\ldots,x^n\}=\text{span}\{ 1,x-1,(x-1)^2,\ldots,(x-1)^n\}. \]

Oldjuk meg az alábbi egyenletrendszert. \begin{align*} x+ 2y+ z &=4\\ 3x+ 8y+ 7z &=20\\ 2x+ 7y+ 9z &=23. \end{align*} Megoldás.

Oldjuk meg az alábbi egyenletrendszert. \begin{align*} 3x- 8y+ 10z &=22\\ x- 3y+ 2z &=5\\ 2x- 9y- 8z &=-11. \end{align*} Megoldás.

2. hét (szept. 12.)

Megnyitás


Csütörtök

Keressünk olyan legfeljebb $3$-ad fokú polinomot \[ p(x)=A+Bx+Cx^2+Dx^3 \] amely illeszkedik a $(-1,4),(1,2),(2,1)$ és $(3,16)$ pontokra.
Megoldás.

Keressük meg annak a körnek az egyenletét, amely illeszkedik a $(-1,5),(5,-3)$ és $(6,4)$ pontokra.
Megoldás.

Az \begin{align*} x_1'(t) &=5x_1(t)-6x_2(t)\\ x_2'(t) &=2x_1(t)-2x_2(t) \end{align*} $x_1(0)=1,x_2(0)=-1\,$ kezdeti érték probléma általános megoldása \begin{align*} x_1(t) &=2c_1e^{2t}+3c_2e^t\\ x_2(t) &=c_1e^{2t}+2c_2e^t. \end{align*} Határozzuk meg a kezdeti érték probléma megoldását.
Megoldás.

Keressük meg az \[ y''(x)-3y'(x)+2y(x)=e^{3x}+x^2+x \] differenciálegyenlet \[ y(x)=Ae^{3x}+Bx^2+Cx+D \] alakú megoldását.
Megoldás.

3. hét (szept. 19.)

Megnyitás


Csütörtök

Ha $X,Y$ véges dimenziós vektorterek, akkor \[ \dim L(X,Y)=\dim X\,\cdot\,\dim Y. \]

Határozzuk meg az alábbi mátrix redukált sorlépcsős alakját, \[ \left[ \begin{array}{rrrr} 1 &3 &-15 &7\\ 1 &4 &-19 &10\\ 2 &5 &-26 &11 \end{array} \right]. \]
Eredmény.

Legyen $P_n$ a legfeljebb $n$-ed fokú polinomok vektortere a standard bázissal. Határozzuk meg a $D:P_n\longrightarrow P_{n-1}$ derivált operátor mátrixát.

Határozzuk meg az $A$ mátrix inverzét elemi sortranszformációk felhasználásával, \[ A= \left[ \begin{array}{rrr} 4 &3 &2\\ 5 &6 &3\\ 3 &5 &2 \end{array} \right]. \]
Eredmény.

Legyen \[ C:=\left\{ A:= \left[ \begin{array}{rr} a &-b\\ b &a \end{array} \right] \,\middle|\,a,b\in\mathbf{R} \right\}. \] Jelölje \[ \text{Re}:=\left[ \begin{array}{rr} 1 &0\\ 0 &1 \end{array} \right] \qquad \text{Im}:=\left[ \begin{array}{rr} 0 &-1\\ 1 &0 \end{array} \right]. \] Igazoljuk, hogy $C$ $2$-dimenziós altér $M_2(\mathbf{R})$-ben, és az \[ \left[ \begin{array}{rr} a &-b\\ b &a \end{array} \right] =a\,\text{Re}+b\,\text{Im} \longrightarrow a+ib \] megfeleltetés lineáris, kölcsönösen egyértelmű és szorzattartó.

Legyen $A=[a_{i,j}]_{i,j=1,n}$. Jelölje \[ \text{Tr}(A):=\sum_{i=1}^n a_{i,i} \] az $A$ mátrix nyomát. Igazoljuk, hogy \[ \text{Tr}(AB)=\text{Tr}(BA). \]

4. hét (szept. 26.)

Megnyitás


Csütörtök

(Pauli mátrixok) Legyen \[ \sigma_1:= \left[ \begin{array}{rr} 0& 1\\ 1&0 \end{array} \right], \quad \sigma_2:= \left[ \begin{array}{rr} 0&-i\\ i&0 \end{array} \right], \quad \sigma_3:= \left[ \begin{array}{rr} 1&0\\ 0&-1 \end{array} \right]. \] Igazoljuk, hogy
1) \[ \sigma_1^2,\,\sigma_2^2,\,\sigma_3^2,\,-i\sigma_1\sigma_2\sigma_3= \left[ \begin{array}{rr} 1&0\\ 0&1 \end{array} \right] =I_2. \] 2) Ha $A,B$ lineáris leképezések (mátrixok), jelölje \[ [A,B]:=AB-BA \] az $A$ és $B$ kommutátorát. Ekkor igazak a következők \[ [\sigma_1,\sigma_2]=2i\sigma_3,\quad [\sigma_2,\sigma_3]=2i\sigma_1,\quad [\sigma_3,\sigma_1]=2i\sigma_2. \] 3) $\left\{ I_2,\,\sigma_1,\,\sigma_2,\,\sigma_3\right\}$ bázis $M_2(\mathbf{C})$-ben.

A kifejtési tétel nélkül mutassuk meg, hogy az alábbi determinánsok értéke $0$. \[ \left| \begin{array}{ccc} 1& 1&1 \\ \frac{1}{a}&\frac{1}{b}&\frac{1}{c}\\ bc &ac &ab \end{array} \right|, \quad \left| \begin{array}{ccc} 1& 1&1 \\ a&b&c\\ b+c &a+c &a+b \end{array} \right|. \]

Keressük meg annak a körnek az egyenletét, amely illeszkedik a $(-1,5),(5,-3)$ és $(6,4)$ pontokra.
Megoldás.

Igazoljuk, hogy \[ \det(V(x_1,x_2,\ldots,x_n))=\left| \begin{array}{ccccc} 1& x_1&x_1^2 &\ldots &x_1^{n-1} \\ 1& x_2&x_2^2 &\ldots &x_2^{n-1} \\ \vdots &\vdots &\vdots &\ddots &\vdots\\ 1& x_n&x_n^2 &\ldots &x_n^{n-1} \\ \end{array} \right|=\prod_{\substack{ i,j=1 \\ i>j }}^n (x_i-x_j). \]

5. hét (okt. 3.)

Megnyitás


Csütörtök

ELMARAD (Schönherz Qpa)

6. hét (okt. 10.)

Megnyitás


Csütörtök

Legyen $f_k\in C^{(n-1)}(I)$ $(k=1,\ldots,n)$. Jelölje \[ W(f_1,f_2,\ldots,f_n):=\left[ \begin{array}{cccc} f_1& f_2&\ldots &f_n \\ f_1'& f_2'&\ldots &f_n' \\ \vdots &\vdots &\ddots &\vdots\\ f_1^{(n-1)}& f_2^{(n-1)}&\ldots &f_n^{(n-1)} \\ \end{array} \right] \] az adott függvények Wronski-mátrixát, a belőle képzett determináns a Wronski-determináns. Ekkor igaz a következő:

Tétel. Ha az $I$-n $\det(W)\neq 0$ $\Longrightarrow$ $f_1,\ldots,f_n$ lineárisan függetlenek $I$-n.
Megjegyzés. A tétel megfordítása nem igaz, például legyen $I:=(-\infty,\infty)$, $f_1(x):=x^3$, $f_2(x):=|x|^3$. Ekkor $f_1,f_2$ lineárisan függetlenek $(-\infty,\infty)$-en, de $\det(W)\equiv 0$.

Ezt felhasználva igazoljuk, hogy ha $\lambda_k\in\mathbf{R}$ $(k=1,\ldots,n)$, $\lambda_k\neq\lambda_j$ $(k\neq j)$, akkor az \[ e^{\lambda_1 x},\ldots,e^{\lambda_n x} \] függvények lineárisan függetlenek.

(Pauli mátrixok, folytatás) Legyen \[ \sigma_1:= \left[ \begin{array}{rr} 0& 1\\ 1&0 \end{array} \right], \quad \sigma_2:= \left[ \begin{array}{rr} 0&-i\\ i&0 \end{array} \right], \quad \sigma_3:= \left[ \begin{array}{rr} 1&0\\ 0&-1 \end{array} \right]. \] Határozzuk meg a sajátértékeiket és a megfelelő sajátvektoraikat.
Eredmény.

A determináns kifejtése nélkül igazoljuk, hogy \[ \left| \begin{array}{rrrr} a^2& (a+1)^2& (a+2)^2& (a+3)^2\\ b^2& (b+1)^2& (b+2)^2& (b+3)^2\\ c^2& (c+1)^2& (c+2)^2& (c+3)^2\\ d^2& (d+1)^2& (d+2)^2& (d+3)^2 \end{array} \right|=0. \]

Ha $A$ sajátértékei $\lambda_i$ és a megfelelő sajátvektorok $\mathbf{s}_i$, akkor
1) $A-cI$ sajátértékei $\lambda_i-c$ és a megfelelő sajátvektorok $\mathbf{s}_i$.
2) $cA$ sajátértékei $c\lambda_i$ és a megfelelő sajátvektorok $\mathbf{s}_i$.
3) $A^m$ $(m=1,2,\ldots,)$ sajátértékei $\lambda_i^m$ és a megfelelő sajátvektorok $\mathbf{s}_i$.
4) Legyen \[ p(A):=c_mA^m+c_{m-1}A^{m-1}+\ldots+c_1A+c_0I. \] Ekkor $p(A)$ sajátértékei \[ p(\lambda_i):=c_m \lambda_i^m+c_{m-1}\lambda_i^{m-1}+\ldots+c_1\lambda_i+c_0. \] és a megfelelő sajátvektorok $\mathbf{s}_i$.

7. hét (okt. 17.)

Megnyitás


Csütörtök

Igazoljuk, hogy tetszőleges $A\in L(X,X)$ ($X$ valós vektortér) operátor egyértelműen felírható egy szimmetrikus és egy antiszimmetrikus operátor összegeként.

Megoldás. Legyen \begin{equation}\label{eq:A} A=B+C, \end{equation} ahol \[ B=B^T,\qquad C=-C^T. \] Ekkor \begin{equation}\label{eq:AT} A^T=B^T+C^T=B-C. \end{equation} Az \eqref{eq:A} és \eqref{eq:AT} egyenletekből kapjuk \[ B=\frac{A+A^T}{2}\quad\text{és}\quad C=\frac{A-A^T}{2}.\quad\blacksquare \]

Legyen $X$ véges dimenziós vektortér, $A,B\in L(X,X)$. Definiáljuk az $L(X,X)$ vektortéren a Hilbert-Schmidt skaláris szorzatot a következő módon \[ \left\langle A,B\right\rangle_{_{\!HS}}:=\text{Tr}(AB^*). \] Igazoljuk, hogy valóban skaláris szorzatot kapunk. Mivel egyenlő $\left\Vert A\right\Vert_{_{HS}}$?

(Pauli mátrixok, folytatás) Legyen \[ \sigma_1:=\frac{1}{\sqrt{2}} \left[ \begin{array}{rr} 0& 1\\ 1&0 \end{array} \right], \quad \sigma_2:=\frac{1}{\sqrt{2}} \left[ \begin{array}{rr} 0&-i\\ i&0 \end{array} \right], \quad \sigma_3:=\frac{1}{\sqrt{2}} \left[ \begin{array}{rr} 1&0\\ 0&-1 \end{array} \right]. \]
Igazoljuk, hogy $\{\sigma_1,\sigma_2,\sigma_3\}$ ortonormált rendszer a Hilbert-Schmidt skaláris szorzatra nézve.

Igazoljuk, hogy a \[ \{1,\sin(kx),\cos(kx)\}_{k=1,\ldots,\infty} \] függvényrendszer lineárisan független a $[-\pi,\pi]$ intervallumon.

Legyen $(X,\langle \cdot,\cdot\rangle)$ valós euklideszi tér, $A\in L(X,X)$ szimmetrikus leképezés. Tegyük fel, hogy $\langle \mathbf{x},A\mathbf{x}\rangle>0$ ha $\mathbf{x}\neq\mathbf{0}$. Igazoljuk, hogy \[ \langle \mathbf{x},\mathbf{y}\rangle_{_{\!A}}:=\langle \mathbf{x},A\mathbf{y}\rangle \] skaláris szorzat.

No comments:

Post a Comment