Está en la página 1de 12

1

1. NUMEROS REALES
1.1 AXIOMAS DE CAMPO

Mara Concepcin Gonzlez Enrquez

En diferentes reas del conocimiento se tiene una clasificacin de los
objetos a estudiar; como en el caso de la qumica que se clasifican los
elementos qumico por familias de acuerdo a sus propiedades o en biologa
cuya clasificacin en el reino animal da origen a la familia de los
vertebrados y a la de invertebrados.
Consideremos una estructura algebraica como un conjunto junto con una
operacin (suma, resta,) definida en l, con algunas propiedades para la
operacin.
En matemticas existe una clasificacin de estructuras algebraicas bsicas:
Semigrupo, monoide, grupo, grupo abeliano, anillo, campo, entre otros.
El sistema de nmeros reales que usamos en nuestro ejercicio diario de la
matemtica, es una estructura algebraica especfica dentro del universo de
las estructuras algebraicas.
Para iniciar la descripcin del sistema de nmeros reales, entenderemos lo
referente a operaciones definidas en un conjunto, as como diferentes
propiedades que puede satisfacer una operacin.

Operaciones y sus caractersticas

Operacin. Sean B A y conjuntos no vacos, una operacin definida
en el conjunto A, es una regla de correspondencia definida del
producto cartesiano A A al conjunto B , que asigna a cada pareja de
elementos de A, un nico elemento de B .

