11111

uia
12
CAP ITULO 1. LOGICA - TEOR IA DE CONJUNTOS
An tioq
x a y b c
x x
a a
y y
b b
c c
Tabla II.
2. Complete la Tabla II de manera que quede denida una operaci on binaria con m odulo el elemento x y que adem as cumpla las Ls. algebraicas 1 6. Adem as que se cumplan los siguientes requisitos: El inverso de a que sea c. El inverso de b que sea y.
de
dad
Tabla III
ersi
Un iv
Tabla IV.
5. Justique la armaci on: La operaci on denida por medio de la tabla ; no es conmutativa ni invertiva. Encuentre una regla o f ormula para dicha operaci on.
e a b c
Tabla
e e a b c
a a a b c
b b a b c
c c a b c
Un iv
0 -1 1 2
0 0 -1 1 2
-1 1 2 -1 1 2 0 2 1 2 0 -1 1 -1 0
(-1 1) 2= -1 (1 2)= 22 = , (es decir, 2 13 = ; 16 =
2=
.)
ersi
4. La operaci on desplegada en la singular tabla IV, satisface las leyes b asicas del a lgebra 1 6. Verique, (parcialmente), esta armaci on efectuando algunos resultados.
(Versi on Preliminar)
dad
0 1 2 3 4 5
0 0
1 2 3 0 1 2 3
4 5 0 4 5 4
Alberto Casta no
5 x2 3 x 2 = 1. ( = suma, m odulo 6).
julio/2006
de
3. Completar la tabla III considerando la multiplicaci on, m odulo 6. Resolver, por ensayo y error, la ecuaci on propuesta al lado de la tabla. Cu al es la u nica ley algebraica, (1 6), que esta operaci on no cumple?
Notas de Introducci on al C alculo
An tioq
uia
uia
uia
1.2. EJERCICIOS
11
An tioq
a0=0
Prefacio
Ejemplos-: (Vericar cada ejemplo en las tablas #4 y #5.) 4 (5 2) = (4 5) (4 2) = 3.

3 0 3
Se ha dicho, con fundamento, que la puerta de entrada a las ideas del C alculo la constituye el concepto de l mite. Estas notas quieren hacer honor a dicho concepto teniendo como objetivo llegar con un proceso constructivo a la denici on precisa de l mite de funciones de una variable real. Tal vez una raz on para eludir esta denici on precisa en los cursos habituales de C alculo, sea la necesidad de llevar a cabo toda una serie de ideas b asicas que le permitan al estudiante un feliz arribo a este extraordinario concepto, b asico para todos aquellos que quieran ir un poco m as all a de f ormulas y anhelen adquirir un conocimiento de calidad en C alculo, cuanto con mayor raz on para los que est an ingresando en a reas de investigaci on, ll amese F sica, Qu mica, Econom a o de Ingenier as y obviamente para los Matem aticos. El recorrido que se ha querido hacer en estas notas para llegar a la noci on de l mite, propuesta en el p arrafo anterior, se inicia con la denici on de operaci on binaria, concepto que se aprovecha para familiarizar al estudiante con las leyes b asicas del campo algebraico. Razones para hacerlo as sobran, pu es una parte central del trabajo matem atico es la actividad permanente con operaciones de diferente naturaleza. Baste decir aqu que desde un principio estaremos comprometidos con operaciones de tipo l ogico, operaciones con conjuntos, con relaciones y funciones, y con los n umeros reales. Se ingresa a continuaci on en el terreno de la demostraci on matem atica, proponiendo las principales operaciones con enunciados, pero con la idea de proporcionarle al estudiante los diferentes m etodos de razonamiento matem atico. Claro est a que no es aqu el lugar para desarrollar toda la estructura te orica de la l ogica. Lo que se espera es que el estudiante adquiera las t ecnicas necesarias para comprender textos demostrativos y que adem as llegue a elaborarlos por su propia cuenta. El procedimiento recurre al m etodo eur stico, complementado con ejemplos que sirvan de modelo apropiado a cada uno
de
El rec proco de 3 es 2 y esto lo expresamos as : 31 = 2. (Note que 3 2 = 1; Ley Invertiva de ). 42 = 1, ya que 42 signica 4 4 = 1 3 (2 3 ) = 4, ya que 2 3 = 3.
dad
ersi
1.2.
Ejercicios
Un iv
x y z w
Un iv
x y w x z y w z y x z x y z w w z x w y
1. En la siguiente tabla I, vericar por inspecci on que es operaci on binaria; vericar la ley asociativa al menos 2 veces; vericar la ley conmutativa al menos 2 veces; identicar, si existe, m odulo; completar las igualdades que se dejan indicadas.
ersi
Tabla I.
ii
dad
yz = ; x1 = (z x) w = ; w 1 = zz = ; x2 = x2 y 1 = ; y 3 w2 = (w x) (y x) =
de
El opuesto de 2 es 3 y esto lo expresamos as : 2 = 3. (Note que 2 3 = 0; Ley Invertiva de ).
An tioq
No se incluye el 0 en la tabla #5 ya que este no tiene inverso para el producto . Sin embargo es posible re-incluirlo por medio del teorema,
Ley Distributiva.
uia
10
uia
iii
An tioq
La operaci on denida en la Tabla , verica las Leyes b asicas 1 6. Para esta operaci on el m odulo es e. Inversos: e1 = e a1 = a. 1 b = b. c1 = c. En cambio la Tabla verica las Ls. clausurativa, uniforme, asociativa y modulativa, (m odulo (e)), pero no, las leyes conmutativa e invertiva.
Tabla
e a b c
e e a b c
a a a b c
b b a b c
c c a b c
de
Tabla
Operaciones m odulo n. (n un entero > 1)
dad
Denimos en el conjunto B = {0, 1, 2, 3, 4, }. una suma y una multiplicaci on as : Para x, y B,
ersi
Las Tablas # 4 y # 5 muestran sendos resultados. 0 1 2 3 4 0 0 1 2 3 4 1 1 2 3 4 0 2 2 3 4 0 1 3 3 4 0 1 2 4 4 0 1 2 3 1 2 3 4

Tabla #5
Un iv
Tabla #4
Las dos operaciones y desplegadas en las tablas #4 y #5 cumplen todas las leyes b asicas del Algebra y por tanto constituyen un campo algebraico con 5 elementos a saber, 0, 1, 2, 3, 4.
Un iv
1 1 2 3 4
2 2 4 1 3
3 3 1 4 2
4 4 3 2 1
ersi
x y = residuo r que queda despu es de dividir (x + y ) por 5. x y = residuo r que queda despu es de dividir (xy ) por 5.
dad
Son dos operaciones de la mayor importancia en Algebra y Teor a de N umeros. Veamos un ejemplo con n = 5.
de
An tioq
e a b c
e e a b c
a a e c b
b b c e a
c c b a e
de los diferentes m etodos de demostraci on. Para ello se han introducido desde un comienzo, (ver pre ambulo), deniciones y teoremas elementales de los n umeros enteros, supuesto que el estudiante tiene alguna familiaridad con ellos gracias a sus estudios anteriores. En esta parte se enuncian algunos teoremas sobre n umeros enteros como el llamado Algoritmo de la divisi on, el Teorema Fundamental de la Aritm etica, el hermoso resultado griego sobre la innitud de los n umeros primos, y adem as, algunas nociones como n umeros pares e impares, n umeros primos y compuestos, M aximo Com un Divisor y primos relativos. Esto se hace con el prop osito de tener algunos elementos de la Aritm etica para realizar desde un principio ejemplos de demostraciones sencillas. Sigue un desarrollo elemental pero b asico de la Teor a de Conjuntos. Este tema nos ofrece una oportunidad de poner en pr actica conceptos descritos en la parte anterior, tales como operaciones con conjuntos y sus respectivas leyes algebraicas, as como tambi en demostraciones que tengan el sello de bien constru das, empleando los principales m etodos de razonamiento l ogico. En este punto damos por terminado el primer cap tulo . En el segundo cap tulo se complementa el tema anterior con las ideas de Relaciones y funciones, conceptos centrales en el estudio del C alculo. Aqu nuevamente salen a relucir importantes operaciones como inversi on de relaciones y la importante composici on de relaciones y sus leyes de asociatividad, no conmutatividad, etc. En este tema se parte del conocimiento y la familiaridad que tiene el estudiante con los n umeros reales, as sea este leve y quiz a un tanto confuso. Lo que se espera es que el estudiante vaya mejorando este conocimiento a medida que se desenvuelve el curso. Para dar un paso en este sentido se abre aqu un par entesis para hacer un recuento de las leyes algebraicas de la suma y producto usuales con n umeros reales y se inicia el tema del orden en Matem aticas, las t ecnicas de resoluci on de desigualdades, el reconocimiento de la recta num erica y de los llamados intervalos reales. Se incluye en este momento la idea de distancia entre puntos de la recta, utilizando el concepto de valor absolutode un n umero real. Tambi en se expone en t erminos de correspondencia biun voca, el hecho fundamental de que todo intervalo real no trivial tiene tantos puntos como la recta num erica y se se nala la posibilidad de expresar distancias entre puntos reales, tan peque nas como se quiera, recurriendo a la presentaci on centro-radio de cualquier intervalo no trivial escribi endolo en t erminos de una desigualdad con valor absoluto. Se inicia el cap tulo tres con la presentaci on de un buen n umero de funciones b asicas entre n umeros reales, (polin omicas, racionales, exponenciales,
uia
iv
PREFACIO
BINARIA 1.1. OPERACION Ejemplos:
uia de An tioq
13 40
de
logar tmicas y trigonom etricas), destacando el aspecto operacional por medio del cual se obtienen nuevas funciones generadas mediante sumas, diferencias, productos, cocientes y composici on. Se insiste en el aspecto gr aco de funciones como l neas rectas, par abolas, curvas exponenciales, logar tmicas, 1 trigonom etricas, y funciones del tipo x, x , |x|, funciones por tramos, etc., que ser an una reserva para m as adelante ilustrar las ideas de l mite, continuidad y diferenciabilidad, informando al estudiante que toda la complejidad que encierra la forma de estas curvasse ir a aclarando con el transcurrir de los temas. En el cap tulo cuatro consideramos que todo est a preparado para denir el concepto de l mite de una funci on, lo cual se har a desde el punto de vista intuitivo de aproximaci on sistem atica a un cierto n umero a prejado en el ambiente determinado por una funci on. Una vez desarrollado este proceso de tipo eur stico se est a en condiciones de presentar en t erminos formales esta, no solo importante sino magn ca, construcci on del ingenio matem atico:
An tioq
Los n umeros racionales, (Q), los reales, (R), y los complejos, (C), con las operaciones usuales de suma (+) y multiplicaci on () satisfacen las 7 leyes mencionadas anteriormente, raz on por la cual se llaman campos on distribuye algebraicos. T engase en cuenta que s olo la multiplicaci con respecto a la suma, es decir: a (b + c) = (a b) + (a c), a + (bc) = (a + b)(a + c). Un ejemplo num erico aclara lo dicho: 3 + (2 5) = (3 + 2) (3 + 5) . La siguiente tabla resume la notaci on y nombres relacionados con las operaciones usuales en Q, R, y C. Nombres y s mbolos relacionados con las operaciones + y .
Pero la suma no distribuye con respecto a la multiplicaci on, es decir,
Para todo > 0 existe > 0 tal que para todo x,
dad
0 < |x a| < = |f (x) L| < , l m f (x) = L.
cuya abreviatura es usualmente representada como

xa
ersi
Un iv
Los Enteros con no cumplen la L. Invertiva, (cuando a = 1 es un entero, a1 no es entero.) e a b

Tabla #3
Un iv
Llegados a este punto, sigue un proceso de manejo t ecnico de esta expresi on, incluyendo modelos demostrados de l mites de funciones b asicas, exponiendo leyes y propiedades de los l mites y aprovechando el momento para denir las ideas de continuidad y derivaci on. Terminamos el curso en el quinto cap tulo, presentando las t ecnicas b asicas de derivaci on que se extienden hasta la importante Regla de la cadena.
T engase en cuenta que los Naturales con + no cumplen la L. Modulativa, (0 / N), ni la L. Invertiva, (cuando a N, a / N.)
ersi
Operaci on +
m odulos 0 1
dad
notaci on y nombre para inversos a (opuesto de a) 1 (rec proco de a = 0) a
En la Tabla #3, la operaci on cumple con las leyes 1, 6. El m odulo es e. Los inversos son: e1 = e, a1 = b, b1 = a.
e e a b
a b a b b e e a
uia
0.1. ALGUNOS CONJUNTOS DE NUMEROS PREAMBULO.
uia
An tioq
a A = (a e = a y e a = a)
Claro que si es commutativa, es suciente que se cumpla una sola de las igualdades en la anterior implicaci on para que tambi en se cumpla la otra.
El elemento e se llama el m odulo o elemento neutro de .
de
dad
En t erminos de implicaci on:
(a A y en A existe m odulo) = (En A existe a1 tal que aa1 = e y a1 a = e).
x es un elemento del conjunto A, x pertenece a A, x en A.
ersi
El elemento a
Aqu tambi en es claro que si es commutativa, es suciente una sola igualdad en la implicaci on anterior. 7. L. Distributiva:
se llama el inverso de la operaci on .
0.1.
Algunos conjuntos de n umeros
Las diferentes clases de conjuntos num ericos que estaremos utilizando son:
Un iv
Esta ley requiere que en el conjunto A est en denidas dos operaciones, digamos y . Decimos que distribuye con respecto a si se cumple la siguiente implicaci on:
a, b, c A = a (b c) = (a b) (a c) y (b c) a = (b a) (c a)
El conjunto de los n umeros enteros { 0, 1, 2, 3, }, que se representa con la letra especial: Z. Se utiliza el s mbolo Z+ , (enteros positivos), como otra manera de representar el conjunto N. El conjunto de los n umeros racionales: Q, n umeros que son de la forma 3 7 a con a, b enteros, b = 0. N u meros como , , 0, 2, 3 1416, son b 5 4 racionales.
Nuevamente, si es commutativa, es suciente que se cumpla una de las igualdades en la implicaci on anterior ya que tambi en se estar a cumpliendo la otra.
Un iv
El conjunto de los n umeros naturales { 1,2,3,... }, que se representa con la letra especial: N.
ersi
Como es usual, x / A signica: x no pertenece a A.
dad
Si el conjunto A tiene un m odulo e y para cada elemento a de A hay un elemento (por lo menos uno) en A , que denotaremos con a1 , tal que, al operar a con a1 en cualquier orden, el resultado es el m odulo e, entonces la operaci on cumple la L. Invertiva.
de
6. L. Invertiva:
En este pre ambulo mencionamos, sin entrar en mayores detalles, los conjuntos num ericos de nuestro mayor inter es e inclu mos algunas deniciones y resultados sobre los n umeros enteros. Se inicia el primer cap tulo con el concepto de operaci on binaria acompa nado de las leyes b asicas del Algebra. Viene enseguida una presentaci on, acompa nada mas de intuici on que de rigor, de las leyes l ogicas y principales m etodos de demostraci on y se ofrecen algunos modelos de razonamiento, demostrando resultados referidos a los n umeros enteros. El cap tulo naliza con una introducci on elemental de la Teor a de Conjuntos que incluye las operaciones usuales con conjuntos. Muy pronto, en la secci on 0.2., inclu mos los conectivos l ogicos, , (implicaci on), con el signicado Si ...entonces, y , (equivalencia), con el signicado Si y solo si. As mismo, a partir de la secci on 1.1. inclu mos expresiones del estilo x A que tiene los siguientes signicados:
An tioq
5. L. Modulativa: Hay en el conjunto A por lo menos un elemento, que denotaremos con e, que operado, (por derecha o por izquierda), con cada elemento de A, da como resultado el mismo elemento, es decir:
uia
PREFACIO
BINARIA 1.1. OPERACION
uia
An tioq
El uso recomienda aproximar un n umero irracional por medio de uno racional. N umeros como 3 1416, e 2 71828 y 2 1 4142, son ejemplos de n umeros irracionales aproximados a valores racionales. El conjunto de los n umeros reales se representa con la letra especial R y consta de la reuni on de los racionales, Q, con los irracionales, Q.
Puesta en forma de implicaci on esta ley se puede escribir as : Sean a, b, c, d A : a=c b=d
de
dad
La igualdad a = 2k , donde k es un entero, signica que a es un entero par. Ejemplos: 6 es de la forma 2k con k = 3; 0 es de la forma 2k con k = 0; 10 es de la forma 2k con k = 5, por lo tanto 6, 0, 10 son n umeros pares.
Las leyes que siguen son opcionales, es decir, una operaci on puede cumplirlas o no.
ersi
La igualdad a = 2k 1, donde k es un entero, signica que a es un entero impar. Ejemplo: 7 es de la forma 2k 1 con k = 4, por lo tanto 7 es n umero impar.
En t erminos de implicaci on, esta ley se expresa de la siguiente manera: a, b, c A = (a b) c = a (b c)
Un iv
La expresi on a | b con a, b enteros, a = 0, signica lo siguiente: a divide a b, a es un divisor de b,
4. L. Commutativa: El orden en que se realice la operaci on con dos elementos no modica el resultado. Esta propiedad se extiende a cualquier n umero nito de elementos.
o tambi en,
b es un m ultiplo de a.
Puesta en t erminos de implicaci on queda as : a, b A = a b = b a
Un iv
Esta ley tambi en es v alida cuando el n umero de elementos a operar es mayor que tres, en cuyo caso se puede realizar agrup andolos de 3 en 3.
ersi
3. L. Asociativa: El resultado de realizar la operaci on con 3 elementos es el mismo en cualquiera de las dos maneras en que es posible llevarla a cabo sin cambiar el orden en que se tomen los elementos.
dad
0.2.
DEFINICIONES Y TEOREMAS.
Un caso particular de esta ley ocurre cuando se tiene una igualdad, digamos a = b, y se opera en ambos miembros por un mismo elemento c. En tal caso se obtiene a c = b c o bien, c a = c b. Estas dos primeras leyes denen una operaci on binaria, sin ellas no se considera como tal. (Ver Denici on 1.1.1).
de
Finalmente, el conjunto C de los n u meros complejos, n umeros que son de la forma (a + bi), siendo i = 1 y a, b , n u meros reales; por 1 ejemplo, (2 + 3i), ( 2 i 3), (0 + i), son n umeros complejos. Todo n umero real a se puede escribir como un complejo de la forma (a + 0i).
= ab = cd
An tioq
El conjunto de los n umeros irracionales, es decir, n umeros que no se pueden expresar en forma racional. Este conjunto lo vamos a representar con el s mbolo Q .
2. L. Uniforme: Todo resultado obtenido por medio de la operaci on es u nico. Dicho en otras palabras, si se opera con elementos iguales, se obtienen resultados iguales.
uia
uia An tioq
18 30
0.2. DEFINICIONES Y TEOREMAS. Escribimos:
An tioq
e a b c
En la Tabla #2 se leen, entre otros, los siguientes resultados: a e = a e a = a a b = a b c = b.
e e a b c
a a a b c
b b a b c
c c a b c
a | b b = ka, siendo k un entero.
Ejemplos: 3 | 15, 5 | 20. En cambio, 5 12, (5 no divide a 12.) Un entero positivo d se llama M aximo Com un Divisor de los enteros a, y b si d es el mayor de los divisores comunes de a y b, donde a, b son no ambos ceros. Escribimos:
Tabla #2
El siguiente esquema muestra como se obtienen resultados en una tabla de operaci on binaria: (Ver Tabla #2.)
d = M CD (a, b).
Ejemplos: M CD (18, 30) = 6, M CD (14, 45) = 1, M CD (0, 20) = 20. Dos enteros a, b son primos relativos si y solo si M CD (a, b) = 1. Por ejemplo 14 y 45 son primos relativos. Un n umero racional Por ejemplo, reducida.
14 45 a b
dad
est a en forma reducida; en cambio
dad
: . b :
a : . b : b a=b
de
presenta forma reducida si y solo si M CD (a, b) = 1 no est a en forma
ersi
Un iv
Consideremos una operaci on binaria denida en un conjunto A. 1. L. Clausurativa: El resultado de efectuar la operaci on con dos elementos de A es tambi en un elemento de A. Para nes pr acticos es bueno tener esta ley en forma de implicaci on: a, b A = (a b) A
El siguiente teorema se llama Algoritmo de la divisi on: Teorema 0.2.1. Si a, b son dos enteros, b = 0, se pueden hallar dos enteros q, r , u nicos, tales que se cumplen las dos condiciones siguientes: a = bq + r 0 r < b.
Un iv
LEYES BASICAS DEL ALGEBRA Clausurativa - uniforme - asociativa - conmutativa - modulativa - invertiva - distributiva
2, 3, 5, 7, 11, 523, son primos. En cambio 6, 8, 9, 10, 91, 731, no son primos. Todo entero > 1, que no sea primo, se llama n umero compuesto. 731 es un n umero compuesto.
ersi
La suma y la multiplicaci on usuales con toda clase de n umeros, desde los enteros, (Z), hasta los complejos (C), son operaciones binarias, por ejemplo, sumar o multiplicar enteros nos d a como resultado un n umero entero u nico.
Se puede demostrar que todo n umero racional se puede representar en su forma reducida, por ejemplo, 18 =3 . 30 5 Un entero positivo p = 1 es un n umero primo si y solo si sus u nicos divisores positivos son: 1 y el mismo p.
de
uia
PREFACIO
An tioq
Ejemplo:
donde 87 es el dividendo, 15 el divisor, 5 el cociente y 12 el residuo. Ejemplo: 17 = 4 5 + 3
87 = 15 5 + 12
Cap tulo 1
donde 17 es el Dividendo, 4 el divisor, 5 el cociente y 3 el residuo. Los siguientes dos resultados (teoremas) se reeren al MCD: i. Si d es el MCD de a, b, se pueden hallar dos enteros x, y tales que d = xa + yb
L ogica - Teor a de Conjuntos

1.1. Operaci on binaria
de
Por ejemplo,
dad
Por ejemplo, 8 | 48, (3 16 = 48), y como 8 y 3 son primos entre si, se concluye que 8 | 16.
Escribimos:
Los siguientes dos teoremas se reeren a los n umeros primos.
ersi
para indicar que la operaci on entre a, b ha dado como resultado, c. Veamos algunos ejemplos:
El Teorema 0.2.2 se conoce como el teorema fundamental de la Aritm etica.
Un iv
Corolario 0.2.3. Todo entero mayor que 1 tiene alg un divisor primo.
Un iv
Ejemplo: 2924 = 22 17 43.
Las siguientes dos tablas ilustran dos operaciones binarias denidas en un conjunto A = {e, a, b, c} e a b c
Tabla #1
Por ejemplo, 43 es un divisor primo de 2 924 (y no es el u nico!) Teorema 0.2.4. No existe un primo que sea el mayor de todos los n umeros primos.
ersi
Teorema 0.2.2. Todo entero mayor que 1 se puede descomponer como un producto de factores primos, repetidos o no, y estos primos son u nicos, salvo cambio de lugar de los factores en el producto.
dad
ab =c 5
ii. Si a, c son primos relativos y c | ab, entonces c | b .
M CD (15, 20) = 5 = (5)15 + (4)20
Denici on 1.1.1. Una operaci on binaria denida en un conjunto A, es una regla que asigna a dos elementos a, b de A, un u nico resultado c que es tambi en elemento del mismo conjunto A.
de
(En otras palabras, este teorema dice que la cantidad de n umeros primos es innita).
En la Tabla #1 se leen, entre otros, los siguientes . resultados: a e = a b b = e b a = c.
An tioq
e e a b c a b a b e c c e b a c c b a e
En el anterior teorema, a se llama Dividendo, b es el divisor, q es el cociente y r , el residuo.
uia
uia
28
uia
8) (8 5= 5) =
1.2. EJERCICIOS
13
An tioq
Premisas 1. P Q 2. P Conclusi on: Q LAS DEFINICIONES.
1. 2. Conclusi on:
Premisas P Q Q P
a a 0
b= 0=a b=b 3 0
el menor de a y b 1 , cuando a y b sean = 0.
Por ejemplo: 8 = 3-1 = 2. 0 = 0.
dad
DEFINICION. DEFINICION.
Verique que esta operaci on es conmutativa. ( (noP) o Q ). Realice las siguientes operaciones: 1 ( (P = Q) y (Q = P) ). 51 2= 50 = ?; ?; 11 (7
Para a = 0 : a
a=
(P = Q)
dad
?.
El papel que cumplen las deniciones es el de poner un nombre a cada t ermino nuevo que se vaya presentando en una teor a. Una aplicaci on de la equivalencia es el uso, expl cito o impl cito, que de ella se hace para presentar las deniciones. En el pre ambulo, (secci on 0.2), ya hab amos adelantado algunas deniciones: n umero par, n umero impar, n umero primo, divisor-m ultiplo, MCD(a, b), y primos relativos. Recordemos aqu que implicaci on y equivalencia son otros t erminos que ya hemos denido, si bien de un modo informal, pero que ahora presentamos formalmente as :
de
Existe m odulo?. Justique su respuesta.
Para todo a (Z+ {0}), existe inverso?
Halle los inversos de los siguientes n umeros: 0, 1, 5, 219.
de
9) = 9= 7)
Preguntas y actividades:
An tioq
1 1 = 1-1 = 0. 5 0 = 5. ?; ?; (11 11
MODUS PONENS EN EQUIVALENCIAS.
6. En el conjunto de los enteros positivos, junt andole el 0, (Z+ {0}), denimos una operaci on binaria en 3 pasos, as :
? ?
ersi
(P Q)
Veamos a continuaci on un teorema que agrupa las principales propiedades algebraicas de las operaciones l ogicas que hasta ahora hemos considerado.
A la vista del punto anterior, esta operaci on es asociativa? ejemplos que corroboren su respuesta.
ersi
(11 a
D e otros
Un iv
1. (P = Q) y (Q = R) = (P = R) (Silogismo o transitividad de ) (P Q) y (Q R) = (P R)
(Ley del medio exclu do).
Un iv
Teorema 1.3.2. (Equivalencias b asicas.)
7. En el conjunto de los enteros positivos junt andole el 0, (Z+ {0}), se dene la operaci on: b = M CD (a, b).
(Transitividad de )
2. (noR o R)
Realizar las siguientes operaciones: a 1= ; a (a + 1) = ; a p = (p primo, p a). 70 30 = ; a p = (p primo, p | a) ; a 0 = , (a = 0).
(Ley que tambi en equivale a (R = R); ver def. de .)

(Ley de la doble negaci on).
3. no(noR) R
(negar 2 veces equivale a armar).
uia
14
1.3. NOCIONES DE LOGICA.
METODOS DE DEMOSTRACION.
uia
Q v v f f
27
An tioq
T erminos y Enunciados:
Son los elementos b asicos de una Teor a Matem atica. aticos son los objetos que son motivo de estuLos t erminos matem dio, tales como conjuntos, n umeros, funciones, guras geom etricas y un grande etc etera. Representaremos los t erminos con letras y s mbolos especiales. Ejemplos:
(P = v f v f
Q) y v f f v
(Q = v f f v
Cuando un enunciado de la forma P Q es verdadero, (ver las 1 y 2), se dice de los enunciados P, Q que son equivalentes.
b a
de
El punto P, el conjunto A, la funci on f, la integral matem aticos.
f, son t erminos
El enunciado
P Q recibe, entre otras, las siguientes lecturas:
dad
Los enunciados corresponden a las propiedades y relaciones que ocurren entre los t erminos; los denominamos con esta palabra porque empiezan a tener existencia matem atica una vez que se enuncien.
En resumen, vemos que dos enunciados son equivalentes cuando ambos son simult aneamente verdaderos, (1a la de la tabla anterior), o simult aneamente falsos, (2a la de la tabla anterior).
ersi
Un enunciado de la Aritm etica es: Un enunciado de la Geometr a es:
Todo n umero entero > 1 tiene alg un divisor primo.
Demostrar que dos enunciados P, Q son equivalentes obliga a demostrar dos implicaciones, (en cualquier orden): I) Demostrar P = Q. II) Demostrar la rec proca, Q = P
En todo tri angulo is osceles, los a ngulos de la base son iguales.
Un iv
Representaremos los enunciados con letras may usculas, en particular P, Q, R, S, T, etc. Existen diferentes tipos de enunciados: verdaderos, falsos, contradictorios, conjeturas e indecidibles pero s olo nos ocuparemos de los tres primeros. Un enunciado s olo se considera verdadero, (tambi en se dice TEOREMA ) cuando ha sido objeto de una prueba o demostraci on matem atica, en cuyo caso pasa a ser parte de la teor a. Para indicar que un enunciado es verdadero, utilizaremos la letra v.
Ejercicio -: Completar la tabla anterior en las columnas que est an vac as. NOTA: Es importante tener en cuenta que en l ogica matem atica no existen enunciados iguales. El signo = pertenece a la teor a de conjuntos. Por lo dem as, el signo hace las veces del signo = en el sentido de que dos enunciados equivalentes se reemplazan, a conveniencia, el uno por el otro.La siguiente ley justica la anterior armaci on:
Un iv
ersi
Ejemplos -:
Una conclusi on v alida es que todos los enunciados verdaderos son equivalentes entre si y tambi en todos los falsos son equivalentes entre si.
dad
Excepto en unos pocos casos, (que se mencionar an en la p agina siguiente), los t erminos entran a hacer parte de la teor a por medio de deniciones.
P si y solo si Q. P sii Q. P es condici on suciente y necesaria para Q.
de
An tioq
P) v f v f P
1.3.
Nociones de L ogica. M etodos de demostraci on.
Analizamos en la siguiente tabla, cuando es verdadero, y cuando falso, un enunciado en forma de equivalencia:
uia
26
uia
15
An tioq
ab = 2k 2h + 2k + 2h + 1 Agrupando y sacando un factor com un, ab = 2 (2kh + k + h) + 1 En este punto, llamemos 2kh + k + h = t, t Z, lo cual se justica por la ley clausurativa. Reemplazando en , obtenemos nalmente, ab = 2t + 1 lo cual signica que ab es impar y la demostraci on termina. Veamos otro ejemplo sencillo. Demostremos por el m etodo directo la implicaci on mencionada en la p agina 23:
Sin embargo agreguemos que la demostraci on de un enunciado utiliza teoremas y deniciones que, en el momento de demostrarlo, est en haciendo parte de la teor a. TERMINOS PRIMITIVOS - AXIOMAS.
6 | a = 3 | a
dad
a = 6k, k Z.
Esta igualdad se puede re-escribir en la forma,
Punto, recta y plano son t erminos primitivos de la Geometr a Euclidiana.
ersi
Hagamos 2k = h, (L. clausurativa), luego, a = 3h, h Z.
Un iv
La Equivalencia -: Esta operaci on binaria se reduce a una combinaci on de conjunci on y dos implicaciones, pu es se dene como la conjunci on de una implicaci on y su rec proca, es decir, El signo convenido para denotar la equivalencia es . El enunciado anterior se representa as : P Q (P = Q) y (Q = P).
Ejemplos -: Un axioma de la Teor a de conjuntos es el siguiente:

