ndice

I.

II.

CLASIFICACION DE LOS NUMEROS

1.1
Nmeros naturales
1.2
Nmeros enteros
1.3
Nmeros racionales
1.4
Nmeros irracional
1.5
Nmeros imaginarios
1.6
Nmeros complejos
CONJUNTOS
1.1 Cmo se determina una coleccin?
1.1.1 Por extensin
1.1.2 Por comprensin
1.1.3 Por diagramas de Venn Euler
1.2
Elementos de los conjuntos
1.3
Cardinalidad conjuntos iguales y equivalentes
1.5

Conjuntos
Un conjunto es la reunin en un todo de objetos de nuestra intuicin o
de nuestro pensar, bien determinados y diferenciables los unos de los
otros.
Georg Cantor (1845-1918)
Antecedentes histricos

Georg Cantor (1845-1918) fue quien prcticamente formul de manera

individual la teora de conjuntos a finales del siglo xix y principios del xx.
Su objetivo era el de formalizar las matemticas como ya se haba hecho
con el clculo cien aos antes. Cantor comenz esta tarea por medio del
anlisis de las bases de las matemticas y explic todo basndose en los
conjuntos (por ejemplo, la definicin de funcin se hace estrictamente
por medio de conjuntos). Este monumental trabajo logr unificar a las
matemticas y permiti la comprensin de nuevos conceptos. El
problema apareci cuando se comenzaron a encontrar paradojas en esta
teora, siendo la ms clebre la paradoja de Russell, y ms tarde varios
matemticos encontraron ms paradojas, incluyendo al mismo cantor.
Russell descubri su paradoja en 1901, y la public en un apndice de su
libro "principios de las matemticas". Cuando los matemticos supieron
de esta paradoja, muchos se preguntaron si las matemticas en realidad
eran consistentes, y sobre todo verdaderas, ya que cualquier suposicin
matemtica poda basarse en una teora inconsistente. La primera
propuesta para solucionar el problema de las paradojas provino de un
matemtico holands llamado Brouwer, quien propuso una redefinicin
radical de todas las matemticas y prometi una solucin al conflicto. El
programa de Brouwer se basaba en lo ms simple de la intuicin: el
aceptaba los conceptos que son aparentes a la intuicin general. Esta
filosofa rechazaba muchos principios fundamentales de las
matemticas, pero en cambio, solucionaba satisfactoriamente el
problema de las paradojas. Particularmente Brouwer rechazaba el
principio del medio excluido, el cul deca que los elementos de un
conjunto o bien tienen una propiedad a o no la tienen, lo cul sera la
negacin de la propiedad a. A esta corriente de pensamiento se le llam
intuicionismo. Por otro lado, david hilbert se opuso al intuicionismo y
aunque no toleraba las paradojas, no estaba dispuesto a ver las
matemticas mutiladas. En 1904 propuso la teora de la prueba, la cul
era una teora de la lgica independiente del contexto y podra ser
aplicada a las matemticas sin encontrar paradojas. Russell a su vez
desarroll su teora de los tipos para evitar las paradojas. El propona
que los enunciados se acomodaran jerrquicamente. Russell public sus
resultados en 1908 con la colaboracin de Alfred North Whitehead. La
cuarta respuesta a la paradoja fue de Ernst Zermelo en 1908 con la
axiomatizacin de la teora de conjuntos. La mejor prueba de que la
teora de conjuntos no ha logrado unificar a las matemticas es que
stas se han ramificado en reas muy diferenciadas, como la aritmtica,
el lgebra, la trigonometra y geometra; tambin se han separados
distintos campos como el clculo, la topologa, la teora de conjuntos, la
teora de los nmeros y la estadstica.

Simbologa
stos son los smbolos que se utilizaron en el captulo:
{ }

Conjunto.

Es un elemento del conjunto o pertenece al conjunto.

Tal que.

n (C)

Cardinalidad del conjunto C.

Conjunto vaco.

Subconjunto de.

Mayor que.

Menor que.

<=

menor o igual que.

>=

mayor o igual que.

Interseccin de conjuntos.

Unin de conjuntos.

Complemento del conjunto A.

Smbolo de igualdad.

No es igual a.

...

El conjunto contina.

Entonces.

Si y solo si.

No(es falso que).

Conjunto de los nmeros enteros.

N = Z + Conjunto de los nmeros naturales o enteros positivos.

