@Trustm3: wydaje mi się(jeżeli to jeszcze dobrze pamiętam) to klasy abstrakcji tej relacji to zbiory postaci: { a,-a } gdzie a e R, jak je wyznaczyć? [x0]r = { x : x r x0 } = { x : x^2=(x0)^2 } = { x : |x| = |x0| } = { x : x = x0 v x= -x_0 }
Chciałbym mieć choć blade pojęcie o czym Wy w ogóle mówicie
@mbwwr: To jest proste, tylko jest dużo znaczków, bo opisowo to by zajęło 10x więcej i byłoby nieformalne. Tak działa matematyka. Więc x~y <=> x²+y² oznacza że x oraz y są "są kumplami", wtedy i tylko wtedy gdy x²=y² Każde dwie liczby da się sprawdzić czy się ze sobą kumplują. I teraz sprawdzamy cały zbiór liczb rzeczywistych. Takie kumplowanie
@Trustm3: no skoro liczby są w relacji jak ich kwadraty są równe, to widać chyba co w takiej klasie abstrakcji powinno być, żeby było dobrze. Np. jak jest tam jakiś element a, to musi być też -a. A jeżeli są jakieś elementy a,b, to wiadomo, że skoro są w relacji, to albo a=b, albo a=-b.
#matematyka #logika #studbaza
źródło: comment_7Q0s20BSZxbi70u0vlMJVBbLBB0jatmg.jpg
Pobierzjak je wyznaczyć?
[x0]r = { x : x r x0 } = { x : x^2=(x0)^2 } = { x : |x| = |x0| } = { x : x = x0 v x= -x_0 }
@mbwwr:
To jest proste, tylko jest dużo znaczków, bo opisowo to by zajęło 10x więcej i byłoby nieformalne. Tak działa matematyka.
Więc x~y <=> x²+y² oznacza że x oraz y są "są kumplami", wtedy i tylko wtedy gdy x²=y²
Każde dwie liczby da się sprawdzić czy się ze sobą kumplują. I teraz sprawdzamy cały zbiór liczb rzeczywistych. Takie kumplowanie