Si los conjuntos A y B tienen los mismos elementos, entonces son conjuntos iguales.
Un iv
Esta u ltima igualdad equivale (por denici on) a 3 | a. La implicaci on queda demostrada. 2
La demostraci on de los teoremas se hace recurriendo a teoremas que previamente hallan sido demostrados. Sin embargo los primeros teoremas no se pueden demostrar ya que son independientes entre si y no existen teoremas anteriores que permitan llevar a cabo su demostraci on. La soluci on a este impase es que se admitan algunos teoremas sin ser demostrados a condici on de que se expresen claramente y que se reeran a propiedades de los t erminos primitivos. Estos enunciados admitidos sin demostraci on se llaman los axiomas y cada rama de la Matem atica empieza con una lista de ellos.
ersi
a = 3(2k ).
En cambio n umero primo es un t ermino denido de la Aritm etica.
dad
Dm:- Supongamos que 6 | a. Por denici on,
La denici on de los t erminos se hace recurriendo a t erminos anteriormente denidos. Sin embargo algunos t erminos b asicos no se pueden denir ya que son independientes entre si y no existen t erminos anteriores que los denan. La soluci on a este impase consiste en admitir, sin denici on, los primeros t erminos de la teor a a cambio de que sea dada la lista denida de ellos. Estos son los llamados t erminos primitivos. Los otros ser an t erminos denidos. Ejemplos -: Conjunto y pertenecer son t erminos primitivos de la Teor a de conjuntos de Zermelo-Fraenkel.
de
de
An tioq
Por ley distributiva,
Para nuestros nes en este curso, una demostraci on consiste en una argumentaci on basada en leyes l ogicas muy precisas, leyes que aqu presentaremos sin entrar en detalles mayores, que son propios de un curso de L ogica.
uia
16
uia
25
An tioq
Por dos puntos pasa una recta y s olo una.
Veamos a continuaci on, y a la par con las operaciones b asicas con enunciados, las leyes l ogicas que se necesitan para elaborar demostraciones que reciban el reconocimiento de correctas. Operaciones con Enunciados (Negaci on - Disyunci on - Conjunci on - Implicaci on -Equivalencia.) La negaci on -: Es la operaci on que d a lugar a un enunciado que es el contrario de otro enunciado P. El resultado es el enunciado que denotaremos noP. Como cuando decimos:
de
Presentaci on esquem atica del m etodo directo: Hip. P. Deducc/s. Interm/s. P 1 , P2 P n .
de
La recta l no pasa por el puntoA.,

noP
Conclus/Final. Q.
dad
la recta l pasa por el puntoA.

P.
Es bueno aclarar que no es el enunciado Q el que queda demostrado sino el enunciado (P = Q). Hecha esta aclaraci on, cuando se realice una demostraci on por m etodo directo, esta se puede dar por terminada en el punto en que se obtenga la conclusi on nal Q.
ersi
Teorema 1.3.1. El producto de n umeros impares d a resultado impar. Demostraci on. Empezamos por expresar el enunciado en forma de implicaci on:
Se indicar a que un enunciado es falso por medio de la letra f. Recuerde -: Armar de (noP) que es un enunciado verdadero, es equivalente a armar que (P) es un enunciado falso.
Un iv
Enunciado contradictorio -: Es aquel que es verdadero y falso simult aneamente. Un enunciado contradictorio presenta la siguiente forma: (P y noP). Un principio l ogico prohibe que una teor a matem atica tenga enunciados contradictorios. Se llama Principio de no contradicci on y queda resumido en la siguiente Tabla #6.
Al ser a y b impares,
Por ley uniforme,
Un iv
Esto no es indispensable pero nos ayuda a entender mejor el procedimiento, que empieza as : Supongamos que a y b son impares, (hip otesis). Queremos demostrar que ab tambi en es impar, (tesis). a = 2k + 1, con k Z b = 2h + 1, con h Z ab = (2k + 1)(2h + 1)
(a, b enteros impares) = (ab es impar)
ersi
Enunciado falso -: Es aquel cuyo contrario (o negaci on), es verdadero (es decir, teorema.) En otras palabras, el enunciado P es falso s olo cuando noP es verdadero.
En el siguiente teorema se tiene un modelo de aplicaci on del m etodo directo.
dad
enunciado que constituye la negaci on de:
An tioq
Un axioma de la Geometr a es el siguiente:
Partamos del supuesto (hip otesis) de que P es un enunciado verdadero, ver las 1 y 2 de la Tabla #9. All se observan 2 opciones para Q. La 1a la nos indica que Q puede llegar a ser enunciado verdadero, en cuyo caso la implicaci on resultar a verdadera. La 2a la nos indica que el enunciado Q puede llegar a ser falso, en cuyo caso la implicaci on resultar a falsa. Si una sucesi on de deducciones (l ogicas) intermedias nos llevan a la conclusi on nal de que Q es verdadero, hemos llegado a buen puerto, pu es la consecuencia inmediata es que P = Q es una implicaci on verdadera y el enunciado ha quedado demostrado. Cabe aqu preguntarse, porqu e no suponer inicialmente que P es falso? La respuesta es inmediata: Con antecedente falso toda implicaci on es (trivialmente) verdadera y no se tienen que hacer m as razonamientos.
Demostrado: P = Q
uia
24 Ejemplos -: 1.
uia
17
An tioq
(falso)
(verdadero.)
(6 es primo) = (6 es par)
(=verdadera)
Tabla #6
2.
(falso)
(falso)
La Disyunci on -: Es la operaci on que expresa la posibilidad de que sea verdadero al menos uno de entre dos o m as enunciados, como cuando decimos, (3 es primo) o (6 es par).
(6 es primo) = (6 es impar)
(=verdadera)
de
Ley del Modus ponens. De una implicaci on verdadera con antecedente verdadero, se puede concluir que el consecuente es verdadero.
Forma esquem atica: Premisas: P = Q P Q.
Un enunciado (P o Q) es verdadero en todos los casos en que los enunciados P y Q no sean ambos falsos. En el caso de ser P y Q ambos falsos, (P o Q) tambi en es falso.
dad
1. 2. Conclusi on:
Este principio queda resumido en la Tabla #7. P v v f f Q v f v f P oQ v v v f
ersi
Un iv
M etodo Directo
Es el procedimiento m as utilizado para efectuar demostraciones matem aticas. Su explicaci on puede seguirse en las las 1 y 2 de la Tabla #9. Consideremos que se quiere demostrar un enunciado de la forma P = Q.
Note que una disyunci on verdadera tiene verdadero al menos uno de sus enunciados. Tambi en es suciente que uno de sus enunciados sea verdadero, para que la disyunci on sea verdadera.
A continuaci on describimos el procedimiento.
Un iv
ersi
Esta importante ley es de uso continuo no s olo en el razonamiento matem atico, sino en el uso del lenguaje corriente. Ella indica las condiciones (premisas) bajo las cuales se puede deducir (poner?) el consecuente de una implicaci on.
dad
Tabla #7.
de
Para nes te oricos representamos la disyunci on de dos enunciados P, Q, en la forma (P o Q). Esta es una operaci on binaria cuyo signo de operaci on es la palabra o. Dicha operaci on se rige por el siguiente principio:
An tioq
P v f
noP f v
uia
18
uia
23
An tioq
Ley de adici on con o:
Siendo P un enunciado verdadero y Q cualquier tipo de enunciado verdadero o falso, se obtiene otro enunciado tambi en verdadero que se expresa en la forma (P o Q) o en la forma (Q o P). Observe, por ejemplo, la segunda l nea de la Tabla #7 donde Q es un enunciado falso (f) pero como P es verdadero (v), el enunciado (P o Q) aparece verdadero (v). Ejemplo -: Al ser verdad que 5 > 3, tambi en es verdad que
15 es divisible por 3 (recuerde, 3 | 15) pero 15 no es m ultiplo de 6, (6 15). Sin embargo, la implicaci on inicial y su contrarrec proca siempre ser an ambas verdaderas o ambas falsas. (Ley del contrarrec proco, p agina 31). En el ejemplo considerado, ambas son verdaderas, lo cual demostraremos un poco m as adelante, (Ver p aginas 26 y 31.)
de
(5 > 3) o (5=3).
dad
(5 > 3) o (4 < 5.)
En los otros casos la implicaci on es verdadera.
ersi
ersi
P v v f f Q v f v f
Tabla #9
En adelante llamaremos premisa a todo enunciado que, en principio, se tome como verdadero para obtener, mediante deducci on l ogica, otros enunciados verdaderos. Utilizaremos esquemas de tipo premisa(s) - conclusi on(es) para representar algunas leyes l ogicas. La Ley de adici on con o se resume en el siguiente esquema:
La Tabla #9 registra este principio:
Un iv
Conclusi on 1: Conclusi on 2:
Premisa. P PoQ QoP
En la Tabla#9 se pueden vericar las siguientes dos nuevas leyes l ogicas y el importante M etodo Directo para hacer demostraciones. Ley del Antecedente Falso: Toda implicaci on con antecedente falso es verdadera, es decir, teorema.
Ley de cancelaci on de los enunciados falsos en la Disjunci on.
En toda disjunci on verdadera se pueden cancelar los enunciados falsos, y los enunciados que queden sin cancelar son verdaderos.
Un iv
dad
N otese que 5 = 3 es falso. No obstante, la disjunci on que se obtuvo, es verdadera, usualmente resumida en la forma 5 3. Ejemplo -: A partir del enunciado verdadero (5 > 3) se obtiene verdadero enunciado al adicionar el tambi en verdadero (4 < 5), resultado que se expresa as :
El u nico caso en que un enunciado de la forma P = Q es falso, se d a cuando el antecedente, P, es verdadero y el consecuente, Q, es falso.
de
PQ v f v v
La implicaci on es como ya se dijo, una operaci on binaria cuyo signo de operaci on est a representado por dos palabras, Si entonces . Dicha operaci on se rige por el siguiente principio -:
An tioq
En la Tabla #7 se pueden vericar las dos primeras leyes l ogicas, a saber:
NOTA : Como puede verse en el ejemplo anterior, el hecho de que la implicaci on inicial sea verdadera, (es decir, teorema), no asegura que la rec proca sea verdadera pu es en este caso es falsa, como se puede constatar por medio del siguiente contraejemplo:
uia
22
uia
Premisas. PoQ noQ P.
19
An tioq
Situaci on similar se repite para la tercera l nea, esta vez con P(f) y Q(v): se cancela P(f) y queda Q(v). Ejemplo -: Siendo claro que (5 < 3) o (5 > 4)
Por ejemplo, el teorema: El producto de n umeros impares d a como resultado otro n umero impar est a asociado a la implicaci on: (a y b son n umeros impares) = (ab es impar.)
es una armaci on verdadera, cancelamos la parte falsa, (5 < 3), y la que queda, (5 > 4), es verdadera.
de
Asociadas a toda implicaci on se deben considerar otras dos implicaciones las cu ales se indican en el siguiente esquema:
dad
Q = P P = Q
noQ = noP Ejemplo -: Implicaci on inicial :
CONTRARREC IPROCA.
La Conjunci on -: Es la operaci on que expresa la simultaneidad de dos o m as enunciados, como cuando decimos,
ersi
La conjunci on de dos enunciados P, Q se representa en la forma

(v )
Si el entero a es m ultiplo de 6, entonces a es divisible por 3.

P = Q
Un iv
Q = P
(f )
Implicaci on contrarrec proca : Si el entero a no es divisible por 3, entonces a no es m ultiplo de 6.

noQ = noP (v )
Este principio queda resumido en la Tabla #8.
Un iv
Implicaci on rec proca : Si el entero a es divisible por 3, entonces a es m ultiplo de 6.
Esta es tambi en una operaci on binaria cuyo signo de operaci on es la palabra y. Dicha operaci on se rige por el siguiente principio: Un enunciado (P y Q) s olo es verdadero en el u nico caso en el que tanto P como Q son ambos verdaderos. En los dem as casos (P y Q) es enunciado falso.
ersi
(3 es primo) y (6 es par).
dad
(P y Q)
REC IPROCA
1. 2. Conclusi on:
Premisas. PoQ noP Q.
de
REC IPROCA y CONTRARREC IPROCA.
Presentaci on esquem atica de la L. de Cancelaci on:
An tioq
1. 2. Conclusi on:
Una gran parte de los enunciados matem aticos est an asociados a la forma de implicaciones, las cuales pueden estar, o no estar, presentes en forma expl cita. En estas notas haremos expl cita la implicaci on de cada enunciado, esto por razones de orden pr actico en el proceso de demostraci on que nos ocupe. De hecho ya lo hemos puesto en pr actica a partir de la secci on 1.1, (p agina 6), con motivo de las leyes b asicas del a lgebra.
Observe, por ejemplo, la segunda l nea de la Tabla #7, donde Q es falso (f) pero como (P o Q) es verdadero (v), P aparece verdadero (v), es decir, al cancelar el enunciado Q(f), el que queda, P, es verdadero.
uia
20
uia
21
An tioq
Un entero a (no es m ultiplo de 6) o (es divisible por 3).
Tabla #8
La implicaci on de dos enunciados P, Q se representa en la forma: P = Q.
En la Tabla #8 se pueden vericar otras dos leyes l ogicas, que son las siguientes: Ley de simultaneidad.
El enunciado P se llama antecedente y el enunciado Q, consecuente.
de
Si tanto el enunciado P como el enunciado Q son verdaderos, se obtiene un enunciado verdadero que se representa en cualquiera de las dos formas siguientes: (P y Q) o (Q y P)
dad
Verique el lector esta ley en la 1 l nea de la Tabla #8 Ley de simplicaci on.
ersi
Por ejemplo, el enunciado se nalado con se representa por 6 | a = 3 | a y se lee, entre otras maneras, as : Si un entero a es m ultiplo de 6, entonces a es divisible por 3.
En la 1a l nea de la Tabla #8 se puede constatar esta u ltima ley. Presentaci on esquem atica de las Ls. de simultaneidad y simplicaci on.
Un iv
simultaneidad Premisas. P Q (P y Q)
simplicaci on Premisa. PyQ P Q
1. 2. Conclusi on:
Conclusi on 1. Conclusi on 2.
Una condici on suciente para que un entero a sea divisible por 3, es que a sea m ultiplo de 6. Una condici on necesaria para que un entero a sea m ultiplo de 6, es que a sea divisible por 3.
Un iv
(Un entero a es m ultiplo de 6) implica que (a es divisible por 3). a es divisible por 3 siempre que lo sea por 6.
ersi
Siendo verdadero un enunciado de la forma (P y Q), se pueden concluir, independientemente, tanto la verdad de P, como la verdad de Q.
dad
Si P entonces Q. P implica a Q. Q siempre que P. P es una condici on suciente para Q. Q es una condici on necesaria para P.
de
Los enunciados que toman la forma de implicaci on, (P = Q), reciben las siguientes lecturas:
An tioq
P v v f f
Q v f v f
(P y Q) v f f f
La Implicaci on -: Es la operaci on binaria entre enunciados P, Q que establece la disjunci on entre la negaci on de P o la armaci on de Q como cuando decimos:
uia
44
uia
29
An tioq
44. Si el cuadrado de un entero es impar, el entero tambi en es impar. Demostrar los siguientes enunciados, 46 a 52 , por el m etodo de Reducci on al absurdo: 45. Si un entero es divisible por 6, entonces es divisible por 2 y por 3. (rec proco del ejercicio 31.) 46. Si 3 divide a un cuadrado perfecto, entonces 3 tambi en divide a su raiz cuadrada. 47. 3 es irracional. [Sugerencia: Utilice el anterior ejercicio.] 48. 6 es irracional. 49. ( 3 2) es irracional.
no(R o S )
negaci on indicada
(noR) y (noS )
negaci on ejecutada
no(R y S )
negaci on indicada
(noR) o (noS )
negaci on ejecutada
no(R = S )
negaci on indicada
5. Leyes conmutativas: (R o S) (S o R) (R y S) (S y R) (R o S ) o T (R y S ) y T 6. Leyes asociativas:
de
dad
50. El n umero de enteros pares es innito. 51. El n umero de primos es innito.
7. Leyes distributivas: R o (S y T) R y (S o T)
ersi
R = (S = T )
Ejemplos-: Negar los siguientes enunciados. 1. 6 es primo y 7 es par.
Un iv
negaci on: 6 no es primo o 7 no es par. 2. 7 no es primo o 7 es par. negaci on: 7 es primo y 7 no es par. 3. Si 7 es primo entonces es par. negaci on: 7 es primo y no es par.
Un iv
ersi
dad
R o (S o T ) R y (S y T )
(R o S) y (R o T) (R y S) o (R y T) (R = S ) = (R = T )
de
An tioq
R y (noS )
negaci on ejecutada
43. Si el cuadrado de un entero es par, el entero tambi en es par.
4. Diferentes maneras de negar enunciados:
uia
30
uia
1.4. EJERCICIOS
43
An tioq
Enunciado ambiguo. No se puede responder por la falta de un par entesis. Se puede corregir de dos maneras de acuerdo a la ubicaci on del ( ). Ver los dos ejercicios siguientes: 5. (6 es primo y 7 no es primo) o 7 es par.
27. Si 5 divide a (m + n), entonces 5 divide a m o 5 divide a n. 28. Si 5 divide a mn, entonces 5 divide a m o 5 divide a n.
29. Si 5 divide a mn, entonces 5 divide a m y 5 divide a n. 30. Si a | b, entonces a | bc cualquiera que sea el entero c.
negaci on: (6 no es primo o 7 si es primo) y 7 no es par. 6. 6 es primo y (7 no es primo o 7 es par).
31. Demostrar: si un n umero entero es divisible por 2 y por 3, entonces tambi en es divisible por 6. (v.) Sugerencia: Seg un el Algoritmo de la divisi on, (teorema 0.2.1., p agina 3), todo entero n es de la forma 6k + r donde r puede ser cualquiera de los n umeros 0, 1, 2, 3, 4, o 5. Descomponga a n en las formas 2 (3k ) + r y 3 (2k ) + r . Terminar descartando todos los r = 0. Demostrar los siguientes enunciados, 33 a 45, por el m etodo directo. 32. Si 3 | a y 5 | b, entonces 15 | ab.
negaci on: 6 no es primo o (7 si es primo y 7 no es par).
de
7. Por los puntos A y B pasa una recta y pasan innitos planos. negaci on: Por los puntos A y B no pasa una recta o no pasan innitos planos.
dad
8. (P y Q) = R. negaci on:
(P y Q) y noR.
33. Si a, b, c son impares, entonces a(b c) es par. 34. Demostrar que todo n umero impar se puede escribir en la forma 2k 7 donde k es un entero. 35. El producto de tres n umeros pares es m ultiplo de 8. 36. Si m + n = m + k entonces n = k. 37. Si am = an, con a = 0, entonces m = n.
ersi
negaci on:
P y (noQ o noR).
10. (P = Q) o (P = noQ). negaci on:
Un iv
11. Si 6 no es primo entonces es un n umero compuesto. negaci on: 6 no es primo y no es un n umero compuesto.
39. Si a | (b c) y a | c demostrar que a | b 40. Dos enteros consecutivos siempre ser an primos relativos. 41. Si 3 es un divisor de 5c, demostrar que 3 | c 42. Si d | bc y M CD (d, c) = 1, entonces d | b.
lineal de c y d ; 1 = xc + yd, con x, y Z. y tenga en cuenta la hip otesis: d | bc. Termine. Sugerencia: El 1 es combinaci on (Ver teorema I, p agina 4). Ahora multiplique por b
12. Si un pol gono es tri angulo entonces no tiene diagonales. negaci on: Un pol gono es tri angulo y tiene diagonales.
Un iv
(P y noQ) y (P y Q).
38. Si a | b y b | c entonces a | c.
ersi
9. P = (Q y R).
dad
de
An tioq
4. 6 es primo y 7 no es primo o 7 es par.
26. Todo entero de las formas (4k + 1) o (4k + 3), es impar.
uia
42
uia
31
An tioq
De los siguientes enunciados, 17 a 31, se nale con F, (y justique), los que son falsos y redacte una demostraci on de los que son ciertos: 16. Si todos los m ultiplos de un entero a son pares, entonces a tambi en es par. (v.)
Sugerencia: (k Z y ka es par) = a es par.
Toda implicaci on y su contrarrec proca, son equivalentes. En s mbolos:
(P = Q) (noQ = noP)
17. Si (a + b) es par, entonces a es par o b es par.
Veamos una prueba esquem atica de esta ley. Como se trata de una equivalencia debemos demostrarla en 2 partes, i.e., I. II. (P = Q) = (noQ = noP) (noQ = noP) = (P = Q)
18. Si (a + b) es impar, entonces a es impar o b es impar.
de
20. El producto de tres enteros consecutivos siempre es un n umero par.

Sugerencia: (k ) y (k +1) representan dos enteros consecutivos. Represente 3 enteros consecutivos.
Demostraci on. Veamos la prueba de I. Se deja para el lector la parte II. M etodo directo.
dad
21. El producto de tres enteros consecutivos siempre es m ultiplo de 4. 22. Todo n umero par es m ultiplo de 2 o de 4. (v.)
(noP) o Q Q o (noP)
ersi
Demostraci on: (Por m etodo directo, atendiendo a la implicaci on propuesta.) Sea a un n umero par, entonces a es de la forma 2k, k Z que a es m ultiplo de 2.
y esto quiere decir
El anterior teorema justica una armaci on que hicimos en la p agina 23, seg un la cual las implicaciones, Si el entero a es m ultiplo de 6, entonces a es divisible por 3. .
Por la ley de adici on con o conclu mos que a es m ultiplo de 2 o de 4.
ersi
Para facilitar la comprensi on de la demostraci on puede ser conveniente escribir la implicaci on asociada al enunciado, es decir, (a es n umero par ) = (a es m ultiplo de 2 o de 4).
(no(no)Q) o (noP)
noQ = noP
Un iv
23. Todo n umero par es m ultiplo de 4 o de 5.
Si el entero a no es divisible por 3, entonces a no es m ultiplo de 6.,

noQ = noP (v )
24. Todo n umero impar es m ultiplo de 3 o de 5. 25. Todo n umero impar es de una de las formas (4k + 1) o (4k + 3.) (Verdadero. Utilizar el Algoritmo de la divisi on. Considere un entero arbitrario n como dividendo siendo 4 el divisor.(Son 4 casos porque son 4 los posibles residuos: 0, 1, 2, 3.)
son ambas verdaderas, pu es seg un se demostr o en la p agina 26, la primera lo es.
Un iv
La demostraci on ha terminado.
dad
P = Q
P = Q
de
(hip otesis.)
(v )
19. Si ab es par, entonces a es par o b es par.
(L. conmutativa.) (L. doble negaci on.) (def. de =).
(def. de =).
An tioq
15. Si a es par, b, y c impares, a (b + c) es
Teorema 1.3.3. Ley del contrarrec proco
uia
32
uia
Resp.: (noP = Q).
1.4. EJERCICIOS x) Premisas: 1. p = s 2. q = r 3. (s y r) = k 4. p y q Conclusi on: k. xii) Premisa: 1. no (q ) Conclusi on1 : q = p. Conclusi on2 : r = no(q ).
41
An tioq
Es un m etodo de demostraci on indirecto basado precisamente en la ley del contrarrec proco que acabamos de enunciar. Consiste en dejar de lado el enunciado que tenemos por demostrar y jar su contrarrec proco para ponernos a la tarea de demostrarlo. Veamos, en el siguiente teorema, un ejemplo que nos sirve de modelo para comprender el procedimiento. N otese que el n umero 36 es un cuadrado perfecto par y que sus dos ra ces cuadradas, 6, tambi en son n umeros pares. Este es un ejemplo al cual se reere nuestro pr oximo teorema.
de
Teorema 1.3.4. Todo entero, cuadrado perfecto, que sea par tiene ra ces cuadradas que tambi en son n umeros pares. Demostraci on. Para llevar a cabo la demostraci on, presentemos la implicaci on asociada. Sea a un entero. (a2 par) = (a tambi en es par ).
7. Completar la tabla de la equivalencia, (p agina 27.). 8. Escribir el enunciado (P o Q) en forma de =.
dad
Cambiamos esta implicaci on por la contrarrec proca: (a no es par) = (a2 no es par ).
9. Demostrar la parte II., (teorema, p agina 31), de la L. del contra rrec proco: (noQ = noP ) = (P = Q). (Sugerencia: Utilizar la parte I del teorema y la L. de la doble negaci on.) Nota: En los ejercicios que siguen las letras que representan n umeros, se reeren a n umeros enteros. En 11 a 16, completar cada enunciado y demostrarlo. 10. Si se suman dos n umeros pares, el resultado es
Escriba el enunciado como implicaci on:
ersi
Un iv
M etodo de Disyunci on de casos
11. Si se suman dos n umeros impares, el resultado es 12. Si se suman tres n umeros impares, el resultado es 13. Si se suman n n umeros impares el resultado es par o impar, dependiendo de n; c omo es el resultado si n es par?. Y si n es impar?. 14. Si se suma un n umero par con uno impar, el resultado es
Este es un poderoso m etodo auxiliar que debemos utilizar cuando en medio de un razonamiento se presentan dos o m as opciones o posibilidades. Decimos entonces que se presentan 2, 3, o m as casos. Veamos, en forma esquem atica, el teorema para 2 casos en dos versiones, donde una es un caso particular de la otra.
Un iv
Supongamos que a no es un entero par, (hip otesis). Queremos demostrar que a2 tampoco es par. No siendo a par, entonces es impar y en consecuencia, a2 = a a es producto de impares e invocando el teorema 1.3.1., conclu mos que a2 es impar, luego 2 a no es par.
(a y b son n umeros pares) = (a + b)
ersi
y demostremos esta por m etodo directo.
dad
de
An tioq
Conclusi on: t. Conclusi on: (r.)
El m etodo del contrarrec proco
xi) Premisas: 1. no(p o no(r)) 2. q o p 3. r = s 4.(q y s) = (t y s)
xiii) Premisas: 1. p y q 2. no(r) = (no(p) o no(q))
uia
40
uia
33
An tioq
P y Q; R o P; R y noP; S o noP; R = P; P = Q; noP = (P o S); P = (P y S); noP = P; S = noP; (P o Q) o R; noP o (P y R); R = (S = P); noP = (P = R); (P y S) = (Q y noR). 5. En el ejercicio anterior, descubra como son los enunciados propuestos, (verdaderos, falsos o imposible decidir), en el supuesto de que P sea verdadero y Q y R falsos.
1. Teorema 1.3.5. 2. 3. Conclusi on:
Premisas. PoQ P = R Q = S (R o S)
El m etodo de Reducci on al Absurdo
de
6. En i) a xiii) se d a una lista de premisas y se pide obtener la conclusi on propuesta empleando leyes l ogicas apropiadas. i) Premisas: 1. no(r = q) ii) Premisas: 1. no(r) = q 2. no(q) Conclusi on:(r o t.) iii) Premisas: 1. no(r = q) 2. no(r) Conclusi on: Sistema
contradictorio.
dad
Conclusi on: no(q)
ersi
Conclusi on: (no(r) o no(q)) vi) Premisas: 1. p = no(q) 2. (no(q)) = h
Conclusi on: (r o q). vii) Premisas: 1. no(r) o t 2. r Conclusi on: t. ix) Premisas: 1. p o (q y r) 2. s o t 3. s = no(p o q) Conclusi on: t.
Un iv
Un iv
II. Otra posibilidad que puede ocurrir consiste en que la presencia de (noT) como un teorema, conduce, despu es de una secuencia de pasos intermedios, a un resultado contradictorio de la forma R y (noR), donde R es un teorema antiguo (o reciente) de nuestra teor a. Igual que en I conclu mos que (noT) es falso, lo que es equivalente a: T es un enunciado verdadero. Nuestro enunciado ha sido demostrado. !! Veamos un hermoso y antiguo teorema (Euclides - siglo III adC.) que nos ilustra el m etodo de la contradicci on.
Conclusi on: (no(h))= (no(p)) viii) Premisas: 1.(r y q) = no(s) 2. s 3. q Conclusi on: no(r).
ersi
iv) Premisas: 1. (r y q) = no(s) 2. s
v) Premisas: 1. (no(r) y p) = (r o q) 2. no(p = r)
es verdadero, pero esta es una contradicci on que la teor a no presentaba antes de la injerencia de (noT). Conclu mos que (noT) es el causante del derrumbe de la teor a y de inmediato lo descartamos como falso lo cual quiere decir que el contrario de (noT), o sea T, es verdadero. Nuestro enunciado ha sido demostrado.!!
dad
I. Suele suceder que, tras una secuencia de pasos l ogicos, T resulte haciendo parte de la teor a como enunciado verdadero; se sigue, por la ley de simultaneidad, que el enunciado (T y noT)
de
Tambi en llamado el m etodo de la contradicci on, est a basado en el hecho de que una teor a matem atica no puede contener contradicciones (Principio de no contradicci on - sec. 1.3, p agina 16). Describamos el m etodo: Sea T el enunciado que se quiere demostrar. Admitamos, en principio, que T es falso lo cual equivale, (por denici on), a decir que (noT) es verdadero y, por lo tanto, entra a hacer parte de la teor a. Aqu pueden ocurrir 2 posibilidades:
An tioq
1. 2. 3. Conclusi on:
4. Suponga que P es un enunciado falso y descubra cu ales de los siguientes enunciados son verdaderos, cu ales falsos y de cu ales no se puede decir nada:
Versi on general.
Caso particular.
Premisas. PoQ P = R Q = R R
uia
34
uia An tioq
1.4. EJERCICIOS 2. Negar los siguientes enunciados: a.) x es racional y z no es entero. b.) 3 es par y 7 es primo. c.) 3 es impar o 7 no es primo.
39
An tioq
Teorema 1.3.6. Aceptado que
2 es un n umero real,
2 es irracional.
Puesto en forma de implicaci on, este teorema nos queda as : 2 R = 2 Q . Demostraci on. Aceptado que 2 R y razonando por contradicci on, supon gamos que 2 es racional. Esto signica que , donde a, b Z, b = 0. 2= a b
Resp. : x no es racional o z es entero. d.) (3 es impar y 7 es primo) o 6 es par. e.) x no es racional o z no es entero.
3. Dar el rec proco, el contrarrec proco y la negaci on de las siguientes implicaciones: a.) Si un entero es mayor que 1, entonces tiene un divisor primo.
Respuesta :
de
MCD(a, b) = 1. Regresando a , y despu es de multiplicar por b, b 2 = a. (L. uniforme.)
Contrarrec proco. ; Si un entero no tiene un divisor primo, entonces no es mayor que 1. Negaci on. ; Un entero es mayor que 1 y no tiene un divisor primo.
dad
Elevemos al cuadrado.
b.) Si a es impar, entonces ca es impar.
b2 (2) = a2 ,
(1)
(L. uniforme).
c.) Si el cuadrado de un entero es par, entonces dicho entero tambi en es par. d.) Si un tri angulo est a inscrito en media circunferencia, entonces tiene un a ngulo recto. e.) Si un entero es n umero compuesto, entonces tiene 2 o m as factores primos.
ersi
a2 es par,
y por tanto,
Un iv
En consecuencia podemos escribir, a = 2k, k Z

2
i.) Si una matriz es cuadrada y su determinante es cero, entonces no tiene inversa. j.) Si una funci on es continua y uno a uno, entonces es mon otona. k.) Si a | b y b | c, entonces a | c. l.) Si p es primo o divisor de 10, entonces p|20.
De donde
a = 4k
(L. uniforme.)
Y reemplazando en (1) obtenemos, b2 (2) = 4k 2 .
m.) Si un tri angulo es is osceles, entonces tiene dos a ngulos iguales.
Un iv
a tambi en es par,
(teorema 1.3.4., p agina 32).
h.) Si un numero real es 0 o es negativo, entonces no tiene logaritmo.
g.) Si (x, w ) A B, entonces (x A) y (w B ).
f.) Si x (A B ), entonces (x A) o (x B ).
ersi
Esto quiere decir que,
dad
de
Recordemos que todo racional se puede escribir en forma reducida, (Pre ambulo, secc. 0.2); entonces, sin p erdida de generalidad, supongamos que
Rec proco. ; Si un entero tiene un divisor primo, entonces es mayor que 1.
uia
38
uia
35
An tioq
b2 = 2 k 2
(a + c) + (c) = (b + c) + (c) a + (c + (c)) = b + (c + (c)) a+0=b+0 a = b.
L.UNIFORME. L.ASOCIATIVA. L.INVERTIVA(+). L. MODULATIVA(+).
Y ahora podemos decir que b2 es par y que por tanto, b tambi en es par
(otra vez, teorema 1.3.4).
Queda demostrada la primera parte del enunciado. 2 Parte(ii). Supongamos
Finalmente conclu mos que tanto a como b son n umeros pares, luego MCD(a, b) 2 pu es se conforma una contradicci on con Absurdo!
de
Apliquemos nuevamente algunas leyes del a lgebra. Como c = 0, existe su inverso c . Empecemos multiplicando por c :
1 1
dad
Queda demostrada la segunda parte del enunciado. 2
DEMOSTRACIONES VARIAS (A manera de modelos.) IVeamos un ejercicio resuelto de 2 maneras, con las cu ales se ilustra el empleo de las leyes l ogicas vistas. 1.De las premisas dadas obtener la concluci on propuesta. Premisas: 1. p o (q y r) 2. s o t 3. s = no(p o q) Conclusi on: t.
ersi
1.4.
Ejercicios
1. Negar los siguientes enunciados: a.) (noR) o Q; Resp. : R y (noQ). l.) P = (R y T); m.) (P = R) y T; n.) (P = Q) y (Q = P); o.) (R y S) = (T o R); p.) (noR) y (T o S); q.) (M o L) y H; r.) P = (Q = T); s.) (P = Q) = T); t.) ((noP) = (noT)).
ersi
Un iv
b.) ((T y R) y S; c.) (R y R); d.) R y (noQ); e.) (noR) o (noT); f.) (noR o T) y Q; g.) ((R y S) o T); h.) (R y (S o T)); i.) (R y noT) y S; j.) (noR) o (T y Q); k.) ((T y R) y S).
IIVeamos otra soluci on del mismo ejercicio empleando el m etodo de disyunci on de casos: Como la premisa 1. nos ofrece dos opciones, es oportuno entrar aqu en dicho m etodo. En el primer caso se quiere obtener la implicaci on p = t. En el segundo, se quiere obtener la implicaci on (q y r) = t. Veamos ambos casos:
Un iv
1: SOLUCION 4. (p o q) = no(s) 5. (p o q) y (p o r) 6. (p o q) 7. no(s) 8. t.
dad
(a c) c1 = (b c) c1 a (c c1 ) = b (c c1 ) a1= b1 a = b.
L. UNIFORME. L.ASOCIATIVA. L.INVERTIVA. L.MODULATIVA.
El teorema ha quedado demostrado! El n umero real 2 tiene el recordde ser el primer n umero del cual se supo con certeza que no era racional, es decir, que no se pod a expresar en t erminos de dos enteros como a . En efecto, se dice que los Pitag o ricos, (siglo IV adC b ?.), lograron realizar la haza na de demostrarlo.
de
a c = b c y c = 0.
An tioq
.
En esta igualdad apliquemos en secuencia, diferentes leyes algebraicas, empezando por sumar el opuesto de c :
Si cancelamos un factor 2, obtenemos,
Contrarrec proco en 3. L.Distributiva en 1. L. de simplicaci on en 5. Modus ponens entre 4. y 6. Cancelaci on de la falsa en 2.
uia
36
uia
37
An tioq
An tioq
2: SOLUCION Caso I
Este primo q tiene que ser alguno de los primos de la lista ( ).
Caso II
Hip otesis, (2a opci on). Simplicaci on en 4. Adici on con o en 5.
4. q y r 5. q
Pero q = p1 , ya que de ser q = p1 , se tendr a, por sustituci on en (2.) y re-agrupando en (1.), N = p1 A + 0. N = p1 (p2 p3 pk P ) + 1.
4. p 5. p o q 6. (p o q) = no(s) 7. no(s) 8. t 9. p = t
Hip otesis, (1a opci on). Adici on con o en 4. Contrarrec proco en 3.
6. p o q
7. (p o q) = no(s) Contrarec proco en 3. 8. no(s) 9. t Modus ponens entre 6 y 7. Cancelaci on de la falsa en 2. M etodo Directo entre 4 y 9.
Modus ponens entre 5. y 6.
Cancelaci on de la falsa en 2.
M etodo Directo entre 4. y 8.
10. (q y r) = t
y esto no puede ser posible pu es est a mostrando que la divisi on entre N y p1 est a dejando residuos distintos 0 y 1, y el Algoritmo de la divisi on(teorema 0.2.1) arma que el residuo es s olo uno.
de
Finalmente, de 1., 9., y 10., conclu mos, por disyunci on de casos, la verdad de t.
dad
donde la divisi on entre N y P est a dejando nuevamente los residuos 0 y 1. Por tanto q no est a en la lista ( ) y esto es una contradicci on con lo armado en ; , contradicci on que proviene de haber supuesto que P era el mayor entre los primos. Conclu mos que P no es el mayor primo y que por tanto no existe un mayor primo. El teorema queda demostrado. 2 IVVeamos una prueba de las llamadas Leyes cancelativas, propiedad que se cumple en todo conjunto que tenga dos operaciones binarias que cumplan todas las leyes del a lgebra, (secci on 1.3, p agina 6), como es el caso de la suma y la multiplicaci on en los racionales, los reales y los complejos. Como es lo usual, representemos las dos operaciones por + y TEOREMA:- (i) a + c = b + c = a = b. (ii) (a c = b c y c = 0) = a = b. DEMOSTRACION:(m etodo directo) Parte (i). Supongamos a + c = b + c.
ersi
Un iv
donde
N = (p1 p2 p3 pk ) P + 1 p1 , p2 , p3 , , pk y P,
(1.)
son todos los primos posibles ya que primos m as grandes que P , hemos supuesto que no hay. Seg un el corolario 0.2.3., N tiene un divisor primo, digamos q y por lo tanto, N = qA + 0, A Z (2.)
Un iv
DEMOSTRACION. Razonando por el absurdo, supongamos que hay un entero P que es el n umero primo m as grande que existe. Denamos un n umero N , as :
ersi
La demostraci on se realiza por el m etodo de reducci on al absurdo y para ello se requiere utilizar en cierto momento el teorema llamado Algoritmo de la divisi on(teorema 0.2.1) y el corolario 0.2.3, (ver p aginas 3 y 4):
dad
IIIVeamos una prueba cl asica del teorema 0.2.4, enunciado en el pre ambulo de estas notas, (p agina 4), y debida a la matem atica de la Grecia Antigua (Euclides, siglo III adC.), el cual asegura que, no existe un primo que sea el mayor primo.
N = P A + 0. N = P (p1 p2 p3 pk ) + 1.
de
El mismo procedimiento permite descartar las dem as posibilidades: con q = p2 ; q = p3 ; ; q = pk ; o q = P , se llega a la misma imposibilidad. Por ejemplo para q = P se tendr an las igualdades,
uia
60
1.5. DEMOSTRACIONES POR INDUCCION.
uia
45
An tioq
p = 2k,
con k Z,
pero como p es primo, entonces k = 1, de donde resulta p = 2. De esta manera se concluye que a lo sumo hay un primo par. La demostraci on queda completa. 2 CONTRAEJEMPLOS. (x)P
El m etodo de inducci on se emplea para demostrar enunciados que se reeren a un conjunto innito de n umeros enteros. Nosotros lo restringiremos a los enteros positivos, Z+ . Se puede describir de la siguiente manera: Si un conjunto A de n umeros tiene entre sus elementos al 1 y si cada vez que en A est e el entero positivo k , se puede asegurar que tambi en est a el siguiente, (k + 1), podemos f acilmente concluir que A contiene a Z. La conclusi on es f acil si partimos de un conjunto A que satisfaga ambas condiciones, pu es al estar el 1 en A, tiene que estar el siguiente o sea el 2. De la misma manera, como el 2 est a en A tiene que estar el siguiente o sea el 3; como est a el 3, tambi en est a el 4 y siguiendo de la misma manera se concluye que en A est an el 5, el 6, y as se puede continuar indenidamente, lleg andose a la conclusi on de que en A est a cualquier entero positivo por grande que sea, i.e., Z est a contenido en A. El m etodo de demostraci on por inducci on est a basado en las dos condiciones descritas en el p arrafo anterior y lo podemos expresar de la siguiente manera: Si en un conjunto A se verican las dos condiciones siguientes: 1 A. k A = (k + 1) A,
A veces es necesario demostrar que un enunciado de la forma, es falso.
de
La demostraci on es una simple aplicaci on del numeral 1. del teorema 1.7.2 (negaciones, p agina 54), en el cual se arma que lo contrario del enunciado es
dad
El procedimiento consiste en presentar un t ermino espec co t para el cual se hace verdadero el enunciado contrario de P , i.e. noP . Este t ermino espec co t se llama un contraejemplo. Como cuando armamos: Todos los n umeros primos, son impares, armaci on que es falsa pues t = 2 es un contraejemplo, ya que 2 es primo y es par.
ersi
Los contraejemplos ya se hab an mencionado antes en este texto, (ver por ejemplo p agina 23). Lo que se ha hecho en este punto es presentar su justicaci on l ogica.
entonces se puede asegurar que el conjunto A es Z+ o contiene a Z+ . La primera de estas condiciones se llama base para la inducci on; y la segunda se llama paso de inducci on.
Un iv
Expresar la implicaci on asociada a cada uno de los siguientes enunciados. (1 a 5.) Sugerencia: Utilizar letras para representar la(s) variable(s) afectada(s) por el cuanticador Universal. 1. Todo entero mayor que 1, tiene divisores primos. Respuesta: (a Z y a > 1) = (a tiene por lo menos un divisor primo.)
Un iv
1.8.
Ejercicios sobre cuanticadores.
Veamos como se utiliza este principio para demostrar enunciados (propiedades) que se reeren a n umeros enteros. Sea P una propiedad que tiene que ver con n umeros enteros. Para demostrar por el m etodo de inducci on que esta propiedad P la cumplen, digamos, todos los enteros positivos nos aseguramos de que se verique para el 1. Este hecho lo representamos por P(1). Enseguida nos ocupamos de demostrar la implicaci on, P (k ) = P (k + 1)
cuyo signicado es el siguiente:
ersi
dad
(x)noP
de
An tioq
Para demostrar la parte de unicidad se comienza suponiendo que hay dos primos pares, digamos p y el 2.Como p es par entonces,
1.5.
Demostraciones por Inducci on.
uia
46
uia
1.7. CUANTIFICADORES
59
An tioq
Para demostrar esta implicaci on, se puede emplear cualquiera de los m etodos de demostraci on, en particular el m etodo directo, empezando por suponer que el enunciado P se cumple para el entero k . Este supuesto es llamado hip otesis de inducci on. El prop osito que sigue es deducir que la propiedad P se cumple para el entero (k + 1) y una vez logrado este prop osito, queda demostrada la propiedad para todos los enteros positivos. Veamos tres ejemplos: Ejemplo 1. (Suma de cuadrados consecutivos.) Demostrar que la suma de n cuadrados consecutivos est a dada por la f ormula,
Ejemplo:- En un conjunto A con una operaci on binaria a lo sumo existe un m odulo. Demostraci on:- Supongamos que enA hay dos m odulos, digamos e1 y e2 . Entonces, por el car acter de m odulo de e1 ,
de
dad
347 = 14. 6
En efecto,
Luego no pueden existir dos m odulos en A, pu es se concluy o que se reducen a uno solo. El enunciado ha sido probado. 2
1 + 22 + 32 = 14 con el resultado de la suma: (1 + 22 + 32 +
ersi
Para n = 4 verique la f ormula 42 = 30).
Un iv
b)- Demostraci on de unicidad. Con esta parte se est a asegurando que a lo sumo hay un t ermino, y no dos, que verica el enunciado. Est a claro que la conjunci on de estas dos pruebas garantizan que es uno y s olo uno, el t ermino que verica el enunciado. Ejemplo:- Si se quiere demostrar que hay un u nico primo que es par se asegura la parte de existencia presentando al n umero 2 como un t ermino que asegura la existencia de primos pares.
Empleando el m etodo directo, supongamos cierto P(k = n), es decir, 12 +22 +32 + + n2 = n(n + 1)(2n + 1) 6
P (k ) = P (k + 1).
(hip otesis de inducci on.).
Un iv
Pasemos a la demostraci on:- Sea P el enunciado propuesto en . Vericar el primer punto de la inducci on, P(k = 1), es trivial ya que la suma tiene solamente el primer sumando, lo cual conduce al resultado cierto: 3 12 = 12 6 El segundo punto de la inducci on, llamado el paso de k a (k + 1), consiste en demostrar la implicaci on
Los enunciados de Existencia Unica se reducen a enunciados de Existencia y Unicidad. Por tal motivo, su demostraci on se hace en dos partes. a)- Demostraci on de existencia. Con esta parte se est a asegurando que hay por lo menos un t ermino que verica el enunciado.
ersi
Es de anotar que una operaci on binaria puede no ser modulativa, en cuyo caso no existe m odulo, pero esto no quiere decir que el enunciado haya dejado de cumplirse.
dad
e1 = e 2 .
n(n + 1)(2n + 1) 6 siendo n 1; as por ejemplo: Para n = 3, el resultado es
As mismo, por el car acter de m odulo de e2 , e1 e 2 = e 1 . Seg un estas dos igualdades,
de
e1 e 2 = e 2 .
An tioq
Si la propiedad se verica para un entero positivo k , (esto queda representado por P(k )), entonces tambi en se verica para el siguiente (k +1), (lo cual queda representado por P(k + 1)).
b)- Tambi en puede suceder que se concluya una armaci on contraria a un resultado conocido que se sabe que es un teorema, gener andose as una contradicci on cuya u nica causa es el supuesto inicial. La conclusi on obligada es que no pueden existir los dos t erminos mencionados en el supuesto inicial, lo cual quiere decir que a lo sumo existe uno, armaci on que incluye la posibilidad de que no haya ninguno.
uia
58
1.5. DEMOSTRACIONES POR INDUCCION. Queremos, a partir de , obtener P(k = n + 1), es decir:
uia
47
An tioq
12 + 22 + 32 + + n2 + (n + 1)2 =
(n + 1)((n + 1) + 1)(2(n + 1) + 1) (n + 1)(n + 2)(2n + 3) = 6 6
An tioq
Ejemplo:- Existe por lo menos un n umero primo entre 10 y 20. Demostraci on:- Es suciente presentar, digamos el 17, ya que este es un primo entre 10 y 20. Claro que hay otros n umeros primos entre 10 y 20 y que por lo tanto se pueden exhibir como prueba pero repetimos que uno cualquiera de estos, es suciente. b)- Por el absurdo, demostrando que la no existencia de un t ermino que verique el enunciado, conduce mediante deducci on l ogica, a una contradicci on. Ejemplo:- Para todo entero n > 1 existe un primo p n. Demostraci on: Fijado cualquier entero n > 1, la no existencia de un primo p n conducir a al resultado contradictorio de que todos los primos son menores que n, en particular para n = 2, todos los primos ser an menores que 2, es decir no existir an los n umeros primos.
(tesis).
En la igualdad marcada con un , (hip otesis de inducci on), sumemos (n + 1)2 obteniendo as : (12 +22 +32 + +n2 ) + (n+1)2 = n(n + 1)(2n + 1) + (n+1)2 ; 6
(L. UNIFORME).
de
dad
Ejemplo:- El n umero 247 tiene por lo menos un divisor primo.
2n2 + 7n + 6 6 Finalmente, la factorizaci on del trinomio de 2do. grado nos produce el resultado nal que no es otro que = (n + 1) (n + 1)(n + 2)(2n + 3) . 2 6 Tal vez m as interesante que hacer la demostraci on de una propiedad P, sea construirla o descubrirla. Una vez obtenida, proceder a su demostraci on (por inducci on), puede decirse que es un proceso de rutina. Ejemplo 2: (Suma de enteros consecutivos) Tratemos de descubrir una ley para las sumas siguientes: 1 = 1. 1+2 = 3. 1 + 2 +3 = 6. 1 + 2 + 3 + 4 = 10. 1 + 2 + 3 + 4 + 5 = 15. . . . 1 + 2 + 3 + 4 + 5 + + n = ?.
ersi
Demostraci on:- Un conocido teorema, (cor. 0.2.3, p agina 4), nos garantiza que todo entero > 1 tiene por lo menos un divisor primo y esto es suciente argumento para concluir que el enunciado es verdadero, pu es 247 > 1. 2
Un iv
Se empieza suponiendo que existen dos t erminos (objetos matem aticos distintos), digamos x1 , x2 , que verican el enunciado. Las consecuencias de aqu en adelante pueden conducir a una de dos posibilidades contradictorias: a)- Usualmente ocurre que, tras un razonamiento apropiado, x1 = x2 y esto es una contradicci on con el supuesto inicial. Con esta contradicci on el teorema queda demostrado.
La u ltima l nea nos lleva a una famosa regla que nos permite calcular f acilmente una suma de ese estilo.
Un iv
Para demostrar un enunciado con cuanticador de Unicidad, se emplea un argumento de reducci on al absurdo pues la expresi on A lo sumo un es equivalente, como ya se dijo, a la expresi on No hay dos .
ersi
dad
c)- Cuando el enunciado por demostrar es un caso particular de un teorema con caracter universal. En este caso basta se nalar que lo universal implica lo particular y de un caso particular verdadero se sigue una armaci on de tipo existencial. Este m etodo es consecuencia del teorema 1.7.1. (iii.) y de la regla l ogica del modus ponens. Se deja al estudiante la vericaci on de lo dicho.
n(n + 1)(2n + 1) n(2n + 1) + (n + 1)2 = (n + 1) + (n + 1) 6 6 Reduciendo a com un denominador y simplicando, se tiene
de
Para simplicar el segundo miembro de esta igualdad podemos empezar por factorizar el t ermino (n + 1):
uia
48
uia
,
57
de
Para dos enteros a, b, no ambos cero, existe un entero positivo d tal que M CD (a, b) = d.
dad
Se puede hacer el procedimiento de inducci on sobre uno cualquiera de los dos exponentes, n o m; en este caso, sobre n, dejando a m jo. Es necesario hacer primero una denici on.
((d Z + ) y (M CD (a, b) = d)). Otro ejemplo: Existe un n umero primo que a su vez es par. En t erminos de una conjunci on toma la presentaci on,
ersi
Denici on: Para n entero positivo y para todo real x, x1 = x x x=x

