Você está na página 1de 34

TEORA DE CONJUNTOS

GUIDO URDANETA, SALVADOR PINTOS Y DANIEL FINOL

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.

Orden en los nmeros naturales

19

8.3.

Aritmtica en los nmeros naturales

20

9.

Cardinalidad

10.

21

Nmeros Enteros

22

10.1.

Orden en los nmeros enteros

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.

Representacin de racionales en una recta

27

12.2.

Definicin de los nmeros reales

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

La lgica es el estudio del razonamiento; en particular, se analiza si un razonamiento es correcto.


Los mtodos lgicos se utilizan en matemticas para demostrar teoremas.
Una proposicin es una afirmacin que es verdadera o falsa, pero no ambas. Por ejemplo las siguientes afirmaciones son proposiciones:
Todos los carros tienen siete ruedas
Para todo nmero entero x se cumple que si x > 0 entonces 2x > 0
Las siguientes oraciones no son proposiciones:
Contine leyendo
De qu color te pintaste el pelo?
En lo que resta de seccin, se utilizarn letras minsculas o maysculas como p, q, P y Q para
representar proposiciones.
1.1. Conectores Lgicos. Los conectores lgicos son smbolos que permiten construir proposiciones ms complejas a partir de proposiciones existentes. Los conectores ms fundamentales son
la conjuncin, la disyuncin y la negacin.
1.1.1. Conjuncin. La conjuncin de p y q, denotada p q, es la proposicin p y q. Esta proposicin slo es verdadera cuando tanto p como q son verdaderas. Si al menos una de las proposiciones
es falsa entonces la conjuncin es falsa. Esto se muestra mediante la siguiente tabla de verdad:
p
F
V
F
V

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

1.1.3. Negacin. La negacin de p, denotada p o p, es la proposicin no p. Si p es verdadera,


entonces la negacin de p es falsa y si p es falsa, la negacin de p es verdadera. Esto se muestra
mediante la siguiente tabla de verdad:
p p
F V
V F
1.1.4.

Propiedades. A continuacin algunas propiedades de la conjuncin, disyuncin y negacin.

Theorem 1.1. Para toda proposicin p,q,r se cumple


1. Conmutatividad
p q es equivalente a q p
2. Asociatividad

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

Demostracin. Todas las propiedades se demuestran fcilmente construyendo las correspondientes


tablas de verdad.


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.

Implicacin. Considrese el siguiente razonamiento:

1. Si hoy es domingo, entonces no voy a trabajar.


2. Hoy es domingo.
3. Por lo tanto, hoy no voy a trabajar.
Las palabras si y entonces en la primera proposicin hacen que la tercera proposicin sea
verdadera. Para representar este tipo de proposicin introducimos un nuevo conector lgico, denominado implicacin. Escribimos p q para denotar la proposicin si p entonces q o p implica
q o p es condicin suficiente para q. En la proposicin p q, la proposicin p se conoce como
hiptesis o antecedente y q como conclusin o consecuente.
En principio, la construccin de la tabla de verdad para la implicacin puede no ser obvia. Podemos decir con certeza que si la hiptesis p es verdadera y la conclusin q es falsa entonces la
implicacin es falsa. Tambin es razonable suponer que si p y q son verdaderas entonces la implicacin es verdadera. El problema se presenta si p es falsa. Inicialmente la tabla de verdad queda
como:
p
F
V
F
V

q pq
F
?
F
F
V
?
V
V

Consideremos la siguiente proposicin: si x > 2 entonces x 2 > 4, la cual podemos representar


como P (x) Q(x), siendo P (x) la proposicin x > 2 y Q(x) la proposicin x 2 > 4. Est claro
que las proposiciones P (x) sern verdaderas para algunos valores de x y falsas para otros y lo
mismo aplica a las proposiciones Q(x). De lo que si no cabe duda es de que si se cumple x > 2
entonces se cumple x2 > 4 y por lo tanto la implicacin P (x) Q(x) es verdadera. Supongamos
que x = 3, en este caso x > 2 y x2 = 9 > 4 y por lo tanto P (x) y Q(x) son verdaderas. Este
caso corresponde a la cuarta fila de la tabla. Consideremos ahora el caso x = 1; en este caso P (x)
y Q(x) son falsas, pero esto no cambia el hecho de que la implicacin sigue siendo verdadera,
entonces en la primera lnea de la tabla debemos asignar a p q el valor verdadero. Por ltimo
consideremos x = 3; en este caso P (x) es falsa y Q(x) es verdadera, entonces en la tercera lnea

TEORA DE CONJUNTOS

de la tabla debemos asignar a p q el valor verdadero. La tabla de verdad de la implicacin


debe entonces escribirse de la siguiente manera:
p
F
V
F
V

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

Ntese tambin que p q no es equivalente a q p.


1.3.2. Doble implicacin. En la matemtica se presenta con frecuencia el caso en que tanto p q y
q p son verdaderas. En este caso se escribe p q. Esta expresin es equivalente a p q q p
y se lee q si y slo si p o p es condicin necesaria y suficiente para q o p es equivalente a q.
La tabla de verdad para la doble implicacin es:
p
F
V
F
V

q pq
F
V
F
F
V
F
V
V

Con frecuencia, la expresin q si y slo si p se escribe q ssi p.


1.4. Cuantificadores. Una proposicin con variable libre P (x) puede ser verdadera para algunos
valores de x y falsa para otros. Con frecuencia, queremos decir que P (x) es verdadera para todos
los valores de x o para al menos un valor de x. Los smbolos y se denominan cuantificadores y
permiten expresar estas ideas.
Para decir que P (x) es verdadero para todos los valores posibles de x escribimos xP (x) o x(P (x))
y leemos para todo x, P (x). El cuantificador se denomina cuantificador universal. 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)).

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.

x(P (x)) no es equivalente a x(P (x))


x(P (x)) no es equivalente a x(P (x))
x(P (x)) x(Q(x)) no es equivalente a x(P (x) Q(x))
x(y(P (x, y)) no es equivalente a x(y(P (x, y))
2.

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

Cuando P (x) es la frmula x


/ x llegamos a una contradiccin. La pregunta es Pertenece
Y a Y ?. Si la respuesta es afirmativa, entonces Y verifica la propiedad que define a Y (esto
es, Y
/ Y ). Si la respuesta es negativa, entonces, por definicin Y Y . En cualquier caso
obtenemos la contradiccin:
Y Y Y
/Y

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.

Definicin 2.3. X es un subconjunto de Y o es parte de Y (se denota X Y ), si y slo si todo


elemento de X es un elemento de Y . O sea,
X Y x(x X x Y )
Si X Y se dice que X est incluido en Y y que Y incluye a X.
Para todo conjunto X se cumple X X.
Demostracin. x(x X x X) lo cual es trivial. Esta propiedad se llama reflexividad.

Para todo conjunto X, Y se cumple X Y Y X X = Y .


Demostracin. x((x X x Y ) (x Y x X) X = Y ), por definicin de doble
implicacin esto es lo mismo que decir x((x X x Y ) X = Y ) y esto no es ms que el
axioma de extensin. Esta propiedad se denomina antisimetra.

Para todo conjunto X, Y , Z se cumple X Y Y Z X Z
Demostracin. X Y Y Z equivale a decir x((x X x Y ) (x Y x Z)). Si esta
proposicin es cierta, entonces podemos concluir que x(x X x Z), lo cual es exactamente
la definicin de X Z. Esta propiedad se llama transitividad.

Con esta definicin, el Axioma 2.1 puede escribirse ms abreviadamente como
XY (X Y Y X X = Y )
Definicin 2.4. X es un subconjunto propio de Y (se denota X Y ) 1 si X Y X 6= Y .
1El concepto de subconjunto propio es mucho menos utilizado en la matemtica que el de subconjunto. En muchos
libros se utiliza el smbolo para indicar la relacin de subconjunto que aqu indicamos con el smbolo .

TEORA DE CONJUNTOS

2.2.

Notacin.

Definicin 2.5. Definicin de conjuntos por extensin.


{x1 , x2 , , xn } denota un conjunto X si y slo si y(y X (y = x 1 y = x2 y = xn )).
Se podra aadir el requerimiento de que este conjunto debe ser nico, pero no es necesario, ya
que el Axioma de Extensin lo garantiza.
Ejemplos: A = {perro, gato, loro} B = {2, 3, 5, 7}

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.

{x | P (x)} denota un conjunto X si y slo si z(z X P (z)).


Ejemplo: B = {x | x N x es primo x 10}
3.

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 }

Ejemplo: Sea A = {1, 2} y B = {2, 3}, entonces A B = {1, 2, 3}.



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 }

Ejemplo: Sea A = {1, 2} y B = {2, 3}, entonces A B = {2}.

 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

Definicin 3.3. Los conjuntos X y Y son disjuntos si X Y = .


Ejemplo: A = {1, 2} y B = {gato, perro} son disjuntos.

TEORA DE CONJUNTOS

Definicin 3.4. El complemento X del conjunto X es el conjunto cuyos elementos no pertenecen a


X.
X = {z | z
/ X}

Definicin 3.5. La diferencia de los conjuntos X y Y se denota X Y y es el conjunto cuyos


elementos pertenecen a X y no pertenecen a Y .
X Y = X Y = {z | z X z
/ Y}
Ejemplo: Sea A = {1, 2} y B = {2, 3}, entonces A B = {1}.
A continuacin algunas propiedades de las operaciones .
Theorem 3.6. lgebra de conjuntos.
Para todo conjunto A,B,C:
1. Asociatividad

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.

(siendo U un conjunto universal)


6. Distributividad
A (B C) = (A B) (A C),
A (B C) = (A B) (A C).
7. Leyes de De Morgan
A B = A B,
A B = A B.
8.
AA=
9.
A = (A B) (A B)
Demostracin. Ejercicio.
La relacin A B se relaciona con las dems operaciones como sigue:
Theorem 3.7. Para todo conjunto A, B, C, D:

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.

Ejercicio. Probar que las siguientes proposiciones son equivalentes a A B :


A B = A;

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.

Demostracin. Supongamos que (a, b) = (c, d), esto es,


{{a}, {a, b}} = {{c}, {c, d}}
Si a = b tenemos {{a}} = {{c}, {c, d}}, entonces {a} = {c} = {c, d}, o sea, a = b = c = d.
Si a 6= b tenemos {a} = {c} o {a} = {c, 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 )

Lema 4.3. Si a A y b A, (a, b) P(P(A)).


Demostracin. Ejercicio.

Definicin 4.4. El producto cartesiano de dos conjuntos A y B es el siguiente conjunto:


A B = {(a, b) | a A b B}
Ntese que el producto cartesiano no es conmutativo.
Podemos tambin introducir productos cartesianos triples, cudruples, etc., de la siguiente manera:
A B C = {(a, b, c) | a A b B c C}
A1 A2 An = {(a1 , a2 , , an ) | a1 A1 a2 A2 an An }

TEORA DE CONJUNTOS

12

A continuacin algunas propiedades de los productos cartesianos:


Theorem 4.5. Para todo conjunto A, B, C, D:
1.
2.
3.
4.
5.
6.

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.6. Una relacin R de un conjunto A en un conjunto B es cualquier subconjunto R


AB
Si A = B se dice que R es una relacin en A.
Con frecuencia, la expresin (a, b) R se abrevia aRb.

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)}

Formas de representar las relaciones:

Diagrama de flechas entre dos conjuntos


Como matrices de elementos {0, 1}. Ejemplo: {(a, x), (a, z), (b, y), (b, w), (c, x), (c, w)} se rex y w z
a 1 0 0 1
presenta como
b 0 1 1 0
c 1 0 1 0
Como un grafo cuando la relacin es en un conjunto A.
Ejemplo: R = {(a, a), (a, c), (c, b)}con A = {a, b, c} se representa como

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.

Definicin 4.10. La relacin inversa de R es la relacin R 1 = {(b, a) | (a, b) R}.


Si se utiliza representacin matricial para representar la relacin R, entonces la representacin de
R1 es la traspuesta de R (las filas de R pasan a ser las columnas de R 1 ). Si se utiliza la notacin
de grafos, R1 sera igual que R pero cambiando el sentido de las flechas.
A continuacin algunas propiedades de las relaciones inversas:
Theorem 4.11. Si R y S son relaciones, entonces:
1
1. R1
=R
1
2. (S R) = R1 S 1
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

Definicin 5.1. Sea R una relacin en A


1.
2.
3.
4.

R es refleja si a(a A (a, a) R)


R es simtrica si ab((a, b) R (b, a) R)
R es transitiva si abc(((a, b) R (b, c) R) (a, c) R)
R es de equivalencia si y slo si R es refleja, simtrica y transitiva.

Ejemplo: Igualdad, paralelismo de rectas, (a, b)R(c, d) ad = bc

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.

Si existen u1 , u2 P tales que {x, y} u1 y {y, z} u2 , entonces u1 u2 6= y por lo tanto u1 = u2 .


Por lo tanto {x, z} u1 , o sea, R es transitiva.

6.

R ELACIONES

DE

O RDEN

Definicin 6.1. Sea R una relacin en A y x, y A:


1.
2.
3.
4.

R es antisimtrica si xRy yRx x = y.


R es total si xRy yRx.
R es un orden si y slo si R es refleja, antisimtrica y transitiva.
R es un orden total si R es de orden y total.

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:

1. a es un elemento maximal de X si a X (a x x = a). Si existe un nico maximal, ste


recibe el nombre de mximo o mayor elemento.
2. a es una cota superior de X si x(x a).
3. a es el supremo de X si a es la menor cota superior de X. Si a es el supremo de X y a X
entonces a es el mximo de 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.

es un buen orden si todo subconjunto no vaco de A tiene un elemento mnimo.

Un conjunto X con un buen orden (el par ordenado (X, )) se denomina conjunto bien ordenado.

