Relação de equivalência: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
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
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]].
|