Académique Documents
Professionnel Documents
Culture Documents
1.
Se supone conocido el conjunto N de los nmeros naturales (comprendido el cero) y definidas en l las operaciones de adicin y multiplicacin. Se han estudiado tambin las propiedades de estas operaciones : 1. Connzutativa: a-}-b=b fia 2. Asoci^t^iuu: (a-{--b)-} c-=a-}-(b--^? 3. Elementos neutros: a-', u==o-;-a=-n. 4. a1 =1a= a ( ab)c=a (bc) ab=ba
no tenen siempre solucin en N. Para que exista un xEN, la. primera exige que b^ a, y la segunda que a I b. Tratamos ahora de construir un conjunto Z, en el cual la ecuacin x-} x== 8 tenga solucin, cualesquiera que sean xEZ y(iEZ.
2.
CONJUNTO N
Recordemos que se llama producto cartesiano, A X B, de dos conjuntos A y B, al conjunto Tormado por todos los pres ordsnados (a, b), aEA y bEB. En particular, el conjunto N X N es el conjunto de todos los pares ordenados de nzineros naturales.
J. R. PASCUAL IBARRA
3.
REPRESENTACION GRAFICA DE N X N
0 ^
^F ...
Si consideramos dos semrrectas de origen comn O, podemos representar el conjunto N X N por los puntos vrtices de un retculo:
I,y
i,^i
^,4
3. ^f
^^4
,3
^;2 ^,^
!,3
!,2 ^,!
z,3
z,2 2,!
3, 3
3,z 3,1
^i, 3
^f,2 ^f,!
D,o
4.
!,Q
z,0
3,0
^io .
RELACION E DE EQUIVALENCIA
En el conjunto producto N X N definiremos la relacin binaria E, anotada H : E: (a,b)^(a`b')^a-^b'=b-^-a'. Se trata d una relacin de equivalencia, pues, en efecto: I. Es reflexiva: a-}-b=b^-a^(a, b)^(a, b).
3^1
g.
REPRESENTACION GRAFICA DE Z
Si ahora damos un giro a la semirrecta Oy hasta colocarla en la prolongacin de la semirrecta Ox, tendremos representado el conjunto Z sobre puntos de la recta Y^.
Y -_-,^
10.
^
-3
+i
+2
^^
;^
^C
( a. b ) -i- ( c, d ) _ ( a -f- c, b -I- d ). a) (a, U) ( c, d ) Propiedad uniforme: (a', b') ^ a-{- b' _= b-}- a' _ ( c ^ , d' ) ^ c -^- d' _= d -^- c' ^ ^ a -}- b' f- c--^ d' = = b -f - a' - ^ d ^- c' ^
( a -{ c ) -^
Si m>n:
^
b) s Si na C n:
362
J. R. PASCUAL IBARRA
esto es: I
c) Sim=n: (m, o) -}- (o, n) _ (m, n) _ (o, o) o lo que es lo mismo : (-^ m) -^ (- m) = o III. (o, m) -}- (o, n) _ (o, m + n) que se puede escribir: I (- m) -I- ( n) _ - (m -{- n) I
(-}- m) -f- (- n) _ - (n - m) I
que constituyen la conocida regla de los signos de ]a adicin de nm.eros enteros. Son inmediatas las propiedades: b) Conmutativa:
I x^-^=^-^x I
c)
Asociativa: I (x-I-^S)^Y-x-i-((^+Y) I
d)
Elemento neutro:
( x--{- O = 0-{- x= x I
e) Elementos opuestos: Cualquiera que sea xEZ, se le puede asociar un x'EZ, tal que:
^ x+x'-O I
En efecto, si
x = _j- m ,_a x, _ - ^n x=-nR.,,x'=-{ n x=OK, x'=0
Por verificarse a), c), d) y e) el conjunto Z es un yrupo aditivo, y por verificarse b) es adems conmutativo.
363
11. ISOMORFISMO ENTRE N y Z+ Podemos establecer la siguiente correspondencia biunvoca entre el conjunto N de los nmeros naturales y el subconjunto Zy de los enteros posttivos: `dn: nEN ,,,, (-}- n)EZ+. Esta correspondencia es compatible con las operacion^ s de adicidn definidas en ambos conjuntos. Es decr, cualesquiera que sean a y b, naturales : a ,^ -^- a b ,^ -}- b a ^-- b ,^ (-}- a) ^- ( + b) _ + (a + b). Por tanto, el semigrupo aditivo N es tsomorfo al semigrupo adtivo Z+. Identificando ambos conjuntos, se tiene: N=Z+cZ.
12.
3 Si b< a, operaremos en el conjunto Z sustituyendo a y b por sus correspondientes en el isomorfismo N,^ Z+:
(a b) X(c, d) _(ac -f- bd, ad -{- bc). a) Propiedad uni for^ne: ac -^ b'c = bc -{- a'c bd -}- a'd = ad -+- b'd a'c -^- a'd' = a'd -^- a'c' b'd -^ b'c' = b'c -f- b'd'
(a, b) _(a', b') ^ a-{- b' = b-}- a' ( c, d) _( c', d' )^ c-}- d' = d-}- c'
36^9
J. R. PASCUAL IBARRA
_> ac + bd -}- a'd' -^- d'c' = bc + ad + a'c' -}- b'd' ^ ^ (ac -}- bd, ad -} bc) -_ (a'c' -F- b'd', a'd' + b'c') ^ ^(a, b) X(c, d) _(a', b") X( c' d'). Por tanto, la multiplicacin, inicialmente d.efinida en el conjunto N X N, es estable frente a la relacin de equivalencia E, o sea, es una operacin definida en Z. El producto x(i es independiente de los elementos elegidos en cada clase. Operando con los elementos cannicos se obtiene : ( ^ m) ( -{- m) (-- m) (- m) (--^- n) _^ -^- ^na n (- n) = - m n (-} n) _- __ na n (- n) _ -}- m n
igual.d.ades que constituyen la conocida "regla de los signas" de la , m.ultiplicacin de nmeros enteros. Son inmediatas, ahora, las propiedades: b) Conmutativa:
xX(i=(i^x.
c)
Asociativa:
(x ^ (i) i^ Y - z x((j i^ '!)
d)
Elemento neutro:
x.
15.
Un conjunto C ^^ dice que tiene estructura de canillo, o que es un anilla cuando en l estn definidas dos operacion^s internas, adicin y m.ultiplicacin, tales que por la primera es un grupo aditivo con mutativo, y la segunda es asociativa y distributiva sobre la pritnera. Cuan.do la segtmda es, adems, conmutativa, el anillo se ll;^ma conmutativo. Si la ^rultiplicacin posee elemento neutro (unidad), es un
^ 65
anillo unitario. Diremos, por tanto, que el conjunto Z es ur. anillo conm.utativo y unitario. Se trata adems de un dominio de integridad, por ser unitario y no tener divisores de cero, o sea, x f^ - 0 implica que x- 0 0(3 = 0. ISOMORFISMO
16.
La correspondencia N,^, Z^ es tambin compatible con la multiplicacin. Por tanto, ambos semigrupos son tambin isomorfos, como en el caso de la adicin, respecto a la operacin de multiplicar: N Z+ a R_, -{-- a b R , --(- b abR^( I_a) (-}-b)_ -{-(ab). 17. OBSERVACION
Por tanto, la ecuacin : a x- b, tampoco tiene solucin en Z cuando a no divide a b. La solucin de esta ecuacin, en el caso general, xige, pues, una ampliacin del conjunto Z, o sea, la construccin del cuerpo Q de los nmeros racionales.
LA ENSENANZA
DE LAS
ti
LENCUAS CLASICAS
(Ed. de la Universidad de Cambridge. Traduccin de Victor Jos Herrero y Jos Mara Belinchn) Ptas. 146 (ei tela)
PEDIDOS ,4: