Captulo 2

LOS POSTULADOS BSICOS DE LA ADICIN

2.1. Introduccin
Los nmeros reales, R, poseen cuatro operaciones, la suma, la resta, la multiplicacin y la divisin. Comenzaremos en este captulo con el estudio terico de dichas operaciones. Nos interesar ver los supuestos acerca de dichas operaciones, as como sus principales propiedades. Aunque es razonable esperar que de una manera u otra el lector haya visto lo anterior, manteniendo nuestro espritu de partir desde el comienzo no supondremos ningn conocimiento previo.

2.2. Los Primeros Postulados y Deniciones

Nuestras creencias primeras acerca de las operaciones bsicas provienen de las experiencias aritmticas previas. Por ejemplo, cuando se trata de la adicin (forma elegante de hablar de la suma) y la multiplicacin, suponemos que el orden en que se realizan dichas operaciones no afecta el resultado de las mismas. A esa propiedad la llamaremos la conmutatividad de esas operaciones. Igualmente, cuando queramos combinar tres nmeros usando alguna de esas operaciones, lo podremos hacer agrupando esos nmeros como queramos; a esa propiedad la llamaremos la asociatividad de esas operaciones. Adems tenemos que hay elementos destacados para la suma y la multiplicacin como el cero y el uno respectivamente. Tales nmeros se comportan de forma neutra respecto a su operacin. Todas esas suposiciones las enunciaremos de forma explcita a continuacin y constituirn nuestras creencias bsicas acerca de dichas operaciones. Sugerimos que el lector las revise para informarse acerca de ella, pero que no intente, al menos por ahora, de memorizarlas. Queremos simplemente tener todos esos postulados juntos para futuras referencias.

CAPTULO 2. LOS POSTULADOS BSICOS DE LA ADICIN

22

Postulados de la Adicin
A0 (Cerradura de la Adicin) El resultado de la adicin de dos elementos de R, digamos a y b, es un nuevo elemento de R que simbolizaremos por a + b y que llamaremos la SUMA de a y b. En smbolos,

a, b R = (a + b) R.
Los elementos a y b son los SUMANDOS de a + b. A1 (Asociatividad de la Adicin) Cuando se combinan tres elementos mediante la adicin, digamos a, b, y c, es posible hacerlo de dos maneras, combinando a con la suma de b y c; o combinando la suma de a y b, con c. Ambos procedimientos dan el mismo resultado. En smbolos,

a + (b + c) = (a + b) + c.
A2 (Existencia de Elemento Neutro Aditivo) Hay un elemento destacado en R llamado CERO y simbolizado por 0, que cuando se suma con otro elemento el resultado siempre es el otro elemento, independiente del orden en que se realice la suma. En smbolos, a + 0 = 0 + a = a. A3 (Existencia De Opuestos Aditivos) Para cada elemento a de R hay un elemento llamado el OPUESTO ADITIVO de a al que simbolizamos por a, y tal que cuando se suma con a el resultado es cero, independiente del orden en que se realice la operacin. En smbolos,

a + (a) = (a) + a = 0.
A4 (Conmutatividad de la Adicin) El orden en que se realice la suma no afecta el resultado. En smbolos, a + b = b + a.

Postulados de la Multiplicacin
M0 (Cerradura de la Multiplicacin) El resultado de la multiplicacin de dos elementos de R, digamos a y b, es un nuevo elemento de R que simbolizaremos por a b y que llamaremos el PRODUCTO de a y b. En smbolos,

a, b R = (a b) R.
Diremos que los elementos a y b son los FACTORES de a b, M1 (Asociatividad de la Multiplicacin) Cuando se combinan tres elementos mediante la multiplicacin, digamos a, b y c, es posible hacerlo de dos maneras: combinando a con el producto de b y c, o combinando el producto de a y b, con c. Ambos procedimientos dan el mismo resultado. En smbolos,

a (b c) = (a b) c.

CAPTULO 2. LOS POSTULADOS BSICOS DE LA ADICIN

