Mostrar código-fonte de Relação de equivalência

{{Mais notas|data=junho de 2021}}
[[Imagem:Set partitions 5; matrices.svg|right|thumb|As 52 relações de equivalência em um conjunto de 5 elementos representadas por matrizes lógicas 5 × 5 (campos coloridos, incluindo aqueles em cinza claro, representam os uns; campos brancos por zeros.) Os índices de linha e coluna de células não brancas são os elementos relacionados, enquanto as cores diferentes, exceto cinza claro, indicam as classes de equivalência (cada célula cinza claro é sua própria classe de equivalência).]]

Na [[matemática]], uma '''relação de equivalência''' é uma [[relação binária]] que é [[Relação reflexiva|reflexiva]], [[Relação simétrica|simétrica]] e [[Relação transitiva|transitiva]]. A relação "é igual a" é o exemplo canônico de uma relação de equivalência, onde para qualquer objeto a, b e c:

* {{math|''a'' {{=}} ''a''}} (propriedade reflexiva),
* se {{math|''a'' {{=}} ''b''}} então {{math|''b'' {{=}} ''a''}} (propriedade simétrica), e
* se {{math|''a'' {{=}} ''b''}} e {{math|''b'' {{=}} ''c''}} então {{math|''a'' {{=}} ''c''}} (propriedade transitiva).

Como consequência das propriedades reflexivas, simétricas e transitivas, qualquer relação de equivalência fornece uma [[Partição de um conjunto|partição do conjunto]] subjacente em [[Classe de equivalência|classes de equivalência]] [[Espaço conexo|desconexas]]. Dois elementos do conjunto dado são equivalentes entre si se e somente se pertencem à mesma classe de equivalência.

== Notação ==
Várias notações são usadas na literatura para denotar que dois elementos {{math|''a''}} e {{math|''b''}} de um conjunto são equivalentes em relação a uma relação de equivalência {{math|''R''}}; os mais comuns são "{{math|''a'' ~ ''b''}}" e "{{math|''a'' ≡ ''b''}}", que são usados quando {{math|''R''}} está implícito e variações de "{{math|''a'' ~<sub>''R''</sub> ''b''}}", "{{math|''a'' ≡<sub>''R''</sub> ''b''}}", ou "{{math|''aRb''}}" para especificar {{math|''R''}} explicitamente. A não equivalência pode ser escrita "{{math|''a'' ≁ ''b''}}" ou "<math>a \not\equiv b</math>".

== Definição ==
Uma dada [[relação binária]] <math>R</math> sobre um conjunto ''X'' é considerada uma relação de equivalência [[se e somente se]] for reflexiva, simétrica e transitiva. Isto é, para todos a, b e c em ''X'':

:<math>\forall a \in X,\ a R a</math>  (reflexividade)
:<math>\forall a, b \in X,\ a R b \Rightarrow \; b R a</math> (simetria)
:<math>\forall a, b, c  \in X,\ a  \,R\, b \land b \,R\, c \; \Rightarrow a \,R\, c</math> (transitividade)

A classe de equivalência de <math>a</math> sob <math>R</math>, denotada <math>[a]</math>, é definida como <math>[a] = \{b\in X \mid a\sim b\}</math>.

== Exemplos ==

=== Exemplo simples ===
Considere que o conjunto <math>\{a, b, c\}</math> tem a relação de equivalência <math>\{(a, a), (b, b), (c, c), (b, c), (c, b)\}</math>. Os conjuntos a seguir são [[Classe de equivalência|classes de equivalência]] dessa relação:

: <math>[a] = \{a\}, ~~~~ [b] = [c] = \{b, c\}</math>.

O conjunto de todas as classes de equivalência para esta relação é <math>\{\{a\}, \{b, c\}\}</math>. Este conjunto é uma [[Partição de um conjunto|partição]] do conjunto <math>\{a, b, c\}</math>.

=== Relações de equivalência ===

A seguir, todas as relações de equivalência:

* "É igual a" no conjunto de números. Por exemplo, <math>\tfrac{1}{2}</math> é igual a <math>\tfrac{4}{8}</math>.
* "Tem o aniversário no mesmo dia que" no conjunto de todas as pessoas.
* "É [[Semelhança de triângulos|semelhante]] a" no conjunto de todos os [[triângulo]]s.
* "É [[Congruência (geometria)|congruente]] a" no conjunto de todos os triângulos.
* "É congruente a, [[Aritmética modular|módulo]] ''n''" nos [[Número inteiro|inteiros]].
* "Tem a mesma [[Conjunto imagem|imagem]] sob uma [[Função (matemática)|função]]" nos elementos do [[Domínio (matemática)|domínio]] da função.
* "Tem o mesmo [[Valor absoluto (álgebra)|valor absoluto]]" no conjunto de [[Número real|números reais]]
* "Tem o mesmo [[cosseno]]" no conjunto de todos os [[ângulo]]s.

=== Relações que não são equivalências ===

* A relação "≥" entre números reais é reflexiva e transitiva, mas não simétrica. Por exemplo, 7 ≥ 5 não implica que 5 ≥ 7. É, no entanto, uma [[Relação de ordem|ordem total]].
* A relação "tem um [[Máximo divisor comum|fator comum]] maior que 1 com" entre [[Número natural|números naturais]] maiores que 1, é reflexiva e simétrica, mas não transitiva. (Exemplo: Os números naturais 2 e 6 têm um fator comum maior que 1, e 6 e 3 têm um fator comum maior que 1, mas 2 e 3 não têm um fator comum maior que 1).
* A relação vazia ''R'' em um conjunto não vazio ''X'' (isto é, ''aRb'' nunca é verdadeira) é vagamente simétrica e transitiva, mas não reflexiva. (Se ''X'' também for vazio, então ''R'' é reflexiva.)
* A relação "é aproximadamente igual a" entre números reais, mesmo que definida com mais precisão, não é uma relação de equivalência, porque embora reflexiva e simétrica, não é transitiva, pois múltiplas pequenas mudanças podem se acumular para se tornar uma grande mudança. Entretanto, se a aproximação é definida [[Assintota|assintoticamente]], por exemplo, dizendo que duas funções ''f'' e ''g'' são aproximadamente iguais perto de algum ponto, se o [[Limite de uma função|limite]] de ''f - g'' é 0 naquele ponto, então isto define uma relação de equivalência.

== Conexões com outras relações ==

*Uma [[Relação de ordem|ordem parcial]] é uma relação reflexiva, [[Relação antissimétrica|antissimétrica]] e transitiva.
*[[Igualdade]] é tanto uma relação de equivalência quanto uma ordem parcial. Igualdade é também a única relação em um conjunto que é reflexiva, simétrica e antissimétrica. Em [[Expressão matemática|expressões algébricas]], variáveis iguais podem ser substituídas umas pelas outras, uma facilidade que não está disponível para variáveis relacionadas à equivalência. As classes de equivalência de uma relação de equivalência podem substituir uma a outra, mas não indivíduos dentro de uma classe.
*Uma ordem parcial estrita é [[Relação binária#Reflexividade|irreflexiva]], transitiva e assimétrica.
*Uma [[relação de equivalência parcial]] é transitiva e simétrica. Transitiva e simétrica implica reflexiva se e somente se para todo ''a ∈ X'', existe um ''b ∈ X'' tal que ''a ~ b''.
*Uma relação reflexiva e simétrica é uma [[relação de dependência]], se [[Finitismo|finita]], e uma [[relação de tolerância]], se [[Infinito|infinita]].
*Uma [[pré-ordem]] é reflexiva e transitiva.
*Uma [[relação de congruência]] é uma relação de equivalência cujo domínio ''X'' é também o conjunto subjacente para uma estrutura algébrica e que respeita a estrutura adicional. Em geral, as relações de congruência desempenham o papel de núcleos de [[homomorfismo]]s, e o quociente de uma estrutura por uma relação de congruência pode ser formado. Em muitos casos importantes, as relações de congruência têm uma representação alternativa como subestruturas da estrutura na qual elas são definidas. Por exemplo. as relações de congruência nos grupos correspondem aos subgrupos normais.
*Qualquer relação de equivalência é a [[negação]] de uma [[relação de separação]], embora a afirmação inversa se mantenha apenas na matemática clássica (em oposição à matemática construtiva), uma vez que é equivalente à lei do terceiro excluído.
*Uma [[relação de série]] ~ satisfaz ∀ ''a'' ∃ ''b''  ''a ~ b''. Evidentemente, é suficiente que uma relação de série seja simétrica e transitiva, pois também é reflexiva. De fato, desde que a relação é de série, todo elemento está na relação. Então, usando simetria, a reflexividade pode ser concluída a partir da transitividade, identificando a primeira e a terceira variáveis no [[axioma]] transitivo. Portanto, uma relação de equivalência pode ser alternativamente definida como uma relação de série, transitiva e simétrica.

== Bem definida sob uma relação de equivalência ==

Se ~ é uma relação de equivalência em ''X'', e ''P(x)'' é uma propriedade de elementos de ''X'', tal que, quando ''x ~ y'', ''P(x)'' é verdadeiro se ''P(y)'' é verdadeiro, então a propriedade ''P'' é dita como sendo bem definida ou invariante de classe sob a relação.

Um caso particular frequente ocorre quando ''f'' é uma função de ''X'' para outro conjunto ''Y''; se ''x<sub>1</sub>'' ~ ''x<sub>2</sub>'' implica ''f(x<sub>1</sub>)'' = ''f(x<sub>2</sub>)'' então ''f'' é dito ser um [[Morfismo (teoria das categorias)|morfismo]] a ~, uma classe invariante sob ~, ou simplesmente invariante sob ~. Isto ocorre, por exemplo, na teoria dos caracteres de grupos finitos. O último caso com a função ''f'' pode ser expresso por um triângulo comutativo <sub>([[invariante]])</sub>. Alguns autores usam "compatível com ~" ou apenas "respeitando ~" em vez de "invariante sob ~".

Mais geralmente, uma função pode mapear argumentos equivalentes (sob uma relação de equivalência ~<sub>A</sub>) para valores equivalentes (sob uma relação de equivalência ~<sub>B</sub>). Tal função é conhecida como morfismo de ~<sub>A</sub> a ~<sub>B</sub>.

== Classe de equivalência, conjunto quociente, partição ==
Sejam <math>a,b\in X</math>. Algumas definições:

=== Classe de equivalência ===
{{main|Classe de equivalência}}
Um [[subconjunto]] ''Y'' de ''X'' tal que ''a'' ~ ''b'' vale para todos ''a'' e ''b'' em ''Y'', e nunca para ''a'' em ''Y'' e ''b'' fora de ''Y'', é chamado uma '''classe de equivalência''' de ''X'' por ~. Seja <math>[a] := \{x \in X \mid a \sim x\}</math> denota a classe de equivalência a qual pertence. Todos os elementos de ''X'' equivalentes são também elementos da mesma classe de equivalência.

=== Conjunto quociente ===
{{main|Conjunto quociente}}
O conjunto de todas as classes de equivalência possíveis de ''X'' por ~, denotado <math> X/\mathord{\sim} := \{[x] \mid x \in X\}</math>, é o '''conjunto quociente''' de ''X'' por ~. Se ''X'' é um [[Espaço topológico quociente|espaço topológico]], existe um modo natural de transformar ''X/~'' em um espaço topológico <sub>(veja [[Espaço topológico quociente|espaço quociente]] para mais detalhes)</sub>.

=== Projeção ===
{{main|Projeção (álgebra relacional)}}
A '''projeção''' de ~ é a função <math>\pi: X \to X/\mathord{\sim} </math> definida por <math>\pi(x) = [x]</math>que mapeia elementos de ''X'' em suas respectivas classes de equivalência por ~.

:'''Teorema''' sobre projeções:<ref>[[Garrett Birkhoff]] and [[Saunders Mac Lane]], 1999 (1967). ''Algebra'', 3rd ed. p.&nbsp;35, Th. 19. Chelsea.</ref>  Seja a função ''f:X → B'' tal que ''a ~ b → f(a) = f(b)''. Então existe uma função única ''g:X/~ → B'', tal que ''f = gπ''. Se ''f'' é uma [[Função sobrejectiva|sobrejeção]] e ''a ~ b ↔ f(a) = f(b)'', então ''g'' é uma [[Função bijectiva|bijeção]].

=== Equivalência kernel ===
A '''equivalência kernel''' de uma função ''f'' é a relação de equivalência definida por <math>x\sim y \iff f(x) = f(y)</math>. O núcleo de equivalência de uma [[Função injectiva|injeção]] é a relação de identidade.

=== Partição ===
{{main|Partição de um conjunto}}
Uma '''partição''' de ''X'' é um conjunto ''P'' de subconjuntos não-vazios de ''X'', de forma que todo elemento de ''X'' é um elemento de um único elemento de ''P''. Cada elemento de ''P'' é uma célula da partição. Além disso, os elementos de ''P'' são separados por pares e sua união é ''X''.

==== Contando partições possíveis ====
Seja ''X'' um conjunto finito com ''n'' elementos. Como toda relação de equivalência sobre ''X'' corresponde a uma partição de ''X'' e vice-versa, o número de relações de equivalência possíveis em ''X'' é igual ao número de partições distintas de ''X'', que é o ''n''-ésimo [[número de Bell]] B<sub>n</sub>:

: <math>B_n = \frac{1}{e}\sum_{k=0}^\infty \frac{k^n}{k!},</math>

onde o acima é uma das maneiras de escrever o ''n''-ésimo número de Bell.

== Teorema fundamental das relações de equivalência ==

Um resultado chave liga relações de equivalência e partições:<ref>Wallace, D. A. R., 1998. ''Groups, Rings and Fields''. p.&nbsp;31, Th. 8. Springer-Verlag.</ref><ref>Dummit, D. S., and Foote, R. M., 2004. ''Abstract Algebra'', 3rd ed. p.&nbsp;3, Prop. 2. John Wiley & Sons.</ref><ref>[[Karel Hrbacek]] & [[Thomas Jech]] (1999) ''Introduction to Set Theory'', 3rd edition, pages 29–32, [[Marcel Dekker]]</ref>
*Uma relação de equivalência ~ em um conjunto ''X'' partições ''X''.
*Por outro lado, correspondendo a qualquer partição de ''X'', existe uma relação de equivalência ~ em ''X''.

Em ambos os casos, as células da partição de ''X'' são as classes de equivalência de ''X'' por ~. Como cada elemento de ''X'' pertence a uma célula única de qualquer partição de ''X'', e como cada célula da partição é idêntica a uma classe de equivalência de ''X'' por ~, cada elemento de ''X'' pertence a uma classe de equivalência única de ''X'' por ~. Assim, há uma [[Função bijectiva|bijeção]] natural entre o conjunto de todas as possíveis relações de equivalência em ''X'' e o conjunto de todas as partições de ''X''.

== Comparando relações de equivalência ==
Se ~ e ≈ são duas relações de equivalência no mesmo conjunto ''S'', e ''a ~ b'' implica ''a≈b'' para todo ''a, b ∈ S'', então ≈ é dito ser uma relação mais grosseira do que ~, e ~ é uma relação mais fina que ≈ . Equivalentemente,

* ~ é mais fino do que ≈ se toda classe de equivalência de ~ é um subconjunto de uma classe de equivalência de ≈, e, portanto, toda classe de equivalência de ≈ é uma união de classes de equivalência de ~.
* ~ é mais fino que ≈ se a partição criada por ~ for um refinamento da partição criada por ≈.

A relação de equivalência de igualdade é a melhor relação de equivalência em qualquer conjunto, enquanto a relação trivial que torna todos os pares de elementos relacionados é a mais grosseira.

A relação "~ é mais fina que ≈" na coleção de todas as relações de equivalência em um conjunto fixo é em si uma relação de ordem parcial, que torna a coleção uma rede geométrica.<ref>{{citation|título=Lattice Theory|volume=25|series=Colloquium Publications|publicado=American Mathematical Society|primeiro =Garrett|último =Birkhoff|autorlink =Garrett Birkhoff|edição=3rd|ano=1995|isbn=9780821810255}}. Sect. IV.9, Theorem 12, page 95</ref>

== Gerando relações de equivalência ==

Dada qualquer relação binária <math>A \subset X \times X</math> em <math> X </math>,  a '''relação de equivalência gerada''' por '''<math>A</math>''' é a intersecção das relações de equivalência em <math>X</math> que contêm <math> A</math>. (Já que <math>X \times X</math> é uma relação de equivalência, a interseção é não trivial.)

* Dado qualquer conjunto ''X'', existe uma relação de equivalência sobre o conjunto ''[X → X]'' de todas as funções possíveis ''X → X''. Duas dessas funções são consideradas equivalentes quando seus respectivos conjuntos de pontos de fixação possuem a mesma cardinalidade, correspondendo a ciclos de comprimento um em uma permutação. Funções equivalentes desta maneira formam uma classe de equivalência em ''[X → X]'', e estas classes de equivalência particionam ''[X → X]''.
* Uma relação de equivalência em ''X'' é o núcleo de equivalência de sua projeção [[Função sobrejectiva|sobrejetiva]] ''π: X → X/~''.<ref>[[Garrett Birkhoff]] and [[Saunders Mac Lane]], 1999 (1967). ''Algebra'', 3rd ed. p.&nbsp;33, Th. 18. Chelsea.</ref> Por outro lado, qualquer sobrejeção entre conjuntos determina uma partição em seu domínio, o conjunto de pré-imagens de [[Conjunto unitário|unidades]] no [[contradomínio]]. Assim, uma relação de equivalência sobre ''X'', uma partição de ''X'' e uma projeção cujo domínio é ''X'', são três formas equivalentes de especificar a mesma coisa.
* A interseção de qualquer coleção de relações de equivalência sobre ''X'' (relações binárias vistas como um subconjunto de ''X × X'') também é uma relação de equivalência. Isto produz uma maneira conveniente de gerar uma relação de equivalência: dada qualquer relação binária ''R'' em ''X'', a relação de equivalência gerada por ''R'' é a menor relação de equivalência contendo ''R''. Concretamente, ''R'' gera a relação de equivalência ''a ~ b'' se e somente se existirem elementos ''x<sub>1</sub>, x<sub>2</sub>,…, x<sub>n</sub>'' em ''X'' tal que ''a = x<sub>1</sub>'', ''b = x<sub>n</sub>'', e ''(x<sub>i</sub>, x<sub>i+1</sub>) ∈ R'' ou ''(x<sub>i+1</sub>, x<sub>i</sub>) ∈ R'', ''i = 1,…, n-1''.

Observe que a relação de equivalência gerada dessa maneira pode ser trivial. Por exemplo, a relação de equivalência gerada por qualquer ordem total em ''X'' tem exatamente uma classe de equivalência, ''X'' em si, porque ''x ~ y'' para todo ''x'' e ''y''. Como outro exemplo, qualquer subconjunto da relação de identidade em ''X'' tem classes de equivalência que são unidades de ''X''.

* Relações de equivalência podem construir novos espaços "colando coisas". Seja ''X'' a unidade cartesiana quadrada [0, 1] × [0, 1], e seja a relação de equivalência em ''X'' definida por ∀''a, b'' ∈ [0, 1] ((''a'', 0) ~ (''a'', 1) ∧ (0, ''b'') ~ (1, ''b'')). Então o espaço quociente ''X/~'' pode ser naturalmente identificado ([[homeomorfismo]]) com um [[Toro (topologia)|toro]]: pegue um pedaço quadrado de papel, dobre e cole a borda superior e inferior para formar um cilindro, então dobre o cilindro resultante para colar o seu duas extremidades abertas, resultando em um toro.

== Estrutura algébrica ==
Grande parte da matemática está fundamentada no estudo de equivalências e relações de ordem. A teoria da retícula captura a estrutura matemática das relações de ordem. Embora as relações de equivalência sejam tão onipresentes na matemática quanto as relações de ordem, a estrutura algébrica das equivalências não é tão conhecida quanto a das ordens. A estrutura anterior baseia-se principalmente na teoria dos grupos e, em menor escala, na teoria das redes, categorias e grupos.

=== Teoria dos grupos ===
Assim como as relações de ordem são fundamentadas em conjuntos ordenados, conjuntos fechados sob [[supremo e ínfimo]] pareados, as relações de equivalência são fundamentadas em conjuntos particionados, que são conjuntos fechados sob bijeções que preservam a estrutura da partição. Como todas essas bijeções mapeiam uma classe de equivalência em si mesmas, essas bijeções também são conhecidas como permutações. Assim, os grupos de permutação (também conhecidos como grupos de transformação) e a noção relacionada de órbita esclarecem a estrutura matemática das relações de equivalência.

Seja '~' denota uma relação de equivalência sobre algum conjunto não vazio, chamado universo ou conjunto subjacente. Seja G o conjunto de funções bijetivas sobre A que preservam a estrutura de partição de A: ∀x ∈ A ∀g ∈ G (g (x) ∈ [x]). Então, os três teoremas conectados a seguir mantêm-se:<ref>Rosen (2008), pp.&nbsp;243–45. Less clear is §10.3 of [[Bas van Fraassen]], 1989. ''Laws and Symmetry''. Oxford Univ. Press.</ref>

* ~ partições ''A'' em classes de equivalência. (Este é o ''Teorema Fundamental das Relações de Equivalência'', mencionado acima);
* Dada uma partição de ''A'', ''G'' é um grupo de transformação em composição, cujas órbitas são as células da partição;{{#tag:ref|
''Proof''.<ref>Bas van Fraassen, 1989. ''Laws and Symmetry''. Oxford Univ. Press: 246.</ref> Deixe que [[composição da função]] interprete a multiplicação do grupo e a função inversa interprete o inverso do grupo. Então '' G '' é um grupo em composição, significando que ∀''x '' ∈ '' A '' ∀''g '' ∈ '' G '' (['' g '' ('' x ' ')] = [' 'x' ']), porque' 'G' 'satisfaz as quatro condições seguintes:
* '' G está fechado na composição ''. A composição de quaisquer dois elementos de '' G '' existe, porque o [[domínio (matemática) | domínio]] e [[codomain]] de qualquer elemento de '' G '' é '' A ''. Além disso, a composição das bijeções é [[bijetiva]];<ref>Wallace, D. A. R., 1998. ''Groups, Rings and Fields''. Springer-Verlag: 22, Th. 6.</ref>
* '' Existência de [[função de identidade]] ''. A função [[identidade]], '' eu '' ('' x '') = '' x '', é um elemento óbvio de '' G '';
* '' Existência de [[função inversa]] ''. Cada [[função bijetiva]] '' g '' tem um inverso '' g '' <sup> & menos; 1 </ sup>, tal que '' gg '' <sup> −1 </ sup> = ''I'';
* '' Composição [[associatividade | associados]] ''. '' f '' ('' gh '') = ('' fg '') '' h ''. Isso vale para todas as funções em todos os domínios.<ref>Wallace, D. A. R., 1998. ''Groups, Rings and Fields''.  Springer-Verlag: 24, Th. 7.</ref>
Let ''f'' and ''g'' be any two elements of ''G''. By virtue of the definition of ''G'', [''g''(''f''(''x''))] = [''f''(''x'')] and [''f''(''x'')] = [''x''], so that [''g''(''f''(''x''))] = [''x'']. Hence ''G'' is also a transformation group (and an [[automorphism group]]) because function composition preserves the partitioning of ''A''.

<math>\square</math>}}

* Dado um grupo de transformação ''G'' sobre ''A'', existe uma relação de equivalência sobre ''A'', cujas classes de equivalência são as órbitas de ''G''.<ref>Wallace, D. A. R., 1998. ''Groups, Rings and Fields''. Springer-Verlag: 202, Th. 6.</ref><ref>Dummit, D. S., and Foote, R. M., 2004. ''Abstract Algebra'', 3rd ed. John Wiley & Sons: 114, Prop. 2.</ref>

Em suma, dada uma relação de equivalência entre '' A '', existe um [[grupo de transformação]] '' G '' sobre '' A '' cujas órbitas são as classes de equivalência de '' A '' sob ~.

Essa caracterização do grupo de transformação das relações de equivalência difere fundamentalmente da maneira como as [redes] (lattice - lattice) caracterizam as relações de ordem. Enquanto isso, os argumentos das operações do grupo de transformação [[Composição de funções|composição]] e[[função inversa | inversão]] são elementos de um conjunto de bijeções, '' A '' → '' A ''.

Movendo-se para grupos em geral, deixe '' H '' ser um [[subgrupo]] de algum [[grupo (matemática) | grupo]] '' G ''. Seja uma relação de equivalência em '' G '', tal que '' a '' ~ '' b '' ↔ ('' ab''<sup>−1</sup> ∈ '' H ''). As classes de equivalência de ~ — também chamadas de órbitas da [[Ação de grupo (matemática) | ação]] de '' H '' em '' G '' — são as direitas '' 'subconjunto s '' 'de' 'H' 'em' 'G' '. Intercambiando '' a '' e '' b '' produz os subconjuntos restantes.

O pensamento relacionado pode ser encontrado em Rosen (2008: cap. 10).

=== Categorias e Grupóides ===
Seja ''G'' um conjunto e deixe "~" denotar uma relação de equivalência sobre ''G''. Então podemos formar um grupóide representando essa relação de equivalência como segue. Os objetos são os elementos de ''G'', e para quaisquer dois elementos ''x'' e ''y'' de ''G'', existe um morfismo único de ''x'' para ''y'' se e somente se ''x ~ y.''

As vantagens de considerar uma relação de equivalência como um caso especial de um grupóide incluem:

*Considerando que a noção de "relação de equivalência livre" não existe, aquela de um grupóide livre em um grafo dirigido faz. Assim, é significativo falar de uma "apresentação de uma relação de equivalência", isto é, uma apresentação do correspondente grupóide;
* Grupos de grupos, grupos de ação, conjuntos e relações de equivalência podem ser considerados como casos especiais da noção de grupóide, um ponto de vista que sugere várias analogias;
*Em muitos contextos, "quociente" e, portanto, as relações de equivalência apropriadas, frequentemente chamadas de congruências, são importantes. Isso leva à noção de um grupóide interno em uma categoria.<ref>Borceux, F. and Janelidze, G., 2001. ''Galois theories'', Cambridge University Press, {{ISBN|0-521-80309-8}}</ref>

==Notas==
{{reflist|30em}}

== Referências ==

*Brown, Ronald, 2006. ''[http://arquivo.pt/wayback/20160514115224/http://www.bangor.ac.uk/r.brown/topgpds.html Topology and Groupoids.]'' Booksurge LLC. {{ISBN|1-4196-2722-8}}.
*Castellani, E., 2003, "Symmetry and equivalence" in Brading, Katherine, and E. Castellani, eds., ''Symmetries in Physics: Philosophical Reflections''. Cambridge Univ. Press: 422-433.
*[[Robert Dilworth]] and Crawley, Peter, 1973. ''Algebraic Theory of Lattices''. Prentice Hall. Chpt. 12 discusses how equivalence relations arise in [[lattice (order)|lattice]] theory.
*Higgins, P.J., 1971. ''[http://www.emis.de/journals/TAC/reprints/articles/7/tr7abs.html Categories and groupoids.]'' Van Nostrand. Downloadable since 2005 as a TAC Reprint.
*[[John Lucas (philosopher)|John Randolph Lucas]], 1973. ''A Treatise on Time and Space''. London: Methuen. Section 31.
*Rosen, Joseph (2008) ''Symmetry Rules: How Science and Nature are Founded on Symmetry''. Springer-Verlag. Mostly chpts. 9,10.
*[[Raymond Wilder]] (1965) ''Introduction to the Foundations of Mathematics'' 2nd edition, Chapter 2-8: Axioms defining equivalence, pp 48–50, [[John Wiley & Sons]].

== Ligações externas ==

* {{springer|title=Equivalence relation|id=p/e036030}}
* [[Alexander Bogomolny|Bogomolny, A.]], "[http://www.cut-the-knot.org/blue/equi.shtml Equivalence Relationship]" [[cut-the-knot]]. Accessed 1 September 2009
* [https://web.archive.org/web/20130509233055/http://planetmath.org/equivalencerelation Equivalence relation] at PlanetMath
* {{OEIS el|1=A231428|2=Binary matrices representing equivalence relations}}

[[Categoria:Teoria dos conjuntos]]