Matematické Fórum


1. 8. 2026 (L) Fórum bude brzy uzavřeno 😿

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