Teoria mnogo艣ci, zadanie nr 4394
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
geometria post贸w: 865 |  2016-03-16 13:16:10Za艂贸zmy, ze A, B, C i D sa niepustymi zbiorami. a) Pokaz, ze jesli A$\times$B=C$\times$D, to A=C i B=D. b) Czy z tego, ze (A$\times$B)$\cap$(C$\times$D) =$\emptyset$ wynika, ze A $\cap$ C = $\emptyset$ i B $\cap$ D =$\emptyset$ ? c) Czy z tego, ze (A $\times$B) $\subseteq$(C $\times$ D) wynika, ze A $\subseteq$ C i B $\subseteq$ D? Czy zalozenie niepustosci jest potrzebne? a) Niech A={$a_{1},a_{2},a_{3},...,a_{n}$} B={$b_{1},b_{2},b_{3},...,b_{m}$} C={$c_{1},c_{2},c_{3},...,c_{p}$} D={$d_{1},d_{2},d_{3},...,d_{r}$}. Mamy: A$\times$B={<$a_{1},b_{1}$>, <$a_{1},b_{2}$>, ..., <$a_{n},b_{m}$>} C$\times$D={<$c_{1},d_{1}$>, <$c_{1},d_{2}$>, ..., <$c_{p},d_{r}$>} Dwa zbiory sa rowne jesli maja te same elementy. Zatem <$a_{1},b_{1}$>=<$c_{1},d_{1}$> <$a_{1},b_{2}$>=<$c_{1},d_{2}$> . . <$a_{n},b_{m}$>=<$c_{p},d_{r}$> Para uporzadkowana jest rowna gdy odpowiednie wspolrzedne ma rowne. Zatem $a_{1}=c_{1}$ i $b_{1}=d_{1}$ . . $a_{n}=c_{p}$ i $b_{m}=d_{r}$ Zatem el. zbioru A sa takie same jak el. zb. C oraz el. zb. B sa takie same jak el. zb. D. Stad A=C i B=D. b) (A$\times$B)$\cap$(C$\times$D) =(A$\cap$C)$\times$(B$\cap$D) Nie wynika, bo zeby (A$\times$B)$\cap$(C$\times$D) byl pusty wystarczy aby jeden ze zbiorow A$\cap$C, B$\cap$D byl pusty. (nie musza byc jednoczesnie puste, ale moga). ---------------- d-d nie wprost Zal. ze A$\cap$C$\neq$$\emptyset$ lub B$\cap$D$\neq$$\emptyset$. Zatem zbiory A, B, C, D sa niepuste. Wiec A$\times$B$\neq$$\emptyset$ i C$\times$D$\neq$$\emptyset$. nie ma sprzecznosci, bo z tego ze zbiory sa niepuste nie wynika, ze ich iloczyn jest niepusty.(czyli nie doprowadzilo to do udowodnienia) c) Ustalmy dowolnego x$\in$A i dowolnego y$\in$B oraz niech $<$x,y$>$ bedzie dowolna uporzadkowana para. Zatem z zalozenia mamy, ze jesli $<$x,y$>$$\in$A$\times$B, to $<$x,y$>$$\in$C$\times$D Wiec x$\in$A to x$\in$C oraz y$\in$B to y$\in$D. Czyli A$\subseteq$C i B$\subseteq$D. Poprawne rozumowania? |
tumor post贸w: 8070 | 2016-03-16 13:54:49 a) Za艂o偶enie niepusto艣ci jest tu potrzebne. Na przyk艂ad niech $A=D=\emptyset$ oraz $B=C\neq \emptyset$. W贸wczas $A\times B=C\times D$, a jednak nie jest prawd膮, 偶e $A=C$. W dowodzie masz niedok艂adno艣ci. Pierwsza polega na za艂o偶eniu, 偶e skoro zbiory s膮 r贸wne, to pierwszy element jest r贸wny pierwszemu. Na przyk艂ad, 偶e $a_1=c_1$. A sk膮d wiesz, 偶e nie jest $a_1=c_3$ i $c_1=a_3$? :) R贸wno艣ci zbior贸w to nie zaprzeczy. Samodzielnie uporz膮dkowa艂e艣 zbiory, mi臋dzy innymi A i C, ale nie wiadomo, dlaczego, je艣li nawet zbiory te s膮 r贸wne, to i porz膮dki na nich maj膮 by膰 r贸wne. Dla n element贸w istnieje n! porz膮dk贸w liniowych (ka偶da permutacja). Druga niedok艂adno艣膰 polega na wprowadzeniu za艂o偶enia, 偶e zbiory s膮 sko艅czone. W zadaniu widz臋, 偶e s膮 niepuste. Sk膮d pomys艂, 偶e s膮 sko艅czone? To do艣膰 znacz膮co obcina zakres stosowania twierdzenia. Raczej si臋 musisz nauczy膰 operowania na zbiorach niesko艅czonych. b) Argumentacja w wi臋kszo艣ci ok. Uwag臋 mam do linii \"zatem zbiory A,B,C,D s膮 niepuste\". S膮, bo tak masz w za艂o偶eniu zadania. Nie wynika to jednak z linii wcze艣niej, bo linia wcze艣niej jest alternatyw膮 i wiesz tylko, 偶e A,C niepuste lub B,D niepuste, ale nie masz na tej podstawie pewno艣ci, 偶e wszystkie cztery niepuste. c)ok |
geometria post贸w: 865 | 2016-03-19 15:03:35 To jakby wygladal dowod dla a)? |
tumor post贸w: 8070 | 2016-03-19 17:22:15 Najkr贸cej nie wprost. Przyjmujemy, 偶e na przyk艂ad $A\backslash C \neq 0$ (bo z uwagi na symetri臋 niewa偶ne, kt贸re dwa zbiory nie b臋d膮 r贸wne i kt贸re r贸偶nice b臋d膮 niepuste, wystarczy, 偶e jedna). Zatem $x\in A\backslash C$, natomiast $B,C,D$ niepuste. Niech $y\in B$. Na pewno $<x,y> \in A\times B$, na pewno $<x,y>\notin C\times D$ Wiadomo艣膰 by艂a modyfikowana 2016-03-19 17:22:30 przez tumor |
| strony: 1 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj