Sprawdzenie poprawności zapisu inkluzji

Algebra zbiorów. Relacje, funkcje, iloczyny kartezjańskie... Nieskończoność, liczby kardynalne... Aksjomatyka.
FAUSTVIII
Użytkownik
Użytkownik
Posty: 26
Rejestracja: 15 gru 2008, o 22:42
Płeć: Mężczyzna
Lokalizacja: Senbonzakura

Sprawdzenie poprawności zapisu inkluzji

Post autor: FAUSTVIII » 20 gru 2008, o 18:53

Witam

Chciałbym się dowiedzieć czy mój zapis jest formalnie poprawny.

A={{a,b}, {c,d}, c, d} , B={{a, b}, c}

najpierw sprawdzam dla:

\(\displaystyle{ B A}\)


\(\displaystyle{ \bigwedge\limits_{x\in B} (B A) [\forall x B \forall x A]}\)

Teraz odrwonie:
\(\displaystyle{ A B}\)

\(\displaystyle{ \bigvee\limits_{d\in A}(A B) [d A d B]}\)

dzięki z góry
Ostatnio zmieniony 20 gru 2008, o 23:25 przez FAUSTVIII, łącznie zmieniany 2 razy.

Parton
Użytkownik
Użytkownik
Posty: 158
Rejestracja: 10 gru 2008, o 23:20
Płeć: Mężczyzna
Lokalizacja: Wawa
Podziękował: 7 razy
Pomógł: 10 razy

Sprawdzenie poprawności zapisu inkluzji

Post autor: Parton » 20 gru 2008, o 20:19

Zapis jest tak nie jasny że nie rozumiem nic. A wogóle to chcesz udowodnić, że B=A? czy co? jeśli tak to nie jest to prawda.

FAUSTVIII
Użytkownik
Użytkownik
Posty: 26
Rejestracja: 15 gru 2008, o 22:42
Płeć: Mężczyzna
Lokalizacja: Senbonzakura

Sprawdzenie poprawności zapisu inkluzji

Post autor: FAUSTVIII » 20 gru 2008, o 20:50

Mam pokazać jakie zachodzą relacje inkluzji miedzy dwoma zbiorami A i B

Tylko zależy mi czy zapius jest prawidłowy.

Jan Kraszewski
Administrator
Administrator
Posty: 26939
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4507 razy

Sprawdzenie poprawności zapisu inkluzji

Post autor: Jan Kraszewski » 20 gru 2008, o 22:38

Twój zapis jest formalnie zupełnie niepoprawny i w dodatku zupełnie bez sensu.

Żeby sprawdzić, czy zbiór X zawiera się w zbiorze Y sprawdzasz, czy każdy element zbioru X jest elementem zbioru Y. I tyle. Pomijając całkowitą niepoprawność zapisu, który stworzyłeś, nie bardzo rozumiem, czemu miałby on służyć.

JK

FAUSTVIII
Użytkownik
Użytkownik
Posty: 26
Rejestracja: 15 gru 2008, o 22:42
Płeć: Mężczyzna
Lokalizacja: Senbonzakura

Sprawdzenie poprawności zapisu inkluzji

Post autor: FAUSTVIII » 20 gru 2008, o 23:43

Witam

Właśnie wiem żby zachodziła inkluzja
definicja \(\displaystyle{ (A B) \forall x(x A x B)}\)

w pierwszym
mamy że \(\displaystyle{ x B}\) to jeśli \(\displaystyle{ \forall x A}\) jest spełnione to iplikacja jest prawdziwa

w drugim
zrobiłem jakby kontrprzykład.

JEśli to wszystko jest źle to byłbym wdzieczny jakby ktoś napisał poprawna wersje

F8

Jan Kraszewski
Administrator
Administrator
Posty: 26939
Rejestracja: 20 mar 2006, o 21:54
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 1 raz
Pomógł: 4507 razy

Sprawdzenie poprawności zapisu inkluzji

Post autor: Jan Kraszewski » 21 gru 2008, o 11:42

No dobrze, spostrzeżenia masz poprawne, natomiast próby sposobu ich zapisu są niepoprawne. Przede wszystkim są straszne składniowo - takie zapisy właśnie formalnie nie mają sensu.

Żeby stwierdzić, że \(\displaystyle{ B A}\) wystarczy przypomnieć definicję zawierania:

\(\displaystyle{ X Y (\forall x\in X)\,x\in Y}\)

i zauważyć, ze każdy element zbioru \(\displaystyle{ B}\) jest elementem zbioru \(\displaystyle{ A}\) i koniec. Tu nie ma nic więcej do pisania! Jeśli czujesz dyskomfort, że to tak mało, możesz jeszcze jawnie wypisać, jakie elementy ma zbiór \(\displaystyle{ B}\) (czyli \(\displaystyle{ \{a,b\}}\) i \(\displaystyle{ c}\))...

Żeby stwierdzić, że \(\displaystyle{ A\not\subseteq B}\) wystarczy zauważyć, że \(\displaystyle{ d\in A}\) i \(\displaystyle{ d\notin B}\), stwierdzić, że wobec tego nie każdy element zbioru \(\displaystyle{ A}\) jest elementem zbioru \(\displaystyle{ B}\) i już.

JK

PS. Oczywiście wszystko napisane powyżej jest przy założeniu, że \(\displaystyle{ a,\ b,\ c,\ d}\) to różne obiekty. Bo jeśli \(\displaystyle{ a=b=c=d}\), to nasze zbiory są równe...

ODPOWIEDZ