Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

#1 23. 11. 2016 16:35 — Editoval Fonzik (23. 11. 2016 16:35)

Fonzik
Příspěvky: 72
Reputace:   
 

Relace

Ahoj, prosím vás, mohl by mi někdo poradit, jak na tento příklad ?

1. Nechť R, S jsou relace na množině {1, 2, 3}. Rozhodněte, zda platí následující
implikace a své tvrzení dokažte:
a) R ∪ S je symetrická ⇒ R, S jsou symetrické,
b) R, S jsou tranzitivní ⇒ R ◦ S je tranzitivní.



Mate mě tam to, že je tam konkrétní množina  { 1; 2; 3}.
Mám se R ∪ S je symetrická
           R, S jsou symetrické 

snažit obecně rozepsat a potom jen porovnat? Když to obecně platit bude, tak to platí i pro tuhle konkrétní množinu, ale když ne, tak je tu stále možnost, že to pro tuhle konkrétní množinu platit bude? (Obdobně u béčka)

Offline

  • (téma jako vyřešené označil(a) Fonzik)

#2 23. 11. 2016 16:54

vlado_bb
Moderátor
Příspěvky: 6324
Škola:
Reputace:   144 
 

Re: Relace

↑ Fonzik: máš pravdu. Pokiaľ ide o časti a, b, máš nejaké tušenie aké asi budú odpovede?

Offline

 

#3 23. 11. 2016 17:08

Fonzik
Příspěvky: 72
Reputace:   
 

Re: Relace

↑ vlado_bb:
Tak u ačka se da podle me lehce najit protipriklad. Kdyz R bude relace (1,2) a S relace (2,1), pak sjednoceni bude ((1,2),(2,1)) - tudiz sjednoceni R a S je symetrické ale samostatně R,S symetrické nejsou. Takže by to platit nemělo.

U bečka si nejsem jistý, protože sama ta tranzitivita se mi plete. Např, když mám (1,2),(2,2) tak aby byla relace tranzitivní musí tam být ještě (2,1), nebo už nemusí a relace je stejně tranzitivní?

Offline

 

#4 23. 11. 2016 17:16

vlado_bb
Moderátor
Příspěvky: 6324
Škola:
Reputace:   144 
 

Re: Relace

↑ Fonzik:a máš dobre, pokiaľ ide o tvoju otázku k b, tak nemusí, veď definícia tranzitivnosti nič také nechce

Offline

 

#5 23. 11. 2016 17:47

Fonzik
Příspěvky: 72
Reputace:   
 

Re: Relace

↑ vlado_bb:
Mas pravdu, spletl jsem se. Myslel jsem připad kdyz treba je (2,2),(2,3), tak jestli aby to bylo tranzitivni, tak tam musí být i (2,3) a (3,2)?

Offline

 

#6 23. 11. 2016 18:05

vlado_bb
Moderátor
Příspěvky: 6324
Škola:
Reputace:   144 
 

Re: Relace

↑ Fonzik:tu sa mylis, pozri si definíciu

Offline

 

#7 23. 11. 2016 18:20 — Editoval Fonzik (23. 11. 2016 18:21)

Fonzik
Příspěvky: 72
Reputace:   
 

Re: Relace

↑ vlado_bb:
$(\forall a,b,c \in A)((a,b),(b,c)\in R\Rightarrow (a,c)\in R)$
(Relace R na množině A)
Tedy (2,2),(2,3) je tranzitivni, ale  (3,2),(2,3) je tranzitivni pouze pokud je tam i (3,3),(2,2) ?

Jinak u B me protipriklad nenapada, teda bylo by dobre to asi zkusit obecne dokázat, že?

Offline

 

#8 23. 11. 2016 18:24

vlado_bb
Moderátor
Příspěvky: 6324
Škola:
Reputace:   144 
 

Re: Relace

↑ Fonzik: suhlasim s každým slovom

Offline

 

#9 23. 11. 2016 18:41

Fonzik
Příspěvky: 72
Reputace:   
 

Re: Relace

↑ vlado_bb:
Akorát neumím přijít jak na to. Relaci R a S si můžu pomocí definice obě zapsat takto
$(\forall a,b,c \in A)((a,b),(b,c)\in R\Rightarrow (a,c)\in R)$
$(\forall a,b,c \in A)((a,b),(b,c)\in S\Rightarrow (a,c)\in S)$

Jejich složení by mělo být toto ?
$\{(a,c)\in A×A|(\exists b\in A)((a,b)\in R\wedge (b,c)\in S)\}$
Neprijde mi to zrovna dobře zapsané, ale nic jiného mě nenapadlo. Mohl bys pomoct?

Offline

 

#10 23. 11. 2016 18:46

vlado_bb
Moderátor
Příspěvky: 6324
Škola:
Reputace:   144 
 

Re: Relace

↑ Fonzik: Ano, zloženie máš zapísané dobre, už iba dokázať, že je tranzitivne .. ide to úplne jednoducho, využívas iba to čo si napísal, nie je tam už nič navyše

Offline

 

#11 23. 11. 2016 18:57

vlado_bb
Moderátor
Příspěvky: 6324
Škola:
Reputace:   144 
 

Re: Relace

↑ Fonzik: Teraz sa musím odmlcat (v lietadle je mobil zakázaný), ak bude treba, tak zajtra

Offline

 

#12 23. 11. 2016 19:01

Fonzik
Příspěvky: 72
Reputace:   
 

Re: Relace

↑ vlado_bb:
Jj, díky moc za pomoc !

Offline

 

#13 23. 11. 2016 23:05

Andrejka3
Moderátor
Příspěvky: 1994
Škola: PŘF UP Olomouc (2015)
Reputace:   119 
 

Re: Relace

↑ Fonzik:
Podle mě b) neplatí


What does a drowning number theorist say?
'log log log log ...'

Offline

 

#14 23. 11. 2016 23:37

Fonzik
Příspěvky: 72
Reputace:   
 

Re: Relace

↑ Andrejka3:
Ano je to tak, protipříklad je
$R=\{(a,b),(c,c)\}$
$S=\{(a,a),(b,c)\}$

$RoS=\{(a,b),(b,c)\}$

Offline

 

#15 24. 11. 2016 08:06

vlado_bb
Moderátor
Příspěvky: 6324
Škola:
Reputace:   144 
 

Re: Relace

↑ Fonzik:Presne tak, mas to hotove. Vcera som mal pocit, ze b bude pravda, ale to bola iba moja povrchna uvaha.

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson