Układ równań liniowych
Z Wikipedii
Układ równań liniowych to układ równań, w którym występuje dowolna liczba równań liniowych i jednocześnie nie występują w nim żadne równania wyższego rzędu.
Ogólnie dla
równań, w których występuje
niewiadomych układ równań liniowych można przedstawić następującym wzorem:
Skalary
nazywa się współczynnikami układu, skalary
to tzw. wyrazy wolne. Rozwiązaniem układu w ciele
nazywa się dowolną uporządkowaną
-tkę
elementów ciała
, które po podstawieniu w miejsce
do powyższych równań dają równości prawdziwe.
Spis treści |
[edytuj] Macierze układu
[edytuj] Macierz główna układu
Z danym układem równań związane są dwie ważne macierze. Jedną z nich jest macierz główna układu równań, czyli po prostu macierz współczynników znajdujących się przy niewiadomych w układzie:
.
[edytuj] Macierz rozszerzona (uzupełniona) układu
Macierz rozszerzona powstaje z macierzy głównej przez dołączenie do niej kolumny B wyrazów wolnych (w zapisie często oddzielaną pionową linią):
[edytuj] Zapis macierzowy układu równań liniowych
Ponieważ współczynniki układów równań łatwo zapisać za pomocą macierzy, to wykorzystując pojęcie iloczynu macierzy możemy przedstawić cały układ w tej postaci:
gdzie:
jest macierzą główną układu,
jest wektorem (pionowym) zmiennych
,
jest wektorem (pionowym) wyrazów wolnych
.
[edytuj] Typy układów równań liniowych ze względu na ilość rozwiązań
Podana poniżej terminologia odpowiada terminologii używanej do jakichkolwiek układów równań.
Jeżeli układ równań liniowych nie ma żadnego rozwiązania, nazywa się sprzecznym.
Jeżeli układ równań liniowych ma dokładnie jedno rozwiązanie, nazywa się oznaczonym.
Jeżeli układ równań liniowych ma co najmniej dwa rozwiązania, nazywa się nieoznaczonym. Ale każdy nieoznaczony układ równań liniowych ma nieskończenie wiele rozwiązań (to znaczy, że niemożliwy jest przypadek, gdy mamy, na przykład, dokładnie dwa rozwiązania).
Przykład sprzecznego układu równań liniowych:

Przykład oznaczonego układu równań liniowych:

Przykład nieoznaczonego układu równań liniowych:

