Ver la fonte de Rellación d'equivalencia

En [[teoría de conxuntos]] y [[álxebra]] la noción de '''rellación d'equivalencia''' sobre un conxuntu, dexa establecer una rellación ente los elementos del conxuntu que comparten cierta carauterística o propiedá. Esto dexa reagrupar dichos elementos en '''clases d'equivalencia''', esto ye, «paquetes» d'elementos similares. Esto fai posible la construcción de nuevos conxuntos «añadiendo» tolos elementos d'una mesma clase como un solu elementu que los representará y que define la noción de [[conxuntu cociente]].

== Definición ==

Sía <math>K</math> un [[conxuntu]] dau non vacíu y <math>\mathcal{R}</math> una [[rellación binaria]] definida sobre <math>K</math>. Dizse que <math>\mathcal{R}</math> ye una '''rellación d'equivalencia''' si cumple les siguientes [[propiedá (lóxica)|propiedá]]es:

*[[Rellación reflexiva|Reflexividá]]: Tou elementu de <math>K</math> ta rellacionáu consigo mesmu. Esto ye, 

:: <math>
 \forall x\in
 K \; : \quad
 x \mathcal{R} x
</math>.

*[[Rellación simétrica|Simetría]]: Si un elementu de <math>K</math> ta rellacionáu con otru, entós esi otru elementu tamién se rellaciona col primeru. Esto ye,

:: <math>
 \forall x,y\in
 K \; : \quad
 x \mathcal{R} y \; \Rightarrow \; y \mathcal{R} x
</math>.

*[[Rellación transitiva|Transitividá]]: Si un elementu de <math>K</math> ta rellacionáu con otru, y esi otru de la mesma rellaciónase con un terceru, entós el primeru va tar rellacionáu tamién con esti postreru. Esto ye,

:: <math>
 \forall x,y,z\in
 K \; : \quad
 x \mathcal{R} y \land y \mathcal{R} z
 \quad \Rightarrow \quad
 x \mathcal{R} z
</math>.

'''Notación:'''

:En [[aritmética modular]] la rellación d'equivalencia ente dos elementos <math>x</math> y <math>y</math> se denota <math>x \equiv y (mod R )</math> que se llee « <math>x</math> ye equivalente a <math>y</math> [[módulu (matemática)|módulu]] <math>R</math> ».

:Una rellación d'equivalencia <math>\sim</math> sobre un [[cuerpu (matemátiques)|cuerpu]] <math>K</math> puede denotarse col par <math>(K,\sim)\,</math>.

=== Clase d'equivalencia o Rellación d'equivalencia ===

En [[lóxica de clases]] y [[analís matemáticu]], la rellación d'equivalencia <math>\mathcal{R}</math> define [[conxuntos dixuntos|subconxuntos dixuntos]] en <math>K</math> llamaos '''clases d'equivalencia''':

Dau un elementu <math>a\in K</math>, el conxuntu dau por tolos elementos rellacionaos con <math>a</math> definen la clase:

<center><math>[a] = \{b\in K\,|\,b\mathcal{R}a\}</math></center>

llámase-y la clase d'equivalencia acomuñada al elementu <math>a</math>.

Al elementu <math>a</math> llámase-y '''representante de la clase'''.

Llámase '''orde''' al númberu de clases que xenera una rellación d'equivalencia; si ésti ye finito, dizse que la rellación ye d'orde finito.

El conceutu de clase d'equivalencia tien importancia en [[ciencia]], dau un conxuntu d'oxetos o entidaes astractes (potencialmente infinites), pueden establecese rellaciones d'equivalencia sobre la base de dalgún criteriu, les clases resultantes son los "tipos" nos que puede clasificase tola gama d'oxetos.

