Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
Nejste přihlášen(a). Přihlásit
Stránky: 1
Mejme matici A jejiz rady(radky nebo sloupce) predstavuji vektory. Plati (lze lehce dokazat) veta: Pokud vektory v matici A jsou linearne zavisle, pak determinant teto matice je nulovy.
Prosim o pomoc s dukazem tvrzeni v opacnem smeru: Pokud determinant matice A je nulovy, potom jeji vektory jsou linearne zavisle.
Dik predem.
Pavel J.
Offline
↑ Pavel_J:
Ahoj, myslis treba takto?,
kde jsou sloupce matice
.
Offline
Ahoj ↑ Pavel_J:,
Mozes nam pripomenut ako ste definovali pojem .
( od toho zavisi odpoved!)
Ake studijne materialy pouzivas?
Offline
↑ vanok:
det A je determinant matice A
tedy soucet soucinu n prvku matice nxn vybiranych vsemi moznymi zpusoby tak, aby v kazdy vyber pokryl vsechny radky i sloupce. Znamenko u soucinu je + pro sude a - pro liche permutace indexu radku ci sloupce.
Z toho vyplyva nulovost determinantu pro matice obsahujici linearni kombinaci radku (sloupcu).
Asi tomu bude i naopak, nulovost det A implikuje existenci linearni zavislosti, ale pro mne to neni zrejme a to mne trapi.
Offline
Ahoj ↑ Pavel_J:,
No treba byt presny .
To chces povedat ze mas definiciu ako tu
def. determinantu
kde je uvedena ako Leibnirova formula.
( pre viac informacii pozri aj na anglicku alebo francuzku verziu)
Najdolezitejsie zakladne vlasnosti ste videli v skole kde ste ukazali, medzi inym, ze determinant je n-linearna alternovana forma, taka, ze determinant jednotkovej matice je 1. .
( dokazy najdes aj v kazdej dobrej knihe linearnej algebry).
Offline
pozdravujem všetkých
↑ Pavel_J:
každá matica sa dá previesť Gaussovou elimináciou do takzvanej redukovanej schodovitej/stupňovitej formy,
čo patrí k učivu pred témou o determinante
keď má matica nulový determinant, tak aj jej RSF má nulový determinant
(vplyv elementárnych operácií na determinant sú základné vlastnosti)
ale RSF štvorcovej matice s nulovým determinantom musí mať už na rozdiel od pôvodnej matice nulový aspoň
jeden riadok, t.j. jeden z riadkov sa pri Gaussovej eliminácii musel dať vyjadriť ako lineárna kombinácia
riadkov ostatných
nie som si istý čo ti prekážalo na pomoci od kolegov ale možno s týmto sa uspokojíš
Offline
Dik, této konstrukci rozumím takto:
1) Upravou matice do RSF se nemeni jeji determinant, to je jasne.
2) Determinant RSF matice je roven soucinu prvku na hlavni diagonale
3) By-li determinant puvodni matice nulovy, musi byt na diagonale RSF alespon jedna nula ... V TOM JE VTIP DUKAZU
4) Takova RSF lze dale upravit tak, ze bude obsahovat nulovy radek
5) I tento nulovy radek vznikl prictenim linearni kombinace jinych radku, tim linearni zavislost dokazana.
Predchozi prispevky byly pro mne nesrozumitelné, protoze mi NEPRIPADALY
dost konkretni, nebo obsahovaly tvrzeni, ktera jsem nedovedl dokazat.
Ted uz ma moje duse klid, a dekuji vsem, co se mnou ztraceli cas.
Offline
Ahoj ↑ Pavel_J:,
Poznamka.
I ked sa ti tvoje 1) zda jasne, treba to formalne dokazat. ( no mozno ste to uz dokazali v skole).
Inac nieco ekvivalentne o tom som napisal tu ↑ vanok:.
( ten dokaz je zavisli od definicii determinantu, ktoru vam dali v skole).
Offline
↑ Pavel_J:
vidím že ešte je potrebné to okomentovať
najprv RSF pripomeniem, matica je v RSF tvare keď
a) žiadny nulový riadok nie je nad nenulovým riadkom
b) vedúci koeficient riadku (t.j. prvý nenulový prvok zľava) je striktne vpravo od každého vedúceho koeficientu riadkov vyššie
c) vedúci koeficient každého riadku je rovný 1
d) každý stĺpec v ktorom sa nachádza vedúci koeficient nejakého riadku obsahuje okrem neho už len nuly
matica nemusí byť štvorcová aby mala RSF, každá matica nad poľom toto vyjadrenie má a to je jednoznačné
prípad štvorcovej matice je špeciálny lebo buď je pre takúto maticu RSF jednotková matica, alebo aspoň posledný riadok je nulový
Pavel_J napsal(a):
Dik, této konstrukci rozumím takto:
1) Upravou matice do RSF se nemeni jeji determinant, to je jasne.
Pozor toto nie je pravda, matica má determinant rovný 2 ale jej RSF
má determinant 1.
V tom prvom kroku je dôležité, že AK MÁ MATICA NULOVÝ DETERMINANT, potom jej RSF má nulový determinant,
elementárne riadkové operácie ktoré vedú k RSF vedia zmeniť determinant, ale efekt je obmedzený na násobenie konštantou, čo špeciálne pri neprinesie zmenu
Pavel_J napsal(a):
2) Determinant RSF matice je roven soucinu prvku na hlavni diagonale
... RSF štvorcovej matice ...
Pavel_J napsal(a):
3) By-li determinant puvodni matice nulovy, musi byt na diagonale RSF alespon jedna nula ... V TOM JE VTIP DUKAZU
v súlade s komentárom vyššie označenom hviezdičkou, toto nie je ťažké si rozmyslieť
Pavel_J napsal(a):
4) Takova RSF lze dale upravit tak, ze bude obsahovat nulovy radek
5) I tento nulovy radek vznikl prictenim linearni kombinace jinych radku, tim linearni zavislost dokazana.
Nie je dôvod upravovať ďalej, lebo RSF štvorcovej matice s nulovým determinantom už nulový riadok obsahuje,
keď si prejdeš komenty vyššie malo by to byť zrejmé
Offline
Děkuji za vysvětlení. Uvažoval jsem čtvercovou matici s nulami pod diagonalou (kterou jsem asi mylně ztotožnil s RSF). Takovou trojúhelníkovou matici dostaneme upravami, ktere nemění hodnotu determinantu*1) . Linearní závislost jejich řádků (v případě nulovosti determinantu) lze pak dokázat tak, jak jsem uvedl (jen misto RSF patří označení "Trojúhelníková matice").
Nechápu však, proč by možnost důkazu uvedených souvislostí závisel na definici determinantu. Přece máme jen jeden algebraický výraz nazvaný determinant.
Netuším zda determinanta definovat jinak. Pokud ano, pak snad některé definice umožní provést hledaný důkaz lineární závislosti elegantněji.
----------
*1) přičítáním lineárních kombinací řádků se nemění hodnota determinantu, nebot při rozvoje determinantu podle řádku, ke kterému bylo přičteno, se přičtené řádky na hodnotě determinantu podílejí tzv nepravým rozvojem a ten je vždy nulovy.
Offline
Cau ↑ Pavel_J:,
Ked budem mat cas to tu napisem ako sa to da robit.
( iny priklad podobnej situacie: realne cisla mozme uviest
1)axiomaticky
2) vdaka Dedekind-ovym rezom
3) vdaka Cauchy-ovym postupnostiam a ich kompleciov ( Cantor)
Atd...’
No vsak v kazdom pripade musi me dokazat, ze pouzitie metody je ekvivalentne).
Offline
Stránky: 1