Notacin:
La operacin la denotamos por *
Estos smbolos B A A : *
Denotan que la operacin est definida en A y los resultados de
efectuarla estn en el conjunto B .
Con elementos escribimos b a a ) , ( *
2 1

Para indicar que la operacin asocia a la pareja de elementos ) , (
2 1
a a de
A el elemento b del conjunto B .
Que tambin se denota
2 1
*a a b =


Ejemplos.
2
- A conjunto de artculos en el supermercado, B conjunto de
cantidades que representa el precio de un artculo.
pagar a precio a a ) , ( *
2 1

- A conjunto de elementos qumicos, B conjunto de compuestos
qumicos. compuesto a a ) , ( *
2 1

- A conjunto de nmeros del 1 al 6, B conjunto de nmeros del 2 al
12

2 1 2 1
) , ( * a a a a +
- A conjunto de nmeros del 1 al 6, B conjunto de nmeros del 1 al 6
nmeros ) , ( *
2 1
los de mximo a a
- A conjunto de nmeros mltiplos de 3, B conjunto de nmeros
mltiplos de 3

2 1 2 1
) , ( * a a a a +
- A conjunto de colores primarios, B conjunto de colores
compuestos.
compuesto color a a ) , ( *
2 1


Operaciones de acuerdo a las caracterzticas que satisfacen:

va distributi Operacin
a conmutativ Operacin
versos ementos in ncia de el con existe Operacin
ad to identid con elemen Operacin
asociativa Operacin
cerrada binaria o Operacin


Operacin binaria. Sea A un conjunto, una operacin binaria
definida en el conjunto A, es una regla de correspondencia definida del
producto cartesiano A A al conjunto A, que asigna a cada pareja de
elementos de A, un nico elemento de A.
En otras palabras, los resultados de efectuar la operacin vuelven a ser
elementos del conjunto A.

En los seis ejemplos anteriores, observamos dos operaciones binarias.

Denotaremos a los conjuntos ms conocidos de la siguiente forma:
Los naturales { } K , 2 , 1 = N
Los enteros { } K K , 2 , 1 , 0 , 1 , 2 = Z
Los racionales
)
`

= 0 y , : b Z b a
b
a
Q
Los reales R

3
Ejemplos.
- ) , ( + N es operacin binaria
- /) , (Z no es operacin binaria
- ) , ( + P no es operacin binaria, P son los nmeros primos.
- ) , ( impares es operacin binaria
- ) , ( N no es operacin binaria.

Operacin asociativa. Sea ,*) ( A un conjunto con una operacin
binaria, se dice que la operacin es asociativa si para cualesquiera
c b a , , elementos de A, se satisface que
c b a c b a = ) ( ) ( .

Ejemplos.
- ) , ( + N es operacin asociativa
- /) , (Z no es operacin asociativa
- ) , ( impares es operacin asociativa
- ) , ( N no es operacin asociativa.

Ejercicio.
Sea ,*) (Z , los enteros donde se define mn n m n m + = * para
cualesquiera Z n m , .
Demostrar que la operacin es asociativa.
Sean Z k n m , ,
Calculamos primero k n m * ) * (

k mn n m k mn n m
k mn n m k n m
) ( ) (
* ) ( * ) * (
+ + + =
+ =

) ( mnk nk mk k mn n m + + + =
mnk nk mk k mn n m + + + =
mnk mn nk mk k n m + + + =

Ahora calculamos ) * ( * k n m

) ( ) (
) ( * ) * ( *
nk k n m nk k n m
nk k n m k n m
+ + + =
+ =


mnk mn nk mk k n m
mnk mk mn nk k n m
mnk mk mn nk k n m
+ + + =
+ + + =
+ + + = ) (


Como llegamos al mismo resultado, concluimos que
) * ( * * ) * ( k n m k n m = , por lo tanto la operacin es asociativa.

4
Ejercicio.
Sea ,*) (Q los racionales donde se define 1 * + = ab b a para cualesquiera
Q b a , .
Determine si la operacin es asociativa o no.
Sean Q c b a , ,
Calculamos primero c b a * ) * (

1
1 ) 1 (
* ) 1 ( * ) * (
+ + =
+ + =
+ =
c abc
c ab
c ab c b a


Ahora calculamos ) * ( * c b a

1
1 ) 1 (
) 1 ( * ) * ( *
+ + =
+ + =
+ =
a abc
bc a
bc a c b a


Como los resultados son diferentes ) * ( * * ) * ( c b a c b a , por lo tanto la
operacin no es asociativa.

Operacin con elemento neutro o identidad. Sea ,*) ( A un conjunto
con una operacin binaria, se dice que la operacin tiene elemento
neutro o elemento identidad si existe un elemento especial e en A
tal que para cualquier elemento A a , se satisface que
a a e e a = = * * .

Ejemplos.
- ) , ( + N el elemento neutro es cero.
- ,.) (Q el elemento neutro es el uno.
- ) , ( tres de mltiplos no tiene elemento neutro.


Ejercicio.
Sea { },*) 0 ( R donde se define
2
*
ab
b a = para cualesquiera { } 0 , R b a
.
Determine si la operacin tiene elemento neutro o no.

Se debe encontrar { } 0 R e tal que
a a e e a = = * * para cualquier elemento A a

Pero a
ae
e a = =
2
*
5
Despejamos e , 2 = e .

Por lo tanto la operacin si tiene elemento neutro o identidad.

Operacin con elementos inversos. Sea ,*) ( A un conjunto con una
operacin binaria que tiene elemento neutro o elemento identidad, se
dice que la operacin tiene elementos inversos si para cada elemento
A a , existe un elemento especial
1
a que satisface
e a a a a = =

* *
1 1
.

Ejemplos.
- ) , ( + N no existen inversos.
- ,.) (Z no existen inversos.
- ) , ( impares no existen inversos.


Ejercicio.
Sea { },*) 0 ( R donde se define
2
*
ab
b a = para cualesquiera { } 0 , R b a
Determine si existen inversos para la operacin.
Sabemos que tiene elemento neutro: 2 = e .

Sea cualquier elemento A a

Encontrar { } 0
1

R a tal que
2 * *
1 1
= =

a a a a
Pero 2
2
*
1
1
= =

aa
a a
Despejamos
1
a ,
a
a
4
1
=


Por lo tanto si existen inversos para la operacin.


Operacin conmutativa. Sea ,*) ( A un conjunto con una operacin
binaria, se dice que la operacin es conmutativa si para cualesquiera
b a, elementos de A, se satisface que
a b b a = .

Ejemplos.
- ) , ( + N es operacin conmutativa
- /) , (Z no es operacin conmutativa
- ) , ( N no es operacin conmutativa.
6

Ejercicio. Sea ,*) (Z los enteros donde se define mn n m n m + = *
para cualesquiera Z n m , .
Demostrar que la operacin es conmutativa.
Para Z n m ,
mn n m n m + = * y
n m mn n m nm m n m n * * = + = + =
Por lo tanto la operacin es conmutativa.


Ejercicio.
Sea ,*) (R donde se define b a b a 2 * + = para cualesquiera R b a , .
Determinar si la operacin es conmutativa o no.
Sean R b a ,
b a b a 2 * + = y
a b a b 2 * + =
Como a b b a 2 2 + + , a b b a * *
Por lo tanto la operacin no es conmutativa.

Un caso interesante es cuando tenemos:

Operaciones en conjuntos finitos

Ejemplo. Considere el conjunto { } c b a A , , = con la operacin (*)
definida por la siguiente tabla


a b c
a a c c
b c a a
c c a a

Esto se interpreta diciendo que por ejemplo c b a = * ; tomando a sobre
la columna y b sobre el rengln, el resultado de la operacin es c el
cual est en la interseccin de dicha columna con el rengln.
Esta operacin es asociativa, conmutativa, no tiene elemento neutro y
tampoco inversos.

Ejemplo. Considere el conjunto { } b a A , = con la operacin (*)
definida por la siguiente tabla

a b
a b b
b a a
7

Esta operacin es cerrada y no es asociativa porque:
a a b a a a = = * * ) * ( y
b b a a a a = = * ) * ( * no se obtiene el mismo resultado.
No es conmutativa.
No tiene elemento neutro.
No existen inversos.

Ejemplo. Considere el conjunto { } f e d c b a A , , , , , = con la operacin (*)
definida por la siguiente tabla


a b c d e
f
a a b c d e
f
b b a d c
f
e
c c e a
f
b d
d d
f
b e a c
e e c
f
a d b
f f
d e b c a

Esta operacin es cerrada, asociativa, el elemento neutro es a, los
inversos respectivos de cada elemento son:

x a b c d e
f
1
x a b c e d
f

Esta operacin no es conmutativa, por ejemplo f d c = * , pero
b c d = *

Para hablar de la propiedad distributiva tenemos que contar con dos
operaciones definidas en el mismo conjunto.

Operaciones distributivas.
Sea ) ,*, ( A un conjunto con dos operaciones binarias definidas en l,
se dice que la operacin (*) se distribuye en la operacin si para
cualesquiera A c b a , , se satisface:
) * ( ) * ( ) ( * c a b a c b a = .

Ejemplos.
- ,.) , ( + N la multiplicacin se distribuye en la suma.
- ,.) , ( + R la multiplicacin se distribuye en la suma.

8
Ejemplo. Considere el conjunto { } s r q p A , , , = con las operaciones
definidas por las siguientes tablas

+
p q
r s
p p q
r s
q q q
s s
r r s r s
s s s s s


p q
r s
p p p p p
q p q p q
r
p p
r r
s
p q
r s

Realicemos ) .( q s r + y q r s r . . +
r s r q s r = = + . ) .(
Luego r p r q r s r = + = + . .
Por lo tanto q r s r q s r . . ) .( + = +


Ejercicio.
Sea { } ,*) , 0 ( R donde se definen

2
*
ab
b a = para cualesquiera { } 0 , R b a , y
ab b a b a + + = para cualesquiera { } 0 , R b a
Verifique si la operacin se distribuye en
Calculemos ) ( * c b a
2
2
) (
) ( * ) ( *
abc ac ab
bc c b a
bc c b a c b a
+ +
=
+ +
=
+ + =

Ahora ) * ( ) * ( c a b a
|

\
|
|

\
|
+ |

\
|
+ |

\
|
=
|

\
|

\
|
=
2 2 2 2
2 2
) * ( ) * (
ac ab ac ab
ac ab
c a b a

|
|

\
|
+ |

\
| +
=
4 2
2
bc a ac ab

9
4
2 2
2
bc a ac ab + +
=
Por lo que ) * ( ) * ( ) ( * c a b a c b a y no se satisface la distributividad.


NUMEROS REALES

El conjunto de nmeros reales R , se define como un conjunto con dos
operaciones definidas en l, la suma y la multiplicacin que satisfacen las
siguientes propiedades:
Para cualesquiera c b a , , nmeros reales

1) Cerradura de la suma
b a + es un nmero real
2) Asociatividad
c b a c b a + + = + + ) ( ) (
3) Elemento identidad o neutro. Existe un elemento 0 que satisface
a a a = + = + 0 0
4) Inversos aditivos. Para cada a existe su inverso ' a tal que
0 ) ( ) ( = + = + a a a a
5) Conmutatividad
a b b a + = +
6) Cerradura de la multiplicacin
ab es un nmero real
7) Asociatividad
c ab bc a ) ( ) ( =
8) Elemento identidad o neutro. Existe un elemento 1 que satisface
a a a = =1 1
9) Inversos multiplicativos. Para cada 0 a existe su inverso
1
a tal que
1
1 1
= =

a a aa
10) Conmutatividad
ba ab =
11) Distributividad
ac ab c b a + = + ) (

El conjunto de nmeros reales definido de esta manera no es nico,
existe una gran variedad de estructuras que satisfacen esta definicin.
Ms adelante se especificar la propiedad que determina la unicidad de
la estructura de los nmeros reales.

En matemticas usamos el trmino campo para nombrar a los conjuntos
que tienen definidas dos operaciones que satisfacen las propiedades que
hemos listado en la definicin de los nmeros reales.
10

Ejemplo. Consideremos el conjunto { } @,$ ?, , # &, = A con las
operaciones definidas por medio de las siguientes tablas
+ & # ?
@
$
& & # ?
@
$
# # ?
@
$ &
? ?
@
$ & #
@ @
$ & # ?
$ $ & # ?
@


& # ?
@
$
& & & & & &
# & # ?
@
$
? & ? $ #
@
@
&
@
# $ ?
$ & $
@
? #

A simple vista observamos que ambas operaciones son cerradas

Ambas operaciones son asociativas:
Haciendo las operaciones
( )
( )
( ) ( ) $ @ # $ @ #
@ ? # $ @ #
@ $ $ $ @ #
+ + = + +
)
`

= + = + +
= + = + +

Estas relaciones se deben verificar para cualesquiera tres elementos del
conjunto A

Algo similar sucede con la multiplicacin
( )
( )
( ) ( ) .$ ? . @ .$ ? . @
$ @ . @ .$ ? . @
$ #.$ .$ ? . @
=
)
`

= =
= =

De igual manera se deben verificar para todas las ternas de elementos de
A.

El elemento identidad para la suma es &
El elemento identidad para la multiplicacin es #
Existen elementos inversos para la suma

a & # ?
@
?
a & ?
@
? #

Existen elementos inversos para la multiplicacin, excepto para el
elemento identidad para la suma &

11
a & # ?
@
$
1
a
#
@
? $

Se satisface la propiedad distributiva de la suma en la multiplicacin
Haciendo las operaciones
( )
( )
( ) ( ) $# ?) ($ # ? $
? $ @ $# ?) ($
? $(@) # ? $
+ = +
)
`

= + = +
= = +

Estas relaciones se deben verificar para cualesquiera tres elementos del
conjunto A
Concluimos que el conjunto { } @,$ ?, , # &, = A con las operaciones dadas
satisfacen todas las propiedades bsicas de los nmeros reales, entonces
qu diferencia existe entre el sistema de nmeros reales y esta pequea
estructura?
Podemos construir una infinidad de ejemplos como el anterior y
entonces el sistema de nmeros reales es una estrella dentro de una
inmensa constelacin.

Existen otras propiedades importantes y muy usadas de los nmeros
reales, las cuales no se consideran parte de la definicin del sistema de
nmeros reales porque se pueden deducir con razonamientos lgicos a
partir de los axiomas de la definicin de nmeros reales.

Para poder realizar la demostracin de dichas propiedades haremos un
elemental repaso de las leyes de la lgica matemtica.

Una teora en matemticas consta de objetos y conceptos bsicos, luego
de reglas bsicas o afirmaciones tomadas como verdaderas, llamadas
axiomas y el cuerpo de la teora la conforman diferentes resultados,
llamados teoremas, los cuales son afirmaciones que deben demostrarse a
partir de los axiomas o de teoremas previamente demostrados.


conceptos objetos
axiomas teoremas
teoria
12
Ejemplo. La geometra es una teora con objetos y conceptos bsicos que
son los puntos y las rectas. Los axiomas son los famosos 5 axiomas de
Euclides. A partir de esto, se generan nuevas propiedades que cumplen las
rectas y los puntos.


BIBLIOGRAFIA
Pinzon, Alvaro. (1977) Conjuntos y estructuras. Harla

Fraleigh, John B. (1987) Algebra Abstracta. Addison-Wesley Ibeoamricana.

Haaser, LaSalle, Sullivan. (1980)Anlisis Matemtico. Curso de Introduccin. Trillas