Matematyka dyskretna, zadanie nr 4503
ostatnie wiadomości | regulamin | latex
Autor | Zadanie / Rozwiązanie |
geometria postów: 865 | 2016-04-27 16:54:18 Rozpatrujemy zbior $R\times R$ czesciowo uporzadkowany przez relacje: $<$x,y$>$$\le$ $<$u,v$> $$\iff$ $x\le u \wedge y\le v$. Zaznaczyc w ukladzie wspolrzednych Oxy zbior tych par, ktore sa porownywalne z para $<$1,3$>$ i nie sa porownywalne z para $<$3,1$>$. Z tymi elementami porownywalnymi to nie do konca sobie radze. Jak odczytac te relacje? Czy za x moge podstawic 1 a za y 3 do tej relacji czy mam to podstwaic za u i v? |
tumor postów: 8070 | 2016-04-27 17:04:15 Mamy relację "mniejszy lub równy". Elementy są porównywalne, gdy można powiedzieć, że jeden z nich jest mniejszy lub równy od drugiego. Oczywiście zwyczajnie w R każde dwie liczby są porównywalne. Natomiast wyobraź sobie, że masz zwierzątka, zwierzątka mają wzrost i masę. Jeśli jedno zwierzę ma większy wzrost i większą masę niż drugie, to jest większe. Cóż jednak powiemy, gdy ma większy wzrost, ale mniejszą masę albo na odwrót? Wtedy sytuacja jest niejasna - takich zwierząt nie mamy jak porównać (chyba że wybierzemy, że np masa się dla nas bardziej liczy). No i o to chodzi w tej relacji wyżej. Jeśli mamy $a\le x$ oraz $b \le y$, to (a,b) i (x,y) są porównywalne. Żeby (x,y) było porównywalne z (1,3), musi być $x\le 1 \wedge y\le 3$ lub $1\le x \wedge 3 \le y$. Żeby (x,y) nie było porównywalne z (3,1) to musi być $x>3 \wedge y<1$ lub $x<3 \wedge y>1$. Porównywalność oznacza, że zachodzi jeden z wariantów $(1,3)\le (x,y)$ lub $(x,y)\le (1,3)$, oba sprawdzamy. |
geometria postów: 865 | 2016-04-28 19:09:10 Dla takiej samej relacji jak powyzej mamy: A={$<$x,y$>$: x=$y^{2}$} a) wskazac 3 elementy minimalne w zbiorze A wzgledem czesciowego porzadku $\le$ b)wskazac 3-elementowy lancuch elementow w zbiorze A wzgledem czesciowego porzadku $\le$ |
tumor postów: 8070 | 2016-04-28 20:31:34 Czyli w zbiorze A są punkty $(y^2,y)$ a) Element minimalny $(a^2,a)$ to taki, że nie ma mniejszego, czyli nie ma $y\neq a$ takiego, że $(y^2,y)\le (a^2,a)$ Zatem nie ma $y$ takiego, że $y^2\le a^2 \wedge y< a $. Wystarczy zatem, żeby $a$ było ujemne. Jeśli wtedy $y<a$, to $y^2>a^2$, czyli nie znajdziemy pary $(y^2,y)$ mniejszej od $(a^2,a)$ b) $(1,1),\le (4,2)\le (6,25;2,5) \le (121,11)$ Wiadomość była modyfikowana 2016-04-28 20:32:36 przez tumor |
geometria postów: 865 | 2016-04-29 09:45:54 Wyznacz kres gorny zbioru $B=${$<$x,y$>$: $x^{2}+y^{2}=1$} Para (c,d) bedzie kresem gornym zbioru B, gdy wszystkie pary (x,y) nalezace do tego zbioru B beda w relacji z para (c,d), czyli (x,y)$\le$(c,d) i dalej z okreslenia relacji mamy: x$\le$c $\wedge$y$\le$d. Ale nie wiem jak wyznaczyc ta pare. ( i te elementy minimalne wczesniej rowniez) |
tumor postów: 8070 | 2016-04-29 10:57:15 Kres górny to najmniejsze ograniczenie górne. (możesz zatem zrobić C - zbiór wszystkich ograniczeń górnych zbioru B, a potem znaleźć element najmniejszy w C) Ograniczeniem górnym jest na przykład $(2,3)$, bo jeśli $x^2+y^2=1$, to na pewno $x\le 2$ i $y\le 3$. Najmniejszym ograniczeniem górnym dla całego zbioru B będzie (1,1). Jest to oczywiście ograniczenie górne, bo jeśli $(x,y)\in B$, to $x\le 1, y\le 1$, czyli $(x,y)\le (1,1)$. Jest to też ograniczenie najmniejsze. Jeśli bowiem weźmiemy (a,b) będące ograniczeniem górnym dla zbioru B, to musi być $1\le a$ (bo punkt (1,0) należy do B, czyli $x=1\le a$), $1\le b$ (bo punkt (0,1) należy do B, czyli $y=1\le b$), czyli $(1,1)\le (a,b)$. |
geometria postów: 865 | 2016-04-29 18:18:00 Czyli te wszystkie pary, ktore sa ograniczeniami gornymi (badz dolnymi) musza byc w relacji z para (x,y) w taki sposob w jaki jest ona zdefiniowana. |
geometria postów: 865 | 2016-04-29 21:17:05 Ale nie musza one nalezec do tego zbioru, ktory chcemy ograniczac. |
tumor postów: 8070 | 2016-05-02 13:31:22 Zgadza się. Kres górny to ograniczenie górne (czyli ma być większe lub równe od każdego elementu zbioru, przy tym nie musi do tego zbioru należeć), a przy tym ograniczenie najmniejsze (czyli od pozostałych ograniczeń mniejsze lub równe). |
geometria postów: 865 | 2016-05-02 14:39:30 Wroce jeszcze do wyznaczania elementow minimalnych (w ogole elementow wyroznionych), bo chce to dobrze zrozumiec. W tym zbiorze A={(x,y): $x=y^{2}$} elementy minimalne sa postaci ($a^{2}, a$), gdzie a<0, czyli np. (1,-1), (4,-2), (9,-3), (16,-4), ($\frac{1}{4}$,$-$$\frac{1}{2}$), (2,$-\sqrt{2}$) itd. Chce przesledzic jeszcze raz ich wyznaczanie. Definicja elementu minimalnego: $\neg(\exists_{x}\in X)$x<a. Ponadto $x<a \iff x\le a \wedge x\neq a$ W zbiorze $R^{2}$ definicja ta przyjmuje postac: $\neg(\exists_{(x,y)}\in R^{2})$(x,y)<(a,b) Ponadto (x,y)<(a,b)$\iff (x,y)\le (a,b) \wedge (x,y)\neq (a,b)$ $(x,y)\neq (a,b)$$\iff x\neq a \vee y\neq b$ W naszym przypadku mamy punkty postaci ($y^{2},y$), wowczas element minimalny ma postac ($a^{2},a$). Zatem definicja wyglada tak: $\neg(\exists_{(y^{2},y)}\in R^{2})$($(y^{2},y)<(a^{2},a)$) $\iff$ $\neg(\exists_{(y^{2},y)}\in R^{2})$($(y^{2},y)\le (a^{2},a) \wedge (y^{2},y)\neq (a^{2},a)$) (czyli $y\neq a$) $(y^{2},y)\le (a^{2},a)$ i z okreslenia tej relacji $\le$ mamy: $y^{2}\le a^{2} \wedge y<a$ (bo $y\neq a$) I teraz definicja nam mowi, ze nie istnieje taka para $(y^{2},y)$, ktora jest mniejsza (rozumiem, ze miejsza w sensie relacji $\le$) od pary $(a^{2},a)$. No i jak a<0 to koniunkcja $y^{2}\le a^{2} \wedge y<a$ nie jest spelniona, bo $y^{2}\ge a^{2}$. Wowczas definicja elementu minimalnego jest spelniona, bo nie bedzie takiej pary $(y^{2},y)$ i wowczas elementy minimalne maja postac $(a^{2},a)$. Ale jak zauwazyc, ze ma to byc a<0? Czy te rozumowania sa poprawne i praktyczne przy wyznaczaniu tych elementow wyroznionych. |
strony: 1 23 |
Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj