Mat021 Apunte Materia

Apuntes de C
atedra N
1
Matem
aticas 021
Mauricio Godoy Molina
Ayudante del Departamento de Matematicas
Universidad Tecnica Federico Santa Mara
Valparaso, Chile
2
Indice
I Matematicas 021 7
1 Logica Proposicional: Enfoque Algebraico 9
1.1 Propiedades, Deniciones y Teoremas . . . . . . . . . . . . . . 9
1.1.1 Deniciones Basicas . . . . . . . . . . . . . . . . . . . . 10
1.1.2 Leyes de la Logica Binaria . . . . . . . . . . . . . . . . 14
1.2 Tipos de Demostraciones . . . . . . . . . . . . . . . . . . . . . 15
1.2.1 Demostracion Directa . . . . . . . . . . . . . . . . . . . 16
1.2.2 Reductio ad Absurdum . . . . . . . . . . . . . . . . . . 17
2 Temas sobre Teora de Conjuntos 19
2.1 Deniciones y Propiedades . . . . . . . . . . . . . . . . . . . . 19
3 Logica Proposicional: Enfoque Cuanticacional 27
3.1 Introduccion a los Polinomios Booleanos . . . . . . . . . . . . 27
3.2 Funciones Logicas . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.3 Cuanticadores: Deniciones y Aplicaciones . . . . . . . . . . 30
4 N umeros Reales 33
4.1 Construccion Axiomatica de R . . . . . . . . . . . . . . . . . . 33
4.1.1 Axiomas Algebraicos . . . . . . . . . . . . . . . . . . . 34
4.1.2 Axiomas de Orden . . . . . . . . . . . . . . . . . . . . 36
4.1.3 Axiomas de Completitud . . . . . . . . . . . . . . . . . 37
4.2 Tipos de Intervalos de R . . . . . . . . . . . . . . . . . . . . . 39
4.2.1 Intervalos Acotados . . . . . . . . . . . . . . . . . . . . 39
4.2.2 Intervalos no Acotados . . . . . . . . . . . . . . . . . . 40
4.3 Representacion Decimal: Existen otras bases? . . . . . . . . . 41
4.4 Densidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4.5 Cardinalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3
4

INDICE
4.5.1 Idea Intuitiva . . . . . . . . . . . . . . . . . . . . . . . 43
4.5.2 Discreto o continuo?: Cardinales . . . . . . . . . . . . 44
4.5.3 Otros Cardinales: Hipotesis del Continuo . . . . . . . . 48
4.5.4 Valor Absoluto . . . . . . . . . . . . . . . . . . . . . . 48
4.6 Desigualdades . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.6.1 Desigualdades I . . . . . . . . . . . . . . . . . . . . . . 50
4.6.2 Potencias, Logaritmos y Races . . . . . . . . . . . . . 52
4.6.3 La Ecuacion Cuadratica . . . . . . . . . . . . . . . . . 56
4.6.4 Desigualdades II . . . . . . . . . . . . . . . . . . . . . 57
Introduccion
Parece natural, al comenzar el estudio de la ingeniera, que la necesidad
de conocer ciertos componentes basicos de las ciencias (y no tan ciencias)
que fundamentan el funcionamiento del mundo es no menos que un obje-
tivo trascendental: porque lo que estudien en las matematicas y fsicas son
conocimientos que, tal vez no explcitamente, apareceran en lo que les reste
de vida.
Usualmente (as lo conrman muchos prefacios de libros de matematicas)
los matematicos a la hora de escribir un libro para estudiantes, se encuen-
tran con el dilema de que elegir: pedagoga o rigidez matematica. No
es mi intencion comparar estos apuntes con obras consagradas de grandes
matematicos (vease [1]), sino estructurarlo de tal manera que compatibilice
estas dos alternativas sin restarle atencion a ninguna de ellas.
Una y otra vez los ayudantes (o al menos los preocupados de mejorar)
nos hemos encontrado con el grave problema que al sugerir libros a nuestros
ayudados surge la pregunta: Que necesitas: de donde yo estudie, del que
yo estudiara ahora o del que todo el mundo estudia? Esta pregunta posee
una respuesta no trivial, dado que si sugiero el libro del que yo estudie estoy
comparando mi metodo de aprendizaje con el de mi ayudado; si sugiero
el libro del que estudiara ahora, probablemente debido a la cantidad de
conocimientos acumulados no sera un buen material de apoyo pedagogico
para los alumnos; nalmente al recomendar el libro del cual la gran mayora
estudia es de esperarse que la calidad de la informacion y la rigidez con que
se tratan los contenidos sea, por decirlo de alguna manera, insuciente.
Luego, surge una interrrogante natural: por que no crear un compendio
de los contenidos que debera dominar un alumno de la UTFSM? Esta pre-
gunta parece no tener respuesta pues habiendo una cantidad apreciable de
material en biblioteca, disponible va Internet, en los centros de fotocopiado
dentro y fuera de la Universidad nunca los ayudantes nos habamos prop-
5
6

INDICE
uesto realizar esta tarea. Ahora bien se preguntaran por que un ayudante
y no un profesor? Facil: los ayudantes hemos sido formados como ustedes,
por los mismos profesores con los que ustedes toman ramos y con los mismos
metodos de ense nanza; en cambio los profesores, pese a poseer muchsimo
mas conocimiento que nosotros, han sido educados por otros profesores dife-
rentes salvo honrosas excepciones a los que actualmente hacen clases en
la Universidad y con metodologas que dieren bastante de las actuales.
Espero que estos apuntes (que lamentablemente se han vuelto un resumen
de deniciones, teoremas y ejemplos) se complementen con la bibliografa y
con los Ejercicios Propuestos y sirvan de gua tanto a alumnos como ayu-
dantes para tratar de comprender las necesidades de unos y otros, es decir:
Ayudantes: Tenemos que dejar de ser paltosos pues nuestros ayudados
necesitan contenidos, no miles de ejercicios resueltos en forma vaca;
necesitan que los invitemos a elaborar conceptos.
Ayudados: Deben olvidar la mecanizacion, es decir, esta es una cordial in-
vitacion a que realicen el trabajo que, espero, van a desarrollar durante
su vida profesional: pensar.
Mauricio Godoy Molina.
Ayudante del Departamento de Matematicas.
Valparaso, 2005.
Parte I
Matematicas 021
7
Captulo 1
Logica Proposicional: Enfoque
Algebraico
1.1 Propiedades, Deniciones y Teoremas
As como en el texto de Ferrater y Leblanc (ver [9]) comenzaremos citando
al insigne Condillac
1
(. . . la ciencia) es un lenguaje bien hecho; haciendo
un peque no analisis a esta frase y remitiendonos a la logica vemos que esta,
como la conocemos actualmente, es el lenguaje perfecto (o, al menos, lo mas
perfecto que nos puede permitir nuestra imperfeccion natural). Es por esto
que resulta de vital importancia comenzar el estudio de las matematicas nece-
sarias para la comprension de las ciencias y la ingeniera con un breve vistazo
a los fundamentos algebraicos de la logica simbolica binaria. Como veremos
en los captulos siguientes, la logica simbolica tiene una conexion ntima con
la gran mayora de los contenidos a ver en este curso, tanto as que existen
proposiciones logicas que denen conceptos importantes, a modo de ejemplo:
la teora intuitiva de conjuntos hereda leyes y propiedades de la logica, la
denicion de lmite esta formulada en forma de proposicion cuanticacional
(que se vera en un captulo posterior), algunas demostraciones hacen uso de
propiedades de conectivos, etc.
Mas a un, se daran cuenta, a lo largo del extenso camino matematico que
les queda por recorrer en la Universidad, de que la mayora de los temas
que se van a abordar no son precisamente practicos en el sentido usual que
1
Etienne Bonnot, Abbe de Condillac, 1714-1780. Logico frances que hizo grandes
aportes al movimiento losoco empirista de Locke, Berkeley y Hume.
9
10CAP
ITULO1. L
OGICAPROPOSICIONAL: ENFOQUE ALGEBRAICO

ustedes conocen. El objetivo principal no es que sean expertos en logica (o
en otras disciplinas matematicas) ni que se dediquen a dilucidar los secretos
de este bellsimo lenguaje (de hecho, la historia indica que muchas de las
personas que se han dedicado a este delicado asunto han terminado sus das
con serios da nos psiquiatricos; si les interesa un ejemplo pueden consultar la
biografa de Kurt Godel en [10]) sino que, por sobre todas las cosas, sean
personas logicas.
Sin mas preambulos, esperando que tengan exito y que estos apuntes les
sean de utilidad para lograrlo, comencemos el curso MAT-021. Bienvenidos
a la UTFSM.
1.1.1 Deniciones Basicas
Comencemos el estudio de la logica simbolica binaria con algunas deniciones:
Denicion 1.1.1 Diremos que un valor de verdad es simplemente la consi-
deracion de verdadero o falso. Utilizaremos la notacion estandarizada V para
verdadero y F para falso.
Denicion 1.1.2 Una proposicion es una frase (juicio o sentencia) que
tiene asociado un valor de verdad.
Ejemplos:
1. 2+2=5
2. 2+2=5 es una proposicion.
3. 2+2=5 es una proposicion falsa.
Observacion: Se suelen ocupar las semicomillas para denotar la refe-
rencia a otra proposicion o partcula. Esto se conoce como metalogica L
1
.
Al hacer sucesivas metalogicas L
1
se pueden obtener metalogicas de orden n,
denotadas por L
n
. Por ejemplo, es incorrecto, seg un esta notacion, escribir:
Logica es una palabra trisilabica
en cambio, es correcto escribir:
Logica es una palabra trisilabica.
1.1. PROPIEDADES, DEFINICIONES Y TEOREMAS 11
mas a un podemos crear una proposicion L
2
simplemente diciendo
Logica es una palabra trisilabica es una proposicion verdadera.
y as sucesivamente.
Denicion 1.1.3 Un operador unario es una operacion que, al aplicarse a
una proposicion, cambia o matiene su valor de verdad.
Los operadores unarios, en logica binaria, son:
1. Negacion: Este operador cambia el valor de verdad de una proposicion
de verdadero a falso o viceversa.
Si denotamos por p a una proposicion, su negacion se denota por p
2. Identidad: Este operador conserva el valor de verdad inicial de una
proposicion p.
Denicion 1.1.4 Un conectivo binario es un operador que crea una nueva
proposicion de verdad a partir de otras dos.
Entre los conectivos binarios podemos destacar los siguientes
1. Conjuncion: Este operador toma dos proposiciones con sus respectivos
valores de verdad y entrega falso si existe al menos un valor de verdad
falso entre las dos proposiciones. En caso contrario, entrega verdadero.
Si denotamos por p y q a dos proposiciones, su conjuncion se denota
por p q.
2. Disyuncion: Este operador toma dos proposiciones con sus respectivos
valores de verdad y entrega verdadero si existe al menos un valor de
verdad verdadero entre las dos proposiciones. En caso contrario entrega
falso.
Si denotamos por p y q a dos proposiciones, su disyuncion se denota
por p q.
3. Implicacion: Este operador toma dos proposiciones con sus respectivos
valores de verdad y entrega falso si la primera proposicion tiene el valor
de verdad verdadero y la segunda tiene el valor de verdad falso.
Si denotamos por p y q a dos proposiciones, su implicacion se denota
por p q.
12CAP
ITULO1. L

4. Doble Implicacion: Este operador toma dos proposiciones con sus res-
pectivos valores de verdad y entrega falso si ambas proposiciones tienen
diferentes valores de verdad.
Si denotamos por p y q a dos proposiciones, su conjuncion se denota
por p q.
Observacion: En el caso de que tengamos la proposicion p q diremos
que q es condicion necesaria para p, o bien que p es condicion suciente para
q. La explicacion de estos terminos se iran comprendiendo a lo largo del
curso.
Denicion 1.1.5 Una proposicion primitiva es aquella que no se puede re-
ducir a otras proposiciones mas basicas unidas por conectivos o por ope-
radores unarios. En general cuando hablemos de las proposiciones p y q,
estamos diciendo que p y q son proposiciones primitivas.
Ejemplos:
1. Paris esta en Francia.
2. 5 10
150
.
3. Todo par es primo.
Observacion: No confundamos lo que corresponde a proposiciones primi-
tivas en la logica con lo que corresponden a las partculas primitivas de una
estructura teorica formal (como la matematica o cualquier otro cuerpo a-
xiomatico). Las partculas primitivas de un sistema axiomatico formal son
conocidos como axiomas y pueden no ser traducibles como proposiciones
primitivas en el sentido de la logica (para un detalle mejor puede consultarse
[32]).
Denicion 1.1.6 Una proposicion compuesta es aquella que es formada a
partir de proposiciones primitivas utilizando conectivos binarios u operadores
unarios. Eventualmente puede ser reducida a proposiciones primitivas, pero
sin perder su caracter de proposicion compuesta. Las proposiciones primiti-
vas que forman una proposicion compuesta son conocidas como proposiciones
componentes.
1.1. PROPIEDADES, DEFINICIONES Y TEOREMAS 13
Ejemplos:
1. Si p, q y r son proposiciones primitivas, podemos crear la siguiente
proposicion compuesta: p [(q r) ( q r)].
2. En el lenguaje usual podemos encontrar proposiciones compuestas, por
ejemplo: Si digo que me gusta la Cato, entonces me gusta el f utbol.
Obviamente no es lo mismo que decir que si no me gusta el f utbol,
entonces no me gusta la Cato. Claramente esta proposicion debe tener
un valor de verdad (o no?).
Denicion 1.1.7 Una tabla de verdad es un resumen graco de los valores
de verdad de proposiciones compuestas a partir de las posibles combinaciones
de valores de verdad de las proposiciones componentes.
Veamos la tabla de verdad de las operaciones basicas.
p q p p q p q p q p q
V V F V V V V
V F F V F F F
F V V V F V F
F F V F F V V
Denicion 1.1.8 Una tautologa es una proposicion compuesta que, sin im-
portar el valor de verdad de sus proposiciones componentes, siempre entrega
el valor de verdad verdadero.
Ejemplos:
1. p p
2. (p q) ( q p)
Denicion 1.1.9 Una contradiccion es una proposicion compuesta que, sin
importar el valor de verdad de sus proposiciones componentes, siempre en-
trega el valor de verdad falso.
Ejemplos:
1. Toda negacion de una tautologa es una contradiccion.
2. p p
14CAP
ITULO1. L

1.1.2 Leyes de la Logica Binaria
Con estas deniciones podemos mostrar algunas de las leyes que rigen el
algebra proposicional. Estas reglas son en realidad teoremas pero, por sim-
pleza, no los establecere como tales y, como es de esperarse no dare su de-
mostracion.
Leyes de Idempotencia
[p p] p [p p] p
Leyes de Asociatividad
[(p q) r] [p (q r)]
[(p q) r] [p (q r)]
Leyes de Conmutatividad
[p q] [q p] [p q] [q p]
Leyes de Distribucion
[p (q r)] [(p q) (p r)]
[p (q r)] [(p q) (p r)]
Leyes de Identidad
[p F] p [p V ] V
[p F] F [p V ] p
Leyes de Complemento
[p p] V [p p] F
( p) p
(la ley anterior es mejor conocida como la involucion de la negacion)
V F F V
1.2. TIPOS DE DEMOSTRACIONES 15
Ley de Absorcion
(p q) p p (p q) p p
Leyes de De Morgan
(p q) [ p q]
(p q) [ p q]
Observacion: Mas alla de memorizar todas estas propiedades (las cuales
se haran mucho mas claras en el captulo 2) lo importante es indicar paso
a paso el razonamiento que permitio reducir una expresion a otra, o bien a
determinar en forma precisa su valor de verdad.
Observacion: La correcta utilizacion de estas leyes permite establecer equiv-
alencias y valores de verdad algebraicos; al reemplazar las proposiciones p,
q o r por proposiciones ling usticas que poseen un valor de verdad determi-
nado nos permiten darnos cuenta mas facilmente de la utilidad que prestan
en nuestro lenguaje coloquial.
Ejemplo: Se conoce la tautologa p p, luego la siguiente proposicion
ling ustica compuesta
llueve o no llueve
es siempre verdadera.
1.2 Tipos de Demostraciones
La idea de demostrar armaciones nace en los albores del pensamiento mate-
matico cuando un mercader de Mileto llamado Tales se percata de que en
diferentes lugares existan formulaciones diferentes a problemas equivalentes:
tena la necesidad de discriminar cual formulacion era la correcta y poder
explicar, con fundamentos solidos, el por que lo era.
En esta peque na seccion pretendo referirme a dos tipos esenciales de de-
mostracion: demostraciones directas y por reductio ad absurdum. Si bien
pareciese ser que a traves de un camino logico de proposiciones verdaderas
16CAP
ITULO1. L

debiesemos llegar a vericar todos los teoremas no siempre es as y necesita-
mos recurrir a la tautologa
[p =q] [ q = p]
la cual dene al razonamiento por absurdo: negar lo que queremos probar
para obtener una contradiccion.
Denicion 1.2.1 Una demostracion es un conjunto de pasos logicos que por
medio de sucesivas implicancias verica una armacion a partir de otras.
Las armaciones utilizadas se conocen como hipotesis y la armacion que se
demuestra se conoce como tesis.
Observacion: Todo teorema puede escribirse de la forma
H =T
donde H correponde al conjunto de las hipotesis del teorema (es decir las
proposiciones que supondremos verdaderas) y T al de las tesis (las proposi-
ciones que queremos demostrar haciendo uso de las hipotesis).
1.2.1 Demostracion Directa
Creo prudente el entender ambos tipos de demostracion en base a un ejemplo
en cada caso. Demostremos el siguiente
Teorema 1.2.1 (de Pitagoras) Si en un triangulo rectangulo denotamos
a la medida de sus catetos por a y b y a la de su hipotenusa por c, entonces
se cumple la siguiente relacion:
a
2
+ b
2
= c
2
Demostracion 1.2.1 A pesar de la gran cantidad de demostraciones de este
teorema que se puede encontrar en literatura a diferentes niveles (geometra
vectorial, trigonometra, teorema de Parseval, etc.) pretendo mostrar una de
las mas simples que yo conozco.
Supongamos que a < b. Dibujemos un cuadrado de lado a+b. Dividamos
el cuadrado en dos peque nos cuadrados de lados a y b que comparten solo
un vertice. En los dos rectangulos de lados a y b se ubican cuatro triangulos
1.2. TIPOS DE DEMOSTRACIONES 17
rectangulos de catetos a y b. Trasladandolos de tal suerte que cada vertice
opuesto a la hipotenusa coincida con un vertice del cuadrado y haciendo coin-
cidir el vertice opuesto al cateto a con el vertice opuesto al cateto b claramente
se tiene el teorema de Pitagoras a partir de la comparacion del primer con el
ultimo cuadrado.
1.2.2 Reductio ad Absurdum
Como dijese Holbrook Jackson: La reductio ad absurdum es el razonamiento
favorito de Dios. Difcilmente se puede expresar mejor en palabras la belleza
de este tipo de demostracion. Desde la gran mayora de los teoremas de
unicidad de las matematicas hasta el sosticado teorema de incompletitud de
Chaitin fundamental en la Teora de Informacion Algortmica, pocas formas
de pensar han rendido tantos frutos como esta sutileza logica. El ejemplo
que explicara lo potente de este razonamiento corresponde a otro teorema
clasico.
Teorema 1.2.2 (de Euclides) Existen innitos n umeros primos.
Demostracion 1.2.2 Supongase que existen nitos n umeros primos, es de-
cir, el total de n umero primos fuese p
1
, p
2
, . . . , p
r
. Luego, si formamos el
n umero
^ = 1 + p
1
p
2
p
3
. . . p
r
se observa claramente que ^ no es divisible por ning un primo dado por el
conjunto nito de primos que supusimos originalmente.
Ahora bien, si ^ es primo no pertenece a la secuencia dada pues es
mayor que cualquiera de los n umeros del conjunto; si ^ es compuesto, es
divisible por un primo diferente a los de la secuencia; por lo tanto, existe una
contradiccion a la hipotesis de una secuencia nita.
Observacion: Notese que dado que la tautologa que permite el reductio
ad absurdum requiere que se invierta el orden de las proposiciones lo que se
debe negar es la tesis para tratar de contradecir las hipotesis que se suponen
verdaderas.
Observacion: Un tipo especial de demostracion directa es conocido como
el Principio de Induccion Completa; su analisis y utilizacion como argumento
valido de demopstracion se vera posteriormente.
18CAP
ITULO1. L

