UNIVERSIDAD DEL ATLNTICO

FACULTAD DE CIENCIAS BSICAS

DEPARTAMENTO DE MATEMTICAS
FUNDAMENTO DE MATEMTICAS
ESTRUCTURAS ALGEBRAICAS Y SISTEMAS NUMRICOS.
OPERACIONES BINARIAS.
Consideremos un conjunto . Una operacin que representaremos con el smbolo , se dice que es binaria en , si y solo si, todo (, ) x puede asociarse con un nico elemento . Se dice que la
operacin es cerrada.
Ejemplos:
1. Si = {1,2,3}, formamos un nuevo conjunto, que llamaremos partes de y representaremos con (),
integrado por TODOS los subconjuntos de :
() = {{1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, A, }. Con este conjunto y la interseccin como operacin,
se tendr una operacin binaria en () . Comprubalo!
2. Si I = {x / x es un nmero impar}, la operacin definida de la siguiente manera: a cada par de I x I le
asignamos su producto, es una operacin binaria en I.
Una operacin es conmutativa si y solo si para todo , se cumple que:
= .
Una operacin es asociativa si y solo si para todo , , se cumple que:
= ( ) = ( )
Si y son dos operaciones binarias en , diremos que es distributiva con relacin a :
a. Por la izquierda: si se cumple que para todo , , :
( ) = ( )()
b. Por la derecha: si se cumple que para todo , , :
( ) = ( )()
El conjunto () anterior, con las operaciones y tiene estas propiedades. Verifcalo!
ACTIVIDADES.
Para cada uno de los siguientes conjuntos se indica una operacin. Determinar si la operacin es binaria y en
caso de serlo, comprobar si dicha operacin es conmutativa o asociativa.
1. = {0,1}, operacin: multiplicacin comn y corriente.
2. = {0,1,2,3}, operacin: suma comn y corriente.
3. = {, , , } y la operacin definida mediante la siguiente tabla:
a b c d
a a c b d
b c d b a
c b b a c
d d a c d

4. = {, , }, operacin: , : =
5. = {1,2,3,6}, operacin: , : = m. c. m(, )
6. = {1,2,5}, operacin: , : = residuo de la divisin entre 3.
5
2
Observacin: = 1 + . En esta divisin: el 5 es el dividendo, el 3 es el divisor, el 1 es el cociente y el 2
3
3
es el residuo.

.Estructuras algebraicas y sistemas numricos.

SEMIGRUPOS.
Definicin. Un semigrupo es un conjunto G dotado de una operacin binaria () interna asociativa. Se representa con (G, ). Se dice tambin que sobre G se tiene una estructura de semigrupo.
Ejemplos:
Dado = {1,0,1} y la operacin , la multiplicacin usual, comprobar que (,) tiene estructura de semigrupo.
Solucin:
Hallamos x = {(1, 1), (1,0), (1,1), (0, 1), (0,0), (0,1), (1, 1), (1,0), (1,1)}
Veamos que es una operacin binaria interna en :

1
0
1

(1, 1) x (1) (1) = 1

(1,0) x (1) (0) = 0
(1,1) x (1) (1) = 1

1
0
1

(0, 1) x (0) (1) = 0

(0,0) x (0) (0) = 0
(0,1) x (0) (1) = 0

1
0
1

(1, 1) x (1) (1) = 1

(1,0) x (1) (0) = 0
(1,1) x (1) (1) = 1

Ahora comprobemos que es una operacin asociativa:

[(1) (0)] (1) = (0) (1) = 0
(1) [(0) (1)] = (1) (0) = 0
Por lo tanto [(1) (0)] (1) = (1) [(0) (1)]
Se puede comprobar que cualquier combinacin de los elementos de operados mediante es asociativo.
LOS NMEROS NATURALES COMO CLASES DE EQUIVALENCIA.
Sabemos que dos conjuntos de objetos que tienen el mismo cardinal son equivalentes y todos los conjuntos
equivalentes forman una misma clase de conjuntos: conjuntos vacos, conjuntos con 1, 2, 3, elementos....
Puesto que el conjunto de estas clases est naturalmente ordenado, proporciona una posible definicin de .
La clase vaca se representa por la notacin 0, la clase unitaria por 1, la clase binaria por 2, etc. En la prctica, el conjunto de clases de equivalencia = {[A], [B], [C],....} se sustituye por el sistema de smbolos {0,
1, 2, 3.,..}. Cada smbolo representa a una clase de equivalencia y es tambin llamado el cardinal o nmero de
elementos de cada conjunto de la clase.
Ahora tenemos otros ejemplos ms de semigrupos:
< , +>, siendo + la suma habitual.
< ,>, cuando es la multiplicacin comn y corriente.
SISTEMA NUMRICO.
Sean A un conjunto y , dos operaciones binarias en A. Si y son conmutativas y asociativas, y una de
ellas es distributiva con relacin a la otra, diremos que la terna < A,, > es un sistema numrico. Todo elemento de A se llama nmero.
Ejemplo:
El conjunto de los nmeros naturales = {0,1,2,3,4,5,6, } con las operaciones usuales de suma (+) y multiplicacin (), constituyen un sistema numrico.

.Estructuras algebraicas y sistemas numricos.

En efecto:
(, )( + ), es decir que + y son binarias (cerradas)
(, )( + = + = ), es decir que + y son conmutativas.
(, , )([( + ) + ] = [ + ( + )] [( ) ] = [ ( )]), es decir que + y son asociativas.
(, , )([( + ) = c + b c ( + )] = + c), es decir que es distributiva respecto a +.
La recta numrica con naturales.
Se emplea una asociacin o correspondencia uno a uno entre el conjunto de los nmeros naturales y el conjunto de puntos de una recta. Sobre una lnea recta se fija un punto O y se le asocia el nmero cero (0), a su
derecha se fija otro punto A y le asignamos el nmero uno (1). A continuacin tomamos una rplica del segmento OA y lo colocamos sobre la recta de modo que el extremo inicial coincida con el extremo final del
segmento anterior, conservando su longitud 1:

GRUPOS Y LOS NMEROS ENTEROS.

Definicin:
Un grupo es un conjunto dotado de una operacin binaria interna que tiene las siguientes propiedades:
1. Cerrada: (, )( ), lo cual es cierto por ser binaria la operacin.
2. Asociativa: (, , )[( ) = ( )]
3. Elemento neutro o identidad: ( )( )( = = )
4. Elemento inverso: (( )( )( = = ). El elemento se denomina el inverso de
respecto a la operacin .
NOTA:
Cuando en un grupo se cumple la propiedad conmutativa, se dice que es un grupo abeliano o conmutativo.
Teorema: El elemento neutro o identidad en un grupo con una operacin , es nico.
Demostracin:
Si y son dos elementos neutros, deber cumplirse:
= =
Por transitividad:
=
Teorema: El elemento inverso en un grupo con una operacin , es nico.
Demostracin:
Supongamos que el elemento tiene dos inversos que representaremos con 1 y 2
Se cumplir:
1 = 1 =
2 = 2 =
De 1 = obtenemos 2 ( 1 ) = 2 = 2
2 ( 1 ) = 2 ( 2 ) 1 = 2
( 2 ) 1 = 2 1 = 2
1 = 2 1 = 2
Teorema: El inverso del inverso de un elemento es el mismo elemento: ( ) =
Demostracin:
Sabemos que = , lo cual significa tambin que el inverso de , escrito ( ) , es . Por lo tanto tendremos que ( ) =

.Estructuras algebraicas y sistemas numricos.

Ejemplos de Grupos:
1. Sea = {, , } y la operacin definida mediante la siguiente tabla. Mostrar que (,) es un grupo:

Solucin:
Verifiquemos que se cumplen las cuatro propiedades de la definicin de grupo:
1. Cerrada:
Para : = ; para , : = ; para , : = .
Para : = ; para , : = ; para , : = .
Para : = ; para , : = ; para , : =
2. Asociativa:
Tendramos que revisar 27 productos, porque cada elemento se opera de 9 modos diferentes, segn
mostramos en el siguiente rbol:

Algunos de estos productos arrojan los siguientes resultados:

= " ( )" = = = "( ) " = = .
= ( ) = ( )
= ( ) = ( )
= ( ) = ( )
= ( ) = ( )
= ( ) = ( )
Faltara revisar los 21 casos restantes.
En general para un conjunto con elementos hay que verificar 3 productos.
3.

Existencia de elemento neutro: El elemento , funciona como elemento neutro pues:

( )( = = )
NOTA: En la tabla podemos observar si en alguna columna y fila se repiten
en el mismo orden los elementos del conjunto dado. En caso afirmativo, el
elemento del conjunto que corresponde a la aparicin de esta repeticin, ser
el elemento neutro. En nuestro caso vemos que esto sucede en el elemento
y por eso l es el elemento neutro, como se aprecia en la siguiente tabla:

4.

Elemento inverso:
Como = , el enverso de es .
Como = , el inverso de es .
Como = , el inverso de es .

NOTA: Ubicando en la tabla al elemento neutro, sabremos cules elementos son

inversos. Resaltando la casilla que tiene al neutro (), observamos que:
el inverso de es
el inverso de es
el inverso de es .

.Estructuras algebraicas y sistemas numricos.

2. Dado = {0,1,2,3}, definimos la siguiente operacin en :

x y, si x y 4

x y 0, si x y 4
residuo ( x y) 4, si ( x y) 4

Mostrar que (,) tiene estructura de grupo.

Solucin:
a. En la siguiente tabla mostramos los resultados de la operacin:
0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2

b.
c.
d.

Como puede verse, la operacin es cerrada y por eso es binaria.

El elemento neutro es 0.
El inverso de :
0 es 0
1 es 3
2 es 2
3 es 1
e. Puede comprobarse que la operacin es asociativa, por ejemplo:
2 (1 3) = 2 0 = 2 y (2 1) 3 = 3 3 = 2 por lo tanto:
2 (1 3) = (2 1) 3
LOS NMEROS ENTEROS.
Los elementos del conjunto , con la operacin usual +, carecen de elementos inversos. Es decir si , la
relacin + = 0 no se cumple. Esto es debido a que la operacin , no es binaria en .
Para hacer posible este tipo de operaciones, se hace necesario ampliar el conjunto de los nmeros naturales.
Para ello, completemos la siguiente tabla intentando efectuar las restas propuestas:

40

4 1

42

43

44

45

46

30

3 1

32

33

34

35

36

20

2 1

22

23

24

25

26

1 0

1 1

1 2

1 3

1 4

1 5

1 6

00

0 1

02

03

04

05

06

Seguramente tendremos dificultad para realizar algunas de ellas:1 2 =?, 1 3 =?, 1 4 =?, 1 5 =?, etc.
Similarmente, cunto es: 0 1, 0 2, 0 3, 0 4, etc.
Como estamos construyendo un nuevo grupo de objetos, sera deseable que las operaciones que hacemos en
conserven sus propiedades. Por ello si 0 es el elemento neutro, y usando la propiedad de la resta
= ( + ) ( + ) tendramos:
0 1 = 1 = (0 + 1) (1 + 1) = 1 2
0 2 = 2 = (0 + 1) (2 + 1) = 1 3
0 3 = 3 = (0 + 1) (3 + 1) = 1 4
0 4 = 4 = (0 + 1) (4 + 1) = 1 5
As sucesivamente con las dems operaciones.

.Estructuras algebraicas y sistemas numricos.

Tendremos un nuevo grupo de nmeros: 1, 2, 3, 4, 5,

Estos nmeros se los agregamos a para tener un conjunto denominado enteros, representados con la letra .
Por lo tanto:
= { , 5, 4, 3, 2, 1,0,1,2,3,4,5,6, }
Generalizando, para todo se verifica que:
0 =
Por la ley de adicin:
+ 0 = + ()
Como = 0, nos queda:
0 = + ()
Por ello tendremos que para todo , existe tal que 0 = + (). Es decir cada nmero entero
tiene un inverso aditivo.
NOTAS:
Puede observarse que se cumple la relacin
El conjunto + = {1,2,3,4,5,6, } se denomina enteros positivos.
El conjunto = { , 5, 4, 3, 2, 1} se denomina enteros negativos.
El conjunto con las operaciones de suma y multiplicacin habituales, constituyen un sistema numrico.
Ahora podemos mostrar un ejemplo ms de grupos:
< , +>, siendo + la suma habitual.
La recta numrica con enteros.

-2

-1

OPERACIONES CON NMEROS ENTEROS. PROPIEDADES.

1. Adicin o suma.
a. Enteros positivos:
Corresponde a la adicin con naturales.
b. Enteros negativos:
Sabemos que si + = 0 entonces y son inversos y se tiene que = .
Por ello, cuando , , sus inversos respectivamente son y (nmeros negativos), y se cumple:
() + = 0
() + = 0
Por la ley de adicin y la asociatividad:
[() + ()] + ( + ) = 0
Lo anterior significa que () + (), es el opuesto de ( + ) por lo tanto se tiene:
() + () = ( + )
c. Enteros positivos con negativos:
La relacin " " es de orden en + .
Definicin:
Dados , + , diremos que " est antes que b" o que " es menor que ", lo que se escribe
cuando existe + tal que + = , usualmente se escribe = +
Dados , + y , ser + . Se tendr:
=0
() + = 0
Por la ley de adicin:
[ + ()] + ( ) = 0
Lo que equivale a:
[ + ()] = ( )
La ltima expresin corresponde a la suma de un entero positivo () con uno

negativo ()

.Estructuras algebraicas y sistemas numricos.

Dados , + y , ser + . Se tendr:
+ () = 0
() + = 0
Por la ley de adicin:
[ + ()] + [() + ] = 0
Por el inciso anterior, esto equivale a:
[ + ()] + [( )] = 0 (1)
Por otro lado, por los inversos:
( ) + [( )] = 0 (2)
Si las expresiones (1) y (2) tienen al inverso de [( )], se debe cumplir:
+ () =
2. Sustraccin:
Se emplea el ltimo resultado encontrado en el inciso anterior para definir la resta entre enteros:
= + ()
Teorema: ( )( = ())
Demostracin:
Por los inversos:
+ () = 0
() + () = 0
Si las expresiones anteriores corresponden al inverso de (), se debe cumplir:
= ()
Ejemplos:
a. 4 + (6) = (6 4) = 2
b. 5 + (3) = 5 3 = 2
c. 2 3 = 2 + (3) = (3 1) = 1
d. 7 (2) = 7 + 2 = (7 2) = 5
3. Multiplicacin:
Miremos estos dos teoremas, antes de abordar la multiplicacin con nmeros enteros:
i.
( )( 0 = 0)
Demostracin:
0=0+0
Neutro.
0 = (0 + )
Ley del producto.
0= 0+
Distributiva
0 + ( 0) = 0 + + ( 0)
Ley de adicin
0
=0+
0
Inversos
0
=0
Neutro.
ii.
= 0 =0 =0
a.
b.

Enteros positivos:
Es la misma multiplicacin con nmeros naturales.
Enteros negativos:
Dados , + , () y () . Se verifica: ()() =
Demostracin:
+ () = 0
()[ + ()] = ()0
() + ()() = 0
+ () + ()() =
[ + ()] + ()() =
0 + ()() =
0 + ()() =
()() =

.Estructuras algebraicas y sistemas numricos.

c.

Enteros positivos con negativos:

Dados , + , () . Se verifica: ()() =
Demostracin:
[ + ()] = + () = 0 = 0, es decir que + () = 0 y esto significa que es el
opuesto de () por ello escribimos: () = .

4. Potenciacin:
Si , y , , se tienen las siguientes
Definiciones:
= 1, para = 0
= , para = 1

= , para = 2

+1 =
Teorema:
i. = +
ii. ( ) =
iii. ( ) = , para grupos asociativos y conmutativos.
Las demostraciones se realizan empleando un mtodo denominado induccin matemtica.
5. Divisibilidad.
Definicin:
Si , , 0, se dice que " divide a " ( es divisible por , es mltiplo de ) cuando exite un
tal que = ; se escribe |.
Significado:
| ( )( = )
NOTAS:
i. Los nmeros que dividen a otro constituyen un conjunto denominado divisores de dicho nmero.
ii. Los nmeros que nicamente tienen dos divisores positivos se denominan nmeros primos, en caso
contrario se llaman nmeros compuestos.
iii. Los nmeros compuestos pueden escribirse como el producto de nmeros primos.
Definicin:
Si , diferentes de cero, el mximo comn divisor de y , escrito (, ) es el mayor de los
divisores comunes de y de .
Ejemplo:
(12,18) = 6
Porque
(12) (18) = {1,2,3,4,6,12} {1,2,3,6,9,18} = {1,2,3,6}
Claramente se ve que le mximo es el nmero 6.
Otro modo de hallar el (12,18):
Escribir 12 como producto de nmeros primos: 12 = 22 3
Escribir 18 como producto de nmeros primos: 18 = 2 32
Multiplicar los factores primos comunes, con menor exponente: 2 3 = 6
Definicin:
Si , , diferentes de cero, el mnimo comn mltiplo de y , escrito (, ) es el menor de los
mltiplos comunes de y de .
Ejemplo:
Hallemos (12,18).
Escribir 12 como producto de nmeros primos: 12 = 22 3
Escribir 18 como producto de nmeros primos: 18 = 2 32
Multiplicar los factores primos comunes y los no comunes, con mayor exponente: 22 32 = 36

.Estructuras algebraicas y sistemas numricos.

CAMPO Y NMEROS RACIONALES.

Definicin:
Un anillo es un conjunto en el cual se han definido dos operaciones llamadas suma y multiplicacin,
representadas con + y respectivamente, las cuales satisfacen las siguientes propiedades:
1. Cerrada: (, )( + )
2. Asociativa:
(, , )[( + + = + ( + ) = ( + ) + ) y ( = ( ) = ( ) )]
3. Existencia de elemento neutro: ( )(0 )( + 0 = 0 + = )
4. Existencia de elemento opuesto: ( )(() )( + () = () + = 0)
5. Conmutativa: (, )( + = + )
6. Distributiva: (, , )[ ( + ) = + y ( + ) = + ]
NOTA: Todo anillo es un grupo abeliano para la suma.
Definicin:
Si es un anillo y existe un elemento 1 tal que 1 = 1 = , se dice que el anillo es unitario o que
es un anillo con unidad.
Definicin:
Si es un anillo y para todo , se verifica = , se dice que el anillo es conmutativo.
Definicin:
Si es un anillo, un elemento se dice que es invertible, cuando existe un elemento 1 tal que
1 = 1 = 1.
Definicin:
Un anillo de divisin es un anillo con unidad en donde todos los elementos diferentes de cero, son invertibles.
Definicin:
Un anillo cuerpo o campo, es un anillo conmutativo con unidad en donde todos los elementos diferentes de
cero, son invertibles.
Ejemplos:
1. < , +,> es un anillo conmutativo con unidad.
2. Si , , , se dice que " es con mdulo " siempre que | .
Se escribe (mod ) o (). Se demuestra que la relacin de congruencia es de equivalencia y
sus clases de equivalencia son subconjuntos de nmeros enteros los cuales son congruentes entre s.
Al conjunto de las clase de equivalencia de los enteros congruentes mdulos , se les representa con .
As, 4 = {[0], [1], [2], [3]} son las clases de equivalencia obtenidas de la relacin (mod 4), las
cuales se encuentran teniendo en cuenta que:
(mod 4) 4|( ) = 4, = 4 +
A continuacin hallamos los elementos de las clases (nmeros cuya diferencia con el representante de la
clase, es divisible por 4):
Cuando = 0: = 4 + = 4 y [0] = { 8, 4,0,4,8,12, }
Cuando = 1: = 4 + = 4 + 1 y [1] = { 7, 3,1,5,9, }
Cuando = 2: = 4 + = 4 + 2 y [2] = { 6, 2,2,6,10, }
Cuando = 3: = 4 + = 4 + 3 y [3] = { 5, 1,3,7,11, }
Cuando = 4: = 4 + = 4 + 4 y [4] = { 8, 4,0,4,8,12, } = [0]
Observar que empiezan a repetirse las clases.
Definiendo ahora las siguientes operaciones:
[] + [] = [ + ]
[] [] = [ ]

.Estructuras algebraicas y sistemas numricos.

10

Puede comprobarse que 4 con la suma y productos definidos anteriormente, constituyen un anillo conmutativo con unidad.
3. El conjunto 3 = {[0], [1], [2]} con las operaciones de suma y multiplicacin definidas como antes, constituyen un campo o cuerpo.
EL CONJUNTO DE LOS NMEROS RACIONALES
Sea el conjunto = {0}. Se define en x una relacin de la siguiente manera:
Para todo (1 , 1 ), (2 , 2 ) x :
(1 , 1 )(2 , 2 ) 1 2 = 2 1
Esta relacin es de equivalencia y al conjunto de clases de equivalencia ( x /) generadas por la relacin,
se les conoce con el nombre de conjunto de nmeros racionales, representados con la letra . Cada clase es
un nmero racional.

Si (, ) x , la clase de equivalencia de (, ) es [(, )] y se abrevia con

Por ejemplo:
1
= [(1,3)] = {(1,3), (2,6), (3,5), (1, 3), (2, 6), } = [(2, 6)]
3
El conjunto de los nmeros racionales, que se denota por , se define de la siguiente manera:

= { |, 0}

La introduccin de los nmeros racionales responde al problema de resolver la ecuacin

= . sta slo tiene solucin en , en el caso particular en que es un divisor de .
n
Observemos que todo entero n puede escribirse como el nmero racional
y, en consecuencia, se puede
1
concluir que:
La recta numrica con racionales.
1
Para localizar el racional , dividimos la primera unidad positiva en n partes y tomamos 1 de ellas. Si copian
1
m
mos el segmento [0, ], m veces a lo largo de la recta, tendremos el racional
n
n

Una caracterstica de los racionales es que pueden representarse mediante decimales finitos o infinitos.
Realiza las divisiones indicadas por los siguientes nmeros:
a. 3 / 4 =
c. 2 / 5
e. 15 / 10 =
b. 1 / 2 =
d. 8 / 5 =
f. 5 / 4 =
Tienen fin estos cocientes?
Efecta ahora los siguientes cocientes:
a. 1 / 3 =
c. 7 / 9 =
e. 5 / 11 =
b. 5 / 3 =
d. 11 / 9 =
f. 9 / 11 =
Tienen fin estos cocientes? Qu caractersticas presentan estos cocientes?

.Estructuras algebraicas y sistemas numricos.

OPERACIONES CON NMEROS RACIONALES.

Notacin para una fraccin: = = 1

1. Equivalencia de fracciones:

= =

2. Adicin de fracciones homogneas:

Demostracin:

+ =

3. Inverso de un inverso: (1 )1 =
4. Inverso de un producto: ()1 = 1 1
NOTA: Si el producto no es conmutativo se tendra ()1 = 1 1

11

.Estructuras algebraicas y sistemas numricos.

5. Inverso de una fraccin:

6. Multiplicacin de los trminos de una fraccin, por un mismo nmero.

7. Adicin de fracciones con denominadores distintos.

8. Una fraccin negativa puede tener el signo negativo en cualquiera de los trminos de ella.

=
=

Hay que demostrar que:

Primera parte: = , equivale a demostrar que ( 1 ) = () 1

Segunda parte:

9. Producto de fracciones:

, equivale a la demostracin de ()() = =

12

.Estructuras algebraicas y sistemas numricos.

10. Divisin de fracciones:

13

= =

11. Potenciacin:

( ) =

a.

b.

c.

ACTIVIDADES.
1. Simplificar las siguientes expresiones:
a. 23 + 52
b. ( 2)5
c. (7 x3)2
2 4 3
0
-1
d. (3y x )
e. 9 + 3
f. ( 5) - 2
2. Realiza las operaciones indicadas, escribiendo el resultado sin exponentes cero ni negativos:
b. 4a 1 (3a2)3
a. (a2)6 a 2
c. (22 x3)3

a3
g.
a

(6 a ) 2

e.

d. a 2 a2 a4

( 2a ) 2

h.

j. a 1 b 1

f.

k.

a 2 m 1
a m 1

i.

4 1 a

l.

3 1 b

( 2a 2 ) 4

( x 4 y )( xy 4 )
( xy ) 4
a 2 ab 1

b a 1
o. (a 1 b 1 ) 1

n. ( a 1 b 1 )( a b) 1

m. ab 1 ba 1

3(a 2 ) 4

CONJUNTO DE LOS NMEROS IRRACIONALES.

En muchos temas de la geometra se plantea en general, problemas para cuya solucin el conjunto Q de los
nmeros racionales resulta insuficiente. Por ejemplo, al considerar el problema de determinar el nmero x que
mide la longitud de la diagonal de un cuadrado cuyo lado sea la unidad, el teorema de Pitgoras permite establecer que x, satisface la ecuacin: x2 = 2. Se hace por lo tanto necesario, describir otro conjunto, en el cual,
ecuaciones como la anterior tenga solucin.
El conjunto de los nmeros irracionales, que se denota por Q, est constituido por los nmeros que no admiten la representacin racional, en consecuencia su representacin decimal es infinita no peridica.
Ejemplos de esta clase de nmeros son: el nmero e (base del logaritmo natural), , 2 , etc.
La recta numrica con irracionales.
R
-5

Q
-4

P
-3

N
-2

A
-1

C D
1

EF

I
5

J
6

.Estructuras algebraicas y sistemas numricos.

14

Conjunto de los nmeros reales

La reunin de los racionales con los irracionales, conforman el conjunto de los nmeros reales, esto es:
= Q Q.
El siguiente diagrama resume la jerarqua de los conjuntos numricos estudiados:

NMEROS REALES COMO CAMPO ORDENADO ARQUIMEDIANO Y COMPLETO.

AXIOMAS DE CAMPO O CUERPO.
Si a, b, c son nmeros reales, se tienen las siguientes propiedades:
A1. Propiedad cerrada; a + b R y a*b R
A2. Propiedad conmutativa: a + b = b + a y a*b = b*a
A3. Propiedad Asociativa: : a + ( b + c ) = ( a + b ) + c y a*( b*c ) = ( a*b )*c
A4. Propiedad Distributiva: a*(b + c) = a*b + a*c
A5. Existencia de neutros. : ( 0 R )( a + 0 = 0 + a ) y ( 1 R )( a * 1 = 1 * a = a )
A6. Existencia de Inversos. Para cada nmero real :
( - a R )[ a + (- a) = (- a) + a = 0 ]
( a-1 R )( a*a-1 = a-1* a = 1 )
PROPIEDADES DE LA RELACIN DE IGUALDAD EN LOS REALES.
P1: Reflexiva. Si a entonces a = a
P2: Simtrica. Si a, b y a = b entonces b = a
P3: Transitiva: Si a, b, c y a = b b = c entonces a = c
A partir de estos axiomas y otras propiedades obtenidas como consecuencia de ellos, se demuestran todas las
leyes usuales del lgebra elemental.
ACTIVIDADES.
1. Supn que x representa un nmero real desconocido y que x x = x2. Indica los axiomas que permiten hacer las afirmaciones siguientes:
b. (x + 2) + 5 = x + ( 2 + 5) = x + 7
c. 4 (6x) = (4 6)x = 24x
d. (2x)x = 2x2
e. 4 ( x + 3 ) = 4x + 4 3 = 4x + 12
2. Seala los axiomas que permiten realizar las siguientes acciones en la proposicin:
(x2 +3x) + (x2 + 6x) = x2 + (3x + x2 ) + 6x = x2 + (x2 + 3x) + 6x = (x2 + x2 ) + (3x + 6x)
= (1 x2 + 1 x2) + (3x + 6x)
= (1 + 1) x2 + (3 + 6) x
=
2 x2 + 9 x
3. Muestra paso a paso que:
a. ( + )2 = 2 + 2 + 2
b. ( + )( ) = 2 2
c. 3 + 5 = 8
d. 2 + 4 = 2
e. 3 2 2 2 = 5 2

.Estructuras algebraicas y sistemas numricos.

Indica cul de las propiedades de los nmeros reales justifican las siguientes proposiciones:
4. R + 5 = 8 R + 5 + ( 5) = 8 + ( 5)..
R + [5 + ( 5)] = 8 + ( 5)
R +
0
= 8 + ( 5)..
R
= 8 + ( 5)..
R
= 5 + 3 + ( 5)
R
= 3 + 5 + ( 5).
R
= 3 + [5 + ( 5)].
R
=3+
0 ..
R
= 3 ..
5.
2* a = 10
1
1
* ( 2 * a) * x 10 ..
2
2
1
1
( * 2) * a *10 .
2
2
1
* 10
1* a =
2
1
* 10 .
a
=
2
a
= 5 ..
6. R + 5 = 8 R + 5 = 5 + 3.. ..
R = 3 .
7.

b
4
3
1
* b 4 ..
3
1
3 * ( * b) 3 * 4
3
1
(3 * ) * b 3 * 4 .
3
1* b = 3*4.
b
= 3*4
b = 12

8. 2*a = 10 2*a = 2*5

a = 5..
9. (x 2) = 1*(x 2).
= 1*(x) 1*( 2).
= x + 2..
10. x + ( 5) = 0 x = ( 5) = 5
11. Si (x + 2)*3 = 4*3 entonces x + 2 = 4
12. ( 5)*( x) = 5x
13. Si z2 = 0 entonces z = 0..
14. (1) = 1.
15. (a + b + c)*0 = 0 entonces a + b + c = 0

15

.Estructuras algebraicas y sistemas numricos.

16

16. Si (t + 1)*(t 2) = 0 entonces t + 1 = 0 t 2 = 0

0
0
17. 2
a 1
18.
2 + 5 = (2 5).
= [ 2 (2 + 3)]
= [ 2 2 3]..
= [ 0 3].
= ( 3)
= 3
19. Si (x a )(x b)(x + c) = 0, qu puede concluirse con relacin al valor de x?

20. Demuestra que si a 0 y b = a c + d entonces = +

21. Utiliza la propiedad distributiva para escribir como un producto, las siguientes expresiones:
a. a x b x + 2c x
c. ( a + b) x + (a + b) y
b. y3 + y2 + y
d. 14x 63y + 42
22. Incluye dentro de un parntesis precedido del signo menos, los tres ltimos trminos de las siguientes expresiones:
a. a2 b2 +2b 1
c. x3 + b3 x2 + 2xy y2
2
2
2
b. x a 2ab b
d. x6 y6 x4 x2 y2 y4
23. Elimina los signos de agrupacin, en las siguientes expresiones:
a. 4a [2a + b ( a + b c) + 2c]
c. 3(x y + 8) 4( x 5 y + 3) + 6(x 2y 1)
b. 2 x (3x 2 y) [2x + y (2y x)] d. a(a2 + 2a 2) 2(a2 a + 1) a( a2 1)
24. Escribe las siguientes fracciones como un solo trmino y sin signos de agrupacin:
a.
b.

5()
2

+24

26

c.

6 2 10
2

6 2 6+12
6

8 2 +1220
4

25. Simplifica las siguientes fracciones:

a.
b.

22

c.

d.

4 2 2
42
2
3 2 6

=
=

EXPONENTES RACIONALES.
La raz ensima de un nmero real positivo, es otro nmero real tal que multiplicado ene veces por l mismo,
nos resulta el primer nmero. En smbolos: n a b b n a . La letra n es el ndice, la a, el radicando y el
smbolo

, el radical.

Ejemplos:
3

8 2 23 8 ;

(27) 3 (3) 3 27 ;

81 3 3 4 81

n
Como (a n ) n a m tendremos que a m a n .
1

Por lo tanto n a podr

b escribirse
b n a como a n , es decir que se cumplir n a a n .
1

Si elevamos a la potencia n, la anterior igualdad, nos queda: (n a ) n (a n ) n ( n a ) n a

.Estructuras algebraicas y sistemas numricos.

17

Adems, se tienen las siguientes propiedades:

n

Raz de un producto:
Raz de un cociente:

ab n a n b

a na

b nb

Raz de una raz: m n a mn a

ACTIVIDADES.
1. Encuentra el valor de las siguientes expresiones:
1

a. 25 2

b. 81 4

d. (32 )

4
5

c. (

e. ( 210 )

3
5

16 2
)
49
2

f. ( 2 6 ) 3

2. Elimina los exponentes negativos, simplifica y expresa en forma de radical:

a. ( x 3 4 ) 1 5
b. ( x 1 4 ) 1 5
c. ( x 1 4 )( x 1 5 )
3. Simplifica las siguientes expresiones, eliminando radicales del denominador:
a.

b.

d.

27 x 3 y 5

e.

g.

a 2 b 2

h.

98

c.

192a 3b 7

i.

40

a 2b 2 b 2 c 2

f.

3x
y

64x 2 y 4
z2

4. Racionalizar el denominador de una fraccin consiste en eliminar de all las expresiones que contengan
radicales. Analicemos dos casos:
a. El denominador es un monomio. En este caso multiplicaremos los dos trminos de la fraccin por un
radical tal que transforme el denominador en un radical con raz exacta. Ejemplos:

i.

3 2

2
ii.

1
3

6
2

2 2

1 2 2
3

3
3

4
3

4
2

2
2 2
2
b. El denominador es un binomio. En este caso el factor racionalizador es el conjugado del denominador
(binomio cuyo segundo trmino tiene signo contrario que el binomio inicial). Ejemplo:
( 5 3) 2
5 3 ( 5 3 )( 5 3 )
5 2 15 3 8 2 15

i.
2
2
53
2
5 3 ( 5 3 )( 5 3 ) ( 5 ) ( 3 )
Ahora, racionaliza:
a.
c.
e.
g.

b.

5
3

d.

2+3
23
5
+14

f.

4
3

16
5

32
++1
+1

h. Demuestra que

+4
4

.Estructuras algebraicas y sistemas numricos.

18

AXIOMAS DE ORDEN
Estos axiomas permiten establecer un orden entre los nmeros reales. De acuerdo con esta ordenacin, podemos decidir si un nmero real es mayor o menor que otro. Designemos con +, al conjunto de los reales positivos:
A7. Propiedad cerrada: si , + entonces + + y +
A8. Propiedad de Tricotoma: Para todo nmero real , es vlida una y solo una de las siguientes proposiciones: = 0, + , + .
Ahora pueden darse las siguientes definiciones:
> significa que ( ) + .
< significa que >
significa que < o que =
significa
Observemos que > 0 si y slo si + . Si < 0, se dice que es negativo.
La representacin grfica de nos permite interpretar la relacin menor que, as: < significa que ""
se localiza a la izquierda de "" o que "" est ubicado a la derecha de "".
Todas las propiedades conocidas de las desigualdades, se demuestran a partir de los axiomas A7 y A8.
El par de desigualdades < b < c se escriben brevemente as: < <
TEOREMA. Ley de adicin: Para toda a, b, c , si a > b entonces a + c > b + c.
DEMOSTRACIN:
1. a > b
Hiptesis.
Significado a > b
2. a b +
3. a b = a b + 0
Neutro
4. a b = a b + c c
Inverso
5. a b = a + c b c
Conmutativa
6. a b = (a + c) +[( b)+( c)]
Asociativa
7. a b = (a + c) (b + c)
Distributiva
Sustitucin 2 en 7
8. (a + c) (b + c) +
9. (a + c) > (b + c)
Significado mayor que.
TEOREMA. Si a, b, + entonces a < a + b, y, b < a + b.
TEOREMA. Si a < b, y, c < d entonces a + c < b + d.
TEOREMA: S a es un Real positivo, - a es negativo. S a es negativo, - a es positivo.
DEMOSTRACIN:
Primera parte:
1) a > 0
2) a + (- a) > 0 + (- a)
3)
0
> -a
Segunda parte:
1) a < 0
2) a + (- a) < 0 + (- a)
3)
0
< -a

.Estructuras algebraicas y sistemas numricos.

TEOREMA: S a > b entonces - a < - b
DEMOSTRACIN:
1) a > b
2) a + (- a) + (- b) > b + (- a) + ( -b)
3)
0
+
(- b) > b + (- b) + (- a)
4)
(- b) >
0
+ (- a)
5)
-b > -a

...
...

TEOREMA: Para todo a , a2 = 0 a2 > 0.

DEMOSTRACIN:
Primera parte: S a = 0 entonces aa = a2 = 00 = 0
Segunda parte: S a 0:
1) S a > 0 entonces aa = a2 > 0

2) S a < 0 entonces (-a) > 0

(-a)(-a) > 0
aa = a2 > 0
TEOREMA: Dados a, b, c , s a > b y c > 0 entonces ac > bc.
TEOREMA: Dados a, b, c , s a > b y c < 0 entonces ac < bc.
DEMOSTRACIN:
1) c < 0
..
2) c > 0
..
3) a(- c) > b(- c)
..
4) - (ac) > - (bc)
..
5) ac < bc
..
1

TEOREMA: S a > 0 entonces > 0

DEMOSTRACIN:
1
Supongamos que 0

1) S = 0 y > 0 entonces 1 = 0 (Absurdo!)

2) S < 0 y > 0 entonces < 0 y por ello 1 < 0 (Absurdo!)