Theorem 6.4. Un buen orden siempre es un orden total.

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

1. R es asimtrica si xy((x A y A xRy) yRx.


2. R es un orden estricto si R es de asimtrica y transitiva.
Habitualmente los rdenes estrictos se designan con los smbolos < o . Con frecuencia, a < b se
representa como b > a. Entonces > sera la relacin inversa de <.
7.

F UNCIONES

Definicin 7.1. F : X Y es una funcin si y slo si:


1. F es una relacin de X en Y .
2. Dom(F ) = X, es decir, todo elemento del conjunto X tiene una imagen.
3. (x, y) F (x, z) F y = z, es decir, la imagen de cada elemento x X es nica.
Las funciones son las relaciones ms importantes y se encuentran en casi todos los temas matemticos.
Con frecuencia se escribe F (x) = y cuando F es una funcin y (x, y) F .
7.1.

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)}

una funcin de X = {1, 2, 3} en Y = {a, b, c}, y

f = {(a, y), (b, x), (c, z)}

una funcin de Y = {a, b, c} en Z = {x, y, z}.

La composicin de f con g es la funcin de X en Z: f g = {(1, y), (2, y), (3, z)}.

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.

Existe el nmero natural 0.


Todo nmero natural a tiene un sucesor, denotado por S(a)
No existe ningn nmero natural cuyo sucesor es 0.
Si C N, si se cumple 0 C (n C S(n) C), entonces C = N.
Nmeros naturales distintos tienen sucesores distintos: a 6= b S(a) 6= S(b), o lo que es lo
mismo, S(a) = S(b) a = b.

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.

El principio de induccin (Axioma 4) puede ser enunciado en trminos de la proposicin lgica


que define al conjunto C por comprensin.
Theorem 8.6. Sea (x) una funcin proposicional. Supongamos que
1. (0) se verifica
2. Para todo n N, si (n) se verifica, entonces (S(n)) tambin se verifica
Entonces (n) se verifica para todo n N.
Demostracin. Sea X el conjunto de los nmeros naturales para los que se verifica (x), X = {x
N | (x)}. 0 X ya que (0) se verifica. Supongamos que n X, entonces (n) se verifica y
por hiptesis (S(n)) se verifica y S(n) X. Por lo tanto X es inductivo. Como X N, entonces
X = N.


TEORA DE CONJUNTOS

8.2.

19

Orden en los nmeros naturales.

Definicin 8.7. La relacin se define en N por:

m nm nm=n

En este caso diremos m es menor o igual a n.


Utilizaremos el smbolo < para denotar la relacin
m < n m n m 6= n m n

En este caso diremos m es menor que n.

Lema 8.8. Para todo nmero natural m, n, p se cumple que m n n p m p.


Demostracin. Supongamos que n p, entonces por el Teoremas 8.5 n p. Si adicionalmente
m n, entonces m p. Por lo tanto m n n p m p.

Lema 8.9. Para todo nmero natural m, n se cumple que m n S(m) S(n).

Demostracin. Por induccin en n.


1. Para n = 0 la propiedad es verdadera trivialmente, ya que m 0 siempre es falsa.
2. Asumiendo m n S(m) S(n) se debe verificar que m S(n) S(m) S(S(n)).
Ntese que S(m) S(S(n)) si y slo si S(m) = S(n) o S(m) S(n). Asumamos que
m S(n), entonces m = n o m n. Si m = n tenemos S(m) = S(n); si m n, por
hiptesis inductiva tenemos S(m) S(n).

Por lo tanto m n S(m) S(n) se verifica para todo m, n N.

Theorem 8.10. es un orden total sobre N.


Demostracin. Se debe demostrar que es refleja, antisimtrica, transitiva y total. Supngase que
m, n y k son nmeros naturales.
1. Reflexividad. n n trivialmente para todo n N ya que n = n.
2. Antisimetra: m n n m m = n. Supongamos que m n n m se cumple, pero
m 6= n. Entonces se cumple m n n m. Por el Teorema 8.5 entonces m n y n m, lo
cual implica m = n (ver Teorema 2.1).
3. Transitividad: k m m n k n. Si k = m o k = n la propiedad se cumple
trivialmente. Supongamos que k m y m n, entonces, por el Lema 8.8, k n y por lo
tanto k n.

1. Totalidad: Se debe cumplir m n n m. Por definicin, esto equivale a decir m
n m = n n m. Se utilizar induccin en n para demostrar que la propiedad se cumple:
a) Para n = 0 se debe cumplir m = 0 0 m. Para demostrar esto se utilizar induccin
en m.
1) Para m = 0 la condicin se verifica trivialmente.
2) Se debe verificar ahora que m = 0 0 m S(m) = 0 0 S(m) . S(m) = 0 es
imposible, as que hay que demostrar que m = 0 0 m 0 S(m). Si m = 0
entonces S(m) = 0 {0} = {0}, entonces 0 S(m) y la propiedad se verifica.
Por hiptesis, 0 m y, por definicin, se sabe que m S(m), entonces por el
Lema 8.8, 0 S(m) y por lo tanto se verifica la propiedad.

TEORA DE CONJUNTOS

20

Por lo tanto la propiedad se verifica para n = 0.


b) Ahora se debe verificar que m nm = nn m m S(n)m = S(n)S(n) m.
Supngase que m n; por definicin n S(n); entonces por el Lema 8.8, m S(n) y
se verifica la propiedad.
Supngase que m = n; por definicin n S(n) y por lo tanto m S(n) y se verifica la
propiedad.
Supngase que n m, entonces m 6= 0 y podemos decir que m = S(k) y n S(k).
Entonces tenemos que n = k o n k. Si n = k, entonces S(n) = S(k) = m, lo cual
verifica la propiedad. Si n k entonces, por el Lema 8.9, S(n) S(k) = m, lo cual
verifica la propiedad.
Por lo tanto para todo m, n N se cumple que m n n m.

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.

Si m = n esto equivale a m n n m. Si m < n entonces n * m y llegamos a una contradiccin.


Lo mismo aplica si n < m.

Theorem 8.12. es un buen orden
Demostracin. Sea X un subconjunto de N. Debemos demostrar que X tiene un mnimo o que
X = . Sea (n) la proposicin ningn elemento de X es menor que n (ms formalmente,
k(k < n k
/ X)). Si X tiene un mnimo entonces no hay problema ya que ningn elemento de
X es menor que su mnimo. Supongamos que X no tiene mnimo y apliquemos induccin en n.
1. (0) es verdadera, ya que ningn elemento puede ser menor que 0.
2. Supngase que (n) es verdadera. Si (S(n)) fuera falsa, entonces X tendra un elemento
menor que S(n), pero no podra ser menor que n ya que (n) se verifica y n sera el mnimo,
lo cual sera una contradiccin. Entonces (S(n)) se verifica y por lo tanto (n) se verifica
para todo n.
Por lo tanto, para todo n, ningn elemento de X es menor que n. Esto slo puede ser cierto si X
no tiene elementos, ya que, por definicin, todo nmero natural es menor que su sucesor.

Ntese que en algunos casos se utiliza el buen orden de los naturales como un axioma denominado
Principio de buena ordenacin de los nmeros naturales o simplemente, principio de buena ordenacin.
El principio de induccin se puede demostrar a partir del principio de buena ordenacin. Esto
significa que ambos principios son equivalentes. Queda como ejercicio demostrar el principio de
induccin a partir del principio de buena ordenacin.
8.3. Aritmtica en los nmeros naturales. Una operacin binaria (tambin llamada operador
binario) en un conjunto A es una funcin Q : A A A. Usualmente el elemento ((a, b), c) de
Q se suele escribir a Q b = c y en algunos casos Q(a, b) = c.

TEORA DE CONJUNTOS

21

8.3.1. Adicin. La adicin es una operacin binaria identificada con el smbolo + (+ : N N N)


definida por las siguientes propiedades:
a+0 =a
a + S(b) = S(a + b)
El resultado de esta operacin se llama suma.
La adicin tiene las siguientes propiedades:
Asociativa: (a + b) + c = a + (b + c)
Conmutativa: a + b = b + a
Las demostraciones se dejan como ejercicio.
8.3.2. Multiplicacin. La multiplicacin es una operacin binaria identificada con el smbolo
( : N N N). definida por las siguientes propiedades:
a0 =0
a S(b) = a b + a

Con mucha frecuencia, se omite el smbolo de multiplicacin, y escribimos ab en lugar de a b.

El resultado de esta operacin se llama producto.

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.

N es el conjunto infinito con menor cardinalidad.


Definicin 9.5. Existe un orden en los cardinales. |A| |B| si existe una funcin inyectiva de
A en B. As, para todo par de conjuntos A, B se cumple |A| |B| |B| |A|. Como es usual, se
utilizar |A| < |B| para indicar |A| |B| |A| 6= |B|. Nota: se debe demostrar que es un orden
total.
Para representar los cardinales finitos se utilizarn los mismos smbolos utilizados para representar los nmeros naturales (0, 1, 2, ). Por el contexto se sabr si se trata de un nmero natural o
un cardinal.
Para representar los cardinales infinitos se utilizar una notacin con la letra hebrea (aleph) . El
menor cardinal infinito es 0 y es igual a |N|. 1 denota el siguiente cardinal infinito. No existe
ningn conjunto A tal que 0 < |A| < 1 . Evidentemente, si n es un cardinal finito entonces
n < 0 .

