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 deljivosti

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

Relacija deljivosti

Postod NemanjaS » Utorak, 19. Oktobar 2021, 17:09

Imam za domaci iz matematike 1 teorijski zadatak koji glasi:

Pokazati da je relacija deljivosti u skupu prirodnih brojeva [inlmath]m|n\iff(\exists k\in\mathbb{N})=km[/inlmath], relacija je parcijalno uredjena. Da li isto vazi ako [inlmath]\mathbb{N}[/inlmath] zamenimo [inlmath]\mathbb{Z}[/inlmath]?

Nisam nasao nista slicno pa da li bi mogli da me uputite?
 
Postovi: 20
Zahvalio se: 7 puta
Pohvaljen: 0 puta

Sharuj ovu temu na:

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

Re: Relacija deljivosti

Postod Daniel » Sreda, 20. Oktobar 2021, 00:12

Pre svega, prilično sam siguran da bi zapis [inlmath]m|n\iff(\exists k\in\mathbb{N})=km[/inlmath] (koji ne znači ništa) trebalo zapravo da glasi [inlmath]m|n\iff(\exists k\in\mathbb{N})(n=km)[/inlmath].
Zatim, oko terminologije – kad kažeš da je relacija parcijalno uređena, verovatno misliš da je u pitanju relacija poretka, a da je uređeni par [inlmath](\mathbb{N},|)[/inlmath] parcijalno uređen skup.
Da bi dokazao da je [inlmath]|[/inlmath] relacija poretka, po definiciji treba dokazati da je ta relacija refleksivna, antisimetrična i tranzitivna.
Pokazaću kako se radi za antisimetričnost (jer mi se taj deo posla čini najzanimljivijim), a ako shvatiš princip onda će za refleksivnost i za tranzitivnost biti dosta lakše.
Relacija [inlmath]\rho[/inlmath] na skupu [inlmath]S[/inlmath] po definiciji je antisimetrična akko važi [inlmath](\forall x,y\in S)(x\rho y\;\land\;y\rho x\;\Longrightarrow\;x=y)[/inlmath]. Prema tome, treba da dokažemo da za svaka dva prirodna broja [inlmath]m[/inlmath] i [inlmath]n[/inlmath] važi [inlmath]m|n\;\land\;n|m\;\Longrightarrow\;m=n[/inlmath]. To dalje možemo zapisati kao
[dispmath]n=k_1m\;\land\;m=k_2n\;\Longrightarrow\;m=n[/dispmath] gde su [inlmath]k_1[/inlmath] i [inlmath]k_2[/inlmath] neki prirodni brojevi.
Uvrštavanjem [inlmath]n=k_1m[/inlmath] u [inlmath]m=k_2n[/inlmath] (ili obratno) dolazimo do toga da je [inlmath]k_1=\frac{1}{k_2}[/inlmath]. Pošto je [inlmath]k_1[/inlmath] prirodan broj, sledi da je [inlmath]\frac{1}{k_2}[/inlmath] takođe prirodan broj, a to će biti slučaj ako i samo ako je [inlmath]k_2=1[/inlmath], odakle sledi i da je [inlmath]k_1=1[/inlmath]. Vraćanjem u [inlmath]n=k_1m[/inlmath] (ili u [inlmath]m=k_2n[/inlmath]) zaključujemo da je [inlmath]m=n[/inlmath], čime je dokazana implikacija, a samim tim i antisimetričnost.



Što se tiče dela zadatka koji se odnosi na [inlmath]\mathbb{Z}[/inlmath], pretpostavljam da je relacija deljivosti za dva cela broja [inlmath]m[/inlmath] i [inlmath]n[/inlmath] sada definisana kao [inlmath]m|n\iff(\exists k\in{\color{red}\mathbb{Z}})(n=km)[/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: 9300
Lokacija: Beograd
Zahvalio se: 5151 puta
Pohvaljen: 4951 puta

Re: Relacija deljivosti

Postod NemanjaS » Sreda, 20. Oktobar 2021, 06:55

Tacno je zaboravio sam posle prve zagrade da stavim [inlmath]n[/inlmath]. Hvala od velike pomoci mi je ovo, shvatio sam ovo za antisimetricnost ne izgleda toliko tesko. :D
 
Postovi: 20
Zahvalio se: 7 puta
Pohvaljen: 0 puta


Povratak na TEORIJA SKUPOVA

Ko je OnLine

Korisnici koji su trenutno na forumu: Nema registrovanih korisnika i 30 gostiju

cron

Index stranicaTimObriši sve kolačiće boarda
Danas je Petak, 29. Mart 2024, 00:06 • Sva vremena su u UTC + 1 sat
Pokreće ga phpBB® Forum Software © phpBB Group
Prevod – www.CyberCom.rs