n n+1
La demostraci on de un enunciado referido a un cuanticador existencial, se puede efectuar por alguno de los siguientes m etodos: a)- Basta comprobar el enunciado con un t ermino espec co para que este quede demostrado. Este m etodo es consecuencia del teorema 1.7.1. (i) y de la regla l ogica del modus ponens seg un se comprueba a continuaci on: PREMISAS: (T |x)P (x) = (x)P (x). (T |x)P (x). (x)P (x).
Pasemos ahora a la demostraci on utilizando el m etodo de inducci on:
Un iv
(Base) - Para n = 1, am a1 = am a = am+1 Por la anterior denici on.
(Paso de inducci on.) - Supongamos que am an = am+n . (hip otesis de inducci on.) (tesis) Queremos deducir que el enunciado se cumple para (n + 1), i.e. am an+1 = am+(n+1) .
Un iv
1. 2.
Conclusi on:
ersi
p((p es n umero primo)y (p es par)).
dad
Ejemplo 3: Demostrar la 1a ley de los exponentes: n umero real y m, n enteros positivos .
am an = am+n , siendo a cualquier
En este ejemplo, el enunciado con la respectiva conjunci on toma la presentaci on,
de
Para descubrir esa regla podemos observar y analizar los primeros resultados de las sumas, 1, 3, 6, 10, 15, cu al seguir a? La idea es obtener una f ormula en t erminos de n que nos produzca el resultado para cualquier entero n, por ejemplo, c ual ser a el resultado de sumar los primeros 100 n umeros.? Puede que sea m as f acil observar primero los duplicados de estas sumas, digamos, 2, 6, 12, 20, 30. Si se descubre la f ormula que reproduce esta u ltima lista, basta dividir por 2 para obtener la anterior, 1, 3, 6, 10, 15 y a partir de all conseguir el resultado deseado. En la secci on de ejercicios, (ejercicio 1 p agina 49), el estudiante podr a encontrar el resultado, propuesto como ejercicio. La raz on de este aplazamiento es dar la oportunidad de que el lector descubra su propio resultado. (Sugerencia: Descomponga los n umeros en como productos de dos n umeros y observe los factores.)
An tioq
La implicaci on asociada es en este ejemplo,
Note que al hacer expl cita la implicaci on, recurrimos al empleo de una variable (letra cualquiera) que representa el t ermino al cual se reere el enunciado, (en este caso la x se reere a un n umero real.)
Regla:- Para demostrar un enunciado referido a cuanticador Universal
x R = x 0 = 0
basta demostrar la implicaci on asociada a dicho cuanticador.
As mismo debemos se nalar que el cuanticador existencial est a asociado a una conjunci on, como cuando decimos,
An tioq
Todo n umero real multiplicado por 0, da como resultado, 0.
uia
56
49 1.6. EJERCICIOS PARA DEMOSTRAR POR EL METODO DE INDUCCION.
An tioq
(2.)
LEYES CONMUTATIVAS :
g ) (x)(y )R (y )(x)R.
h) (x)(y )R (y )(x)R. i) (x)(y )R = (y )(x)R. j ) El rec proco de (i) es falso.
am an+1 = am (an a). = (am an ) a. = am+n a. = a(m+n)+1 . = am+(n+1) . Queda demostrado el enunciado. 2
Por la anterior denici on. Por ley asociativa. Por hip otesis de inducci on. Por denici on. Por ley asociativa.
de
dad
ersi
ersi
El resultado en (j) pide tener cuidado de no intercambiar los cuanticadores cuando se presentan en el orden porque el enunciado obtenido con el intercambio puede ser falso. En cambio el resultado en (i) arma que el orden puede modicarse sin que se afecte la verdad del enunciado. Por supuesto que cada una de las anteriores propiedades dadas en los teoremas 1.7.1, 1.7.2, 1.7.3., se demuestran en un curso de L ogica, pero nosotros las tendremos en consideraci on para cuando sea del caso aplicarlas. Una propiedad adicional que tendremos a mano es la siguiente. Si z es una letra que no aparece en un enunciado P , se verica la equivalencia, P (z )P.
El primer ejercicio se reere al ejemplo 2, (p agina 47, suma de enteros consecutivos), que se dej o aplazado para que el lector tuviera un espacio para pensarlo. 1. Para n entero positivo,
dad
Veamos un ejemplo relacionado con (i) y (j). Mientras que el enunciado, para todo entero n > 1, existe un primo que divide a n (cor. 0.2.3.) es verdadero, el enunciado que cambia la posici on de los cuanticadores, existe un primo que divide a todos los enteros mayores que 1, es falso. Este ejemplo ser a analizado m as adelante. (Ver soluci on a ejercicio 19(m), p agina 63, contraejemplos.)
1.6.
Ejercicios para demostrar por el m etodo de inducci on.
1+2+3+ +n =
2. Suma de impares.
Un iv
1 = 1.
1 + 3 = 4.
COMO DEMOSTRAR ENUNCIADOS CON CUANTIFICADORES.
Lo primero es se nalar que el cuanticador Universal est a asociado a una implicaci on que usualmente aparece impl cita en el enunciado, como cuando decimos,
1 + 3 + 5 = 9. . . .
1 + 3+ 5 + 7 + + (2n 1) =?.
Y cuando lo encuentre, demu estrelo, (por inducci on).
Un iv
Como en el ejemplo 2, p agina 47, trate de hallar, en t erminos de n = n umero de sumandos, un resultado para las sumas del siguiente estilo:
de
An tioq
n(n + 1) 2
Empezamos (y terminamos) de la siguiente manera:
uia
uia
50
uia
1.7. CUANTIFICADORES 3.-(a)(R(a) = S (a)) 4.-(b)(P (b) y S (b)) 5.-(w )R(w ) o (z )Q(z ) 6.-(x)P (x) = (y )Q(y )
55
An tioq
Para n entero positivo,
13 + 2 3 + 3 3 + = 4.
n(n + 1) 2
7.-Existen rombos que no tienen los lados iguales. Respuesta: Todos los rombos tienen los lados iguales.
1 1 1 n 1 + + + = 12 23 34 n (n + 1) n+1 y = x, xn y n es divisible por x y
8.-Todo entero es primo y todo primo es impar. Respuesta: Hay enteros que no son primos o hay primos que no son impares. 9.-Si alg un entero es impar, entonces es primo. Respuesta: Alg un entero es impar y no es primo.
5. Para n entero positivo y para reales x, y,
de
6. Suma de n t erminos de una progresi on geom etrica. ; (P.G.) Para r un n umero real = 1,
dad
1 + r + r 2 + r 3 + r n1 =
rn 1 r1
Teorema 1.7.3 (Reglas de empleo de los cuanticadores). (1.) LEYES DISTRIBUTIVAS :
7. 2a ley de los exponentes:
ersi
(xm )n = xmn
a) (x)(R = S ) = ((x)R = (x)S ). b) (x)(R = S ) = ((x)R = (x)S ).
Un iv
8. Demostrar que la suma de un n umero impar de enteros impares, d a un resultado impar. (Mire por ejemplo, 7 + 15 + 3 = 25.) Sugerencia: Demuestre la igualdad, a1 + a2 + a3 + + a2k1 = 2t + 1, t Z y los ai son enteros impares. La inducci on se
donde k Z+ , hace sobre k .
Un iv
(Como en el ejemplo 3 de la p agina 48, basta hacer la inducci on sobre uno de los exponentes.)
c) (x)(R o S ) ((x)R o (x)S ). d) (x)(R y S ) ((x)R y (x)S ).
e) ((x)(R y S ) = ((x)R y (x)S ). f ) ((x)R o (x)S ) = (x)(R o S ).
ersi
Para m y n enteros positivos y x n umero real,
dad
En los enunciados que siguen haremos una simplicaci on de la notaci on (cuanticador-letra) P(letra) , suprimiendo la letra que acompa na a la P. Por ejemplo (x)P (x) se ver a simplicada como (x)P .
de
10.-Todo m ultiplo de 3 tambi en es m ultiplo de 6. Respuesta: Hay al menos un m ultiplo de 3 que no es m ultiplo de 6.
An tioq
3. Suma de cubos consecutivos.
Respuesta: (a) (R(a) y noS (a).) Respuesta: (b) (noP (b) o noS (b).) Respuesta: ((w ) noR(w )) y ((z ) noQ(z ).) Respuesta: ((x) P (x)) y ((y ) noQ(y ).)
uia
54
uia
51
An tioq
(an )m = anm ,
Sugerencia: Como en el ejercicio anterior, la inducci on se hace sobre el entero k en la igualdad, a1 + a2 + a3 + + a2k = 2t, donde los ai son enteros impares.
(donde a R+ y m, n Z+ ), se sobrentiende que las letras a, m, n est an afectadas, cada una, por un c. universal. En el siguiente teorema utilizamos el s mbolo (T |x)P para indicar la operaci on que consiste en reemplazar en el enunciado P , la letra x por un t ermino espec co T . Por ejemplo, si P es x R y T es 2, en tonces ( T | x)P es 2 R.
10. Demostrar que 2 es un factor de n2 + n. (Esto es, demostrar que 2 | (n2 + n).)
de
(es decir, con un solo objeto que cumpla la propiedad P , se puede armar: existen objetos que cumplen la propiedad P .
11. Demostrar que 3 es un factor de n3 n + 3. (Esto es, demostrar que 3 | (n3 n + 3).) 12. Suma de n t erminos de una P.A. (Progresi on Aritm etica.) a + (a + d) + (a + 2d) + + [a + (n 1)d] = 13. 13 + 33 + 53 + + (2n 1)3 = n2 (2n2 1) 14.
dad
(Silogismo entre (ii.) y (i.)).
(iii.) (x)P (x) = (x)P (x).
Teorema 1.7.2 (Negaci on de enunciados cuanticados).
ersi
negaci on indicada
negaci on efectuada
3 15. (1 + 1 )(1 + 5 )(1 + 7 ) ( 4 9
ersi
(i.)
no((x)P (x)) (x)(no(P (x))).
1 13
1 35
1 57
dad
1 (2n1)(2n+1)
(es decir, de lo general se sigue lo particular.
(ii.) (x)P (x) = (T |x)P (x).
Rec proco falso.)
de
=
n . 2n+1
Teorema 1.7.1. (i.) (T |x)P (x) = (x)P (x).
+...+
)=
La negaci on se efect ua cambiando el cuanticador Universal por cuanticador Existencial y negando el enunciado P.
Encontrar el t ermino de lugar n, (espacio en blanco), proponer el posible resultado, (?), en t erminos de n y hacer la demostraci on por inducci on.
Un iv
negaci on indicada
negaci on efectuada
La negaci on se efect ua cambiando el c. Existencial por c. Universal y negando el enunciado P.
(Universal, Existencial, de Unicidad, de Existencia Unica.) Son palabras o expresiones que se reeren a la cantidad de objetos (matem aticos) o elementos de un cierto conjunto, que verican una propiedad. Ya hemos mencionado en lugares anteriores de estas notas, enunciados con cuanticadores, apelando al sentido com un del lector. En lo que sigue haremos una presentaci on donde se enuncian las principales caracter sticas y
Ejemplos: Negar los siguientes enunciados: 1.-(x)(y )P (x, y ) 2.-(x)(y )P (x, y ) Respuesta: (x)(y ) noP (x, y ). Respuesta: (x)(y ) noP (x, y ).
Un iv
(ii.)
no((x)P (x)) (x)(no(P (x))) .
1.7.
Cuanticadores
An tioq
(?)
Cuando un enunciado presenta una variable no cuanticada, se asume que est a afectada por el cuanticador . Por ejemplo, en el enunciado,
9. Demostrar que la suma de un n umero par de enteros impares , d a un resultado par. Por ejemplo: 7 + 3 + 15 + 3 = 28.
n[2a + (n 1)d] . 2
uia
52
uia
53
An tioq
LEYES DE LOS CUANTIFICADORES.
A.) - Un enunciado est a afectado por un cuanticador Universal cuando en el aparecen expresiones como todos, cada uno u otras que tengan ese mismo signicado, como cuando decimos, Todo n umero real elevado al cuadrado d a resultado positivo. Cada uno de los n umeros primos = 2, es impar. Para cada real x, x + 0 = x. Para x, y, reales arbitrarios, x + y = y + x. B.) - Un enunciado est a afectado por un cuanticador Existencial cuando en el aparecen expresiones como alguno, por lo menos un, hay un, existe por lo menos un (t ermino) tal que u otras que expl cita o impl citamente tengan este mismo signicado, como cuando decimos, Existe por lo menos un n umero primo que es par. Hay tri angulos con sus 3 lados iguales. Para alg un x R, x2 1 = 0. Por dos puntos pasa por lo menos una recta. Un entero es par si es de la forma 2k, siendo k un entero. (En otros t erminos, a Z es par si existe k Z tal que a = 2k.) (Est a impl cito el cuanticador existencial en la frase, es de la forma).
S olamente para efectos de enunciar las leyes de los cuanticadores y algunas expresiones de tipo te orico, utilizaremos las siguientes abreviaturas: P (x) signica un enunciado o propiedad matem atica referida a un t ermino x. Similarmente, P (x, y, u, , z.) representa un enunciado que se reere a dos o m as t erminos, representados por las letras x, y, u, ...z. Para el c. Universal (x)P (x), que signica para todo x, P (x).
de
Para el c. de Unicidad ( x)P (x), que signica existe a lo sumo un x tal que P (x). Para el c. de Existencia Unica ( ! x)P (x), que signica existe un u nico x tal que P (x). Algunas observaciones relacionadas con los cuanticadores: En las abreviaturas anteriores se debe tener en cuenta que el cuanticador va acompa nado de una letra que s olo puede ser una variable o sea un t ermino sin especicar y no una constante que representa un t ermino espec co. Se acostumbra abreviar expresiones cuanticadas doblemente con cuanticadores del mismo tipo, como (x)(y )P (x, y ) en la forma (x, y )P (x, y ). De la misma manera se procede con los dem as cuanticadores y cuando el n umero de variables sea 3 o m as. Un enunciado puede contener el n umero y variedad de cuanticadores que sean necesarios. El siguiente enunciado tiene 3 cuanticadores:
dad
Un iv
D.) - Un enunciado est a afectado por un cuanticador de Existencia Unica cuando en el aparecen expresiones al estilo de Uno y s olo uno, u nicamente uno, exactamente uno, como cuando decimos, Por un punto exterior a una recta dada pasa una y solo una recta paralela a la recta dada. Al dividir entre si dos n umeros enteros, el cociente y el residuo son u nicos.
donde a es un n umero jo.
Un iv
C.) - Un enunciado est a afectado por un cuanticador de Unicidad cuando en el aparece una expresi on al estilo de A lo sumo hay un, cuando m as hay un, no pueden haber 2 u otras expresiones que puedan tener este mismo signicado, como cuando decimos, En un conjunto A en el cual est e denida una operaci on binaria modulativa, a lo sumo hay un elemento neutro. Entre 24 y 28 hay, cuando m as, un primo. Entre 24 y 30 no hay dos primos.
ersi
Para todo > 0 existe > 0 talque para todo real x, |x a| < = |f (x) f (a)| < ,
ersi
dad
de
Para el c. Existencial P (x).
(x)P (x), que signica existe un x tal que
An tioq
t ecnicas para el manejo de estas expresiones pero sin entrar a demostrarlas ya que ello no est a contemplado en estas notas.
Para cada n umero real = 0 existe exactamente un inverso multiplicativo.
uia
76
uia
1.8. EJERCICIOS SOBRE CUANTIFICADORES. 2. Todos los n umeros primos son impares.
61
An tioq
3. Todo entero es primo y todo primo es impar.
B C = {x /(x B) o (x C )} Adem as:
4. Para todo entero k , existen primos de la forma 4k + 1. 5. El producto de todo n umero par por un impar, es par. Negar los siguientes enunciados (6 a 16)
x (B C ) ((x B) o (x C )). x / (B C ) ((x / B) y (x / C )). Los diagramas que siguen, ilustran la uni on de dos conjuntos en situaciones diferentes.
6. Si todos los m ultiplos de un entero n son pares, entonces n es par.
de
8. Todo entero es primo y algunos primos son pares. U B C 10. Para alg un x R, x + 0 = x. 9. Todo tri angulo que sea is osceles, tambi en es equil atero.
dad
11. Existen rombos que no tienen los lados iguales. B C 12. Existen rombos con 5 lados o existen cuadrados con 3 diagonales. 13. Todas las funciones son continuas y algunas son diferenciables. 14. Si alg un entero es impar, entonces todos los n umeros primos son impares.
ersi
Ejemplos:
Un iv
Z+ {0} Z = Z.
Presentamos a continuaci on una notaci on para expresar el n umero de elementos de un conjunto.
16. a) (x)(y )Q; b) (x)(y )S ; c) (x)(y )P . Para el ejercicio siguiente, (el 17), considere el conjunto: B = {2, 3, 4, 5, 6, 7, 8, 9.}.
El s mbolo Card(A) se utiliza para expresar el n umero de elementos de A.
Ejemplos:- Card() = 0; Card({a}) = 1; Card({b, c}) = 2 ; Card({0, 1, 2}) = 3 y as sucesivamente.
como conjunto de referencia.
Un iv
{3, 4, 5} {1, 2, 3, 6} = {1, 2, 3, 4, 5, 6}.
15. Todo m ultiplo de 3 tambi en es m ultiplo de 6.
ersi
En los anteriores diagramas, los rect angulos representan un conjunto de referencia U . Las regiones con l neas horizontales representan los conjuntos (B C ) y (B C ) respectivamente.
dad
B C
de
7. Algunos primos son de la forma 4k + 1 donde k es un entero.
An tioq
Denici on 1.9.4. Dados dos conjuntos B y C , llamamos Uni on de B con C al conjunto {B, C }. La notaci on usual para este conjunto es B C . La siguiente igualdad dene al conjunto Uni on como resultado de una operaci on binaria entre conjuntos:
uia
62
1.9. TEOR IA DE CONJUNTOS
uia
75
An tioq
a)Para todo x B, x + 9 < 18.
e)Existen a lo sumo un x B y a lo sumo un y B tal que x + y = 12. f)Existe un z B, y s olo uno, tal que z + 3 = 8. g)Existe un z B tal que z + 2 = 12.
d)A lo sumo un x B es tal que 4 + x = 9.
c)A lo sumo un x B es tal que 3x = 8.
b)A lo sumo un x B es tal que x + 1 = 2.
{a, a, b} y {a, b}
son iguales. (Acaso no tienen los mismos elementos?)
De acuerdo con la anterior observaci on, el doblete {a, a} es igual al conjunto {a} y se llama el singulete de a o, por raz on obvia, conjunto unitario.
de
i)Cada elemento de B es > 1. k)Para todos los a, b B,
j)Todo elemento de B es primo o es par. a + b > 4.
Otro ejemplo: El conjunto {{x, y}} es un singulete pu es su u nico elemento es {x, y}
dad
l)Existe un u nico x B tal que x es m ultiplo de 5. n)Existe un c B tal que para todo a B, o)Existe un u nico z B tal que z + 2 = 3.
m)Para todo a B existe un c B tal que a + c = 11.
a + c = 11. xz 25.
ersi
q)Existe por lo menos un x B tal que para alg un z B ,
xz 81.
18. Demostrar: Todo entero 2 que no sea divisible por ning un primo menor que el n umero, es primo.
Un iv
De igual forma:
Demostrar que los siguientes enunciados (a... m) son falsos: a)Si (a + b) es par, entonces a es par o b es par. b)Si 5 divide a (m + n), entonces 5 divide a m o 5 divide a n. d)Todo n umero impar es m ultiplo de 3 o de 5. c)Si 5 divide a mn, entonces 5 divide a m y 5 divide a n.
{{a}, {a, b}} = {a, b}. {{a, b}, {b, c}} = {a, b, c}.
Un iv
19. En este ejercicio considere aquellas letras que representan n umeros, como n umeros enteros.
Note que A = B. Empezando porque A tiene solo dos elementos y B tiene tres y continuando con armaciones como c B y c / A. {{a, b}} = {a, b}. {{a}, {b}} = {a, b}.
A continuaci on denamos la uni on de dos conjuntos B y C , la cual constituye nuestra 1a operaci on binaria con conjuntos.
ersi
p)Existe por lo menos un x B tal que para alg un z B,
Sea A = {{a}, {b, c}}. Como se ve, este conjunto es un doblete cuyos elementos son los conjuntos {a} y {b, c}. Si reunimos en un conjunto B los elementos a, b, c este conjunto es la uni on de A y escribimos B = A = {a, b, c}.
dad
5. El axioma de uni on establece que dado cualquier conjunto A, se puede obtener un nuevo conjunto, digamos B, cuyos elementos son reuni on de todos los elementos que tienen los conjuntos que conforman el conjunto A. Unos cuantos ejemplos dar an la suciente claridad a este concepto.
de
h)Cada elemento de B es < 9.
Ejemplo:- Mientras Z es un conjunto con un n umero innito de elementos, el singulete de Z, o sea {Z}, solo tiene un elemento.
An tioq
17. Entre los siguientes enunciados (a... q) dar un contraejemplo para los que sean falsos y dar una justicaci on para los verdaderos.
La observaci on consiste en que en un conjunto no tiene sentido repetir elementos. De acuerdo con el axioma de extensi on, los conjuntos
uia
74
uia
1.8. EJERCICIOS SOBRE CUANTIFICADORES.
63
An tioq
f)El producto de 3 enteros consecutivos es siempre m ultiplo de 4. g)Entre 5 enteros consecutivos, siempre hay uno que es primo. h)Todo n umero par se puede escribir en la forma n2 + 2. j)Todo n umero par se puede escribir en la forma 4n + 2. l)Si a | bc entonces ((a | b) o (a | c)). i)Todo n umero impar se puede escribir en la forma 3n + 1.
Los axiomas 4, (ax. del doblete), 5, (ax. de uni on) y 6, (ax. del conjunto de partes), permiten otra manera de denir conjuntos que no depende del ax. de separaci on. 4. El ax. del doblete junto con el ax. 5, (ax. de Uni on), nos permiten describir conjuntos nitos, es decir, conjuntos cuyos elementos se pueden ordenar en una lista que tiene un u ltimo elemento. Los conjuntos nitos los hemos venido utilizando desde el mismo inicio de estas notas, (v ease en operaciones binarias p agina 5), y la u ltima vez est a en la p agina anterior, donde hemos mencionado conjuntos nitos como A2 , A3 y A4 .
k)Si un producto de la forma mn es par, entonces m y n son pares. m)Si n es un entero > 1, existe un n umero primo que divide a todo entero k , siendo k > n. Soluci on: Para demostrar que este enunciado es falso, basta dar un contraejemplo. Sea n > 1. Sabemos que existe un primo p que divide a n, (cor. 0.2.3., p agina 4). Si denimos un n umero k = n + 1, este k > n es un contraejemplo ya que n y k son primos relativos y por tanto p no divide a k. 2 Si se compara este enunciado con el corolario 0.2.3. p agina 4, (para todo entero k > 1, existe un primo que divide a k ), se nota que la u nica diferencia est a en el orden de los cuanticadores y sin embargo uno es verdadero y el otro falso. Este ejemplo muestra que no se pueden permutar los cuanticadores y cuando aparecen en este orden. 20. Sean a y b enteros pares y c y d enteros impares. De las siguientes armaciones, demostrar las que considere verdaderas y dar un contraejemplo para las falsas.
de
ersi
Conjuntos como N, Z, Q, R y C son innitos. El conjunto A1 de la p agina anterior tambi en es innito. Una notaci on convenida a fuerza de uso es la que permite expresar, en algunos casos, conjuntos innitos en la forma,
Un iv
{a1 , a2 , a3 , },
(ab cd) es par; (ac bd)es par; (abc d)es par; (ab cd) es impar; (abc)es m ultiplo de 4; (bcd + a)es impar; (ac ad) es par;
Un iv
donde los puntos suspensivos indican que la lista se extiende sin u ltimo t ermino. Esta notaci on la hemos utilizado para los Naturales, {1, 2, 3, }, los Enteros, {0, 1, 2, 3, } y otros.
21. Sea 3 un divisor de a y de b. De las siguientes armaciones, demostrar las que considere verdaderas y dar un contraejemplo para las falsas. 9 es divisor de (a2 + b2 ) 9 es divisor de (2a + b)(a 2b) 9 es divisor de (a + b2 ) 9 es divisor de a(a + b) .
Es el momento de hacer una observaci on y presentar los conjuntos llamados singuletes o conjuntos de un solo elemento.
ersi
La notaci on por extenci on es propia de los conjuntos nitos y se reduce a poner en lista todos los elementos del conjunto por medio de expresiones al estilo de {a1 , a2 , a3 , , an }. En oposici on a los conjuntos nitos, los m as interesantes conjuntos matem aticos son innitos, o sea, conjuntos que no es posible describirlos todos, elemento por elemento, por no existir un u ltimo elemento, o lo que es peor, por no saberse cual sigue a cual. (Entre los reales, cual sigue al 1?)
dad
dad
(ac + bd)es impar; (ac d b )es impar.
de
An tioq
Los conjuntos denidos por el axioma de separaci on se dicen denidos por comprensi on y en esta forma los llamaremos en adelante. En oposici on a estos, se tienen los conjuntos denidos por extensi on a los cuales se ingresa por medio del axioma del doblete, (axioma 4), y el axioma de uni on, (axioma 5).
e)Todo n umero par es m ultiplo de 4, o de 6, o de 8.
uia
64
uia
73
An tioq
Hacemos en estas notas una presentaci on parcial de la teor a de conjuntos de Zermelo-Frankel, (T.Z.F.), propuesta entre 1908 y 1922 por estos dos matem aticos. La raz on para hacerlo as es que en estas notas no se pretende hacer un desarrollo completo y detallado de la teor a, s olo aquellos resultados que hacen falta en los programas de pregrado en F sica, Qu mica, Ingenier as y otros, adem as del curso que se est a desarrollando en estas notas. Desde un punto de vista intuitivo, pensamos en un conjunto A como en un objeto que es una especie de recipiente que contiene otros objetos, (o que inclusive, puede estar vac o), objetos que tambi en son conjuntos, como por ejemplo, el conjunto de las rectas del plano, rectas que a su vez son conjuntos de puntos. Otros ejemplos son: el conjunto de los n umeros enteros que hemos venido representando por Z y el conjunto {0, 1, , e, 1}.
Denici on 1.9.3. Si jamos la condici on P(x) como x = x, por el ax. de separaci on, queda bien denido para todo conjunto U , el conjunto, {x U /x = x}
pero seg un qued o ya establecido, x = x para todos los conjuntos, luego x = x es imposible y por tanto no existen elementos en el anterior conjunto.
de
Teorema 1.9.3. a) es subconjunto de todos los conjuntos.
dad
Es de anotar que todo n umero, (natural, entero, racional, irracional o complejo), es la representaci on de un conjunto. Diagramas de Venn:- Son guras sencillas que se utilizan para representar conjuntos y facilitan la comprensi on de algunos pasajes de la teor a. El diagrama ; ; ; ; representa el conjunto mencionado en el anterior p arrafo. 0 1 e 1
La justicaci on de la parte (a) es consecuencia de una ley l ogica, (ley del antecedente falso), pu es la implicaci on x = x A Siendo x una variable, se le asocia el cuanticador universal, dando lugar al enunciado Para todo x, (x = x A),
ersi
Empecemos la teor a presentando 3 t erminos primitivos (i.e. no denidos) a saber: Las palabras conjunto, pertenecer, igual. Los signos para representar estas 3 palabras son: Letras, , =. Letras de todo tipo (may usculas y min usculas) para nombrar los conjuntos. El s mbolo para establecer una relaci on entre conjuntos, llamada pertenencia. Por ejemplo, xA
Un iv
que en forma abreviada se transforma en A, para todo conjunto A. 2 En cuanto a la justicaci on de la armaci on (b), supongamos que existen dos conjuntos 1 y 2 diferentes, luego dieren en alg un elemento x. Pero como son conjuntos vac os, tal diferencia no puede ser ya que ninguno de los dos tiene elementos. Esta contradicci on prueba que no pueden haber dos conjuntos vac os, o lo que es equivalente, a lo sumo hay un conjunto vac o. 2
que se lee: el conjunto x pertenece al conjunto A.
Un iv
ersi
es verdadera para todo conjunto A, incluso para , ( ) !.
dad
b) Solamente hay un conjunto vac o.
[Para todo A, A.]
de
Dicho conjunto se llama conjunto vac o y se denota con la letra griega .
An tioq
1.9.
Teor a de conjuntos
N otese como el conjunto A4 no tiene elementos. La siguiente denici on le pone nombre a este conjunto.
uia
72
uia
65
An tioq
Denici on 1.9.1. El conjunto x es un elemento de A sii x A. Por ejemplo: Si A es el conjunto {0, 1, , e, 1}, entonces sus elemen tos son 0, 1, , e, 1 y escribimos 0 A, 1 A, , 1 A. Otro ejemplo: En el conjunto E = {a, b, {a, c}}
Si U es el conjunto de los n umeros enteros y se proponen las 3 condiciones siguientes: P1 : x es un n umero par.
P2 : x es un n umero impar. P3 : x es un n umero primo.
de
Cada una de estas condiciones dene un conjunto diferente, digamos: A1 = {x U /x es par.}; A2 = {x U /x es impar.}.
dad
Note que 3 A3 , y 3 A2 pero 3 / A1 . De manera similar, si se ja una condici on P(x) y se proponen distintos conjuntos de referencia, los conjuntos que se denen por el axioma de separaci on son diferentes.
lo cual signica que los conjuntos A y B son iguales o en otras palabras, que son nombres distintos para el mismo conjunto.
ersi
Por ejemplo, si la condici on P(x) que se propone es: x es un entero primo, entonces los conjuntos que dene el axioma de separaci on son: A1 = {x U 1 /x es primo}. A2 = {x U 2 /x es primo} = {2, 3, 5, 7}. A3 = {x U 3 /x es primo} = {2, 3}. A4 = {x U 4 /x es primo} = { }.
x = x. (propiedad reexiva). Es decir todo conjunto es igual a si mismo. ((x = y ) y (y = z )) = (x = z ). (propiedad transitiva.) Es posible escribir todas las relaciones, (i.e., todos los enunciados) de la teor a de conjuntos, empleando letras, estas dos relaciones, (, =), junto con los cuanticadores y los conectivos l ogicos, no, o, y, = y . Si esto no se hace es porque se vuelve impracticable para enunciados de mayor complejidad. Lo que se hace es introducir nuevos s mbolos abreviadores que facilitan la escritura y comprensi on de nuevas relaciones. (x = y ) = (y = x). (propiedad sim etrica.)
Un iv
U 1 = {x Z/x > 2}.
U 2 = {x Z/x < 10}. U 4 = {0, 1, , e, 1},
U 3 = {1, 1 , 2, 3, 2 , 6}. 2 3
Un iv
y los conjuntos de referencia son:
ersi
Las propiedades b asicas de la igualdad, que aqu consideraremos como axiomas, son:
dad
A = B,
A3 = {x U /x es primo.}.
El conocido s mbolo =, para establecer relaciones de igualdad entre conjuntos como cuando escribimos,
de
a, b y {a, c} son elementos de E y escribimos a E , b E y tambi en {a, c} E . En cambio c no es elemento de E . Sin embargo, c {a, c}.
An tioq
un conjunto U , una vez propuesta una condici on, (o varias condiciones), quedan separados en el conjunto A, aquellos elementos de U que satisfacen la condici on (o condiciones) propuesta(s). Aclaremos esto con algunos ejemplos.
Aquellos conjuntos que como x, aparecen a la izquierda del signo en la relaci on x A se llaman elementos del conjunto A. En otras palabras,
uia
66
uia
A B U A
71
An tioq
x / A y A = B.
As por ejemplo, reri endonos a los conjuntos A, B y E , mencionados antes, escribimos B = A, 2 /A y c / E. Veamos enseguida otra importante relaci on entre conjuntos y su respectivo s mbolo abreviador. SUBCONJUNTOS.
Como acabamos de ver, los s mbolos , y , incluyen la posibilidad de que exista igualdad entre los conjuntos relacionados. Para signicar que se d a la inclusi on sin posibilidad de igualdad, (y a esto se le llama inclusi on estricta), se tiene el s mbolo y su respectivo inverso, , que se denen as :
Diagrama de Venn para A B.
dad
La notaci on, para todo x,
Denici on 1.9.2. .
ersi
x B = x A
En otra forma:
B A sii todo elemento de B es elemento de A. Representaci on gr aca de B A.
Un iv
Un iv
Se acostumbra leer la nueva relaci on de diferentes maneras:
En adelante tendremos en cuenta las siguientes dos equivalencias relacionadas directamente con el ax. de separaci on:
Diagrama del Ax. de separaci on.
B es subconjunto de A. B est a inclu do en A. B est a contenido en A. A contiene a B. (Lo cual se representa por A B). B es parte de A.
x A (x U y P (x)). B x / A (x /U A o noP (x)).
Literalmente, el axioma de separaci on signica que, cualquiera que sea
ersi
B es un subconjunto de A (y se escribe B A) sii
sugiere que pertenecer a un conjunto es cumplir condiciones, es decir, x debe estar previamente en un conjunto de referencia, U y adem as debe cumplir la condici on P(x).
dad
Es posible que todos los elementos de un conjunto pertenezcan a otro conjunto, como cuando, por ejemplo, decimos que los n umeros primos adem as de ser primos, pertenecen al conjunto de los n umeros enteros. El t ermino apropiado para describir esta situaci on es la palabra subconjunto. En nuestro ejemplo, el conjunto de los n umeros primos es subconjunto de los n umeros enteros. Esto da lugar a una nueva relaci on entre conjuntos que se llama inclusi on y que se representa por el s mbolo abreviador,
de
A B A B
y A = B.
3. El axioma de separaci on es una poderosa manera de denir conjuntos aceptables. A = {x U /P (x)},
de
A B A B
y A = B.
An tioq
Entre estos s mbolos abreviadores est an las negaciones de enunciados como x A y A = B que se escriben:
Este teorema tiene importante uso cuando se trata de demostrar la igualdad de conjuntos, para lo cual basta demostrar una inclusi on y luego su inversa, como tendremos ocasi on de practicarlo.
uia
70
uia
0 1 1
67
An tioq
1. El axioma de existencia de conjuntos permite tener un conjunto de partida. No se puede comenzar con nada. 2. El axioma de extenci on literalmente signica que un conjunto se extiende hasta abarcar sus elementos pero no m as all a, en otras palabras, que todo conjunto queda determinado por sus elementos. Conviene expresar este axioma de la siguiente manera: B = A (para todo x)(x B x A)
A (existe x tal que (x B y x / A)).
Para reforzar el signicado de la relaci on , analicemos el siguiente esquema basado en la regla l ogica del modus ponens: Premisas: 1. B A 2. x B
de
B = A si y solo si alg un elemento est a en B y no est a en A o, est a en A y no est a en B.
Ejemplos:
de
Adem as,
Conclusi on:x A.
An tioq
e
COMENTARIOS Y EJEMPLOS.
Para negar la relaci on de inclusi on se utiliza, como es de esperar, el s mbolo , lo cual da lugar a la siguiente equivalencia:
Representaci on gr aca de
dad
Como una consecuencia del axioma que estamos comentando, se tiene el siguiente importante resultado. Teorema 1.9.2 (Criterio de la doble inclusi on para que dos conjuntos sean iguales.).
ersi
A = B ((A B )
(B A)).
Demostraci on. Seg un el axioma de extensi on, tener A = B equivale a,
Un iv
para todo x, (x A x B ).
2. El conjunto de los n umeros primos es subconjunto de Z. 3. Una recta o un tri angulo son subconjuntos de un plano. 4. Los conjuntos {a}; {b}; {a, c} y {{a, b}, c} son algunos subconjuntos de E = {a, b, c, {a, b}} La armaci on, todos los elementos de un conjunto, pertenecen a dicho conjunto tiene la presentaci on matem atica, A A y hace parte del primer teorema de esta secci on.
La equivalencia presente en la anterior l nea se puede descomponer, (por denici on de equivalencia y por el teorema 1.7.3.(d), p agina 55), en dos implicaciones, a saber, [para todo x, (x A = x B )] y [para todo x, (x B = x A)], y B A.
lo cual, en te rminos de denici on, signica que A B
Un iv
ersi
1. {0, 1, 1} {0, 1, , e, 1}
dad
uia
68
1.9. TEOR IA DE CONJUNTOS LOS AXIOMAS.
uia
69
An tioq
(ii.)(A B
B C ) = A C.
(propiedad transitiva.)
1. Axioma de la existencia de conjuntos. Existe por lo menos un conjunto. 2. Axioma de extensi on.
Demostraci on. (i.) La relaci on A A est a vinculada, por denici on, a la implicaci on, x A = x A
A = B si y solo si los dos conjuntos tienen los mismos elementos. 3. Axioma de separaci on.
de
dad
4. Axioma del doblete.
Siendo a y b conjuntos arbitrarios, existe un conjunto u nico {a, b},
Cada una de estas relaciones est a asociada a su respectiva implicaci on, (ver def. 1.9.2, p agina 66.):
ersi
En consecuencia, (por transitividad), (x A = x C ).
5. Axioma de Uni on.
Siendo A cualquier conjunto, existe un u nico conjunto B= A,
Un iv
Los siguientes ejemplos ponen de maniesto la diferencia entre las relaciones de inclusi on () y pertenencia() : Considere los conjuntos: A = {{a}, a, c}. a A; a / B. {a} A; {a} / B. c A; c B. {a, c} / A; {a, c} B. {a} A; {a} B. {{a}} A; {{c}} B. {a, c} A; {a, c} B. {c} A; {c} B.
llamado la uni on de los elementos de A. 6. Axioma del conjunto de partes Siendo A cualquier conjunto, existe un conjunto u nico que se llama conjunto de las partes de A y se denota P (A), cuyos elementos son todos los subconjuntos de A.
B = {c, {a, c}}. Entonces,
Un iv
Seg un esta implicaci on, A C.
ersi
(x A = x B ) y (x B = x C )
llamado doblete, cuyos elementos son exactamente a y b.
dad
(ii.) La demostraci on de la 2a parte es aplicaci on inmediata de la propiedad transitiva de la implicaci on, (ver teorema 1.3.2, parte 1). Ve amosla en detalle empleando m etodo directo. Supongamos que A B y B C.
A = {x U /P (x)} cuyos elementos x son aquellos elementos de U que cumplen la condici on P.
de
y esta implicaci on tiene la forma de un teorema l ogico, (L. del medio exclu do, teor. 1.3.2. (2), p agina 28). Luego A A es un teorema de la teor a de conjuntos. 2
Siendo P una propiedad, (i.e. un enunciado con caracter de condici on), y siendo U un conjunto cualquiera, existe un conjunto u nico
An tioq
Teorema 1.9.1. (i.)A A, para todo conjunto A. [Todo conjunto es subconjunto de si mismo, (propiedad reexiva).]
uia
92
uia
77
An tioq
Para demostrar la 2a implicaci on, (), empleamos el m etodo de reducci on al absurdo. Seg un este m etodo, empecemos suponiendo como cierta la negaci on de (), i.e., ((A = ) o (B = )) y A B = . ( )
Para un conjunto nito se utiliza Card(A) < .
Se advierte que, para estas notas, el s mbolo no es un n umero.
6. El axioma del conjunto de partes da lugar a formar un nuevo conjunto a partir de un conjunto dado. Si A es un conjunto, el conjunto de Partes de A se dene por comprensi on de la siguiente manera:
de
dad
Estas importantes equivalencias determinan la manera de intercambiar los signos y entre si, y sus contrarios / y entre si. Como ilustraci on, verique la siguiente cadena de implicaciones: x A = {x} A = {x} P (A.) Si por ejemplo, A = {a, b}, los subconjuntos posibles de A son 4, a saber, , y en este caso, {a}, {b}, {a, b},
ersi
Un iv
Queremos demostrar que A B. Para demostrar esta relaci on se debe demostrar la implicaci on asociada, a saber, x A = x B. Sea x A, luego el singulete de x es un subconjunto de A, i.e., {x} A y esto equivale a {x} P (A). Luego, por hip otesis, {x} P (B ).
Otro ejemplo: P () = {}. Note que mientras no tiene elementos, P () si tiene un elemento, que es el conjunto . Se puede demostrar, por inducci on, que si Card(A) = n, (n 0), entonces Card(P (A) = 2n ). As por ejemplo,
Un iv
a) (P (A) P (B ) = A B.) Como se hace siempre en el m etodo directo, empecemos suponiendo como cierto que, P (A) P (B ), hip otesis.
ersi
Dm: (Teorema 1.11.7) (m etodo directo.) El enunciado de este teorema es: (P (A) P (B ) sii A B.) Separemos la equivalencia en dos implicaciones que demostraremos por separado.
P (A) = {, {a}, {b}, {a, b}}.
dad
Separemos la parte (a A y b B ), (ley de simplicaci on), de la cual conclu mos que A = y B = , lo cual est a en contradicci on con la armaci on que aparece en ( ) de que uno de los conjuntos A o B es vac o. Esta contradicci on demuestra que la implicaci on () es verdadera. La demostraci on de las 2 implicaciones nos deja conrmado el teorema. 2
Se tienen las siguientes equivalencias:
B P (A) B A B / P (A) B A
de
Puesto que, A B = , (ley de simplicaci on), [existe z A B y z = (a, b)] con (a A y b B ).
P (A) = {B/B A}
An tioq
Seg un esto, existen a A y b B y con dichos elementos denamos el par ordenado z = (a, b). De inmediato conclu mos que z (A B ) con lo cual se garantiza que A B = y la implicaci on () queda demostrada, quedando tambi en demostrada la implicaci on ().
Como s mbolo de una cantidad innita, se utiliza y a los conjuntos con una cantidad innita de elementos se les llama conjuntos innitos. As por ejemplo Card(Z) = .Seg un esto, Z es un conjunto innito.
uia
78
1.11. OPERACIONES CON CONJUNTOS: , , , .
uia
2
91
An tioq
Card(P ({a, b})) = 2 ; Card(P ({a, b, c})) = 2 ; Card(P ({0, 1, 2, 3})) = 24 . Demostraci on: (inducci on sobre n.)
conclu mos la igualdad de los dos conjuntos. Dm: (1.11.6)(iv) (Regla del contraejemplo).
Base: - Ya hemos visto que el teorema se cumple para n = 0, 1, 2, 3 y 4.
Paso de inducci on: - Supongamos que,
de
Vamos a demostrar que si B = A {b}, donde b / A, entonces Card(P (B)) = 2n+1 . (tesis.)
dad
es diferente de,
ersi
N otese la diferencia en el n umero de parejas, (9 vs. 4).
Por otra parte, la uni on de cada uno de estos 2n subconjuntos con el singulete {b}, d a lugar a una nueva colecci on de 2n subconjuntos de B, digamos,
Un iv
B.
Finalmente, las cuentas nos dan una duplicaci on del n umero inicial de subconjuntos y por tanto podemos asegurar que B tiene 2(2n ) = 2n+1 subconjuntos lo cual quiere decir que P (B) tiene 2n+1 elementos. El enunciado queda demostrado. 2
Para demostrar la 1a implicaci on, (), empleamos el m etodo del contrarrec proco, i.e., demostramos la contrarrec proca: (A = y B = ) = A B = . ( ) Supongamos que (A = y B = ).
Un iv
{b} = {b}; {a1 }{b} = {a1 , b}; {a2 }{b} = {a2 , b}; ; A {b} =
Dm: (teorema 1.11.6(vi)) (m etodo del contrarrec proco y m etodo de reducci on al absurdo. ) Se trata de demostrar que A B = sii ((a = ) o (B = )). Como el enunciado es una equivalencia, (doble implicaci on), hacemos la demostraci on en dos partes, primero la implicaci on, A B = = ((A = ) o (B = )) () y despu es la implicaci on rec proca, ((A = ) o (B = )) = A B = ()
ersi
Puesto que A B, todo subconjunto de A es subconjunto de B, (v ease propiedad transitiva de la relaci on de inclusi on, (teorema 1.9.1., p agina 68), raz on por la cual, por una parte, el conjunto P (B) tiene, como elementos, los 2n subconjuntos de A, (hip otesis de inducci on).
{(x, x), (x, a), (x, b), (a, x), (a, a), (a, b), (b, x), (b, a), (b, b)} .
(AC )(B D )
dad
Sea pu es A un conjunto con n elementos; seg un la hip otesis de inducci on, A tiene 2n subconjuntos, digamos , {a1 }, {a2 }, , A.
{(x, a), (x, x), (a, b), (b, b)}

(AB )(C D )
de
Card(A) = n = Card(P (A)) = 2n
(hip otesis de inducci on).
Se quiere demostrar que existen casos en los que los conjuntos (A B ) (C D ) y (A C ) (B D ) son diferentes. Para esto basta dar un contraejemplo. Con 4 conjuntos muy sencillos se puede construir el contraejemplo. Sean: A = {x}; B = {a, x}; C = {a, b} y D = {b}. Por una parte, A B = {(x, a), (x, x)} y C D = {(a, b), (b, b)}. Por otra parte, A C = {x, a, b} y B D = {a, x, b}. Y por tanto,
An tioq
2
Card() = 0; Card(P ()) = 20 = 1; Card(P ({a})) = 21 ;
Finalmente, por transitividad de la equivalencia y por el ax. de extensi on,
uia
90
uia
A A
1.10. 4 CONJUNTOS ESPECIALES
79
An tioq
(, P (A), complemento (A), par ordenado (a,b) ).
x A (x U y x / A) x (U A)
y esto es suciente para concluir la igualdad que se quer a demostrar.
Dos de estos conjuntos ( y P (A)) ya los hemos tratado en p aginas anteriores. (Ver p aginas 73 y 77). Nos queda por considerar el conjunto complemento y el conjunto par ordenado. Denici on 1.10.1. Complemento: Para todo conjunto U y para todo A U se dene el complemento de A como el conjunto A cuyos elementos son los elementos de U que no est an en A, i.e., A = {x U /x / A}. En consecuencia, para todo x U , xA (x / A).
de
dad
x /A
(x A).
= U.
ersi
Dm: (Teorema 1.11.6 (iii))(m etodo directo - cadena de equivalencias.) Se quiere demostrar la igualdad de los conjuntos (A B ) (C D ) y (A C ) (B D ). Se suprimen algunos ( ) para aliviar un poco la notaci on.
Ejemplos: Si U = {n Z/ 1 < n 10} y A = {2, 3, 4, 5}, entonces A = {6, 7, 8, 9, 10}.
Un iv
z ((A B ) (C D )) y y
(z (A B ) y (z (C D ))) [z = (a, b) y (a A y b B )] [z = (a, b) y (a C y b D )] (z = (a, b) y [(a A y a C ) (b B y b D )]) [z = (a, b) y (a (A C )) y (b (B D ))] z [(A C ) (B D )].
El complemento de los n umeros racionales, respecto al conjunto de los n umeros reales es el conjunto de los n umeros irracionales, que por esta raz on hemos denotado con el s mbolo Q .
Un iv
El complemento de los n umeros primos, respecto al conjunto de los n umeros enteros > 1, es el conjunto de los n umeros compuestos.
ersi
Como antes, el rect angulo representa al conjunto de referencia U . La regi on con l neas, el complemento A .
dad
b) Demostrar que = U resulta casi inmediato empleando la parte (a) y el resultado (iii) de este teorema: Por (iii), (U ) = U . Y por (a), U = . Finalmente, (sustituyendo U por en ),
Diagrama de Venn para el complemento.
de
Dm. (Teorema 1.11.5 (vi))(Por reducci on al absurdo.) a) Se quiere demostrar que U = . Supongamos que U = , luego existe por lo menos un elemento x0 U , o sea que x0 / U . Pero sabemos que U U , luego x0 U . Por la ley l ogica de simultaneidad, conclu mos que (x0 U ) y (x0 / U) y esto es una contradicci on lo cual conrma que U = . 2
An tioq
Dm: (Teorema 1.11.5 (ii))(m etodo directo.) Demostremos que A = U A. utilizando una cadena de equivalencias. Se sabe, (por hip otesis), que A U .
1.10.
4 conjuntos especiales
uia
80
uia
89
An tioq
x (A (B C )) (x A) y (x (B C )) ((x A) y ((x B ) o (x C )))

