Re: [obm-l] Mais uma vez Zm

[Eric Campos <mathfire2001@xxxxxxxxxxxx>]

"Seja m >1 um inteiro. Para cada  a pertencendo a Zm  
fixado, temos que 

f : Zm ->Zm definida por  f(x) = x+a (mod m) é
bijetora.

Onde: Zm={0,1,2,...,m-1}

(i) f eh injetora.

De fato:
f(x)=f(y)
x+a = y+a (mod m)
x+a-a = y+a-a (mod m)
x = y (mod m)
x = y (em Zm)

donde f(x)=f(y) acarreta x=y

(ii) f eh sobrejetora

Seja x um elemento quaquer de Zm.
Entao x-a estah em Zm e f(x-a)=x.
(lembre-se que em Zm x-a=x-a+km, para
todo inteiro k)
Logo todo x em Zm eh igual a f(x-a),
donde f eh sobrejetora.

Como f eh injetora e sobrejetora,
f eh bijetiva.

[]'s

Eric.

==========================================
http://geocities.yahoo.com.br/mathfire2001
www.mathfire.pop.com.br
Enciclopedia de Matematica - Aulas
Formulas para primos - Grupos de Estudo
Projeto Matematica para Todos
mathfire2001@yahoo.com.br
MSN: eric1729@hotmail.com
==========================================


	



	
		
_______________________________________________________ 
Yahoo! Acesso Grátis: Internet rápida e grátis. 
Instale o discador agora!
http://br.acesso.yahoo.com/

=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================