La cardinalidad del conjunto de los nmeros reales se suele denotar con la letra c y se denomina
continuo. c > 0 .

Definicin 9.6. Un conjunto A es contable o enumerable si |A| 0 . Si |A| = 0 entonces A es un


conjunto contablemente infinito. Todos los elementos de un conjunto enumerable se pueden enumerar uno tras otro en una lista (suponiendo que haya suficiente papel, tinta, energa y tiempo en el
universo para elaborar dicha lista).
Teorema de Cantor. Para todo conjunto A se cumple que |A| < |P(A)|.
Demostracin. Se debe demostrar que toda funcin inyectiva f : A P(A) no puede ser sobreyectiva. Para esto basta mostrar un subconjunto de A (un elemento de P(A)) que no est en el
recorrido de f . Un subconjunto que cumple con esa condicin es B = {x A | x
/ f (x)}.

Supngase que B est en el recorrido de f . Entonces, para algn a A tendremos f (a) = B.


Ahora hay que determinar si a B. Si a B entonces a f (a), pero eso implica, por definicin
que a
/ f (a). Por otro lado, si a
/ B entonces a
/ f (a) y por lo tanto a B. En cualquier caso
obtenemos la contradiccin a B a
/ B.

10.

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

Definicin 10.1. Sea Z la relacin de equivalencia en N N tal que (m, n)Z(p, q) si m + q = n + p.


Formalmente,
Z = {((m, n), (p, q)) (N N) (N N) | m + q = n + p}
El conjunto de los nmeros enteros es el conjunto cociente de la relacin Z y se denota con el
smbolo Z. Formalmente,
Z = NN/Z
Cada clase de equivalencia de la relacin Z es un nmero entero.
Bajo la relacin de equivalencia Z tenemos que (1, 0), (2, 1) y (8, 7) pertenecen a la misma clase
de equivalencia. Igualmente, (1, 4), (3, 6) y (7, 10) son equivalentes. Para representar a un nmero
entero normalmente se escoge como representante de la clase al elemento que tenga el natural 0
como alguna de sus componentes. Entonces, para el primer ejemplo, el representante preferido es
(1, 0) y para el segundo sera (0, 3). Usualmente cuando la segunda componente es cero, el entero
se representa con el nmero natural de la primera componente, as en el primer ejemplo el nmero
entero se representara con el smbolo 1 y en general, cuando el representante preferido es (a, 0)
(con a N) el entero se representar como a. Cuando la primera componente es cero, el entero
se representa con el nmero natural de la segunda componente precedido por el smbolo , as
en el segundo ejemplo el nmero entero se representara con el smbolo 3 y en general, cuando
el representante preferido tiene la forma (0, a) el entero se representar como a. Todo entero a
tiene un opuesto a. (a) = a. En el caso particular en que el entero es la clase del par (0, 0) la
representacin utilizada es 0. En todo caso, por el contexto se sabr si un smbolo representa un
natural o un entero.
En lo que resta de esta seccin utilizaremos la notacin [a, b] para representar al nmero entero
C(a,b) , es decir, a la clase de equivalencia a la que pertenece el par de nmeros naturales (a, b).
10.1. Orden en los nmeros enteros. Para los nmeros enteros se define la relacin de orden
como:
[m, n] [p, q] m + q n + p
Esta es una relacin de orden total, pero no es un buen orden. Las demostraciones se dejan como
ejercicio.
El orden en los enteros es compatible con las operaciones aritmticas. Para todo entero a, b, c se
cumple:
a b a+c b+c
c > 0 a b ac bc
c < 0 a b ac bc
Los nmeros enteros mayores que cero se denominan enteros positivos y los menores que cero se
denominan enteros negativos.
10.2.

Aritmtica.

TEORA DE CONJUNTOS

10.2.1.

24

Adicin. La suma de dos enteros [m, n] y [p, q] est definida por:


[m, n] + [p, q] = [m + p, n + q]

La adicin tiene las siguientes propiedades:


Asociativa: (a + b) + c = a + (b + c)
Conmutativa: a + b = b + a
Opuesto: a + (a) = 0
Neutro: a + 0 = a.
Las demostraciones se dejan como ejercicio.
10.2.2. Sustraccin. La sustraccin es una operacin identificada con el smbolo ( : Z Z Z)
definida por:
a b = a + (b)
El resultado de esta operacin se llama diferencia.
10.2.3.

Multiplicacin. El producto de dos enteros [m, n] y [p, q] est definido por:


[m, n] [p, q] = [mp + nq, np + mq]

Con frecuencia, se omite el smbolo de multiplicacin, y se escribe ab en lugar de a b.