Captulo 2
Temas sobre Teora de
Conjuntos
Con los conocimientos obtenidos en el captulo anterior y teniendo presente
que ciertas operaciones van a tener analogos evidentes entre la teora de
conjuntos y la logica binaria no veo la necesidad de dar una introduccion
muy acabada.
En todo caso, siempre es bueno hacer la siguiente precaucion: no se dejen
llevar por lo simple que pudiese parecer un contenido; en general encierran
dicultades inesperadas y son las que precisamente suelen aparecer en las
evaluaciones.
Observacion: Se supone que todos estan familiarizados con los diagramas
de Venn-Euler (o diagramas de Venn), los cuales vienen a ser los analogos
de las tablas de verdad de logica; es por esto que no se recomiendan para
nada mas que para visualizar el problema pues no bastan para probar una
proposicion.
2.1 Deniciones, Conceptos y Propiedades:
Relacion con la Logica Binaria
Para comenzar este importante topico observemos que la denicion de con-
junto, que pareciese ser algo trivial, no lo es tanto; a saber les propongo el
siguiente problema: traten de denir un conjunto sin utilizar las palabras
coleccion, familia, agrupacion o cualquier otra del mismo campo semantico.
19
20 CAP
ITULO 2. TEMAS SOBRE TEOR
IA DE CONJUNTOS
No pueden? Los matematicos tampoco. Es por este hecho que consideramos
que el concepto de conjunto as como el de elemento es un concepto (lla-
mado) primitivo. Para efectos del desarrollo apropiado de esta seccion es
importante que reconozcan en el sentido usual los conjuntos N, Z y Q.
Observacion: Denotaremos a los conjuntos por letras may usculas como
/, B, (, etc. y a los elementos por medio de letras min usculas como a, b, c,
etc.
Observacion: Existen, en esencia, dos maneras de denir conjuntos: por
extension o por comprension. En el caso de un conjunto denido por ex-
tension se muestran todos los elementos del conjunto. Asimismo, en el caso
en que el conjunto es denido por comprension, se expresan todos y cada
uno de los elementos por medio de una regla general que los dene a todos.
En uno y otro caso un conjunto se escribe entre parentesis tipo llave: .
Ejemplos:
1. El conjunto / de todos los n umeros pares menores e iguales que 10
queda denido por extension de la siguiente manera:
/ = 2, 4, 6, 8, 10
2. El conjunto de los n umeros primos queda denido por comprension por:
T = p[p es primo
(desde ahora en adelante el smbolo [ representara la expresion tal que).
3. Dado que un conjunto no necesariamente tiene que estar compuesto
por n umeros, les propongo el conjunto
B = , , , , , ,
Observacion: Claramente podemos denir un conjunto de mas de una
forma. Por ejemplo, el conjunto / del ejemplo anterior tambien se puede
escribir / = n[n es par menor o igual a 10, etc.
Denicion 2.1.1 Diremos que dos conjuntos son iguales si y solo si poseen
los mismos elementos. De esta denicion se deduce inmediatamente que en
la representacion de un conjunto no importa el orden en que se muestren sus
elementos.
2.1. DEFINICIONES Y PROPIEDADES 21
Observacion: La sentencia logica el elemento a se encuentra contenido en
el conjunto / se denota simbolicamente a /.
Ejemplos: Usemos los mismos conjuntos utilizados en el ejemplo ante-
rior.
1. Claramente se tiene que 2 / y que 5 / / por simple inspeccion.
2. Evidentemente 91 / T (pues 91 = 7 13), pero 101 T.
3. Simplemente corresponde que / B, pero B.
Para estructurar lo mejor posible nuestra breve visita a la teora intuitiva
de conjuntos necesitamos restringir nuestra conversacion. Para esto, veamos
la siguiente
Denicion 2.1.2 Diremos que un conjunto es nito si y solo si tiene un
n umero nito de elementos.
Esta denicion es muy importante pues, por ejemplo, aunque tener con-
juntos con un n umero nito o innito de elementos puede no representar gran
diferencia en ciertos casos, en otros casos esta es no menos que trascendental
(por ejemplo al denir el n umero de elementos de un conjunto). En lo suce-
sivo solo de ser necesario estableceremos explcitamente si un conjunto es o
no nito.
Observacion: No presenta mayor dicultad el notar que un conjunto in-
nito no puede ser representado por extension. A un as existen representa-
ciones mixtas de conjuntos innitos, las cuales tratare de evitar al menos en
este captulo. A modo de ejemplo representativo, el conjunto de los n umeros
pares puede representarse de la siguiente manera:
2, 4, 6, 8, . . . , 2n, . . .
Ahora bien, parece natural el denir la cantidad de elementos de un
conjunto nito.
Denicion 2.1.3 Dado un conjunto / nito. Diremos que este tiene car-
dinalidad n N si y solo si el n umero de elementos de / es exactamente n.
De ser este el caso escribiremos #/ = n
22 CAP
IA DE CONJUNTOS
Observacion: Este concepto puede ser ampliado a conjuntos de cardinali-
dad innita. Para ejemplos de esto, pueden ver [11] o bien [30], o bien esperar
la seccion 4.5.
Denicion 2.1.4 Diremos que un conjunto B es un subconjunto de / si
todo elemento de B esta tambien en /; este hecho se denota por B /.
Escrito en terminos logicos diremos que:
(B /) (x B =x /)
En el caso en que se sepa que / , = B y que B / podemos decir que B es
un subconjunto propio de / y se escribira simplemente B /.
Denicion 2.1.5 Diremos que el conjunto es el conjunto vaco si y solo si
este no posee ning un elemento. tambien se representa por . En terminos
logicos, este se puede expresar por:
(x ) (x ,= x)
Observacion: El termino posterior de la doble implicancia de la denicion
puede ser reemplazado por cualquier contradiccion que involucre a x.
Observacion: Notemos que / para todo posible conjunto /, es decir,
el conjunto vaco es subcconjunto de todo conjunto.
Para efectos de algebra de conjuntos y aplicaciones importantes (como en
teora de medida, ver [30] y [31]; o en teora de probabilidades, ver [20]) de la
ingeniera y la matematica es imprescindible denir un conjunto que posea
todos los posibles elementos de los conjuntos con los que se esta trabajando.
El denir un conjunto que posea todos (y absolutamente todos) los elementos
posibles en general conlleva a algunas paradojas en el sistema de la teora
standard de conjuntos (cuyos axiomas conocidos como la teora formal de
Zermelo-Fraenkel pueden ser consultados en [4]).
Denicion 2.1.6 Diremos que el conjunto U es el conjunto universo (o uni-
versal) relativo a los conjuntos /
1
, /
2
, . . . (secuencia nita o innita de con-
juntos) si y solo si contiene (al menos) todos los elementos de los conjuntos
de la secuencia anterior. En terminos logicos
(x U) (x = x)
Observacion: Claramente, al igual que en el caso de , podemos reem-
plazar el miembro derecho de la doble implicancia por cualquier otra tau-
tologa que involucre a x.
Denicion 2.1.7 Dado el conjunto /, se dene su conjunto potencia T(/)
como el conjunto de subconjuntos de /. Es decir, en terminos logicos
(V /) (V T(/))
Hasta ahora no me he referido al problema que se presenta cuando que-
remos operar con los conjuntos que hemos denido.
Denicion 2.1.8 Diremos que el conjunto / B es el conjunto union de
los conjuntos / y B si y solo si cualquier elemento tanto de / como de B se
encuentra en / B. En terminos logicos se expresa por:
(x / B) (x / x B)
Denicion 2.1.9 Diremos que el conjunto /B es el conjunto interseccion
de los conjuntos / y B si y solo si cualquier elemento com un de / y de B
se encuentra en / B. En terminos logicos se expresa por:
(x / B) (x / x B)
Observacion: Cuando ocurra que dos conjuntos tengan interseccion vaca
(tambien llamados disjuntos) hablaremos, en lugar de la union usual, de
union disjunta. Si (/ B = ) (/ B = /
B).
Denicion 2.1.10 Diremos que el conjunto /B es el conjunto diferencia
de los conjuntos / y B si y solo si cualquier elemento de /B esta en /,
pero no en B. En terminos logicos se expresa por:
(x /B) (x / x / B)
Denicion 2.1.11 Diremos que el conjunto /B es el conjuno diferencia
simetrica si y solo si cualquier elemento de /B se encuentra en / o en B,
pero no en ambos. En nomenclatura logica se tiene:
(x /B) (x / x B)
24 CAP
IA DE CONJUNTOS
Denicion 2.1.12 Diremos que el conjunto /
c
es el complemento del con-
junto / con respecto del universo U si y solo si contiene a todos los puntos
del universo que no pertenecen a /. En formulacion logica:
(x /
c
) (x / /)
A continuacion veamos una tabla comparativa entre la teora de conjuntos
y la logica proposicional, en base a lo mostrado en las deniciones.
Conjuntos Logica Prop.
/ B p q
/ B p q
/ B p q
/B p q
/B p q
/
c
p
En base a esta tabla se deducen todas las propiedades de los conjuntos,
pues son heredadas directamente de la logica proposicional. Por ejemplo
la union de conjuntos es conmutativa y asociativa pues el conectivo es
conmutativo y asociativo, asimismo podemos vericar la involucion del com-
plemento, etc. Dadas todas las propiedades y el algebra de la logica quedan
totalmente denidas las propiedades y el algebra de conjuntos. Si bien todas
las propiedades heredadas deben demostrarse (as como las propiedades que
los originan que, en su momento, no fueron demostradas) no creo prudente
hacerlo en este momento. A un as, entregare las leyes que se cumplen en
teora de cojuntos en el mismo orden y con los mismos nombres que en el
caso de la logica proposicional.
Leyes de Idempotencia
/ / = / / / = /
Leyes de Asociatividad
(/ B) ( = / (B ()
(/ B) ( = / (B ()
Leyes de Conmutatividad
/ B = B / / B = B /
Leyes de Distribucion
/ (B () = (/ B) (/ ()
/ (B () = (/ B) (/ ()
Leyes de Identidad
/ = / / U = U
/ = / U = /
Leyes de Complemento
/ /
c
= U / /
c
=
(/
c
)
c
= /
(la ley anterior es mejor conocida como la involucion del complemento)
U
c
=
c
= U
Ley de Absorcion
(/ B) / = / (/ B) / = /
Leyes de De Morgan
(/ B)
c
= /
c
B
c
(/ B)
c
= /
c
B
c
26 CAP
IA DE CONJUNTOS
Observacion: Creo a lugar el insistir que las leyes de la logica proposi-
cional son exactamente las mismas que las de la teora de conjuntos, es decir,
operar en logica proposicional es exactamente lo mismo que operar en teora
(intuitiva) de conjuntos.
Denicion 2.1.13 Diremos que el producto cartesiano entre los conjuntos
/ y B, por ejemplo,
/ = a
1
, a
2
, . . . , a
m
B = b
1
, b
2
, . . . , b
n
es el conjunto de pares ordenados:

/B = (a, b)[a /, b B =
= (a
1
, b
1
), (a
1
, b
2
), . . . , (a
1
, b
n
), (a
2
, b
1
), (a
2
, b
2
), . . . , (a
m
, b
n
)
Observacion: En el caso particular en que / = B en la denicion anterior,
escribiremos el producto cartesiano /B como /
2
.
Observacion: Claramente podemos denir el producto cartesiano de dos,
tres o, en general, n conjuntos introduciendo el concepto de ternas, cuartas
y, en general, n- uplas ordenadas (secuencias ordenadas de n valores) con
los elementos de n conjuntos, usando asociacion, es decir, si queremos el
producto cartesiano de /
1
, /
2
, . . . , /
n
tendremos
/
1
/
2
. . . /
n
= (a
1
, a
2
, . . . , a
n
)[a
1
/
1
; a
2
/
2
; . . . ; a
n
/
n
Si todos ellos fuesen iguales, se extiende la notacion de la observacion ante-

rior, es decir, el producto anterior sera /
n
.
Captulo 3
Logica Proposicional: Enfoque
Cuanticacional
Cuando establecimos la maravillosa correspondencia entre las leyes de la
logica proposicional y la teora intuitiva de conjuntos no hice hincapie en que
no es la unica relacion posible de establecer entre estas dos teoras. Otra
forma de relacionarlas, la cual ha entregado maravillosas nuevas ideas a la
matematica, es por medio de los llamados cuanticadores. Las aplicaciones,
principalmente en areas relacionadas con informacion (ver [29]) son tan im-
portantes que nuevos descubrimientos se han basado en la capacidad de los
cuanticadores de establecer esta conexion (por ejemplo, haciendo uso de la
logica, la teora de conjuntos y el reductio ad absurdum, entre otras ideas, se
pudo obtener en la teora de informacion algortmica el famoso Teorema de
Incompletitud de Chaitin, ver [32]).
3.1 Introduccion a los Polinomios Booleanos
Importante es aclarar que usualmente este no es un topico correspondiente a
MAT 021. Debido a su simpleza y a la utilidad de sus resultados y notaciones
no me explico el por que ni siquiera se menciona (permtome observar que
este topico se extiende bastante mas al considerar ciertas operaciones, de
hecho, existe el

Algebra Booleana
1
).
Denicion 3.1.1 Diremos que un polinomio booleano es una proposicion
1
George Boole, 1813-1864, insigne matematico ingles
27
28CAP
ITULO3. L
OGICAPROPOSICIONAL: ENFOQUE CUANTIFICACIONAL

compuesta donde el valor de verdad de las proposiciones componentes es vari-
able.
Ejemplos:
1. Un caso con una variable podra ser f(r) = r [r (r r)].
2. En dos variables se tiene g(p, q) = [(p q) q] ( p q).
3. Combinando polinomios booleanos se pueden obtener otros mucho mas
complicados, por ejemplo h(p, q, r) = [f(r) g(p, q)] f(r).
Observacion: Notemos que el proceso en que se construye una tabla de
verdad pasa necesariamente por establecer la proposicion compuesta como
un polinomio booleano pues, al hacer la tabla de verdad, se hacen variar los
valores de verdad de las proposiciones componentes.
Ahora podemos preocuparnos de dar valores de verdad a las diferentes
proposiciones componentes de un polinomio booleano. Sabemos que una
proposicion siempre posee un valor de verdad, por lo tanto es evidente que
reemplazando en el polinomio booleano proposiciones conocidas este entre-
gara un valor de verdad.
Ejemplos:
1. En el ejemplo anterior consideremos, por ejemplo, una proposicion ver-
dadera, tal como r : Nicolas Gogol es el escritor de La Nariz. Luego
se tiene que f(r) = F [V (V F)] = F.
2. Asimismo, con el segundo ejemplo si consideramos las proposiciones
p : 2 + 2 = 5 y q : 2 + 2 = 4 se tiene g(p, q) = [(F F) V ]
(V V ) = V .
3. Reemplazando exactamente lo mismo anterior en el tercer ejemplo
obtenemos h(p, q, r) = [F V ] V = V .
Obsservacion: El lector cuidadoso ya se debe haber dado cuenta de que si
cambiamos las proposiciones de un polinomio booleano por otras que tengan
el mismo valor de verdad el valor nal del polinomio no cambia.
3.1. INTRODUCCI
ON A LOS POLINOMIOS BOOLEANOS 29

Basicamente estos polinomios nos permiten expresar conceptos anteriores
de una manera un poco mas formal, como por ejemplo las siguientes deni-
ciones son una reescritura de las Deniciones 1.1.8 y 1.1.9.
Denicion 3.1.2 Diremos que una proposicion escrita en forma de poli-
nomio booleano f(p, q, . . .) es una tautologa si f(p
0
, q
0
, . . .) entrega siempre
verdadero sin importar las proposiciones p
0
, q
0
, . . .
Denicion 3.1.3 Diremos que una proposicion escrita en forma de poli-
nomio booleano f(p, q, . . .) es una contradiccion si f(p
0
, q
0
, . . .) entrega siem-
pre falso sin importar las proposiciones p
0
, q
0
, . . .
Ademas de esto, podemos crear nuevos conceptos utilizando los poli-
nomios booleanos tales como
Denicion 3.1.4 Diremos que dos proposiciones f(p, q, . . .) y g(p, q, . . .) son
logicamente equivalentes si y solo si para el mismo conjunto de proposiciones
p
0
, q
0
, . . . siempre entregan el mismo valor de verdad. Reformulando esta
aseveracion notamos que dos proposiciones son logicamente equivalentes si y
solo si poseen la misma tabla de verdad.
Observacion: Denotaremos la equivalencia logica entre las proposiciones
f(p, q, . . .) y g(p, q, . . .) por f(p, q, . . .) g(p, q, . . .).
Ejemplos:
1. Si denimos (r) = r se tiene, usando el polinomio booleano f del
ejemplo, que f(r) (r).
2. Se tiene la equivalencia logica f(p, q, . . .) g(p, q, . . .) si y solo si la
proposicion f(p, q, . . .) g(p, q, . . .) es una tautologa.
Denicion 3.1.5 Diremos que la proposicion f(p, q, . . .) implica logicamente
a la proposicion g(p, q, . . .) si y solo si se cumple que f(p, q, . . .) g(p, q, . . .)
es una tautologa.
30CAP
ITULO3. L

3.2 Funciones Logicas
Para empezar correctamente este captulo establezcamos una peque na ge-
neralizacion del concepto de proposicion estudiado en el primer captulo. Si
bien el conepto de proposicion nos parece natural, apropiado y casi concreto,
para la matematica es insuciente para muchos de sus propositos (para la
logica es mas que suciente para gran parte de su teora, por ejemplo, para
la sintactica, ver [9]). Esta generalizacion, en un principio un poco oscura
sera el punto de partida de una de las ideas fructferas de la conexion entre
logica y conjuntos.
Denicion 3.2.1 Diremos que una funcion logica es una regla que asocia
a cada elemento de un conjunto la caracterstica de verdadero o falso. La
notacion para esto es p(x), x / donde p(x) es una funcion logica para el
conjunto /.
Ejemplos:
1. Es evidente que, sin importar el conjunto / ,= que consideremos, la
funcion logica p(x) = x[x / es una tautologa.
2. La funcion logica q(x) para el conjunto B = , , , , , ,
denida por q(x) = x[x es un palo de la baraja entrega los valores
logicos q() = F, q() = V , etc.
En captulos posteriores nos encargaremos de aclarar, con mas detalles
que es una funcion, pero por ahora es una regla de asociacion que entrega un
y solo un valor de verdad por cada entrada de un conjunto.
Observacion: Es importantsimo a la hora de considerar una funcion logica
el dejar lo mas claro posible el conjunto al cual se reere la funcion.
3.3 Cuanticadores: Deniciones y Aplica-
ciones
Ahora que ya extendimos el concepto de valores de verdad a los elementos de
un conjuto basandose en una funcion logica, podemos incorporar en nuestro
analisis las deniciones de los dos cuanticadores que utilizaremos.
3.3. CUANTIFICADORES: DEFINICIONES Y APLICACIONES 31
Denicion 3.3.1 Diremos que es el cuanticador universal, pues dada
una funcion logica p(x) denida en el conjunto / se tiene que la proposicion
x / : p(x) es verdadera si y solo si p(x) entrega verdadero para todos y
cada uno de los elementos de /.
Observacion: El cuanticador universal se lee para todo, es decir la
proposicion x / : p(x) se lee para todo x en / se cumple p(x).
Denicion 3.3.2 Diremos que es el cuanticador existencial, pues dada
una funcion logica p(x) denida en el conjunto / se tiene que la proposicion
x / : p(x) es verdadera si y solo si p(x) entrega verdadero para al menos
uno de los elementos de /.
Observacion: El cuanticador existencial se lee existe, es decir la proposicion
x / : p(x) se lee existe un x en / que cumple p(x).
Ejemplos: Veamos algunas proposiciones verdaderas y falsas con los
diferentes cuanticadores y algunas composiciones.
1. x R 0 : x
2
R 0 es una proposicion verdadera. En cam-
bio / U : / /
c
= es una proposicion falsa (suponiendo, claro,
que U ,= ).
2. x [0, 1] : x
2
1
2
= 0 es una proposicion verdadera. Asimismo la
proposicion / U : / /
c
= es una proposicion falsa (suponiendo,
claro, que U ,= ).
3. (x R)(y R
+
0
)(x
2
= y) es una proposicion claramente verdadera.
Finalmente la proposicion (x R)(y R)(
xy =
y) es evi-
dentemente falsa.
Teorema 3.3.1 (de De Morgan) Si se tiene una proposicion cuantica-
cional, tal como x / : p(x) (respectivamente x / : p(x)) diremos
que su negacion corresponde a la proposicion x / : p(x) (respectivamente
x / : p(x)).
Demostracion 3.3.1 La demostracion de este teorema es esencialemente
logica, por esto no corresponde darla aca. En todo caso no es difcil y pueden
tratar de hacerla ustedes.
32CAP
ITULO3. L

Ejemplo: Niegue la siguiente proposicion
( > 0)( > 0)( < < )
Claramente la negacion de esta proposicion esta dada (usando el teorema
3.3.1) por
( > 0)( > 0)( < < ) ( > 0)( > 0)( < )
Observacion: Un Tipo Especial de Cuanticador.
Uno de los mayores pecados que cometemos muchos es que al notar alguna
situacion particular en una teora (a pesar de conocer ciertos aspectos de
ella) no somos capaces de preguntar o hacer suciente hincapie en el asunto,
por ejemplo: todos sabemos que la fruta se torna parda una vez cortada
debido a la oxidacion, pero alguien se ha preguntado que se oxida a ciencia
cierta, alguien lo ha buscado en alg un libro, alguien lo ha consultado con
otra persona que pudiese saber del tema
2
?
Es por esto que recordamos que en el colegio conocimos un cuanticador
particular: existe un unico (representado por !). A pesar que este cuan-
ticador no queda comprendido dentro de la teora formal como un caso se-
parado de los anteriores (dado que es absorvido por el existe) efectivamente
sirve a nivel de lenguaje para enfatizar la unicidad de una propiedad.
Ejemplos:
1. La proposicion (!x
0
R)(3x
0
2 = 4) es verdadera.
2. La proposicion ! R
+
:
2
1 = 0 es verdadera. En cambio la
proposicion !x R : x + (x) = 0 es falsa.
2
Por si las moscas la fruta se torna parda porque los fenoles al reaccionar con el oxgeno
se transforman en melaninas
Captulo 4
N umeros Reales
Parece ser que los n umeros reales les son bien conocidos (o, mejor dicho, les
son familiares) desde aquella lejana epoca llamada colegio. Lamentablemente
podran notar a lo largo de este captulo (y otros cursos si les interesa) que
los n umeros reales encierran una belleza enorme y una cantidad de concepto
tan interesantes que existen libros especialmente dedicados a este tema (ver
[30]). El lamentablemente anterior se justica por el hecho de que las ideas
que vieron en el colegio son tan mnimas que seran brutalmente rechazadas
y reemplazadas por conceptos muchos mas fuertes que los anteriores. desde
aqu en adelante notaran que este fenomeno es muy com un a lo largo de la
educaci on universitaria (salvo muy honrosas excepciones que tuvieron una
muy buena formacion en su colegio).
4.1 Construccion Axiomatica de R
Existe una forma de construir el conjunto de los n umeros reales a partir de Q
(llamado los cortes de Dedekind
1
) que maravilla por el ingenio empleado
al llevarla a cabo y la simplicidad con que se desarrollan las ideas, pero es
propia de cursos de Analisis Real (ver [26]). En este caso nos remitiremos a
la construccion axiomatica de R, es decir, a partir de un conjunto ordenado
de axiomas de los cuales se deducen todas las propiedades de los n umeros
reales: esta construccion parece ser la de mejor comprension pues utiliza solo
conceptos basicos de aritmetica. Este cuerpo axiomatico esta estructurado
en tres grupos, los cuales estan bien determinados para subsanar todas las
1
Richard Dedekind, -, matematico aleman
33
34 CAP
ITULO 4. N
UMEROS REALES
posibles necesidades que pudiesen surgir a la hora de demostrar un teorema,
citar una propiedad o resolver un ejercicio. Los grupos en que se dividen los
distintos tipos de axiomas son:
Axiomas Algebraicos
Axiomas de Orden
Axiomas de Completitud
4.1.1 Axiomas Algebraicos
Los axiomas algebraicos son ampliamente conocidos y corresponden a las
clasicas propiedades de cuerpo vistas en el colegio. Para estructurar estas
ideas necesitamos un conjunto, obviamente R, y dos operaciones, obviamente
+ y . Las propiedades que posee el triple (R, +, ) son:
Axioma 4.1.1 (Clausura de la Suma)
(x, y R)(x + y R)
Axioma 4.1.2 (Asociatividad de la Suma)
(x, y, z R)(x + (y + z) = (x + y) + z)
Axioma 4.1.3 (Elemento Neutro Aditivo)
(!0 R)(x + 0 = 0 + x = x)(x R)
Axioma 4.1.4 (Elemento Inverso Aditivo)
(x R)(!(x) R)(x + (x) = (x) + x = 0)
Observacion: Como es usual si se tiene la operacion a+(b) escribiremos
simplemente a b y hablaremos de la operacion diferencia.
Axioma 4.1.5 (Conmutatividad de la Suma)
(x, y R)(x + y = y + x)
Observacion: Hasta ahora se dice que el par (R, +) es un Grupo Abeliano.
4.1. CONSTRUCCI
ON AXIOM
ATICA DE R 35
Observacion: Como es usual el producto x y se denotara por yuxta-
posicion, es decir, xy.
Axioma 4.1.6 (Clausura de la Multiplicacion)
(x, y R)(xy R)
Axioma 4.1.7 (Asociatividad de la Multiplicacion)
(x, y, z R)(x(yz) = (xy)z)
Axioma 4.1.8 (Elemento Neutro Multiplicativo)
(!1 R)(x1 = 1x = x)(x R)
Axioma 4.1.9 (Elemento Inverso Multiplicativo)
(x R 0)(!x
1
R)(xx
1
= x
1
x = 1)
Observacion: Como es usual si se tiene la operacion ab
1
(obviamente
b ,= 0) escribiremos simplemente
a
b
y hablaremos de la operacion division.
Axioma 4.1.10 (Conmutatividad de la Multiplicacion)
(x, y R)(xy = yx)
Observacion: Hasta ahora se dice que el par (R, ) es un Grupo Abeliano.
Axioma 4.1.11 (Distributividad)
(x, y, z R)(x(y + z) = xy + xz)
En base a todas los axiomas anteriores decimos que (R, +, ) es un cuerpo
algebraico. Para una descripcion muchsimo mas precisa y general de lo
que signican los conceptos de cuerpo algebraico y grupo abeliano, pueden
referirse a [15].
36 CAP
ITULO 4. N
UMEROS REALES
4.1.2 Axiomas de Orden
Es necesario precisar un poco mas en el concepto de cuerpo ya que R no es
simplemente un cuerpo algebraico (en el sentido de los axiomas anteriores)
sino que es un cuerpo totalmente ordenado, es decir, admite una relacion
llamada de orden total (a diferencia, por ejemplo, de C que es cuerpo
algebraico, pero no ordenado como se vera mas adelante). El concepto general
de relacion de orden (pese a que la idea de relacion surge como tal en la seccion
??) puede ser entendido con claridad en [11] y en [33]; asimismo se pueden
consultar en esas referencias algunos ejemplos no triviales de relaciones de
orden que pueden parecer no intuitivas.
Axioma 4.1.12 (Descomposicion de R)
(R
+
R)(R = R
+
0 R
+
)
donde se tiene que R
+
= (x)[x R
+
= R
.
Axioma 4.1.13 (Clausura de (R
+
, +))
(x, y R
+
)(x + y R
+
)
Axioma 4.1.14 (Clausura de (R
+
, ))
(x, y R
+
)(xy R
+
)
Denicion 4.1.1 (Orden Total de R) Si a, b R, entonces diremos que
a < b si y solo si b a R
+
.
Axioma 4.1.15 (Tricotoma) Solo puede ser valida una de las siguientes
relaciones
a < b o a = b o b < a
Axioma 4.1.16 (Propiedad Arquimediana)
(x, y R
+
)(x < y)(n N : nx > y)
Observacion: Existe tambien un orden parcial en R dado por la relaci on
a b que permite vulnerar la tricotoma incluyendo la igualdad, es decir,
al escribir a b estamos reriendonos a que a puede ser menor que b o,
eventualmente, pueden ser iguales.
4.1. CONSTRUCCI
ON AXIOM
ATICA DE R 37
Observacion: Introduciremos los smbolos + y como aquellos que
permiten las siguientes relaciones: (x R)(x < +) y (x R)(< x),
es decir, son valores mas grandes y mas peque nos que cualquier n umero real.
Observacion: Se dene el conjunto llamado real extendido (denotado
R) como R = R +. Tambien existe una forma de agregar
solo un punto innito por medio de la proyeccion estereograca (ver [30]). El
mismo argumento se puede emplear en mas dimensiones, por ejemplo vease
[30] o bien consultar [13].
4.1.3 Axiomas de Completitud
Este topico es algo mas complicado, pero sus resultados pareceran evidentes
una vez que trabajemos con ellos desde una perspectiva geometrica. Impor-
tante es destacar que las deniciones, los axiomas y los teoremas que sigan
tienen mucho que deberles a los axiomas y deniciones anteriores.
Como una peque na sugerencia les aconsejo que tomen un papel en blanco
y un lapiz la leer esta seccion pues resulta muchsimo mas facil identicar los
conjuntos que se denen a continuacion sobre la recta real.
Denicion 4.1.2 Diremos que s R es una cota superior del conjunto
/ R si y solo si (x /)(x < s).
Denicion 4.1.3 Diremos que i R es una cota inferior del conjunto /
R si y solo si (x /)(i < x).
Observacion: Con el proposito de simplicar las notaciones diremos que
(o(/) = x[x es cota superior de / y, como es de esperarse, tambien dire-
mos que (1(/) = x[x es cota inferior de /.
Denicion 4.1.4 Diremos que el conjunto / es acotado superiormente (re-
spectivamente inferiormente) si y solo si (o(/) ,= (respectivamente (1(/) ,=
). En el caso de que sea acotado tanto superior como inferiormente simple-
mente diremos que / es acotado.
Denicion 4.1.5 Supongamos / R acotado superiormente. Diremos que
L (o(/) es el supremo de / si y solo si se cumple que
L es el menor elemento de (o(/)
38 CAP
ITULO 4. N
UMEROS REALES
Observacion: Por notacion diremos que si L es el supremo de /, entonces
L = sup /.
Denicion 4.1.6 Supongamos / R acotado inferiormente. Diremos que
l (1(/) es el nmo de / si y solo si se cumple que
l es el mayor elemento de (1(/)
Observacion: Por notacion diremos que si l es el nmo de /, entonces
l = inf /.
Axioma 4.1.17 (Axioma del Supremo) Todo conjunto no vaco acotado
superiormente posee supremo (en R). Ete mismo enunciado es valido para
el nmo de un conjunto no vaco acotado inferiormente
Teorema 4.1.1 (Caracterizacion del Supremo) Diremos que L es el su-
premo del conjunto / si y solo si L (o(/) y ( > 0)(c /)(L < c).
Demostracion 4.1.1 Claramente, a partir de la denicion de sup / se
tiene que L (o(/) como condicion necesaria. En otras palabras, es
valido asegurar que
( /)( < L)
Ademas dado que L es la menor de las cotas superiores, necesariamente
existe c / tal que < c < L. Considerando = L concluye la
demostracion.
Esta direccion de la demostracion es facil, traten de hacerla ustedes.
Observacion: Es claro que un argumento similar al anterior es valido para
el nmo l de /, pues el que efectivamente l sea el nmo de / se verica
si y solo si l (1 y ( > 0)(c /)(l + > c). La demostracion de esta
proposicion es similar a la anterior.
Denicion 4.1.7 Si sup / / diremos que sup / es el maximo de / (de-
notado max /). Asimismo si inf / / diremos que inf / es el mnimo de
/ (denotado min /).
4.2. TIPOS DE INTERVALOS DE R 39
Observacion: Los conceptos de maximo y mnnimo, que una vez asumidos
y entendidos pueden parecer solamente formalismos casi sin sentido, encie-
rran una riqueza y son tan importantes en el desarrollo de ideas como la de
convergencia que son no menos que un aporte fundamental en la matematica.
Observacion: La seccion que viene a continuacion requiere (para la com-
prension nal de conceptos ya conocidos) que hayan interiorizado la nocion
de supremo y de nmo.
4.2 Tipos de Intervalos de R
Los axiomas y las deniciones anteriores (en particular los relacionados con
completitud) entregan una forma simple y natural de clasicar subconjuntos
de R. Si bien estos topicos son delicados en casos mas complicados en el caso
de R se entrega una caracterizacion total.
Antes de comenzar la clasicacion de los subconjuntos de los reales, pre-
cisemos un concepto fundamental.
Denicion 4.2.1 Diremos que I R es un intervalo si y solo si dados
x, y I tales que x < y, entonces (c R)(x < c < y : c I).
Denicion 4.2.2 El intervalo I R es cerrado en su extremo superior
(respectivamente en su extremo inferior) si y solo si su extremo superior
(respectivamente su extremo inferior) esta contenido en I. De no ser el caso,
diremos que el intervalo es abierto en su extremo superior (respectivamente
en su extremo inferior).
Observacion: Es importante hacer notar que la clasicacion de subconjun-
tos de R es la clasicacion clasica de los diferentes intervalos que se pueden
dar. M as a un probablemente vieron esta clasicacion en el colegio y estan
familiarizados con ella.
En esencia los intervalos de R son de dos tipos: acotados y no acotados.
4.2.1 Intervalos Acotados
Los intervalos acotados que se pueden tener en R simplemente son las dife-
rentes combinaciones entre si son abiertos o cerrados en sus extremos.
40 CAP
ITULO 4. N
UMEROS REALES
Intervalos Cerrados:
Son cerrados en ambos extremos. Si sus extremos inferior y superior, re-
spectivamente, son a y b, entonces se denota por: [a, b]. Su denicion mas
precisa viene dada por [a, b] = x[a x b. Estos intervalos tambien son
conocidos como compactos (ver el Teorema de Heine-Borel, por ejemplo en
[30] o en [26]).
Intervalos Mixtos:
Son cerrados en un extremo y abiertos en el otro. Si sus extremos inferior
y superior, respectivamente, son a y b, entonces se tienen las combinaciones:
(a, b] y [a, b). Sus deniciones mas precisas vienen dadas por (a, b] = x[a <
x b y [a, b) = x[a x < b.
Intervalos Abiertos:
Son abiertos en ambos extremos. Si sus extremos inferior y superior, respec-
tivamente, son a y b, entonces se denota por: (a, b). Su denicion mas precisa
viene dada por (a, b) = x[a < x < b.
4.2.2 Intervalos no Acotados
Analogamente al caso anterior los intervalos acotados que se pueden tener
en R simplemente son las diferentes combinaciones entre si son abiertos o
cerrados en uno de sus extremos, pues el otro se denira como abierto.
Intervalos no Acotados Superiormente:
Pueden ser cerrados o abiertos en su extremo inferior. Ellos son [a, +) y
(a, +). Su denicion mas precisa viene dada por [a, +) = x[x a y
(a, +) = x[x > a.
Intervalos no acotados Inferiormente:
Pueden ser cerrados o abiertos en su extremo superior. Ellos son (, b] y
(, b). Su denicion mas precisa viene dada por (, b] = x[x b y
(, b) = x[x < b.
4.3. REPRESENTACI
ON DECIMAL: EXISTEN OTRAS BASES? 41

Intervalo no Acotado:
Claramente si consideramos el intervalo no acotado ni superior ni inferior-
mente (, +) estamos hablando exactamente de R.
Observacion: Si consideramos el sistema R todos los intervalos son acota-
dos (esta propiedad se conoce como una compacticacion de R; otra com-
pacticacion esta dada por el punto innito de la proyeccion estereograca,
ver [30] o bien [26]).
4.3 Representacion Decimal: Existen otras
bases?
En este apartado veremos algunos topicos que pueden ser familiares para
muchos de ustedes (de hecho lo son desde, aproximadamente, 1
a no basico).
Denicion 4.3.1 Diremos que un n umero real positivo n R
+
esta escrito
en la base natural r N 1 si y solo si
n = . . . + a
2
r
2
+ a
1
r
1
+ a
0
+ a
1
r
1
+ a
2
r
2
+ . . .
donde los diferentes . . . , a
2
, a
1
, a
0
, a
1
, a
2
, . . . pertenecen al conjunto
0, 1, 2, . . . , r 1
Estos coecientes son conocidos como dgitos
Observacion: Notemos que esta denicion justica la descomposicion de
un n umero natural en unidades, decenas, centenas, etc., siempre y cuando
consideremos la base usual de descomposicion de los n umeros que es la base
10.
Denicion 4.3.2 Las bases cuando r = 2, 3 y 10 se conocen respectivamente
como base binaria, ternaria y decimal.
Observacion: Estas tres bases son de gran importancia teorica y practica,
pues en un ordenador los comandos son comprendidos como n umeros binarios
(por ejemplo el codigo ASCII emplea una codicacion en 128 bits), para
analizar el conjunto de los n umeros de Cantor se consideran aquellos n umeros
con dgitos en el conjunto 0, 2 en representacion ternaria y son bastante
claras las aplicaciones de la base decimal.
42 CAP
ITULO 4. N
UMEROS REALES
Observacion: La razon de por que hacemos uso de la base decimal casi
en forma natural, creen ciertos estudiosos, esta dado por el hecho de que
tenemos 10 dedos.
Observacion: En matematicas mas recientes ciertos individuos se han
dado cuenta de lo importantes que son las bases primas (por sobre las dem as)
y han creado un interesante area de la matematica llamada analisis p-adico.
4.4 Densidad
Tal vez se puede creer que los axiomas de completitud, en particular el A-
xioma del Supremo, son solamente una forma de complicar la existencia de
los estudiantes, pero van un poco mas alla: existen problemas en Q que se
solucionan en R gracias a estos axiomas.
Es bien conocido desde el colegio que entre dos n umeros racionales dis-
tintos siempre existen innitos n umeros racionales, resultado conocido como
la densidad de Q. Asimismo, dado que Q es un subconjunto de R, nece-
sariamente debe cumplirse que entre dos n umeros reales diferentes existen
innitos n umeros reales (pero un innito diferente como se vera en la secci on
siguiente). Expresemos esto como
Teorema 4.4.1 (Densidad de R) Dado cualquier par de n umeros reales
diferentes, siempre es posible intercalar entre ellos un n umero innito de
n umeros reales.
Demostracion 4.4.1 Simplsima, consideremos que los n umeros son y
( < ), entonces entre ellos se encuentra el n umero
1
= +

2
=
+
2
Asimismo, entre y
1
se encuentra el n umero
2
= +

1
2
=
3a + b
4
y as podemos seguir hasta el innito.
4.5. CARDINALIDAD 43
Observacion: Otras formas similares de entender la densidad es pensando
que entre dos n umeros racionales diferentes hay innitos n umeros irracionales,
entre dos n umeros irracionales distintos hay innitps n umeros racionales, etc.
Es por este hecho que se desprende una importante propiedad que otorga la
densidad: existen innitos n umeros racionales innitamente proximos a un
n umero irracional, es decir, cuando queramos probar algo para todo R solo
necesitamos vericarlo para el conjunto Q.
4.5 Cardinalidad
Por n algo nuevo! Es de mi mayor agrado el presentar ideas que haban
estado reservadas para un peque no grupo en la Universidad y que todos son
capaces de conocer y dominar. Es de esperarse que los matematicos, una vez
que formalizaron la nocion de conjunto, hayan querido medir la cantidad de
elementos que posee un conjunto: el encargado de llevar a cabo tal titanica
tarea fue Georg Cantor. Espero que les guste tanto este tema como a m me
gusto cuando lo conoc (pueden consultar, por ejemplo, a [11] y a [30]).
4.5.1 Idea intuitiva: Conjunto Potencia y Teorema de
Cantor
Si tenemos un conjunto con un n umero nito de elementos, por ejemplo el
conjunto usado en el captulo 2:
B = , , , , , ,
Podemos asegurar que B posee exactamente 7 elementos (no se necesita haber
entrado a la UTFSM para darse cuenta de eso). Analicemos con un poco mas
de cuidado el como nos dimos cuenta de este interesante hecho: salvo alguna
mente superior a la del resto, en general lo que hacemos es contar el n umero
de elementos uno a uno hasta completar el conjunto, es decir, asociamos
a cada elemento del conjunto un n umero natural en forma consecutiva y
establecemos que el n umero de elementos de B corresponde al ultimo n umero
natural asociado. Si lo vemos en un diagrama tenemos que:
44 CAP
ITULO 4. N
UMEROS REALES
1
2
3
4
5
6
7
Por lo tanto el conjunto B posee 7 elementos. Esta idea es la que gene-
ralizaremos en la subseccion posterior, pero antes de eso me permito aclarar
algo acerca del concepto de conjunto potencia visto en el captulo 2 (denotado
por T(conjunto)). Parece evidente a primera vista que el conjunto potencia
de un conjunto dado tiene mas elementos que el conjunto original, tras una
serie de intentos nos damos cuenta de una situacion bastante interesante: Si
la cardinalidad del conjunto dado es n, la cardinalidad del conjunto potencia
es 2
n
. Obviamente el teorema fue corregido y aumentado por Cantor quien
establecio el siguiente
Teorema 4.5.1 (de Cantor) Para cualquier conjunto A se cumple que
#A < #T(A)
Demostracion 4.5.1 A pesar de no ser en lo absoluto una demostraci on
complicada esta requiere algo mas de sapiencia en topicos de funciones.
Aunque pareciese decir menos que nuestro apasionante resultado de la
cardinalidad del conjunto potemncia de un conjunto nito dado, el teorema
de Cantor encierra un detalle tal vez no notado hasta ahora: incluye conjun-
tos innitos.
4.5.2 Discreto o continuo?: Cardinales
Cantor de manera prodigiosa trabajo esta potente idea: medir de alguna
manera los conjuntos innitos. Es claro que en los conjuntos nitos se puede
contar el n umero de elementos por medio de enumeracion (por muy grande
que sea el conjunto: si es nito, se puede contar el n umero de elementos).
Con el n de solucionar las diferencias entre conjuntos nitos e innitos, se
desarrollaron algunas deniciones que zanjaban el asunto en forma denitiva:
Denicion 4.5.1 Una correspondencia biunvoca entre dos conjuntos A y B
es una regla que asocia todos los elementos de A con todos los elementos de
B una sola vez.
Ejemplo: El diagrama mostrado mas arriba es una correspondencia
biunvoca entre el conjunto B y el subconjunto de N 1, 2, 3, 4, 5, 6, 7.
Denicion 4.5.2 Un n umero cardinal es aquel que representa la cantidad
de elementos de un cierto conjunto, ya sea nito o innito.
Ejemplo: el conjunto B tiene cardinal (ya no cardinalidad) igual a 7.
Denicion 4.5.3 Diremos que dos conjuntos A y B tienen el mismo cardi-
nal si y solo si existe una correspondencia biunvoca entre los elementos de
ambos conjuntos.
Denicion 4.5.4 Diremos que un conjunto es discreto o que posee cardinal
numerable si posee el mismo cardinal que N. En tal caso el cardinal es
0
(se lee aleph cero: aleph es la primera letra del alfabeto arabe).
Observacion: Cualquier conjunto que posea un cardinal mayor que
0
sera llamado de cardinal no numerable. En particular diremos que R posee
cardinal continuo.
Teorema 4.5.2 Todo conjunto innito posee un subconjunto numerable.
Demostracion 4.5.2 Suponfgamos / un conjunto innito cualquiera. Eli-
jamos un elemento cualquiera del conjunto, digamos a
1
/. Dado que
el conjunto es innito, el conjunto /
1
= / a
1
es no vaco, tomemos
a
2
/
1
. Nuevamente, dado que /a
1
es innito, entonces /a
1
, a
2
es innito, y as seguimos sucesivamente. Finalmente lo que tendremos es

un conjunto de elementos
a
1
, a
2
, a
3
, . . .
que es, claramente, de cardinal
0
. Por si no es claro a simple vista, miremos
la correspondencia
a
1
a
2
a
3

1 2 3
46 CAP
ITULO 4. N
UMEROS REALES
Corolario 4.5.3
0
es el menor cardinal innito.
Demostracion 4.5.3 Inmediata.
Teorema 4.5.4 Los conjuntos Z y Q tienen cardinal
0
.
Demostracion 4.5.4 Probar que Z tiene cardinal numerable es sumamente
sencillo, pues si ordenamos los elementos de Z apropiadamente la correspon-
dencia biunvoca sigue de inmediato
0 1 1 2 2 3

1 2 3 4 5 6
Con el conjunto Q el asunto es un poco mas delicado pero gracias a Cantor
tenemos una bella demostracion llamada la demostracion diagonal. Es facil
observar que si probamos que Q
+
tiene cardinal
0
tambien tiene el mismo
cardinal todo Q (por simple similitud a la correspondencia anterior). Es facil
notar que la siguiente ordenacion contiene a todos los racionales positivos:
1/1 1/2 1/3 1/4
2/1 2/2 2/3 2/4
3/1 3/2 3/3 3/4
4/1 4/2 4/3 4/4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Ahora establezcamos el siguiente diagrama:
1/1 1/2 1/3 1/4

2/1 2/2 2/3 2/4

3/1 3/2 3/3 3/4

4/1 4/2 4/3 4/4
.
.
.
.
.
.
.
.
.
.
.
.
Resulta no menos que evidente que asociando a cada echa un n umero natural
tenemos la correspondencia biunvoca buscada.
Teorema 4.5.5 R no es numerable.
Demostracion 4.5.5 Es claro que si un subconjunto de R no es nume-
rable, entonces R completo no es numerable. Consideremos el conjunto de
los n umeros en el intervalo [0, 1] cuyos dgitos en su expansion decimal no
son ni ceros ni nueves. Supongamos que este conjunto fuese numerable, luego
podramos hacer el siguiente arreglo de estos n umeros:
a
1
= 0.a
11
a
12
a
13
. . . a
1n
. . .
a
2
= 0.a
21
a
22
a
23
. . . a
2n
. . .
a
3
= 0.a
31
a
32
a
33
. . . a
3n
. . .
.
.
.
a
n
= 0.a
n1
a
n2
a
n3
. . . a
nn
. . .
.
.
.
Luego, construyamos el n umero b = b
1
b
2
b
3
. . . b
n
. . . con la condicion que
b
1
,= a
11
, b
2
,= a
22
y as sucesivamente b
n
,= a
nn
para todo n N. Claramente
b ,= a
k
, para todo k N, por lo tanto, se produce una contradiccion.
Teorema 4.5.6 La union y el producto cartesiano de nitos conjuntos nu-
merables es numerable.
Demostracion 4.5.6 Basta ordenar apropiadamente los elementos de los
conjuntos, traten de hacerlo.
Teorema 4.5.7 Todo subconjunto innito de un conjunto numerable es nu-
merable.
Demostracion 4.5.7 Supongan la armacion contraria y lleguen a una con-
tradicci on.
Observacion: Note que el teorema anterior indica que los conjuntos de los
n umeros pares, impares, primos, divisibles por 3, potencias de 5, racionales
con denominador potencia de n umero primo, etc. son conjuntos numerables.
48 CAP
ITULO 4. N
UMEROS REALES
4.5.3 Otros Cardinales: Hipotesis del Continuo
Usando el teorema de Cantor podemos notar de inmediato que podemos tener
innitos cardinales diferentes (el conjunto de los cardinales sera numerable o
no?) pues basta jar un conjunto de un cardinal dado y tomar sucesivamente
los conjuntos potencia del anterior y cada vez obtenemos un cardinal mayor.
Un gran problema en el estudio de la teora de conjuntos fue el encontrar
un cardinal que fuese mayor que el cardinal numerable, pero a la vez menor
que el cardinal del continuo: de existir fallaran algunas leyes de la axiomatica
establecida, por lo tanto Cantor asumio como hipotesis que, para la validez de
algunas de sus armaciones tal cardinal no debera existir. Esta hipotesis fue
conocida como Hipotesis del Continuo e incluso fue consideada dentro de los
23 problemas que David Hilbert presentara ante el Congreso Internacional de
Matematicas de 1900. Durante varios a nos muchos matematicos se dedicaron
a su resolucion hasta que el brillante Kurt Godel propusiese su teorema en la
decada de los 30s: la hipotesis del continuo era indecidible, es decir, poda
considerarse verdadera pero no poda ser demostrada (para descripciones
detalladas, ver [10] y [32]).
Para que vean los increibles secretos que guarda la matematica: pensar
que algunos creen que es aburrida . . . pobres.
4.5.4 Valor Absoluto
A veces ocurre que necesitamos conocer ciertas propiedades de los n umeros
reales que van un poco mas alla de ver si son positivos o negativos, si
pertenecen o no a un intervalo, si son racionales o irracionales (problema
nada trivial). El concepto de valor absoluto surge en forma natural a partir
de ciertas necesidades practicas, por ejemplo: como medimos la distancia
entre dos puntos de la recta real? la respuesta es sencilla: tomamos el mas
grande y le restamos el mas chico. Esta idea da inicio a un bello concepto
que aparecera con frecuencia en sus cursos de matemasticas.
Denicion 4.5.5 Diremos que el valor absoluto de un n umero x R (de-
notado [x[) es:
[x[ =
_
_
_
x si x > 0
0 si x = 0
x si x < 0
4.6. DESIGUALDADES 49
Observacion: Notemos que el valor absoluto es, precisamente la distancia
entre cero y cualquier punto de la recta real. En otras palabras, el valor ab-
soluto consiste en dejar siempre el n umero en forma positiva, excepto cuando
el n umero es identicamente cero.
Observacion: El problema de la distancia entre dos puntos es ahora sim-
ple: Si x, y R : dist(x, y) = [x y[.
Teorema 4.5.8 El valor absoluto cumple las siguientes propiedades:
1. [x[ 0, x R
2. [x[ = 0 x = 0
3. [x[ = [[[x[, x, R
4. [x + y[ [x[ +[y[, x, y R
Demostracion 4.5.8 Las armaciones 1., 2. y 3. se siguen inmediata-
mente de la denicion. La armacion 4. se desprende de inmediato al con-
siderar que si x e y tienen igual signo se tiene la igualdad y si tienen signos
diferentes la desigualdad estricta es evidente.
Observacion: La armacion 4. es conocida como desigualdad triangular.
Observacion: Las propiedades del teorema anterior son conocidas como
las condiciones que debe cumplir una norma. Veremos otro ejemplo de
norma cuando estudiemos n umeros complejos.
4.6 Desigualdades
A partir de las deniciones y los teoremas entregados en la seccion anterior es
que podemos deducir que podemos plantear problemas donde no necesitemos
encontrar un n umero nito de soluciones, sino un conjunto de posibles solu-
ciones (de hecho un conjunto innito) que ayuden a determinar una posible
mejor solucion: un ejemplo de este hecho es la llamada programacion lineal,
uno de los metodos ampliamente utilizados para optimizar procesos.
50 CAP
ITULO 4. N
UMEROS REALES
4.6.1 Desigualdades I
Un primer vistazo a las desigualdades (o inecuaciones), antes de entrar a
detalles de potencias y races puede ayudarles bastante a comprender lo que
se les avecina a pasos agigantados. En esencia trabajaremos con inecuaciones
lineales, algunas inecuaciones escritas en forma de fraccion e introducire el
importantsimo concepto de restriccion.
Denicion 4.6.1 Diremos que una expresion algebraica es una desigualdad
si responde a uno de los siguientes esquemas:
expresion 1 < expresion 2 ; expresion 1 > expresion 2
expresion 1 expresion 2 ; expresion 1 expresion 2
Observacion: En general diremos que la desigualdad depende de una va-
riable (que es lo que, en general, se vera en MAT-021) si en las diferentes
expresiones esta involucrada una sola incognita. Casos de dos o mas variables
seran casos excepcionales y se utilizaran solo en casos muy particulares.
Ejemplos:
Una desigualdad en una variable es
3x
2
+ e
x
> 18
Una desigualdad en dos variables es
x
2
+ y
2
0
Denicion 4.6.2 Diremos que el conjunto solucion o de una desigualdad
cualquiera es el conjunto de todos los valores que cumplen la desigualdad.
Denicion 4.6.3 Diremos que una desigualdad es lineal si y solo si responde
a alguno de los siguientes esquemas (con a ,= 0):
ax + b < c ; ax + b > c
ax + b c ; ax + b c
Observacion: Claramente la resolucion de estas desigualdades es analoga
a la resolucion de ecuaciones de primer grado, por lo tanto, no creo prudente
entregar mayores detalles.
Un interesante, pero ya no tan simple, fenomeno es el que ocurre cuando
una desigualdad (ya no lineal) tiene la forma
ax + b
cx + d
< 0 ;
ax + b
cx + d
> 0 ;
ax + b
cx + d
0 ;
ax + b
cx + d
0
donde se cumple que ad bc ,= 0 (de lo contrario la fraccion sera constante,
exactamente
a
b
). Tambien consideremos un concepto nuevo, el de: restriccion,
es decir, un valor (o, en general, un conjunto de valores) que no debe cumplir
la desigualdad con el n de tener coherencia aritmetica. En este caso, la
restriccion que se debe tener es que
x ,=
d
c
Es decir, se tiene:
o R
_
d
c
_
Ahora bien, tratemos de analizar esta desigualdad recordando la regla de los
signos de Arqumedes para el caso en que aparece <:
Si
ax + b
cx + d
< 0 =[ax + b > 0 cx + d < 0] [ax + b < 0 cx + d > 0]
Interpretemos lo anterior: lo que quiere decir la proposicion compuesta es
que tanto el numerador como el denominador deben poseer signos opuestos
para que se cumpla que la fraccion en cuestion tenga signo negativo. En
forma analoga se debe proceder en el caso de tener las demas relaciones de
orden.
Observacion: Cuando se tiene una restriccion al resolver una desigualdad,
el conjunto solucion que se obtiene en forma preliminar al resolver simple-
mente las desigualdades lineales debe intersectarse con el conjunto de posi-
bles valores de la inecuacion. Esta armacion adquirira mucho mas sentido
cuando se estudien desigualdades con races.
52 CAP
ITULO 4. N
UMEROS REALES
Observacion: Resolver desigualdades con valor absoluto es muy sencillo si
tenemos en consideracion las siguientes reglas:
1. Si [x[ < a R
+
, entonces todos los valores que puede tomar x estan
contenidos en el intervalo (a, a).
2. Si [x[ > a R
+
, entonces todos los valores que puede tomar x estan
contenidos en el conjunto (, a) (a, ).
Ejemplo: Para resolver [2x 1[ + [x + 2[ < 5 tenemos que considerar
los puntos donde las expresiones dentro de los valores absolutos cambian de
signo, es decir, cuando valen cero: estos valores son x =
1
2
y x = 2. Notemos
que si x (, 2), ambas expresiones dentro de los valores absolutos
tienen signo negativo, entonces por la denicion de valor absoluto debemos
resolver la desigualdad:
(2x 1) (x + 2) < 5 3x 1 < 5 x > 2
Por lo tanto, en este caso (que x (, 2)) no hay soluciones. Por otro
lado, cuando x (2,
1
2
) se tiene:
(2x 1) + (x + 2) < 5 x + 3 < 5 x > 2
Por lo tanto, lo cumplen todos los x del conjunto (2,
1
2
). Finalmente, si
x (
1
2
, ) se tiene que:
2x 1 + x + 2 < 5 3x + 1 < 5 x <
4
3
Por lo tanto, lo cumplen todos los x tales que
1
2
< x <
4
3
. Finalmente
consideremos los extremos: x = 2 no cumple la desigualdad pues resulta
5 < 5; x =
1
2
cumple la desigualdad pues resulta
5
2
< 5. Por lo tanto el
conjunto solucion de la desigualdad es:
o =
_
2,
1
2
_
_
1
2
,
4
3
_
_
1
2
_
=
_
2,
4
3
_
4.6.2 Potencias, Logaritmos y Races
Estudiaremos los casos generales de la potenciacion, la radicacion y los log-
aritmos que resultan ser de inmediata aplicacion en muchsimas areas de la
ingeniera.
Potencias y Races
La operacion de potenciacion de n umeros enteros (e incluso de n umeros
racionales) por exponentes enteros es bien conocida desde la bella epoca
del colegio (donde todo era mas facil), mas a un, algunos tuvimos el privi-
legio de conocer casos particulares de potencias con exponentes no enteros,
sino racionales: las races. En ese preciso instante fuimos bastantes los que
colapsamos y nos dijimos: podra haber algo mas difcil?. La experiencia
conrma que s.
Denicion 4.6.4 Diremos que si a es un n umero real positivo y r =
p
q
es
un n umero racional positivo (fraccion irreducible de n umeros naturales), el
n umero
a
r
= a
p
q
= (a
p
)
1
q
es la potencia de base a con exponente r. Su calculo se deduce desde los casos
usuales de potenciacion, es decir:
_
_
a
p
= a
p veces
..
. . . a
a = a
1
q
q veces
..
. . . a
1
q
Observacion: Si p = 1 tenemos los casos clasicos de radicacion, si q = 1
tenemos la potenciacion conocida desde la ense nanza basica, si ampliamos
la deniciones a permitir exponentes negativos hacemos uso de la conocida
identidad a
r
=
1
a
r
. Extender la denicion anterior para bases enteras no es
un tema trivial y tratare de evitarlo, a menos que sea necesario explicitarlo.
Proposicion 4.6.1 De acuerdo con la Denicion anterior se deducen las
siguientes propiedades:
1. a
r
a
s
= a
r+s
, a R
+
, r, s Q
2.
a
r
a
s
= a
rs
, a R
+
, r, s Q
3. a
0
= 1, a R
+
4. a
r
b
r
= (ab)
r
, a, b R
+
, r Q
5.
a
r
b
r
= (
a
b
)
r
, a, b R
+
, r Q
54 CAP
ITULO 4. N
UMEROS REALES
6. 1
r
= 1, r Q
Demostracion 4.6.1 Traten de vericar las propiedades anteriores; no de-
beran resultarles complicadas, en particular son simples las armaciones 3.
y 6.
Observacion: Es claro que no existe la raz cuadrada (p = 1, q = 2 en la
Denicion) de un n umero negativo (en R), pues ning un n umero real elevado
a dos entrega un n umero negativo. Mas a un si tenemos que q es un n umero
par y p un n umero impar, es imposible calcular la potencia a
p
q
si a < 0. Si
el denominador de la fraccion es impar, el signo de la base es el mismo que
el signo de la potencia completa.
Ejemplo: Ecuaciones Exponenciales.
Dado que las potencias cumplen una propiedad llamada biyectividad (que
deberan haber escuchado en el colegio) es simple resolver cierto tipo de
ecuaciones, por ejemplo:
9
x2
3
x
= 27
que entrega claramente la solucion x = 7, pues
9
x2
3
x
= 3
2x4x
= 3
x4
= 3
3
x = 7
Observacion: Que pasa si queremos calcular, por ejemplo, el n umero 2
2
(conocido como la Constante de Schneider). Pensemos: es un n umero entero
elevado a una potencia irracional , es decir, esta elevado a un n umero que
no puede ser escrito en la forma de una fraccion. Usando la representaci on
decimal de los reales, se tiene que un n umero R
+
Q se puede escribir
como:
= a.a
1
a
2
a
3
. . . a
n
. . .
donde a Z es conocido como la parte entera de y a
1
, a
2
, a
3
, . . . , a
n
, . . . son
dgitos que no denen un n umero periodico o con nitos decimales (como
cuando se vuelven solo cero o nueve a partir de un cierto ndice). Luego
vemos que
[
a
[ < [
a.a
1
[ < < [
a.a
1
a
2
a
3
...a
n
...
[ <
De hecho, formalizaremos el concepto despues, pero esta diferencia tiende a
achicarse arbitrariamente, es decir, si queremos aproximaciones de 2
2
lo que
debemos hacer es considerar las potencias usuales (con exponentes racionales)
con truncamientos de los decimales de
2. Conocer exactamente estas po-

tencias queda vetado por el Teorema de Gelfond-Schneider que establece la
irracionalidad (mas a un la trascendencia) de ciertas potencias tales como
2
2
, 3
, etc.
Logaritmos
Hemos visto en 4.6.2 que las races son casos particulares de la potenciacion
al extender esta operacion al caso racional (e incluso al caso real, bajo ar-
gumentos de densidad). Es bastante valido el preguntarse acerca de como
funciona la operacion inversa a la potenciacion, mas a un, referirse a si se con-
servan o se invierten algunas de las operaciones elementales de las potencias
y de las races. Veamos que podemos hacer, probablemente resultara mas
interesante de lo que parece.
Denicion 4.6.5 Diremos que el logaritmo en la base a R
+
de n R
+
es
un n umero r Q tal que a
r
= n. Denotaremos a r por log
a
n.
Proposicion 4.6.2 De acuerdo con la Denicion anterior se deducen las
siguientes propiedades:
1. log
a
m + log
a
n = log
a
mn, a R
+
, m, n R
+
2. log
a
mlog
a
n = log
a
m
n
, a R
+
, m, n R
+
3. log
a
1 = 0, a R
+
4. log
a
n =
log
b
n
log
b
a
, a, b R
+
, n R
+
5. log
a
n
r
= r log
a
n, a R
+
, n R
+
, r R
6. log
a
a = 1, a R
+
Demostracion 4.6.2 Si se demostraron los resultados de la Proposicion
4.6.1, estas armaciones siguen de inmediato.
Observacion: Notemos que la Proposicion anterior es la version logartmica
de la Proposicion 4.6.1. En otras palabras, ambas proposiciones son, de he-
cho, equivalentes.
56 CAP
ITULO 4. N
UMEROS REALES
Observacion: Claramente, al igual que en el caso de potenciacion, lo que
queremos resolver son ecuaciones con logaritmos involucrados. Evidente-
mente lo que debemos hacer en casi todos los casos es llevar la expresion a
una lo mas reducida posible y, una vez reducida, aplicar la exponencial de la
base respectiva.
4.6.3 La Ecuacion Cuadratica
No creo prudente (en honor a su intelecto) el denir que es una ecuacion,
concepto que dare por conocido. En todo caso no crean que este breve
comentario es simplemente una broma: existe una rama de la matematica
bastante complicada conocida como la Teora de Ecuaciones, pero dejemos
esas peque neces de lado.
Denicion 4.6.6 La forma general de la ecuacion cuadratica esta dada por
ax
2
+ bx + c = 0, donde a ,= 0 (tiene sentido porque, de lo contrario, la
ecuacion dejara de ser cuadratica).
Teorema 4.6.3 La ecuacion cuadratica ax
2
+bx+c = 0 tiene dos soluciones
reales si y solo si b
2
4ac > 0, dadas por
x
1
=
b +
b
2
4ac
2a
y x
2
=
b
b
2
4ac
2a
Y una unica solucion real si y solo si b
2
4ac = 0, dada por
x =
b
2a
Demostracion 4.6.3 A pesar de que esta demostracion es ampliamente
conocida igual la voy a mostrar, pero de forma muy supercial y sin explicar
cada uno de los pasos que doy.
ax
2
+ bx + c = 0 a
2
x
2
+ abx = ac
_
ax +
1
2
b
_
2
1
4
b
2
= ac
ax +
1
2
b =
1
2
b
2
4ac x =
b
b
2
4ac
2a
El otro caso se desprende inmediatamente de esta formula. Para probar el
recproco solo basta con reemplazar la solucion en la ecuacion y la condicion
b
2
4ac se deduce inmediatamente por estar este termino bajo el signo de
raz.
Observacion: El valor b
2
4ac se conoce como el discriminante de la
ecuacion ax
2
+ bx + c = 0.
Teorema 4.6.4 Si en ax
2
+ bx + c = 0 el discriminante es negativo, en-
tonces la ecuacion no tiene soluciones reales y, al reemplazar el valor de x
se obtienen solo resultados positivos o negativos dependiendo del signo de a
respectivamente.
Demostracion 4.6.4 La primera parte se deduce de inmediato del teorema
anterior. Una demostracion geometrica de la segunda parte de este teorema
sera visto en el captulo ??. Una demostracion mas formal de este hecho
requiere de conocimientos de continuidad.
4.6.4 Desigualdades II
Finalmente en este captulo concluire con una peque na descripcion de de-
sigualdades mas generales y algunos aspectos geometricos de la resolucion de
ellas. Esta subseccion les ense nara una valiosa leccion que podran vericarla
a lo largo de su estada en la U: sin importar cuan simple pueda parecer
una idea, los matematicos (y algunos ayudantes) son expertos en complicar
la existencia de los estudiantes. Evidentemente complicar los ejercicios no
signica nada si se tienen claras las ideas que estan detras de una simple
operatoria.
Observacion: Dado que el fundamento teorico de lo que son las desigual-
dades se dio anteriormente, al igual que la nocion de potencias, races y
expresiones cuadraticas no debera haber mayor inconveniente en aplicar los
conocimientos anteriores en un ejercicio general de desigualdades. Dicho de
otra manera, comprenderemos mejor las ideas (y de manera no tan redun-
dante) si solo expongo un ejericio.
Ejercicios:
1. Resuelva la siguiente desigualdad:
x
2
6x + 9([x 2[
3
)
(x
2
+ 1)(x
2
5x + 6)
< 0
58 CAP
ITULO 4. N
UMEROS REALES
Es claro que:
x
2
6x + 9 =
_
(x 3)
2
= [x 3[. Tambien resulta
evidente notar que x
2
+1 > 0 y que x
2
5x+6 = (x2)(x3). Luego,
tenemos como restriccion que x ,= 2 y x ,= 3, por lo tanto:
o R 2, 3
Reescribiendo la desigualdad original con los cambios pertinentes y
acomodando los factores de manera apropiada se tiene que:
_
[x 3[[x 2[
3
x
2
+ 1
_
1
(x 2)(x 3)
< 0
Notemos que la expresion que aparece entre parentesis grandes siem-
pre es positiva (usando la restriccion para que las expresiones esten
bien denidas), por lo tanto, dado que un n umero positivo no altera el
smbolo de desigualdad tenemos que la desigualdad original es equiva-
lente a:
1
(x 2)(x 3)
< 0
Y, resolverla es equivalente a resolver
(x 2)(x 3) > 0
Desigualdad que junto a la restriccion trivialmente entregan el conjunto
solucion
o = (, 2) (3, ) = R [2, 3]
2. Resuelva la siguiente desigualdad:
_
[2x 1[ 4 < x 2
Establezcamos primeramente las restricciones. A menos que se diga lo
contrario la raz cuadrada de n umeros reales sera considerada solo con
el valor positivo, por lo tanto debe ocurrir que
x 2 > 0 x > 2
Ademas para que la raoz este bien denida necesitamos que
[2x 1[ 4 0 x
3
2
x
5
2
Por lo tanto se deduce que el conjunto solucion debe cumplir:
o [
5
2
, )
Dadas ya las condiciones apropiadas en las restricciones podemos elevar
al cuadrado ambos lados de la expresion y eliminar el valor absoluto
(debido a que x >
5
2
), obteniendo:
(2x 1) 4 < x
2
4x + 4 x
2
6x + 9 > 0 x R 3
Es decir, el conjunto solucion de esta desiguldad es
o = [
5
2
, ) 3
3. Verique la siguiente proposicion:
(x R
+
)
_
1
x
+ x 2
_
Recordemos la siguiente desigualdad trivial:
(x 1)
2
0
la cual es equivalente a decir
x
2
+ 1 2x
y dado que x > 0 podemos dividir por x sin invertir el signo de de-
sigualdad obteniendo precisamente la proposicion.
4. Desafo: Haciendo uso de la pregunta anterior, verique que si a+b+c =
1 y tanto a como b y c son positivos se tiene la siguiente desigualdad:
_
1
a
1
__
1
b
1
__
1
c
1
_
8
60 CAP
ITULO 4. N
UMEROS REALES
Bibliografa
[1] A Course of Pure Mathematics. G. H. Hardy. Cambridge: At The Uni-
versity Press. (1947).
[2] Calculo Innitesimal de Una Variable. Juan de Burgos. McGraw-Hill.
(1994).
[3] Calculo Innitesimal de Varias Variables. Juan de Burgos. McGraw-Hill.
(1994).
[4]

Algebra Lineal. Juan de Burgos. McGraw-Hill. (1997).
[5] Calculus (Vol umenes I y II). Tom M. Apostol. Editorial Reverte S.A.
(1997).
[6] Introduccion al Analisis Matematico. Tom M. Apostol. Editorial Reverte
S.A. ().
[7] Ecuaciones Diferenciales Ordinarias. Claudio Fernandez y Rolando Re-
bolledo. Ediciones Universidad Catolica de Chile. (1995).
[8] Lectures on Linear Algebra. I. M. GelFand. Interscience Publishers, Inc.
(1967).
[9] Logica Matematica. Jose Ferrater Mora y Hugues Leblanc. Fondo de
Cultura Economica. (1994).
[10] La Maravilla de las Matematicas. Cliord A. Pickover. . ().
[11] Introduccion a la Teora de Conjuntos. La Oubi na. Editorial Universi-
taria de Buenos Aires. (1965).
[12] El Calculo 7
Edicion. Louis Leithold. Oxford University Press. (1999).

61
62 BIBLIOGRAF
IA
[13] Ecuaciones Diferenciales y Variable Compleja. Julian Lopez-Gomez.
Pearson Educacion S.A. (2001).
[14] Numerical Linear Algebra. Lloyd N. Trefethen y David Bau, III. SIAM.
(1997).
[15] Algebra Abstracta. John B. Fraleigh. Addison-Wesley Iberoamericana
S.A. (1987).
[16] Calculo Diferencial. Henry Cartan. . ().
[17] Ecuaciones Diferenciales Aplicadas. Murray Spiegel. . ().
[18] Que son los N umeros. Rolando Chuaqui. Traduccion de Was sind und
was sollen die zahlen de Richard Dedekind. Fascculos para la Com-
prension de las ciencias y las Humanidades. Editorial Universitaria.
(1980).
[19] Tratado Completo de Geometra Superior o Analtica. H. B. Luebsen.
Imprenta de Pablo E. Cony. (1884).
[20] Procesos Aleatorios. Yuri Rozanov. Editorial MIR. (1973).
[21] Elementary Linear Algebra. Bernard Kolman. Macmillan Publishing
Company. (1971).
[22]

Algebra Lineal. Kenneth Homan y Ray Kunze. Prentice Hall His-
panoamericana S.A. (1997).
[23] Ejercicios y Problemas Resueltos de

Algebra Lineal. Jes us Rojo e Isabel
Martn. McGraw-Hill. (1994).
[24] Calculo. Michael Spivak. . ().
[25] Calculo en una Variable. Kitchen. ().
[26] Principles of Mathematical Analysis. Walter Rudin. McGraw-Hill.
(1964).
[27] Fallacies in Mathematics. E. A. Maxwell. Cambridge at the University
Press. (1961).
BIBLIOGRAF
IA 63
[28] Notas Introductorias MAT 023-024. Ruben Hidalgo. Apuntes disponibles
en http://docencia.mat.utfsm.cl/ rhidalgo.
[29] Matematicas Discretas y Combinatoria. Ralph P. Grimaldi. Addison
Wesley Longman. (1998).
[30] Introductory Real Analysis. A. N. Kolmogorov y S. V. Fomin. Dover
Publications, Inc. (1999).
[31] Elements of the Theory of Functions and Functional Analysis. A. N.
Kolmogorov y S. V. Fomin. Dover Publications, Inc. (1999).
[32] META MATH! The Quest for Omega. Gregory Chaitin. Disponible en
la red en http://arxiv.org/math.HO/0404335.
[33] Matematicas Generales. Pisot y Zamansky. . ().

Mat021 Apunte Materia

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Mat021 Apunte Materia

Uploaded by

Copyright:

Available Formats

Apuntes de C

OGICAPROPOSICIONAL: ENFOQUE ALGEBRAICO

OGICAPROPOSICIONAL: ENFOQUE ALGEBRAICO

OGICAPROPOSICIONAL: ENFOQUE ALGEBRAICO

OGICAPROPOSICIONAL: ENFOQUE ALGEBRAICO

OGICAPROPOSICIONAL: ENFOQUE ALGEBRAICO

ITULO 2. TEMAS SOBRE TEOR

ITULO 2. TEMAS SOBRE TEOR

ITULO 2. TEMAS SOBRE TEOR

ITULO 2. TEMAS SOBRE TEOR

es el conjunto de pares ordenados:

Si todos ellos fuesen iguales, se extiende la notacion de la observacion ante-

OGICAPROPOSICIONAL: ENFOQUE CUANTIFICACIONAL

ON A LOS POLINOMIOS BOOLEANOS 29

OGICAPROPOSICIONAL: ENFOQUE CUANTIFICACIONAL

OGICAPROPOSICIONAL: ENFOQUE CUANTIFICACIONAL

ON DECIMAL: EXISTEN OTRAS BASES? 41

es innito, y as seguimos sucesivamente. Finalmente lo que tendremos es

2. Conocer exactamente estas po-

Edicion. Louis Leithold. Oxford University Press. (1999).

You might also like