Z+0

Conjunto de los enteros no negativos.

Q:

Conjunto de los nmeros racionales.

R:

Conjunto de los nmeros reales.

Origen de los nmeros

Entre los griegos, un nmero era una cantidad o una medida
representada, por un entero natural, o por una relacin de dos enteros
naturales. Puede considerarse un nmero como una abstraccin ligada a
conjuntos de objetos y que se escinde, por consideracin de los
conjuntos infinitos, en dos conceptos diferentes.
En la actualidad, se define un nmero como elemento de un conjunto de
nmeros que deben verificar ciertas propiedades. As es como se han
definido los conjuntos N, Z, Q, R, C cuya construccin se hace por
etapas sucesivas a partir del conjunto N de los nmeros naturales.
La primera muestra de un registro numrico fue encontrada, en el sur de
frica; se trata de un hueso, el peron de un babuino, con veintinueve
muescas bien marcadas y data de, aproximadamente, 35000 aos a.C.
Tiene un parecido extraordinario con el calendario de varillas que an
se usa en Namibia para registrar el paso del tiempo. En la Repblica
Checa se encontr un radio de lobo que data de, alrededor de 30000
aos a.C., marcado con cincuenta y cinco muescas en dos series de
grupos de cinco. Posiblemente se trate de una lista de animales cazados.
Entre los hallazgos, el ms curioso es el hueso conocido como Ishango,
descubierto en las orillas del lago Edwards, entre Uganda y la Repblica
Democrtica del Congo, que data de aproximadamente 20000 aos a.C.,
y aparenta ser algo ms que un mero recuento, ya que, estudios
microscpicos, han demostrado cierta relacin con las fases lunares.
Debido a la imperiosidad de predecir la luna llena, posiblemente por
razones religiosas o pragmticas que requeran la visibilidad nocturna,
no es de extraar que una de las inquietudes del hombre neoltico fuera
observar el ciclo del gran reloj del cielo. De hecho, a travs de la
astronoma, de la astrologa o de la cosmologa, la observacin de los
cielos ha sido, sin duda, la mayor influencia en el descubrimiento de los
nmeros.

Clasificacin de nmeros

Nmeros Naturales: Son aquellos con lo que contamos los

elementos de un conjunto (nmero cardinal). O bien expresamos
la posicin u orden que ocupa un elemento en un conjunto
(ordinal).
El conjunto de los nmeros naturales est formado por:
N= {0, 1, 2, 3, 4, 5, 6, 7, 8, 9,...}

Nmeros Enteros: Los nmeros enteros son un conjunto de

nmeros que incluye a los nmeros naturales distintos de cero (1,
2, 3, ...), los opuestos de los nmeros naturales (..., 3, 2, 1) y al
cero, 0.
Los nmeros enteros son del tipo:
N = {...5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5 ...}

Nos permiten expresar: el dinero adeudado, la temperatura bajo cero,

las profundidades con respecto al nivel del mar, etc. Los nmeros
enteros se pueden subdividir en dos categoras, los Pares y los Impares.

Nmeros Racionales: Se llama nmero racional a todo nmero que

puede representarse como el cociente de dos enteros, con
denominador distinto de cero.

Los nmeros decimales (decimal exacto, peridico puro y peridico

mixto) son nmeros racionales; pero los nmeros decimales

ilimitados no.
Nmeros Irracionales: Un nmero es irracional si posee infinitas
cifras decimales no peridicas, por tanto no se pueden expresar en
forma de fraccin.

El nmero irracional ms conocido es , que se define como la relacin

entre la longitud de la circunferencia y su dimetro.
Pi = 3.141592653589...
Otros nmeros irracionales son:
El nmero e aparece en procesos de crecimiento, en la desintegracin
radiactiva, en la frmula de la catenaria, que es la curva que podemos
apreciar en los tendidos elctricos.
e = 2.718281828459...
El nmero ureo,

, utilizado por artistas de todas las pocas (Fidias,

Leonardo da Vinci, Alberto Durero, Dal,..) en las proporciones de sus

obras.

Nmeros Reales: El conjunto formado por los nmeros racionales e

irracionales es el conjunto de los nmeros reales, se designa por R.

Con los nmeros reales podemos realizar todas las operaciones,

excepto la radicacin de ndice par y radicando negativo y la divisin por
cero.

