Prethodna tema :: Sljedeća tema |
Autor/ica |
Poruka |
ante c Forumaš(ica)


Pridružen/a: 10. 10. 2009. (19:18:15) Postovi: (62)16
|
|
[Vrh] |
|
Luuka Forumaš(ica)


Pridružen/a: 13. 02. 2007. (20:34:54) Postovi: (925)16
Spol: 
Lokacija: Hakuna Matata
|
Postano: 16:03 uto, 3. 11. 2009 Naslov: |
|
|
uzmi x iz jedne od tih klasa i pokaži da se ne može nalaziti u drugoj :D
S tim ekvivalentno je, da ako je x u dvije klase, onda je to ustvari jedna te ista klasa.
npr. neka je x iz [i], pokažimo da je iz [j] akko [i]=[j]
jer je x iz [i], to znači da je x = i+k*n za neki k iz Z.
pretpostavimo da je također, x iz [j], to znači da je x = j+ m*n za m iz Z.
iz svega toga dobijemo da je:
i = j + (m-k)*n.
(*) To znači da je i iz [j], dakle [i] = [j] jer je svejedno kojeg reprezentata klase uzmemo.
alternativno: neka je x iz [i], i x iz [j], 0<=i,j<=n-1. Tada je i==j.
sve isto do (*), a nakon toga:
i iz [j], dakle i==j jer smo predstavnike uzeli između 0 i (n-1).
uzmi x iz jedne od tih klasa i pokaži da se ne može nalaziti u drugoj
S tim ekvivalentno je, da ako je x u dvije klase, onda je to ustvari jedna te ista klasa.
npr. neka je x iz [i], pokažimo da je iz [j] akko [i]=[j]
jer je x iz [i], to znači da je x = i+k*n za neki k iz Z.
pretpostavimo da je također, x iz [j], to znači da je x = j+ m*n za m iz Z.
iz svega toga dobijemo da je:
i = j + (m-k)*n.
(*) To znači da je i iz [j], dakle [i] = [j] jer je svejedno kojeg reprezentata klase uzmemo.
alternativno: neka je x iz [i], i x iz [j], 0⇐i,j⇐n-1. Tada je i==j.
sve isto do (*), a nakon toga:
i iz [j], dakle i==j jer smo predstavnike uzeli između 0 i (n-1).
_________________ "Bolje bi prolazio na faxu da sam na drogama nego na netu" - by a friend of mine
"Poslije spavanja doma spavanje bilo di mi je najdraža stvar" - by the same guy 
|
|
[Vrh] |
|
maty321 Forumaš(ica)

Pridružen/a: 24. 10. 2009. (15:02:33) Postovi: (7D)16
|
|
[Vrh] |
|
ante c Forumaš(ica)


Pridružen/a: 10. 10. 2009. (19:18:15) Postovi: (62)16
|
|
[Vrh] |
|
maty321 Forumaš(ica)

Pridružen/a: 24. 10. 2009. (15:02:33) Postovi: (7D)16
|
|
[Vrh] |
|
ante c Forumaš(ica)


Pridružen/a: 10. 10. 2009. (19:18:15) Postovi: (62)16
|
|
[Vrh] |
|
Luuka Forumaš(ica)


