Base dello spazio nullo

Messaggioda Tipper » 07/01/2007, 11:17

Mi è venuto un dubbio banale, ma atroce: una base dello spazio nullo è data dall'insieme vuoto o dall'insieme che contiene il solo vettore nullo? Secondo me dall'insieme vuoto, perché la dimensione di tale spazio è zerp, aspetto comunque una conferma o una smentita.
Avatar utente
Tipper
Cannot live without
Cannot live without
 
Messaggio: 878 di 5464
Iscritto il: 30/11/2004, 17:29

Messaggioda leev » 07/01/2007, 11:20

intendi il nucleo?

in tal caso non è {} (lo 0 ci vuole sempre), né forzatamente {0}.
LeeV
Avatar utente
leev
Average Member
Average Member
 
Messaggio: 398 di 598
Iscritto il: 25/12/2004, 20:24

Messaggioda Tipper » 07/01/2007, 11:23

Non il nucleo, la base. Ad esempio, in $\mathbb{R}^{2}$ la base del sottospazio di equazione $y=x$ è data dal solo vettore $(1,1)$, e infatti tale sottospazio ha dimensione $1$.
Avatar utente
Tipper
Cannot live without
Cannot live without
 
Messaggio: 880 di 5464
Iscritto il: 30/11/2004, 17:29

Messaggioda Nidhogg » 07/01/2007, 11:38

L'insieme vuoto è una base per lo spazio vettoriale nullo $V={O/}$. Infatti $O/$ è un insieme di vettori linearmente indipendenti e $O/$ genera $V$.

Saluti, Ermanno.
"Una delle principali cause della caduta dell'Impero Romano fu che, privi dello zero, non avevano un modo per indicare la corretta terminazione dei loro programmi C." - Robert Firth
Nidhogg
Senior Member
Senior Member
 
Messaggio: 1330 di 1491
Iscritto il: 24/02/2004, 18:29
Località: Baronissi (Salerno) - Italia

Messaggioda Fioravante Patrone » 07/01/2007, 12:30

quello che dice leonardo è corretto

naturalmente c'è dietro la questione di usare la convenzione che meglio funge rispetto ai casi "normali" (un po' come $a^0$...)
visto che uno sp vett generato da 1 vettore ha dim 1, sarebbe carino che lo sp vett costituito dal solo vett nullo abbia dim 0
e allora così sia...
Avatar utente
Fioravante Patrone
Cannot live without
Cannot live without
 
Messaggio: 1028 di 10808
Iscritto il: 09/06/2006, 19:18
Località: Temporaneamente a Novi Ligure ;-)

Messaggioda Nidhogg » 07/01/2007, 12:54

Giusta precisazione!

Io volevo fare due considerazioni:

(1) Se gli elementi di un insieme finito $X sube V$ sono linearmente indipendenti, allora anche gli elementi di un qualunque sottoinsieme non vuoto $Y sube X$ sono linearmente indipendenti. Ad esempio, supponiamo che $v_1,v_2,...,v_t$ sono linearmente indipendenti. Sia $alpha_1*v_1+alpha_2*v_2+...+alpha_t*v_t=0$ una loro combinazione lineare nulla. Allora dall'uguaglianza $alpha_1*v_1+alpha_2*v_2+...+alpha_t*v_t+0*v_{t+1}+...+0*v_m=0$ e dall'indipendenza lineare di $v_1,v_2,...,v_m$ segue che $alpha_i=0$ per ogni $i=1,2,...,t$. Quindi $v_1,v_2,...,v_t$ sono linearmente indipendenti. Estendendo questo risultato anche al caso del sottoinsieme vuoto, anche quest'ultimo risulta essere un insieme di vettori linearmente indipendenti.

(2) Per ogni spazio vettoriale $V$ si ha $(:O/:)={0_V}$, cioè il sottoinsieme vuoto genera il sottospazio nullo ${0_V}$ di $V$. (Quindi in particolare lo spazio vettoriale $V$ è lo spazio vettoriale nullo avente un unico elemento se e solo se l'insieme vuoto è un'insieme di generatori per $V$.)
Quindi data la seguente proposizione: "Se $V$ è uno spazio vettoriale su un campo $K$, $v_1,v_2,...,v_m$ sono $m>=1$ vettori appartenenti a $V$, $X={v_1,v_2,...,v_m}$ e $(:X:)$ è il sottospazio vettoriale di $V$ generato da $X$, allora $(:X:)={alpha_1*v_1+alpha_2*v_2+...+alpha_m*v_m|alpha_1,alpha_2,...,alpha_m in K}$", possiamo scrivere il vettore nullo $0_V$ come combinazione lineare di un insieme vuoto di vettori.
"Una delle principali cause della caduta dell'Impero Romano fu che, privi dello zero, non avevano un modo per indicare la corretta terminazione dei loro programmi C." - Robert Firth
Nidhogg
Senior Member
Senior Member
 
Messaggio: 1331 di 1491
Iscritto il: 24/02/2004, 18:29
Località: Baronissi (Salerno) - Italia

Messaggioda Fioravante Patrone » 07/01/2007, 13:03

ok, leonardo
aggiungo che c'è anche la convenzione solita:

$\sum_{x \in O/} a_x = 0$

quindi gli ingranaggi girano tutti che è un piacere

PS: e tutto per un miserabile singleton!
Avatar utente
Fioravante Patrone
Cannot live without
Cannot live without
 
Messaggio: 1030 di 10808
Iscritto il: 09/06/2006, 19:18
Località: Temporaneamente a Novi Ligure ;-)


Torna a Geometria e algebra lineare

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite