Prethodna tema :: Sljedeća tema |
Autor/ica |
Poruka |
Vincent Van Ear Forumaš(ica)


Pridružen/a: 19. 08. 2004. (11:29:05) Postovi: (175)16
|
Postano: 0:22 ned, 29. 8. 2004 Naslov: Još jedan teoremčić u vezi s integralima |
|
|
[color=green]Teorem:
Pretpostavke:f,g:[a,b]->IR (R)-integrabilne , v,w@IR
Doprinos:njihova linearna kombinacija je (R)-integrabilna funkcija te vrijedi:
aSb v*f + aSb w*g[/color]
Dokaz:
f i g (R)-integrabilne => f i g omeđene => v*f+w*g omeđena funkcija
f (R)-integrabilna =>(propozicija o limesu sume koja aproksimira integral)=> posoji niz {d'_n} subidivizija takav da je aSb f(x)dx =lim_{n->oo} s(d'_n)=lim_{n->oo} S(d'_n) i S(d'_n)-s(d'_n)=0
g (R)-integrabilna =>(propozicija o limesu sume koja aproksimira integral)=> posoji niz {d''_n} subidivizija takav da je aSb g(x)dx =lim_{n->oo} s(d''_n)=lim_{n->oo} S(d''_n) i S(d''_n)-s(d''_n)=0
d_n := d'_n U d''_n
=>primjenom toga niza subdivizija na funkciju v*f+w*g=h dobivamo S(d_n;h)-s(d_n;h) -> 0
jer je [color=violet]ograničen linearnom kombinacijom odgovarajućih limesa[/color]
[color=brown](Moja dilema:e sad ove riječi iznad me kopkaju: ja moram dobiti dakle ovo:
lim_{n->oo}d_n=v*lim_{n->oo}d'_n + lim_{n->oo}d''_n = v * aSb f(x)dx + w * aSb g(x)dx ,
kako si to _precizno_ objašnjavam(intuitivno mi je sasvim jasno,ali kada stvari treba precizno izgovoriti tu gubim moral)[/color]
=>kriterij integrabilnosti=>v*f+w*g je Reiman integrabilna
(Napomena: aSb je određeni integral u točkama od a do b)
Teorem:
Pretpostavke:f,g:[a,b]->IR (R)-integrabilne , v,w@IR
Doprinos:njihova linearna kombinacija je (R)-integrabilna funkcija te vrijedi:
aSb v*f + aSb w*g
Dokaz:
f i g (R)-integrabilne => f i g omeđene => v*f+w*g omeđena funkcija
f (R)-integrabilna =>(propozicija o limesu sume koja aproksimira integral)=> posoji niz {d'_n} subidivizija takav da je aSb f(x)dx =lim_{n->oo} s(d'_n)=lim_{n->oo} S(d'_n) i S(d'_n)-s(d'_n)=0
g (R)-integrabilna =>(propozicija o limesu sume koja aproksimira integral)=> posoji niz {d''_n} subidivizija takav da je aSb g(x)dx =lim_{n->oo} s(d''_n)=lim_{n->oo} S(d''_n) i S(d''_n)-s(d''_n)=0
d_n := d'_n U d''_n
=>primjenom toga niza subdivizija na funkciju v*f+w*g=h dobivamo S(d_n;h)-s(d_n;h) -> 0
jer je ograničen linearnom kombinacijom odgovarajućih limesa
(Moja dilema:e sad ove riječi iznad me kopkaju: ja moram dobiti dakle ovo:
lim_{n->oo}d_n=v*lim_{n->oo}d'_n + lim_{n->oo}d''_n = v * aSb f(x)dx + w * aSb g(x)dx ,
kako si to _precizno_ objašnjavam(intuitivno mi je sasvim jasno,ali kada stvari treba precizno izgovoriti tu gubim moral)
=>kriterij integrabilnosti=>v*f+w*g je Reiman integrabilna
(Napomena: aSb je određeni integral u točkama od a do b)
_________________ Samo sam jedan čovjek,
samo jedan pakao.
|
|
[Vrh] |
|
veky Forumaš(ica)

Pridružen/a: 09. 12. 2002. (19:59:43) Postovi: (5B0)16
Lokacija: negdje daleko...
|
Postano: 12:33 ned, 29. 8. 2004 Naslov: Re: Još jedan teoremčić u vezi s integralima |
|
|
[quote="Vincent Van Ear"][color=green]Teorem:
Pretpostavke:f,g:[a,b]->IR (R)-integrabilne , v,w@IR
Doprinos:njihova linearna kombinacija je (R)-integrabilna funkcija te vrijedi:
aSb v*f + aSb w*g[/color][/quote]
Tu nisi nikakvu izjavu napisao. Vjerojatno si htio reći da vrijedi da je integral linearne kombinacije jednak linearnoj kombinaciji integrala (s istim koeficijentima).
[quote]Dokaz:
f i g (R)-integrabilne => f i g omeđene => v*f+w*g omeđena funkcija
f (R)-integrabilna =>(propozicija o limesu sume koja aproksimira integral)=> posoji niz {d'_n} subidivizija takav da je aSb f(x)dx =lim_{n->oo} s(d'_n)=lim_{n->oo} S(d'_n) i S(d'_n)-s(d'_n)=0[/quote]
Nije _jednako_ nuli, već _teži_ nuli (po n ).
[quote]g (R)-integrabilna =>(propozicija o limesu sume koja aproksimira integral)=> posoji niz {d''_n} subidivizija takav da je aSb g(x)dx =lim_{n->oo} s(d''_n)=lim_{n->oo} S(d''_n) i S(d''_n)-s(d''_n)=0[/quote]
Također.
[quote]d_n := d'_n U d''_n
=>primjenom toga niza subdivizija na funkciju v*f+w*g=h dobivamo S(d_n;h)-s(d_n;h) -> 0
jer je [color=violet]ograničen linearnom kombinacijom odgovarajućih limesa[/color]
[color=brown](Moja dilema:e sad ove riječi iznad me kopkaju: ja moram dobiti dakle ovo:
lim_{n->oo}d_n=v*lim_{n->oo}d'_n + lim_{n->oo}d''_n = v * aSb f(x)dx + w * aSb g(x)dx ,
kako si to _precizno_ objašnjavam(intuitivno mi je sasvim jasno,ali kada stvari treba precizno izgovoriti tu gubim moral)[/color][/quote]
Ovo što si gore napisao je glupost. Limesiraš i zbrajaš subdivizije :shock: .
Ono što tebi treba je sljedeće:
Prvo, pretpostavimo da su v i w nenegativni, te f i g nenegativne (ako nešto od toga može biti negativno, dokaz je malo kompliciraniji, ali ne puno). Lako se vidi da je tada za svaku dn ,
S(vf+wg,dn)=vS(f,dn)+wS(g,dn)<=vS(f,dn')+wS(g,dn'') i
s(vf+wg,dn)=vs(f,dn)+ws(g,dn)>=vs(f,dn')+ws(g,dn'') .
Oduzimanjem te dvije nejednakosti dobijemo
(S-s)(h,dn)<=v*(S-s)(f,dn')+w*(S-s)(g,dn'') .
Sada tvrdnja da lijeva strana teži u 0 slijedi iz činjenice da je nenegativna, teorema o sendviču i jednostavne činjenice o limesima
[latex]\lim_n(v\cdot a_n+w\cdot b_n)=v\cdot\lim_n a_n+w\cdot\lim_n b_n[/latex].
HTH,
Vincent Van Ear (napisa): | Teorem:
Pretpostavke:f,g:[a,b]→IR (R)-integrabilne , v,w@IR
Doprinos:njihova linearna kombinacija je (R)-integrabilna funkcija te vrijedi:
aSb v*f + aSb w*g |
Tu nisi nikakvu izjavu napisao. Vjerojatno si htio reći da vrijedi da je integral linearne kombinacije jednak linearnoj kombinaciji integrala (s istim koeficijentima).
Citat: | Dokaz:
f i g (R)-integrabilne ⇒ f i g omeđene ⇒ v*f+w*g omeđena funkcija
f (R)-integrabilna ⇒(propozicija o limesu sume koja aproksimira integral)⇒ posoji niz {d'_n} subidivizija takav da je aSb f(x)dx =lim_{n→oo} s(d'_n)=lim_{n→oo} S(d'_n) i S(d'_n)-s(d'_n)=0 |
Nije _jednako_ nuli, već _teži_ nuli (po n ).
Citat: | g (R)-integrabilna ⇒(propozicija o limesu sume koja aproksimira integral)⇒ posoji niz {d''_n} subidivizija takav da je aSb g(x)dx =lim_{n→oo} s(d''_n)=lim_{n→oo} S(d''_n) i S(d''_n)-s(d''_n)=0 |
Također.
Citat: | d_n := d'_n U d''_n
⇒primjenom toga niza subdivizija na funkciju v*f+w*g=h dobivamo S(d_n;h)-s(d_n;h) → 0
jer je ograničen linearnom kombinacijom odgovarajućih limesa
(Moja dilema:e sad ove riječi iznad me kopkaju: ja moram dobiti dakle ovo:
lim_{n→oo}d_n=v*lim_{n→oo}d'_n + lim_{n→oo}d''_n = v * aSb f(x)dx + w * aSb g(x)dx ,
kako si to _precizno_ objašnjavam(intuitivno mi je sasvim jasno,ali kada stvari treba precizno izgovoriti tu gubim moral) |
Ovo što si gore napisao je glupost. Limesiraš i zbrajaš subdivizije .
Ono što tebi treba je sljedeće:
Prvo, pretpostavimo da su v i w nenegativni, te f i g nenegativne (ako nešto od toga može biti negativno, dokaz je malo kompliciraniji, ali ne puno). Lako se vidi da je tada za svaku dn ,
S(vf+wg,dn)=vS(f,dn)+wS(g,dn)⇐vS(f,dn')+wS(g,dn'') i
s(vf+wg,dn)=vs(f,dn)+ws(g,dn)>=vs(f,dn')+ws(g,dn'') .
Oduzimanjem te dvije nejednakosti dobijemo
(S-s)(h,dn)⇐v*(S-s)(f,dn')+w*(S-s)(g,dn'') .
Sada tvrdnja da lijeva strana teži u 0 slijedi iz činjenice da je nenegativna, teorema o sendviču i jednostavne činjenice o limesima
.
HTH,
|
|
[Vrh] |
|
Vincent Van Ear Forumaš(ica)


Pridružen/a: 19. 08. 2004. (11:29:05) Postovi: (175)16
|
Postano: 13:17 ned, 29. 8. 2004 Naslov: |
|
|
[quote]Ovo što si gore napisao je glupost. Limesiraš i zbrajaš subdivizije .[/quote]
Uh,pardon.
Dobro smijem ih samo limesirati…stvarno glupost-pa kako bih zbrajao (konačne) skupove...možda se i mogu ali ja to zasada neznam!
:shock:
[quote]Prvo, pretpostavimo da su v i w nenegativni, te f i g nenegativne (ako nešto od toga može biti negativno, dokaz je malo kompliciraniji, ali ne puno). Lako se vidi da je tada za svaku dn ,
S(vf+wg,dn)=vS(f,dn)+wS(g,dn)<=vS(f,dn')+wS(g,dn'') i
s(vf+wg,dn)=vs(f,dn)+ws(g,dn)>=vs(f,dn')+ws(g,dn'') .
Oduzimanjem te dvije nejednakosti dobijemo
(S-s)(h,dn)<=v*(S-s)(f,dn')+w*(S-s)(g,dn'') .
Sada tvrdnja da lijeva strana teži u 0 slijedi iz činjenice da je nenegativna, teorema o sendviču i jednostavne činjenice o limesima
.
HTH,[/quote]
Hvala. :wink:
Citat: | Ovo što si gore napisao je glupost. Limesiraš i zbrajaš subdivizije . |
Uh,pardon.
Dobro smijem ih samo limesirati…stvarno glupost-pa kako bih zbrajao (konačne) skupove...možda se i mogu ali ja to zasada neznam!
Citat: | Prvo, pretpostavimo da su v i w nenegativni, te f i g nenegativne (ako nešto od toga može biti negativno, dokaz je malo kompliciraniji, ali ne puno). Lako se vidi da je tada za svaku dn ,
S(vf+wg,dn)=vS(f,dn)+wS(g,dn)⇐vS(f,dn')+wS(g,dn'') i
s(vf+wg,dn)=vs(f,dn)+ws(g,dn)>=vs(f,dn')+ws(g,dn'') .
Oduzimanjem te dvije nejednakosti dobijemo
(S-s)(h,dn)⇐v*(S-s)(f,dn')+w*(S-s)(g,dn'') .
Sada tvrdnja da lijeva strana teži u 0 slijedi iz činjenice da je nenegativna, teorema o sendviču i jednostavne činjenice o limesima
.
HTH, |
Hvala.
_________________ Samo sam jedan čovjek,
samo jedan pakao.
|
|
[Vrh] |
|
veky Forumaš(ica)

Pridružen/a: 09. 12. 2002. (19:59:43) Postovi: (5B0)16
Lokacija: negdje daleko...
|
|
[Vrh] |
|
|