Matematické Fórum

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
22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

#1 23. 03. 2013 16:05

kolejo
Místo: Brno
Příspěvky: 190
Škola: MUNI PřF OM, Alg
Pozice: student
Reputace:   
 

Důkaz direktního součtu

Dobrý den,
chtěl bych požádat o pomoc s následujícím důkazem. Vím zhruba, jaké kroky realizovat, ale nejsem si úplně jistý, jakým způsobem:
$\text{Nechť } \varphi :U \rightarrow U \text{ je lineární operátor s vlastností }$
$\varphi (\varphi (u))=\varphi (u)$
$\text{pro všechna u } \in U$
$\text{Dokažte, že potom}$
$U=ker\varphi \oplus Im\varphi $
$\oplus \text{ značí direktní součet, tedy přímý}$

Ker a Im, jádro a obraz.
Direktní součet podprostorů znamená, že jejich průnik je nulový. Tedy vektor lze vyjádřit jednoznačně jako součet složky z jednoho a z druhého prostoru. Správně?

1) Nejdřív tedy chci ukázat, že každý vektor z U lze vyjádřit jako součet vektoru z Im a vektoru z ker.
2) Potom ukážu, že každý prvek z průniku ker a im je nulový.

1) Tady mám využít toho, že fí po fí=fí? Tedy pokud u patří do jádra, tak i fí(u) patří do jádra.
Prvky Im jsou fí(u). Jak ukážu, že každý vektor je součtem vektoru z Im a vektoru z Ker?

2) Vezmu nějaké u a řeknu, že patří průniku. Tedy patří do ker fí, zároveň patří do Im fí.
u patřící do ker fí implikuje fí(u) patřící do ker fí, tedy nemůže být v im fí. Je to správná úvaha?

Snad nevadí, že jsem místo $ker\varphi,im\varphi , \varphi (u)$ psal fí, fí, fí
Děkuji za rady,
kolejo

Offline

  • (téma jako vyřešené označil(a) kolejo)

#2 23. 03. 2013 16:12

Andrejka3
Moderátor
Příspěvky: 1994
Škola: PŘF UP Olomouc (2015)
Reputace:   119 
 

Re: Důkaz direktního součtu

1)$u-\varphi(u)+\varphi (u)$.


What does a drowning number theorist say?
'log log log log ...'

Offline

 

#3 23. 03. 2013 16:15

kolejo
Místo: Brno
Příspěvky: 190
Škola: MUNI PřF OM, Alg
Pozice: student
Reputace:   
 

Re: Důkaz direktního součtu

↑ Andrejka3:
:), dobrý, jo, myslím, že chápu.
u-fí(u) je jádrová část, fí(u) je imageová část, je tak?
Děkuji

Offline

 

#4 23. 03. 2013 16:38

Andrejka3
Moderátor
Příspěvky: 1994
Škola: PŘF UP Olomouc (2015)
Reputace:   119 
 

Re: Důkaz direktního součtu

↑ kolejo:
Ano. Povedlo se ověřit? Pokud zůstává něco nejasného, ráda pomůžu.


What does a drowning number theorist say?
'log log log log ...'

Offline

 

#5 23. 03. 2013 16:42

kolejo
Místo: Brno
Příspěvky: 190
Škola: MUNI PřF OM, Alg
Pozice: student
Reputace:   
 

Re: Důkaz direktního součtu

↑ Andrejka3:
Jó? No, velmi děkuji za pomoc.
Nevím stále s tou dvojkou. Mohla byste ještě něco nahodit? (nebo pokud přímo víte, tak takové radě se nebráním) Díky,
kolejo

Offline

 

#6 23. 03. 2013 16:47 — Editoval Andrejka3 (23. 03. 2013 16:48)

Andrejka3
Moderátor
Příspěvky: 1994
Škola: PŘF UP Olomouc (2015)
Reputace:   119 
 

Re: Důkaz direktního součtu

↑ kolejo:
$\mathrm{Im}\varphi \:\cap \: \mathrm{Ker}\varphi \supseteq \{0\}$.
$u$ je z toho pruniku.
Je z jadra (ker), takze $\varphi (u)=\dots$?
Na druhou stranu $\varphi(u)=u$. Takže $u=\dots$


What does a drowning number theorist say?
'log log log log ...'

Offline

 

#7 23. 03. 2013 16:54

kolejo
Místo: Brno
Příspěvky: 190
Škola: MUNI PřF OM, Alg
Pozice: student
Reputace:   
 

Re: Důkaz direktního součtu

↑ Andrejka3:
Pokud je u z pruniku a tedy z ker fi, tak  fi(u)=0. (definice jádra, jasně)
Z toho ale, že je v obraze (Im fí), tak musí platit u=im fi, tedy takto čtu Vaše:
"Na druhou stranu $\varphi(u)=u$"
tedy u je nulový vektor, z čehož vyplývá, že součet je direktní, tedy v průniku je pouze nulový vektor. Což jsme chtěli dokázat.
A my jsme to právě dokázali dokázat. Život je o něco krásnější. Tedy pokud se nemýlím.
Mohu označit za vyřešené? A ještě jednou velice poděkovat za pomoc?
kolejo

Offline

 

#8 23. 03. 2013 16:58 — Editoval Andrejka3 (23. 03. 2013 17:02)

Andrejka3
Moderátor
Příspěvky: 1994
Škola: PŘF UP Olomouc (2015)
Reputace:   119 
 

Re: Důkaz direktního součtu

↑ Andrejka3:
Promiň za nepřesnost.
$u \in \mathrm{Im}\varphi$, takže pro nějaké $v \in U:\; \varphi (v)=u$.
Je $0=\varphi (u)=\varphi(\varphi(v))=\varphi(v)=u$.
První rovnost plyne z toho, že $u$ je z jadra. Druha rovnost plyne, ze u je z Image, treti rovnost z vlastnosti zobrazeni a posledni jsme uz pouzili...
Takze to $\varphi u=u$ plyne diky vlastnostem zobrazeni a toho ze je u= \varphi v (z image).
Ano, tímto je dokázáno, že průnik je jen $\{0\}$ a tímpádem je U direktnim souctem ker a im.
Edit: doplneni.


What does a drowning number theorist say?
'log log log log ...'

Offline

 

#9 23. 03. 2013 17:09

kolejo
Místo: Brno
Příspěvky: 190
Škola: MUNI PřF OM, Alg
Pozice: student
Reputace:   
 

Re: Důkaz direktního součtu

↑ Andrejka3:
Ano ano, to je ono. (skinner)
Hezké, díky moc. Označuji za vyřešené.

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson