logowanie

matematyka » forum » forum zadaniowe - uczelnie wy縮ze » zadanie

Teoria mnogo艣ci, zadanie nr 4724

ostatnie wiadomo艣ci  |  regulamin  |  latex

AutorZadanie / Rozwi膮zanie

geometria
post贸w: 865
2016-06-17 19:51:46

Niech X oznacza zbior czesciowo uporzadkowany oraz niech $a\in X$.

a jest el. najwiekszym jesli ($\forall_{x\in X}$)$x\le a$, czyli x jest w relacji z a (x jest porownywalny z a)

a jest el. najmniejszym jesli ($\forall_{x\in X}$)$a\le x$, czyli a jest w relacji z x (a jest porownywalny z x)

a jest el. maksymalnym jesli ($\forall_{x\in X}$)($a\ge x \vee$ a i x sa nieporownywalne), czyli ($\forall_{x\in X}$)($x\le a \vee$ a i x sa nieporownywalne), czyli x jest w relacji z a lub a i x sa nieporownywalne

a jest el. minimalnym jesli ($\forall_{x\in X}$)($x\ge a \vee$ a i x sa nieporownywalne), czyli ($\forall_{x\in X}$)($a\le x \vee$ a i x sa nieporownywalne), czyli a jest w relacji z x lub a i x sa nieporownywalne

Czy to jest poprawne?




tumor
post贸w: 8070
2016-06-17 20:25:19

ok


geometria
post贸w: 865
2016-06-18 18:18:53

Jak $x\le y \vee y\le x$, to elementy sa porownywalne, czyli jak x jest w relacji z y lub jak y jest w relacji z x.

A czy na taki zapis mozna powiedziec tez, ze x jest porownywalny z y lub y jest porownywalny z x?

Jesli tak, to:

majac np. wyznaczyc pary (x,y) porownywalne z para (a,b), to wowczas wyznaczylbym tylko $(x,y)\le (a,b)$ natomiast $(a,b)\le (x,y)$ bym juz nie wyznaczal, bo to by oznaczalo, ze wyznacze pary, z ktorymi porownywalna jest para (a,b).


tumor
post贸w: 8070
2016-06-19 20:38:57

Elementy por贸wnywalne to takie, 偶e relacja (cz臋艣ciowego porz膮dku) zachodzi w co najmniej jedn膮 stron臋 (je艣li w obie, to x=y). Samo s艂owo \"por贸wnywalne\" nie m贸wi, w kt贸r膮 stron臋 zachodzi relacja.

W liczbach rzeczywistych naturalny porz膮dek $\le$ jest liniowy, wobec tego jeste艣 przyzwyczajony, 偶e ka偶de dwie liczby mo偶na por贸wna膰. Og贸lnie w relacjach to regu艂膮 nie jest. Je艣li relacja nie por贸wnuje dw贸ch element贸w, to s膮 one niepor贸wnywalne.

S艂owo \"por贸wnywalne\" rozumiemy po polsku. Te, kt贸re da si臋 por贸wna膰. Je艣li kto艣 pyta o elementy por贸wnywalne z x, to s膮 to zar贸wno te spe艂niaj膮ce $y\le x$, jak i te spe艂niaj膮ce $x \le y$. Tak samo dla par czy zbior贸w czy funkcji.

strony: 1

Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj

© 2019 Mariusz iwi駍ki      o serwisie | kontakt   drukuj