«Baliokidetasun-erlazio»: berrikuspenen arteko aldeak

ez dago edizio laburpenik
(Definizioa, Idazkera, baliokidetasun klasea)
[[Fitxategi:Set partitions 5; matrices.svg|thumb|5 elementuko multzo batean posible diren 52 baliokidetasun-erlazioen matrize logikoak; eremu koloredunek batekoa eta eremu txuriek zerokoa adierazten dutelarik.]]
[[Multzo-teoria|Multzo-teorian]] eta [[Aljebra|algebran]] baliokidetasun-erlazio batek <math>A</math> [[multzo]] bateko elementuen arteko erlazio bat definitzen du, elementuak euren artean baliokidetasun klaseetan antolatuz partizio bat sortuz. <math>\mathcal{R}</math> '''baliokidetasun-erlazioa''' [[erlazio bitar]] [[Bihurtze-erlazio|bihurkor]], [[Simetria-erlazio|simetriko]] eta [[Iragate-erlazio|iragankorra]] da.
 
 
Baliokidetasun-erlazio batek sortzen dituen klase kopuruari '''ordena''' deritzo; kopurua finitua bada ordena finituko erlazioa izanik.
 
== Adibideak ==
 
=== Baliokidetasun erlazioa eta klaseak ===
<math>\lbrace a, b, c \rbrace</math> multzoan <math>\lbrace (a,a),(b,b),(c,c),(b,c),(c,b)\rbrace</math> erlazioak betetzen badira, erlazioaren baliokidetasun klaseen multzoak honako hauek dira:
 
<math>[a]=\{a\}, ~~~~ [b]=[c]=\{b,c\}</math>
 
Erlazio honetako baliokidetasun klase guztien multzoa <math>\{\{a\},\{b,c\}\}</math> da.
 
=== Baliokidetasun erlazioak ===
* [[Hiruki|Triangelu]] guztien multzoan "Antzekoak dira" edo "[[Kongruentzia (geometria)|Kongruentea]] da".
* [[Zenbaki oso|Zenbaki osoen]] multzoan "Kongruentea da modulu n".
* [[Funtzio (matematika)|Funtzio]] baten eremuko elementuetan "[[Irudi (matematika)|Irudi]] bera dute".
* [[Zenbaki erreal|Zenbaki errealen]] multzoan "Balio absolutu bera du".
* [[Angelu (geometria)|Angelu]] guztien multzoan "[[Kosinu]] bera du".
* [[Berdintza|Berdintza matematikoa]].
 
== Ikus, gainera ==
11

edits