M2 (Existencia de Elemento Neutro Multiplicativo) Hay un elemento destacado en R, llamado UNO, y simbolizado por 1, que cuando lo multiplicamos con otro elemento el resultado siempre es el otro elemento, independiente del orden en que se realice la multiplicacin. En smbolos,

23

a 1 = 1 a = a.
M3 (Existencia de Inversos Multiplicativos) Para cada elemento no nulo a de R, hay un elemento simbolizado por a1 y llamado un inverso multiplicativo o recproco de a, tal que cuando multiplicamos a por ese elemento obtendremos 1.

a a1 = 1

a1 a = 1.

M4 (Conmutatividad de la Multiplicacin) El orden en que se realice la multiplicacin no afecta el resultado. En smbolos,

a b = b a.

Postulados Mixtos
AM1 (Distributividad de la Adicin con respecto a la Multiplicacin) Cuando se multiplica un nmero por la suma de otros dos elementos, el resultado es igual a la suma de el producto del primer elemento con el primer sumado, con el producto del primer elemento con el segundo sumando. En smbolos,

a (b + c) = (b + c) a =

a b + a c, ba+ca

AM2 (Desigualdad de los Neutros) Los neutros de las operaciones son distintos entre s. O sea, cero no es igual a uno. En smbolos,

0 = 1.

Observaciones.
1. Los matemticos llaman CUERPO a cualquier conjunto C provisto de operaciones de suma y multiplicacin que posean las propiedades de los postulados anteriores. Recordemos que dijimos que nuestra suposicin bsica acerca de los nmeros reales R, es que era un cuerpo ordenado completo. Que los reales formen un cuerpo signica entonces que estamos suponiendo que las propiedades sobre suma y multiplicacin anteriores son todas vlidas para los reales. La razn de introducir la terminologa abstracta de cuerpo es porque hay, en matemticas, adems de los reales otros cuerpos importantes.

CAPTULO 2. LOS POSTULADOS BSICOS DE LA ADICIN

24

2. El producto a b de dos nmeros se escribe de varias maneras que researemos a continuacin.

a ) ab. Cuando no haya riesgo de confusin acerca de cuales son los factores. b ) a b. Esta forma se usa en computados y calculadoras. Nosotros la usaremos principalmente cuando los factores estn escritos como numerales, por ejemplo 6 7. c ) a b. Otra manera tradicional de escribir multiplicacin. d ) a b. Una manera copiada de la aritmtica antigua. Nosotros no usaremos esta notacin porque puede confundirse el smbolo con la letra x que es muy usada en lgebra.

2.3. Los Numerales

Comenzaremos nuestro anlisis de los postulados con el estudio de los numerales. Llamaremos numerales a las expresiones que representen nmeros en el sentido de la aritmtica tradicional. En los postulados (ver A2 y M2) hay dos numerales mencionados de forma explcita: el 0 y el 1. El lector seguramente ha odo hablar de otros numerales tales como 2, 5, 1997, etc.. De dnde salen esos numerales? Todos ellos provienen de las deniciones que daremos a continuacin.

Denicin 2.1 (Denicin de numerales).

2 3 4 5 := := := := . . . 1+1 2+1 3+1 4+1

etc.

Observacin. Leeremos el smbolo := como igual por denicin a . . . . Quiere decir que

la expresin que aparece a su izquierda es una abreviacin que podemos usar en lugar de la expresin que aparece a su derecha. As por ejemplo, el smbolo `2' es una abreviacin de `1+1'. Usando esa denicin, en lugar de tres smbolos escribimos tan slo uno. Por ahora, ese ser todo el signicado (formal) de 2, 3, 4, etc.

CAPTULO 2. LOS POSTULADOS BSICOS DE LA ADICIN

25

2.3.1. Las Tablas de la Adicin

Todo el mundo sabe que 2 + 2 = 4. Por lo tanto, un buen comienzo para ver si nuestra teora va bien ser intentar una demostracin de lo anterior. Donde por demostracin queremos decir, ver si lo armado es una consecuencia lgica de lo supuesto o conocido con anterioridad. En este caso de nuestros postulados y deniciones.

Proposicin 2.3.1. 4 = 2 + 2
Demostracin.
4 = = = = 3+1 (2 + 1) + 1 2 + (1 + 1) 2+2
Denicin de 4 Denicin de 3 A1, asociatividad de + Denicin de 2

Como esta es la primera demostracin que hacemos, explicaremos cuidadosamente lo que all aparece. La parte central de la demostracin est en las columnas centrales, donde mediante las transformaciones autorizadas por los postulados o las deniciones, convertimos la expresin 4 en 2 + 2. A la derecha, hemos colocado una justicacin de la igualdad de esa indicar el nal de la demostracin. lnea. El smbolo

Proposicin 2.3.2. 1 + 3 = 4
Demostracin.
1+3=3+1=4
A4, conmutatividad y def. de 4.

Actividad 2.1. Completar las justicaciones en las siguientes demostraciones.

1. Probar que 5 = 3 + 2.

5 = = = =
2. Probar que 4 + 2 = 6.

4+1 (3 + 1) + 1 3 + (1 + 1) 3+2

4+2 = = = =

4 + (1 + 1) (4 + 1) + 1 5+1 6

CAPTULO 2. LOS POSTULADOS BSICOS DE LA ADICIN 3. Probar que 3 + 3 = 6

26

3+3 = = = =

3 + (2 + 1) (3 + 2) + 1 5+1 6

resultado anterior, 3 + 2 = 5

Procediendo de la manera indicada se puede completar la tabla siguiente, lo que dejaremos al cuidado del lector.

+ 0 1 2 3 4 5 6 7

0 0 1 2 3 4 5 6 7

1 1 2 3 4 5 6 7

2 2 3 4 5 6

3 3 4 5 6

4 5 6 7 ... 4 5 6 7 ... 5 6 7 6

2.3.2. Las Tablas de Multiplicar

Las tablas de multiplicar se desarrollan de manera anloga a las tablas de sumar. Ahora, adems de los postulados de multiplicacin usaremos los postulados mixtos, en especial la distributividad.

Proposicin 2.3.3. 2 2 = 4
Demostracin.
22 = = = = 2 (1 + 1) 21+21 2+2 4
Def de 2 AM1, distributividad M2, Propiedad del Uno Resultado anterior

Proposicin 2.3.4. 3 2 = 6
Demostracin.
32 = = = = 3 (1 + 1) 31+31 3+3 6
Def de 2 AM1, distributividad M2, Propiedad del Uno Resultado anterior

CAPTULO 2. LOS POSTULADOS BSICOS DE LA ADICIN

27

Actividad 2.2. Indicar la justicacin para cada una de las siguientes demostracin. Suponga conocidas todas las combinaciones de suma.
1.

42 = = = = 33 = = = =

4 (1 + 1) 41+41 4+4 8

2.

3 (2 + 1) 32+31 6+3 9

Procediendo de esa manera se puede completar la tabla de multiplicacin.

0 1 2 3 4 5 6 7 ... 0 ... 1 1 2 3 4 5 6 7 2 2 4 6 3 6 9 3 4 4 5 5 6 6 7
Ntese que hemos dejado en blanco la la y la columna correspondiente al factor 0. Cunto ser, por ejemplo, 3 0? . . . Por qu? La respuesta formal deber esperar hasta una prxima ocasin, pero el lector audaz puede intentar desde ya a dar y justicar una respuesta.

CAPTULO 2. LOS POSTULADOS BSICOS DE LA ADICIN

28

Quiz Conceptual Captulo 2. Generalidades acerca de las operaciones y sus propiedades.

1. Cul de los siguientes es una aplicacin del postulado de conmutatividad de la adicin, A4?

a) b) c) d)

2+3=3+2 23=32 2 + 3 es un nmero real. 2 3 es un nmero real.

2. Cul de los siguientes es una aplicacin del postulado de conmutatividad de la multiplicacin, M4?

a) b) c) d) a) b) c) d)

