Teoria mnogo艣ci, zadanie nr 3574
ostatnie wiadomo艣ci | regulamin | latex
| Autor | Zadanie / Rozwi膮zanie |
tumor post贸w: 8070 | 2015-08-21 18:01:42Piszesz, 偶e $A \subseteq B$, mo偶e sprawd藕, czy na pewno tak jest. :) Rozumowanie poza tym jest ok. Dla zupe艂nej 艣cis艂o艣ci mo偶na doda膰 zbi贸r $D=\{<x,y>:x^2+y^2\le 9\}$ W贸wczas jest prawd膮 $C \subseteq A \subseteq D$ (bo to wsp贸艂艣rodkowe ko艂a o rosn膮cych promieniach) i wobec bijekcji $g:C \to D$ o wzorze $f(<x,y>)=<6x,6y>$ mamy $A \sim D$ natomiast podobnie 艂atwo zrobi膰 bijekcj臋 $h:D\to B$, bo to z kolei tylko translacja, wobec czego wyjdzie tak偶e $A\sim B$. W tej chwili zbi贸r A nieco wystaje poza B i cho膰 s膮 r贸wnoliczne, to 偶aden nie jest podzbiorem drugiego, wi臋c nale偶y by膰 ostro偶nym. |
geometria post贸w: 865 | 2015-08-21 18:29:40Przed napisaniem sprawdzalem czy odpowiednie zbiory sie w sobie zawieraja ale odrecznie i wydawalo mi sie, ze tak. Teraz narysowalem cyrklem i rzeczywiscie zbior A troche wystaje poza zbior B. |
geometria post贸w: 865 | 2015-08-22 00:01:05Udowodni膰, 偶e zbiory A={$\lt$x,y$\gt$$\in$$R^{2}$:$x^{2}$+$y^{2}$$\le$1} i B={$\lt$x,y$\gt$$\in$$R^{2}$:$|x|\le1 \wedge |y|\le1$} sa rownoliczne. Zbior B to kwadrat $[-1,1]\times[-1,1]$. Niech zbior $C=[-\frac{1}{2},\frac{1}{2}]\times[-\frac{1}{2},\frac{1}{2}]$. Zatem $C\subseteq$A$\subseteq$B i C$\sim$B, to na podstawie tw. Cantora-Bernsteina A$\sim$B. Funkcja f swiadczaca o rownolicznosci zbiorow C i B, to $f: C\rightarrow$B f($\lt$x,y$\gt$)=<...> dla $x,y\in$C. Teraz chcialbym stworzyc funkcje ustalajaca rownolicznosc tych zbiorow C i B. Zbiory te to kwadraty na plaszczyznie. Stosunek obwodow figur podobnych jest rowny skali podobienstwa. Obliczenie obwodow tych kwadratow nie jest trudne. Obwod kwadratu B wynosi 4*(1-(-1))=4*2=8. Obwod kwadratu C wynosi 4*($\frac{1}{2}$-(-$\frac{1}{2}$))=4*1=4. Skala podobienstwa k=$\frac{8}{4}$=2. I dalej nie mam pomyslu. Zalezaloby mi na stworzeniu ogolnego wzoru funkcji, ktora ustalalaby taka rownolicznosc. Podobnie jak z kolami. -------- $X=[a,b]\times[c,d]$ $Y=[e,f]\times[g,h]$ Obwod X, to 4*(|b-a|) lub 4*(|d-c|). Analogicznie obwod zbioru Y. (oczywiscie jezeli zbiory X i Y sa kwadratami) Dalej nie mam pomyslu. Czy moje rozwazania maja sens? Co nalezaloby zrobic w dalszych krokach? |
tumor post贸w: 8070 | 2015-08-22 07:58:01Poczytaj o przekszta艂ceniach geometrycznych w uk艂adzie wsp贸艂rz臋dnych. Je艣li ka偶d膮 wsp贸艂rz臋dn膮 pomno偶ysz przez k , to ka偶dy odcinek zmieni d艂ugo艣膰 |k| razy (a wi臋c i obw贸d). B臋dzie to jednok艂adno艣膰 o skali k i 艣rodku (0,0), W przypadku z zadania, w kt贸rym kwadraty maj膮 艣rodki w (0,0), wystarczy $f(<x,y>)=<2x,2y>$ (skalowanie) W przypadku dowolnych dw贸ch kwadrat贸w, ale zorientowanych wzgl臋dem osi, wystarczy z艂o偶enie translacji (czyli przesuni臋cia do (0,0)), skalowania (do odpowiedniej wielko艣ci) i translacji (przesuni臋cia w odpowiednie miejsce. W dowolnym przypadku dw贸ch kwadrat贸w mo偶e by膰 jeszcze konieczne dodanie obrotu do powy偶szych przekszta艂ce艅. Polecam nie my艣le膰 na pocz膮tku o wzorach, a o geometrii (te rysunki dla dzieci). Bierzesz kwadrat i 偶eby si臋 pokry艂 z innym mo偶esz go przesuwa膰, obraca膰 i powi臋ksza膰. To przekszta艂cenia naj艂atwiejsze. --- Natomiast powt贸rz臋, 偶e zawsze masz ogrom mo偶liwo艣ci w艣r贸d funkcji nieci膮g艂ych albo w艣r贸d ci膮g艂ych ale zniekszta艂caj膮cych. --- A teraz b臋dzie do艣膰 wa偶ne rozumowanie teoretyczne. Za艂贸偶my, 偶e masz na p艂aszczy藕nie dowolne dwie figury ograniczone (czyli nie ci膮gn膮ce si臋 w niesko艅czono艣膰) zawieraj膮ce jaki艣 obszar. Nazwijmy je A, B. Mo偶liwe jest, 偶e maj膮 zupe艂nie r贸偶ny kszta艂t. Niech jednak $P_A$ b臋dzie dowolnym punktem wn臋trza (nie brzegu) zbioru A, natomiast $P_B$ dowolnym punktem wn臋trza zbioru B. Wszystko co b臋dziemy robi膰 to skalowanie z zachowaniem $P_A$ i $P_B$ jako punkt贸w sta艂ych. Po膰wicz zapisanie tego wzorem - zmiana wielko艣ci obiektu tak, by zachowa膰 po艂o偶enie dowolnie wybranego punktu i nie przesun膮膰 go. Je艣li b臋dziemy zwi臋ksza膰 (skalowa膰 zachowuj膮c po艂o偶enie $P_B$) figur臋 B odpowiednio, otrzymuj膮c figur臋 C, to w ko艅cu b臋dzie ona do艣膰 du偶a, by przykry膰 A. Czyli $A\subset C$, no i oczywi艣cie skalowanie jest bijekcj膮, czyli $B\sim C$. Podobnie je艣li b臋dziemy skalowa膰 (zachowuj膮c $P_A$) odpowiednio A, otrzymuj膮c now膮 figur臋 D, to D przykryje C, b臋dzie zatem $A\subset C \subset D$ no i ze skalowania $A\sim D$. Tu ju偶 chyba wida膰, 偶e dowolne dwie figury na p艂aszczy藕nie zawieraj膮ce obszar (ten warunek nie jest konieczny, ale znacz膮co u艂atwia dow贸d) s膮 zbiorami r贸wnolicznymi. Ca艂y myk tego rozwi膮zania bierze si臋 st膮d, 偶e $P_A$ i $P_B$ by艂y punktami wn臋trza, czyli skaluj膮c rozszerzali艣my obszar dowolnie daleko w ka偶dym kierunku, maj膮c pewno艣膰, 偶e dowolne zbiory (byle ograniczone) w ko艅cu przykryjemy tak skalowanym zbiorem. ---- Jeszcze inaczej to samo: je艣li masz dwie figury ograniczone A, B zawieraj膮ce obszary, to umiesz w te obszary wstawi膰 ko艂a C, D tak, aby $C\subset A$ $D\subset B$ Podobnie umiesz zrobi膰 wielkie ko艂o E, kt贸re obejmie ca艂e A i ca艂e B, wystarczy wzi膮膰 odpowiednio du偶e. Wtedy $C\subset A \subset E$ $D\subset B \subset E$ no i mi臋dzy ko艂ami umiesz bijekcje robi膰. Czyli bez problemu $A\sim E, B\sim E$, zatem $A\sim B$ Mo偶esz zatem 膰wiczy膰 obracanie kwadrat贸w, ale je艣li chcesz mie膰 rozwi膮zanie jedno i og贸lne, to wystarczy na przyk艂ad kt贸re艣 z powy偶szych. --- A mo偶e jeszcze poczytaj o funkcji Peano i wtedy rozszerzysz powy偶sze rozumowanie nawet na zbiory bez obszar贸w, cho膰 o nieprzeliczalnej mocy. :) Wiadomo艣膰 by艂a modyfikowana 2015-08-22 07:59:46 przez tumor |
geometria post贸w: 865 | 2015-08-22 11:22:04Dziekuje bardzo. |
| strony: 1 2 | |
Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj
2015-08-21 18:01:42