Loading AI tools
conjunto de elementos relacionados por equivalência Da Wikipédia, a enciclopédia livre
Em matemática, dado um conjunto com uma relação de equivalência , a classe de equivalência de um elemento é o subconjunto de todos os elementos de que são equivalentes a .
Esta página ou seção foi marcada para revisão devido a incoerências ou dados de confiabilidade duvidosa. (Março de 2008) |
Podemos reunir todas as classes de equivalência de X em um conjunto chamado conjunto quociente de X:
Note que, como para cada elemento podemos associar um elemento de , existe uma função natural de . Esta função é chamada de projeção canônica.
Uma questão importante com uma resposta não trivial é em que condições podemos escolher, para cada classe de equivalência, um único elemento, formando, assim, um conjunto de representantes?
Para ilustrar, vamos construir o conjunto de Vitali: ele parte da relação de equivalência em definida por , e tenta obter um elemento de cada classe de equivalência. O problema é que não existe nenhuma regra explícita que permite fazer essa escolha.
Na teoria dos conjuntos, esse problema é resolvido pelo axioma da escolha, cuja forma equivalente, para classes de equivalência, é:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.