Warunek konieczny i wystarczający - własność Baire'a

Własności przestrzeni; metryczność, zwartość, spójność... Przekształcenia i deformacje... Teoria wymiaru... słowem - topologia.
malwinka1058
Użytkownik
Użytkownik
Posty: 105
Rejestracja: 1 paź 2014, o 16:45
Płeć: Kobieta

Warunek konieczny i wystarczający - własność Baire'a

Post autor: malwinka1058 » 14 wrz 2020, o 22:12

Przyjmuję następującą definicję własności Baire'a:
Zbiór \(\displaystyle{ A}\) posiada własność Baire'a, jeśli można go przedstawić w postaci
\(\displaystyle{ A=G\Delta P,}\) gdzie \(\displaystyle{ G}\) jest zbiorem otwartym, a \(\displaystyle{ P}\) zbiorem pierwszej kategorii.

Pokazać, że następujące warunki są warunkami koniecznymi i wystarczającymi, by zbiór \(\displaystyle{ A}\) posiadał własność Baire'a:
-\(\displaystyle{ A}\) jest sumą zbioru typu \(\displaystyle{ G_{\delta}}\) i zbioru pierwszej kategorii
-\(\displaystyle{ A}\) jest różnicą zbioru typu \(\displaystyle{ F_{\sigma}}\) i zbioru pierwszej kategorii

Dodano po 11 godzinach 27 minutach 28 sekundach:
Wiem, że do pokazania równoważności między powyższymi podpunktami wystarczy skorzystać z faktu, że dopełnienie zbioru o własności Baire'a ma własność Baire'a, z praw de Morgana i faktu, że zbioru typu \(\displaystyle{ F_{\sigma}}\) i \(\displaystyle{ G_{\delta} }\) są nawzajem swoimi dopełnieniami.
Nie wiem natomiast, jak pokazać ich równoważność z definicją.
Rekrutacja Instytut Matematyczny, Uniwersytet Wrocławski (gif)

Awatar użytkownika
Dasio11
Moderator
Moderator
Posty: 9226
Rejestracja: 21 kwie 2009, o 19:04
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 37 razy
Pomógł: 1999 razy

Re: Warunek konieczny i wystarczający - własność Baire'a

Post autor: Dasio11 » 15 wrz 2020, o 22:34

Niech \(\displaystyle{ A = G \Delta P}\), gdzie \(\displaystyle{ G}\) jest otwarty a \(\displaystyle{ P}\) jest pierwszej kategorii. Wtedy \(\displaystyle{ P = \bigcup_{i=1}^{\infty} N_i}\) dla pewnych zbiorów nigdziegęstych \(\displaystyle{ N_i, i \in \NN}\) i

\(\displaystyle{ A = \Big( \underbrace{G \setminus \bigcup_{i=1}^{\infty} \overline{N_i}}_{G_{\delta}} \Big) \cup \underbrace{\left( \bigcup_{i=1}^{\infty} (\overline{N_i} \cap G) \setminus P \right) \cup (P \setminus G)}_{\text{I kat.}}}\)

jest szukanym przedstawieniem.

W drugą stronę: niech \(\displaystyle{ A = \bigcup_{n=1}^{\infty} F_n \setminus P}\) gdzie \(\displaystyle{ F_n, n \in \NN}\) są domknięte a \(\displaystyle{ P}\) jest pierwszej kategorii. Wtedy \(\displaystyle{ A}\) zapisuje się jako

\(\displaystyle{ A = \Big( \underbrace{\bigcup_{n=1}^{\infty} \operatorname{int} F_n}_{\text{otwarty}} \cup \underbrace{\bigcup_{n=1}^{\infty} (F_n \setminus \operatorname{int} F_n)}_{\text{I kat.}} \Big) \setminus P}\)

i już nietrudno dojść do żądanej postaci.

malwinka1058
Użytkownik
Użytkownik
Posty: 105
Rejestracja: 1 paź 2014, o 16:45
Płeć: Kobieta

Re: Warunek konieczny i wystarczający - własność Baire'a

Post autor: malwinka1058 » 15 wrz 2020, o 23:36

W jaki sposób uzasadnić powyższe sposoby przedstawienia zbioru A?

Jan Kraszewski
Administrator
Administrator
Posty: 26650
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4454 razy

Re: Warunek konieczny i wystarczający - własność Baire'a

Post autor: Jan Kraszewski » 15 wrz 2020, o 23:56

A z którym fragmentem masz problem?

JK

malwinka1058
Użytkownik
Użytkownik
Posty: 105
Rejestracja: 1 paź 2014, o 16:45
Płeć: Kobieta

Re: Warunek konieczny i wystarczający - własność Baire'a

Post autor: malwinka1058 » 16 wrz 2020, o 00:04

\(\displaystyle{ A = \Big( \underbrace{G \setminus \bigcup_{i=1}^{\infty} \overline{N_i}}_{G_{\delta}} \Big) \cup \underbrace{\left( \bigcup_{i=1}^{\infty} (\overline{N_i} \cap G) \setminus P \right) \cup (P \setminus G)}_{\text{I kat.}}}\)

Jan Kraszewski
Administrator
Administrator
Posty: 26650
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4454 razy

Re: Warunek konieczny i wystarczający - własność Baire'a

Post autor: Jan Kraszewski » 16 wrz 2020, o 00:25

OK, a na czym ten problem polega?

JK

Awatar użytkownika
Dasio11
Moderator
Moderator
Posty: 9226
Rejestracja: 21 kwie 2009, o 19:04
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 37 razy
Pomógł: 1999 razy

Re: Warunek konieczny i wystarczający - własność Baire'a

Post autor: Dasio11 » 16 wrz 2020, o 08:25

Sprawdzenie jest na poziomie WDM-u, ale teraz przyszło mi do głowy, jak prościej zapisać dowód pierwszej implikacji. Przy tych samych oznaczeniach definiujemy \(\displaystyle{ Q = \bigcup_{i=1}^{\infty} \overline{N_i}}\) i zauważamy, że jest to zbiór pierwszej kategorii (bo każdy \(\displaystyle{ \overline{N_i}}\) jest z założenia nigdziegęsty). Zbiór \(\displaystyle{ G \setminus Q}\) jest \(\displaystyle{ G_{\delta}}\) i łatwo widać, że \(\displaystyle{ G \setminus Q \subseteq A \subseteq G \cup P}\). Istnieje zatem zbiór \(\displaystyle{ R \subseteq P \cup Q}\), taki że \(\displaystyle{ A = (G \setminus Q) \cup R}\), i to jest szukane przedstawienie.

W poprzednim poście chyba niepotrzebnie skupiłem się na wyliczeniu jawnej postaci \(\displaystyle{ R}\) i stąd te skomplikowane wzory.

malwinka1058
Użytkownik
Użytkownik
Posty: 105
Rejestracja: 1 paź 2014, o 16:45
Płeć: Kobieta

Re: Warunek konieczny i wystarczający - własność Baire'a

Post autor: malwinka1058 » 16 wrz 2020, o 11:03


\(\displaystyle{ A = \Big( \underbrace{\bigcup_{n=1}^{\infty} \operatorname{int} F_n}_{\text{otwarty}} \cup \underbrace{\bigcup_{n=1}^{\infty} (F_n \setminus \operatorname{int} F_n)}_{\text{I kat.}} \Big) \setminus P}\)

i już nietrudno dojść do żądanej postaci.
w jaki sposób?

Jan Kraszewski
Administrator
Administrator
Posty: 26650
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4454 razy

Re: Warunek konieczny i wystarczający - własność Baire'a

Post autor: Jan Kraszewski » 16 wrz 2020, o 13:09

malwinka1058 pisze:
16 wrz 2020, o 11:03
w jaki sposób?
A spróbowałaś poprzekształcać? Bo wydaje się, że masz problemy z przekształceniami zbiorów na poziomie WdM.

JK

ODPOWIEDZ