Korisnički Kontrolni Panel
Pogledajte svoj profil
Pogledajte svoje postove
ČPP
Prijavite se

Matematički forum na kojem možete da diskutujete o raznim matematičkim oblastima, pomognete drugima oko rešavanja zadataka, a i da dobijete pomoć kada vam zatreba


















Index stranica OSTALE MATEMATIČKE OBLASTI TEORIJA SKUPOVA

Relacija ekvivalencije – količnički skup

[inlmath]C\backslash\left(A\cap B\right)=\left(C\backslash A\right)\cup\left(C\backslash B\right)[/inlmath]

Relacija ekvivalencije – količnički skup

Postod Igor » Subota, 02. Decembar 2017, 10:00

Zadatak: Na skupu [inlmath]\mathbb{Z}[/inlmath] definisana je relacija [inlmath]\rho[/inlmath] sa: [inlmath]x\rho y[/inlmath] ako i samo ako [inlmath]7|x^2+4x−y^2−4y[/inlmath]. Ispitati da li je [inlmath]\rho[/inlmath] relacija ekvivalencije i ako jeste odrediti količnički skup.

Dokazao sam da je relacija ekvivalencije, to nije bio problem... Sada, što se tiče količničkog skupa, ja bih to zapisao nekako ovako:
[dispmath]\mathbb{Z}/\rho=\Bigl\{\left\{-(k+4),k\right\}:k\in\mathbb{Z}\Bigr\}[/dispmath] Mislim da kada [inlmath]k[/inlmath] prođe skupom celih brojeva, zaista "pokupi" sve klase ekvivalencije. Zanima me da li je to tačno, kao i da li je zapis korektan.

Ako nekom budućem posetiocu bude potrebno kako se dokazuje da je [inlmath]\rho[/inlmath] relacija ekvivalencije, može da pita. :)
The only way to learn mathematics is to do mathematics. - Paul Halmos
Korisnikov avatar
Igor  OFFLINE
Hiljaditi član foruma
 
Postovi: 54
Lokacija: Aranđelovac
Zahvalio se: 15 puta
Pohvaljen: 61 puta

Sharuj ovu temu na:

Share on Facebook Facebook Share on Twitter Twitter Share on MySpace MySpace Share on Google+ Google+
  • +1

Re: Relacija ekvivalencije – količnički skup

Postod Daniel » Utorak, 05. Decembar 2017, 20:08

Pretpostavljam da si do količničkog skupa došao tako što si jednakost [inlmath]x^2+4x-y^2-4y=7k[/inlmath] [inlmath](k\in\mathbb{Z})[/inlmath] zapisao kao [inlmath]x^2-y^2+4x-4y=7k[/inlmath], pa zatim kao [inlmath](x-y)(x+y+4)=7k[/inlmath], čime se dobije [inlmath]y=x+7k\;\lor\;y=3-x+7k[/inlmath]. Odatle imamo sledeće četiri klase ekvivalencije:
[dispmath]C_0=\{7k,\;3+7k\mid k\in\mathbb{Z}\}\\
C_1=\{1+7k,\;2+7k\mid k\in\mathbb{Z}\}\\
C_4=\{4+7k,\;6+7k\mid k\in\mathbb{Z}\}\\
C_5=\{5+7k\mid k\in\mathbb{Z}\}[/dispmath] To znači sledeće:
[dispmath]C_0=\{\ldots,-7,-4,0,3,7,10,\ldots\}\\
C_1=\{\ldots,-6,-5,1,2,8,9,\ldots\}\\
C_4=\{\ldots,-3,-1,4,6,11,13,\ldots\}\\
C_5=\{\ldots,-2,5,12,\ldots\}[/dispmath] Ovako kako si ti zapisao,
Igor je napisao:[dispmath]\mathbb{Z}/\rho=\Bigl\{\left\{-(k+4),k\right\}:k\in\mathbb{Z}\Bigr\}[/dispmath]

to bi značilo da imamo klase ekvivalencije [inlmath]\ldots,\{-1,-3\},\{0,-4\},\{1,-5\},\{2,-6\},\{3,-7\},\{4,-8\},\{5,-9\},\ldots[/inlmath] Dakle, beskonačno mnogo klasa, svaka sa po samo dva elementa. Što, naravno, ne odgovara ovom našem slučaju.

Ja bih, recimo, izabrao ovakav način zapisa:
[dispmath]\mathbb{Z}/\rho=\Bigl\{\{7k,\;3+7k\mid k\in\mathbb{Z}\},\{1+7k,\;2+7k\mid k\in\mathbb{Z}\},\{4+7k\,\;6+7k\mid k\in\mathbb{Z}\},\{5+7k\mid k\in\mathbb{Z}\}\Bigr\}[/dispmath] a što je, zapravo, ako se uporedi s gornjim zapisima za svaku od klasa ekvivalencije, isto što i [inlmath]\mathbb{Z}/\rho=\{C_0,C_1,C_4,C_5\}[/inlmath].
I do not fear death. I had been dead for billions and billions of years before I was born, and had not suffered the slightest inconvenience from it. – Mark Twain
Korisnikov avatar
Daniel  OFFLINE
Administrator
 
Postovi: 6717
Lokacija: Beograd
Zahvalio se: 3516 puta
Pohvaljen: 3699 puta

  • +1

Re: Relacija ekvivalencije – količnički skup

Postod Onomatopeja » Utorak, 05. Decembar 2017, 22:55

A pri tome znamo i da su skupovi [inlmath]C_0[/inlmath], [inlmath]C_1[/inlmath], [inlmath]C_4[/inlmath] i [inlmath]C_5[/inlmath] medjusobno disjunktni, kao i da njihova unija mora biti ceo prostor, tj. [inlmath]\mathbb{Z}[/inlmath]. Odnosno, da kolicnicki skup vrsi particiju polaznog prostora na medjusobno disjunktne skupove.
 
Postovi: 558
Zahvalio se: 15 puta
Pohvaljen: 526 puta


Povratak na TEORIJA SKUPOVA

Ko je OnLine

Korisnici koji su trenutno na forumu: Nema registrovanih korisnika i 1 gost


Index stranicaTimObriši sve kolačiće boarda
Danas je Subota, 16. Decembar 2017, 17:39 • Sva vremena su u UTC + 1 sat
Pokreće ga phpBB® Forum Software © phpBB Group
Prevod – www.CyberCom.rs