SEMINARIO DE LGEBRA

CICLO: ANUAL UNI 2002-I

Se conoce que las operaciones de adicin, sustraccin
y multiplicacin estn bien definidas en el conjunto de
los enteros Z, es decir que la suma, diferencia y
producto de 2 nmeros enteros, es otro entero (Ley de
Clausura cerradura).
Ahora, si consideramos un par de nmeros enteros, a
y b (b 0) y establecemos el cociente a b a/b; tal
que:
. 7
4
28
Z. c
b
a
Z 7
4
28
Z. 3
5
15

Pero:
13 2 c que tal Z c existe no que ya Z c
2
13

De ah que la operacin de divisin no este bien
definida en z, siendo necesario definir un nuevo
conjunto donde este incluido Z y estn bien definidas
las operaciones de adicin, sustraccin multiplicacin
y divisin y ampliando Z.
Consideramos el conjunto de pares de entero: (a; b)
con b 0 que denotemos mediante la operacin de
divisin: } 0 { Z z :
b
a
*

0} b b a { Z Z
*

De aqu hay muchos pares ordenados que
aparentemente son diferentes pero que
consideramos como el mismo.
Por ejemplo:
..... ...... .......... .......... ,
6
30
,
5
25
,
4
20
,
3
15
,
2
10
,
1
5
......... .......... .......... ,
42
18
,
35
15
,
28
12
,
21
9
,
14
6
,
7
3
...... .......... .......... ,.........
12
6
,
10
5
,
8
4
,
6
3
,
4
2
,
2
1
De aqu se define una relacin en Z x Z* de
equivalencia:
R: dados 2 pares ordenados a/b y c/d son
equivalentes si y slo si ad = bc, denotado:
bc ad
d
c
~
b
a

por ejemplo:
3 6 9 2 que ya
9
6
~
3
2

Por ser una relacin de equivalencia cumple con ser:
a) Reflexiva :
ba ab que ya
b
a
~
b
a

b) Simtrica :
: que ya
b
a
~
d
c

d
c
~
b
a

bc ad
d
c
~
b
a

Humanizando al hombre con la educacin
Seminario 2
lgebra Anual UNI
b
a
d
c
da cb
ad bc



c) Transitiva:
f
e
~
b
a
f
e
~
d
c
d
c
~
b
a

f
e
~
b
a

be af bcde adcf
de cf
f
e
~
d
c
bc ad
d
c
~
b
a

Segn esto es posible clasificar a todas los pares a/b
de ZZ
*
, es decir que se est particionando ZZ
*
en
clases de equivalencia o simplemente clases, por
ejemplo: 1/2 pertenece a la clase.
{ } ,...
8
4
,
6
3
,
4
2
,
2
1
,
2 -
-1
,
4 -
-2
- ,
6 -
-3
,
8 -
-4
...,
Que llamaremos [1/2] [4/8] entendindose que nos
indica la clase a la cual pertenece 1/2 4/8, los cuales
son representantes de una misma clase, siendo el
representante cannico aquel cuyos trminos son
enteros positivos PESI. Otras clases:
{ } ,...
12 -
9
,
8 -
6
,
4 -
3
,
4
-3
,
8
-6
,
12
-9
...,
4
-3

1
]
1

{ } ,...
3
3
,
2
2
,
1
1
,
1 -
-1
,
2 -
-2
,
3 -
-3
...,
4
1

1
]
1

{ } ,...
3
0
,
2
0
,
1
0
,
1 -
0
,
2 -
0
,
3 -
0
...,
2
0

1
]
1

Observndose que no hay un par que pueda estar en 2

clases, de aqu que sean disjuntos y que la unin de
todas las clases de equivalencia de esta forma nos de
ZZ
*
.
Definicin: El conjunto de los nmeros racionales es:
1
]
1

1
]
1

'

1
]
1

b
a
racional nmero o a/b clase llama se
b
a
donde , Z Z b) (a, /
b
a
Q
*
Representacin grfica de Q como particin de ZZ
*

Observaciones:
1) El conjunto Q es un conjunto de conjuntos de
conjuntos donde cada nmero racional tiene
infinidad de representantes.
2) La grfica de cualquier clase
1
]
1

b
a
es parte de
una recta que pasa por el origen y cuya
pendiente es
a
b
.
3) Se tiene que
2 -
-1
4
2
2
1
osea ,
2 -
-1

4
2

2
1

4) Erre
5) Rre
6) Eer
Humanizando al hombre con la educacin
Seminario 3
lgebra Anual UNI
Sol:
8
3
72
27
, la funcin es:
8k
3k
B
A

Por dato: 8k 3k = 15; k = 3
Luego:
24
9
B
A
-
8(3)
3(3)

B
A

Propiedades
1. Siendo nZ
+

i) sea f f f f
ii) sea f f f f

2. Dadas las fracciones irreductibles f
1
=
b
a
y
Humanizando al hombre con la educacin
2 1 2 1
1
n B
n A
1
B
A
< <
+
+
<
2 1 2 1
1
n B
n A
1
B
A
< <
+
+
<