| Prethodna tema :: Sljedeća tema |
| Autor/ica |
Poruka |
Manny Callavera
Forumaš(ica)
Pridružen/a: 17. 02. 2004. (12:40:20)
Postovi: (2D)16
Spol: 
Lokacija: Zgb
|
|
| [Vrh] |
|
Tonci
Forumaš(ica)
Pridružen/a: 31. 10. 2002. (13:46:40)
Postovi: (61)16
Spol:
Lokacija: Split
|
 Postano: 0:07 čet, 2. 12. 2004 Naslov: Re: Pomoc oko dokaza sa EM1 vjezbi |
    |
|
|
[quote="mandark"]1.-Ispitajte da li vrijedi relacija (A\B)UC = (AUC)\B
Našao sam kontraprimjer da su ta 2 skupa različita,ali kako da dokažem da
(A\B)UC nije podskup od (AUC)\B, jel moram nekako kontradikciju konstruirati ili sl.?
2.kako iz suda (A i neB) ili (C i ne B) smo zakljucili da
--> x e A\B ili x e C < -- ,zar nije C\B različito od C.?
[/quote]
Za dokazati da relacija ne vrijedi, dovoljno je navesti protuprimjer, i to je ono sto se u ovom zadatku trazi. Drukcije, mozes razmisljati ovako:
Neka su skupovi takvi da C presjek B nije prazno. Neka je x iz C presjek B. Tada je x iz C, pa je x iz (A\B)UC, medjutim x je isto iz B, pa nije iz (AUC)\B jer to ne sadrzi nista iz B. Dakle, dokazali smo da jedan skup nije podskup drugoga.
Ovaj drugi zadatak nisam siguran jesam li razumio sto si htio reci, ali mislim da se radi o tome da ako je nesto iz C onda je i iz C\B jer je C\B podskup od C. To naravo nisu isti skupovi, i ekvivalencija ne vrijedi, ali jedan smjer mozes zakljuciti.
| mandark (napisa): | 1.-Ispitajte da li vrijedi relacija (A\B)UC = (AUC)\B
Našao sam kontraprimjer da su ta 2 skupa različita,ali kako da dokažem da
(A\B)UC nije podskup od (AUC)\B, jel moram nekako kontradikciju konstruirati ili sl.?
2.kako iz suda (A i neB) ili (C i ne B) smo zakljucili da
→ x e A\B ili x e C < – ,zar nije C\B različito od C.?
|
Za dokazati da relacija ne vrijedi, dovoljno je navesti protuprimjer, i to je ono sto se u ovom zadatku trazi. Drukcije, mozes razmisljati ovako:
Neka su skupovi takvi da C presjek B nije prazno. Neka je x iz C presjek B. Tada je x iz C, pa je x iz (A\B)UC, medjutim x je isto iz B, pa nije iz (AUC)\B jer to ne sadrzi nista iz B. Dakle, dokazali smo da jedan skup nije podskup drugoga.
Ovaj drugi zadatak nisam siguran jesam li razumio sto si htio reci, ali mislim da se radi o tome da ako je nesto iz C onda je i iz C\B jer je C\B podskup od C. To naravo nisu isti skupovi, i ekvivalencija ne vrijedi, ali jedan smjer mozes zakljuciti.
|
|
| [Vrh] |
|
Vincent Van Ear
Forumaš(ica)
Pridružen/a: 19. 08. 2004. (11:29:05)
Postovi: (175)16
|
| Postano: 0:18 čet, 2. 12. 2004 Naslov: Re: Pomoc oko dokaza sa EM1 vjezbi |
|
|
|
[quote="mandark"]Pozdrav!
Imam par kratkih pitanja u vezi nekih dokaza sa vježbi EM1.
1.-Ispitajte da li vrijedi relacija (A\B)UC = (AUC)\B
Našao sam kontraprimjer da su ta 2 skupa različita,ali kako da dokažem da
(A\B)UC nije podskup od (AUC)\B, jel moram nekako kontradikciju konstruirati ili sl.?
[/quote]
Ok,skupovi (A\B)uC i (AuC)\B nisu isti,Venn sugerira da je skup (AuC)\B podskup skupa (A\B)uC pa to i dokaži,to će biti sasvim dovoljno da uvjeriš druge da je skup (A\B)uC nadskup skupa (AuC)\B.
''hint'':
Tvrdnja:(AuC)\B C= (A\B)uC
proizvoljni x@(AuC)\B
=>x@AuC i x!@B
=>(x@A ili x@C) i x!@B
I)x@A i x!@B=>x@(A\B)=>x@(A\B)uC
II)x@C i x!@B=>x@C=>x@Cu(A\B)=>x@(A\B)uC CUBE;)
[quote]
2.kako iz suda (A i neB) ili (C i ne B) smo zakljucili da
--> x e A\B ili x e C < -- [/quote]
brijem si da se radi o grešci???
[quote]
,zar nije C\B različito od C.?
hvala[/quote]
C\B C= C
| mandark (napisa): | Pozdrav!
Imam par kratkih pitanja u vezi nekih dokaza sa vježbi EM1.
1.-Ispitajte da li vrijedi relacija (A\B)UC = (AUC)\B
Našao sam kontraprimjer da su ta 2 skupa različita,ali kako da dokažem da
(A\B)UC nije podskup od (AUC)\B, jel moram nekako kontradikciju konstruirati ili sl.?
|
Ok,skupovi (A\B)uC i (AuC)\B nisu isti,Venn sugerira da je skup (AuC)\B podskup skupa (A\B)uC pa to i dokaži,to će biti sasvim dovoljno da uvjeriš druge da je skup (A\B)uC nadskup skupa (AuC)\B.
''hint'':
Tvrdnja:(AuC)\B C= (A\B)uC
proizvoljni x@(AuC)\B
⇒x@AuC i x!@B
⇒(x@A ili x@C) i x!@B
I)x@A i x!@B⇒x@(A\B)⇒x@(A\B)uC
II)x@C i x!@B⇒x@C⇒x@Cu(A\B)⇒x@(A\B)uC CUBE;)
| Citat: |
2.kako iz suda (A i neB) ili (C i ne B) smo zakljucili da
→ x e A\B ili x e C < – |
brijem si da se radi o grešci???
| Citat: |
,zar nije C\B različito od C.?
hvala |
C\B C= C
_________________
Samo sam jedan čovjek,
samo jedan pakao.
|
|
| [Vrh] |
|
veky
Forumaš(ica)
Pridružen/a: 09. 12. 2002. (19:59:43)
Postovi: (5B0)16
Lokacija: negdje daleko...
|
|
| [Vrh] |
|
Manny Callavera
Forumaš(ica)
Pridružen/a: 17. 02. 2004. (12:40:20)
Postovi: (2D)16
Spol:
Lokacija: Zgb
|
|
| [Vrh] |
|
|
