Professional Documents
Culture Documents
Revisado por: Suheiry Luzardo, Gustavo Meza, Luis Montiel, Adin Rangel, Jaime Soto y Claudia Vielma
NDICE
1.
Introduccin a la Lgica
1.1.
Conectores Lgicos
1.2.
Variables
1.3.
Conectores condicionales
1.4.
Cuantificadores
2.
Conjuntos
2.1.
Inclusin
2.2.
Notacin
3.
Operaciones
4.
Relaciones
11
5.
Relaciones de Equivalencia
13
6.
Relaciones de Orden
14
7.
Funciones
16
7.1.
Tipos de Funciones
16
7.2.
Composicin de funciones
16
8.
Nmeros Naturales
17
8.1.
Axiomas de Peano
17
8.2.
19
8.3.
20
9.
Cardinalidad
10.
21
Nmeros Enteros
22
10.1.
23
10.2.
Aritmtica
23
10.3.
Cardinalidad
24
11.
Nmeros Racionales
25
11.1.
Aritmtica
25
11.2.
Orden
26
Date: Febrero-2005.
1
TEORA DE CONJUNTOS
11.3.
12.
Cardinalidad
26
Nmeros Reales
27
12.1.
27
12.2.
28
12.3.
Aritmtica
29
12.4.
Orden
30
12.5.
Expansin decimal
31
12.6.
Cardinalidad
31
13.
Nmeros Complejos
31
13.1.
Aritmtica
32
13.2.
Representacin geomtrica
32
13.3.
Algunas propiedades
33
Referencias
33
1.
I NTRODUCCIN
A LA
L GICA
q pq
F
F
F
F
V
F
V
V
TEORA DE CONJUNTOS
1.1.2. Disyuncin. La disyuncin de p y q, denotada p q, es la proposicin p y/o q. Esta proposicin slo es falsa cuando tanto p como q son falsas. Si al menos una de las proposiciones es
verdadera entonces la disyuncin es verdadera. Esto se muestra mediante la siguiente tabla de
verdad:
p
F
V
F
V
q pq
F
F
F
V
V
V
V
V
p q es equivalente a q p
(p q) r es equivalente a p (q r)
3. Idempotencia
(p q) r es equivalente a p (q r)
p p es equivalente a p
4. Distributividad
p p es equivalente a p
p (q r) es equivalente a (p q) (p r)
5. Doble negacin
6. Leyes de DeMorgan:
p (q r) es equivalente a (p q) (p r)
p es equivalente a p
(p q) es equivalente a p q
(p q) es equivalente a p q
TEORA DE CONJUNTOS
1.2. Variables. Con mucha frecuencia, es necesario construir proposiciones que dependan de
objetos identificados mediante letras denominadas variables. Por ejemplo, si la variable x se utiliza
para representar un nmero en algn problema podramos estar interesados en la proposicin x
es un nmero positivo. Aunque en ocasiones utilizaramos una letra como p para representar
esa proposicin, en otras ocasiones se utilizar la notacin p(x) para indicar que se trata de una
proposicin acerca de la variable x. Esta notacin nos permite construir fcilmente diferentes proposiciones para diferentes valores de x. Usando el ejemplo, p(7) representara la proposicin 7
es un nmero positivo y p(a + b) representara la proposicin a + b es un nmero positivo. Se
puede incluso, tener ms de una variable. Por ejemplo, la proposicin x es el padre de y podramos representarla como q(x, y) y as para cada par de valores x y y habra una proposicin
distinta. Las variables utilizadas en estas proposiciones se llaman variables libres ya que pueden
tomar cualquier valor.
Con frecuencia, nos referiremos a una proposicin con variables libres como una funcin proposicional.
1.3.
Conectores condicionales.
1.3.1.
q pq
F
?
F
F
V
?
V
V
TEORA DE CONJUNTOS
q pq
F
V
F
F
V
V
V
V
El ejemplo anterior realmente no constituye una demostracin de que siempre que la hiptesis sea
falsa la implicacin es verdadera. La razn por la cual la hiptesis falsa hace que la implicacin sea
verdadera es simplemente que no se puede concluir que la implicacin es falsa. En matemtica,
para que una proposicin sea falsa debe ser posible encontrar un caso (llamado contraejemplo)
que haga falsa la proposicin. Si la hiptesis siempre es falsa no existe manera de encontrar tal
contraejemplo y por lo tanto concluimos que la proposicin no es falsa.
Ntese que la proposicin p q es equivalente a las siguientes proposiciones:
p q
(p q)
q p
q pq
F
V
F
F
V
F
V
V
Para decir que P (x) es verdadero para al menos un valor de x escribimos xP (x) o x(P (x)) y
leemos existe al menos un x tal que P (x) o para algn x, P (x). El cuantificador se denomina
cuantificador existencial. Ntese que la proposicin x(y(P (x, y)) es equivalente a y(x(P (x, y))
y en ocasiones la denotaremos como xy(P (x, y)).
A continuacin algunas propiedades de los cuantificadores:
TEORA DE CONJUNTOS
1. x(P (x)) es equivalente a x(P (x)). Esta propiedad es sumamente importante ya que
establece que si existe un contraejemplo x para una funcin proposicional P (x) entonces
queda demostrado que sta no es verdadera para todo x y por lo tanto es falsa (aunque
puede ser verdadera para muchos valores de x).
2. x(P (x)) es equivalente a x(P (x))
3. x(P (x)) x(Q(x)) es equivalente a x(P (x) Q(x))
Notese tambin lo siguiente:
1.
2.
3.
4.
C ONJUNTOS
Intuitivamente un conjunto es una coleccin (clase, agregado, conglomerado, etc.) de objetos, los
cuales pertenecen a (forman parte de, son los elementos de, etc.) el conjunto. En toda teora axiomtica debemos partir de trminos que no podemos definir para no correr el riesgo de caer en un
crculo vicioso. Tal es el caso de los conceptos de conjunto y pertenencia dentro de la Teora de
Conjuntos. Todas nuestras intuiciones descansan sobre la idea que tengamos de estos conceptos
primitivos, sin embargo, para el desarrollo de la teora no es necesario contar con estas intuiciones.
Temprano en el desarrollo de la teora de conjuntos se descubri que esta intuicin conduca a
contradicciones y que deba descartarse. Esto condujo a una reformulacin de la teora. Existen
diversas teoras suficientemente robustas pero que escapan a los objetivos de este curso. Aqu
deliberadamente se expondr una teora ingenua.
Los axiomas de la teora ingenua de conjuntos son los siguientes:
Axioma 2.1. Axioma de Extensin
Si todo elemento de X es un elemento de Y y todo elemento de Y es un elemento de X, entonces X es igual
a Y . Formalmente,
XY z((z X z Y ) X = Y )
Dicho de otro modo, si dos conjuntos tienen los mismos elementos, entonces son iguales. Este
axioma nos dice que lo que caracteriza a un conjunto son sus elementos.
Axioma 2.2. Axioma de Comprensin
Si P (x) es una funcin proposicional entonces existe el conjunto Y de los elementos que verifican P (x).
Formalmente,
Y x(x Y P (x))
Esto es lo que se conoce como un esquema de axiomas, ya que realmente hay un axioma para cada
posible proposicin P (x).
A continuacin algunos casos importantes:
Cuando P (x) es la frmula f also, Y es un conjunto que no tiene elementos. Este conjunto
es conocido como el conjunto vaco y se le denota .
TEORA DE CONJUNTOS
Esta contradiccin se conoce como paradoja de Russell y demuestra que este esquema de
axiomas (y por lo tanto la teora ingenua de conjuntos) es inconsistente.
Cuando P (x) es la frmula verdadero, Y es el conjunto de todo. A este conjunto se le conoce
como el conjunto universal o universo o conjunto de todos los conjuntos y se le denotar
como U . Se puede demostrar que esto tambin es inconsistente.
2.1.
Inclusin.
TEORA DE CONJUNTOS
2.2.
Notacin.
Debe tenerse en cuenta que los conceptos primitivos con los que estamos tratando son conjunto
y pertenencia. No est definido para un conjunto ningn tipo de orden o multiplicidad en sus
elementos. As {1, 2, 3} = {3, 2, 1} = {2, 2, 1, 1, 3, 3}.
Definicin 2.6. Definicin de conjuntos por comprensin.
O PERACIONES
S
Definicin 3.1. Si C es una coleccin de conjuntos, la unin de C, denotada C es el conjunto
S
cuyos elementos son los elementos de los elementos de C. Es decir, z es un elemento de C si y
slo si z pertenece a alguno de los conjuntos de la coleccin C.
[
C = {z | X(z X X C)}
S
En particular, la unin de dos conjuntos X y Y , es decir {X, Y } se denota X Y y es el conjunto
que contiene todos los elementos de X y todos los elementos de Y .
X Y = {z | z X z Y }
Nota: C puede ser un conjunto infinito. Por ejemplo, sea A n = n1 , 7 el intervalo cerrado de
S
nmeros reales entre n1 y 7. Entonces {An } = (0, 7] (para n = 1, 2, 3, ).
T
Definicin 3.2. Si C es una coleccin no vaca de conjuntos, la interseccin de C, denotada C es
el conjunto cuyos elementos pertenecen a todos los elementos de C.
\
C = {z | X(X C z X)}
T
En particular, la interseccin de dos conjuntos X y Y , es decir {X, Y } se denota X Y y es el
conjunto cuyos elementos pertenecen a X y a Y .
X Y = {z | z X z Y }
que en el caso
Al1 igual
T de la unin, C puede ser infinito. Para el mismo ejemplo anterior A n =
,
7
tenemos
que
{An } = [1, 7] (para n = 1, 2, 3, ).
n
TEORA DE CONJUNTOS
2. Conmutatividad
A (B C) = (A B) C,
A (B C) = (A B) C.
A B = B A,
A B = B A.
3. Idempotencia
A A = A,
A A = A.
4. Absorcin
A (A B) = A,
A (A B) = A.
5. Neutro
A = A,
A U = A.
TEORA DE CONJUNTOS
1.
2.
3.
4.
5.
6.
7.
8.
10
AB AyAB B
C AC B C AB
AB AB =A
A C B D AB C D
AAB yB AB
A B B C AB C
AB AB =B
A C B D AB C D
Demostracin. Ejercicio.
A B = B;
B A;
B A = U;
AB =
Definicin 3.8. El conjunto de partes (tambin conocido como conjunto potencia) del conjunto X se
denota P(X) y es el conjunto cuyos elementos son todos los subconjuntos de X.
P(X) = {z | z X}
Ntese que
Y P(X) Y X
Ejemplo: Si A = {1, 2, 3} entonces P(A) = {, {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}, {1, 2, 3}}.
A continuacin algunas propiedades del conjunto potencia:
Theorem 3.9. Para todo conjunto A, B:
1.
2.
3.
4.
5.
6.
P(A) y A P(A)
P() = {}
A B P(A) P(B)
P(A) P(B) P(A B)
P(A) P(B) = P(A B)
P(A B) (P(A) P(B)) {}
Demostracin. Ejercicio
Definicin 3.10. Un conjunto P es una particin del conjunto A si:
S
1. A = P , la unin de los elementos de P es A.
2. x(x P x 6= ), los elementos de P son no vacos.
3. xy((x P y P x 6= y) x y = ), los elementos de P son disjuntos dos a dos.
Es decir, A se parte en pedazos.
Ejemplo: Una particin de {1, 2, 3, 4, 5} es {{1, 2}, {3}, {4, 5}}.
TEORA DE CONJUNTOS
4.
11
R ELACIONES
Definicin 4.1. Dados dos conjuntos a y b llamamos par ordenado a, b al siguiente conjunto:
(a, b) = {{a}, {a, b}}
Ntese que (a, b) es un conjunto.
En el par no ordenado {a, b} no podemos distinguir ambos elementos ya que {a, b} = {b, a}.
En cambio, los elementos del par ordenado (a, b) s son distinguibles, es decir, s sabemos cul
es el primero y cul es el segundo. (a, b) = {{a}, {a, b}} mientras que (b, a) = {{b}, {b, a}}. En
consecuencia, a 6= b (a, b) 6= (b, a).
Theorem 4.2. Si (a, b) = (c, d) entonces a = c y b = d.
En el primer caso tenemos a = c y como {a, b} {{c}, {c, d}} y a 6= b, {a, b} = {c, d}, por lo tanto
a = c y b = d.
En el segundo caso tenemos a = c = d, por lo tanto {a, b} {{a}}, o sea b = a, lo cual es
contradictorio, o sea, que este caso no se puede dar. Por lo tanto si (a, b) = (c, d), entonces a = c y
b = d.
Se pueden definir tripletes ordenados, y en general, n-tuplas ordenadas.
(a) = {a}
(a, b) = {{a}, {a, b}}
(a, b, c) = ((a, b), c)
(a, b, c, d) = ((a, b, c), d)
(a1 , a2 , , an ) = ((a1 , a2 , , an1 ), an )
TEORA DE CONJUNTOS
12
A =A =
A 6= B 6= A B 6=
A C B D AB C D
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
Demostracin. Ejercicio.
Definicin 4.7. Dominio y recorrido de una relacin son los conjuntos Dom(R) = {a |b((a, b) R)}
y Rec(R) = {b |a((a, b) R)}
Definicin 4.8. Si R es una relacin de A en B y S es una relacin de B en C, entonces la composicin de R y S es la relacin S R de A en C definida como
S R = {(a, c) | b((a, b) R (b, c) S)}
Si se utiliza representacin matricial para representar las relaciones R y S, entonces la representacin matricial de S R es la multiplicacin de las matrices de R y S (asumiendo que cualquier
suma cuyo resultado sea distinto de 0 es 1, en particular 1 + 1 = 1).
Obsrvese la inversin de R y S en la notacin de la composicin.
A continuacin algunas propiedades de la composicin de relaciones:
Theorem 4.9. Si R, S y T son relaciones, entonces:
1. (T S) R = T (S R)
TEORA DE CONJUNTOS
2.
3.
4.
5.
6.
7.
(S T ) R = (S R) (T
T (S R) = (T S) (T
(S T ) R (S R) (T
T (S R) (T S) (T
RS T RT S
R S RT S T
13
R)
R)
R)
R)
Demostracin. Ejercicio.
Existen algunas relaciones que tienen un rol fundamental en la matemtica y por lo tanto se estudiarn con mayor detenimiento en las secciones siguientes.
5.
R ELACIONES
DE
E QUIVALENCIA
Si se representa una relacin refleja utilizando notacin matricial, entonces la diagonal de la matriz
tiene slo unos.
Si se representa una relacin refleja utilizando notacin de grafo, entonces todos los vrtices tienen
un arco que sale y llega al mismo vrtice.
Si se representa una relacin simtrica utilizando notacin matricial, entonces la matriz es simtrica con respecto a la diagonal.
Si se representa una relacin simtrica utilizando notacin de grafo, entonces cada vez que hay un
arco de un vrtice a a un vrtice b tambin hay un arco del vrtice b al vrtice a. Puede haber arcos
que salen y llegan al mismo vrtice, en cuyo caso no se repite el arco.
Definicin 5.2. Sea R una relacin de equivalencia en A y x A. La clase de equivalencia de x se
define como Cx = {y | (x, y) R}.
Theorem 5.3. Sea R una relacin de equivalencia en A y sean x, y A.
1. x Cx
2. (x, y) R Cx = Cy
TEORA DE CONJUNTOS
14
3. Cx Cy 6= Cx = Cy
4. x Cy Cx = Cy
5. x, y Cz Cx = Cy
Demostracin. Ejercicio.
Toda relacin de equivalencia sobre un conjunto da origen a una nica particin de ese conjunto
y toda particin de un conjunto da origen a una nica relacin de equivalencia.
Theorem 5.4. Si R es de equivalencia en A entonces el conjunto de las clases C x constituye una particin
de A.
Demostracin. Por 1, las clases son no vacas y todo elemento pertenece a alguna clase. Por 3, las
clases son disjuntas.
Definicin 5.5. La particin generada por las clases de equivalencia de una relacin de equivalencia R se denomina conjunto cociente. El conjunto cociente de una relacin de equivalencia R en A
se denota A/R.
Por ejemplo, el conjunto cociente asociado a la relacin de equivalencia de paralelismo entre rectas
puede interpretarse como el conjunto de las direcciones.
Theorem 5.6. Si P es una particin de A entonces la relacin R = {(x, y) | z(z P {x, y} z)} es
una relacin de equivalencia en A.
Demostracin. Sea P una particin de A.
S
Para x A, como A = P , existe una z P tal que x z, o sea {x} z. Por lo tanto (x, x) R y
R es refleja.
Si para algn z P , {x, y} z, entonces {y, x} z. Por lo tanto R es simtrica.
R ELACIONES
DE
O RDEN
Habitualmente los rdenes se designan con los smbolos o . Con frecuencia, a b se representa
como b a. Entonces sera la relacin inversa de .
Ejemplos:
Los nmeros reales con su orden usual constituyen un conjunto totalmente ordenado.
Los nmeros naturales se pueden ordenar parcialmente de la siguiente manera: dados dos
nmeros naturales m y n definimos m n si y slo si m divide a n.
TEORA DE CONJUNTOS
15
La relacin de inclusin puede verse como un orden parcial del conjunto de todos los
conjuntos2 .
Definicin 6.2. Sea un orden de A. Supongamos que X A, a A y x X:
Ntese que puede haber varios elementos maximales, pero no ms de un supremo. Si existe un
mximo, ste es el nico elemento maximal.
Los conceptos de elemento minimal, cota inferior, nfimo y menor elemento se definen anlogamente:
1. a es un elemento mnimal de X si a X (x a x = a). Si existe un nico minimal, ste
recibe el nombre de mnimo o menor elemento.
2. a es una cota inferior de X si x(a x).
3. a es el nfimo de X si a es la mayor cota inferior de X. Si a es el nfimo de X y a X, a es
el mnimo de X.
Ejemplos:
Considrese el conjunto de los nmeros reales mayores que 0 y menores que 1. El nfimo
es 0, el supremo es 1. No hay elementos minimales o maximales.
Sea A = {1, 2, 3, 6, 9, 14}, X = {2, 3, 6, 9, 14} y = {(a, b) | a divide a b} es la relacin de
orden en A. En este caso 2 y 3 son elementos minimales de X. 1 es el nfimo de X. 6, 9 y 14
son elementos maximales de X y no hay supremo.
Definicin 6.3. Sea una relacin de orden en A.
Un conjunto X con un buen orden (el par ordenado (X, )) se denomina conjunto bien ordenado.
Demostracin. Supongamos que x y y son elementos de un conjunto bien ordenado, entonces {x, y}
es un conjunto no vaco de ese conjunto bien ordenado y por lo tanto tiene un mnimo elemento,
el cual es x o y segn sea que x y o y x.
Ejemplo: nmeros naturales.
En un conjunto bien ordenado todo elemento, a menos que sea el mximo, tiene un nico sucesor:
el mnimo elemento mayor que l. Sin embargo, no todo elemento tiene que tener un predecesor.
Ejemplo: Considrense dos copias de los nmeros naturales ordenadas de manera tal que todos los
elementos de la primera copia son menores que los de la segunda copia. Dentro de cada copia se
utiliza la definicin habitual de orden. Ntese que mientras que todo elemento tiene un sucesor,
hay dos elementos que no tienen predecesor: el cero de la primera copia y el cero de la segunda
copia. La lista sera algo como 0, 1, 2, 3, , 0 0 , 10 , 20 , 30 , .
Definicin 6.5. Sea R una relacin en A y x, y A:
2Recurdese que este conjunto de todos los conjuntos es una inconsistencia de la teora ingenua de conjuntos. Una
manera ms correcta de definir este orden sera la relacin de inclusin en un conjunto de conjuntos dado (e.g. el
conjunto de partes de un conjunto).
TEORA DE CONJUNTOS
16
F UNCIONES
Tipos de Funciones.
Definicin 7.2. Una funcin F : X Y es inyectiva o uno a uno si se cumple xy(F (x) = F (y)
x = y). Es decir, a cada elemento de X corresponde una imagen distinta en Y .
Definicin 7.3. Una funcin F : X Y es sobreyectiva, o simplemente sobre, si se cumple y(y
Y x(x X y = F (x)). Es decir, todo elemento de Y es imagen de algn elemento de X.
Definicin 7.4. Una funcin F : X Y es biyectiva si es inyectiva y sobreyectiva.
El concepto de funcin biyectiva con frecuencia recibe el nombre de biyeccin y correspondencia biunvoca.
Si una funcin F : X Y es biyectiva entonces existe la funcin inversa F 1 : Y X definida
como F 1 = {(y, x) | (x, y) F }.
7.2.
Composicin de funciones.
Definicin 7.5. Supngase que g es una funcin de X en Y y que f es una funcin de Y en Z. Dado
un x X, podemos aplicarle g para determinar un nico elemento y = g(x) Y . Luego podemos
aplicar f para determinar un nico elemento z = f (y) = f (g(x)) Z. La funcin resultante de X
en Z es la composicin de f con g y se denota f g.
Ejemplo: Sea
g = {(1, a), (2, a), (3, c)}
Utilizando notacin matricial para representar las funciones se puede obtener f g mediante la
multiplicacin de la matriz asociada a g y la matriz asociada a f .
TEORA DE CONJUNTOS
8.
17
N MEROS N ATURALES
Los nmeros naturales sirven para contar y enumerar los conjuntos finitos. A continuacin se
definirn formalmente los nmeros naturales.
Definicin 8.1. El sucesor de un conjunto x es el conjunto
S(x) = x {x}.
Ntese que los elementos de S(x) son x y los elementos de x, por lo tanto y S(x) si y slo si
y x o y = x.
Definicin 8.2. Un conjunto C es inductivo o de sucesores si:
1. C
2. x C S(x) C
Definicin 8.3. El conjunto de los nmeros naturales se define como la interseccin de todos los
conjuntos inductivos y es, por lo tanto, el conjunto inductivo ms pequeo de todos. Ntese
que el nico elemento de los naturales que no es sucesor de ningn otro elemento es el conjunto
vaco (el 0). Denotaremos como N al conjunto de los nmeros naturales.
Los nmeros naturales se denotarn de la siguiente manera:
0=
1 = S(0) = {}
2 = S(1) = {, {}} = {0, 1}
3 = S(2) = {, {}, {, {}}} = {0, 1, 2}
..
.
La definicin anterior introduce los nmeros naturales en forma bastante sencilla. Debemos destacar algunas caractersticas de sta. En primer lugar 0 es un nmero natural. En segundo lugar,
si n es un nmero natural, entonces su sucesor tambin lo es. En tercer lugar todo nmero natural
corresponde a una de esas dos posibilidades, o es 0 o es el sucesor de algn otro nmero natural.
Una segunda observacin intuitiva es que el nmero natural n contiene n elementos. Por ejemplo,
0 no contiene ningn elemento, 1 contiene un elemento, 2 contiene dos, etc.
En general, S(n) = {0, 1, 2, , n}, todo nmero natural est formado por los naturales que lo
preceden, salvo el 0, que no contiene ningn elemento.
Ntese que 0 1 2 3 y tambin 0 1 2 3 . Esta observacin nos indica que la
inclusin entre naturales define un orden total. De hecho, los naturales se definen de esta manera
para que la relacin de inclusin sea un buen orden.
8.1.
les:
Axiomas de Peano. Peano propuso los siguientes axiomas para definir los nmeros natura1.
2.
3.
4.
5.
En nuestro caso, los nmeros naturales fueron construidos a partir de conjuntos. En esta seccin
se demostrar que los nmeros construidos cumplen con los axiomas de Peano.
TEORA DE CONJUNTOS
18
1. = 0 N, ya que N es inductivo.
2. Si a N entonces S(a) N, ya que N es inductivo.
3. Por definicin, n S(n), entonces es claro que S(n) no es 0, ya que 0 no contiene ningn
elemento.
4. La propiedad minimal de N hace que si C es inductivo y es un subconjunto de N entonces
C = N. Este axioma se conoce como principio de induccin.
5. La demostracin del Axioma 5 no es trivial. Para demostrarlo hay que demostrar primero
los siguientes teoremas:
Theorem 8.4. Ningn nmero natural es subconjunto de ninguno de sus elementos. n N(m
n n * m) o, equivalentemente n N(n m m
/ n)
Demostracin. Para demostrar esto utilizaremos el principio de induccin. Sea X el conjunto de aquellos nmeros naturales n que no son subconjunto de ninguno de sus elementos.
Puesto que 0 no es subconjunto de ninguno de sus elementos se cumple que 0 X. Supongamos que n X, entonces hay que demostrar que S(n) X. Para que esto sea cierto
S(n) no puede ser subconjunto ni de n ni de ningn elemento de n, ya que S(n) = n {n}.
Se sabe que n n, entonces, por hiptesis n
/ n y por lo tanto S(n) * n. Falta demostrar
que S(n) no es subconjunto de ningn elemento de n. Supongamos que S(n) x, entonces
n x y, por hiptesis, x
/ n, entonces S(n) no puede ser subconjunto de ningn elemento
de n. Se concluye que S(n) X y por lo tanto X = N.
Theorem 8.5. Todo elemento de un nmero natural es subconjunto de dicho nmero natural. n
N(m n m n)
Demostracin. Esta demostracin tambin es inductiva. Sea X el conjunto de todos lo naturales que cumplen la propiedad indicada. El requerimiento se cumple trivialmente para
0. Supongamos que n X. Si x S(n) entonces, por definicin, x n o x = n. En el
primer caso, por hiptesis x n y por lo tanto x S(n). En el segundo caso, obviamente,
x S(n). Se concluye que todos los elementos de S(n) son subconjuntos de S(n) y, por lo
tanto, S(n) X y X = N.
Ahora estamos listos para demostrar el Axioma 5. Supngase que a y b son nmeros
naturales y que S(a) = S(b). Puesto que a S(a), a S(b) y por lo tanto a b o a = b.
El mismo razonamiento aplica para llegar a la conclusin de que b a o b = a. Si a 6= b
entonces a b y b a. Por el Teorema 8.4 concluimos que b * a y por el Teorema 8.5
concluimos que b a, lo cual es una contradiccin; y que a * b y a b, lo cual tambin es
contradictorio. Entonces es imposible que a 6= b y por lo tanto S(a) = S(b) a = b.
TEORA DE CONJUNTOS
8.2.
19
m nm nm=n
TEORA DE CONJUNTOS
20
Corolario 8.11. Tricotoma. Para todo m, n N se cumple una y slo una de las siguientes propiedades:
m < n, m = n, n < m.
Demostracin. Por el teorema 8.10 se sabe que m n m = n n m. Falta slo verificar que slo
una de ellas se cumple.
Supongamos m < n, o lo que es lo mismo, m n, entonces, por el Teorema 8.4, n * m. Si n m o
n = m entonces n m (Teorema 8.5), con lo cual llegamos a una contradiccin.
El mismo razonamiento aplica si n < m.
TEORA DE CONJUNTOS
21
A veces se utiliza para la multiplicacin el smbolo , pero aqu no lo usaremos para evitar confusin con el producto cartesiano.
La multiplicacin tiene las siguientes propiedades:
Asociativa: (ab)c = a(bc)
Conmutativa: ab = ba
Distributiva: a(b + c) = ab + ac
Las demostraciones se dejan como ejercicio.
El orden en los naturales es compatible con las operaciones aritmticas. Para todo natural a, b, c se
cumple:
a b a+c b+c
a b ac bc
9.
C ARDINALIDAD
Definicin 9.1. Dos conjuntos A y B tienen la misma cardinalidad si y slo si existe una funcin
biyectiva entre A y B. En tal caso escribimos A B. En ocasiones A B se lee A es equinumeroso
con B, A es coordinable con B o A es equipolente a B.
Podemos ver la cardinalidad como una relacin de equivalencia 3 ya que se puede demostrar que
A A, A B B A y A B B C A C.
Definicin 9.2. Un conjunto es finito si tiene la misma cardinalidad que algn nmero natural.
Definicin 9.3. Un conjunto infinito es aquel que no es finito.
Un conjunto I es infinito si y slo si tiene algn subconjunto propio S tal que I S.
3Esta relacin sera en el conjunto de todos los conjuntos (U ). Recurdese que es imposible que exista el conjunto
universal y por lo tanto esta definicin de cardinalidad es inadecuada si se estudia una teora ms robusta.
TEORA DE CONJUNTOS
22
Definicin 9.4. Un nmero cardinal o simplemente cardinal es una clase de equivalencia (un elemento del conjunto cociente) de la relacin de cardinalidad. El cardinal del conjunto A se denota
|A|.
Cada nmero natural corresponde a un nmero cardinal finito diferente.
La cardinalidad del conjunto de los nmeros reales se suele denotar con la letra c y se denomina
continuo. c > 0 .
N MEROS E NTEROS
Para definir nuevos conjuntos de nmeros se utiliza un mtodo denominado gentico. Es decir,
cada nuevo conjunto de nmeros se define en trminos de un conjunto previo. Existen tres ideas
fundamentales por las cuales se definen nuevos conjuntos de nmeros:
1. Ampliar el conjunto.
2. Hacer cosas que no se podan hacer con el conjunto previo.
3. Conservar las propiedades (operaciones y orden) existentes en el conjunto previo para los
nmeros equivalentes en el nuevo conjunto.
La motivacin principal para definir los nmeros enteros es permitir la operacin de resta entre
cualquier par de nmeros, cosa que no es posible en los nmeros naturales.
TEORA DE CONJUNTOS
23
Aritmtica.
TEORA DE CONJUNTOS
10.2.1.
24
10.2.4. Divisin con resto. Dados dos enteros a, b con b 6= 0, siempre se pueden conseguir dos
enteros q y r tales que
a = bq + r
con
0 r |q|
donde en este caso |q| representa el valor absoluto de q y est definido por
(
q
si q 0
|q| =
q si q < 0
q recibe el nombre de cociente y r resto. Los nmeros q y r son determinados por a y b.
La operacin que produce q a partir de a y b se denomina divisin entera y se suele denotar a b
La operacin que produce r a partir de a y b se denomina mdulo y se denota a mod b.
Un entero a es par si a mod 2 = 0 y es impar si a mod 2 = 1.
10.3. Cardinalidad. La cardinalidad de Z es la misma de N. Es fcil ver que la secuencia de
enteros 0, 1, 1, 2, 2, 3, 3, 4, 4, est en biyeccin con los naturales.
TEORA DE CONJUNTOS
11.
25
N MEROS R ACIONALES
La definicin de los nmeros racionales tiene las mismas motivaciones que la definicin de los
nmeros enteros. En este caso, se agrega la posibilidad de realizar la operacin de divisin entre
dos nmeros cualesquiera (excepto el cero).
Definicin 11.1. Sea Z el conjunto de los enteros distintos de cero. Formalmente, Z = Z {0}.
Definicin 11.2. Sea Q la siguiente relacin de equivalencia en el conjunto ZZ tal que (m, n)Q(p, q)
si mq = np.
Formalmente,
Q = {((m, n), (p, q)) (Z Z ) (Z Z ) | mq = np}
El conjunto de los nmeros racionales es el conjunto cociente de la relacin Q y se denota con el
smbolo Q. Formalmente,
Q = Z Z /Q
Cada clase de equivalencia de la relacin Q es un nmero racional y cada elemento de Z Z
es una fraccin. Una fraccin (m, n) se suele representar con la notacin m/n o m
n . La primera
componente recibe el nombre de numerador y la segunda denominador.
Bajo la relacin de equivalencia Q tenemos que (1, 4), (2, 8) y (8, 32) pertenecen a la misma clase de
equivalencia. Para representar a un nmero racional normalmente se escoge como representante
de la clase la fraccin no reducible con denominador positivo. Cuando en la fraccin m/n, n es 1
se suele utilizar el entero m para identificar al nmero racional correspondiente.
Todo racional
11.1.
a
b
tiene un opuesto ab =
a
b
a
b
y, si a 6= 0, un inverso
b
a
Aritmtica.
TEORA DE CONJUNTOS
26
11.2.
Orden. Para los nmeros racionales se define la relacin de orden estricto < como:
m
p
<
n
q
Ntese que primero se presentan las fracciones tales que la suma del numerador y el denominador
es 1, luego cuando suma 2, luego 3, etc., alternando los signos .
TEORA DE CONJUNTOS
27
N MEROS R EALES
12.1. Representacin de racionales en una recta. En muchas reas de la matemtica es conveniente hacer uso de figuras geomtricas para mostrar con mayor claridad los conceptos. Asumiendo que conocemos lo que significa una recta, un segmento de recta y la longitud de un segmento,
consideremos una recta que se extiende infinitamente en ambas direcciones.
Consideremos un segmento A0 A1 de cualquier longitud. Nos referiremos a A 0 como el origen, o el
punto 0 y a A1 como el punto 1 y consideremos estos puntos como los nmeros 0 y 1. Para obtener
un punto que represente un racional positivo r escogemos el punto A r tal que A0 Ar /A0 A1 = r,
siendo A0 Ar un segmento que va en la misma direccin de A 0 A1 .
Para representar un nmero negativo r = s, es natural designar la longitud como una magnitud
con signo, positiva si la longitud se mide en la direccin A 0 A1 y negativa en la otra direccin, tal
que AB = BA y que el punto As cumpla con A0 As = As A0 = A0 As .
De este modo obtenemos un punto Ar en la recta que corresponde a cada nmero racional r tal
que
A0 Ar = r A 0 A1
y si tomamos A0 A1 como nuestra unidad de medida y escribimos A 0 A1 = 1, tenemos A0 Ar = r.
Ntese que el hecho de que el orden de los racionales sea denso hace que dado un segmento BC
en la recta podemos encontrar tantos puntos racionales como queramos entre B y C.
Dadas estas consideraciones, podra pensarse que la recta est formada nicamente por los
puntos correspondientes a los racionales en dicha recta. Esta concepcin, sin embargo, est errada.
Un segmento de recta est formado por todos los puntos de la recta que estn entre los extremos
del segmento. Todo segmento tiene asociada una longitud, la cual debe ser una cantidad capaz
de tener una medida numrica en trminos de una unidad de longitud, y estas longitudes deben
ser capaces de combinarse unas con otras mediante las operaciones de suma y multiplicacin.
Existen construcciones geomtricas que producen longitudes que no pueden ser representadas
con nmeros racionales. Un ejemplo es la hipotenusa de un tringulo rectngulo en el que cada
cateto tiene longitud 1. En este caso, la longitud x de la hipotenusa debe satisfacer, por el teorema
de pitgoras, la ecuacin x2 = 2.
Theorem 12.1. El nmero x tal que x2 = 2 no puede ser un nmero racional.
Demostracin. Supongamos que x = m/n con m y n primos entre s. Entonces nx = m y n 2 x2 =
m2 , as que 2n2 = m2 . Por lo tanto m2 es par, lo cual implica que m es par. Si m es par, entonces
m = 2k (k Z) y 2n2 = 4k 2 , lo cual equivale a n2 = 2k 2 y por lo tanto n es par. Si m y n son ambos
pares entonces no son primos entre s, lo cual es una contradiccin.
Ejercicio. Demostrar que no existen nmeros racionales tales que su cuadrado sea un racional
m/n (m y n primos entre s) a menos que m y n sean cuadrados perfectos.
Consideremos la ecuacin x2 = 2. Ya sabemos que no existe ningn racional x que satisfaga esa
ecuacin. S sabemos que el cuadrado de cualquier nmero racional es menor que 2 o mayor que
TEORA DE CONJUNTOS
28
2. Podemos, por lo tanto, dividir los nmeros racionales positivos (por ahora) en dos conjuntos,
uno que contiene los nmeros cuyos cuadrados son menores que 2 y el otro contiene los racionales cuyos cuadrados son mayores que 2. Llamaremos a estos dos conjuntos I, o conjunto de la
izquierda y D, o conjunto de la derecha. Es obvio que todo miembro de D es mayor que todo
miembro de I. Es fcil ver que siempre podremos encontrar un miembro en I cuyo cuadrado, a
pesar de ser menor que 2, difiere de 2 tan poco como queramos. Por ejemplo, los cuadrados de
los nmeros 1; 1, 4; 1, 41; 1, 414; 1,4142, son 1; 1, 96; 1, 9881; 1, 999396; 1, 99996164, , los cuales
son todos menores que 2, pero se aproximan tanto como deseemos.
Igualmente, siempre podremos encontrar un miembro en D cuyo cuadrado, a pesar de ser mayor que 2, difiere de 2 tan poco como queramos. Por ejemplo, los cuadrados de los nmeros
2; 1, 5; 1, 42; 1, 415; 1, 4143; son 4; 2, 25; 2, 0164; 2, 002225; 2, 00024449; , los cuales son todos
mayores que 2, pero se aproximan tanto como deseemos.
Tambin vemos que no hay un mximo elemento en I ni un mnimo elemento en D. Si x es un
elemento de I, entonces x2 < 2. Supongamos que x2 = 2 . Siempre podemos encontrar un
miembro x1 de L tal que x21 difiere de 2 en menos de y as x21 > x2 o x1 > x.
Nuestra nocin de sentido comn sobre los atributos de una recta nos dice que debera existir un
nmero x mayor que todos los miembros de I y menor que todos los miembros de D y un punto
P en la recta tal que P divide los puntos que corresponden a los elementos de I de aquellos que
corresponden a los elementos de D.
Supongamos que existe ese nmero x y que se puede operar con l utilizando operaciones aritmticas. Entonces x2 no puede ser ni menor ni mayor que 2. Supongamos, por ejemplo, que x 2 < 2;
entonces podemos encontrar un racional tal que 2 est entre x2 y 2. Esto es, podemos encontrar
un miembro de I mayor que x, lo cual contradice la suposicin de que x divide a los elementos de
I de los de D. Similarmente, x nopuede ser mayor que 2. Llegamos entonces a la conclusin de
que x es el nmero denotado por 2, el cual no es racional, ya que el cuadrado de ningn racional
es 2. Este es el ejemplo ms simple de lo que se conoce como un nmero irracional.
12.2.
Definicin 12.2. Un nmero real es un par ordenado (I, D) con las siguientes caractersticas:
1.
2.
3.
4.
5.
6.
I 6=
D 6=
I D =Q
I D =
dDiI d>i
I no tiene mximo elemento
Cuando D tiene un mnimo elemento, entonces el nmero real (I, D) corresponde a un nmero
racional.
Cuando D no tiene mnimo entonces el nmero real (I, D) es un nmero irracional.
El conjunto de los nmeros reales se denota con la letra R.
Ejemplos:
El nmero real cero (0) se puede definir como (I, D) con I = {x Q | x < 0} y D = {x
Q | x 0}
El nmero real 1 se puede definir como (I, D) con I = {x Q | x < 1} y D = {x Q | x
1}
TEORA DE CONJUNTOS
29
Definicin 12.3. Un nmero real (I, D) es positivo si se cumple d(d D d > 0) y es negativo
si no es positivo y es distinto de cero.
Definicin 12.4. Todo nmero real a = (I, D) tiene un opuesto a = (D, I) donde
(
{x | x D} { mn(D)} si D tiene mnimo
D =
{x | x D}
de otro modo
(
{x | x I} { mn(D)} si D tiene mnimo
I =
{x | x I}
de otro modo
Siempre se cumple que (a) = a.
Definicin 12.5. Para todo nmero real a 6= 0, uno de los nmeros a y a es positivo. El positivo
lo denotamos |a| y lo llamamos valor absoluto de a. En el caso de a = 0 se tiene que |0| = 0.
12.3.
Aritmtica.
12.3.1. Adicin. La suma (Ic , Dc ) de dos nmeros reales (Ia , Da ) y (Ib , Db ) se define de la siguiente manera:
Ic es el conjunto formado por todas las sumas entre los elementos (racionales) de I a e Ib . Formalmente,
Ic = {x + y | x Ia y Ib }
Dc es el conjunto de los racionales que no pertenecen a I c y est formado por todas las sumas entre
los elementos de Da y Db . Formalmente,
Dc = Q Ic = {x + y | x Da y Db }
La adicin de nmeros reales tiene las propiedades habituales presentes en la adicin de racionales.
12.3.2.
TEORA DE CONJUNTOS
30
12.3.4. Divisin. Antes de definir la divisin debemos definir el inverso 1/a de un nmero real a
(a 6= 0).
12.4. Orden. Sean dos nmeros reales a = (I a , Da ) y b = (Ib , Db ). Siempre se cumple que Ia
Ib D a D b .
Definicin 12.6. Una relacin de orden total y denso en R es (I a , Da ) (Ib , Db ) Ia Ib .
Siempre se cumple uno y slo uno de los siguientes casos (tricotoma):
1. Ia Ib Da Db a = b
2. Ia Ib Da * Db a < b
3. Da Db Ia * Ib a > b
La Figura 12.2 facilita el entendimiento de estos tres casos.
TEORA DE CONJUNTOS
12.5.
31
d2
dk
d1
d2
dk
1
d1
+
+ + k x < n +
+
+ + k + k
10 100
10
10 100
10
10
12.6. Cardinalidad. Los nmeros reales no son enumerables. A continuacin una demostracin
que muestra que el conjunto {r R | 0 < r < 1} no es enumerable.
Demostracin. Asumamos que el conjunto es enumerable. Entonces podemos listar todos los nmeros del conjunto como una secuencia r 1 , r2 , r3 , . Construiremos un nmero real z entre 0 y 1
como sigue:
Si el n-simo dgito de la parte fraccionaria de la expansin decimal de r n es 0, entonces el
n-simo dgito de z es 1.
Si el n-simo dgito de la parte fraccionaria de la expansin decimal de r n es distinto de 0,
entonces el n-simo dgito de z es 0.
z es claramente un nmero real pero es imposible que est en la secuencia, ya que su n-simo dgito
difiere del n-simo dgito de rn .
Por ejemplo, si la lista es:
r1
r2
r3
r4
r5
r6
..
.
=
=
=
=
=
=
0, 0123176...
0, 4147656...
0, 8242782...
0, 2330331...
0, 7676142...
0, 5490901...
N MEROS C OMPLEJOS
Los nmeros reales pueden ser generalizados de varias maneras, aunque ninguna permite conservar todas las propiedades. La generalizacin ms comn la constituyen los nmeros complejos.
Definicin 13.1. Un nmero complejo z es un par ordenado (x, y) donde x, y R.
El conjunto de los nmeros complejos se denota con la letra C.
El nmero real a corresponde al nmero complejo (a, 0). En particular, el nmero real 1 corresponde al complejo (1, 0)
TEORA DE CONJUNTOS
32
Normalmente, el nmero complejo (0, 1) se conoce como unidad imaginaria y se denota con la letra
i.
Un nmero complejo (x, y) se representa normalmente como x + iy. (x, y) = (1, 0)x + (0, 1)y =
x + iy.
Definicin 13.2. Si z = x + iy es un complejo, entonces el nmero real <(z) = x se denomina parte
real de z y el nmero real =(z) = y se denomina parte imaginaria de z.
13.1. Aritmtica. La aritmtica de los complejos est definida de manera tal que las operaciones
sean anlogas a las correspondientes a los nmeros reales, pero estableciendo que i 2 = 1.
13.1.1.
13.1.2.
13.1.3.
13.1.4.
z1
z2
r1 i(1 2 )
.
r2 e
La notacin z = rei da lugar a la ecuacin ei + 1 = 0, que relaciona los cinco nmeros fundamentales de la matemtica.
TEORA DE CONJUNTOS
33
p
Definicin 13.3. El nmero real r = x2 + y 2 se denomina valor absoluto o norma de z y se denota
|z| y el nmero real se denomina argumento de z.
Definicin 13.4. Si z = x + iy, el nmero complejo x + i(y) = x iy se denomina conjugado de z
y se denota z.
Theorem 13.5. A continuacin algunas propiedades del conjugado:
1.
2.
3.
4.
5.
6.
z=z
z+w =z+w
z = z y = 0
|z| = |
z|
2
|z| = z
z
1/z = z/ |z|2
Demostracin. Ejercicio.
13.3.
Algunas propiedades.
13.3.1. Orden. A diferencia de los reales, los complejos no se pueden ordenar de ninguna manera
que sea compatible con las operaciones aritmticas.
Supongamos que i > 0, entonces multiplicando por i nos queda i 2 > 0, lo cual equivale a 1 > 0
lo cual es falso.
Supongamos que i < 0, entonces 0 < i, multiplicando por i nos queda 0 < (i) 2 = i2 = 1 lo
cual es falso.
Entonces la unidad imaginaria no es comparable con el cero .
13.3.2. Teorema fundamental del lgebra. Todo polinomio de grado n tiene n races complejas (contando las races con su orden de multiplicidad). Es decir, si p(z) = a 0 + a1 z + a2 z 2 + + z n
donde a0 , a1 , ..., an1 son nmeros reales o complejos, entonces existen nmeros complejos (no
necesariamente diferentes) z1 , z2 , ..., zn tales que p(z) = (z z1 )(z z2 ) (z zn ).
R EFERENCIAS
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]
[9]
[10]
[11]
[12]
[13]
[14]
[15]
[16]
[17]
[18]
[19]
[20]
TEORA DE CONJUNTOS
34