W zasadzie K(C) można bardzo naturalnie podzielić na te P które są
zawarte w
{0}xC i te które nie są. Oba te zbiory są otwarto-domknięte. Pierwszy z
nich jest w oczywisty i naturalny sposób homeomorficzny z K(C), zatem i
jego można podzielić, itd. Gorzej z drugim - on też jest homeomorficzny
z K(C), ale nie w tak *naturalny* sposób.

Robiąc takie podziały myślimy pewnie, że będziemy definiować miarę
zadając miarę na poszczególnych zbiorach z tego podziału. Pytanie tylko
na jakim sigma-ciele określimy tę miarę. Jeżeli nie zadbamy o to, żeby
zbiory z podziału tworzyły bazę topologii K(C), to nie jest chyba jasne
czy zdefiniujemy miarę borelowską (bądź czy da się ją rozszerzyć).

Pozdrawiam
Marcin

--
Marcin Kysiak
mkys...@poczta.onet.pl
There are 10 kinds of people -
those who understand binary notation and those who do not.