2+3=3+2 23=32 2 + 3 es un nmero real. 2 3 es un nmero real.

3. Cul de los siguientes es una aplicacin del postulado de cerradura de la adicin, A0?

2+3=3+2 23=32 2 + 3 es un nmero real. 2 3 es un nmero real.

4. Cul de los siguientes es una aplicacin del postulado de cerradura de la multiplicacin, M0?

a) b) c) d)

2+3=3+2 23=32 2 + 3 es un nmero real. 2 3 es un nmero real.

5. Cul de los siguientes es una aplicacin del postulado de asociatividad de la adicin, A1?

a) b) c) d)

2 + (3 + 4) = (2 + 3) + 4. 2 (3 4) = (2 3) 4. 2 (3 + 4) = 2 3 + 2 4. ninguno de los anteriores.

CAPTULO 2. LOS POSTULADOS BSICOS DE LA ADICIN

29

6. Cul de los siguientes es una aplicacin del postulado de asociatividad de la multiplicacin, A1?

a ) 2 + (3 + 4) = (2 + 3) + 4. b ) 2 (3 4) = (2 3) 4. c ) 2 (3 + 4) = 2 3 + 2 4. d ) ninguno de los anteriores.

7. Cul de los siguientes es una aplicacin del postulado de distributividad, AM1?

a ) 2 + (3 + 4) = (2 + 3) + 4. b ) 2 (3 4) = (2 3) 4. c ) 2 (3 + 4) = 2 3 + 2 4. d ) ninguno de los anteriores.

8. Esencialmente, el postulado de cerradura de una operacin establece que:

a ) Reordenamiento de los operandos no afecta el resultado. b ) Reagrupamiento de los operandos no afecta el resultado. c ) Sustitucin de los operandos no afecta el resultado. d ) Ninguna de las anteriores.
9. La validez del enunciado  2 + 0 = 2 est justicada por el postulado de:

a ) conmutatividad de la adicin (A4). b ) existencia de neutro multiplicativo (M2). c ) existencia de neutro aditivo (A2). d ) existencia de opuestos aditivos (A3).
10. La validez del enunciado  2 + 3 = 3 + 2 est justicada por el postulado de:

a ) conmutatividad de la adicin (A4). b ) existencia de neutro multiplicativo (M2). c ) existencia de neutro aditivo (A2). d ) existencia de opuestos aditivos (A3).

CAPTULO 2. LOS POSTULADOS BSICOS DE LA ADICIN

210

2.4. Ejercicios del Captulo 2.

1. Cada uno de los enunciados o armaciones siguientes son vlidos (forma matemtica de decir verdadero). Usando solamente lo estudiado en este texto, dar una razn para dicha validez.

a) b) c) d) e) f) g) h) i) j)

2 + 3 = 3 + 2. 5 + 0 = 0. 1997 + 0 = 1997 1997 1 = 1997. 4567 + 1234 = 1234 + 4567. 23 + 456789 es un nmero real. 45 12345 es un nmero real. (a + 3) + 2 = a + (3 + 2). 3 (a b) = (3 a) b. 5 (a + 2) = 5 a + 5 2.

2. Completar los espacios en blanco en cada una de las siguientes expresiones de modo que resulte una expresin verdadera.

a) b) c) d)

26=4 . 2 6 = 10 + . 2+( + 3) = (2 + 3 = 4 5 + 4.

) + 3.

3. Completar los espacios en blanco.

a ) Los reales, R, poseen intuitivamente cuatro operaciones: la , la , la y la b ) Esencialmente, la cerradura de una operacin respecto a un conjunto, nos dice que cuando calculamos el resultado de la operacin en dos elementos del conjunto, dicho resultado tambin est en el mismo . c ) Un elemento es neutro con respecto a una operacin, cuando operado con cualquier otro elemento, el resultado siempre es el . d ) Esencialmente, la asociatividad de una operacin indica que el de trminos no afecta el resultado nal. e ) Esencialmente, la conmutatividad de una operacin indica que el de trminos no afecta el resultado nal.
RAHT98 nAlg02