Sunteți pe pagina 1din 43

ECO301 Economa Matematica

Apuntes de Clase
Hector Martinovic
9 de abril de 2014
2

Indice general
1. L ogica 1
1.1. El c alculo de proposiciones . . . . . . . . . . . . . . . . . . . . . 1
1.1.1. Las proposiciones . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.2. El operador de negaci on o no logico () . . . . . . . . . 2
1.1.3. El operador conjuntivo o y logico () . . . . . . . . . . 2
1.1.4. El operador disyuntivo u o logico () . . . . . . . . . . 2
1.1.5. El operador condicional () . . . . . . . . . . . . . . . . 3
1.1.6. El operador bicondicional () . . . . . . . . . . . . . . . 4
1.1.7. Equivalencias logicas, tautologas y contradicciones . . . . 4
1.1.8. Equivalencias logicas importantes . . . . . . . . . . . . . . 4
1.1.9. Tautologas importantes . . . . . . . . . . . . . . . . . . . 6
1.2. El c alculo de predicados . . . . . . . . . . . . . . . . . . . . . . . 7
1.2.1. El cuanticador universal () . . . . . . . . . . . . . . . . 7
1.2.2. El cuanticador existencial () . . . . . . . . . . . . . . . 7
1.2.3. Tautologas importantes . . . . . . . . . . . . . . . . . . . 8
1.3. Metodos de demostracion . . . . . . . . . . . . . . . . . . . . . . 8
1.3.1. Demostraciones directas . . . . . . . . . . . . . . . . . . . 9
1.3.2. Demostraciones indirectas . . . . . . . . . . . . . . . . . . 9
1.3.3. Demostraciones por induccion . . . . . . . . . . . . . . . . 10
1.4. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2. Teora de conjuntos 15
2.1. Conjuntos, elementos y pertenencia . . . . . . . . . . . . . . . . . 15
2.2. El conjunto universo y el conjunto vaco . . . . . . . . . . . . . . 15
2.3. La igualdad y la inclusi on . . . . . . . . . . . . . . . . . . . . . . 15
2.4. Operaciones de conjuntos . . . . . . . . . . . . . . . . . . . . . . 16
2.4.1. El complemento . . . . . . . . . . . . . . . . . . . . . . . 16
2.4.2. La interseccion . . . . . . . . . . . . . . . . . . . . . . . . 16
2.4.3. La union . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.4.4. La diferencia . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.4.5. El producto cartesiano . . . . . . . . . . . . . . . . . . . . 16
2.5. Propiedades importantes . . . . . . . . . . . . . . . . . . . . . . . 17
2.6. La interseccion arbitraria y la union arbitraria . . . . . . . . . . 18
2.6.1. Deniciones . . . . . . . . . . . . . . . . . . . . . . . . . . 18
i
ii

INDICE GENERAL
2.6.2. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.7. Las partes de un conjunto . . . . . . . . . . . . . . . . . . . . . . 19
2.8. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3. Topologa 35
3.1. Espacios metricos . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2. Conjuntos abiertos . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.3. Conjuntos cerrados . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.4. Clausura, frontera e interior de un conjunto . . . . . . . . . . . . 37
3.5. Sucesiones convergentes . . . . . . . . . . . . . . . . . . . . . . . 38
3.6. Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.6.1. Conjuntos imagen y conjunto preimagen . . . . . . . . . . 38
3.6.2. Continuidad . . . . . . . . . . . . . . . . . . . . . . . . . . 39
Captulo 1
Logica
1.1. El calculo de proposiciones
1.1.1. Las proposiciones
Denicion 1.1. Una proposicion es una frase que toma un valor de verdad, es
decir, es verdadera (V) o falsa (F).
Las siguientes frases son ejemplos de proposiciones:
2 + 2 = 4: es una proposicion verdadera.
0 = 1: es una proposicion falsa.
Ma nana llovera: ma nana sabremos si es una proposicion verdadera o
falsa.
En cambio, las siguientes frases no son proposiciones:
Resuelva la ecuaci on x
2
= 1: no es verdadera ni falsa.
Esta proposicion es verdadera: si es verdadera, entonces es verdadera; si
es falsa, entonces es falsa. Pero es imposible saber si es verdadera o falsa.
Esta proposicion es falsa: si es verdadera, entonces es falsa; si es falsa,
entonces es verdadera. Como en ambos casos se llega a una contradiccion,
no es verdadera ni falsa.
A las proposiciones las denotaremos simb olicamente mediante letras, usual-
mente p, q y r. As, por ejemplo, p : 2 + 2 = 4, quiere decir que p es la
proposicion 2 + 2 = 4, as que en este caso la proposicion p es verdadera.
A partir de proposiciones simples, construiremos proposiciones compuestas,
haciendo uso de operadores logicos como la negaci on, la conjuncion, la dis-
yunci on, la condicionalidad y la bicondicionalidad. El valor de verdad de estas
proposiciones compuestas se determina a partir de los valores de verdad de las
proposiciones simples que la componen y de la forma en que se relacionan a
traves de los operadores logicos.
1
2 CAP

ITULO 1. L

OGICA
1.1.2. El operador de negacion o no l ogico ()
Denicion 1.2. Sea p una proposicion. Se dene p como la proposicion que
toma valores de verdad, en funci on de los valores de verdad de p, seg un la
siguiente tabla:
1
p p
V F
F V
Es decir, para que p sea verdadero, se requiere que p sea falso. En caso
contrario (si p es verdadero), entonces p es falso.
1.1.3. El operador conjuntivo o y l ogico ()
Denicion 1.3. Sean p y q dos proposiciones. Se dene pq como la proposicion
que toma valores de verdad, en funci on de los valores de verdad de p y q, seg un
la siguiente tabla:
p q p q
V V V
V F F
F V F
F F F
Es decir, para que p q sea verdadero, se requiere que tanto p como q sean
verdaderos. Si alguno de los dos es falso, entonces p q es falso.
1.1.4. El operador disyuntivo u o l ogico ()
Denicion 1.4. Sean p y q dos proposiciones. Se dene pq como la proposicion
que toma valores de verdad, en funci on de los valores de verdad de p y q, seg un
la siguiente tabla:
p q p q
V V V
V F V
F V V
F F F
Es decir, para que p q sea verdadero, se requiere que p sea verdadero, q
sea verdadero, o bien que ambos sean verdaderos. Si ambos son falsos, entonces
p q es falso.
La disyuncion antes descrita se denomina disyuncion incluyente. Existe
tambien la disyuncion excluyente, que se denota por . A diferencia de p q,
la proposicion p q es verdadera cuando p es verdadero o bien cuando q es
verdadero, pero no cuando ambos lo son.
1
Esta tabla se denomina tabla de verdad.
1.1. EL C

ALCULO DE PROPOSICIONES 3
Denicion 1.5 (Disyunci on excluyente). Sean p y q dos proposiciones. Se dene
p q como la proposicion que toma valores de verdad, en funci on de los valores
de verdad de p y q, seg un la siguiente tabla:
p q p q
V V F
V F V
F V V
F F F
1.1.5. El operador condicional ()
Denicion 1.6. Sean p y q dos proposiciones. Se dene p q como la propo-
sici on que toma valores de verdad, en funci on de los valores de verdad de p y q,
seg un la siguiente tabla:
p q p q
V V V
V F F
F V V
F F V
A este operador se le denomina tambien implicacion, y p q se lee p
implica q o si p es verdadero, entonces q es verdadero. A p se le denomina
antecedente o hipotesis; y a q, consecuente o conclusi on.
Estas son formas de enunciar una proposicion condicional, todas equivalentes
a p q:
Si p, entonces q.
p implica q.
q se sigue de p.
No p, a menos que q.
q si p.
p solo si q.
Cada vez que p, q.
q cada vez que p
p es suciente para q.
q es necesario para p.
p es una condicion suciente para q
q es una condicion necesaria para p
Denicion 1.7 (Proposicion recproca). Sean p y q dos proposiciones. La pro-
posicion q p se denomina la proposicion recproca de la proposicion p q.
Denicion 1.8 (Proposicion contrarecproca). La proposicion (q) (p) se
denomina la proposicion contrarrecproca de la proposicion p q.
4 CAP

ITULO 1. L

OGICA
1.1.6. El operador bicondicional ()
Denicion 1.9. Sean p y q dos proposiciones. Se dene p q como la propo-
sici on que toma valores de verdad, en funci on de los valores de verdad de p y q,
seg un la siguiente tabla:
p q p q
V V V
V F F
F V F
F F V
Estas son formas de enunciar una proposicion bicondicional, todas equiva-
lentes a p q:
p si solo si q.
p es necesario y suciente para p.
p es una condicion necesaria y suciente para q
p es equivalente a q.
1.1.7. Equivalencias l ogicas, tautologas y contradicciones
Denicion 1.10 (Equivalencia). Sean p y q dos proposiciones compuestas. Se
dice que p es logicamente equivalente a q si y solo si, para todos los posibles
valores de verdad de las variables involucradas, el valor de verdad de p es el
mismo que el de q. Se denota como p q.
Denicion 1.11 (Tautologa). Sea p una proposicion compuesta. Se dice que
p es una tautologa si y solo si, para todos los posibles valores de verdad de las
variables involucradas, el valor de verdad de p es siempre verdadero
2
Denicion 1.12 (Contradiccion). Sea p una proposicion compuesta. Se dice
que p es una contradiccion si y solo si, para todos los posibles valores de verdad
de las variables involucradas, el valor de verdad de p es siempre falso.
1.1.8. Equivalencias l ogicas importantes
Sean p, q y r tres proposiciones. Las siguientes son equivalencias logicas.
Ley de la doble negaci on:
(p) p (1.1)
Absorci on, conmutatividad y asociatividad de :
p p p (1.2)
p q q p (1.3)
(p q) r p (q r) (1.4)
2
p q es equivalente a armar que p q es una tautologa.
1.1. EL C

ALCULO DE PROPOSICIONES 5
Absorci on, conmutatividad y asociatividad de :
p p p (1.5)
p q q p (1.6)
(p q) r p (q r) (1.7)
Distributividad de con respecto a :
p (q r) (p q) (p r) (1.8)
Distributividad de con respecto a :
p (q r) (p q) (p r) (1.9)
Leyes de De Morgan:
(p q) (p q) (1.10)
(p q) (p q) (1.11)
Signicado de la bicondicionalidad:
(p q) (p q) (q p) (1.12)
Simetra de la bicondicionalidad:
(p q) (q p) (1.13)
Proposiciones disyuntivas equivalentes:
(p q) (p q) (1.14)
(p q) (p q) (p q) (1.15)
Proposiciones contrarrecprocas equivalentes:
(p q) (q p) (1.16)
(p q) (p q) (1.17)
Ejercicio 1.1. Demuestre las equivalencias logicas anteriores:
Para las equivalencias (1.1) a la (1.14), construya la tabla de verdad del
lado izquierdo de la equivalencia y la del lado derecho, y verique que son
iguales.
Para las restantes, utilice equivalencias previamente demostradas.
Por ejemplo, la equivalencia (1.16) se puede demostrar de la siguiente forma:
(p q) (p q) Por 1.14
(q p) Por 1.3
(q p) Por 1.1
(q p) Por 1.4
6 CAP

ITULO 1. L

OGICA
1.1.9. Tautologas importantes
Sean p, q y r tres proposiciones. Las siguientes proposiciones son tautologas
de la forma A B, donde A y B son proposiciones compuestas.
3
Simplicacion:
(p q) q (1.18)
Adici on:
p (p q) (1.19)
Silogismo disyuntivo:
[(p q) p] q (1.20)
Modus ponens o razonamiento directo:
[(p q) p] q (1.21)
Modus tollens o razonamiento indirecto:
[(p q) q] p (1.22)
Transitividad de la condicionalidad y de la bicondicionalidad:
[(p q) (q r)] (p r) (1.23)
[(p q) (q r)] (p r) (1.24)
Demostraci on por caso:
[(p q) (r q)] [(p r) q] (1.25)
Demostraci on por contradiccion o reduccion al absurdo:
(p p) p (1.26)
[(p q) (p q)] p (1.27)
[(p q) q] (p q) (1.28)
[(p q) p] (p q) (1.29)
Ejercicio 1.2. Demuestre que la proposiciones anteriores son tautologas. Para
esto:
Construya la tabla de verdad de cada una de ellas y verique que son ver-
daderas con independencia del valor de verdad que tomen las proposiciones
simples que las componen.
O demuestre la veracidad de la proposicion haciendo uso de proposiciones
previamente demostradas. (Esto es mas difcil que hacerlo mediante tablas
de verdad.)
3
Estas tautologas son importantes, pues fundamentan distintos metodos de demostracion.
1.2. EL C

ALCULO DE PREDICADOS 7
1.2. El calculo de predicados
El c alculo de predicados es la parte de la logica que permite manipular
proposiciones acerca de todas o algunas cosas de cierto tipo. Por ejemplo, nos
permite representar proposiciones mas complejas como el cuadrado de todo
n umero par es tambien un n umero par o existen n umeros impares.
Para introducir el concepto de predicado, consideremos la proposicion 2 es
par. Ella se compone de dos partes: el sujeto (2) y el predicado (es par).
En el c alculo de predicados, esta proposicion se representara como P(2), donde
P() simboliza el predicado es par. La ventaja de utilizar predicados es que
nos permite representar frases de la forma x es par mediante P(x). En esta
formulaci on, a x se le denomina variable libre y 2 sera una instancia de x.
Es interesante notar que la frase P(x) no es una proposicion como las que antes
hemos visto, pues no tiene valor de verdad mientras la variable x no tome un
valor. Sin embargo P(2) y P(3) s son proposiciones, siendo la primera verdadera
y la segunda falsa.
Denicion 1.13 (Proposicion abierta). Sea x una variable dentro de un do-
minio. Se dice que P(x) es una proposicion abierta con variable libre x, si para
cada instancia de x dentro de su dominio P(x) es una proposicion normal.
Los predicados pueden ser aplicados a m ultiples variables libres como por
ejemplo en la proposicion abierta y es el cuadrado de x, que se podra repre-
sentar por C(x, y).
1.2.1. El cuanticador universal ()
Denicion 1.14. La proposicion x[P(x)] representa la conjunci on de las pro-
posiciones del tipo P(x), donde la variable x toma los valores de todas las
instancias que sean posibles dentro de su dominio.
Volvamos a considerar la proposicion el cuadrado de todo n umero par es
tambien un n umero par. Para representarla, necesitamos un predicado que
se nale que x es un n umero natural, que para estos efectos podra ser N().
Entonces la proposicion que queremos expresar toma la forma:
x[(N(x) P(x) C(x, y)) (N(y) P(y))]
Si asuminos como obvio que la instancias de x son n umeros naturales, entonces
queda de forma mas simple:
x[(P(x) C(x, y)) P(y)]
1.2.2. El cuanticador existencial ()
Denicion 1.15. La proposicion x[P(x)] representa la disyuncion de las pro-
posiciones del tipo P(x), donde la variable x toma los valores de todas las
instancias que sean posibles dentro de su dominio.
8 CAP

ITULO 1. L

OGICA
Entonces, la proposicion existen n umeros impares se representa de la si-
guiente manera:
x[(N(x) P(x)]
O de forma mas simple:
x[P(x)]
Existe un segundo cuanticador existencial, que sirve para indicar que P(x)
solamente una vez toma valor verdadero dentro del dominio de la variable x.
Denicion 1.16 (existe un unico x). La proposicion existe un unico x que
cumple P(x) se escribe como !x[P(x)], y es equivalente a:
x[P(x) y[P(y) x = y]]
1.2.3. Tautologas importantes
Sea x una variable libre, sea s una instancia particular de x, y sea P() un
predicado. Entonces las siguientes proposiciones son tautologas:
Especializacion:
x[P(x)] P(s) (1.30)
Generalizacion:
P(s) x[P(x)] (1.31)
Negacion del cuanticador universal:
x[P(x)] x[P(x)] (1.32)
Negacion del cuanticador existencial:
x[P(x)] x[P(x)] (1.33)
1.3. Metodos de demostraci on
Denicion 1.17 (Axioma). Un axioma es una proposicion que se asume ver-
dadera.
Denicion 1.18 (Teorema). Un teorema es una proposicion que se demuestra
verdadera.
Denicion 1.19 (Metodo de demostracion). Un metodo de demostracion es
una forma de establecer la veracidad de una proposicion a partir de la veracidad
de otras proposiciones.
1.3. M

ETODOS DE DEMOSTRACI

ON 9
1.3.1. Demostraciones directas
La forma directa de demostrar una proposicion hace uso una o varias veces
del modus ponens. En su forma mas simple, tiene la siguiente estructura:
[(p q) p] q
Por ejemplo, demostremos el siguiente teorema a partir de los axiomas grupo
de n umeros reales con la operaci on suma.
Teorema 1.1. Sean a, b, c n umeros reales. Si a + c = b + c, entonces a = b.
Tambien haremos uso de la veracidad de la proposicion recproca: si a = b,
entonces a + c = b + c, cuya demostracion es trivial.
Demostracion.
a + c = b + c Premisa
x[(x)[x + (x) = 0]] Existencia del elemento inverso
(c)[c + (c) = 0] Especializacion
(a + c) + (c) = (b + c) + (c) Premisa y proposicion recporca
a + (c + (c)) = b + (c + (c)) Asociatividad de la suma
a + 0 = b + 0 Suma del elemento inverso
a = b Suma del elemento neutro
1.3.2. Demostraciones indirectas
Las demostraciones indirectas asumen como premisa la falsedad de la propo-
sici on que se desea demostrar, y a partir de ella demuestran la veracidad de una
contradiccion. Como es imposible demostrar la veracidad de una contradiccion,
la premisa es falsa, y por lo tanto la proposicion que se deseaba demostrar es
verdadera.
Teorema 1.2. Sea A un conjunto, tal que A = . Entonces A .
Demostracion por contradiccion. Sea A = y asumamos como premisa que
10 CAP

ITULO 1. L

OGICA
A (que es la negaci on de lo que deseamos demostrar).
(A = ) Denicion de =
x[x A] Denicion
x[x A] Negacion de
x A Especializacion
A Premisa
x A x Denicion de
x Modus ponens
x[x ] Generalizacion
x[x ] Negacion de
Pero la denicion de es que x[x ], as que hemos llegado a una contra-
dicci on. Como todos los pasos de esta demostracion son logicamente validos,
la premisa que hemos asumido verdadera (A ) en realidad es falsa. Por lo
tanto, queda demostrado que A es verdadera.
1.3.3. Demostraciones por induccion
La demostracion por induccion solamente puede ser utilizada para demostrar
una secuencia proposiciones sobre n umeros enteros de la forma P(1), P(2), . . . P(n).
Para esto, se debe demostrar:
1. que la proposicion P(1) es verdadera, y
2. que (k < n)[P(k) P(k + 1)]
Teorema 1.3. La suma de los primeros n n umeros naturales es
1
2
n(n + 1).
Demostracion.
P(1) :
1
2
1 (1 + 1) = 1 Trivial
P(k) :1 + 2 + 3 + + k =
1
2
k(k + 1) Premisa de induccion
1 + 2 + 3 + + k + (k + 1) =
1
2
k(k + 1) + (k + 1)
1 + 2 + 3 + + (k + 1) =
1
2
k(k + 1) +
1
2
2(k + 1)
1 + 2 + 3 + + (k + 1) =
1
2
(k + 2)(k + 1)
P(k + 1) :1 + 2 + 3 + + (k + 1) =
1
2
(k + 1)(k + 2)
1.4. PROBLEMAS 11
1.4. Problemas
1. Pregunta 1 del control 1, sem. 2013-1
Mediante tablas de verdad, demuestra que el siguiente esquema de demos-
traci on por reduccion al absurdo es valido, es decir, es una tautologa:
[(p q) (p q)] p
Respuesta:
p q p q q p q (p q) (p q) p [(p q) (p q)] p
V V V F F F F V
V F F V V F F V
F V V F V V V V
F F V V V V V V
2. Pregunta 1 de la prueba 1, sem. 2013-1
Mediante tablas de verdad, demuestra que el siguiente esquema de demos-
traci on por caso es valido, es decir, es una tautologa:
[(p q) (r q)] [(p r) q] (1.34)
Respuesta:
p q r p q r q (p q) (r q) p r (p r) q (1.34)
V V V V V V V V V
V V F V V V V V V
V F V F F F V F V
V F F F V F V F V
F V V V V V V V V
F V F V V V F V V
F F V V F F V F V
F F F V V V F V V
3. Pregunta 2 del control 1, sem. 2013-1
Haz uso de las equivalencias logicas y las tautologas de la 1.1 a la 1.25,
para demostrar que el siguiente esquema de demostracion por reduccion al
absurdo es valido, es decir, es una tautologa. Justica rigurosamente tu
demostracion, haciendo referencia a la equivalencia o tautologa que est as
utilizando en cada paso de ella.
[(p q) q] (p q)
Respuesta:
Sea (p q) q. Por demostrar que (p q).
12 CAP

ITULO 1. L

OGICA
Demostracion.
(p q) q Premisa
(p q) q Proposicion disyuntiva equivalente
(p (q)) q De Morgan
(p q) q Doble negaci on
p (q q) Asociatividad de
p q Absorci on
p q Proposicion disyuntiva equivalente
Observaci on: Como todos las proposiciones intermedias est an ligadas por
, en realidad se demostr o
[(p q) q] (p q)
Pero como (A B) (A B) (B A), la demostracion anterior es
valida para probar que A B.
4. Pregunta 2 de l1 prueba 1, sem. 2013-1
Haz uso de las equivalencias logicas y las tautologas de la 1.1 a la 1.25,
para demostrar que el siguiente esquema de demostracion por reduccion
al absurdo es valido, es decir, es una tautologa.
[(p q) (p q)] p
Justica rigurosamente tu demostracion, es decir, no te saltes ning un paso
y justica cada uno de ellos.
Indicacion: Puedes usar que la proposicion (p p) es una tautologa y
que (p p) es una contradiccion.
Respuesta:
Sea (p q) (p q). Por demostrar p.
Demostracion.
(p q) (p q) Premisa
(p q) (p q)) Proposicion disyuntiva equivalente
p (q q) Distributividad de c/r a
Pero q q es una contradiccion, o equivalentemente (q q) es una
tautologa, por lo tanto:
p (q q)
p Silogismo disyuntivo
1.4. PROBLEMAS 13
5. Determine si la siguiente proposicion es verdadera o falsa y demuestrelo:
Sean p, q y r proposiciones. Existe una proposicion A(p, q, r) que puede
expresarse en terminos de p, q, r y los operadores logicos , y tal que:
p q r A(p, q, r)
V V V V
V V F V
V F V F
V F F V
F V V V
F V F F
F F V F
F F F V
6. Cuatro hombres se encontraban jugando poker en el cuarto trasero de una
taberna de muy dudosa reputaci on. Repentinamente se escucho un dispa-
ro. El due no del bar se precipit o al interior del cuarto y encontro en el piso
de la habitaci on un cadaver, con una pistola recien disparada proxima a su
cuerpo. Los otros tres hombres estaban a su alrededor. El nombre del ase-
sinado era Ian y el de los sospechosos Moriarty, Mr. Brown y Dr. No. Todos
fueron arrestados y conducidos a la comisara donde fueron interrogados
por el celebre inspector Gadget,quien hizo transcribir las declaraciones:
Moriarty:
Yo no lo mate.
Ian no se suicido.
Yo era amigo de Ian.
Mr. Brown:
Ian se suicido.
Yo estaba sentado frente a Ian.
Moriarty no era amigo de Ian.
Dr. No:
Mr. Brown no asesino a Ian.
Ian cometio suicidio.
Moriarty miente cuando arma ser amigo de Ian.
Gadget sabe que en cada declaracion existe una (y solo una) proposicion
falsa (ya que los tres presuntos asesinos se pusieron de acuerdo en este
aspecto para despistarlo).
Mediante razonamientos logicos basados en las declaraciones y en este
ultimo punto diga quien es el asesino (ayudando as a Gadget).
Indicaciones:
14 CAP

ITULO 1. L

OGICA
a) Sea riguroso. Recuerde que Gadget tiene que dar un razonamiento
que no deje dudas sobre quien es el culpable y quien inocente, pues
debe presentarlo ante un jurado. (Es decir, suponga todas las posi-
bilidades y de argumentos claros y precisos por los cuales acepta o
rechaza cada una de ellas.)
b) Recuerde que en esta historia no existe mayordomo, luego el no puede
ser el asesino.
7. A la salida del estadio me encontre con mis amigos Carlos, Pedro y Jose,
que venan de ver el Clasico Universitario. Les pregunte cual haba sido
el resultado y sus respuestas fueron:
Carlos: La U gano y la UC hizo el primer gol.
Pedro: La U gano e hizo el primer gol.
Jose: Pedro nunca dice la verdad y la U perdio.
Ademas yo saba que cada uno de ellos estaba diciendo, o bien dos verda-
des, o bien dos mentiras. Pude yo deducir el marcador nal del partido?
Como?
Captulo 2
Teora de conjuntos
2.1. Conjuntos, elementos y pertenencia
Un conjunto es una colecci on de cosas que se denominan elementos. Si un ele-
mento x est a dentro de un conjunto A, se dice que x pertenece al conjunto A,
y se denota como x A. La negaci on de esta proposicion es x no pertenece al
conjunto A y se denota x A o tambien como (x A).
Un conjunto se puede denir individualizando cada uno de sus elementos,
como por ejemplo en:
A = {1, 3, 5}
o bien en la forma A = {x : P(x)}, donde P(x) es una proposicion abierta que
toma valor verdadero para los elementos que pertenecen al conjunto:
A = {x : x es un n umero natural impar menor que 6}
2.2. El conjunto universo y el conjunto vaco
Denicion 2.1 (Conjunto universo). Se dene el conjunto universo E como el
conjunto para el cual la siguiente proposicion es verdadera:
x[x E] (2.1)
Denicion 2.2 (Conjunto vaco). Se dene el conjunto vaco como el conjunto
para el cual la siguiente proposicion es verdadera:
x[x ] (2.2)
2.3. La igualdad y la inclusion
Denicion 2.3 (Igualdad). Sean A y B dos conjuntos. Se dice que el conjunto
A es igual al conjunto B ssi:
A = B (x A x B) (2.3)
15
16 CAP

ITULO 2. TEOR

IA DE CONJUNTOS
Denicion 2.4 (Inclusion). Sean A y B dos conjuntos. Se dice que el conjunto
A es subconjunto de B ssi:
A B (x A x B) (2.4)
2.4. Operaciones de conjuntos
2.4.1. El complemento
Denicion 2.5. Sea A un conjunto. Se dene el complemento del conjunto A
como:
A
c
= {x : x A} (2.5)
2.4.2. La intersecci on
Denicion 2.6. Sean A y B dos conjuntos. Se dene la interseccion del conjunto
A con el conjunto B como:
A B = {x : x A x B} (2.6)
2.4.3. La union
Denicion 2.7. Sean A y B dos conjuntos. Se dene la union del conjunto A
con el conjunto B como:
A B = {x : x A x B} (2.7)
2.4.4. La diferencia
Denicion 2.8. Sean A y B dos conjuntos. Se dene la diferencia entre el
conjunto A y el conjunto B como:
A \ B = {x : x A x B} (2.8)
Una notaci on alternativa para la diferencia de conjuntos es AB.
2.4.5. El producto cartesiano
Denicion 2.9. Sean A y B dos conjuntos. Se dene el producto cartesiano
entre A y B como:
A B = {(x, y) : x A y B} (2.9)
2.5. PROPIEDADES IMPORTANTES 17
2.5. Propiedades importantes
Sean A, B y C tres conjuntos cualesquiera, y sean y E los conjuntos vaco y
universo, respectivamente. Entonces las siguientes proposiciones son verdaderas:
Identidad, idempotencia, conmutatividad y asociatividad de :
A E = A (2.10)
A A = A (2.11)
A = (2.12)
A B = B A (2.13)
(A B) C = A (B C) (2.14)
Idempotencia, conmutatividad y asociatividad de :
A = A (2.15)
A A = A (2.16)
A E = E (2.17)
A B = B A (2.18)
(A B) C = A (B C) (2.19)
Distributividad de con respecto a :
A (B C) = (A B) (A C) (2.20)
Distributividad de con respecto a :
A (B C) = (A B) (A C) (2.21)
Leyes de De Morgan:
(A B)
c
= A
c
B
c
(2.22)
(A B)
c
= A
c
B
c
(2.23)
Relacion de la igualdad con la inclusi on:
A = B (A B B A) (2.24)
Relacion de la diferencia con la interseccion:
A \ B = A B
c
(2.25)
Distributividad de con respecto a :
A (B C) = (A B) (A C) (2.26)
Distributividad de con respecto a :
A (B C) = (A B) (A C) (2.27)
Ejercicio 2.1. Demostrar las propiedades anteriores haciendo uso de las de-
niciones y de las tautologas y equivalencias logicas.
18 CAP

ITULO 2. TEOR

IA DE CONJUNTOS
2.6. La interseccion arbitraria y la uni on arbi-
traria
2.6.1. Deniciones
Sea I un conjunto de ndices, y {A
i
}
iI
una familia de conjuntos indexados
por i.
Denicion 2.10. Se dene la interseccion arbitraria de la familia de conjuntos
{A
i
}
iI
como:

iI
A
i
= {x : (i I)[x A
i
]} (2.28)
Denicion 2.11. Se dene la union arbitraria de la familia de conjuntos {A
i
}
iI
como el conjunto

iI
A
i
que cumple con:
_
iI
A
i
= {x : (i I)[x A
i
]} (2.29)
2.6.2. Propiedades
Muchas de las propiedades mencionadas en el punto anterior, siguen siendo
validas para las intersecciones arbitrarias y uniones arbitrarias de conjuntos:
Distributividad de con respecto a

iI
:
A
_
iI
B
i
=
_
iI
(A B
i
) (2.30)
Distributividad de con respecto a

iI
:
A

iI
B
i
=

iI
(A B
i
) (2.31)
Leyes de De Morgan:
_

iI
B
i
_
c
=
_
iI
B
c
i
(2.32)
_
_
iI
B
i
_
c
=

iI
B
c
i
(2.33)
Distributividad de con respecto a

iI
:
A

iI
B
i
=

iI
(A B
i
) (2.34)
2.7. LAS PARTES DE UN CONJUNTO 19
Distributividad de con respecto a

iI
:
A
_
iI
B
i
=
_
iI
(A B
i
) (2.35)
Ejercicio 2.2. Demostrar las propiedades anteriores haciendo uso de las de-
niciones y de las tautologas y equivalencias logicas.
2.7. Las partes de un conjunto
Denicion 2.12. Sea E un conjunto no vaco. Se dene las partes de E como
el conjunto de todos los subconjuntos de E. Si denotamos a las partes de E
como P(E), entonces:
P(E) = {A : A E} (2.36)
20 CAP

ITULO 2. TEOR

IA DE CONJUNTOS
2.8. Problemas
1. Pregunta 3 del control 1, sem. 2013-1
Se riguroso al justicar cada paso de las siguientes demostraciones pedidas.
a) Sean A y B dos conjuntos cualesquiera. Demuestra una de las dos
siguientes proposiciones (elije cual):
A (A B) (2.37)
(A B) A (2.38)
b) Sean A y B dos conjuntos cualesquiera. Demuestra una de las dos
siguientes proposiciones (elije cual):
(A B) (A B = B) (2.39)
(A B) (A B = A) (2.40)
Indicacion: Puedes usar que las proposiciones de la parte a) son ver-
daderas, aunque no las hayas demostrado.
c) Sean A, B y C tres conjuntos cualesquiera. Demuestra que si se
cumplen las tres siguientes proposiciones:
A B = C (2.41)
(A C) B = C (2.42)
(A C) B = A (2.43)
entonces se cumple que A = B = C.
Indicacion: Puedes usar que las proposiciones de la parte a) y de la
parte b) son verdaderas, aunque no las hayas demostrado.
Respuesta:
a) Por demostrar que A (A B).
Demostracion.
x A Premisa
(x A) (x B) Adici on
x A B Denicion de
Por demostrar que (A B) A.
Demostracion.
x (A B) Premisa
(x A) (x B) Denicion de
x A Simplicacion
2.8. PROBLEMAS 21
b) Para demostrar (A B) (A B = B), primero se demos-
trara la implicacion hacia el lado derecho y despues hacia el iz-
quierdo.
Demostracion. Sea A B. Por demostrar que A B = B. Pero
por la parte a), todo conjunto est a incluido en su union con
otro conjunto, as que ya sabemos que B (A B). Falta por
demostrar que (A B) B.
x A B Premisa
(x A) (x B) Denicion de
(x B) (x B) Pues por hipotesis A B
x B Absorci on
Por lo tanto, (A B) (A B = B). Ahora procedemos a
demostrar la implicacion hacia la izquierda: sea A B = B, por
demostrar que A B.
x A Premisa
(x A) (x B) Adici on
x A B Denicion de
x B Por hipotesis A B = B
Por lo tanto, queda demostrado que (A B) (AB = B).
Para demostrar (A B) (A B = A), primero se demos-
trara la implicacion hacia el lado derecho y despues hacia el iz-
quierdo.
Demostracion. Sea A B. Por demostrar que A B = A. Pero
por la parte a), la interseccion de todo par de conjuntos est a in-
cluida en cada uno de dichos conjuntos, as que ya sabemos que
(A B) A. Falta por demostrar que A (A B).
x A Premisa
(x A) (x A) Pues p p p
(x A) (x B) Por hipotesis A B
x A B Denicion de
Por lo tanto, (A B) (A B = A). Ahora procedemos a
demostrar la implicacion hacia la izquierda: sea A B = A, por
22 CAP

ITULO 2. TEOR

IA DE CONJUNTOS
demostrar que A B.
x A Premisa
x A B Por hipotesis A B = A
(x A) (x B) Denicion de
x B Simplicacion
Por lo tanto, queda demostrado que (A B) (AB = A).
c) Hay distintas formas de demostrar esto; esta es solamente una de
ellas. Se basa en la idea de armar un A B en la premisa (2.43),
para as usar la premisa (2.41) que se nala que A B = C.
Demostracion.
(A C) B = A Premisa (2.43)
(A B) (C B) = A Distributividad de c/r
C (C B) = A Premisa (2.41): A B = C
Pero
C (C B) Primera proposicion parte a)
C (C B) = C Segunda proposicion parte b)
Por lo tanto
C = C (C B) = A
Ahora que sabemos que C = A, se puede utilizar para simplicar las
premisas y as demostrar que tambien la igualdad se da con B.
A B = C Premisa (2.41)
A B = A Pues C = A
B A Primera proposicion de la parte b)
Ahora usamos que C = A en la premisa que no hemos utilizado:
(A C) B = C Premisa (2.42)
(A A) B = A Pues C = A
A B = A Idempotencia
A B Segunda proposicion de la parte b)
Como se ha demostrado que (B A) (A B), entonces A = B.
Pero ya tenamos que A = C, por lo tanto A = B = C.
2.8. PROBLEMAS 23
2. Pregunta 3 de la prueba 1, sem. 2013-1
Se riguroso al justicar cada paso de las siguientes demostraciones pedidas.
Sean A y B dos conjuntos cualesquiera. Se dene la union disjunta de A
y B como
AB = (A B) \ (A B)
a) Demuestra que (A = B = ) (A B = )
b) Usando las propiedades de teora de conjuntos (2.10 a 2.27), demues-
tra que
AB = (A \ B) (B \ A)
Indicacion: Puedes usar que A A
c
= , para cualquier conjunto A.
c) Demuestra que (A = B) (AB = )
Indicacion: Puedes usar que las proposiciones de las partes a) y b)
son verdaderas, aunque no las hayas demostrado.
Respuesta:
a) Primero se demostrar a la implicacion hacia la derecha y despues hacia
la izquierda:
Sea (A = ) (B = ). Por demostrar que (A B = ).
Demostracion.
A B = A Pues B =
= A Pues A = A
= Pues A =
Sea (A B = ). Por demostrar que (A = ) (B = ).
Demostracion.
A B = Premisa
x[x A B] Denicion de
x[(x A B)] Denicion de
x[(x A x B)] Denicion de
x[(x A) (x B)] De Morgan
x[(x A) (x B)] Denicion de
(A = ) (B = ) Denicion de
b) Por demostrar que AB = (A \ B) (B \ A).
24 CAP

