19/07/2017, 16:32
19/07/2017, 16:50
19/07/2017, 16:54
19/07/2017, 16:59
cooper ha scritto:ti permettono di verificare la dipendenza/indipendenza lineare e l'essere base senza fare conti.
se per esempio sei in $RR^3$ che ha dimensione 3 ed hai un sistema di 4 vettori allora per la proposizione (i) sai che questo sistema è l.d.
se invece ti viene dato un insieme di 3 vettori che sai essere l.i. allora automaticamente sai che è una base di $RR^3$ senza dover verificare che lo generano.
e così via.
19/07/2017, 17:12
19/07/2017, 17:15
Vicia ha scritto:Se ti può aiutare questa dimostrazione che è diversa dalla tua :
"Lemma di Steinitz"
Sia $V$ uno spazio vettoriale, e siano $T$ e $S$ due sistemi di generatori di V. Considerando che $Tsube<S>$ , possiamo affermare che $ordT<=ordS$ (dove per ordine si intende la dimensione, ovvero i vettori linearmente indipendenti che compongono una base).
Dal Lemma si passa ala "Teorema della dimensione"
Il teorema afferma che prese due basi di uno spazio vettoriale esse hanno un uguale dimensione. Dimostriamolo:
Siano $b$ e $B'$ due basi di $V$, pertanto $<b>=V$ e $<B'>=V$. Consideriamo che per assurdo la dimensione di B sia $m$ e la dimensione di B' sia $n$. Considerando che entrambe sono basi di V allora:
$Bsube<B'>$ che quindi è uguale a V $=> $ per il lemma di Steinitz $dimB<=dimB' $ e quindi $m<=n$
e
$B'sube<B>$ che quindi è uguale a V $=>$ per il lemma $dimB'<=dimB$ e quindi $n<=n$
Da queste due affermazioni allora puoi concludere che $n=m$
Quindi qualsiasi base di scegli di un sottospazio, essa avrà sempre uguale dimensione
19/07/2017, 17:18
19/07/2017, 17:20
Vicia ha scritto:Fino alle proposizioni ci sei? Il problema sta solo nella dimostrazione o anche lì?
19/07/2017, 17:22
19/07/2017, 17:32
cooper ha scritto:ah scusa il titolo mi ha tratto in inganno.
cooper ha scritto:i) se per assurdo hai T con $m>n$ vettori puoi estrarre un sottoinsieme di dimensione n. a questo punto i vettori che rimangono sono necessariamente dipendenti (perchè $T_0$ forma una base di V) dagli altri e quindi T non è libero
ii) se per assurdo non lo generasse esisterebbe un certo vettore $v$ che appartiene V ma non a $<T>$ per cui $t uu {v}$ è l.i. ma poichè T è formato da generatori hai che $n+1 <= n$ che è assurdo
iii) non so dove salti fuori S (ha richiamato il T del teorema S?)
io farei così: se T genera V allora esiste un sistema $T'$ contenuto in T che è base di V. non può essere che $|T'|<n$ perchè altrimenti non genererebbe V e dunque $|T'|=n=|T|$ e quindi $T=T'$ ed inoltre abbiamo che T è libero. poichè genera anche V ne è una base
Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000—
Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.
Powered by phpBB © phpBB Group - Privacy policy - Cookie privacy
phpBB Mobile / SEO by Artodia.