()
(2, 4)
(3, 5)
(((x A) y (x B )) o ((x A) y (x C ))) (x (A B ) o (x (A C )) x ((A B ) (A C )). Por transitividad,
de
x
(4, 2)
4
Por el ax.de extensi on, (ax. 2),
-1
-2
dad
-3
-2
-1
Pu es bien, la caracter stica fundamental de un par ordenado es , como lo dice su nombre, que est a presente un orden, as por ejemplo (2, 4) y (4, 2) representan puntos distintos del plano pu es tienen cambiado el orden de sus componentes. El siguiente teorema se reere a dicho orden.
Dm: (Teorema 1.11.4 (ii))(m etodo directo.) Se quiere demostrar la igualdad (A B ) = A B . Se utilizar a una cadena de equivalencias como en casos anteriores. N otese con (*), en uno de los pasos, la negaci on de una disyunci on.
ersi
(a, b) = (b, a) sii a = b.
(a, b) = (c, d) sii a = c y b = d.
x (A B ) x / (A B ) no((x A) o (x B )) ((x / A) y (x / B )) ((x A ) y (x B )) x (A B ).

()
La siguiente denici on establece que todo par ordenado (a, b) es un conjunto especial.
Un iv
Denici on 1.10.2. (a, b) = {{a}, {a, b}}.
Por transitividad de las equivalencias, x (A B ) x (A B ).
Por otra parte,
z es un par ordenado sii existen a, b tales que z = (a, b).
a se llama 1a componente de z y b se llama 2a componente de z . Cuando dichas componentes est an referidas a un punto del plano cartesiano, se les llama coordenadas (a = abscisa y b = ordenada).
Por el ax.2, (ax. de extensi on), (A B ) = (A B ). 2
Un iv
ersi
Teorema del par ordenado:-
dad
A (B C ) = (A B ) (A C ).
de
(0, 0)
x (A (B C )) x ((A B ) (A C )).
An tioq
2
Par ordenado. Los estudiantes que han pasado por los estudios secundarios conocen que los s mbolos del tipo (3, 5), (2, 4), (4, 2) (0, 0), se llaman pares ordenados y se emplean para representar puntos en el plano de coordenadas cartesianas. 6 y
uia
88
uia
U B B C
81
An tioq
x (A (B C )) (x A) y (x (B C )) ((x A) y ((x B ) y (x C ))) (((x A) y (x B )) y (x C )) ((x A B ) y (x C )) x (A (B C ))

()
Ejemplos: (3, 5) = {{3}, {3, 5}};
(2, 1) = {{2}, {2, 1}};
1.11.
Operaciones con conjuntos: , , , .

(Uni on, Intersecci on, Diferencia, Producto Cartesiano.)
Consideremos 4 operaciones binarias con conjuntos. M as adelante estableceremos las principales propiedades de estas operaciones. Agreguemos que esta operaci on, as como las otras tres que se mencionan en el t tulo anterior, se puede extender a 3 o m as conjuntos.
de
x (A (B C )) x ((A B ) C ) Y por el ax. 2,
dad
A (B C ) = (A B ) C.
ersi
Un iv
Por ley de simplicaci on, x0 . Pero esto es absurdo, pu es no tiene elementos. Esta contradicci on demuestra que A = . 2 Dm. (Teorema 1.11.3)(i) (m etodo directo.) Se quiere demostrar la igualdad A (B C ) = (A B ) (A C ).Empleemos una cadena de equivalencias como en un caso anterior. N otese, (con un (*)), el paso en que se aplica una ley distributiva relativa al a lgebra de enunciados.
Adem as, para x U ,
x (B C ) (x B x / (B C ) (x /B
Un iv
Dm. (Teorema 1.11.2-(v)) (m etodo de contradicci on.) Se quiere demostrar que A = . Supongamos lo contrario, que A = . Esto quiere decir que existe por lo menos un elemento, digamos x0 , que est a en (o pertenece a) A . Por denici on de intersecci on de conjuntos esto equivale a (x0 A) y (x0 ).
En consecuencia, denimos la siguiente operaci on binaria, respaldados en el axioma de separaci on: Denici on 1.11.1.
ersi
Nota: Con este mismo procedimiento se pueden demostrar gran parte de los enunciados que aparecen en los teoremas 1.11, como la parte (i) de los teoremas 1.11 (3, 4, 5 y 6), la parte (ii) de los teoremas 1.11 (1, 2, 3, 4, 5 y 6), la parte (iii) de los teoremas 1.11 (1, 2, 5 y 6).
La condici on o propiedad que se requiere para denir este conjunto, es la conjunci on, xB y xC
B C = {x U /(x B ) y (x C )}
dad
Intersecci on: Dados dos conjuntos B y C contenidos en cualquier conjunto de referencia U , podemos considerar la posibilidad de que tengan elementos comunes. Con dichos elementos comunes, y solo con estos, se forma un nuevo conjunto llamado Intersecci on de B y C y denotado por B C.
de
y x C) o x / C)
Por transitividad de la equivalencia,
Uni on: Esta operaci on ya fue denida en p agina 76.
An tioq
la denici on de intersecci on de conjuntos, excepto en uno, (se nalado con (*)), en que se aplica la propiedad asociativa de la conjunci on de enunciados.
La forma como se deni o el par ordenado fue la que permiti o demostrar el teorema del par ordenado al mismo tiempo que reforz o la idea de que los conjuntos est an en la base de la Matem atica. (x, x) = {{x}, {x, x}}.
uia
82
1.11. OPERACIONES CON CONJUNTOS: , , , . Teorema 1.11.7. P (A) P (B ) sii A B.
uia
87
An tioq
Por medio de B C hemos denido una operaci on binaria entre conjuntos cuyo signo de operaci on es . Ejemplos: Si B = {2, 3, 4, 5, 6, 7} mientras que C = {5, 6, 7, 8, 9, 10} entonces, B C = {5, 6, 7}.
Demostraremos 12 de estos teoremas, (con la idea de que el estudiante re-escriba las demostraciones), dejando los otros como ejercicios. Se mencionar a en cada demostraci on el m etodo utilizado. Dm.(Teor. 1.11.1-(i)) (m etodo directo.) Para demostrar que A (A B ) bastar a con demostrar la implicaci on, x A = x (A B ). Supongamos un x A. Empleemos la ley l ogica de adici on con o: (x A) o (x B ). Esta armaci on equivale (por denici on) a x (A B ). Queda demostrada la mencionada implicaci on y tambi en el teorema en su primera parte. En t erminos parecidos se demuestra que B (A B ). 2 Dm.(Teor. 1.11.1-(v)) (m etodo directo.) Para demostrar que A = A utilizamos el criterio de la doble inclusi on (teor. 1.9.2, p agina 70). Seg un la parte (i), A (A ) (1.) Para demostrar la otra inclusi on, (A ) A), (2.), bastar a con demostrar la implicaci on x (A ) = x A. Sea entonces x (A ). Por denici on esto equivale a (x A) o (x ). Pero x es una armaci on falsa y se puede cancelar, lo cual permite armar como cierta, x A, quedando demostrada la inclusi on (2.). De (1.) y (2.) conclu mos que A = A. 2 Dm. (Teor. 1.11.2-(iii)) (m etodo directo.) Se quiere demostrar la propiedad asociativa de la intersecci on, i.e., A (B C ) = (A B ) C.
de
B C = {2}.
dad
B C = .
A prop osito de este u ltimo ejemplo, se dice que dos conjuntos son disjuntos o separados si su intersecci on es vac a.
ersi
Diagrama de Venn para conjuntos separados. U C B C = .
Un iv
Diferencia: Dados dos conjuntos arbitrarios B y C , (subconjuntos de un conjunto de referencia U ), el conjunto de elementos de U que pertenecen a B y que no pertenecen a C , recibe el nombre de Diferencia entre B y C y se denota por B C.
En esta prueba haremos una cadena de equivalencias v alidas, con aplicaci on nal de la ley transitiva de la equivalencia, (teor. 1.3.2. (1.), p agina 28), y el ax. de extensi on, (ax. 2). N otese que en todos los pasos de la cadena, se aplica
Un iv
ersi
dad
Si B es el conjunto de los n umeros racionales y C es el conjunto de los irracionales, entonces
de
Si B es el conjunto de los n umeros pares y C es el conjunto de los n umeros primos, entonces
An tioq
En el diagrama anterior, la regi on entrecruzada por l neas transversales, representa el conjunto B C , ya que corresponde a los elementos comunes a ambos conjuntos.
uia
86
uia
C
83
An tioq
Ley conmutativa. Ley Asociativa.
B C = {x U /x B y x / C }. Adem as, para todo x U ,
Ley modulativa.
de
Teorema 1.11.3 (Leyes Distributivas.). i) A (B C ) = (A B ) (A C ). ii) A (B C ) = (A B ) (A C ).
Diagramas de Venn.
dad
Teorema 1.11.4 (Leyes de DMorgan.). i) (A B ) = A B . ii) (A B ) = A B . Teorema 1.11.5. Sean A y B subconjuntos de un conjunto U = .
dad
C U (B C )
de
B
Teorema 1.11.2. i) A B A; A B B. ii) A B = B A. iii) A (B C ) = (A B ) C. iv) A A = A. v) A = .
x (B C ) (x B y x / C ). x / (B C ) (x / B o x C ).
L. conmutativa. L. Asociativa.
Es de anotar que (B C ) y (C B ) son, en general, conjuntos diferentes, (ver diagramas).
An tioq
U (C B )
Teorema 1.11.1. i) A A B ; B A B. ii) A B = B A. iii) A (B C ) = (A B ) C. iv) A A = A. v)A = A.
Apoyados en el ax. de separaci on, (ax.3), anotamos,
ersi
Un iv
Teorema 1.11.6. i) A (B C ) = (A B ) (A C ). ii) A (B C ) = (A B ) (A C ). iii) (A B ) (C D ) = (A C ) (B D ). iv) Existen casos en que (A B ) (C D ) = (A C ) (B D ). v) (A X y B Y ) (A B ) (X Y ). vi) A B = ((A = ) o (B = )).
Por medio de B C hemos denido una 3a operaci on binaria entre conjuntos cuyo signo operativo es . Ejemplos: Si B = {2, 3, 4, 5, 6, 7} mientras que C = {5, 6, 7, 8, 9, 10} entonces,
Un iv
i) A B = A B . ii) A = U A. iii) (A ) = A. iv) A U = U ; A A = U . v) A U = A; A A = . vi) U = ; = U .
B C = {2, 3, 4} y C B = {8, 9, 10}.
ersi
uia
84
uia
(1, 4) (2, 4) (1, 2) (2, 2)
0 1 2 3
85
An tioq
B 2 5 3 6 7 4 8
C 9
10
5 3 6 7 4
C 9
[z = (a, b) y ((a / A) o (b / B ))]). Notaci on simplicada:
10
A B = {(a, b)/a A y b B.}
(B C )
(C B ) Ejemplo:-
(a, b) A B (a A) y (b B ). (a, b) / A B (a / A) o (b / B ). Siendo A = {1, 2, 3} y B = {2, 4, 5, 6} se verica que,
Observe en los 2 diagramas anteriores que B C = B (B C ) y
de
Si B es el conjunto de los n umeros pares y C es el conjunto de los n umeros primos, entonces
A B = {(1, 2), (1, 4), (1, 5), (1, 6), (2, 2), (2, 4), (2, 5), (2, 6), (3, 2), (3, 4), (3, 5), (3, 6).}
dad
B C = {n Z/n es par n = 2}.
en dos formas: con un diagrama de Venn o con un diagrama Cartesiano. Diagrama de Venn: AB A 1 2 3
6
Si B es el conjunto de los n umeros racionales y C es el conjunto de los irracionales, entonces
C B = {n Z/n es primo impar}
dad
5
Trat andose de parejas de n umeros reales, A B se puede representar
de
4 3 2 1 0
C B = C (C B ), observaci on que se debe demostrar.
ersi
B C = B.
Veamos a continuaci on la 4a operaci on entre conjuntos, la cual da lugar a un conjunto con la caracter stica especial de que todos sus elementos son pares ordenados.
ersi
2 B 5 4 6
Un iv
Producto Cartesiano: Dados dos conjuntos arbitrarios A y B se llama Producto Cartesiano al conjunto denotado A B y denido por comprensi on as , A B = {z/z = (a, b) con a A y b B.}
Un iv
An tioq
O
-3 -2 -1
z / (A B ) (z no es par ordenado o
Diagrama Cartesiano: A B y (1, 6) (2, 6) (3, 6)
(1, 5) (2, 5) (3, 5) (3, 4)
(3, 2)
-1
-2 4 5
Adem as,
z (A B ) (z es par ordenado (a, b) con (a A) y (b B )).
Los siguientes teoremas reunen las principales propiedades y leyes algebraicas de las 4 operaciones con conjuntos.
uia
1.12. EJERCICIOS
93
b) A B = P (A) P (B )).
1.12.
Ejercicios
2. Escriba por extenci on, cada uno de los siguientes conjuntos: {n Z/n = 2k, {p Z/p es primo impar y p < 20}. k Z.}. Resp. {2, 4, 6, }.
{x R/ x es soluci on de la ecuaci on x2 + 1 = 0}. {a Z/9 < a2 < 49}. {tn / tn = 1 + 2 + 3 + + n y tn < 12}.
{x R/ x es soluci on de la ecuaci on x2 2 = 0}.
3. En cada uno de los siguientes conjuntos observe alguna propiedad que le permita escribirlos por comprensi on: i) {1, 3, 5, 7, 9, }. Respuesta: {m Z/m = 2k 1, k Z.}
Un iv
ersi
1. Demostrar los teoremas de este cap tulo, incluyendo los que est an demostrados en el texto.
dad
Supongamos y P (A). Debemos probar que y P (B ). Continuemos armando que y A, (por cambio de la relaci on por la relaci on ). Pero como A B entonces, por transitividad de la relaci on de inclusi on, se sigue que y B y por tanto, (cambiando la relaci on por la relaci on ), conclu mos que y P (B ), quedando as demostrada la implicaci on ( ) y por lo tanto la 2a implicaci on. 2
Empecemos suponiendo, A B, (hip otesis.) Lo que se debe demostrar es que P (A) P (B )). Para lo cual basta demostrar la implicaci on asociada, y P (A) = y P (B ) ( ).
de
An tioq
Seg un denici on del conjunto de partes, {x} B, de donde podemos concluir que x B . La primera implicaci on ha quedado demostrada. 2
94
v) {1,
1 1 1 1 , , 4, 5, 2 3
};
vi) {0, 1, 2, 3, 4, };
vii) {1, 4, 9, 16, 25, }.
4. Para las respuestas al ejercicio siguiente considere como conjunto de referencia al conjunto: A = {1, 2, {3}, {1, 2}}. De las armaciones siguientes, se nale con V las que son verdaderas y con F las que son falsas. 1 A; {1, 2} A; {1, 2} A; 3 A; {3} A; {2, 3} A; {2} A; {3} A; {{3}} A; {{3}, {1, 2}} A; {{3}, {1, 2}} A; {{1}, {1, 2}} A; {{1, 2, {1, 2}} A}; A A; A A; A; A .
5. En los siguientes ejercicios, llene el ( ) con el signo apropiado eligiendo entre , . Tenga en cuenta que el conjunto A es el mismo del ejercicio anterior.
{{1}} ( )P (A);
ersi
{2, {3}} ( )A;
dad
{1, 2} ( )A; ( )P (A);
de
C
An tioq
{1, 2} ( )A; ( )P (A); U B
ii) {3, 6, 9, 12, };
iii) {5, 7, 9, 11, 13 };
6. En (a) hasta (j), representar la regi on rayada en t erminos de los signos , , , . (Pueden darse diferentes respuestas correctas.)
Un iv
uia
U (b)
iv ) {5, 7, 9, 11, 13};
{2} ( )P (A); A ( )P (A).
C (a)
uia
98
uia
U A
1.12. EJERCICIOS
95
An tioq
An tioq
B B B B
27. Demostrar: A B = A (A B ).
U A
28. Demostrar: (A B ) (B A) = (A B ) (B A ). 29. Demostrar: (A B ) (B A) = (A B ) (A B ). 30. Demostrar que P (A B ) = P (A) P (B ). 31. Demostrar que P (A B ) (P (A) P (B )) pero que la inclusi on en el otro sentido, (), no se cumple para conjuntos diferentes, (dar un contraejemplo). 32. Demostrar que P (A) P (B ) sii A B. B
C (c) B C
C (d) U A
de
34. Demostrar que {{x}, {x, x}} = {{x}} 35. Demostrar que A (B D ) = (A B ) (A D ).
de dad
C C (e) B U
33. a A sii {a} P (A).
C (f ) U A
36. Sea D E = . Demostrar que (D E ) (A B ) sii (D A) y (E B ). 37. Demostrar empleando el m etodo de inducci on: a) Card(P (A)) = 2n , siendo Card(A) = n.
ersi
dad
b) Card(A B ) = mn, siendo m = Card(A) y n = Card(B ).

