Matematické Fórum


1. 8. 2026 (L) Fórum bude brzy uzavřeno 😿

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: 6328
Š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: 6328
Š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: 6328
Š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: 6328
Š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: 6328
Š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: 6328
Š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: 6328
Š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