dowód twierdzenia

Przestrzenie wektorowe, bazy, liniowa niezależność, macierze.... Formy kwadratowe, twierdzenia o klasyfikacji...
54321
Użytkownik
Użytkownik
Posty: 310
Rejestracja: 21 lis 2009, o 15:25
Płeć: Mężczyzna
Podziękował: 81 razy
Pomógł: 2 razy

dowód twierdzenia

Post autor: 54321 »

Udowodnij że wektory \(\displaystyle{ x_{1}, x_{2}, x_{3}, x_{4} \in R^{3}}\). stanowią zawsze układ liniowo zależny. Uogólnij to twierdzenie.
bartek118
Użytkownik
Użytkownik
Posty: 5974
Rejestracja: 28 lut 2010, o 19:45
Płeć: Mężczyzna
Lokalizacja: Toruń
Podziękował: 15 razy
Pomógł: 1251 razy

dowód twierdzenia

Post autor: bartek118 »

Wystarczy wskazać takie współczynniki niezerowe, aby kombinacja liniowa się zerowała, a to nie jest takie trudne.
54321
Użytkownik
Użytkownik
Posty: 310
Rejestracja: 21 lis 2009, o 15:25
Płeć: Mężczyzna
Podziękował: 81 razy
Pomógł: 2 razy

dowód twierdzenia

Post autor: 54321 »

ale w jaki sposób?
Użytkownik
Użytkownik
Posty: 9833
Rejestracja: 18 gru 2007, o 03:54
Płeć: Mężczyzna
Lokalizacja: Bydgoszcz
Podziękował: 90 razy
Pomógł: 2632 razy

dowód twierdzenia

Post autor: »

Ja też nie wiem w jaki sposób.

Ale mogę zaproponować inny argument: gdyby te wektory były liniowo niezależne, to rozpinałyby czterowymiarową podprzestrzeń przestrzeni \(\displaystyle{ \mathbb{R}^3}\). A takie stworzenie jak czterowymiarowa podprzestrzeń przestrzeni \(\displaystyle{ \mathbb{R}^3}\) oczywiście nie istnieje.

Q.
54321
Użytkownik
Użytkownik
Posty: 310
Rejestracja: 21 lis 2009, o 15:25
Płeć: Mężczyzna
Podziękował: 81 razy
Pomógł: 2 razy

dowód twierdzenia

Post autor: 54321 »

czyli mozn cos takiego zapisac dowod nie wprost zakładamy że podane wektory są liniowo niezależne i z twierdznia steinitza mamy ze nalezalyby one do przetrzestrzeni \(\displaystyle{ R^{4}}\) a co jest sprzeczny z naszymi zalozeniami ze te wektory naleza do \(\displaystyle{ R^{3}}\)czyli przynajmniej jedne z nich jest liniowo zalezny. mozna tak zapisać czy nie? a moze jakoś inaczej trzeba to ujać?
Użytkownik
Użytkownik
Posty: 9833
Rejestracja: 18 gru 2007, o 03:54
Płeć: Mężczyzna
Lokalizacja: Bydgoszcz
Podziękował: 90 razy
Pomógł: 2632 razy

dowód twierdzenia

Post autor: »

54321 pisze:nalezalyby one do przetrzestrzeni \(\displaystyle{ R^{4}}\)
Nie wiem skąd ten pomysł.

Q.
54321
Użytkownik
Użytkownik
Posty: 310
Rejestracja: 21 lis 2009, o 15:25
Płeć: Mężczyzna
Podziękował: 81 razy
Pomógł: 2 razy

dowód twierdzenia

Post autor: 54321 »

no to już nie weim jak to zrobic
Awatar użytkownika
JakimPL
Użytkownik
Użytkownik
Posty: 2401
Rejestracja: 25 mar 2010, o 12:15
Płeć: Mężczyzna
Lokalizacja: Katowice
Podziękował: 43 razy
Pomógł: 459 razy

dowód twierdzenia

Post autor: JakimPL »

Jeżeli jeden wektor byłby zależny od pozostałych, to istniałoby rozwiązanie układu:

\(\displaystyle{ x_4 = a_1 x_1 + a_2 x_2 + a_3 x_3}\)

Rozpisując:

\(\displaystyle{ \left[\begin{array}{c} x_{41} \\ x_{42} \\ x_{43} \end{array}\right] = a_1 \left[\begin{array}{c} x_{11} \\ x_{12} \\ x_{13} \end{array}\right] + a_2 \left[\begin{array}{c} x_{21} \\ x_{22} \\ x_{23} \end{array}\right] + a_3 \left[\begin{array}{c} x_{31} \\ x_{32} \\ x_{33} \end{array}\right]}\)

co daje:

\(\displaystyle{ \begin{cases}
x_{41} = a_1 x_{11} + a_2 x_{21} + a_3 x_{31} \\
x_{42} = a_1 x_{12} + a_2 x_{22} + a_3 x_{32} \\
x_{43} = a_1 x_{13} + a_2 x_{23} + a_3 x_{33}\end{cases}}\)


Jaki to jest układ? Ile mamy niewiadomych, a ile danych? Co można powiedzieć o jego rozwiązaniu? Kiedy jest sprzeczny?
54321
Użytkownik
Użytkownik
Posty: 310
Rejestracja: 21 lis 2009, o 15:25
Płeć: Mężczyzna
Podziękował: 81 razy
Pomógł: 2 razy

dowód twierdzenia

Post autor: 54321 »

tylko ja macierzy jeszcze nie brałem.
Radek44
Użytkownik
Użytkownik
Posty: 41
Rejestracja: 21 paź 2012, o 20:27
Płeć: Mężczyzna
Lokalizacja: PL
Podziękował: 3 razy
Pomógł: 9 razy

dowód twierdzenia

Post autor: Radek44 »

to nie musisz macierzowo..to jest zwykły układ równań.
54321
Użytkownik
Użytkownik
Posty: 310
Rejestracja: 21 lis 2009, o 15:25
Płeć: Mężczyzna
Podziękował: 81 razy
Pomógł: 2 razy

dowód twierdzenia

Post autor: 54321 »

ale ja mam udowodnic ze one sa zawsze zalezne. i jakie jest uogolnienie tego twierdzenia.
ODPOWIEDZ