La multiplicacin tiene las siguientes propiedades:


Asociativa: (ab)c = a(bc)
Conmutativa: ab = ba
Neutro: a 1 = a
Cancelacin: a 0 = 0
Distributiva: a(b + c) = ab + ac
Las demostraciones se dejan como ejercicio.

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.

11.1.1. Adicin. La adicin es una operacin binaria identificada con el smbolo + (+ : Q Q Q)


definida por:
mq + np
m p
+ =
n
q
nq
La adicin tiene las siguientes propiedades:
Asociativa: (a + b) + c = a + (b + c)
Conmutativa: a + b = b + a
Opuesto: a + (a) = 0
Neutro: a + 0 = a.
11.1.2. Sustraccin. La sustraccin es una operacin identificada con el smbolo ( : Q Q Q)
definida por:
a b = a + (b)

TEORA DE CONJUNTOS

26

11.1.3. Multiplicacin. La multiplicacin es una operacin binaria identificada con el smbolo


( : Q Q Q) y definida por:
mp
m p
=
n q
nq
Con frecuencia, se omite el smbolo de multiplicacin, y se escribe ab en lugar de a b (a, b Q).
La multiplicacin tiene las siguientes propiedades:
Asociativa: (ab)c = a(bc)
Conmutativa: ab = ba
Distributiva: a(b + c) = ab + ac
Neutro: a 1 = a
Cancelacin: a 0 = 0
n
Inverso: m
n m =1
11.1.4. Divisin. La existencia del inverso permite la operacin de divisin para todo racional
(excepto con el cero). La divisin es una operacin binaria identificada con el smbolo / (/ :
Q (Q{0}) Q) y definida por:
m q
mq
m p
/ =
=
n q
n p
np

11.2.

Orden. Para los nmeros racionales se define la relacin de orden estricto < como:
m
p
<
n
q

si mq < np y nq > 0 o si mq > np y nq < 0.


Para dos racionales, r y s, r s r < s r = s.
es una relacin de orden total, pero no es un buen orden. Las demostraciones se dejan como
ejercicio.
El orden en los racionales es compatible con las operaciones aritmticas. Para todo racional a, b, c
se cumple:
a b a+c b+c
c > 0 a b ac bc
c < 0 a b ac bc
El orden de los racionales es denso. Esto significa que para todos los racionales a, b tales que a < b
existe un racional c tal que a < c < b. En el caso de los racionales, si a < b, el nmero a+b
2 siempre
cumple la propiedad a < a+b
<
b.
2
11.3.

Cardinalidad. La cardinalidad de los nmeros racionales es igual a la de los naturales ( 0 ).

Es facil enumerar los racionales: 0, 1, 1, 21 , 12 , 2, 2, 31 , 13 , 3, 3, 14 , 41 , 32 , 23 , 32 , 23 , 4, 4,

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

F IGURA 12.1. Representacin de racionales en una recta


12.

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 de los nmeros reales.

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

El nmero real 1 se puede definir como (I, D) con I = {x Q | x < 1} y D = {x Q |


x 1}

El nmero real 2 se puede definir como (I, D) con I = {x Q | x 2 < 2 x < 0} y


D = {x Q | x2 > 2 x > 0}

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.

Sustraccin. La sustraccin de dos reales a y b se define por la ecuacin:


a b = a + (b)

12.3.3. Multiplicacin. En primer lugar definiremos la multiplicacin de nmeros positivos. Si


a = (Ia , Da ) y b = (Ib , Db ) son reales positivos entonces el producto c = (I c , Dc ) de a y b est
definido por:
Ic es el conjunto formado por todos los productos entre los elementos de I a e Ib . Formalmente,
Ic = {xy | x Ia y Ib }
Dc es el conjunto formado por todos los productos entre los elementos de D a y Db . Formalmente,
Dc = Q Ic = {xy | x Da y Db }
Para incluir los nmeros negativos en la definicin establecemos que si a y b son reales positivos
entonces:
(a)b = ab, a(b) = ab, (a)(b) = ab
Finalmente, incluimos el cero en la definicin estableciendo que a(0) = (0)a = 0 para todo real a.

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).

En primer lugar definiremos el inverso de un nmero real positivo a = (I a , Da ) como el par


(Ib , Db ) tal que:
Ib est constituido por todos los racionales no positivos y todos los inversos de los racionales en
Da , excepto mn(Da ) en caso de que Da tenga mnimo. Formalmente,
Ib = {x Q | x 0} {1/x | x Da y Da (y < x)}
Db est constituido por todos los racionales que no pertenecen a I b , es decir, todos los inversos de
los racionales positivos en Ia y el inverso del mnimo de Da en caso de que lo haya. Formalmente,
Db = Q Ia = {1/x | x Ia x > 0} {1/x | x Da y Da (x y)}
El inverso de un nmero negativo a lo definimos con la ecuacin 1/(a) = (1/a).

