sigma ciała

matti90 · Post autor: **matti90** » 19 paź 2010, o 22:06

Witam, mam takie zadanie do domu:
Niech \(\displaystyle{ \Omega = R}\). Podać przykład takich sigma-ciał \(\displaystyle{ R_{1}}\) i \(\displaystyle{ R_{2}}\), aby rodzina \(\displaystyle{ R_{3}=R _{1} \cup R _{2}}\) była sigma-ciałem w\(\displaystyle{ \Omega.}\)

No i na zajęciach zdążyliśmy zrobić takie przykłady:
\(\displaystyle{ R_{1}=R_{2}}\)
\(\displaystyle{ R_{1}=\lbrace \emptyset,X\rbrace}\)
Doszliśmy do wniosku, że zachodzi cos takiego: \(\displaystyle{ R_{1} \subset R_{2} \Rightarrow R_{1} \cup R_{2}}\) i mamy się zastanowić czy zachodzi też w drugą stronę? jeśli nie to podać jakieś 2-3 przykłady dlaczego nie, a jeśli tak , to podać twierdzenie?

Z góry dziękuję za odpowiedzi. Sam nie mogę tego wymyślić, więc proszę o pomoc kogoś bardziej kumatego ode mnie:-)

i jeszcze dodam, ze nie wiem czy w dobry dział, to dałem, bo nie wiedziałem gdzie dodać.

pipol · Post autor: **pipol** » 20 paź 2010, o 20:37

np.
\(\displaystyle{ R_1 =\mathcal{B} (\mathbb{R} )}\) -\(\displaystyle{ \sigma}\)-algebra zbiorów borelowskich na prostej.
\(\displaystyle{ R_2 =2^{\mathbb{R}}}\)

matti90 · Post autor: **matti90** » 20 paź 2010, o 21:21

Nie rozumiem:(

Post autor: **Zordon** » 20 paź 2010, o 21:26

matti90 pisze: \(\displaystyle{ R_{1} \subset R_{2} \Rightarrow R_{1} \cup R_{2}}\)

O co tu chodzi?

matti90 · Post autor: **matti90** » 20 paź 2010, o 23:11

no, ze jak zachodzi pierwsza część tego(czyli , \(\displaystyle{ R_{1} \subset R_{2}}\)), to zachodzi wtedy prawa czyli \(\displaystyle{ R_{1} \cup R_{2}}\)... nie wiem, po co Ci to tłumaczę, bo pewnie to wiesz, ale inaczej nie jestem Ci w stanie tego napisać... ;d

Post autor: **Zordon** » 20 paź 2010, o 23:49

Dla mnie \(\displaystyle{ R_{1} \cup R_{2}}\) to suma mnogościowa dwóch zbiorów, więc niezbyt rozumiem co ma wyrażać tamta implikacja.

matti90 · Post autor: **matti90** » 21 paź 2010, o 00:21

No, jeden pies;d chodzi o to, ze bedzie sigma cialem wtedy:)

pipol · Post autor: **pipol** » 21 paź 2010, o 00:45

matti90 pisze:Nie rozumiem:(

Czego nie rozumiesz? Bierzesz dowolną rodzinę \(\displaystyle{ \mathcal{S}}\) podzbiorów zbioru \(\displaystyle{ \mathbb{R}}\) istnieje wówczas najmniejsze w sensie inkluzji sigma ciało podzbiorów zbioru liczb rzeczywistych zawierające rodzinę \(\displaystyle{ \mathcal{S}}\) oznaczmy je przez \(\displaystyle{ \sigma (\mathcal{S} )}\) . Jeżeli będziesz miał dużo szczęścia to będzie \(\displaystyle{ \sigma (\mathcal{S} ) \neq 2^{\mathbb{R}}}\) i wówczas jako drugie sigma ciało będziesz mógł wziąc \(\displaystyle{ 2^{\mathbb{R}}}\) (czyli rodzinę wszystkich podzbiorów zbioru liczb rzeczywistych, która to rodzina z oczywistych względów też jest sigma ciałem). Ja jako \(\displaystyle{ \mathcal{S}}\) przyjąłem rodzinę wszystkich podzbiorów otwartych (w naturalnej topologii) w przestrzeni liczb rzeczywistych i wtedy \(\displaystyle{ \sigma (\mathcal{S} ) =\mathcal{B} (\mathbb{R} ) \neq 2^{\mathbb{R}}}\).

matti90 · Post autor: **matti90** » 24 paź 2010, o 11:55

Dzięki za odpowiedzi:) czyli jak to się ma do mojego pytania, zachodzi też w drugą stronę czy nie? czyli czy tylko dla tak dobranych zbiorów \(\displaystyle{ R_{1},R_{2}}\), ze \(\displaystyle{ R_{1} \subset R_{2}}\), ewentualnie odwrotnie, suma utworzona z tych zbiorów będzie sigma ciałem? czy da się jeszcze jakos inaczej dobrac, te zbiory?

Post autor: **Zordon** » 24 paź 2010, o 17:33

nie da sie:
\(\displaystyle{ A\in R_1\setminus R_2}\)
\(\displaystyle{ B\in R_2\setminus R_1}\)
\(\displaystyle{ A\cup B \notin R_1\cup R_2}\)

DrJeckyll · Post autor: **DrJeckyll** » 21 lis 2010, o 16:30

Zordon czy jesteś w stanie przestawić szkic dowodu?

Post autor: **Zordon** » 21 lis 2010, o 20:11

Tamtego co wyżej nie jestem w stanie udowodnić, bo to fałszywa teza , przepraszam. Musimy założyć, że mamy takie \(\displaystyle{ A,B}\) ale rozłączne.

DrJeckyll · Post autor: **DrJeckyll** » 22 lis 2010, o 11:53

A no i z tym mogę się zgodzić. Już myślałem, że nastąpił u mnie chwilowy zanik kory mózgowej bo nijak nie mogłem sobie tego wyobrazić