Sąryšiai.

Kartojimas
 Sąryšis R-1 = {(a, b): (b, a)  R } vadinamas atvirkštiniu sąryšiui R

Matrica 0 0 1 0 0 0 0 0 0 1
transponuojama
0 0 1 0 0 0 0 0 0 1
0 0 1 1 0 1 1 1 1 0
0 0 1 1 0 0 0 1 1 0
1 1 0 0 1 0 0 0 0 1
Pavaizduoto
sąryšio matrica:

1 0 0 0 0 0 0 0 1 0 0 0
0 1 0 1 0 1 0 1 0 1 0 1
0 1 1 0 0 0 1 1 0 0 0 0
0 1 0 1 0 1 1 1 0 1 0 0
Kuris sąryšis 0 1 0 1
aprašytas matrica? 1 1 1 0
1 0 1 1
0 1 0 0
 1 0 0 0 0 0 0 0
0 1 0 1 0 1 0 1
0 1 1 0 0 0 1 1
0 1 0 1 0 1 1 1

Kuri matrica yra duotų sąryšių sąjungos

matrica?
1 0 0 0 0 0 0 0 1 0 0 0
0 0 0 0 0 1 0 1 0 1 0 1
0 1 0 0 0 0 1 0 0 1 1 1
0 0 0 0 0 1 0 1 0 1 1 1
 1 0 0 0 0 0 0 0
0 1 0 1 0 1 0 1
0 1 1 0 0 0 1 1
0 1 0 1 0 1 1 1

Kuri matrica yra duotų sąryšių skirtumo

matrica?
1 0 0 0 1 0 0 0 1 0 0 0
0 0 0 0 0 1 1 1 0 1 0 1
0 1 0 0 0 0 1 0 1 1 1 1
0 0 0 0 0 1 0 1 0 1 1 1
 1 0 0 0 0 0 0 0
0 1 0 1 0 1 0 1
0 1 1 0 0 0 1 1
0 1 0 1 0 1 1 1

Kuri matrica yra duotų sąryšių sankirtos

matrica?
1 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 1 0 1 0 1 0 1
0 1 0 0 0 0 1 0 0 1 1 1
0 0 0 0 0 1 0 1 0 1 1 1
1 0 0 0 0 0 0 0
1 1 0 1 1 1 1 1
Su sąryšiais
0 1 1 0 0 0 1 1 padaryta
0 1 0 1 0 1 1 0 operacija ir
gautas rezultatas:
Ši operacija buvo: 1 0 0 0
1 1 1 1
•Skirtumas 0 1 1 1
•Sąjunga 0 1 1 1
•Sankirta
1 0 0 0 0 0 0 0
1 1 0 1 1 1 1 1
Su sąryšiais
0 1 1 0 0 0 1 1 padaryta
0 1 0 1 0 1 1 0 operacija ir
gautas rezultatas:
Ši operacija buvo: 0 0 0 0
1 1 0 1
•Skirtumas 0 0 1 0
•Sąjunga 0 1 0 0
•Sankirta
1 1 1 0 Kuri matrica yra
0 1 0 1
duotajam sąryšiui
0 0 1 0
0 1 0 1 atvirkštinio sąryšio
matrica?

1 0 0 0 0 0 0 1 1 0 0 0
1 1 0 1 1 0 1 0 0 1 0 1
1 0 1 0 1 1 0 1 0 1 1 1
0 1 0 1 1 0 1 0 0 1 1 1
1 1 1 0 Kuri matrica yra
0 1 0 1
duotojo sąryšio
0 0 1 0
0 1 0 1 papildinio matrica?

1 0 0 0 0 0 0 1 1 0 0 0
1 1 0 1 1 0 1 0 0 1 0 1
1 0 1 0 1 1 0 1 0 1 1 1
0 1 0 1 1 0 1 0 0 1 1 1
Binariųjų sąryšių savybės
Sąryšis R aibėje A vadinamas refleksyviuoju, jeigu  a  A poros (a, a)  R.
Kai  a  A poros (a, a)  R, sąryšis vadinamas antirefleksyviuoju.

1 0 0 0 0 0 0 0 1 0 0 0
0 1 0 1 0 0 0 1 0 1 0 1
0 1 1 0 0 1 0 0 0 1 1 0
0 1 0 1 0 1 0 0 0 1 0 0
Kuris sąryšis yra
antirefleksyvusis?
 Kuris sąryšis yra
refleksyvusis?

1 0 0 0 0 0 0 1 1 0 0 0
1 1 0 1 1 0 1 0 0 1 0 1
1 0 1 0 1 1 0 1 0 1 0 1
0 1 0 1 1 0 1 0 0 1 1 1
Kuris sąryšis nėra nei refleksyvusis, nei
antirefleksyvusis?

1 0 0 0 0 0 0 1 1 0 0 0
1 1 0 1 1 0 1 0 0 1 0 1
1 0 1 0 1 1 0 1 0 1 0 1
0 1 0 1 1 0 1 0 0 1 1 1
Sąryšis R aibėje A vadinamas simetriniu, jeigu (a, b)  R  (b, a)  R.
Jei (a, b)  R & (b, a)  R  a = b, sąryšis vadinamas antisimetriniu.

0 0 0 0 0 0 0 0 0 0 0 0
0 1 1 1 0 1 1 1 0 1 1 1
0 1 1 0 0 0 1 0 0 1 1 0
0 1 0 1 0 0 0 1 0 0 0 1
Kuris sąryšis nėra
simetrinis?
Kuris sąryšis yra
antisimetrinis?
Kuris sąryšis nėra nei simetrinis, nei
antisimetrinis?

1 1 0 0 1 0 0 1 1 1 0 0
1 0 1 0 0 1 1 0 1 0 1 0
0 1 1 1 1 0 1 0 0 1 1 0
0 0 1 0 0 1 0 0 0 0 1 1
Sąryšis R aibėje A vadinamas tranzityviu, jeigu
(a, b)  R & (b, c)  R  (a, c)  R.

a c Teorema
Sąryšis R yra
tranzityvus tada ir tik
tada, kai
R○RR
 Sąryšis A pavaizduotas paveiksle, o sąryšis B apibrėžtas matrica.
Kuris sąryšis yra tranzityvus?

Sąryšis A nėra tranzityvus,

nes trūksta kai kurių 1 1 0 0
sujungimų (dalis jų 1 1 1 1
pažymėta)
1 0 0 1
1 1 1 1
Surasime B ○ B (pakelsime
antrojo sąryšio matricą kvadratu)

1 1 0 0 1 1 0 0 1 1 1 1
1 1 1 1 1 1 1 1 1 1 1 1
* =
1 0 0 1 1 0 0 1 1 1 1 1
1 1 1 1 1 1 1 1 1 1 1 1
Matricoje vietoje nulių atsirado vienetai, t.y. B ○ B  B. Sąryšis B irgi nėra tranzityvus
Kuris sąryšis yra
tranzityvusis?
Sąryšis R aibėje A vadinamas pilnuoju, jeigu
a, b  A & a≠b  (a, b)  R V (b, a)  R.

0 0 1 0 0 0 0 0
1 1 0 1 0 1 1 1
0 1 1 0 0 0 1 0
1 0 1 1 0 0 0 1
Teoremos:

Sąryšis R  A2 yra:
a) refleksyvusis  IA  R;
b) antirefleksyvusis  R  IA =;
c) simetrinis  R = R-1;
d) antisimetrinis  R  R-1  IA;
e) pilnasis  R  R-1  IA = UA = A2.