disuguaglianza dimensioni nuclei

Analisi, algebra lineare, topologia, gruppi, anelli, campi, ...
Rispondi
hexen
Messaggi: 237
Iscritto il: 01 gen 1970, 01:00
Località: polonia
Contatta:

disuguaglianza dimensioni nuclei

Messaggio da hexen » 04 mar 2006, 19:24

Sia $ A,B \in \mbox{End}(V) $. Mostrare che $ \dim \ker AB \leq \dim \ker A + \dim \ker B $. Non so come farlo...

(A esercitazione è venuto fuori come lemma per stimare la dimensione del nucleo di un endomorfismo composto con sé stesso evitando di dover calcolare il quadrato di una matrice di grandi dimensioni)

ciao ;)
[url=http://davidpet.interfree.it/renato.html:3r47vsho]Stamattina hanno suonato alla porta. Sono andato ad aprire e...[/url:3r47vsho]
[url=http://davidpet.interfree.it/jabber/index.html:3r47vsho]Guida introduttiva a Jabber[/url:3r47vsho]

Avatar utente
talpuz
Moderatore
Messaggi: 873
Iscritto il: 01 gen 1970, 01:00
Località: Pisa

Messaggio da talpuz » 04 mar 2006, 21:49

x sta nel ker di AB se x sta nel ker di B, oppure B(x) sta nel ker di A

quindi dimKer(AB)<=dimKerB+dim(KerA(intersecato)ImB)<=dimKerB+dimKerA

torna? :wink:

hexen
Messaggi: 237
Iscritto il: 01 gen 1970, 01:00
Località: polonia
Contatta:

Messaggio da hexen » 05 mar 2006, 01:08

nn mi tornano le stime (2a riga) :D
[url=http://davidpet.interfree.it/renato.html:3r47vsho]Stamattina hanno suonato alla porta. Sono andato ad aprire e...[/url:3r47vsho]
[url=http://davidpet.interfree.it/jabber/index.html:3r47vsho]Guida introduttiva a Jabber[/url:3r47vsho]

AleX_ZeTa
Messaggi: 625
Iscritto il: 01 gen 1970, 01:00
Località: Milano
Contatta:

Messaggio da AleX_ZeTa » 05 mar 2006, 01:37

Come giustamente ha detto talpuz:

$ \ker AB = \ker B \cup (\ker A \cap \hbox{Im} B) $

perchè se $ AB(x) = 0 $ allora $ B(x) = 0 $ (quindi $ x \in \ker B $) oppure $ A(B(x)) = 0 $ (allora $ B(x) \in \ker A $, ma ovviamente $ B(x) \in \hbox{Im}B $)

quindi abbiamo che:

$ \dim \ker AB = \dim \ker B + \dim (\ker A \cap \hbox{Im}B) $

ma $ \dim \ker A \geq \dim (\ker A \cap \hbox{Im}B) $

quindi:

$ \dim \ker AB \leq \dim \ker B + \dim \ker A $
"E se si sono rotti i freni?"
"Se si sono rotti i freni non ci resta che l'autostop e il viaggio si complica. Faremo il giro del mondo a piedi."

Avatar utente
talpuz
Moderatore
Messaggi: 873
Iscritto il: 01 gen 1970, 01:00
Località: Pisa

Messaggio da talpuz » 05 mar 2006, 11:19

AleX_ZeTa ha scritto: $ \ker AB = \ker B \cup (\ker A \cap \hbox{Im} B) $
a fare i pignoli questa è falsa in generale :D

gli x che annullano B annullano anche AB, e ok

ma gli x che stanno in ImB e in KerA non è detto che stiano in kerAB! quelli che ci stanno sono gli x tali che B(x) sta in KerA, che sarebbe B^-1(KerA) :wink:

inoltre non è detto che

$ \dim \ker AB = \dim \ker B + \dim (\ker A \cap \hbox{Im}B) $

(i due sottospazi a dx potrebbero intersecarsi)

di sicuro però vale la disuguaglianza, e il resto della stima funziona

AleX_ZeTa
Messaggi: 625
Iscritto il: 01 gen 1970, 01:00
Località: Milano
Contatta:

Messaggio da AleX_ZeTa » 05 mar 2006, 11:27

oops che casino ho fatto -.-
"E se si sono rotti i freni?"
"Se si sono rotti i freni non ci resta che l'autostop e il viaggio si complica. Faremo il giro del mondo a piedi."

hexen
Messaggi: 237
Iscritto il: 01 gen 1970, 01:00
Località: polonia
Contatta:

Messaggio da hexen » 05 mar 2006, 12:55

talpuz ha scritto:
$ \dim \ker AB \leq \dim \ker B + \dim (\ker A \cap \hbox{Im}B) $
ed ecco la prima disuguaglianza del 2° post... e la seconda? :D
[url=http://davidpet.interfree.it/renato.html:3r47vsho]Stamattina hanno suonato alla porta. Sono andato ad aprire e...[/url:3r47vsho]
[url=http://davidpet.interfree.it/jabber/index.html:3r47vsho]Guida introduttiva a Jabber[/url:3r47vsho]

hexen
Messaggi: 237
Iscritto il: 01 gen 1970, 01:00
Località: polonia
Contatta:

Messaggio da hexen » 05 mar 2006, 15:23

talpuz ha scritto:x sta nel ker di AB se x sta nel ker di B, oppure B(x) sta nel ker di A
$ \ker AB = \ker B \cup B^{-1}(\ker A) $
poi
$ B^{-1}(\ker A) = \{ B^{-1} a : a \in \ker A \} $$ = \{ x:x \in Im B, x \in \ker A \} = \ker A \cap Im B $(*)

$ \dim \ker AB \leq \dim \ker B + \dim (Im B \cap \ker A) $
$ \dim(Im B \cap \ker A) \leq \dim \ker A $

$ \dim \ker AB \leq \dim \ker A + \dim \ker B $, tesi.

Ma qualcuno non ha negato l'uguaglianza (*) ??
[url=http://davidpet.interfree.it/renato.html:3r47vsho]Stamattina hanno suonato alla porta. Sono andato ad aprire e...[/url:3r47vsho]
[url=http://davidpet.interfree.it/jabber/index.html:3r47vsho]Guida introduttiva a Jabber[/url:3r47vsho]

EvaristeG
Site Admin
Messaggi: 4780
Iscritto il: 01 gen 1970, 01:00
Località: Roma
Contatta:

Messaggio da EvaristeG » 05 mar 2006, 15:25

$ \ker A\supset (\ker A\cap \textrm{Im}B)\Rightarrow \dim\ker A\geq\dim(\ker A\cap \terxrm{Im}B) $
Ultima modifica di EvaristeG il 05 mar 2006, 15:37, modificato 2 volte in totale.

hexen
Messaggi: 237
Iscritto il: 01 gen 1970, 01:00
Località: polonia
Contatta:

Messaggio da hexen » 05 mar 2006, 15:31

EvaristeG ha scritto:$ \ker A\superset (\ker A\cap \textrm{Im}B) $
qual è il predicato? :D
[url=http://davidpet.interfree.it/renato.html:3r47vsho]Stamattina hanno suonato alla porta. Sono andato ad aprire e...[/url:3r47vsho]
[url=http://davidpet.interfree.it/jabber/index.html:3r47vsho]Guida introduttiva a Jabber[/url:3r47vsho]

Rispondi