Dimostrazione di Geometria

Messaggioda prime_number » 05/01/2006, 14:36

Ciao, scusate se vi assillo continuamente con 'sta benedetta geometria, ma.. Potreste postarmi la dimostrazione di questo teorema per favore?

Ogni insieme di generatori di V (K-spazio vettoriale) include almeno una base.

Vi ringrazio!!

Paola
www.greedy-bear.com : il mio blog di cucina italiana e finlandese.
Avatar utente
prime_number
Cannot live without
Cannot live without
 
Messaggio: 340 di 6148
Iscritto il: 17/09/2004, 14:20
Località: Helsinki

Re: Dimostrazione di Geometria

Messaggioda wedge » 05/01/2006, 14:43

[quote="prime_number"]
Ogni insieme di generatori di V (K-spazio vettoriale) include almeno una base.
[/quote]

forse la sto prendendo un po' alla leggera...
ma non basta dire che dato $A=(a_1.....a_n)$ insieme di generatori, ogni suo elemento è base di un sottospazio di dimensione 1?
"Tre quarks per mister Murray!" (James Joyce, Finnegan's Wake)

Parco Sempione, verde e marrone, dentro la mia città.
Avatar utente
wedge
Cannot live without
Cannot live without
 
Messaggio: 288 di 3831
Iscritto il: 12/10/2004, 19:14
Località: Leiden, NL

Messaggioda Thomas » 05/01/2006, 17:10

Penso si intendesse una base di V, wedge...

Cmq Paola sicura che si tratti di geometria??? So che l'Abate (testo di geometria 1)riporta l'assioma della scelta, ma io non ho ancora capito cosa c'entri con l'algebra lineare :-D ... (almeno mi pare che questo problema sia da risolvere così)

Io farei così (posto la traccia non so se corretta). Non ricordo benissimo le cose che utilizzo, quindi potrei confondermi...

Premessa: una base è un insieme libero di vettori massimale, ovvero un insieme di vettori indipendenti tale che se ce ne aggiungi un qualsiasi altro, diventano dipendenti.

Se l'insieme dei generatori fosse finito ce la caveremmo togliendo i vettori uno ad uno... se è di dimensione infinita, supponiamo che per ogni sottoinsieme di vettori indipendenti (anche infinito), ne possa sempre aggiungere uno di modo che l'insieme resti composto da vettori indipendenti (altrimenti avrei già trovato la base!)... applico il lemma di Zorn in questo modo (molte cose sono da dimostrare):

- Insieme considerato: sottoinsiemi della famiglia di generatori composti da vettori tra loro indipendenti;
- ci metto come ordinamento parziale l'inclusione;
- per trovare il maggiorante di una catena faccio l'unione di tutti gli elementi della catena;

Allora per Zorn esiste un elemento massimale M. Se M fosse diverso dall'insieme dei generatori iniziale, potrei per ipotesi aggiungere ad M un vettore di modo che l'insieme M unito questo vettore si ancora fatto da vettori indipendenti. Ma allora M non sarebbe massimale. Contraddizione. Quindi M=tutti i generatori. Ma allora tutti i generatori erano indipendenti e quindi erano una base (indipendenti e generano). Anche con queste ipotesi ci è andata bene :lol: ...

Ciao!
Ultima modifica di Thomas il 05/01/2006, 23:25, modificato 1 volta in totale.
Thomas
Advanced Member
Advanced Member
 
Messaggio: 301 di 2223
Iscritto il: 28/09/2002, 21:44

Messaggioda eafkuor » 05/01/2006, 22:40

Paola sei tu quella nel tuo avatar? :smt047
Gauss è morto, Euler è morto, e io stesso non mi sto sentendo molto bene...
eafkuor
Senior Member
Senior Member
 
Messaggio: 451 di 1106
Iscritto il: 08/03/2004, 15:59
Località: Italy

Messaggioda wedge » 06/01/2006, 10:51

Thomas ha scritto:Penso si intendesse una base di V, wedge...
Ciao!


pardon, ieri ero un poco fuso :-D
"Tre quarks per mister Murray!" (James Joyce, Finnegan's Wake)

Parco Sempione, verde e marrone, dentro la mia città.
Avatar utente
wedge
Cannot live without
Cannot live without
 
Messaggio: 289 di 3831
Iscritto il: 12/10/2004, 19:14
Località: Leiden, NL

Messaggioda fireball » 06/01/2006, 11:07

eafkuor ha scritto:Paola sei tu quella nel tuo avatar? :smt047


E' lei, è lei... :-D
fireball
Cannot live without
Cannot live without
 
Messaggio: 3516 di 6906
Iscritto il: 12/03/2003, 20:35

Messaggioda karl » 06/01/2006, 11:49

"Era bella come un raggio di sole fra i dormitori della periferia,
come una goccia di sangue, come il balzo di un gatto"
karl
 

Messaggioda prime_number » 06/01/2006, 12:19

Grazie mille Thomas, ho capito la dimostrazione...!

Grazie agli altri per i complimenti ma l'avatar che forse più mi rappresenta è questo >> :twisted:

:wink:

Paola
www.greedy-bear.com : il mio blog di cucina italiana e finlandese.
Avatar utente
prime_number
Cannot live without
Cannot live without
 
Messaggio: 342 di 6148
Iscritto il: 17/09/2004, 14:20
Località: Helsinki


Torna a Geometria e algebra lineare

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite