Teoria de números/Congruências: diferenças entre revisões
| [revisão pendente] | [revisão pendente] |
Conteúdo apagado Conteúdo adicionado
Pequenas correções |
m WP:BOT: Substituindo sintaxe matemática obsoleta de acordo com mw:Extension:Math/Roadmap |
||
Linha 61:
# <math>\forall x, x \equiv x \!\!\!\!\pmod{m}</math>
# <math>x \equiv y \!\!\!\!\pmod{m} \Rightarrow y \equiv x \!\!\!\!\pmod{m} </math>
# <math>x \equiv y \!\!\!\!\pmod{m} \
De modo geral, é sempre possível construir uma relação de equivalência sobre um conjunto <math>X</math> a partir de uma função cujo domínio seja <math>X</math>. De fato, se for definido que:
Linha 70:
# <math>f(x) = f(x)</math>
# <math>f(x)=f(y) \Rightarrow f(y)=f(x) </math>
# <math>f(x)=f(y) \
E destas propriedades da igualdade seguem as propriedades correspondentes para a relação <math>\sim</math>.
| |||