ITULO 2. TEOR

IA DE CONJUNTOS
Demostracion.
AB = (A B) \ (A B) Denicion de
= (A B) (A B)
c
Denicion de \
= (A B) (A
c
B
c
) De Morgan
= ((A B) A
c
) ((A B) B
c
) Distributividad de c/r
= ((A A
c
) (B A
c
)) ((A B
c
) (B B
c
)) Distributividad de c/r
= ( (B A
c
)) ((A B
c
) ) Pues A A
c
=
= (B A
c
) (A B
c
) Pues A = A = A
= (A B
c
) (B A
c
) Conmutatividad de
= (A \ B) (B \ A) Denicion de \
c) Primero se demostrar a la implicacion hacia la derecha y despues hacia
la izquierda:
Sea A = B. Por demostrar que AB = .
Demostracion.
AB = AA Pues A = B
= (A A) \ (A A) Denicion de
= A \ A Idempotencia
= A A
c
Denicion de \
= Indicacion: A A
c
=
Sea AB = . Por demostrar que A = B.
Demostracion.
AB = Premisa
(A \ B) (B \ A) = Por b)
(A \ B = ) (B \ A = ) Por a)
(A B
c
= ) (B A
c
= ) Denicion de \
Lo que sigue est a con todos los pasos, pero se puede abreviar
recordando la relacion existente entre , y el complemento de
2.8. PROBLEMAS 25
un conjunto.
A B
c
= Premisa
x[x A B
c
] Denicion de
x[x A B
c
] Denicion de
x[(x A x B
c
)] Denicion de
x[(x A x B)] Denicion de complemento
x[(x A) (x B)] De Morgan
x[(x A) (x B)] Doble negaci on
x[(x A) (x B)] Proposicion disyuntiva equivalente
A B Denicion de
De igual forma (B A
c
= ) (B A). Por lo tanto:
(A B
c
= ) (B A
c
= ) Retomando la dem. principal
(A B) (B A) Recien demostrado
A = B Denicion de = y
26 CAP

ITULO 2. TEOR

IA DE CONJUNTOS
3. Sea
AB = (A B) \ (A B)
Sea E un conjunto no vaco y sea F P(E) una familia de conjuntos
de E. Considere las siguientes proposiciones:
P [(A F) (B F)] (A B)
c
F
Q [(A F) (B F)] (A
c
F) (B
c
F) (A B
F) (A B F)
R [(A F) (B F)] AB F
Pruebe que (P Q) (Q R). Que puede decir acerca del valor de
verdad de la proposicion (P R) y el de la proposicion (R P)?
Justique sus respuestas.
Respuesta:
a) Se pide demostrar que P Q. Para esto tomamos P premisa, y
haciendo uso de ella, debemos demostrar Q. Si la proposicion P es
verdadera, entonces la siguiente implicancia en valida en el contexto
de demostrar Q:
[(A F) (B F)] (A B)
c
F
La proposicion Q tambien es una implicancia, as que para demos-
trarla debemos demostrar que si asumimos que (A F) (B F)
es cierto, entonces debemos demostrar que
(A
c
F) (B
c
F) (A B F) (A B F)
Demostracion. Sea (A F) (B F). Por demostrar que A
c
F.
(A F) (B F) Premisa
(A F) Simplicacion de
(A F) (A F) Absorci on de
(A A)
c
F Por P
A
c
F Idempotencia de
Sea (A F) (B F). Por demostrar que B
c
F.
(A F) (B F) Premisa
(B F) Simplicacion de
(B F) (B F) Absorci on de
(B B)
c
F Por P
B
c
F Idempotencia de
2.8. PROBLEMAS 27
Sea (A F) (B F). Por demostrar que A B F.
(A F) (B F) Premisa
(A B)
c
F Por P
A B F Pues A F A
c
F
Sea (A F) (B F). Por demostrar que A B F.
(A F) (B F) Premisa
(B F) Simplicacion de
(A
c
F) (B
c
F) Demostrado anteriormente
(A
c
B
c
)
c
F Por P
(A
c
)
c
(B
c
)
c
F Ley de De Morgan
A B F Doble negaci on
Por lo tanto:
[(A F)(B F)] (A
c
F)(B
c
F)(AB F)(AB F)
Se pide demostrar que Q R. Para esto tomamos R premisa, y
haciendo uso de ella, debemos demostrar R. Si la proposicion Q es
verdadera, entonces la siguiente implicancia en valida en el contexto
de demostrar R:
[(A F)(B F)] (A
c
F)(B
c
F)(AB F)(AB F)
La proposicion Q tambien es una implicancia, as que para demos-
trarla debemos demostrar que si asumimos que (A F) (B F)
es cierto, entonces debemos demostrar que
AB F
Demostracion. Primero demostraremos que A F A
c
F.
A F Premisa
(A F) (A F) Absorci on de
(A
c
F) (A
c
F) (A A F) (A A F) Por Q
(A
c
F) (A
c
F) (A F) (A F) Por idempotencia
(A
c
F) (A F) Absorci on de
A
c
F Simplicacion
28 CAP

ITULO 2. TEOR

IA DE CONJUNTOS
Y ahora procedemos con la demostracion principal. Sea (A F)
(B F). Por demostrar que AB F.
(A F) (B F) Premisa
(A
c
F) (B
c
F) (A B F) (A B F) Por Q
A B F Simplicacion
A B F Simplicacion
(A B)
c
F Pues A F A
c
F
(A B F) ((A B)
c
F)
((A B) (A B)
c
) F Por Q y simplicaci on
((A B) \ (A B)) F Denicion de \
AB F Denicion de
Hemos demostrado que P Q y que Q R. Usando transitividad
de , queda demostrado que P R. Por lo tanto, la proposicion
(P R) es falsa.
2.8. PROBLEMAS 29
4. Encuentre una expresion mas sencilla para los siguientes conjuntos y luego
pruebe la igualdad obtenida.
a)
_
i
A
i
=
b)

xE
(E \ {x}) =
c)

iI
_
_

jI
(A
i
A
j
)
_
_
=
d)

AP(E)
P(A) =
donde E = es un conjunto dado y A
i
P(E) es una familia de conjuntos
de E.
Respuesta:
a)
_
i
A
i
=
Demostracion. Supongamos que es distinto de (premisa), entonces:
x
_
x
_
i
A
i
_
Denicion de
x
_
i
A
i
Especializacion
(i )[x A
i
] Denicion de
_
i[(i ) (x A
i
)]
i[i ] Simplicacion
i[i ] Negacion de
Pero la denicion de es que i[i ]. As que hemos llegado a una
contradiccion. Por lo tanto, se concluye que la premisa es falsa, y su
negaci on es verdadera:

_
_
i
A
i
=
_
_
i
A
i
=
b)

xE
(E \ {x}) =
30 CAP

ITULO 2. TEOR

IA DE CONJUNTOS
Demostracion. Supongamos que es distinto de (premisa), entonces:
y
_
y

xE
(E \ {x})
_
Denicion de
y

