[ Posty: 15 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 2 lut 2011, o 23:35 
Użytkownik
Avatar użytkownika

Posty: 213
Lokalizacja: Wrocław
Zadanie polega na tym, aby wykazać, że jeśli A \times B \subseteq C \times D, to albo A = \emptyset, albo B = \emptyset, albo A \subseteq C oraz jednocześnie B \subseteq D.

Zacząłem tak:

Niech x \in A oraz y \in B.

(x,y) \in A \times B \rightarrow (x,y) \in C \times D
czyli z definicji:

(x \in A \wedge y \in B \rightarrow x \in C \wedge y \in D)

teraz korzystam z tautologii: (p \rightarrow q )\leftrightarrow (\neg p \vee q)


\leftrightarrow \neg(x \in A \wedge y \in B) \vee (x \in C \wedge y \in D)
\leftrightarrow ( \neg x \in A \vee \neg y \in B) \vee (x \in C \wedge y \in D)
\leftrightarrow ( \neg x \in A \vee  \neg y \in B \vee x \in C) \wedge ( \neg x \in A \vee \neg y \in B \vee y \in D)

W jaki sposób mogę się teraz pozbyć z nawiasów odpowiednio \neg y \in B oraz \neg x \in A??

@edit
sam nie wiem - czy mogę teraz po prostu po znaku implikacji napisać, że:
( \neg x \in A \vee  x \in C) \wedge (  \neg y \in B \vee y \in D)?
Bo teraz to mógłbym zwinąć do A \subseteq C \wedge B \subseteq D

Pozdrawiam.
Góra
Mężczyzna Offline
PostNapisane: 3 lut 2011, o 00:17 
Gość Specjalny

Posty: 2935
Lokalizacja: Wrocław
porucznik napisał(a):
W jaki sposób mogę się teraz pozbyć z nawiasów odpowiednio \neg y \in B oraz \neg x \in A??


sam napisałeś ;)

porucznik napisał(a):
Niech x \in A oraz y \in B.


czyli tamto wyżej to fałsz :).
Góra
Mężczyzna Offline
PostNapisane: 3 lut 2011, o 00:29 
Użytkownik
Avatar użytkownika

Posty: 213
Lokalizacja: Wrocław
Zakręciłem się na pięcie :D Dzięki Tomek.

Gwoli ścisłości, żeby zakończyć dowód, należy napisać, że w szczególności:

\emptyset \times B = \emptyset \subseteq C \times D

oraz

A \times \emptyset = \emptyset \subseteq C \times D

dlatego z założenia wynika, że A = \emptyset, lub B = \emptyset, lub A \subseteq C oraz jednocześnie B \subseteq D?

Btw. zacząłem przeglądać listy kilka chwil temu ^^ Za nic w świecie nie potrafię zapisywać zdań za pomocą kwantyfikatorów etc. Zapewne lada chwila będę szukał pomocy w innym temacie ^^

Pozdr
Góra
Mężczyzna Offline
PostNapisane: 3 lut 2011, o 01:12 
Moderator

Posty: 14202
Lokalizacja: Wrocław
Twój dowód jest niezbyt szczęśliwy.

JK
Góra
Mężczyzna Offline
PostNapisane: 3 lut 2011, o 01:37 
Użytkownik
Avatar użytkownika

Posty: 213
Lokalizacja: Wrocław
W takim razie jak powinno się go przeprowadzić?
Góra
Mężczyzna Offline
PostNapisane: 3 lut 2011, o 02:20 
Moderator

Posty: 14202
Lokalizacja: Wrocław
To kwestia pewnej elegancji dowodu - mnie nie podobają się dowody, gdzie zamiast toku rozumowania jest formalne przekształcanie założeń.

Można różnie, ja bym chyba robił nie wprost. Przypuszczam nie wprost, że A\neq\emptyset i B\neq\emptyset oraz że A \not\subseteq C lub B \not\subseteq D. Bez zmniejszenia ogólności mogę przyjąć, że A \not\subseteq C (bo przypadek B \not\subseteq D jest w pełni analogiczny). Mogę zatem znaleźć takie x\in A, że x\notin C. Ponieważ B\neq\emptyset, więc istnieje b\in B. Wtedy (x,b)\in A\times B, czyli z założenia wnioskuję, że (x,b)\in C\times D. Ale to w szczególności oznacza, że x\in C, sprzeczność.

JK
Góra
Mężczyzna Offline
PostNapisane: 3 lut 2011, o 02:29 
Użytkownik
Avatar użytkownika

Posty: 213
Lokalizacja: Wrocław
Rzeczywiście dowód ładniejszy, choć sam bym raczej na to nie wpadł. Jeśli chodzi o czystą poprawność tego mojego suchego dowodu, to czy wszystko jest ok?
Góra
Mężczyzna Offline
PostNapisane: 3 lut 2011, o 02:59 
Moderator

Posty: 14202
Lokalizacja: Wrocław
Nie podoba mi się fragment ze zbiorami pustymi, myślę, że trzeba inaczej je wkomponować. Właśnie dlatego zrobiłem dowód nie wprost, by nie myśleć o tym późną porą.

JK
Góra
Mężczyzna Offline
PostNapisane: 3 lut 2011, o 13:58 
Użytkownik
Avatar użytkownika

Posty: 213
Lokalizacja: Wrocław
Ok, dziękuję.
Góra
Kobieta Offline
PostNapisane: 3 lut 2011, o 14:10 
Użytkownik

Posty: 385
Lokalizacja: Www
A gdyby w treści powyższego zadania stało zdanie: "Czy implikacja odwrotna jest prawdziwa? Jeśli nie podaj przykład." Co powinniśmy zrobić??
Góra
Mężczyzna Offline
PostNapisane: 3 lut 2011, o 14:17 
Moderator

Posty: 14202
Lokalizacja: Wrocław
Udowodnić, że jest prawdziwa.

JK
Góra
Kobieta Offline
PostNapisane: 3 lut 2011, o 14:21 
Użytkownik

Posty: 385
Lokalizacja: Www
i można to udowadniać analogicznie tak jak Pan to zrobił nie wprost??
Góra
Mężczyzna Offline
PostNapisane: 3 lut 2011, o 14:24 
Moderator

Posty: 14202
Lokalizacja: Wrocław
W tę stronę zdecydowanie lepiej wprost.

JK
Góra
Kobieta Offline
PostNapisane: 3 lut 2011, o 14:41 
Użytkownik

Posty: 385
Lokalizacja: Www
ok, dziękuję;)
Góra
Mężczyzna Offline
PostNapisane: 3 lut 2011, o 15:15 
Moderator

Posty: 14202
Lokalizacja: Wrocław
Jan Kraszewski napisał(a):
Nie podoba mi się fragment ze zbiorami pustymi, myślę, że trzeba inaczej je wkomponować. Właśnie dlatego zrobiłem dowód nie wprost, by nie myśleć o tym późną porą.

Mówiłem, że w nocy słabo się myśli. A wiedziałem, że te zbioru puste mi tam nie pasują...

Zauważ, że teza

A = \emptyset, albo B = \emptyset, albo A \subseteq C oraz jednocześnie B \subseteq D

jest równoważna

A \subseteq C oraz jednocześnie B \subseteq D

bo jeśli A = \emptyset, to również A \subseteq C i to samo z B.

Zatem równie dobrze można zrobić dowód wprost, szybciej i ładniej niż nie wprost:

Ustalmy dowolne a\in A i b\in B. Wtedy (a,b)\in A\times B, czyli z założenia (a,b)\in C\times D. To oznacza, że a\in C i b\in D, zatem z def. zawierania mamy A \subseteq C i B \subseteq D, co należało dowieść.

Spostrzeżenie to sprawia, że Twój początkowy dowód jest w pełni poprawny i jedyne, co można mu zarzucić to brak elegancji.

JK
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 15 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Dowód złożenia funkcji z identycznością
Zadanie: Pokazać, że dla każdej funkcji f: X \rightarrow Y zachodzi: f \circ id_x = id_y \circ f = f Jakoś nie bardzo wiem, od czego zacząć.....
 M Ciesielski  3
 dowód funkcje