La recta real
A todo nmero real le corresponde un punto de la recta y a todo punto
de la recta un nmero real.

Nmeros complejos: Son aquellos formados por una parte real y

una imaginaria.
Un nmero complejo en forma binmica es a + bi.
El nmero a es la parte real del nmero complejo.
El nmero b es la parte imaginaria del nmero complejo.

Nmeros imaginarios: Son aquellos formados por un radicando

negativo y radical cuyo ndice de este es dos. Es decir aquellas
races cuadradas de nmeros negativos.

Conjuntos
La definicin inicial de Cantor es totalmente intuitiva: un conjunto es
cualquier coleccin C de objetos determinados y bien distintos x de
nuestra

percepcin

nuestro

pensamiento

(que

se

denominan

elementos de C), reunidos en un todo. Estos objetos reciben el nombre

de elementos del conjunto.
a A significa a es un elemento del conjunto A.
a A a no es un elemento del conjunto A.
Ejemplo:
A= {1,3,5}

B={2,5,6}

Con relacin a los conjuntos A y B, se advierte que:

3 A 3 es un elemento del conjunto A
4 B 4 no es un elemento del conjunto B
Tendremos en cuenta que no es necesario denotar siempre con
maysculas a los conjuntos y con minsculas a sus elementos, ya que
un conjunto puede ser a su vez un elemento de otro conjunto e incluso

podemos considerar que en nuestra teora no hay objetos que no sean

conjuntos.
Cmo se determina una coleccin?

Listar los objetos. De acuerdo con la definicin intuitiva de Cantor

un conjunto queda definido si es posible describir completamente
sus elementos.

El procedimiento ms sencillo de descripcin es nombrar cada uno de

sus elementos, se llama definicin por extensin; es conocida la
notacin de encerrar entre llaves los elementos del conjunto.
Por ejemplo el conjunto de los enteros pares positivos menores que 10
se expresa por medio de {2, 4, 6, 8}.

Escritura y representacin de conjuntos

Forma enumerativa o por Extensin

Se enlistan los elementos del conjunto, si algn elemento se repite se

considera una sola vez.
Ejemplos:
1. Representa en forma enumerativa el conjunto M= {m N | m5
Solucin
El conjunto se lee:
Los nmeros naturales que son menores que 5 y su representacin en
forma enumerativa es:
M= {1, 2, 3,4,}
2.

Representa en forma enumerativa el conjunto: A= {x

x+8=10}.
Solucin

Este conjunto lo forman los nmeros enteros que sumados dan 8 como
resultado 10, por tanto su forma enumerativa es:
A= {2}
Ya que 2+8=10
Ejemplos: Los siguientes conjuntos estn definidos por extensin.
(a) El conjunto de las vocales del alfabeto.
A = {a, e, i, o, u}
(b) El conjunto formado por los nmeros enteros pares no negativos y
menores que diez.
B = {0, 2, 4, 6, 8}
Ejemplos: Definir por extensin los siguientes conjuntos.
(a) El conjunto de los enteros no negativos menores que cinco.
(b) El conjunto de las letras de mi nombre.
(c) El conjunto cuyo nico elemento es el primer Presidente de Gobierno
de la democracia.
(d) El conjunto de los nmeros primos entre 10 y 20.
(e) El conjunto de los mltiplos de 12 que son menores que 65.
Solucin
(a) A = {0, 1, 2, 3, 4}
(b) B = {p, a, c, o}
(c) C = {Adolfo Surez}
(d) D = {11, 13, 17, 19}
(e) E = {12, 24, 36, 48, 60}

Ejemplo 1.3 Definir, por extensin, los conjuntos siguientes:

(a) A = {x : x Z 3 < x < 12}
(b) B = {x : x es un nmero de un dgito}
(c) B = {x : x = 2 x = 5}
Solucin
(a) A = {4, 5, 6, 7, 8, 9, 10, 11}
(b) B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
(c) C = {2, 5}

Nota 1.1 Los elementos de un conjunto infinito no pueden especificarse

de una forma explcita; consecuentemente, necesitaremos una forma
alternativa de describir tales conjuntos implcitamente

Forma enunciativa o por comprensin

Se indican cuales elementos pertenecen al conjunto por medio de una

propiedad que caracteriza a todos los elementos del mismo.
Los casos anteriores los podemos expresar como:
A= {sea x | x son los nmeros dgitos
El smbolo | se lee tal que
Ejemplo: Definir por comprensin los siguientes conjuntos:
(a) El conjunto de los enteros mayores que diez.
(b) El conjunto de los enteros pares.

(c) El conjunto {1, 2, 3, 4, 5}

Solucin
(a) A = {x : x Z x > 10}
(b) B = {x : x Z y Z x = 2y}
(c) C = {x : x Z 1 6 x 6 5}

Igualdad de conjuntos
Se dice que dos conjuntos A y B son iguales cuando constan
exactamente de los mismos elementos, tal es el caso de:
A={1,3,5,7,9} B={9,5,1,3,7]
Si los conjuntos no son iguales se denominan distintos, lo cual se
denota:
A=B

Subconjuntos
Si todos los elementos de un conjunto A pertenecen tambin a otro
conjunto B, se dice que:
A es un subconjunto de B
A esta contenido en B
B contiene a A
Y se denota A B

Elementos de los conjuntos

Conjunto vacio
El conjunto vaco o nulo lo representamos de la siguiente forma y es
aquel que no tiene elementos.

representa el conjunto vaco o

nulo

Si quisiramos representar el conjunto de los nombres de tus hermanos

y sabiendo que no tienes, tendramos lo siguiente:
H= { }=

Conjunto Universal
Si dada una cantidad determinada de conjuntos, existe otro conjunto U
donde todos estn contenidos, a este conjunto U se le denomina
conjunto universal de dichos conjuntos.

Conjunto Complemento
Dados un conjunto universal U y un conjunto A contenido en U, se llama
conjunto complemento de A o A c , al conjunto de elementos en U que
no pertenecen al conjunto A .
U
A

A
c

Leyes de Morgan
Las Leyes de Morgan permiten:
El cambio del operador de conjuncin en operador de disyuncin y
viceversa.
Las proposiciones conjuntivas o disyuntivas a las que se aplican las leyes
de Morgan pueden estar afirmadas o negadas (en todo o en sus partes).
(A n B)= A u B

(A u B)= A n B

Operaciones con conjuntos

Unin de conjuntos

Unin de conjuntos: La unin de dos conjuntos A y B es el conjunto

de todos los elementos que pertenecen a A, a B, o a ambos y se
denomina por: A U B.

A U B= {x/x A o x
B}

Interseccin de conjuntos

La interseccin de dos conjuntos A y B , es el conjunto de todos los

elementos que pertenecen a A y que tambin pertenecen a B. Y se
denotan por A interseccin B.

Diferencia de conjuntos

La diferencia de conjuntos A y B se representa por A B y se

define como el conjunto de elementos que pertenecen a A pero
no a B.

A B ={x/x A, x B}

Propiedades de conjuntos
Propiedad Conmutativa
AB=BA
AB =BA
Propiedad asociativa
A (B C)= (A B) C
A (B C) = (A B) C
Propiedad distributiva
A (B C) =(A B) (A C)
A (B C) = (AB) (A C)

Captulo 1 Ejercicios de conjuntos.

Sea U={ 1,2,320}

A= {x/x =2n-5, n }={ 1,3,5,7,9,11,13,15,17,19}
B={ x/x son divisores del nmero 36} ={1,2,3,4,6,9,12,18}
Calcular:
1. AB
2. AB
3. A
4. B
5. (AB)
6. (A B)
7. AB
8. AB
9. (A-B)
10.
(B-A)
11.
A-B
12.
B-A
Sean A ={1,2,3,4};

B ={2,4,6,8};

Hallar:
a).- A U B;
b).- A U C;
c).- B U C;
d).- B U B

Demuestre las leyes de De Morgan:

C ={3,4,5,6}

 Dado el conjunto A = {6,2,8,4,3} encontrar todos los subconjuntos

de A que se puedan construir con sus elementos, es decir el
conjunto potencia.
2A

={

{6},{2},{8},{4},{3},{6,2},{6,8},{6,4},{6,3},{2,8},{2,4},

{2,3},{8,4},{8,3},{4,3},

{6,2,8},{6,2,4},{6,2,3},{6,8,4},{6,8,3},

{6,4,3},{2,8,4},{2,8,3},{2,4,3},{8,4,3},{6,2,8,4},{6,2,8,3},{2,8,4,3,},
{6,8,4,3,},{6,2,4,3,},{6,2,8,4,3},{ }}