xE
(E \ {x}) Especializacion
(x E)[y E \ {x}] Denicion de

(x E)[y E y {x}] Denicion de \


(x E)[y {x}] Simplicacion
(x E)[y = x]
y = y Especializacion x = y
c)

iI
_
_

jI
(A
i
A
j
)
_
_
=
Primero probemos que AA = .
Demostracion.
AA = (A A) \ (A A) Denicion de
= A \ A Idempotencia
= A A
c
Denicion de \
=
Ahora procedamos con la demostracion principal:
Demostracion.

iI
_
_

jI
(A
i
A
j
)
_
_
=

iI
_
_
(A
i
A
i
)

j=i
(A
i
A
j
)
_
_
=

iI
_
_

j=i
(A
i
A
j
)
_
_
=

iI

=
2.8. PROBLEMAS 31
d)

AP(E)
P(A) = {}
Primero se demostrar a que

AP(E)
P(A) {}.
Demostracion. Sea x

AP(E)
P(A). Por demostrar que x {}.
x

AP(E)
P(A) Premisa
(A P(E))[x P(A)] Denicion de

x P() Especializacion A =
x {} Pues P() = {}
Y ahora vamos a demostrar que {}

AP(E)
P(A).
Demostracion. Sea x {}. Por demostrar que x

AP(E)
P(A).
x {} Premisa
x = Pues es el unico elemento de {}
(A P(E))[x A] Pues A, para cualquier A
(A P(E))[x P(A)] Denicion de P(A)
x

AP(E)
P(A) Denicion de

32 CAP

ITULO 2. TEOR

IA DE CONJUNTOS
5. Sea un conjunto no vaco. Se dice que B

P() es una -algebra (y


se lee sigma- algebra) de partes de ssi:
i) B

ii) A B

\A B

iii) (A
i
)
iN
B


_
iN
A
i
B

Se pide:
a) Encuentre las intersecciones y las uniones de todas las -algebras B

asociadas a = {a, b, c}. Son -algebras?


b) Demuestre que
(A
i
)
iN
B

iN
A
i
B

c) Sea (B

una familia de -algebras de partes de . Pruebe que


B =

es una -algebra
Respuesta:
a) Primero se procedera a encontrar todas las -algebras asociadas a
. Para esto, agregaremos de a uno los posibles subconjuntos de
y aplicaremos las propiedades antes descritas para asegurarnos que
el resultado sea efectivamente una -algebra. La mas simple tiene el
conjunto vaco, pero tambien su complemento:
B

= {, }
Podemos encontrar otra al agregar el conjunto {a}, pero tambien
debemos agregar su complemento:
B

= {, , {a}, {b, c}}


Pero podramos haber agregado otro conjunto de un elemento, junto
con su complemento, y habramos obtenido otras -algebras:
B

= {, , {b}, {a, c}}


B

= {, , {c}, {a, b}}


Partamos nuevamente de B

= {, } y agreguemos el conjunto {a}


y el conjunto {b}, junto con sus complementos:
{, , {a}, {b, c}, {b}, {a, c}}
2.8. PROBLEMAS 33
Pero esto ultimo no es una -algebra, pues no respeta la tercera
propiedad. Para hacerlo, debemos agregar todas las intersecciones
de estos conjuntos, junto con sus complementos. Vemos que falta
{b, c} {a, c} = {c}, junto con su complemento:
B

= {, , {a}, {b, c}, {b}, {a, c}, {c}, {a, b}}


Pero esta ultima -algebra es igual a P(), as que es la -algebra
mas grande que podemos encontrar.
Si intersectamos todas las -algebras encontradas, obtenemos el con-
junto {, }, que ya vimos que tambien es una -algebra.
Si unimos todas las -algebras encontradas, obtenemos el conjunto
P(), que ya vimos que tambien es una -algebra.
b) Demostracion. Sea (A
i
)
iN
una familia de conjuntos, donde cada uno
de ellos pertenece a B

. Por demostrar que

iN
A
i
B

.
(i N)[A
i
B

] Premisa
(i N)[A
c
i
B

] Propiedad ii)

_
iN
A
c
i
B

Propiedad iii)

_
_
iN
A
c
i
_
c
B

Propiedad ii)

iN
A
i
B

Ley de De Morgan
c) Sea (B

una familia de -algebras de partes de . Por demostrar


que
B =

es una -algebra
Para esto, debemos demostrar que B cumple las tres propiedades de
las -algebras.
i) Por demostrar que B =

. Pero cada B

es una
-algebra, as que:
Demostracion.
( )[ B

] Propiedad i) aplicada a B

Denicion de

ii) Sea A B =

. Por demostrar que A


c
B =

.
34 CAP

ITULO 2. TEOR

IA DE CONJUNTOS
Demostracion.
A

Premisa
( )[A B

] Denicion de

( )[A
c
B

] Propiedad ii) aplicada a B

A
c

Denicion de

iii) Sea (A
i
)
iN
una familia de conjuntos, donde cada uno de ellos
pertenece a B =

. Por demostrar que

iN
A
i
B =

.
Demostracion.
(i N)
_
A
i

_
Premisa
(i N)( )[A
i
B

] Denci on de

( )(i N)[A
i
B

] Se pueden intercambiar los


( )
_
_
iN
A
i
B

_
Propiedad iii) aplicada a B

_
iN
A
i

Denci on de

Captulo 3
Topologa
3.1. Espacios metricos
Denicion 3.1 (Metrica). Sea X un conjunto. Una metrica o distancia es una
funci on d : X X R que cumple que para todo x, y, z X:
d(x, y) = 0 x = y (3.1)
d(x, y) = d(y, x) (3.2)
d(x, z) d(x, y) + d(y, z) (3.3)
La primera propiedad se nala que solamente la distancia de un elemento a
s mismo es cero. La segunda establece que la distancia cumple con la simetra.
La tercera se denomina desigualdad triangular.
Denicion 3.2 (Espacio metrico). Se denomina espacio metrico al par (X, d),
donde X es un conjunto y d : X X R una metrica denida en el.
Denicion 3.3 (Norma). Sea (X, K) un espacio vectorial. Una norma es una
funci on || || : X K que cumple que para todo x, y X, y para todo escalar
K:
||x|| = 0 x =

0 (3.4)
||x|| = || ||x|| (3.5)
||x + y|| ||x|| +||y|| (3.6)
Teorema 3.1. Sea (X, K) un espacio vectorial y || || una norma de el. Si se
dene d(x, y) = ||x y||, entonces (X, d) es un espacio metrico.
Los siguientes son ejemplos de espacios metricos:
1. X = R con d(x, y) = |x y|.
2. X = R
n
con d(x, y) = ||x y|| =
_

n
i=1
(x
i
y
i
)
2
.
35
36 CAP

ITULO 3. TOPOLOG

IA
3. X = R
n
con d(x, y) = ||xy||
m
=
m
_

n
i=1
|x
i
y
i
|
m
, con m = 1, 2, . . . , .
4. Cualquier conjunto X con la metrica discreta, denida de la siguiente
forma:
d(x, y) =
_
0 si x = y
1 si x = y
3.2. Conjuntos abiertos
Denicion 3.4 (Bola abierta). Sea (X, d) un espacio metrico, sea x X y sea
r > 0. Se dene la bola abierta centrada en x y de radio r como el siguiente
conjunto:
B(x, r) = {y X : d(x, y) < r} (3.7)
Denicion 3.5 (Conjunto abierto). Sea (X, d) un espacio metrico. Se dice que
A X es un conjunto abierto si y solo si:
(x A)(r > 0)[B(x, r) A] (3.8)
Teorema 3.2. Las bolas abiertas son conjuntos abiertos.
Teorema 3.3. Sea (X, d) un espacio metrico y {A
i
}
iI
es una familia de con-
juntos abiertos, con A
i
X. Entonces:
i) X y son abiertos.
ii)

