Teoria de números/Congruências: diferenças entre revisões
| [edição verificada] | [revisão pendente] |
Conteúdo apagado Conteúdo adicionado
m hack obsoleto: as fórmulas já aparecem em PNG e não há mais como exibi-las em HTML nem MathML (futuramente teremos MathJax) |
Pequenas correções |
||
Linha 55:
== A congruência vista como uma relação de equivalência ==
A partir da noção de congruência módulo um certo inteiro <math>m</math>, pode-se definir uma relação
:<math>x \sim y \Leftrightarrow x \equiv y \!\!\!\!\pmod{m}</math>
Como será mostrado logo a diante, a relação assim definida satisfaz as propriedades de [[w:reflexividade|reflexividade]], [[w:simetria|simetria]], [[w:transitividade|transitividade]]. Sendo,
# <math>\forall x, x \equiv x \!\!\!\!\pmod{m}</math>
# <math>x \equiv y \!\!\!\!\pmod{m} \Rightarrow y \equiv x \!\!\!\!\pmod{m} </math>
| |||