Dobrze, to jak mam rozumieć monotoniczność? Na pewno miałeś już do czynienia z takimi pojęciami jak funkcja (ściśle) rosnąca/malejąca, czy też stała....
 matematyka464  14
 różnowartościowość - dowod
Dana jest funkcja f: A \rightarrow B Udowodnij, że 1. f roznowartosciowa wtedy i tylko wtedy gdy dla dowolnego zbioru X \subseteq A zachodzi X=\...
 ct985  3
 Wyznacz zbiór kartezjański - sprawdzenie
Cześć, chciałbym kogoś prosić o sprawdzenie: Niech A= \{a\}, B=\{b\}, C=\{c\} Wyznacz zbiór (A \times B) \times C: Moje roz...
 nwnuinr  2
 Przestrzeń ilorazowa - dowód
Rozumiem, że przez zbiór przeliczalny rozumiesz zbiór skończony lub równoliczny z \mathbb N. Tu w zasadzie nie ma co dowodzić, przecież klas abstrakcji jest co najwyżej tyle, ile elementów zbioru X[/tex:24t...
 Etamin  4
 indukcyjny dowod przeliczalnosci zbioru A^+
Probuje udowodnic indukcyjne ze Zakladajac ze zbior A jest przeliczalny to zbior A ^{n} , gdzie n nalezy do liczb dodatnich calkowitych krok pierwszy dla A^{1} powstanie z tego po prostu A c...
 wapnoziom  9
 Iloczyn kartezjański - Narysować zbiór
Narysować zbiór A \times B gdy: A= \left\{ x:\log _{3} \frac{4x-5}{x-2}<1 \right\} , B= \bigcup_{ \infty }^{n=1} \left( 1- \frac{5}{n};2+ \frac{n}{n+1}) Dla A[/tex:...
 smoczyslaw  1
 Suma i iloczyn zbiorów - zadanie 3
Obliczyć sumę i iloczyn zbiorów dla t \in R A_{t}=\left\{(x,y): x^{2}<t^{2} \cdot y^{2}}\right\} Sądziłam, że iloczyn to zbiór pusty, ponieważ np. dla t=0[/tex:e1nrzq...
 annavg  2
 Policzyć sumę i iloczyn zbiorów
Policzyć sumę (\bigcup_{t\in T}A_t) i iloczyn (\bigcap_{t\in T}A_t) zbiorów: A_t=\{(x,y): x=y\cdot t\} \\ A_t=\{(x,y): x=y^2 \cdot t\} \\ A_t=\{(x,y): x^...
 patryk007  8
 dowód sumy i iloczynu rodziny zbiorów
Znalezc (wraz z dowodem) \bigcup_{n \in N_{+}}^{} A_{n} oraz \bigcap_{n \in N_{+}}^{} A_n, gdzie : A_{n}= \left\{ x \in R: \left| x\right| < \frac{n+1}{n+2} \right\}[/tex:...
 onaona21  3
 Produkty.Dowod
Mam sprawdzic czy: P(A \setminus B)=P(A) \setminus P(B) Oczywicie wedlog mnie nie wiec robie kontrprzyklad. np. A=\{0,1\} \wedge B=\left\{ 0 \right\} P...
 piti-n  3
 dowód na zawieranie się zbiorów
Czy ktoś może mi pomóc. Nie wiem w ogóle o co chodzi, jak zacząć ? Udowodnij, ze dla dowolnej funkcji f:X \rightarrow Y oraz zbiorów A i B: a) Jesli [t...
 Sierotka Marysia  1
 Formalny dowód rownosci zbiorow
Oczywiście możemy sobie założyc cztery zmienne zdaniowe, tak żeby nie było duzo pisania : p = x \in A q = x \in B r = x \in C s = x \in D[/tex:2kktf...
 Duke  2
 Iloczyn Kartezjański na płaszczyźnie
Witam, Mam takie zadanie: Niechx, y\in \RR. Podać interpretacje geometryczną iloczynów A\times B oraz B\times A dla: A=\left\{ x:0<x \le 1\right...
 matma17  3
 dowód, zbiory
Cześć Możecie mi pokazać, jak powinien wyglądać dowód tożsamości: A \cup A = A \cap A = A...
 tukanik  3
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [Reklama] [Kontakt]
Copyright (C) ParaRent.com