[Recordar que es suciente hacer la inducci on sobre una de las letras m o n].
ersi
(g ) U A
C (h) U C A (j )
38. Si Card(A) = 10, vericar que Card(P (A)) = 1 024.
Un iv
7. Representar los siguientes conjuntos mediante diagramas como los del ejercicio anterior. (A B ) C . (A B ) C . (A B ) C . (A B ) C . (A B ) C . (A B ) B .
Un iv
(i)
uia
96
uia
1.12. EJERCICIOS
97
An tioq
8. Si A = {2, {3}, {5, 2}}, escriba los conjuntos P (A) y P (A) 9. Completar y demostrar: a.) P () = . b.) P (A) = . para todo A. ?:
En los ejercicios 14 a 38 se pide hacer demostraciones de cada uno. De ser posible, acompa ne cada demostraci on con un diagrama. (Haga el mayor uso posible de los teoremas para que las demostraciones no sean extensas.) 14. a) B (A B ); 15. a) A A = A; 16. a) (A B ) A; 17. a) (A ) = A; b) (A B ) A. b) A A = A.
10. a) Si A = {a, b}, cu al de las siguientes relaciones es la u nica verdadera {{a}, {a, b}} A; {a, {a, b}} P (A) {a, {a, b}} A; {{a}, {a, b}} P (P (A)).
de
c) Cu al relaci on se le puede asignar al par (a, b): subconjunto de A? pertenece a P (A)? pertenece a P (P (A))?
b) (A = .)
18. Si A B , demostrar que(A B ) = B
dad
11. Explicar la validez de la secuencia, {x} A = {{x}} A = {{x}} P (A). Para dar respuesta al ejercicio que sigue, considerar los siguientes conjuntos:
19. Si B A, demostrar que (E B ) A, para todo conjunto E. 20. Si B A, demostrar que (E B ) (E A), para todo conjunto E. 21. Si B A y C E , demostrar que (B C ) (A E ) y (B C ) (A E ). 22. Si E est a inclu do en A y tambi en est a inclu do en B y (A B = ), demostrar que E (A B ). Rec procamente, si E (A B ), entonces E esta inclu do en ambos conjuntos. (Ambos enunciados se pueden vericar en un diagrama).
ersi
U = {n Z+ /n < 20} A = {7, 8, 9, 10, 11} B = {n U /(n es impar), n < 13} E = {2, 4, 8, 16}
Un iv
12. Escribir por extensi on cada uno de los siguientes conjuntos: AB ; B E ; AB E ; AB ; (A B ) ; A B ; A (B E ); (A B ) E ; A (B E ). A B E ; (A B ) ; A B ; (A B ) (A E ); (A B ) ;
24. Si A B, demostrar que B A . 25. Si (A E ) = U y A E = , demostrar que E = A 26. Comprobar con un diagrama que no siempre: ((A B ) C ) = (A (B C )). (Signica que la diferencia de conjuntos no satisface la ley asociativa.)
13. a) Cu antos subconjuntos con 2 elementos tiene S = {1, 2, 3, 4}? 3 Resp.: Tiene 4 = 4 . 2 2 Escribir todos los subconjuntos con 2 elementos. (Consultar el signin cado de m .)
Un iv
23. Comprobar por medio de un diagrama, que si A (B E ), no se puede asegurar que A B ni que A E.
ersi
dad
de
b) Cu antos elementos tiene P (P (A))?.
b) (A B ) B = .
An tioq
y (A B ) = A.
(A C ) (B C ).
b) Si S es un conjunto con 20 elementos, i.e., Card(S ) = 20, cu antos subconjuntos con 3 elementos tiene S?

