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 18. 06. 2012 19:41

drabi
Místo: Praha
Příspěvky: 433
Škola: MFF UK
Pozice: student
Reputace:   
 

Borel-Cantelli

Ahoj, mám další příklad, který nevím, jak se přesně dělá:

Mějme nezávislé náhodné veličiny Xn stejně rozdělené s hustotou exp(-x) pro x>0. Definujme Yn = Xn + n.
(a) spočtěte pravděpodobnost, že nekonečněkrát nastane jev [Yn > 2n]
(b) spočtete pravděpodobnost, že nekonečněkrát nastane jev [Y1 > log(n)]

zkusím napsat, jak jsem postupovala, ale nejsem si jistá, jestli se to tak má dělat:

(a)
$A_n = [Y_n > 2n] = [X_n + n > 2n] = [X_n > n]$
$\sum_{i=1}^\infty P(A_n) = \sum_{i=1}^\infty 1 - \int_0^i \mathrm{e}^{-t} \mathrm{d}t =\sum_{i=1}^\infty\mathrm{e}^{-i} = \frac{1}{\mathrm{e} - 1} < \infty$

$\Rightarrow P(\text{limsup}_{n \rightarrow \infty} P(A_n)) = 0$

(b)
$A_1 = [Y_1 > \log(n)] = [X_1 + 1> \log(n)] = [X_1 > \log(n) - 1]$
$\sum_{i=1}^\infty P(A_1) = \sum_{i=1}^\infty 1 - \int_0^{\log(i) - 1} \mathrm{e}^{-t} \mathrm{d}t =  \sum_{i=1}^\infty \mathrm{e}^{1 - \log(i)} = \sum_{i=1}^\infty \frac{\mathrm{e}}{i} = \infty  $

$\Rightarrow P(\text{limsup}_{n \rightarrow \infty} P(A_n)) = 1$

prosím vás, řekl by mi někdo zda postupuju dobře, popřípadně mi řekl v čem dělám chyby? díky moc

Offline

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

#2 18. 06. 2012 19:53

Stýv
Vrchní cenzor
Příspěvky: 5710
Reputace:   215 
Web
 

Re: Borel-Cantelli

to zadání (b) mi přijde divný, nemá tam být jev [Yn > log(n)]?

Offline

 

#3 18. 06. 2012 20:00

drabi
Místo: Praha
Příspěvky: 433
Škola: MFF UK
Pozice: student
Reputace:   
 

Re: Borel-Cantelli

↑ Stýv:
právě, že to zadání takové má být.. taky mi to přijde divné

Offline

 

#4 18. 06. 2012 20:37

Stýv
Vrchní cenzor
Příspěvky: 5710
Reputace:   215 
Web
 

Re: Borel-Cantelli

pak ale ty jevy nejsou nezávislý a BC lemma ti nepomůže. je to ale triviální, jelikož jde o konečnou n. veličinu

Offline

 

#5 18. 06. 2012 20:39

drabi
Místo: Praha
Příspěvky: 433
Škola: MFF UK
Pozice: student
Reputace:   
 

Re: Borel-Cantelli

↑ Stýv:
promiň, tomu nějak nerozumím, můžeš mi to říct trochu polopatě?

Offline

 

#6 18. 06. 2012 21:19 — Editoval OiBobik (18. 06. 2012 21:22)

OiBobik
Moderátor
Místo: Brno/Praha
Příspěvky: 1013
Škola: MFF UK Mat. struktury
Pozice: student
Reputace:   82 
 

Re: Borel-Cantelli

↑ drabi:

Formálně třeba takto:

$P(\limsup A_n)=P(\bigcap_{n=1}^{\infty}\bigcup_{k=n}^{\infty}A_n)=P(\bigcap_{n=1}^{\infty}A_n)=\lim_{n \to \infty}P(A_n)=\\=\lim_{n \to \infty}\(1-\int_{0}^{\log n -1}e^{-x}\text{d}x\)=1-\lim_{n \to \infty}[-e^{-x}]_{0}^{\log n-1}=\\=1-\lim_{n \to \infty}(1-e^{-\log n +1})=1-\lim_{n \to \infty}(1-\frac{e}{n})=0$

(protože $A_1 \supseteq A_2 \supseteq \dots$, platí $ \bigcup_{k=n}^{\infty}A_k=A_n$)


"The first rule of Tautology Club is the first rule of Tautology Club." [xkcd]

Offline

 

#7 18. 06. 2012 21:43

drabi
Místo: Praha
Příspěvky: 433
Škola: MFF UK
Pozice: student
Reputace:   
 

Re: Borel-Cantelli

↑ OiBobik:
ok, díky..

↑ Stýv:
a to áčko je dobře?

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson