Relação de equivalência: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Kripmo (discussão | contribs)
m Mudei "idéia" para "ideia", conforme o novo acordo ortográfico.
Linha 8:
:<math>\forall a, b, c \in X,\ a \,R\, b \and b \,R\, c \; \Rightarrow a \,R\, c</math> (transitividade)
 
Uma '''relação de equivalência''' permite [[partição (matemática)|particionar]] o conjunto em [[classe de equivalência|classes de equivalência]];<ref name="watkins" /> esta construção é muito importante para gerar vários conjuntos quocientes, como [[grupo quociente|grupos quocientes]] ou [[topologia quociente|topologias quocientes]]. A idéiaideia é partir de um conjunto, em princípio mais complicado, ''X'' e tentar criar um outro conjunto ''Y'', mais simples, que vê elementos distintos de ''X'' como iguais. Então, estudando-se o conjunto mais simples ''Y'' pode-se tirar conclusões sobre ''X''.
 
Descobrir relações de equivalência é fundamental para os matemáticos entenderem certas classes de objetos. Como exemplos, temos a congruência dos inteiros ("descoberta" por [[Gauss]]), que é ferramenta básica para entendermos certos teoremas em [[Teoria dos Números]], e a congruência de triângulos (conhecida desde [[Euclides]]), importante pilar da [[geometria]].