=== Conxuntu cociente ===
Al conxuntu de toles clases d'equivalencia denominar '''[[conxuntu cociente]]''' y se denota como:

<center><math>K/\mathcal{R}</math> o <math>K/\sim</math></center>

===Partición===
Una rellación d'equivalencia sobre un conxuntu induz una [[Partición d'un conxuntu|partición]] del mesmu, esto ye, un conxuntu nel que se definió una rellación d'equivalencia puede ser estremáu en dellos subconxuntos d'elementos equivalentes ente sigo y tales que la xunta d'esos subconxuntos coincide col conxuntu enteru. El siguiente teorema espresa en términos más formales esa mesma idea:

:'''Proposición''': Una ''rellación d'equivalencia'' nel conxuntu non vacíu K determina una ''partición'' d'este, y toa ''partición'' de K determina una ''rellación d'equivalencia'' n'este.

{{Demostración|1 = Dada una ''rellación d'equivalencia'' <math> \mathcal{R}</math> en K:

:Pa ver que la intersección ye vacida, supongamos que nun lo ye, esto ye, daos [a] y [b] dos clases distintes y <math>c \in [a] \cap [b]</math> entós tiense:

::Por simetría <math>c\mathcal{R}b \Rightarrow b\mathcal{R}c.</math>

::Por transitividá <math>b\mathcal{R}c </math> y <math> c\mathcal{R}a \Rightarrow b\mathcal{R}a.</math>

:Por tanto [a]=[b] que ye una contradicción, por tanto, dos clases distintes nun tienen elementos de mancomún, según tou elementu de K pertenez a una clase, queda bien definida una ''partición''.

Dada una [[Partición (matemática)|''partición'']] de K, <math>\{A_i\}_{i\in I}</math>, podemos definir la siguiente ''clase d'equivalencia'':

:Daos dos elementos '''a''' y '''b''' de K tán rellacionaos si pertenecen al mesmu conxuntu <math>A_i.</math>}}

La partición tien como elementos les clases d'equivalencia. Estes son dixuntes dos a dos y la xunión d'elles ye igual al conxuntu K.
* pa cualesquier dos <math>a_i,a_j</math> non rellacionaos tenemos: <math>[a_i]\cap[a_j]=\emptyset</math>; 
* la unión de toos integra al total: <math>\bigcup_s[a_s]=K</math>

==Exemplos==

* Sía N= {0,1,2, 3...}. Defínese una rellación d'equivalencia en NxN, como sigue: (a;b)~ (c;d) [[Bicondicional|si y namái si]] a+d = b +c. Esta ye una rellación d'equivalencia en NxN y cada clase d'equivalencia ye un [[númberu enteru]]. [(2;0)]= { (x;y)/ 2+y = 0 + x } a (2;0) llámase ''representante canónicu'' y se denota, simplificadamente, 2.

* La [[igualdá matemática]].

* La rellación de [[congruencia (teoría de númberos)|congruencia]] módulu M nel conxuntu de los númberos enteros ([[Id est|i.&nbsp;y.]] <math>M\in\mathbb{Z}</math>), onde se define: <math>a \sim b</math> si y namái si <math> a - b\,</math> ye múltiplu de M. 
:Esta rellación ye d'equivalencia porque:
:*Ye reflexiva: a - a = 0, que ye múltiplu de M.
:*Ye simétrica: si a - b ye múltiplu de M, entós b - a = -(a - b) tamién ye múltiplu de M.
:*Ye transitiva: sían k y l númberos enteros tales qu'a - b = M k y b - c = M l. Entós, a - c = (a - b) + (b - c) = M k + M l = M(k + l) y por tanto un múltiplu de M. En particular, si M = 2 tenemos la tradicional clasificación de los númberos enteros en pares ya impares.

* Sía ''H'' un subgrupu d'un grupu ''G''. Definiendo pa elementos del grupu <math>a \sim b</math> [[Bicondicional|si y namái si]] <math>ab^{-1}\in H</math>, vamos tener la rellación d'equivalencia llamada '''congruencia módulo ''H'' '''.

* Definiendo, pa elementos del grupu, <math>a \sim b</math> si y namái si esiste ''g'' en ''G'' talque <math>gag^{-1}=b</math>, llámase rellación de [[Conxugación (desambiguación)|conxugación]]. Les sos clases: '''clases de conxugación'''. Les clases d'equivalencia reciben el nome d'[[Órbita (matemática)|órbita]] o '''clase de conxugación'''.

== Ver tamién ==
* [[Teoría del orde]]
* [[Topología cociente]]
* [[Espaciu cociente (álxebra llineal)|Espaciu vectorial cociente]]
* [[Equivalencia lóxica]]

== Referencies ==
{{llistaref}}
{{MathWorld|EquivalenceRelation|Rellación d'equivalencia}}

* James R.Munkres,''Topoloxía'', (2002),Prentice Hall.



{{Tradubot|Rellación de equivalencia}}

{{control d'autoridaes}}
[[Categoría:Teoría de conxuntos]]
[[Categoría:Rellaciones]]