Lema 11.10
Select messages from
# through # FAQ
[/[Print]\]

Forum@DeGiorgi -> Mjera i integral

#1: Lema 11.10 Autor/ica: mathh5 PostPostano: 18:12 čet, 31. 5. 2012
    —
Kod dokaza te leme, zašto kažemo da je v(A_1)>=min{(delta_n)/2, 1} ?
Od kud nam ti brojevi kod minimuma?

Unaprijed hvala!

#2:  Autor/ica: Gost PostPostano: 18:51 čet, 31. 5. 2012
    —
ne znam

#3:  Autor/ica: mathh5 PostPostano: 9:40 sri, 24. 10. 2012
    —
Pitanje je još uvijek aktivno. Može li netko odgovoriti na njega?
Unaprijed hvala!

#4:  Autor/ica: sz PostPostano: 18:45 čet, 25. 10. 2012
    —
Ako je [tex]\delta_1\in\mathbb{R}[/tex], onda po definiciji supremuma vrijedi da [dtex]\forall\epsilon >0\quad \exists a\in X \quad\delta_1-\epsilon\leq a\leq\delta_1,[/dtex]
gdje je [tex]X=\{\nu(E):E\in\mathcal{F},\,E\subseteq A\}[/tex] pa, ako uzmemo [tex]\epsilon=\frac{\delta_1}{2}[/tex], dobivamo postojanje skupa [tex]A_1\in\mathcal{F}[/tex] t. d. [tex] \nu(A_1)\geq\frac{\delta_1}{2}[/tex].

Ali ista tvrdnja ne vrijedi ako je [tex]\delta_1=+\infty[/tex] (tvrdili bismo da skup sa supremumom [tex]+\infty[/tex] nužno sadrži element [tex]\geq+\infty[/tex], što očito nije istina). Ali, znamo da u tom slučaju sigurno postoji neki element skupa X veći ili jednak od 1.

Dakle, bio [tex]\delta_1[/tex] realan broj ili [tex]+\infty[/tex], možemo tvrditi da postoji element skupa X koji je [tex]\geq\min\{\frac{\delta_1}{2},1\}[/tex], tj. da postoji skup [tex]A_1\in\mathcal{F}[/tex] t. d. [tex] \nu(A_1)\geq\min\{\frac{\delta_1}{2},1\}[/tex].

Kasnije u dokazu onda iz činjenice da je [tex]\lim_n \nu(A_n)=0[/tex] zaključujemo da je, posebno, za dovoljno velike n-ove [tex]\nu(A_n)<1[/tex], što povlači da je [tex]\min\{\frac{\delta_n}{2},1\}\leq\nu(A_n)<1[/tex], tj. [tex]\min\{\frac{\delta_n}{2},1\}=\frac{\delta_n}{2}[/tex], dakle za dovoljno velike n je [tex]\nu(A_n)\geq\frac{\delta_n}{2}\geq 0[/tex] pa iz [tex]\lim_n \nu(A_n)=0[/tex] slijedi [tex]\lim_n \frac{\delta_n}{2}=0[/tex], tj. [tex]\lim_n \delta_n=0[/tex].

Eto, toliko čudnovatih detalja u dokazu samo zbog jedne možda-beskonačnosti! Shocked



Forum@DeGiorgi -> Mjera i integral


output generated using printer-friendly topic mod. Vremenska zona: GMT + 01:00.

Stranica 1 / 1.

Powered by phpBB © 2001,2002 phpBB Group
Theme created by Vjacheslav Trushkin