Calculadora de Relações de Equivalência

Verifique as propriedades reflexiva, simétrica e transitiva e, em seguida, construa o fecho.

Os resultados são calculados automaticamente conforme você informa os dados.

Elementos do universo
Elemento
Pares da relação

Verificações das propriedades e etapas de correção
Resultado Informe um universo e uma relação.

▼ Veja explicações e dicas abaixo ▼

Calculadoras relacionadas

O que é uma relação de equivalência?

Uma relação de equivalência é um tipo especial de relação em um conjunto. Ela é usada quando elementos diferentes devem ser tratados como pertencentes ao mesmo grupo de acordo com uma regra precisa.

Comece com um conjunto \(A\). Uma relação binária \(R\) em \(A\) é uma coleção de pares ordenados de \(A \times A\) . Se \((a,b) \in R\), então \(a\) está relacionado a \(b\).

Uma relação se torna uma relação de equivalência quando se comporta como uma forma generalizada de igualdade. A relação deve satisfazer três condições:

  • Todo elemento está relacionado a si mesmo.
  • Se um elemento está relacionado a outro, a relação também funciona na direção inversa.
  • Se um elemento está relacionado a um segundo, e o segundo está relacionado a um terceiro, então o primeiro está relacionado ao terceiro.

Essas três condições são chamadas de reflexividade, simetria e transitividade. Quando as três são satisfeitas, a relação divide o conjunto em grupos sem sobreposição chamados classes de equivalência.

Por exemplo, nos números inteiros, “tem o mesmo resto quando dividido por \(3\)” é uma relação de equivalência. Os inteiros são divididos em três classes: números congruentes a \(0\), números congruentes a \(1\), e números congruentes a \(2\) módulo \(3\).

Por que as relações de equivalência são importantes

As relações de equivalência são úteis porque transformam uma coleção de comparações par a par em grupos bem definidos.

Em vez de verificar todos os pares possíveis indefinidamente, você pode fazer uma pergunta mais simples: a qual classe cada elemento pertence? Quando dois elementos estão na mesma classe de equivalência, eles são equivalentes segundo a regra estudada.

Essa ideia aparece em toda a matemática discreta, na teoria dos conjuntos, na teoria dos números, na álgebra abstrata, na teoria dos grafos e na ciência da computação. Ela também é uma técnica comum de demonstração: depois que você prova que uma relação é reflexiva, simétrica e transitiva, obtém automaticamente uma partição do conjunto subjacente.

Para conjuntos finitos, as relações de equivalência são especialmente práticas porque podem ser representadas por pares ordenados, matrizes de relação ou classes agrupadas.

Termos importantes

  • Universo: o conjunto de elementos estudados. Nas fórmulas, ele costuma ser chamado de \(A\).
  • Par ordenado: um par como \((a,b)\) em que a ordem importa. Em geral, \((a,b)\) e \((b,a)\) são pares diferentes.
  • Relação binária: um conjunto de pares ordenados. Uma relação \(R\) em \(A\) é um subconjunto de \(A \times A\).
  • Reflexiva: todo elemento se relaciona consigo mesmo.
  • Simétrica: sempre que \(a\) se relaciona com \(b\), \(b\) também se relaciona com \(a\).
  • Transitiva: sempre que \(a\) se relaciona com \(b\) e \(b\) se relaciona com \(c\), \(a\) também se relaciona com \(c\).
  • Relação de equivalência: uma relação reflexiva, simétrica e transitiva.
  • Classe de equivalência: o grupo de todos os elementos equivalentes a um elemento escolhido.
  • Partição: uma forma de dividir um conjunto em blocos não vazios e sem sobreposição cuja união é o conjunto inteiro.
  • Matriz de relação: uma matriz \(0\)-\(1\) em que as linhas e colunas representam elementos. Um \(1\) significa que o elemento da linha está relacionado ao elemento da coluna.
  • Fecho de equivalência: a menor relação de equivalência que contém uma determinada relação.
  • Congruência módulo \(n\) : uma relação em que dois inteiros são equivalentes quando sua diferença é divisível por \(n\).

Como funcionam as relações de equivalência

Seja \(A\) um conjunto, e seja \(R\) uma relação em \(A\) . Para verificar se \(R\) é uma relação de equivalência, teste as três propriedades que a definem.

Uma relação é reflexive quando todo elemento tem seu par consigo mesmo:

$$ \forall a \in A,\ (a,a) \in R $$

Uma relação é symmetric quando todo par relacionado tem seu par inverso:

$$ (a,b) \in R \implies (b,a) \in R $$

Uma relação é transitive quando toda cadeia de dois passos tem o par direto necessário:

$$ (a,b) \in R \land (b,c) \in R \implies (a,c) \in R $$

Se as três afirmações forem verdadeiras, \(R\) é uma relação de equivalência.

Para uma relação de equivalência, a classe de equivalência de \(a\) pode ser escrita como:

$$ [a]_R = \{x \in A : (a,x) \in R\} $$

Isso significa que \([a]_R\) contém todos os elementos relacionados a \(a\) . Como as relações de equivalência são simétricas e transitivas, duas classes quaisquer são exatamente iguais ou totalmente disjuntas. Por isso, as classes de equivalência formam uma partição do conjunto.

A relação também funciona no sentido inverso. Se um conjunto já estiver dividido em blocos, você pode definir uma relação de equivalência dizendo que dois elementos estão relacionados exatamente quando estão no mesmo bloco.

Menor fecho de equivalência

Uma relação que falha em um ou mais testes muitas vezes pode ser corrigida adicionando-se os pares ausentes. O menor fecho de equivalência é a relação que contém a relação original e adiciona apenas os pares necessários para torná-la reflexiva, simétrica e transitiva.

Para uma relação finita, uma forma de entender o fecho é tratar cada par relacionado como uma conexão entre elementos. Elementos conectados por cadeias devem terminar na mesma classe do fecho. Então cada classe do fecho \(C\) é completada adicionando-se todos os pares ordenados de \(C \times C\):

$$ C \times C = \{(x,y) : x \in C \text{ and } y \in C\} $$

Essa conclusão garante que todo elemento da classe esteja relacionado a todos os outros elementos dela, inclusive a si mesmo.

Congruência módulo \(n\)

Congruência módulo \(n\) é um exemplo clássico de relação de equivalência nos inteiros. Para um módulo inteiro \(n \ge 2\):

$$ a \equiv b \pmod n \quad \text{means} \quad n \mid (a-b) $$

Em termos simples, \(a\) e \(b\) are congruent módulo \(n\) quando têm o mesmo resto após a divisão por \(n\) . Por exemplo, \(14 \equiv 2 \pmod 4\) porque \(14-2=12\), e \(12\) é divisível por \(4\).

Exemplos práticos de relações de equivalência

Exemplo 1: uma relação que já é uma relação de equivalência

Seja:

$$ A = \{1,2,3\} $$

and

$$ R = \{(1,1),(2,2),(3,3),(1,2),(2,1)\} $$

Verifique as três propriedades:

  • Reflexiva: \((1,1)\), \((2,2)\), e \((3,3)\) estão todos presentes.
  • Simétrica: \((1,2)\) e \((2,1)\) estão ambos presentes.
  • Transitiva: o único grupo relacionado não trivial é \(\{1,2\}\); todos os pares necessários dentro desse grupo estão presentes.

Portanto, \(R\) é uma relação de equivalência.

Suas classes de equivalência são:

$$ \{1,2\} \mid \{3\} $$

A barra vertical é apenas um separador legível entre as classes.

Exemplo 2: uma relação que precisa de pares de correção

Seja:

$$ A = \{a,b,c\} $$

and

$$ R = \{(a,b),(b,c)\} $$

Essa relação não é reflexiva porque faltam \((a,a)\), \((b,b)\), e \((c,c)\).

Ela não é simétrica porque contém \((a,b)\) mas não contém \((b,a)\), e it contains \((b,c)\) mas não contém \((c,b)\).

Ela não é transitiva porque \((a,b)\) e \((b,c)\) juntos exigem \((a,c)\).

Os pares originais conectam \(a\), \(b\), e \(c\) em uma única classe do fecho:

$$ C = \{a,b,c\} $$

O menor fecho de equivalência deve conter todos os pares de \(C \times C\):

$$ C \times C = \{(a,a),(a,b),(a,c),(b,a),(b,b),(b,c),(c,a),(c,b),(c,c)\} $$

A relação original já continha \((a,b)\) e \((b,c)\),; portanto, os pares de correção são:

$$ \{(a,a),(a,c),(b,a),(b,b),(c,a),(c,b),(c,c)\} $$

Isso corresponde a \(7\) pares de correção.

Exemplo 3: classes de congruência com inteiros negativos

Seja:

$$ A = \{-3,-2,-1,0,1,2,3\} $$

Use a congruência módulo \(3\). Dois números estão relacionados quando sua diferença é divisível por \(3\).

Por exemplo:

$$ -2 \equiv 1 \pmod 3 $$

porque:

$$ -2 - 1 = -3 $$

e \(-3\) é divisível por \(3\).

As classes neste universo finito são:

$$ \{-3,0,3\} \mid \{-2,1\} \mid \{-1,2\} $$

Estes são os grupos de mesmo resto, restritos aos elementos que realmente estão em \(A\).

Como interpretar o resultado

Uma relação é uma relação de equivalência somente quando é aprovada nos testes de reflexividade, simetria e transitividade.

Se o resultado indicar que a relação é uma relação de equivalência, as classes listadas são as classes de equivalência reais da relação. A contagem de pares de correção deve ser \(0\) porque nenhum par ordenado extra é necessário.

Se o resultado indicar que a relação ainda não é uma relação de equivalência, os cartões das propriedades que falharam explicam o motivo. A contagem de pares de correção informa quantos pares ordenados devem ser adicionados para criar o menor fecho de equivalência.

As classes listadas em um caso com falha são classes do fecho. Elas mostram como os elementos seriam agrupados depois que a relação fosse completada, mas não provam necessariamente que a relação original já satisfazia as três propriedades.

A matriz de relação mostra a relação atual usando \(1\) e \(0\) entradas. Um \(1\) significa que o elemento da linha está relacionado ao elemento da coluna. A \(0\) significa que esse par ordenado não está atualmente na relação. A menos que a relação já estivesse completa, não confunda a matriz exibida com a matriz do fecho completo.

Os diagnósticos das propriedades são pistas concretas. A ausência de um par consigo mesmo aponta para um problema de reflexividade. A ausência do par inverso aponta para um problema de simetria. A ausência do par direto exigido por uma cadeia de dois passos aponta para um problema de transitividade.

Os resultados matemáticos são exatos. As verificações de propriedades, as contagens de classes, as entradas da matriz e as contagens de pares de correção não usam arredondamento decimal.

Erros comuns e equívocos

Um erro comum é esquecer os pares consigo mesmos. Para uma relação em \(\{a,b,c\}\) ser reflexiva, ela deve incluir todos os pares \((a,a)\), \((b,b)\), e \((c,c)\).

Outro erro é verificar apenas uma direção. Se \((a,b)\) estiver na relação, a simetria exige \((b,a)\) também. A ordem do par importa.

A transitividade costuma ser a propriedade mais fácil de ignorar. Se \((a,b)\) e \((b,c)\) estão ambos presentes; então \((a,c)\) também deve estar presente. Esse requisito se aplica a toda cadeia possível na relação.

Na forma matricial, a ordem das linhas e colunas importa. Se o universo estiver listado como \(a,b,c\), então the entry in row \(a\), coluna \(c\) representa \((a,c)\) . Alterar a ordem muda a forma como a matriz deve ser lida.

Os pares devem usar elementos do universo. Um par como \((a,d)\) não é válido para um universo que contém apenas \(a\), \(b\), e \(c\).

O modo de regra de congruência exige elementos com valores inteiros. Rótulos decimais, rótulos não numéricos e módulos não inteiros não se encaixam na relação usual de congruência módulo.

Por fim, não presuma que as classes do fecho significam que a relação original foi aprovada. As classes do fecho descrevem o agrupamento depois que o menor fecho de equivalência é formado. A relação original é uma relação de equivalência somente se as três verificações de propriedades forem aprovadas antes da adição dos pares de correção.

Quando usar relações de equivalência

Use relações de equivalência quando precisar decidir se uma regra agrupa os elementos de maneira consistente.

Usos comuns incluem:

  • Verificar exercícios ou exemplos de matemática discreta, teoria dos conjuntos ou álgebra abstrata.
  • Encontrar classes de equivalência a partir de pares ordenados ou de uma matriz de relação.
  • Entender partições de um conjunto finito.
  • Estudar a congruência módulo \(n\) e classes de mesmo resto.
  • Encontrar a menor relação de equivalência que contém uma relação quase correta.
  • Comparar representações de relações, como pares ordenados e uma \(0\)-\(1\) matriz.

As relações de equivalência são especialmente úteis quando a pergunta principal não é “quais pares estão listados?” but “quais elementos pertencem juntos?”

Limitações e pontos importantes

Esta calculadora trabalha com um universo finito. Ela verifica a relação apenas nos elementos informados.

O universo não pode ser vazio, entradas duplicadas são rejeitadas e ele é limitado a \(18\) elementos para facilitar a leitura.

Nos modos de pares ordenados e matriz, os elementos são rótulos distintos, portanto rótulos duplicados são rejeitados. Cada célula da matriz de relação deve ser explicitamente \(0\) ou \(1\) . No modo de regra de congruência, os elementos do universo devem ser inteiros seguros, com um rótulo por inteiro, e o módulo deve ser um inteiro seguro de pelo menos \(2\).

No modo matricial, um \(1\) significa que o elemento da linha está relacionado ao elemento da coluna e a \(0\) significa que não está. Cada célula da matriz deve ser explicitamente \(0\) ou \(1\); células em branco são rejeitadas.

No modo de pares ordenados, podem ser informados zero ou mais pares, e cada par informado deve usar elementos do universo atual. Uma relação de pares vazia é analisada normalmente.

As matrizes importadas devem corresponder exatamente ao tamanho do universo atual. Os pares importados também devem se referir apenas a elementos que já estejam no universo.

A calculadora fornece diagnósticos das propriedades e etapas de construção do fecho, mas não substitui uma demonstração escrita em uma disciplina que a exija. Use os diagnósticos para entender o que está acontecendo e depois escreva o argumento em termos de reflexividade, simetria e transitividade.

Listas muito grandes de pares de correção ou diagnósticos podem ser encurtadas nas tabelas exibidas. A contagem continua sendo o resumo importante, mas uma exibição truncada pode não mostrar todos os pares ausentes.

As coordenadas visuais do grafo e os detalhes de renderização da imagem podem usar formatação decimal, mas as verificações da relação e os resultados das classes são resultados matemáticos exatos.

Como usar esta calculadora

  1. Informe os elementos do universo ou cole-os/importe-os, se for mais fácil.
  2. Escolha o modo de entrada da relação: pares ordenados, matriz de relação ou regra de congruência.
  3. No modo de pares ordenados, adicione cada par escolhendo seu primeiro e seu segundo elemento.
  4. No modo matricial, informe \(1\) where o elemento da linha está relacionado ao elemento da coluna e \(0\) quando não estiver.
  5. No modo de regra de congruência, informe um módulo inteiro de pelo menos \(2\) e use elementos inteiros no universo.
  6. Revise o resultado principal, os cartões das propriedades, os diagnósticos, as classes de equivalência ou do fecho e a contagem de pares de correção.
  7. Use o diagrama visual das classes ou a opção de download se precisar de uma representação em forma de partição.

Perguntas frequentes

Quais são os três requisitos de uma relação de equivalência?

A relation must be reflexive, symmetric, e transitive. Reflexive significa que every element se relaciona com si mesmo. Symmetric significa que every pair works in both directions. Transitive significa que every two-step chain has the required direct pair.

As classes de equivalência são sempre disjuntas?

Para uma relação de equivalência, sim. Duas classes de equivalência quaisquer são exatamente a mesma classe ou não têm elementos em comum. É por isso que as classes de equivalência formam uma partição do conjunto subjacente.

O que significa o menor fecho de equivalência?

O menor fecho de equivalência é a relação completa obtida adicionando a menor quantidade possível de pares ordenados necessários para que a relação se torne reflexiva, simétrica e transitiva. Ele deve conter a relação original, mas não deve adicionar pares sem relação além do que as três propriedades exigem.

Uma contagem zero de pares de correção significa que a relação já é uma relação de equivalência?

Sim. Se nenhum par de correção for necessário, a relação já contém os pares exigidos para reflexividade, simetria e transitividade. Todos os cartões das propriedades devem ser aprovados.

How is congruence módulo \(n\) é uma relação de equivalência?

Para inteiros, \(a \equiv b \pmod n\) significa que \(n\) divide \(a-b\). Every integer is congruent to itself, the relationship reverses porque changing the sign of a divisible difference keeps it divisible, e two divisible differences can be added to prove transitivity.

Por que a ordem da matriz importa?

Uma matriz de relação usa a ordem do universo tanto para as linhas quanto para as colunas. A entrada na linha \(a\) e na coluna \(b\) representa the ordered pair \((a,b)\) . Se you read the row ou coluna order incorrectly, you may interpret the wrong pair.

Fontes e referências

Livros e livros didáticos abertos

  1. Richard Hammack. Book of Proof. Terceira edição, edição 3.4, publicada por Richard Hammack em 2018. Capítulo 11, especialmente as seções 11.1–11.5. https://richardhammack.github.io/BookOfProof/Main.pdf
  2. Oscar Levin. Discrete Mathematics: An Open Introduction. 4ª edição, Open Math Books. Seção 2.6, “Relations and Graphs.” https://discrete.openmathbooks.org/dmoi4/sec_gt-relations.html

Fontes educacionais on-line

  1. Alexander Brandt. Discrete Structures for Computing. University of Western Ontario, 2023. Seção 3.3, “Matrices,” especialmente “Relations as Matrices” e “Relational Properties and Matrices.” https://www.csd.uwo.ca/~abrandt5/teaching/DiscreteStructures/Chapter3/matrices.html
  2. University of Basel, Department of Mathematics and Computer Science. “Disjoint-set Data Structure/Union-Find.” Algorithms and Data Structures apostila, 30 de abril de 2026. Slides 22–23, “Connected Components e Equivalence Classes.” https://ai.dmi.unibas.ch/_files/teaching/fs26/ad/slides/ad-c03-handout.pdf