Dyskusja wikipedysty:Wieczyk

Z Wikipedii

Cześć,

Cieszę się, że pojawił się ktoś ze znajomością matematyki, bo o specjalistów niestety trudno. Pozdrawiam i zapraszam do wikiprojektu.
Olaf @ 00:30, 9 kwi 2008 (CEST)

[edytuj] zupełność porządków

Hej, pozdrawiam i donoszę że:

W Dyskusja:Porządek zupełny napisałem:

W teorii mnogości a także w analizie porządek zupełny to porządek liniowy w którym każdy zbiór ograniczony ma odpowiedni kres.

Można oczywiście pojęcie to rozszerzać na dowolne posety, ale wtedy występuje spora wariacja terminów - nie będę się kłocił co do tego który jest słuszny, pozwolę sobie tylko zwrócić uwagę, że aktualna definicja terminu jest wątpliwa, gdyż nie zgadza się z powyższą dla porządków liniowych z elementem najmniejszym (nie ma postulatu ograniczenia z góry :-))

W Dyskusja:Porządek ciągły napisałem

Definicja porządku ciągłego jest podana za cytowanym źródłem. Jak napisałem w haśle, istnieje wiele wariantów użycia tego terminu. Jak napisałem gdzie indziej, w teorii mnogości porządek zupełny to porządek liniowy z kresami czyli to co tu (i u Guzickiego/Zakrzewskiego) nazywa się porządkiem ciągłym, ale znowu zupełność jest używana w wielu znaczeniach.

Best, Andrzej (Stotr (dyskusja) 03:58, 9 kwi 2008 (CEST))

[edytuj] Zupełność raz jeszcze

Hej, wiesz, tak chodzi mi po głowie ta zupełność porządków i tak sobie myślę że może powinniśmy to hasło zrobić w sposób następujący.

• W opisie ogólnym powiedzieć iż zupełność to własność postulująca istnienie kresów, ale że istnieją różnice techniczne w użyciu terminu w różnych kontekstach, a potem
• zrobić sekcję o zupełności porządków liniowych (tzn en:Dedekind complete - ale to hasło tam nie jest wcale zrobione...) z uwagą że wraz gęstością to może być nazywane ciągłością (postaram się znależć dokładny cytat u Dedekinda samego), oraz
• zrobić sekcję o kratach zupełnych (btw: może byś mógł napisać Krata zupełna też ???? Wtedy ta sekcja o kratach dawałaby tylko definicje i odsyłacz do artykułu głównego), oraz
• zrobić sekcję o zupełności ogólnych porządków częściowych (różne warianty).

Przy każdej z sekcji należałoby podać odnośnik do jakiegoś podręcznika w języku polskim który używa odpowiedniego znaczenia terminu. Co myślisz o takim planie? Miałbyś ochotę/czas coś takiego zrobić? (Bo wiesz, mnie to w ogóle tutaj nie ma....) Best, Andrzej (Stotr (dyskusja) 17:44, 9 kwi 2008 (CEST))

Hej: Zrobiłem to sam. Albo raczej "wystartowałem" te zmiany. Jak chcesz i masz ochotę/czas to możesz tam rzucić okiem i ewentualnie coś dodać. Aha, konsultowałem też z innym teoriomnogościowcem i on też uważa że posetowe użycie zupełności nie jest "głównym" czy nawet "istotnym" i że "porządek zupełny" częściej rozumie się jako "liniowy porządek zupełny". Więc utrzymanie tych trzech różnych (choć nie aż tak bardzo różnych) definicji jest konieczne. Aha, możesz też popatrzeć na Porządek ciągły i sprawdzić czy ciągle jeszcze masz masz zastrzeżenia. Best, Andrzej (Stotr (dyskusja) 05:26, 10 kwi 2008 (CEST))

Fajnie, że zmieniając tamego linka udało mi się zwrócić uwagę na te strony i ktoś je rozbudował z większą wiedzą (ja jestem studentem dopiero). Natomiast co do porządków zupełnych to ja się z ich wykorzystaniem spotykam w informatyce przy punktach stałych (jest twierdzenie Kleena o najmniejszym punkcie stałym - postaram się je również dodać), wykorzystuje je się je np w semantyce denotacyjnej przy określaniu funkcji rekurencyjnych ( na porządku zupełnym funkcji częściowych, które nie są liniowe ).

Oczywiście że dobrze wyszło - tutaj zwykle tak się dzieje... Ale nie spoczywaj na laurach tylko pomyśl o dalszym rozbudowaniu tego hasła i haseł pokrewnych :-) A tak poważniej:

(a) Tutaj panuje taki zwyczaj że odpowiadamy na stronie dyskusji osoby do której piszemy. Zwyczaj taki już jest od dawna (i nawet jeśli są argumenty aby postępować inaczej, to zwyczaju lokalnego trzeba przestrzegać)

(b) hasło o tw Kleena jest jak najbardziej pożądane. Całą teorię rekursji trzeba by tak na dobrą sprawę uporządkować/rozbudować/etc. Jeśl więc masz na to ochotę na tę pracę, to powodzenia - przyszłe generacje będą Ci wdzięczne etc etc etc. Postaraj się tylko (jeśli to możliwe) wyszukać najpierw parę polskojęzycznych podręczników/źródeł aby upewnić się jaka terminologia jest używana.  

(c) Widzę n aTwojej stronie że studiujesz na UWr (moja Alma Mater). A mogę zapytać co? Matematykę czy informatykę? Best, Andrzej (Stotr (dyskusja) 16:49, 14 kwi 2008 (CEST))