11111

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

11111

Загружено:

Авторское право:

Доступные форматы

uia

CAP ITULO 1. LOGICA - TEOR IA DE CONJUNTOS

(-1 1) 2= -1 (1 2)= 22 = , (es decir, 2 13 = ; 16 =

Notas de Introducci on al C alculo

Ejemplos-: (Vericar cada ejemplo en las tablas #4 y #5.) 4 (5 2) = (4 5) (4 2) = 3.

El opuesto de 2 es 3 y esto lo expresamos as : 2 = 3. (Note que 2 3 = 0; Ley Invertiva de ).

CAP ITULO 1. LOGICA - TEOR IA DE CONJUNTOS

Operaciones m odulo n. (n un entero > 1)

Denimos en el conjunto B = {0, 1, 2, 3, 4, }. una suma y una multiplicaci on as : Para x, y B,

Las Tablas # 4 y # 5 muestran sendos resultados. 0 1 2 3 4 0 0 1 2 3 4 1 1 2 3 4 0 2 2 3 4 0 1 3 3 4 0 1 2 4 4 0 1 2 3 1 2 3 4

BINARIA 1.1. OPERACION Ejemplos:

Pero la suma no distribuye con respecto a la multiplicaci on, es decir,

Para todo > 0 existe > 0 tal que para todo x,

0 < |x a| < = |f (x) L| < , l m f (x) = L.

cuya abreviatura es usualmente representada como

Los Enteros con no cumplen la L. Invertiva, (cuando a = 1 es un entero, a1 no es entero.) e a b

notaci on y nombre para inversos a (opuesto de a) 1 (rec proco de a = 0) a

CAP ITULO 1. LOGICA - TEOR IA DE CONJUNTOS

0.1. ALGUNOS CONJUNTOS DE NUMEROS PREAMBULO.

El elemento e se llama el m odulo o elemento neutro de .

En t erminos de implicaci on:

(a A y en A existe m odulo) = (En A existe a1 tal que aa1 = e y a1 a = e).

x es un elemento del conjunto A, x pertenece a A, x en A.

se llama el inverso de la operaci on .

Algunos conjuntos de n umeros

Como es usual, x / A signica: x no pertenece a A.

BINARIA 1.1. OPERACION

En t erminos de implicaci on, esta ley se expresa de la siguiente manera: a, b, c A = (a b) c = a (b c)

La expresi on a | b con a, b enteros, a = 0, signica lo siguiente: a divide a b, a es un divisor de b,

Puesta en t erminos de implicaci on queda as : a, b A = a b = b a

CAP ITULO 1. LOGICA - TEOR IA DE CONJUNTOS

0.2. DEFINICIONES Y TEOREMAS. Escribimos:

En la Tabla #2 se leen, entre otros, los siguientes resultados: a e = a e a = a a b = a b c = b.

a | b b = ka, siendo k un entero.

est a en forma reducida; en cambio

presenta forma reducida si y solo si M CD (a, b) = 1 no est a en forma

donde 87 es el dividendo, 15 el divisor, 5 el cociente y 12 el residuo. Ejemplo: 17 = 4 5 + 3

L ogica - Teor a de Conjuntos

Los siguientes dos teoremas se reeren a los n umeros primos.

El Teorema 0.2.2 se conoce como el teorema fundamental de la Aritm etica.

Ejemplo: 2924 = 22 17 43.

ii. Si a, c son primos relativos y c | ab, entonces c | b .

M CD (15, 20) = 5 = (5)15 + (4)20

En la Tabla #1 se leen, entre otros, los siguientes . resultados: a e = a b b = e b a = c.

En el anterior teorema, a se llama Dividendo, b es el divisor, q es el cociente y r , el residuo.

CAP ITULO 1. LOGICA - TEOR IA DE CONJUNTOS

Premisas 1. P Q 2. P Conclusi on: Q LAS DEFINICIONES.

el menor de a y b 1 , cuando a y b sean = 0.

Por ejemplo: 8 = 3-1 = 2. 0 = 0.

Existe m odulo?. Justique su respuesta.

Para todo a (Z+ {0}), existe inverso?

Halle los inversos de los siguientes n umeros: 0, 1, 5, 219.

MODUS PONENS EN EQUIVALENCIAS.

Teorema 1.3.2. (Equivalencias b asicas.)

Realizar las siguientes operaciones: a 1= ; a (a + 1) = ; a p = (p primo, p a). 70 30 = ; a p = (p primo, p | a) ; a 0 = , (a = 0).

(Ley que tambi en equivale a (R = R); ver def. de .)

(negar 2 veces equivale a armar).

CAP ITULO 1. LOGICA - TEOR IA DE CONJUNTOS

1.3. NOCIONES DE LOGICA.

El punto P, el conjunto A, la funci on f, la integral matem aticos.

P Q recibe, entre otras, las siguientes lecturas:

Un enunciado de la Aritm etica es: Un enunciado de la Geometr a es:

Todo n umero entero > 1 tiene alg un divisor primo.

En todo tri angulo is osceles, los a ngulos de la base son iguales.