iI
A
i
es abierto.
iii) A
1
A
2
es abierto.
Teorema 3.4. Sea (X, d) un espacio metrico. Entonces A X es un conjunto
abierto si y solo es igual a una uni on arbitraria de bolas abiertas.
Denicion 3.6 (Conjunto conexo). Sea (X, d) un espacio metrico. Entonces
A X es un conjunto conexo si y solo no se puede escribir como union de dos
conjunto abiertos disjuntos.
3.3. Conjuntos cerrados
Denicion 3.7 (Bola abierta perforada). Sea (X, d) un espacio metrico, sea
x X y sea r > 0. Se dene la bola abierta perforada centrada en x y de
radio r como el siguiente conjunto:
B(x, r)

= B(x, r) {x} (3.9)


Denicion 3.8 (Punto de acumulaci on). Sea (X, d) un espacio metrico y sea
A X. Se dice que x A es un punto de acumulaci on de A ssi:
(r > 0)[B(x, r)

A = ] (3.10)
Al conjunto de todos los puntos de acumulaci on del conjunto A lo denota-
remos por A

,
3.4. CLAUSURA, FRONTERA E INTERIOR DE UN CONJUNTO 37
Denicion 3.9 (Conjunto cerrado). Sea (X, d) un espacio metrico. Entonces
A X es un conjunto cerrado si y solo contiene todos sus puntos de acumula-
cion, es decir, si A

A.
Teorema 3.5. Sea (X, d) un espacio metrico. Entonces A X es un conjunto
cerrado si y solo si A
c
es un conjunto abierto.
Teorema 3.6. Sea (X, d) un espacio metrico y {A
i
}
iI
es una familia de con-
juntos cerrados, con A
i
X. Entonces:
i) X y son cerrados.
ii)

iI
A
i
es cerrado.
iii) A
1
A
2
es cerrado.
Denicion 3.10 (Bola cerrada). Sea (X, d) un espacio metrico, sea x X y
sea r > 0. Se dene la bola cerrada centrada en x y de radio r como el siguiente
conjunto:

B(x, r) = {y X : d(x, y) r} (3.11)


Teorema 3.7. Las bolas cerradas son conjuntos cerrados.
3.4. Clausura, frontera e interior de un conjunto
Sea (X, d) un espacio metrico y sea A X. Se denen los siguientes conjun-
tos relacionados con A:
Denicion 3.11 (Clausura). Se dene el conjunto clausura de A (se deno-
ta

A) como la union del conjunto A y del conjuntos de todos sus puntos de
acumulaci on, es decir:

A = A A

(3.12)
A es un conjunto cerrado si y solo si

A = A.
Denicion 3.12 (Frontera). Se dene el conjunto frontera de A (se denota A)
como el conjuntos de todos los puntos que est an en la clausura de A y en la
clausura de A
c
, es decir:
A =

A

A
c
(3.13)
Si A es un conjunto cerrado, entonces A A.
Denicion 3.13 (Interior). Se dene el conjunto interior de A (se denota A
o
)
como el conjuntos de todos los puntos que est an en A pero no est an en su
frontera, es decir:
A
o
= A \ A (3.14)
A es un conjunto abierto si y solo si A
o
= A.
38 CAP

ITULO 3. TOPOLOG

IA
Teorema 3.8. Sea (X, d) un espacio metrico, sea A X un conjunto cual-
quiera.
Si B es un conjunto abierto tal que B A, entonces:
B A
o
A (3.15)
Si C es un conjunto cerrado tal que A C, entonces:
A

A C (3.16)
Lo anterior quiere decir que el conjunto interior de A es el abierto m as
grande contenido en A y el conjunto clausura es cerrado m as peque no que
contiene a A.
3.5. Sucesiones convergentes
Denicion 3.14 (Sucesion convergente). Sea (X, d) un espacio metrico y {a
n
}
iN
una sucesion en X, es decir, a
n
X. Se dice que esta sucesion converge al lmite
L X si y solo si:
( > 0)(N N)(n > N)[a
n
B(L, )] (3.17)
y se denota de la siguiente manera:
lm
n
a
n
= L (3.18)
Teorema 3.9. Un conjunto A X es cerrado si y solo si toda sucesi on en A
que converge, lo hace hacia un lmite que tambien esta en A.
Dicho de manera mas formal, para toda sucesion a
n
A que converja:
A es cerrado lm
n
a
n
= L A (3.19)
3.6. Funciones
3.6.1. Conjuntos imagen y conjunto preimagen
Denicion 3.15 (Conjunto imagen). Sea f : X Y , y sea A X. Se dene
el conjunto imagen de A a traves de la funci on f como:
f(A) = {y Y : (x A)f(x) = y} (3.20)
Teorema 3.10. Sea f : X Y , y sean A, B X. Entonces:
A B f(A) f(B) (3.21)
f(A B) f(A) f(B) (3.22)
f(A B) = f(A) f(B) (3.23)
3.6. FUNCIONES 39
Denicion 3.16 (Conjunto preimagen). Sea f : X Y , y sea A Y . Se
dene el conjunto preimagen de A a traves de la funci on f como:
f
1
(A) = {x X : (y A)f(x) = y} (3.24)
Teorema 3.11. Sea f : X Y , y sean A, B Y . Entonces:
A B f
1
(A) f
1
(B) (3.25)
f
1
(A B) = f
1
(A) f
1
(B) (3.26)
f
1
(A B) = f
1
(A) f
1
(B) (3.27)
Teorema 3.12. Sea f : X Y , sean A X y B Y . Entonces:
A f
1
(f(A)) (3.28)
f(f
1
(B)) B (3.29)
3.6.2. Continuidad
Denicion 3.17 (Continuidad en un punto). Sean (X, d
X
) e (Y, d
Y
) dos espa-
cios metricos, y sea x
0
X. Se dice que f : X Y es una funci on continua en
x
0
si y solo si:
( > 0)( > 0)(x X)[d
X
(x
0
, x) < d
Y
(f(x
0
), f(x)) < ] (3.30)
Una forma mas elegante de expresar la denicion anterior es:
( > 0)( > 0)[x B
X
(x
0
, ) f(x) B
Y
(f(x
0
), )] (3.31)
O mas breve a un:
( > 0)( > 0)[f(B
X
(x
0
, )) B
Y
(f(x
0
), )] (3.32)
Denicion 3.18 (Continuidad). Sean (X, d
X
) e (Y, d
Y
) dos espacios metricos.
Se dice que f : X Y es una funci on continua si y solo si es continua para
todo x
0
X.
Teorema 3.13. Sean (X, d
X
) e (Y, d
Y
) dos espacios metricos, y sea f : X Y
una funcion. Entonces las siguientes proposiciones son equivalentes:
i) f es una funcion continua.
ii) Si A Y es abierto, entonces f
1
(A) X es abierto.
iii) Si A Y es cerrado, entonces f
1
(A) X es cerrado.

S-ar putea să vă placă și