Relacionet e ekuivalencës

Nga Wikipedia, enciklopedia e lirë

Relacionet e ekuivalencës janë shumë të rëndësishme në matematikë dhe shkenca kompjuterike.Një ndër arsyet është se kur në një relacion të ekuivalencës dy elemente janë të lidhura ,ka kuptim të themi se ato elemente janë ekuivalente.

Përkufizimi[Redakto | Redakto nëpërmjet kodit]

  • Relacioni binar R quhet relacion i ekuivalencës në bashkësinë A nëse ai është:[1]
    1. Refleksiv
    2. Simetrik
    3. Tranzitiv

1)Relacioni refleksiv:[Redakto | Redakto nëpërmjet kodit]

Relacioni binar R në bashkësinë A quhet refleksiv nëse:

xA, (x , x) R[2]

2)Relacioni simetrik[Redakto | Redakto nëpërmjet kodit]

Relacioni binar R në bashkësinë A quhet simetrik nëse:

(x , y)R (y , x)R[3]

3)Relacioni tranzitiv[Redakto | Redakto nëpërmjet kodit]

Relacioni binar R në bashkësinë A quhet tranzitiv nëse:

((x , y)R (y , z)R) (x , z)R[4]

Shembuj[Redakto | Redakto nëpërmjet kodit]

  • Le të jetë dhënë bashkësia A={1,2,3,4} dhe një relacion R={(1,1),(1,3),(2,2),(2,4),(3,1),(3,3),(4,2),(4,4)} në bashkësinë A .Tregoni se a është R relacion i ekuivalencës.

Zgjidhje:

Atëherë R është refleksiv sepse i përmbanë dyshet (1,1),(2,2),(3,3),(4,4) d.m.th për çdo x element i A , (x,x) është element i relacionit.

R është simetrik sepse nëse xRy atëherë edhe yRx .Në rastinë tonë kemi : (1,3)R => (3,1)R , (2,4)R => (4,2)R .

R është tranzitiv sepse nëse xRy dhe yRz atëhere edhe xRz ,Në rastinë tonë kemi : ((1,3)R dhe (3,1)R) => (1,1)R , ((2,4)R dhe (4,2)R) => (2,2)R ....etj.

Pasi që relacioni R është refleksiv,simetrik dhe tranzitiv atëherë R është një relacion i ekuivalenës.

Relacione të ndryshme të ekuivalencës[Redakto | Redakto nëpërmjet kodit]

Relacionet e mëposhtme janë të gjitha relacione të ekuivalencës:

  • "është e barabartë me" në bashkësinë e numrave.
  • "ka ditëlindjen e njejtë me" në bashkësinë e njerëzve.
  • "ka të njejtën vlerë absolute me" në bashkësinë e numrave real.

Relacione të ndryshme të cilat nuk janë relacione të ekuivalencës[Redakto | Redakto nëpërmjet kodit]

  • Relacioni ">" në mes të dy numrave real sepse ky relacion është refleksiv dhe tranzitiv por jo simetrik,për shembull 7>5 nuk është njësoj si 5>7
  • "Ka pjestues të përbashkët më të madh se 1 me " në mes të numrave natyrorë më të mëdhenj se 1 sepse ky relacion është refleksiv dhe simetrik por jo tranzitiv, për shembull 2 dhe 6 e kanë një pjestues të përbashkët më të madh se 1 , 6 dhe 3 e kanë një pjestues të përbashkët më të madh se 1, mirëpo 2 dhe 3 nuk kanë pjestuesë të përbashkët më të madh se 1.


  1. ^ Rosen, Kenneth H. (2019). Discrete mathematics and its applications (bot. Eighth edition). New York, NY. fq. 639–643. ISBN 978-1-259-67651-2. OCLC 1025409043. {{cite book}}: |edition= ka tekst shtesë (Ndihmë!); Mungon ose është bosh parametri |language= (Ndihmë!)Mirëmbajtja CS1: Mungon shtëpia botuese te vendodhja (lidhja)
  2. ^ "Reflexive Relations - Definition, Formula, Examples". Cuemath (në anglisht). Marrë më 2022-01-30.
  3. ^ "Symmetric Relations - Definition, Formula, Examples". Cuemath (në anglisht). Marrë më 2022-01-30.
  4. ^ "Transitive Relations - Definition, Examples, Properties". Cuemath (në anglisht). Marrë më 2022-01-30.