Formalny zapis w oparciu o lemat borela canteliego

maris21 · Post autor: **maris21** » 15 lut 2009, o 16:09

Jak formalnie w języku teorii mnogości w oparciu o jeden z lematów Borela Canteliego zapisać zdarzenia polegające na tym ze zaszły wszystkie oprócz skończonej ilości spośród zdarzeń \(\displaystyle{ A_{1} i A_{2}}\)?

gumisiak · Post autor: **gumisiak** » 15 lut 2009, o 23:40

"jak formalnie w teorii mnogości w oparciu o jeden z lematów Borela Canteliego" - hm.. nie rozumiem tego zdania. W teorii mnogości masz aksjomaty i tylko na nich możesz się opierać. Chyba chciałeś zapisać 'jak zapisać tezę lematu ... w oparciu o język teorii mnogości'.

A jak to zrobić? w Wikipedii wpisz sobie 'kwantyfikator' - wyskoczy Ci jak zapisać 'istnieje dokładnie jeden x dla którego coś zachodzi'. Uogólnij to sobie na istnieje dokładnie skończona ilość dla której coś zachodzi i zamień na 'istnieje dokładnie skończona ilość dla której coś nie zachodzi). Możesz tez chyba użyc oznaczenia \(\displaystyle{ \forall !}\) - ale ludzie różnie to definiują.