Pridružen/a: 13. 02. 2007. (20:34:54) Postovi: (925)16
Spol: 
Lokacija: Hakuna Matata
|
Postano: 17:22 uto, 3. 11. 2009 Naslov: |
|
|
Rekao bih da ne :D
N={1,2,3}.
A={1,2}, B={3}
P(N) = { 0, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3} }
P(A) = { 0, {1}, {2}, {1,2} }
P(B) = { 0, {3} }
P(A) U P(B) = { 0, {1}, {2}, {1,2} ,{3} } != P(N)
pa ne može bit particija
dobar argument bi mogao biti kardinalnost:
|P(N)| = 2^n, ako je |N|=n.
za A,B takvi da čine particiju od N vrijedi:
|A|=k, |B|=n-k, pa je
|P(A)|=2^k
|P(B)|=2^(n-k)
Kad bi P(A) i P(B) bila particija od P(N), onda bi 2^k + 2^(n-k) = 2^n što vrijedi samo za k=0, ali tada nemamo particiju. (i nek je n>2)
Rekao bih da ne
N={1,2,3}.
A={1,2}, B={3}
P(N) = { 0, {1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1,2,3} }
P(A) = { 0, {1}, {2}, {1,2} }
P(B) = { 0, {3} }
P(A) U P(B) = { 0, {1}, {2}, {1,2} ,{3} } != P(N)
pa ne može bit particija
dobar argument bi mogao biti kardinalnost:
|P(N)| = 2^n, ako je |N|=n.
za A,B takvi da čine particiju od N vrijedi:
|A|=k, |B|=n-k, pa je
|P(A)|=2^k
|P(B)|=2^(n-k)
Kad bi P(A) i P(B) bila particija od P(N), onda bi 2^k + 2^(n-k) = 2^n što vrijedi samo za k=0, ali tada nemamo particiju. (i nek je n>2)
_________________ "Bolje bi prolazio na faxu da sam na drogama nego na netu" - by a friend of mine
"Poslije spavanja doma spavanje bilo di mi je najdraža stvar" - by the same guy 
|
|
[Vrh] |
|
ante c Forumaš(ica)


Pridružen/a: 10. 10. 2009. (19:18:15) Postovi: (62)16
|
|
[Vrh] |
|
Luuka Forumaš(ica)


Pridružen/a: 13. 02. 2007. (20:34:54) Postovi: (925)16
Spol: 
Lokacija: Hakuna Matata
|
Postano: 16:36 sri, 4. 11. 2009 Naslov: |
|
|
zapisano simbolima:
[latex](\forall x \in \mathbb{R}) (\exists z \in \mathbb{C}) ( |z| =\sqrt{x^2+1} ) \Rightarrow (x=Re(z))[/latex]
ja bih rekao da je implikacija istinita.
Implikacija P->Q je lažna samo ako je P istina, a Q laž.
Kod nas je P istina za z=(x,1) i z=(1,x), a Q je istina za z=(x,1).
Dakle, stvarno postoji takav z komplexan da mu je x realni dio :D
zapisano simbolima:
ja bih rekao da je implikacija istinita.
Implikacija P→Q je lažna samo ako je P istina, a Q laž.
Kod nas je P istina za z=(x,1) i z=(1,x), a Q je istina za z=(x,1).
Dakle, stvarno postoji takav z komplexan da mu je x realni dio
_________________ "Bolje bi prolazio na faxu da sam na drogama nego na netu" - by a friend of mine
"Poslije spavanja doma spavanje bilo di mi je najdraža stvar" - by the same guy 
|
|
[Vrh] |
|
GoranV Forumaš(ica)

Pridružen/a: 20. 11. 2008. (11:22:01) Postovi: (F)16
Spol: 
|
|
[Vrh] |
|
gramzon Forumaš(ica)

Pridružen/a: 09. 07. 2009. (20:11:44) Postovi: (3B)16
Spol: 
|
|
[Vrh] |
|
pbakic Forumaš(ica)

Pridružen/a: 05. 10. 2009. (17:48:30) Postovi: (143)16
Spol: 
|
Postano: 18:10 sri, 4. 11. 2009 Naslov: |
|
|
@goran:
ocito da tako zadana relacija nije refleksivna (jer |x-x|=0<1, dakle nijedan clan skupa ne moze biti u relaciji sam sa sobom), pa zato ne moze biti ni uredjaj, ni relacija ekvivalencije.
Simetricnost vrijedi jer je |x-y|=|y-x| za svaki izbor x,y (pa cim imas |x-y|>1 onda je ocito i |y-x|>1
Antisim ne vrijedi iz istog razloga zapravo, protuprimjer: |1-3|=|3-1|>1, a 1 i 3 su razliciti...
i tranzitivnost isto protuprimjer: |5-2|>1, |2-4|>1, ali onda bi trebalo biti |5-4|>1, sto nije...
@gramzon:
negacija je: postoji x takav da je x^2>5 i x<=10
@goran:
ocito da tako zadana relacija nije refleksivna (jer |x-x|=0<1, dakle nijedan clan skupa ne moze biti u relaciji sam sa sobom), pa zato ne moze biti ni uredjaj, ni relacija ekvivalencije.
Simetricnost vrijedi jer je |x-y|=|y-x| za svaki izbor x,y (pa cim imas |x-y|>1 onda je ocito i |y-x|>1
Antisim ne vrijedi iz istog razloga zapravo, protuprimjer: |1-3|=|3-1|>1, a 1 i 3 su razliciti...
i tranzitivnost isto protuprimjer: |5-2|>1, |2-4|>1, ali onda bi trebalo biti |5-4|>1, sto nije...
@gramzon:
negacija je: postoji x takav da je x^2>5 i x<=10
|
|
[Vrh] |
|
plonker Forumaš(ica)

Pridružen/a: 26. 10. 2009. (19:19:01) Postovi: (8)16
|
|
[Vrh] |
|
winks Forumaš(ica)

Pridružen/a: 14. 10. 2009. (20:14:27) Postovi: (A)16
|
Postano: 18:20 sri, 4. 11. 2009 Naslov: zadatak s prošlogodišnjeg kolokvija em1 |
|
|
heeeelp...,
ok, nekoliko zadataka, :oops: ,
(1) ako su AnB=(prazan skup), mora li vrijediti (AnC)uB=(AuB)nC? svoj odgovor obrazložite.
ja mislim da ne vrijedi al imam malih problema oko dokazivanja.
(2) dan je sud: "za svaki prirodan broj m postoji realan broj x takav da ako je x*m=1, onda je x racionalan broj."
mislim da je istinito, al nisam sigurna. uzela sam kao primjer m=2, i x=1/2. jel to ok?
(3) koristeći matematičku indukciju dokažite da je 6^(2*2008) + 19^2008 +2^2009 djeljivo sa 17
i sad sam ja napisala da je k=2008, pa dobijem 6^2k + 19^k + 2^k+1; pa sam uvrstila da mi je k=1 al ne dobijem baš da je rezultat dijeljiv s 17, :? , nisam sigurna ni da je to ok kaj sam napravila...
(4) matematičkom indukcijom dokažite da za sve prirodne brojeve n vrijedi 4^n>n^2
za n=1 vrijedi, i sad napišem 4^(n+1)>(n+1)^2, raspišem ovo s desne strane kao kvadrat binoma, jel mogu ovo s lijeve strane rastaviti na 4^k * 4, a dalje zablokiram...,
zadnji, obećajem :lol:
(5) neka je S skup te neka su F i G particije skupa S sa sljedećim svojstvima:
-za svaki AeF postoji BeG takav da je A(podskup)B
-za svaki BeG postoji AeF takav da je B(podskup)A
mora li tada vrijediti F=G? svoj odgovor obrazložite.
{e-element, } :D
hvala...,
heeeelp...,
ok, nekoliko zadataka, ,
(1) ako su AnB=(prazan skup), mora li vrijediti (AnC)uB=(AuB)nC? svoj odgovor obrazložite.
ja mislim da ne vrijedi al imam malih problema oko dokazivanja.
(2) dan je sud: "za svaki prirodan broj m postoji realan broj x takav da ako je x*m=1, onda je x racionalan broj."
mislim da je istinito, al nisam sigurna. uzela sam kao primjer m=2, i x=1/2. jel to ok?
(3) koristeći matematičku indukciju dokažite da je 6^(2*2008) + 19^2008 +2^2009 djeljivo sa 17
i sad sam ja napisala da je k=2008, pa dobijem 6^2k + 19^k + 2^k+1; pa sam uvrstila da mi je k=1 al ne dobijem baš da je rezultat dijeljiv s 17, , nisam sigurna ni da je to ok kaj sam napravila...
(4) matematičkom indukcijom dokažite da za sve prirodne brojeve n vrijedi 4^n>n^2
za n=1 vrijedi, i sad napišem 4^(n+1)>(n+1)^2, raspišem ovo s desne strane kao kvadrat binoma, jel mogu ovo s lijeve strane rastaviti na 4^k * 4, a dalje zablokiram...,
zadnji, obećajem
(5) neka je S skup te neka su F i G particije skupa S sa sljedećim svojstvima:
-za svaki AeF postoji BeG takav da je A(podskup)B
-za svaki BeG postoji AeF takav da je B(podskup)A
mora li tada vrijediti F=G? svoj odgovor obrazložite.
{e-element, }
hvala...,
_________________ opusti se...,
najbolje stvari događaju se kad ih najmanje očekuješ..., =)),
|
|
[Vrh] |
|
GoranV Forumaš(ica)

