Korisnički Kontrolni Panel
Pogledajte svoj profil
Pogledajte svoje postove
ČPP
Prijavite se

Matematički forum na kojem možete da diskutujete o raznim matematičkim oblastima, pomognete drugima oko rešavanja zadataka, a i da dobijete pomoć kada vam zatreba


















Index stranica OSTALE MATEMATIČKE OBLASTI VEROVATNOĆA

Konvergencija skoro sigurno niza slucajnih velicina

[inlmath]P\left(A_k/B\right)P\left(B\right)=P\left(B/A_k\right)P\left(A_k\right)[/inlmath]

Konvergencija skoro sigurno niza slucajnih velicina

Postod Zmija_Zmikac » Subota, 16. Septembar 2023, 13:29

Zdravo, imam 2 pitanja u vezi sa dokazivanjem jedne teoreme i jednog tvrdjenja u vezi sa konvergencijom niza slucajnih velicina, konkrento vezanih za skoro sigurnu konvergenciju.
1. Pitanje (dokaz tvrdjenja da ako niz konvergira skoro sigurno, onda ce i u verovatnoci)
Dokaz glasi ovako:
[dispmath](\forall\varepsilon>0)\lim_{n\to\infty}P\{\underbrace{w\mid\sup_{k\geq n}|X_k(w)-X(w)|\geq\varepsilon}_{A_n}\}=0\\
\Longrightarrow(\forall\varepsilon>0)\lim_{n\to\infty}P\{\underbrace{w\mid|X_n(w)-X(w)|\geq\varepsilon}_{B_n}\}=0\\
\Longrightarrow B_n\subset A_n\Longrightarrow\cdots[/dispmath] Naime, nije mi jasno zasto vazi ova implikacija, zasto je skup koji obuhvata supremum siri od skupa koji ga ne obuhvata?

2. Pitanje (dokaz teoreme o skoro sigurnoj konvergenciji)
[dispmath](\forall\varepsilon>0)\sum^\infty_{n=1}P\{w\mid|X_n(w)-X(w)|\geq\varepsilon\}<+\infty\Longrightarrow X_n\to^{\text{s.s.}}_{n->\infty}X[/dispmath] Dokaz: ... primena Borel-Kantelijeve leme 1 ...
[dispmath](\forall\varepsilon>0)\lim_{n\to\infty}P\underbrace{\left\{w\mid\bigcup^\infty_{k=n}|X_k(w)-X(w)|\geq\varepsilon\right\}}_{An}=0\\
\Longrightarrow(\forall\varepsilon>0)\lim_{n\to\infty}P\{\underbrace{w\mid\sup_{k\geq n}|X_k(w)-X(w)|\geq\varepsilon}_{B_n}\}=0\\
\Longrightarrow B_n\subset A_n\Longrightarrow\cdots[/dispmath] I ovde isto, nije mi jasno zasto vazi ova implikacija, zasto je skup koji obuhvata uniju (bar 1 od ovih mora biti ispunjen) siri od supremuma?

Veliko hvala unapred!
 
Postovi: 2
Zahvalio se: 1 puta
Pohvaljen: 0 puta

Sharuj ovu temu na:

Share on Facebook Facebook Share on Twitter Twitter Share on MySpace MySpace Share on Google+ Google+

Re: Konvergencija skoro sigurno niza slucajnih velicina

Postod ubavic » Subota, 16. Septembar 2023, 14:47

Zdravo. Dobrodošao na forum.

1. U skupu [inlmath]A_n[/inlmath] se nalaze svi događaji [inlmath]\omega[/inlmath] za koje je [inlmath]\sup_{k\ge n} \left\vert X_k(\omega) - X(\omega)\right\vert \ge \varepsilon[/inlmath]. Sa druge strane, u skupu [inlmath]B_n[/inlmath] se nalaze svi događaji [inlmath]\omega[/inlmath] za koje važi [inlmath]\left\vert X_n(\omega) - X(\omega)\right\vert \ge \varepsilon[/inlmath]. Neka je sad [inlmath]\omega_0 \in B_n[/inlmath] i neka je je [inlmath]\alpha_k = \left\vert X_k(\omega_0) - X(\omega_0)\right\vert[/inlmath]. Kako je [inlmath]\omega_0 \in B_n[/inlmath], važi [inlmath]\alpha_n \ge \varepsilon[/inlmath], pa prema tome važi i [inlmath]\sup_{k\ge n} \alpha_k \ge \varepsilon[/inlmath] jer je supremum veći od svakog elementa (pa samim tim i od [inlmath]\alpha_n[/inlmath]). A to upravo znači da je [inlmath]\alpha_n \in A_n[/inlmath]. Dakle [inlmath]B_n\subseteq A_n[/inlmath].

2. Gotovo isti argument. Ako [inlmath]\omega_0 \in \bigcup_{k=n}^{\infty}\{\omega : \left\vert X_k(\omega) - X(\omega)\right\vert \ge \varepsilon \}[/inlmath], to znači da za bar neko [inlmath]k\ge n[/inlmath] važi da je [inlmath]\left\vert X_k(\omega_0) - X(\omega_0)\right\vert \ge \varepsilon[/inlmath]. Samim tim, supremum izraza [inlmath]\left\vert X_k(\omega_0) - X(\omega_0)\right\vert[/inlmath] je veći od [inlmath]\varepsilon[/inlmath] (jer je barem jedan član veći od [inlmath]\varepsilon[/inlmath]), pa sledi da [inlmath]\omega_0\in\{\omega : \sup_{k\ge n} \left\vert X_k(\omega) - X(\omega)\right\vert \ge \varepsilon \}[/inlmath]
ubavic  OFFLINE
Zaslužni forumaš
 
Postovi: 625
Zahvalio se: 385 puta
Pohvaljen: 644 puta


Povratak na VEROVATNOĆA

Ko je OnLine

Korisnici koji su trenutno na forumu: Nema registrovanih korisnika i 5 gostiju


Index stranicaTimObriši sve kolačiće boarda
Danas je Ponedeljak, 24. Jun 2024, 18:44 • Sva vremena su u UTC + 1 sat [ DST ]
Pokreće ga phpBB® Forum Software © phpBB Group
Prevod – www.CyberCom.rs