Zamiast "już mam" :
1) >4 ---> Z
f(x)=x/2 - 2 dla 2|x i (-x+1)/2 +2 dla 2 nie dzieli x
2) Trzeba skorzystać z tw.
jeśli:
A~B i C~D i A część wspólna C = zb. pusty i B część wspólna D = zb. pusty
to:
A suma C ~ B suma D
Mamy A = (0,1) i C = [2,3)
(0,1) rozbijamy na 2 zbiory B i D żeby były równoliczne z A C wg. powyższego twierdzenia i to tyle.
Ostatnio edytowany przez wmichal (2007-05-12 21:03:20)
Offline
a funkcja np f(x)=(1/2)x dla x nalezace do (0,1) i f(x)=(1/2)x-(1/2) dla x nalezace do<2,3) a udowadnic na to udowadniamy dla z nalezacego do (0,a) gdzie a<1 (I rownanie) i dla <a,1) drugie rownanie a "a" wyznaczymy z dowodu do pierwszego równania: wyjdzie ze x nalezy do (0,2a) a poniewaz x ma nalezec do (0,1) (definicja kiedy f(x) jest na) wiec 2a=1 to a=1/2 i teraz dla a=1/2 dowodzimy drugie równanie.
A to jest mniej wiecej to co napisal michal
Ostatnio edytowany przez zordon (2007-05-12 22:37:39)
Offline
A jesli chodzi o te przeksztalcenia to znalazl ktos dla zbiorów pierwszy: (x nalezy do N i 3 nie dzieli x) drugi: zbior naturalnych. I jeszcze takie (x nalezy do N0 i 7|x) oraz Z\{7}
Ostatnio edytowany przez zordon (2007-05-13 08:22:38)
Offline
Juz mam jedno : dla (x nalezace do N i 3 nie dzieli x) oraz N przekształcenie:
(2/3)x+(1/3) dla xe{1,4,7,10,13.........}
f(x)={
(2/3)x+(2/3) dla xe{2,5,8,11,14.........}
Nad drugim jeszcze pomysle
Drugie tez juz mam:
najpierw udowodnilem ze (xe N0 i 7|x) jest rownoliczne z Z
(1/14)x+(1/2) 2 nie dzieli x
f(x)={
-(1/14)x 2|x
potem ze Z jest rownoliczne z Z\{7}
x, x<7
g(x)={
x+1 x>=7
potem napisalem zlozenie f i g czyli gof A=(xeN0 i 7|x) -> Z\{7}
-(1/14)x, 2|x i xeA
gof={ (1/14)x+1/2, 2 nie dzieli x i x<91
(1/14)x+(3/2), 2 nie dzieli x i x>=91
I to by bylo na tyle
Ostatnio edytowany przez zordon (2007-05-13 11:16:45)
Offline