Informatyka UJ forum

exeman

Czym sie rozni funkcja czesciowa od poprostu funkcji? Zauwazylem taki twor w notatakach.

oinopion

Funkcja częściowa, to taka relacja, która nie spełnmia pierwszego warunku, tzn. niekoniecznie dla każdego x istanieje f(x).

Czyli może być taka poszatkowana i jej wykres nie bedzie ciągły.

exeman

Dzieki oinopion, btw. fajny avatar :D

Kolejne moje pytania:

1. co to oznacza Z(alfa). wiem z notatek, ze Z(alfa) = {beta: beta<alfa}, czyli mam to traktowac, ze Z(alfa), to zbior liczb porzadkowych mniejszych od niej? W zadaniu znow mam rozumowanie, ze jest to zbior wszystkich odcinkow poczatkowych zbioru uporzadkowanego w typ alfa. Jak to mam interpretowac? :/

2. jak udowodnic pytanie 60 z listy na stronie zaionca. - "udowodnij, ze relacja <= na liczbach porzadkowych jest spojna"

pawell

Skrobocik

Saddam

Skrobocik napisz które miałeś pytania na ustnym.
Wie ktoś może jak udowodnić istnienie łańcucha i antyłańcucha maksymalnego :?:

muciu

Hmmm... ksoro łańcuch/antyłąńcuch maksymalny to chyba ze względu na inkluzję (tak mi sie wydaje)... ale skoro tak, to konstruujemy zbior H={x elem. P(X) : x - jest łańcuchem} - porządkujemy ten zbiór inkluzją, następnie bierzemy dowolny L - element H (czyli łańcuch) i sprawdzamy czy ma majorantę... ( ale takowa istnieje gdyż wystarczy wziąść UL i dowieść że UL należy do H), czyli mamy: że każdy łąńcuch ma majoratnę, ale z kuratowskiego zorna otrzymujemy że istnije w H element maksymalny :). Analogicznie dla antyłańcuchów.
To jest moja propozycja rozwiazania tego zadania, ale nie jestem pewien czy to rozumowanie jest poprawne i czy da sie to udowodnić moze bez uzycia lematu kuratowskiego zorna;)
Wszelkie uwagi mile widzane ... bo lepiej przeczytac na forum ze rozumowanie jest złe, niż usłyszeć to od prof. Zaionca

muciu

oinopion

AMD · pijak Dołączył: 05 Mar 2006 Posty: 161 Przeczytał: 0 tematów

Mam prośbę.Czy mógłby ktoś wytłumaczyć mi pytanie 30.Chodzi mi tylko o dowód że [b(x)]r=x

Skrobocik

exeman

czyli jak jednego sie nie odpowie to od razu klapa? ja slyszalem, ze jakos 3 daje pytania :/ to musze wszystkie idelanie odpowiedziec, zeby zdac?

muciu

Skrobocik

exeman

Bede szlaenie wdzieczny, jesli wytlumaczy mi ktos dowod prawa trichotomii na liczbach porzadkowych :/ Przesluchalem wyklad, przeczytalem notatki i nic z tego nie rozumiem.

AMD · pijak Dołączył: 05 Mar 2006 Posty: 161 Przeczytał: 0 tematów

a ja prosze o w miare zrozumiały dowód na 2^N~R

exeman

Albo ja jestem jakis tepy, albo dr. Zaionc cos zamieszal w dowodzie :P Jak mamy dowod tw. 31, to jak bierzemy delta nalezace do Z0, to przeciez niekoniecznie delta nalezy do Z(alfa0), bo przeciez moze byc alfa0 gdzies w srodku Z0, a delta np. "o jeden" wyzej, albo nawet tym samym co alfa0, wtedy nie nalezy :/

klakier · pijak Dołączył: 08 Mar 2006 Posty: 81 Przeczytał: 0 tematów

AMD · pijak Dołączył: 05 Mar 2006 Posty: 161 Przeczytał: 0 tematów

Własnie o ten dowód mi chodzi a dokładnie o to czemu ten 1 zbiór jest równoliczny z (0,1)
//domyslam się że chodzi o to ze z tego zbioru potrafimy stworzyć wszystkie liczby rzeczyywiste z tego przedziału tak jak bysmy mieli wszystkie ciągi binarne które przedstawiają liczby z (0,1)
ale nie jestem pewien czy o to chodzi

AMD · pijak Dołączył: 05 Mar 2006 Posty: 161 Przeczytał: 0 tematów

a przy okazjii ma ktoś dowód na pytanie 17 w <= strone

AMD · pijak Dołączył: 05 Mar 2006 Posty: 161 Przeczytał: 0 tematów

AMD · pijak Dołączył: 05 Mar 2006 Posty: 161 Przeczytał: 0 tematów

może ktoś powiedzieć coś o 54 zadaniu(chodzi mi o notatki skrobocika)
dlaczego w ostatniej linijce podstawiamy pod x - x0i dlaczego
{y:y<x0}nal.Z daje nam to że x0 nal.Z

exeman

ta ostatnia linia to skozystanie z twierdzenia o indukcji w zbiorze skonczonym. bylo to na ostatnim wykladzie, jest w skrypcie.

AMD · pijak Dołączył: 05 Mar 2006 Posty: 161 Przeczytał: 0 tematów

co znaczy Z(alfa) nczy niby definicja mówii że jest to {beta:beta<alfa}ale skąd wz ta bete

exeman

ajajajaj! jest to zbior liczb porzadkowych mniejszych od alfa, a mozesz sobie to oznaczyc jako @, gamme, czy cokolwiek.