Pridružen/a: 20. 11. 2008. (11:22:01) Postovi: (F)16
Spol: 
|
|
[Vrh] |
|
ante c Forumaš(ica)


Pridružen/a: 10. 10. 2009. (19:18:15) Postovi: (62)16
|
|
[Vrh] |
|
pbakic Forumaš(ica)

Pridružen/a: 05. 10. 2009. (17:48:30) Postovi: (143)16
Spol: 
|
Postano: 18:40 sri, 4. 11. 2009 Naslov: |
|
|
pa zapravo i ne uzimas, jer simetricnost znaci samo da mora vrijediti implikacija:
xRy => yRx (ovdje R znaci "u relaciji s")
dakle imas uvjet samo kad vrijedi xRy, a kad x i y nisu u relaciji, nikom nista...
konkretno na primjeru x=2, y=1
x i y nisu u relaciji (jer ne vrijedi |2-1|>1), pa onda to nije protuprimjer ovoj implikaciji gore.
pa zapravo i ne uzimas, jer simetricnost znaci samo da mora vrijediti implikacija:
xRy => yRx (ovdje R znaci "u relaciji s")
dakle imas uvjet samo kad vrijedi xRy, a kad x i y nisu u relaciji, nikom nista...
konkretno na primjeru x=2, y=1
x i y nisu u relaciji (jer ne vrijedi |2-1|>1), pa onda to nije protuprimjer ovoj implikaciji gore.
|
|
[Vrh] |
|
Swerz Forumaš(ica)


Pridružen/a: 13. 02. 2009. (21:30:28) Postovi: (182)16
Spol: 
|
Postano: 18:40 sri, 4. 11. 2009 Naslov: Re: zadatak s prošlogodišnjeg kolokvija em1 |
|
|
[quote="mlada pmf-ovka"]heeeelp...,
ok, nekoliko zadataka, :oops: ,
(1) ako su AnB=(prazan skup), mora li vrijediti (AnC)uB=(AuB)nC? svoj odgovor obrazložite.
ja mislim da ne vrijedi al imam malih problema oko dokazivanja.[/quote]
Ako mislis da ne vrijedi, dovoljno je naci primjer za koji tvrdnja ne vrijedi :D
[quote](2) dan je sud: "za svaki prirodan broj m postoji realan broj x takav da ako je x*m=1, onda je x racionalan broj."
mislim da je istinito, al nisam sigurna. uzela sam kao primjer m=2, i x=1/2. jel to ok?[/quote]
Tvrdnja je istinita.
Ponekad je lakse negirati sud pa onda provjeravati istinitost, barem meni.
mlada pmf-ovka (napisa): | heeeelp...,
ok, nekoliko zadataka, ,
(1) ako su AnB=(prazan skup), mora li vrijediti (AnC)uB=(AuB)nC? svoj odgovor obrazložite.
ja mislim da ne vrijedi al imam malih problema oko dokazivanja. |
Ako mislis da ne vrijedi, dovoljno je naci primjer za koji tvrdnja ne vrijedi
Citat: | (2) dan je sud: "za svaki prirodan broj m postoji realan broj x takav da ako je x*m=1, onda je x racionalan broj."
mislim da je istinito, al nisam sigurna. uzela sam kao primjer m=2, i x=1/2. jel to ok? |
Tvrdnja je istinita.
Ponekad je lakse negirati sud pa onda provjeravati istinitost, barem meni.
|
|
[Vrh] |
|
plonker Forumaš(ica)

Pridružen/a: 26. 10. 2009. (19:19:01) Postovi: (8)16
|
|
[Vrh] |
|
Black Mamba Forumaš(ica)

Pridružen/a: 12. 10. 2009. (21:08:31) Postovi: (58)16
|
|
[Vrh] |
|
|