emat
-
W1
-
Relacja preferencji (przechodnia i zupełna)
-
Relacja jest zupełna iff jest zwrotna i spójna ( x>=y lub y>=x lub x=y dla każdej pary x i y)
-
Relacja ścisłej preferencji
-
Relacja indyferencji ( jest relacją równoważności)
-
Relacja liniowo porządkująca (zwrotna, antysymetryczna, przechodnia i spójna)
-
Funkcja reprezentująca relację preferencji
-
Relacja preferencji na produkcie
-
Topologia
-
Baza topologii
-
-
W2
-
Topologia produktowa
-
Domknięcie i wnętrze zbioru
-
Przestrzeń Hausdorffa
-
Rodzina scentrowana
-
Przestrzeń indukowana, zbiór domknięty w przestrzeni indukowanej
-
Tw. Zbiór A w przestrzeni Hausdorffa X jest zwarty iff każda rodzina scentrowana zbiorów domkniętych w A ma niepusty przekrój
-
W przestrzeni Hausdorffa każdy zbiór zwarty jest domknięty
-
Ciągła relacja preferencji
-
Tw. Warunki równoważne dla ciągłości relacji preferencji
-
Operacje na relacjach: odwracanie i składanie
-
-
W3
-
Tw. Jeżeli f:X->R jest ciągła, to relacja zdef. x>=y iff f(x)>=f(y) jest ciągła
-
Odległość punktu od zbioru
-
Metryka Hausdorffa (tylko dla zbiorów domkniętych i ograniczonych) d_H(A,B)=max{sup d(b,A); sup d(a,B)}
-
Relacja półciągła z góry i z dołu
-
Element optymalny zbioru A względem relacji
-
-
W4
-
Niech >= będzie ciągłą rel. Preferencji w prz.top. X. Jeśli niepusty podzbiór A jest zwarty to w A istnieje el. Optymalny. Ponadto elementy optymalne w A tworzą zbiór domknięty
-
Zbiór wypukły w przestrzeni liniowej
-
Wypukła i ściśle wypukła relacja preferencji
-
Relacja jest wypukła iff (dla każdego x є C) Mx = {y є C : y>=x} jest wypukły
-
Jeżeli x i y są optymalne, to x~y
-
Jeżeli >= jest wypukła w C, to zbiór el. Optymalnych jest wypukły. Jeśli relacja jest ściśle wypukła, to istnieje maksymalnie jeden element optymalny.
-
Jeżeli >= jest ciągła i ściśle wypukła w zwartym i wypukłym C, to istnieje dokładnie jeden element optymalny
-
Relacja częściowego porządku w R^l po współrzędnych; relacja monotoniczna i ściśle monotoniczna
-
-
W5
-
Relacja preferencji reprezentowana przez funkcję
-
Jeżeli f reprezentuje relację preferencji, to g○f, gdzie g:R->R jest rosnąca, też reprezentuje tę relację preferencji
-
Jeżeli f i g reprezentują tę samą relację, to istnieje rosnąca h, taka że g=h○f
-
Jeżeli >= jest ciągła oraz f jest suriekcją reprezentującą >=, to f jest ciągła.
-
Funkcja quasi-wklęsła
-
Niech >= będzie relacją reprezentowaną przez f w zbiorze wypukłym C. Wówczas >= jest (ściśle) wypukła iff f jest (ściśle) quasi-wklęsła
-
Jeżeli >= jest relacją preferencji w X, który jest co najwyżej przeliczalny, to >= ma funkcję reprezentującą
-