"I tak wracamy do zadania: udowodnić, z definicji, że zbiory A={a,b,c} i B={1,2} nie należą do tej samej klasy.".
Jeżeli zbiory są równoliczne, wówczas faktycznie spełniona jest relacja równoważności, bowiem:
A~A (zwrotność),
A~B => B~A (symetryczność),
A~B i B~C => A~C (przechodniość).
W pierwszym przypadku mamy bowiem funkcję identycznościową, w drugim skoro f: A ->B jest bijekcją, wówczas f^-1: B->A również. A w przypadku przechodniości wynika to stąd, że złożenie bijekcji jest bijekcją.
A te zbiory, które podałeś, czyli A={a,b,c} i B={1,2} nie są równoliczne, gdyż oba są skończone, a mają tę samą liczbę elementów, natomiast odwołując się do bijekcji:
Istnieje suriekcja z A do B, natomiast nie ma suriekcji z B do A, zatem nie będziemy mieli bijekcji f i f^-1, co implikuje, że zbiory nie będą należały do tej samej klasy.
"deda 5 września 2022, 16:56 0 0 dzieląc włos na czworo: {a,b,c} nie jest równoliczny z {1,2} tylko przy założeniu, że a, b, c są wszystkie parami różne : { ln e, tg pi/4, i^2} ma 2 elementy, choć na oko wygląda, że ma 3....".
Znane mi są podobne rozterki...
ReplyDelete"I tak wracamy do zadania: udowodnić, z definicji, że zbiory A={a,b,c} i B={1,2} nie należą do tej samej klasy.".
ReplyDeleteJeżeli zbiory są równoliczne, wówczas faktycznie spełniona jest relacja równoważności, bowiem:
A~A (zwrotność),
A~B => B~A (symetryczność),
A~B i B~C => A~C (przechodniość).
W pierwszym przypadku mamy bowiem funkcję identycznościową, w drugim skoro f: A ->B jest bijekcją, wówczas f^-1: B->A również. A w przypadku przechodniości wynika to stąd, że złożenie bijekcji jest bijekcją.
A te zbiory, które podałeś, czyli A={a,b,c} i B={1,2} nie są równoliczne, gdyż oba są skończone, a mają tę samą liczbę elementów, natomiast odwołując się do bijekcji:
Istnieje suriekcja z A do B, natomiast nie ma suriekcji z B do A, zatem nie będziemy mieli bijekcji f i f^-1, co implikuje, że zbiory nie będą należały do tej samej klasy.
"deda
ReplyDelete5 września 2022, 16:56
0
0
dzieląc włos na czworo: {a,b,c} nie jest równoliczny z {1,2} tylko przy założeniu, że a, b, c są wszystkie parami różne : { ln e, tg pi/4, i^2} ma 2 elementy, choć na oko wygląda, że ma 3....".
I to też słuszna uwaga.
A z wizji artystycznych obiektów matematycznych, ostatnie są te:
ReplyDeletehttps://www.facebook.com/photo/?fbid=174596151754279&set=pcb.174596178420943
https://www.facebook.com/photo?fbid=174596165087611&set=pcb.174596178420943
Wizje sfery rogatej. Były w snach.