SEMINARIO DE ÁLGEBRA

CICLO: ANUAL – UNI 2002-I

Se conoce que las operaciones de adición, sustracción Por ejemplo:

y multiplicación están bien definidas en el conjunto de
los enteros Z, es decir que la suma, diferencia y
producto de 2 números enteros, es otro entero (Ley de 1, 2 , 3, 4 , 5 , 6 ,.........
.........
..
Clausura ó cerradura).
Ahora, si consideramos un par de números enteros, a
2 4 6 8 10 12
y b (b  0) y establecemos el cociente a  b ó a/b; tal
que: 3, 6 , 9 , 12, 15, 18, ..........
....
a  c   Z. 28 7 7 14 21 28 35 42
b 4
15 3 Z. 28 7 Z
5, 10, 15, 20, 25, 30, ..........
....
5 4 1 2 3 4 5 6
Pero:
De aquí se define una relación en Z x Z* de
13 c Z yaquenoexiste equivalencia:
c Z talquec 2  13
2 “R”: dados 2 pares ordenados a/b y c/d son
equivalentes si y sólo si ad = bc, denotado:
De ahí que la operación de división no este bien a ~ c  ad bc
definida en z, siendo necesario definir un nuevo b d
conjunto donde este incluido Z y estén bien definidas
las operaciones de adición, sustracción multiplicación
por ejemplo:
y división y ampliando Z.
2 ~ 6 yaque2 9 6 3
Consideramos el conjunto de pares de entero: (a; b) 3 9
con b 0 que denotemos mediante la operación de

división:
a : z* Z  {0} Por ser una relación de equivalencia cumple con ser:
b
a) Reflexiva:

Z  Z*  {a b b  0} a ~ a yaqueab ba
b b
De aquí hay muchos pares ordenados que b) Simétrica:
aparentemente son diferentes pero que
“consideramos” como el mismo. a ~ c  c ~ a yaque:
b d d b
a ~ c  ad bc
b d
Humanizando al hombre con la educación
Seminario 2
Álgebra – Anual UNI

 bc ad todas las clases de equivalencia de esta forma nos de

ZZ* .
 cb da
 c a Definición: El conjunto de los números racionales es:
d b
c) Transitiva: Q  a / (a,b) Z  Z* , donde a
a ~ c  c ~ e  a ~e
 b   b
b d d f b f
sellamaclasea/bo número  a
racional
 b
a ~ c  ad bc 
b d  Representación gráfica de Q como partición de ZZ*

adcf bcde af  be
c ~e  cf  de
d f   a ~e
b f Observaciones:
1) El conjunto Q es un conjunto de conjuntos de
Según esto es posible clasificar a todas los pares a/b
conjuntos donde cada número racional tiene
de ZZ* , es decir que se está particionando ZZ* en infinidad de representantes.
clases de equivalencia o simplemente clases, por
ejemplo: 1/2 pertenece a la clase.  a
 
2) La gráfica de cualquier clase es parte de
 b
...,-4 , -3 , - -2 , -1 , 1 , 2 , 3 , 4 ,...
- 8 - 6 - 4 - 2 2 4 6 8 una recta que pasa por el origen y cuya

pendiente es
b.
Que llamaremos [1/2] ó [4/8] entendiéndose que nos a
indica la clase a la cual pertenece 1/2 ó 4/8, los cuales
3) Se tiene que
son representantes de una misma clase, siendo el
1 2 -1 , osea1  2 -1
representante “canónico” aquel cuyos términos son
enteros positivos PESI. Otras clases: 2 4 -2 2 4-2

 4 

 -3  ...,-9 , -6 , -3 , 3 ,4)6 Erre
12 8 4 - 4 5)- 8Rre- 12
, 9,...

 1  ...,-3 , -2 , -1 , 1, 2 , 3,...

6) Eer


 4
 - 3 - 2 -1 1 2 3
 0  ..., 0 , 0 , 0 , 0 , 0 , 0 ,...


 2
 - 3 - 2 -1 1 2 3
Observándose que no hay un par que pueda estar en 2
clases, de aquí que sean disjuntos y que la unión de
Humanizando al hombre con la educación
Seminario 3
Álgebra – Anual UNI

Sol:
273 , la función es: A 3k
72 8 B 8k

Por dato: 8k – 3k = 15; k = 3

Luego:
A 3(3)- A  9
B 8(3) B 24

Propiedades

1. Siendo nZ+

A  1f  A f nf  1 
1 2 1 2
i) sea f
B B n
ii) sea f A  1f  Af  n
f
1 2 1  1 2
B B n
2. Dadas las fracciones irreductibles f1

=
a y
b

Humanizando al hombre con la educación