Zbiór analityczny

Zbiory analityczne – podzbiory przestrzeni polskiej, które są ciągłymi obrazami zbiorów borelowskich. Dopełnienia zbiorów analitycznych to zbiory koanalityczne.

Zbiory analityczne były wprowadzone w 1917 przez rosyjskiego matematyka Michaiła Suslina.

Zbiory analityczne w przestrzeniach polskich

Niech ${\mathcal {N}}$ oznacza przestrzeń Baire’a (jest to przestrzeń homeomorficzna z przestrzenią liczb niewymiernych). Dla przestrzeni polskiej $X$ definiujemy klasy $\Sigma _{1}^{1}(X)$ i $\Pi _{1}^{1}(X)$ następująco:

• $\Sigma _{1}^{1}(X)$ jest rodziną tych wszystkich podzbiorów $A$ przestrzeni $X,$ że dla pewnego zbioru borelowskiego $B\subseteq X\times {\mathcal {N}}$ mamy $A=\{x\in X:(\exists r\in {\mathcal {N}})((x,r)\in B)\},$
• $\Pi _{1}^{1}(X)$ jest rodziną tych podzbiorów $A$ przestrzeni $X,$ że $X\setminus A\in \Sigma _{1}^{1}(X).$

Jeśli wiadomo w jakiej przestrzeni polskiej pracujemy (albo jeśli nie jest to istotne), to piszemy $\Sigma _{1}^{1},\Pi _{1}^{1}$ (zamiast $\Sigma _{1}^{1}(X),\Pi _{1}^{1}(X)$).

Zbiory należące do klasy $\Sigma _{1}^{1}(X)$ nazywane są analitycznymi podzbiorami przestrzeni $X$, a zbiory z klasy $\Pi _{1}^{1}(X)$ są nazywane koanalitycznymi podzbiorami przestrzeni $X$. Głównie w starszych podręcznikach topologii i teorii mnogości rodzinę zbiorów analitycznych oznacza się przez A, a klasę zbiorów koanalitycznych oznacza się przez CA.

Przykłady

• Każdy borelowski podzbiór przestrzeni polskiej jest analityczny i koanalityczny.
• Dla ciągu$x\in 2^{\mathbb {N} }$ niech $R_{x}=\{(n,m)\in \mathbb {N} \times \mathbb {N} :x(2^{n}\cdot (2m+1))=1\}.$ Tak więc, dla każdego $x\in 2^{\mathbb {N} },$ zbiór $R_{x}$ jest relacją dwuargumentową na zbiorze liczb naturalnych $\mathbb {N} .$ Rozważmy zbiór

$\mathbf {WO} =\{x\in 2^{\mathbb {N} }:R_{x}$ jest dobrym porządkiem na $\mathbb {N} \}.$

Wówczas $\mathbf {WO}$ jest zbiorem koanalitycznym który nie jest borelowski. (A więc jego dopełnienie $2^{\mathbb {N} }\setminus \mathbf {WO}$ jest przykładem zbioru analitycznego który nie jest borelowski).

Własności

• Jeśli $Y$ jest przestrzenią polską, $f:X\longrightarrow Y$ jest funkcją ciągłą oraz $A\in \Sigma _{1}^{1}(X),$ to $f(A)\in \Sigma _{1}^{1}(Y).$ W szczególności, każdy ciągły obraz zbioru borelowskiego jest analityczny.
• Przeliczalne sumy i przekroje zbiorów analitycznych (koanalitycznych, odpowiednio) są analityczne (koanalityczne, odpowiednio).
• Nieskończony zbiór analityczny jest albo przeliczalny albo mocy continuum, nawet bez założenia hipotezy continuum. Co więcej, każdy nieprzeliczalny zbiór analityczny zawiera zbiór doskonały.
• Przy założeniu aksjomatu konstruowalności, istnieje nieprzeliczalny koanalityczny podzbiór prostej który nie zawiera żadnego podzbioru doskonałego.
• Jeśli $A,B$ są rozłącznymi podzbiorami analitycznymi przestrzeni polskiej $X,$ to można znaleźć taki zbiór borelowski $C\subseteq X,$ że $A\subseteq C$ oraz $C\cap B=\emptyset .$ W szczególności, jedynymi zbiorami które są jednocześnie analityczne i koanalityczne są zbiory borelowskie.
• Wszystkie zbiory z $\Sigma _{1}^{1}\cup \Pi _{1}^{1}$ mają własność Baire’a.
• Wszystkie zbiory z $\Sigma _{1}^{1}(\mathbb {R} )\cup \Pi _{1}^{1}(\mathbb {R} )$ są mierzalne w sensie miary Lebesgue’a.
• Jeśli istnieje liczba mierzalna, to wszystkie gry nieskończone na zbiory z $\Sigma _{1}^{1}({\mathcal {N}})$ są zdeterminowane.
• Przypuśćmy, że $X,Y$ są przestrzeniami polskimi i $A\subseteq X\times Y$ jest zbiorem koanalitycznym. Wówczas można znaleźć zbiór koanalityczny $B\subseteq A$ który jest wykresem funkcji o dziedzinie $\{x\in X:(\exists y\in Y)((x,y)\in A)\}.$

Powyższe twierdzenie przy założeniu że $A$ jest zbiorem borelowskim było udowodnione przez polskiego matematyka Wacława Sierpińskiego, a w sformułowaniu przedstawionym powyżej udowodnił je Motokiti Kondo.

Zobacz też

• opisowa teoria mnogości
• teoria mnogości
• zbiór borelowski
• zbiór rzutowy