logowanie

matematyka » forum » forum zadaniowe - uczelnie wy縮ze » zadanie

Matematyka dyskretna, zadanie nr 4565

ostatnie wiadomo艣ci  |  regulamin  |  latex

AutorZadanie / Rozwi膮zanie

geometria
post贸w: 865
2016-05-18 19:45:14

Mamy relacje na zbiorze $[0,1]^{2}$

(a,b)$\sim$(c,d)$\iff$ u(a)=u(c) $\wedge$ u(b)=u(d), gdzie u(x)=x-[x].

Chce wyznaczyc np. taka klase abstrakcji
[(1,0)]={(c,d)$\in$$[0,1]^{2}$: 0=c-[c] $\wedge$ 0=d-[d]}={(c,d)$\in$$[0,1]^{2}$:c-[c]=d-[d]}.

u(x)=x dla x$\in [0,1)$ i u(1)=0.

Czyli kiedy u(c)=u(d)=0?
Dla c=d=1 i c=d=0 i c=0, d=1 i c=1, d=0.
Czyli [(1,0)]={(1,1), (0,0), (0,1), (1,0)}=[(1,1)]=[(0,0)]=[0,1)].

[(0,$\frac{1}{2}$)]={(c,d)$\in$$[0,1]^{2}$: 0=u(c) i $\frac{1}{2}$=u(d)}

d=$\frac{1}{2}$, c=0 lub c=1.
Zatem [(0,$\frac{1}{2}$)]={(0,$\frac{1}{2}$), (1, $\frac{1}{2}$)} ale jeszcze powinny nalezec te punkty symetryczne chyba?


tumor
post贸w: 8070
2016-05-18 19:56:46

wydaje mi si臋, 偶e mylisz symetri臋, jak膮 mia艂aby relacja na $[0,1]$ z symetri膮, jak膮 ma relacja na $[0,1]^2$.
Tu rozwa偶amy punkty o dw贸ch wsp贸艂rz臋dnych i to nie pierwsza wsp贸艂rz臋dna ma by膰 symetryczna do drugiej, tylko jeden punkt z innym WZGL臉DEM RELACJI.

je艣li a,b obie nie s膮 ca艂kowite, to $[(a,b)]=\{(a,b)\}$
je艣li a ca艂kowita, a b nie, to $[(a,b)]=\{(0,b),(1,b)\}$
analogicznie dla b ca艂kowitej, a nieca艂kowitej
je艣li natomiast a,b obie ca艂kowite, to tak jak piszesz.


geometria
post贸w: 865
2016-05-18 23:54:13

Klas abstrakcji bedzie nieskonczenie wiele.
Rozumiem, ze maja one postac jak wyzej.
A chcac napisac zbior ilorazowy to nalezy napisac cale wyrazenia? {dla a,b$\notin Z$ [(a,b)]={(a,b)}; dla a,b...}


tumor
post贸w: 8070
2016-05-19 07:43:10


$\{
\{(a,b)\},


:a,b\in (0,1)
\}
\cup
\{\{(0,b),(1,b)\}:b\in (0,1) \}
\cup
\{\{(a,0),(a,1)\}:a\in (0,1)\}
\cup
\{\{(0,0),(0,1),(1,0),(1,1)\}\}
$


geometria
post贸w: 865
2016-05-19 09:55:23

Nie daje mi spokoju taka rzecz:
skoro mam {(a,b): a,b$\in (0,1)$}={($\frac{1}{2}$, $\frac{1}{3}$), ($\frac{1}{5}$, $\frac{1}{9}$), ...} ale te punkty nie sa ze soba w relacji


tumor
post贸w: 8070
2016-05-19 10:36:00

A pytanie by艂o o zbi贸r ilorazowy (zbi贸r klas abstrakcji) czy o zbi贸r punkt贸w, kt贸re s膮 ze sob膮 w relacji (klas臋 abstrakcji)?
Nie napisa艂em tak jak Ty. Patrz na nawiasy.


geometria
post贸w: 865
2016-05-19 12:25:15

1. {$(x,y): $$ x,$$y$$\in R$}, czyli zbior tych wszystkich par uporzadkowanych, ktorych wspolrzedne sa liczbami rzeczywistymi
np. {($-\sqrt{2}$, $\frac{1}{3}$), (1,2), ($\frac{1}{5}$, $\frac{1}{4}$), itd.}

2. {$(x,y)$}, gdzie $x,y$$\in R$, czyli jest to zbior jednoelementowy, do ktorego nalezy para uporzadkowana, ktorej wspolrzedne sa liczbami rzeczywistymi.
Inny zapis: $A_{x, y}$={$(x,y)$}, gdzie $ x,y$$\in R$.

Zapis bledny: $A_{x, y}$={$(x,y)$:$x,y$$\in R$}

Czy tak?


tumor
post贸w: 8070
2016-05-19 12:31:12

tak. Czy utrzymujesz, 偶e m贸j zapis jest b艂臋dny? :)


geometria
post贸w: 865
2016-05-19 12:59:07

Jest dobrze. Dziekuje.


geometria
post贸w: 865
2016-06-16 23:23:25

Moce klas abstrakcji to :
|$A_{a,b}$|=1
|$A_{a}$|=2
|$A_{b}$|=2
i ostatniej moc to 4.

Klas abstrakcji jest nieprzeliczalnie wiele.

Moc zbioru ilorazowego to continuum, bo tych zbiorow bedzie tyle ile liczb rzeczywistych.

strony: 1 2

Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj

© 2019 Mariusz iwi駍ki      o serwisie | kontakt   drukuj