Ilość rozwiązań zależy od rzędów macierzy układu, zgodnie z twierdzeniem Kroneckera-Capellego.
[edytuj] Typy układów równań liniowych ze względu na postać
[edytuj] Układ prostokątny
Układ równań liniowych postaci:
nazywamy prostokątnym układem m równań o n niewiadomych, gdy
.
[edytuj] Układ kwadratowy
Jeżeli
(liczba niewiadomych jest równa liczbie równań), to układ równań nazywamy kwadratowym. W tej sytuacji do jego rozwiązania można wykorzystać wyznaczniki. Jeżeli wyznacznik macierzy głównej układu jest różny od zera, to układ ma jedno rozwiązanie (jest oznaczony), podane tzw. wzorami Cramera.
Przez
oznaczymy macierz otrzymaną przez zamianę w macierzy głównej układu
-tej kolumny na kolumnę wyrazów wolnych układu równań:
Z twierdzenia Kroneckera-Capellego i związku między rzędem macierzy a jej minorami wynika, że jeżeli wyznacznik macierzy głównej układu jest równy zeru, to:
- jeżeli wszystkie macierze
również mają zerowe wyznaczniki, to układ jest albo nieoznaczony (ma nieskończenie wiele rozwiązań), albo sprzeczny (nie ma rozwiązania); - jeżeli przynajmniej jedna macierz
jest nieosobliwa, to układ jest sprzeczny, czyli nie ma rozwiązania.
[edytuj] Układ jednorodny
Układ równań liniowych nazywamy jednorodnym, gdy wszystkie wyrazy wolne tego układu są równe zeru:
Inaczej mówiąc, każde równanie układu liniowego jednorodnego jest liniowe jednorodne.
- Układ liniowy jednorodny ma zawsze rozwiązanie zerowe, to znaczy
. - Układ liniowy jednorodny ma rozwiązanie niezerowe wtedy i tylko wtedy, gdy jest nieoznaczony.
- Układ liniowy jednorodny ma rozwiązanie niezerowe wtedy i tylko wtedy, gdy rząd macierzy głównej jest mniejszy od ilości niewiadomych.
- Jeśli w układzie liniowym jednorodnym ilość niewiadomych jest większa od ilości równań, to ten układ ma rozwiązanie niezerowe.
[edytuj] Metody rozwiązania
[edytuj] Metoda eliminacji Gaussa
Metoda ta polega na stopniowym przekształceniu układu do postaci schodkowej.
[edytuj] Metody rozwiązania układu Cramera
Układ Cramera to układ kwadratowy spełniający warunek:
Jednorodny układ Cramera ma tylko rozwiązanie zerowe postaci:
[edytuj] Wzory Cramera
Układ Cramera ma dokładnie jedno rozwiązanie określone przez tzw. wzory Cramera.
[edytuj] Metoda macierzowa
Inna metoda rozwiązania takiego układu bazuje na podanym wyżej zapisu macierzowym:
Rozważając to równanie w półgrupie macierzy (z mnożeniem) zauważamy, że przy aktualnych założeniach macierz
jest odwracalna w tej strukturze. Oznaczając przez
macierz odwrotną do
możemy pomnożyć lewostronnie obie strony powyższego równania przez
otrzymując:
(Przypomnijmy, że mnożenie macierzy nie jest przemienne i więc zapis
jest niepoprawny.)
[edytuj] Zastosowanie do dowolnego układu równań liniowych
Wzory Cramera i metoda macierzowa mogą być zastosowane dla rozwiązania dowolnego układu równań liniowych, a nie tylko do układu Cramera. Żeby to zrobić, trzeba z początku przenieść "zbędne" niewiadome do prawej strony traktując je jako stałe, oraz odrzucić "zbędne" równania. Które niewiadome i które równania są "zbędne", bada się jednocześnie z badaniem typu układu zgodnie z twierdzeniem Kroneckera-Capellego.
[edytuj] Porównanie efektywności metod rozwiązania
Gdy chodzi o rozwiązanie konkretnego układu równań liniowych, prawie zawsze najbardziej efektywną metodą jest metoda eliminacji Gaussa. Zastosowanie, na przykład, metody Cramera wymaga znacznie więcej czasu, zwłaszcza dla przypadku więcej niż trzech równań.
Metoda Cramera oraz metoda macierzowa są natomiast efektywne w wielu badaniach teoretycznych układów równań liniowych ze współczynnikami literowymi.
| XXVII Rzeszowskie Spotkanie Fanów Star Wars |
|
6 grudnia o godzinie 16:00
|
| IV Konkurs Biblioteki Ossus |
|
Zapraszamy do wzięcia w nim udziału!
|
| Nowe screeny z The Old Republic |
|
Prosto z oficjalnej strony.
|
| Dwie książki z serii ''Rebel Force'' w sprzedaży |
|
"Target" i "Hostage"
|
| Recenzja ''Duel of the Droids'' |
|
Siódmy odcinek serialu The Clone Wars
|

![U=\left[\begin{matrix}
a_{11}&a_{12}&a_{13}&\cdots&a_{1n}\\
a_{21}&a_{22}&a_{23}&\cdots&a_{2n}\\
a_{31}&a_{32}&a_{33}&\cdots&a_{3n}\\
\vdots&\vdots&\vdots&\ddots&\vdots\\
a_{m1}&a_{m2}&a_{m3}&\cdots&a_{mn}\\
\end{matrix}\right|\left.\begin{matrix}b_1\\b_2\\b_3\\\vdots\\b_m\end{matrix}\right]](http://upload.wikimedia.org/math/8/d/0/8d04cea22d8b6d99723bb1b3241fb5c6.png)