Finalmente definimos el cociente de los reales a y b como a/b = a (1/b).

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.

F IGURA 12.2. Tricotoma en los reales


El orden en los reales es compatible con las operaciones aritmticas.
El conjunto de los nmeros reales es completo ya que todo subconjunto no vaco con una cota
superior tiene supremo.

TEORA DE CONJUNTOS

12.5.

31

Expansin decimal. Todo nmero real a tiene una expansin decimal


x = n + 0, d1 d2 d3 ...

donde n es un entero y cada di es un dgito entre 0 y 9 y la secuencia de dgitos no termina con un


nmero infinito de 9s consecutivos. Esta representacin significa lo siguiente:
n+

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...

Entonces z es 0, 100101... y es claramente un real que no est en la lista.

La cardinalidad de los nmeros reales se denota c y se denomina continuo. c = P( 0 ) y es igual a


la cardinalidad del conjunto de todos los subconjuntos de nmeros naturales.
La cardinalidad de los puntos de un segmento de recta es igual a la de todos los puntos de una
recta y es igual a la de los puntos en un plano, un cubo o una circunferencia.
13.

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.

Adicin. La suma de dos complejos a + bi y c + di est definida como:


(a + bi) + (c + di) = (a + c) + i(b + d)

13.1.2.

Sustraccin. La diferencia de dos complejos a + bi y c + di est definida como:


(a + bi) (c + di) = (a c) + i(b d)

13.1.3.

Multiplicacin. El producto de dos complejos a + bi y c + di est definido como:


(a + bi)(c + di) = (ac bd) + i(ad + bc)

13.1.4.

Divisin. El cociente de dos complejos a + bi y c + di est definido como:


(ac + bd) + i(bc ad)
a + bi
=
c + di
c2 + d 2

13.2. Representacin geomtrica. Un nmero complejo puede verse como un desplazamiento


en un sistema de coordenadas cartesiano de dos dimensiones (ver Figura 13.1).

F IGURA 13.1. Representacin geomtrica de un nmero complejo z = x + iy


En la Figura 13.1 puede observarse que el nmero complejo forma un tringulo rectngulo con
hipotenusa r y catetos x y y.
Est claro que x = r cos y y = r sen y por lo tanto z = r(cos + i sen ). Se puede demostrar
mediante expansin en serie de potencias que e i = cos + i sen y por lo tanto podemos escribir
z = rei . Esta notacin facilita las operaciones de multiplicacin y divisin de complejos.
En el caso de la multiplicacin, si z 1 = r1 ei1 y z2 = r2 ei2 entonces z1 z2 = r1 r2 ei(1 +2 ) .
En el caso de la divisin, si z1 = r1 ei1 y z2 = r2 ei2 entonces

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]

Allard, W. The Rational Numbers. Duke University. 2004.


Allard, W. Sets, relations and functions. Duke University. 2004.
Brown, C. Set Theory Handout. Trinity University. 2004.
Halmos. Naive Set Theory. D. Van Nostran Company, Inc. 1960.
Hardy, G. H. A Course of Pure Mathematics. Cambridge University Press. 2000.
Johnsonbaugh, R. Matemticas Discretas. Prentice Hall Hispanoamericana. 1999.
Knuth, D. E. The Art of Computer Programming. Volume 1. Fundamental Algorithms. Addison Wesley Longman. 1998.
Lewin, R. Teora Axiomtica de Conjuntos. Pontificia Universidad Catlica de Chile. 2004.
Mathematical Institute. Lecture Notes and Problem Sheets. University of Oxford. 2004.
MathWorld. Complex number. http://www.mathworld.wolfram.com
MathWorld. Real number. http://www.mathworld.wolfram.com
Velleman, Daniel. How To Prove It. Cambridge University Press. 1994.
Wikipedia. Canthors diagonal argument. http://www.wikipedia.org
Wikipedia. Canthors theorem. http://www.wikipedia.org
Wikipedia. Complex number. http://www.wikipedia.org
Wikipedia. Countable set. http://www.wikipedia.org
Wikipedia. Fundamental theorem of algebra. http://www.wikipedia.org
Wikipedia. Mathematical induction. http://www.wikipedia.org
Wikipedia. Naive Set Theory. http://www.wikipedia.org
Wikipedia. Peano axioms. http://www.wikipedia.org

TEORA DE CONJUNTOS

[21] Wikipedia. Proof of mathematical induction. http://www.wikipedia.org


[22] Wikipedia. Real numbers. http://www.wikipedia.org

34