O macierzach, o których będzie mowa zakładamy, że są kwadratowe, nieosobliwe, oraz że ich elementami są liczby rzeczywiste (można rozważać ciało liczb zespolonych, jednak dla mnie wystarczają liczby rzeczywiste).
1.Pokazać, że \(\displaystyle{ A^{T}A}\) to macierz dodatnio określona.
2.Pokazać, że jeśli macierz S symetryczna to istnieje baza ortonormalna złożona z wektorów własnych macierzy S.
3.Pokazać, że jeśli S jest macierzą dodatnio określoną to istnieje jedyny pierwiastek B (również macierz dodatnio określona) taki, że \(\displaystyle{ B^{2}=S}\).
Nie oczekuje pełnych dowodów, mile widziany będzie każdy pomysł, który pomoże zapisać te dowody w możliwie prosty(rachunkowo) sposób.
macierze symetryczne i dodatnio określone
-
- Użytkownik
- Posty: 5
- Rejestracja: 27 gru 2009, o 17:10
- Płeć: Mężczyzna
- Lokalizacja: Kosmos
- Pomógł: 1 raz
macierze symetryczne i dodatnio określone
Ostatnio zmieniony 27 gru 2009, o 20:16 przez lukasz1804, łącznie zmieniany 1 raz.
Powód: Staraj się lepiej dobierać nazwy tematów, tak by lepiej wskazywały o czym może być treść zadania.
Powód: Staraj się lepiej dobierać nazwy tematów, tak by lepiej wskazywały o czym może być treść zadania.
- max
- Użytkownik
- Posty: 3306
- Rejestracja: 10 gru 2005, o 17:48
- Płeć: Mężczyzna
- Lokalizacja: Lebendigentanz
- Podziękował: 37 razy
- Pomógł: 778 razy
macierze symetryczne i dodatnio określone
3. Istnienie wynika z 2:
Skoro istnieje baza ortonormalna składająca się wektorów własnych, to istnieje macierz ortogonalna (macierz przejścia między tą bazą a standardową bazą ortonormalnej \(\displaystyle{ \mathbb{R}^{n}}\)) \(\displaystyle{ o}\) taka, że \(\displaystyle{ S = o^{-1}\text{diag}(\lambda_{1},\ldots, \lambda_{n})o,}\) gdzie \(\displaystyle{ \lambda_{1},\ldots,\lambda_{n} > 0,}\) (bo \(\displaystyle{ S}\) była dodatnio określona) a \(\displaystyle{ \text{diag}(\lambda_{1},\ldots, \lambda_{n})}\) oznacza macierz diagonalną o wyrazach na przekątnej \(\displaystyle{ \lambda_{1},\ldots, \lambda_{n}.}\)
Pierwiastkiem macierzy \(\displaystyle{ S}\) jest wówczas macierz:
\(\displaystyle{ o^{-1}\text{diag}\left(\sqrt{\lambda_{1}},\ldots, \sqrt{\lambda_{n}}\right)o.}\)
Skoro istnieje baza ortonormalna składająca się wektorów własnych, to istnieje macierz ortogonalna (macierz przejścia między tą bazą a standardową bazą ortonormalnej \(\displaystyle{ \mathbb{R}^{n}}\)) \(\displaystyle{ o}\) taka, że \(\displaystyle{ S = o^{-1}\text{diag}(\lambda_{1},\ldots, \lambda_{n})o,}\) gdzie \(\displaystyle{ \lambda_{1},\ldots,\lambda_{n} > 0,}\) (bo \(\displaystyle{ S}\) była dodatnio określona) a \(\displaystyle{ \text{diag}(\lambda_{1},\ldots, \lambda_{n})}\) oznacza macierz diagonalną o wyrazach na przekątnej \(\displaystyle{ \lambda_{1},\ldots, \lambda_{n}.}\)
Pierwiastkiem macierzy \(\displaystyle{ S}\) jest wówczas macierz:
\(\displaystyle{ o^{-1}\text{diag}\left(\sqrt{\lambda_{1}},\ldots, \sqrt{\lambda_{n}}\right)o.}\)
- Zordon
- Użytkownik
- Posty: 4977
- Rejestracja: 12 lut 2008, o 21:42
- Płeć: Mężczyzna
- Lokalizacja: Kraków
- Podziękował: 75 razy
- Pomógł: 910 razy
macierze symetryczne i dodatnio określone
3. jedyność wynika z tego, że pierwiastek ten musi mieć diagonalną postać Jordana (dlaczego nie może mieć żadnej klatki?), oraz skoro jest dodatnio określony to na przekątnej muszą być dodatnie liczby. Po podniesieniu do kwadratu mamy dostać \(\displaystyle{ o^{-1}\text{diag}(\lambda_{1},\ldots, \lambda_{n})o}\) skąd już wynika jakie muszą być liczby na przekątnej.
2. tutaj można przez indukcję względem rozmiaru macierzy, najlepiej chyba zacząć od przypadku zespolonego
2. tutaj można przez indukcję względem rozmiaru macierzy, najlepiej chyba zacząć od przypadku zespolonego
- max
- Użytkownik
- Posty: 3306
- Rejestracja: 10 gru 2005, o 17:48
- Płeć: Mężczyzna
- Lokalizacja: Lebendigentanz
- Podziękował: 37 razy
- Pomógł: 778 razy
macierze symetryczne i dodatnio określone
2. Ja na algebrze liniowej miałem taki dowód:
Indukcja względem \(\displaystyle{ n}\)
-dla \(\displaystyle{ n=1}\) teza jest natychmiastowa.
-krok indukcyjny:
Rozpatrujemy formę kwadratową \(\displaystyle{ f:\mathbb{R}^{n}\to \mathbb{R}}\) o macierzy \(\displaystyle{ S.}\) Ponieważ \(\displaystyle{ f}\) jest odwzorowaniem ciągłym, to na zbiorze zwartym \(\displaystyle{ \mathbb{S}^{n-1}}\) osiąga maksimum. Niech \(\displaystyle{ e_{1}\in\mathbb{S}^{n-1}}\) będzie wektorem na którym maksimum to jest osiągane. Niech \(\displaystyle{ V}\) będzie dopełnieniem ortogonalnym \(\displaystyle{ \text{span}\{e_{1}\}.}\) Macierz formy kwadratowej \(\displaystyle{ f|_{V}}\) jest macierzą symetryczną \(\displaystyle{ n-1}\) wymiarową, więc z założenia indukcyjnego istnieje baza ortonormalna \(\displaystyle{ e_{2},\ldots, e_{n}}\) przestrzeni \(\displaystyle{ V}\), w której macierz ta ma postać diagonalną. Oznacza to, że dla formy dwuliniowej symetrycznej \(\displaystyle{ F:\mathbb{R}^{n}\times \mathbb{R}^{n} \to \mathbb{R}}\) skojarzonej z \(\displaystyle{ f}\) (tzn takiej, że \(\displaystyle{ f(v) = F(v,v)}\)) mamy \(\displaystyle{ F(e_{i}, e_{j}) = 0,}\) jeśli tylko \(\displaystyle{ 1 < i < j.}\)
Wystarczy wykazać jeszcze, że \(\displaystyle{ F(e_{1}, e_{j}) = 0,}\) dla \(\displaystyle{ j > 1.}\)
Ustalmy w tym celu \(\displaystyle{ j > 1}\) i rozpatrzmy funkcję
\(\displaystyle{ g:\mathbb{R}\ni t \mapsto f(\cos t \cdot e_{1} + \sin t \cdot e_{j})\in \mathbb{R}.}\)
Funkcja ta jest różniczkowalna i osiąga maksimum w \(\displaystyle{ 0}\) (bo \(\displaystyle{ \cos t \cdot e_{1} + \sin t \cdot e_{j} \in \mathbb{S}^{n-1}}\) oraz \(\displaystyle{ f|_{\mathbb{S}^{n-1}}}\) przyjmowała maksimum w \(\displaystyle{ e_{1}}\)), zatem \(\displaystyle{ g'(0) = 0.}\) Ale \(\displaystyle{ g'(0) = F(e_{1}, e_{j}),}\) więc otrzymaliśmy równość kończącą dowód.
Indukcja względem \(\displaystyle{ n}\)
-dla \(\displaystyle{ n=1}\) teza jest natychmiastowa.
-krok indukcyjny:
Rozpatrujemy formę kwadratową \(\displaystyle{ f:\mathbb{R}^{n}\to \mathbb{R}}\) o macierzy \(\displaystyle{ S.}\) Ponieważ \(\displaystyle{ f}\) jest odwzorowaniem ciągłym, to na zbiorze zwartym \(\displaystyle{ \mathbb{S}^{n-1}}\) osiąga maksimum. Niech \(\displaystyle{ e_{1}\in\mathbb{S}^{n-1}}\) będzie wektorem na którym maksimum to jest osiągane. Niech \(\displaystyle{ V}\) będzie dopełnieniem ortogonalnym \(\displaystyle{ \text{span}\{e_{1}\}.}\) Macierz formy kwadratowej \(\displaystyle{ f|_{V}}\) jest macierzą symetryczną \(\displaystyle{ n-1}\) wymiarową, więc z założenia indukcyjnego istnieje baza ortonormalna \(\displaystyle{ e_{2},\ldots, e_{n}}\) przestrzeni \(\displaystyle{ V}\), w której macierz ta ma postać diagonalną. Oznacza to, że dla formy dwuliniowej symetrycznej \(\displaystyle{ F:\mathbb{R}^{n}\times \mathbb{R}^{n} \to \mathbb{R}}\) skojarzonej z \(\displaystyle{ f}\) (tzn takiej, że \(\displaystyle{ f(v) = F(v,v)}\)) mamy \(\displaystyle{ F(e_{i}, e_{j}) = 0,}\) jeśli tylko \(\displaystyle{ 1 < i < j.}\)
Wystarczy wykazać jeszcze, że \(\displaystyle{ F(e_{1}, e_{j}) = 0,}\) dla \(\displaystyle{ j > 1.}\)
Ustalmy w tym celu \(\displaystyle{ j > 1}\) i rozpatrzmy funkcję
\(\displaystyle{ g:\mathbb{R}\ni t \mapsto f(\cos t \cdot e_{1} + \sin t \cdot e_{j})\in \mathbb{R}.}\)
Funkcja ta jest różniczkowalna i osiąga maksimum w \(\displaystyle{ 0}\) (bo \(\displaystyle{ \cos t \cdot e_{1} + \sin t \cdot e_{j} \in \mathbb{S}^{n-1}}\) oraz \(\displaystyle{ f|_{\mathbb{S}^{n-1}}}\) przyjmowała maksimum w \(\displaystyle{ e_{1}}\)), zatem \(\displaystyle{ g'(0) = 0.}\) Ale \(\displaystyle{ g'(0) = F(e_{1}, e_{j}),}\) więc otrzymaliśmy równość kończącą dowód.
- Zordon
- Użytkownik
- Posty: 4977
- Rejestracja: 12 lut 2008, o 21:42
- Płeć: Mężczyzna
- Lokalizacja: Kraków
- Podziękował: 75 razy
- Pomógł: 910 razy
macierze symetryczne i dodatnio określone
brzyyydko Można to udowodnić bez analizy, chociaż dowód jest wtedy dłuższy.max pisze: Rozpatrujemy formę kwadratową \(\displaystyle{ f:\mathbb{R}^{n}\to \mathbb{R}}\) o macierzy \(\displaystyle{ S.}\) Ponieważ \(\displaystyle{ f}\) jest odwzorowaniem ciągłym, to na zbiorze zwartym \(\displaystyle{ \mathbb{S}^{n-1}}\) osiąga maksimum.
- max
- Użytkownik
- Posty: 3306
- Rejestracja: 10 gru 2005, o 17:48
- Płeć: Mężczyzna
- Lokalizacja: Lebendigentanz
- Podziękował: 37 razy
- Pomógł: 778 razy
macierze symetryczne i dodatnio określone
Cóż, istnieją różne kryteria estetyki. Np równość:
\(\displaystyle{ \int_{-\infty}^{\infty}e^{-x^{2}}dx = \sqrt{\pi},}\)
można dowodzić nie wspominając słowem o całkach podwójnych, niemniej jednak na ogół się tego nie robi. Nie wiem czy to dobrze, czy źle, ale moim zdaniem warto zauważać, gdzie się tylko da, że matematyka nie jest li tylko zbiorem nie związanych ze sobą stwierdzeń.
Pozdrawiam.
\(\displaystyle{ \int_{-\infty}^{\infty}e^{-x^{2}}dx = \sqrt{\pi},}\)
można dowodzić nie wspominając słowem o całkach podwójnych, niemniej jednak na ogół się tego nie robi. Nie wiem czy to dobrze, czy źle, ale moim zdaniem warto zauważać, gdzie się tylko da, że matematyka nie jest li tylko zbiorem nie związanych ze sobą stwierdzeń.
Pozdrawiam.
-
- Użytkownik
- Posty: 5
- Rejestracja: 27 gru 2009, o 17:10
- Płeć: Mężczyzna
- Lokalizacja: Kosmos
- Pomógł: 1 raz
macierze symetryczne i dodatnio określone
Dzięki wielkie za odpowiedzi, naprawde bardzo mi pomogliście.