🚀 go-pugleaf

Użytkownik "Mateusz Grotek" <unoduetre@poczta.onet.pl> napisał w wiadomości 
news:h3k77e$d69$1@news.onet.pl...
> Hejka. Postanowiłem założyć nowy wątek, bo tamten dotyczył troszkę
> czegoś innego. Czyli co, chcesz stworzyć translację teorii mnogości na
> geometrię? Pomysł ciekawy, ale pojawi się problem. Geometria w
>

W poprzednim watku chyba nie uzgodnilismy co rozumiemy przez topologie: ja 
mam na mysli geometrie w ktorej niezmiennikiem jest odwzorownie ciągłe. Stad 
moze tak cie zaskoczylo, ze teorie mnogosci nazwalem geometria: nie wiem czy 
nie pojde zbyt daleko, ale TM nazwalbym geometria w ktorej niezmiennikiem są 
odwozrowania równoliczne. Inaczej mowiac dwa zbiory rownoliczne sa dla TM 
tym samym (z dokladnoscią do tego odwzorowania), tak samo jak dwie 
przestrzenie topolog., ktore mozna przeksztalcic na siebie w sposob ciągly 
są tym samym z dokladnoscia do tegoz odwozrownia. W przypadku np. 
przestrzeni metrycznych nie wystarczy sama ciaglosc - trzeba jeszcze 
izometriii zachowujacej odleglosci miedzy odpowiadajacymi sobie.

Jak widzisz powstaje naturalny ciąg geometrii
Topologia zawiera Geom. Metryczna zawiera Geometrie rozniczkowa (i kupe 
innych)
Na poczatku tego ciagu jest topologia, ale moim zdaniem (i nie tylko bo 
zapewniam cie ze matematycy tez tak mysla  patrz. - teoria kategorii) na 
poczatku jest teoria mnogosci i ona zawiera topologie i wszystkie inne 
geometrie, gdyz jest najprostsza i wlasciwie niczego od niezmiennika tej 
"geometrii" sie nie wymaga poza rownolicznoscią.

To tyle bo na Tarskim sie nie znam ;)