ACTIVIDADES.
1.
a.
b.
c.
d.
e.
2.
a.
b.
c.

Demostrar lo siguiente:
Si a, b, c, d + , y, a < b y c < d entonces ac < bd
Si a > 1 entonces a2 > a
Sean a, b + , a < b a2 < b2
1
1
Sean , con igual signo. < > a < b

ab
b
Si a > b entonces a
2
Halla el valor de las siguientes expresiones:
4 x < 3 2x
5 x2 < 8
(x 1)(x 3) > 0

19

.Estructuras algebraicas y sistemas numricos.

20

CONJUNTOS ACOTADOS.
Considerando el conjunto A = {1, , 1/3, ,}:
a)
b)
c)
d)
e)

Escribe 3 elementos ms del conjunto.

Cul es el elemento mayor de A?
Cul es el elemento menor?
Escribe 3 nmeros que sean menores o iguales a cualquier elemento del conjunto.
Escribe 3 nmeros que sean mayores o iguales a cualquier elemento del conjunto.

DEFINICIN: Sea A R. Un elemento s R se llama cota superior de A si x s para todo x A. Se

dice que A est acodado superiormente por s.
Similarmente, un elemento i R se llama cota inferior de A si i x, para toda x A. Se dice que A est
acotado inferiormente por i.
DEFINICIN: Si S el conjunto de las cotas superiores de A, la menor cota superior recibe el nombre de extremo superior o simplemente supremo de A. Si s es el extremo superior de un conjunto A, escribimos s =
sup (A).
Inf A

Sup A

A
Cotas superiores de A

Cotas inferiores de A

El extremo superior queda caracterizado por:

s es una cota superior de A.
Si x R es otra cota superior de A entonces s x, es decir que s es cota ms pequea.
Cuando un conjunto tiene elemento mximo, ste es su extremo superior.
Tambin puede caracterizarse as:
1. es una cota superior de
= sup() {
2. ( > 0)( )( > )
Grficamente:

s-

o
s = sup(A)

As mismo, si I es el conjunto de las cotas inferiores de A, la mayor cota inferior recibe el nombre de extremo
inferior o nfimo de A. Si i es el extremo inferior de un conjunto A, se escribe i = inf (A). .
El extremo inferior se caracteriza por:

i es una cota inferior de A.

Si x R es otra cota inferior de A entonces s i, es decir que s es cota ms grande.

Tambin puede caracterizarse de la siguiente manera:

1.
es una cota inferior de
= inf() = {
2. ( > 0)( )( < + )
Grficamente:

o
i = inf(A)

s+
x

.Estructuras algebraicas y sistemas numricos.

21

TEOREMA. (Unicidad del supremo). Sea A R, A . Si s1 y s2 son extremos superiores de A entonces

s1 = s2
DEMOSTRACIN:
Como s1 y s2 son cotas superiores, tendremos:
Si s1 es el sup (A) se cumplir que s1 s2
Si s2 es el sup (A) se cumplir que s2 s1
Por lo tanto s1 = s2 (Propiedad antisimtrica)
Ejemplos:
1. Si a, b R, el conjunto A = {x R / a x b} est acotado inferiormente por a y superiormente por b. En
este caso, a es el elemento mnimo y b el mximo.
2. Si a, b R, el conjunto A = {x R / a < x < b} est acotado inferiormente por a y superiormente por b,
pero A no tiene elemento mnimo ni mximo.
1 1 1
1
3. A = { / n N}= { 1, , , ,... } est acotado inferiormente por 0 y superiormente por 1. El elemento
2 3 4
n
mximo es 1 pero A no tiene elemento mnimo.
4. Si a R, el conjunto A = {x R / a < x} est acotado inferiormente por a. A no tiene cotas superiores,
tampoco tiene elemento mnimo.
AXIOMA DE PLENITUD O COMPLETICIDAD.
Todo conjunto A R que tiene una cota superior, tiene una mnima cota superior (supremo). Similarmente,
todo conjunto A R que tiene una cota inferior, tiene una mxima cota inferior (nfimo).
Consecuencia de este axioma, es la denominada propiedad arquimediana:
Si , , > 0 entonces existe tal que > .
Demostracin:
Por reduccin al absurdo. Supongamos que
Si 0: 0 y , se tendr 0 (por ley cancelativa), contrario a la hiptesis > 0.
Definimos = {| }. , porque (cuando = 1). es un conjunto acotado superiormente porque ( ) es una de sus cotas. Por el axioma del supremo, existe = sup() y por la caracterizacin 2. del sup:
( > 0)(0 )( < 0 )
0 = 0
Por lo tanto:
< 0 < 0 < 0 + = (0 + 1)
Es decir.
< (0 + 1)
Pero (0 + 1) y en consecuencia < (0 + 1) sera contradictorio.
ACTIVIDADES.
1) Para cada uno de los siguientes subconjuntos de R, determinar: a) Si el conjunto tiene un elemento mayor
o menor, identificndolos en caso afirmativo, b) Si el conjunto tiene cotas superiores, identificarlas y sealar la menor de ellas(extremo superior), c) Si el conjunto tiene cotas inferiores, identificarlas y sealar
la mayor de ellas (extremo inferior):
a) {-3, -2, -1, 0, 1, 3, 5}
b) {, -3, -2, -1, 0, 1, 2, 3}
c) {, -3, -2, -1, 0, 1, 2, 3, }
d) { x / x < 4}
e) { x / x 1/ 2}
f) { x / - 2 < x 3}
2) Demostrar que el conjunto Z+ no tiene cotas superiores (Propiedad arquimediana)
3) Si r R, r > 0, demostrar que A = { nr / n Z+ } no tiene cota superior.
4) Demostrar que si r, s R, r > 0, s > 0, Existe n Z+ tal que nr > s.

.Estructuras algebraicas y sistemas numricos.

22

TOPOLOGA DE LA RECTA REAL.

Recordemos que los nmeros reales se asocian con los puntos de una recta, hecho conocido con el nombre de
recta real. Para ello basta escoger una unidad de medida, fijar un punto como origen y replicar consecutivamente la unidad. En el siguiente grfico se muestra un ejemplo:
R
-5

Q
-4

P
-3

N
-2

A
-1

C D
1

EF

I
5

J
6

INTERVALOS.
Consideremos que a, b, c R:
1. Abiertos. Son conjuntos definidos por {x / a < x < b} y se representan mediante (a, b) o ]a, b[.
2. Cerrados. Son conjuntos definidos por {x / a x b} y representados mediante [a, b].
3. Semiabierto a la izquierda. Son conjuntos definidos por {x / a < x b} y se representados mediante la expresin (a, b].
4. Semiabierto a la derecha. Son conjuntos definidos por {x / a x < b} y representados mediante la expresin [a, b).
5. Adems se tiene una clase de intervalos uno de cuyos extremos se representa con el smbolo + (ms infinito) (menos infinito):
a. (c, + ) = {x / x > c}
b. ( , c] = {x / x c}
c. [c, + ) = {x / x c}
d. ( , + ) = R
e. ( , c) = {x / x < c}
ACTIVIDADES.
Ilustra mediante un dibujo en una recta numrica cada uno de los siguientes conjuntos. Exprsalo con notacin de intervalo:
1. {x / 7 x < 2}
2. {x / 0 < x 5}
3. {x / x < 1}
4. {x / 4 x 3}
5. {x / x > 2}
6. {x / x 0}
7.{x / x 3 o x 5}
8. {x / x < 4 x > 1}
9.{x / x < 2} {x / x > 2}
10. {x / x < 0} {x / x 3}
VALOR ABSOLUTO.
El valor absoluto del nmero Real x, representado por | x | es:
, 0
|| = {
, < 0
Si A y B son dos puntos cualesquiera de la recta real, con coordenadas 1 y 2 respectivamente, la distancia
entre ellos est determinada por el nmero real positivo () = |1 2 |. La distancia definida de esta
manera, tiene varias propiedades inherentes a las del valor absoluto:
TEOREMA: Para toda a R:
i.

| a |2 = a2

ii.

a2 = | a |

iii.

-|a|a|a|

.Estructuras algebraicas y sistemas numricos.

23

DEMOSTRACIN:
i)

| a |2 = a2
S a 0, | a |2 = | a || a | = aa = a2
S a < 0, | a |2 = | a || a | =(-a)(-a) = aa = a2

a 2 = | a |. Por i) | a |2 = a2, por ello | a | 2 a 2 y en consecuencia se tiene la proposicin

ii)

dada.
iii)
-|a|a|a|
Primera parte: a | a |
1) a 0 | a | = a
2) a < 0 | a | = - a > 0 > a
Segunda parte: - | a | a
1) a 0 | a | = a - | a | = - a 0 a
2) a < 0 | a | = - a - | a | = a
TEOREMA: a 0, | x | a - a x a
DEMOSTRACIN:
Primera parte: | x | a

-a x a

Demostremos que x a
1) x | x |

2) | x | a

3) x a

Demostremos ahora que: a x

1) | x | a
2) a - | x |
3) | x | x
4) a x

Segunda parte: a x a

S x 0:
1) | x | = x
2) x a
3) | x | a

|x |a
S x < 0:

.
.

1) | x | = - x
2) - a x
3) - x a
4) | x | a

.
.

TEOREMA. Desigualdad triangular. a, b R, | a + b | | a | + | b |

DEMOSTRACIN:
1)
-|a| a |a|
2)
-|b| b |b|
3) ( | a | + | b |) a + b | a | + | b |
4) | a + b | | a | + | b |

...
..

...

.Estructuras algebraicas y sistemas numricos.

ACTIVIDADES
1) Hallar el valor de x en:
a. | x 3 | = 8
b. | x 3 | < 8
c. | 1 2x | < 3
2) Escribir las siguientes desigualdades con el smbolo de valor absoluto:
b. < x <
a. 5 x 5
d. 0.4 < x < 0.6
c. 3 x 7
f. < x < 3/2
e. 4 x 2
3) Demostrar lo siguiente:
a. | a b | = | b a |
b. | ab | = | a | | b | y |

|a|
a
| =
|b|
b

c. | x y | | x | + | y |
d. | x | - | y | | x y |
e. | a + b + c | | a | + | b | + | c |

1
3
1
g. Mostrar que | (2x 3 ) 9 | < 1 es equivalente a | x 6 | <
2
1
1
h. Mostrar que | (3x 5 ) 1 | <
es equivalente a | x 2 | <
2
6
i. Si | x a | < /2 y | y b | < /2 entonces | (x + y) (a + b) | <
1
7
1
j. Si | x 1 | < , y, | y +1 | <
entonces | x + y | <
4
12
3
Referencias:
Vance, Elbridge. Algebra y Trigonometra. Editorial Addison Wesley Iberoamericana, SA
Lipschutz, Seymur. Teora de conjuntos y temas afines.
Taylor, Howard y Thomas Wade. Matemticas Bsicas. Editorial Limusa.
Pinzon, Alvaro. Conjuntos y estructuras. Editorial Harla
Restrepo, Guillermo. Los Fundamentos de la matemtica. Editorial Universidad del Valle.
f. Mostrar que | (3x + 2) 8 | < 1 es equivalente a | x 2 | <

24