«Baliokidetasun-erlazio»: berrikuspenen arteko aldeak

t
Robota: Aldaketa kosmetikoak
t
t (Robota: Aldaketa kosmetikoak)
[[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]]n 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.
 
== Definizioa ==
<math>A</math> multzoan ezarritako <math>\sim</math> baliokidetasun-erlazioa, <math>(A,\sim)\,</math> [[bikote ordenatu]]aren bidez adierazten da.
 
[[Aritmetika modular|Aritmetika modularrean]]rean <math> a \equiv b (mod \mathcal{R} )</math> (<math>a</math> baliokide <math>b</math> modulu <math>\mathcal{R}</math>) bezala adierazten da.
 
== Baliokidetasun klasea ==
=== Baliokidetasun erlazioak ===
* [[Hiruki|Triangelu]] guztien multzoan "Antzekoak dira" edo "[[Kongruentzia (geometria)|Kongruentea]] da".
* [[Zenbaki oso|Zenbaki osoen]]en multzoan "Kongruentea da modulu n".
* [[Funtzio (matematika)|Funtzio]] baten eremuko elementuetan "[[Irudi (matematika)|Irudi]] bera dute".
* [[Zenbaki erreal|Zenbaki errealen]]en multzoan "Balio absolutu bera du".
* [[Angelu (geometria)|Angelu]] guztien multzoan "[[Kosinu]] bera du".
* [[Berdintza|Berdintza matematikoa]].
== Ikus, gainera ==
{{Matematika-erlazioak}}
 
[[Kategoria:Multzo-teoria]]
[[Kategoria:Matematika-erlazioak]]