BREVE RESEA HISTORICA TEORA DE CONJUNTOS

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

OPERACIONES CON CONJUNTOS

Decimos que dos conjuntos
y
son iguales si poseen exactamente los mismos
elementos, y en este caso escribimos
.

Por ejemplo
es igual a
aparezcan expresados en diferentes formas.

, e igual a

aunque

Igualmente la repeticin formal de elementos iguales no quiere decir que sean conjuntos
distintos (a menos que expresamente indiquemos lo contrario). Si consideramos el conjunto
formado por las letras que componen la palabra ``operador", este sera

que es el mismo conjunto que

. Observemos por tanto que con la definicin
dada de igualdad de conjuntos, no importa ni el orden de aparicin de los elementos ni la
repeticin de estos.
Observacin:
Es claro a partir de las definiciones que la igualdad
inclusin,
de
lo es de

es equivalente a la doble

y
, ya que si todo elemento de
lo es de
, necesariamente poseen los mismos elementos.

, y todo elemento

Esta equivalencia es usada con frecuencia como tcnica de demostracin para probar que
dos conjuntos son iguales.
Conjunto complementario:
Fijado un conjunto de referencia
y un conjunto
se define su complementario
respecto de
como el conjunto formado por todos aquellos elementos de
que no son
elementos de

. Denotamos por

a este conjunto si no hay duda sobre quin es

. Si se

quiere explicitar el conjunto de referencia se puede expresar como

A partir de unos conjuntos se pueden obtener otros mediante operaciones de interseccin,

unin, diferencia simtrica y producto.
Interseccin:
Fijado un conjunto de referencia
y conjuntos
y
se define el conjunto interseccin de
ambos, como el formado por todos aquellos elementos que son a la vez elementos de
y
de . Se nota
.

Si

los conjuntos

par

se dicen disjuntos. Si ademas

forma una particin de

decimos que el

Unin:
Fijado un conjunto de referencia
ambos, y lo representamos por

y conjuntos
y
definimos el conjunto unin de
, al siguiente conjunto:

Diferencia :
Dados dos conjuntos
por

definimos el conjunto diferencia de

y lo representamos

como el siguiente conjunto:

(A veces se utiliza la notacin

Unin genrica:

Dada una familia de conjuntos con ndice en un cierto conjunto

unin genrica de los conjuntos de esa familia, y lo representamos por

siguiente conjunto:

, definimos la

como el

PROPIEDADES DE LAS OPERACIONES DE CONJUNTOS

Dados conjuntos , ,
y un conjunto de referencia es inmediato comprobar que se
verifican las siguientes propiedades:
Respecto de la unin
Respecto de la interseccin
Dominancia

Asociativa
Conmutativa
Idempotente
Respecto de ambas
Simplificativa
Distributiva
Respecto del paso a complementario

CONJUNTOS NUMERICOS N, Z, Q Y R
1) N = Conjunto de los Nmeros Naturales
N = { 1, 2, 3, 4, 5, 6, 7,.......}
El conjunto de los Nmeros Naturales surgi de la necesidad de contar, lo cual se manifiesta
en el ser humano desde sus inicios.
Este conjunto se caracteriza porque:
Tiene un nmero ilimitado de elementos
Cada elemento tiene un sucesor y todos, excepto el 1, un antecesor.
El sucesor de un nmero natural se obtiene sumando uno (+1); el antecesor se obtiene
restando uno (-1).
2) N* = N0 = Conjunto de los Nmeros Cardinales
N 0 = { 0, 1, 2, 3, 4, 5, 6,.....}
Al Conjunto de los Nmeros Naturales se le agreg el 0 (cero) y se forma el Conjunto de los
Nmeros Cardinales.
3) Z = Conjunto de los Nmeros Enteros
Z = { ..... 3, -2, -1, 0, 1, 2, 3,...}
El Conjunto de los Nmeros Enteros surge de la necesidad de dar solucin general a la
sustraccin, pues cuando el sustraendo es mayor que el minuendo, esta sustraccin no tiene
solucin en los Conjuntos Naturales y Cardinales (por ejemplo: 5 20 = ?). Debido a esto,
la recta numrica se extiende hacia la izquierda, de modo que a cada punto que representa

un nmero natural le corresponda un punto simtrico, situado a la izquierda del cero. Punto
simtrico es aquel que est ubicado a igual distancia del cero (uno a la derecha y el otro a la
izquierda de l).
Z = N* U Conjunto de los Nmeros Enteros negativos
Z = Tiene 3 Subconjuntos:
Enteros Negativos: Z
Enteros Positivos: Z +
Enteros Positivos y el Cero: Z 0+
Por lo tanto, el Conjunto de los Nmeros Enteros es la unin de los tres subconjuntos
mencionados.
Z = Z U {0} U Z +
4) Q = Conjunto de los Nmeros Racionales
Q = {....- , - , - , 0, , , ,.....}
El conjunto de los Nmeros Racionales se cre debido a las limitaciones de clculo que se
presentaban en el conjunto de los Nmeros Naturales, Nmeros Cardinales y Nmeros
Enteros. Por ejemplo, slo se puede dividir en el conjunto de los Nmeros Enteros si y slo
si el dividendo es mltiplo, distinto de cero, del divisor. Para solucionar esta dificultad, se
cre este conjunto, el cual est formado por todos los nmeros de la forma a / b. Esta
fraccin en la cual el numerador es a, es un nmero entero y el denominador b, es un
nmero entero distinto de cero. (Ver: Fracciones)
El conjunto de los Nmeros Racionales (Q ) se ha construido a partir del conjunto de
los Nmeros Enteros (Z).
Se expresa por comprensin como:
Q = { a / b tal que a y b

Z; y b

0}

Este conjunto se representa grficamente, dividiendo cada intervalo de una recta numrica
en espacios iguales, que representen nmeros enteros. Cada una de estas subdivisiones
representa una fraccin con denominador igual al nmero de partes de la subdivisin.
Cada fraccin es un nmero racional y cada nmero racional consta de infinitas fracciones
equivalentes.

5) I = Q* = Conjunto de Nmeros Irracionales

I = Conjunto de Nmeros Decimales Infinitos no Peridicos
Este conjunto surgi de la necesidad de reunir a ciertos nmeros que no pertenecen a los
conjuntos anteriores; entre ellos se pueden citar a las races inexactas, el nmero Pi, etc. A
l pertenecen todos los nmeros decimales infinitos puros, es decir aquellos nmeros que
no pueden transformarse en una fraccin. No deben confundirse con los nmeros racionales,
porque stos son nmeros decimales finitos, infinitos peridicos e infinitos semiperidicos
que s pueden transformarse en una fraccin.
Ejemplos: 1,4142135....

0,10200300004000005....
6) Conjunto de Nmeros Reales (R).
R = {....- 10, -1, - , - , - , 0, , 2, 5 , .....}
Surgen de la necesidad de reunir los racionales y los irracionales en un solo conjunto. Se
denotan por R. R= {Q U irracionales}.
OPERACIONES DEL CONJUNTO R DE LOS NUMEROS REALES
La union del conjunto de los numeros racionales con el conjunto de los numeros irracionales,
recibe el nombre
de conjunto de los numeros reales y se denota con el smbolo R, simbolicamente
escribimos:
R=QUI
INTERVALOS
Los intervalos son subconjuntos de los nmeros reales que se pueden representar
grficamente en la recta numrica por un trazo o una semirrecta.
Existen intervalos abiertos, en los que no se incluyen los extremos; cerrados en los que se
incluyen los extremos, y aquellos en que se combinan ambos.
Para representar los intervalos se utiliza una circunferencia vaca en el extremo, si este no
se incluye, o rellena si se incluye.

El dibujo superior grafica el intervalo entre todos los nmeros (x) mayores que 7 (x > 7),
excluido el 7, hasta el infinito (+ )

Este dibujo grafica el intervalo entre los nmeros (x) mayores o iguales a 7 (x 7),
incluyendo el 7, hasta el infinito (+ ).
Como vemos, la simbologa que se utiliza en los casos abiertos (que no incluyen al
extremo) son el signo < (menor que) o > (mayor que); y para los casos cerrados (que
incluyen al extremo) son el signo (mayor o igual que) o el signo (menor o igual que).
De acuerdo con la simbologa y las caractersticas, existen los siguientes tipos de intervalos:
Intervalo abierto, que se grafica

Se escribe a < x < b (a es menor que equis y equis es menor que b) y tambin
(equis pertenece a los reales, tal que a es menor que
equis y equis es menor que b)
Esto significa que la solucin para la inecuacin se encuentra en todos los valores (nmeros
reales) entre a y b que hay en la recta numrica, pero que no incluyen ni a ni b.
Intervalo cerrado, que se grafica

Se escribe a x b (a menor o igual que equis, y equis menor a igual que b) y tambin
(equis pertenece a los reales, tal que a es menor o igual
que equis y equis es menor o igual que b).
Esto significa que la solucin para la inecuacin se encuentra en todos los valores
entre a y b que hay en la recta numrica, y que incluyen el valor de a y el de b.
Intervalo abierto a la izquierda, que se grafica

Se escribe a < x b (a menor que equis, y equis menor o igual que b) y tambin
(equis pertenece a los reales, tal que a es menor que
equis y equis es menor o igual que b).
Esto significa que la solucin para la inecuacin se encuentra en todos los valores
entre a y b que hay en la recta numrica, y que no incluyen el valor de a pero s incluyen el
valor de b.
Intervalo abierto a la derecha, que se grafica

Se escribe a x < b (a menor o igual que equis y equis menor que b) y tambin
(equis pertenece a los reales, tal que a es menor o
igual que equis y equis es menor que b).

Esto significa que la solucin para la inecuacin se encuentra en todos los valores
entre a y b que hay en la recta numrica, y que incluyen el valor de a pero no incluyen el
valor de b.
Intervalo infinito por la izquierda y abierto, que se grafica

Se escribe x < a (equis es menor que a) y tambin

(equis pertenece a los reales, tal que equis es menor
que a).
Esto significa que la solucin para la inecuacin se encuentra en todos los valores entre a y
el infinito a la izquierda que hay en la recta numrica, y que no incluyen el valor de a.
Intervalo infinito por la izquierda y cerrado, que se grafica

Se escribe x a (equis es menor o igual que a) y tambin

(equis pertenece a los reales, tal que equis es menor o
igual que a).
Esto significa que la solucin para la inecuacin se encuentra en todos los valores entre a y
el infinito a la izquierda que hay en la recta numrica, y que incluyen el valor de a.
Intervalo infinito por la derecha y abierto, que se grafica

Se escribe x > a (equis es mayor que a) y tambin

(equis pertenece a los reales, tal que a es menor que
equis)
Esto significa que la solucin para la inecuacin se encuentra en todos los valores entre a y
el infinito a la derecha que hay en la recta numrica, y que no incluyen el valor de a.
Intervalo infinito por la derecha y cerrado, que se grafica

Se escribe x a (equis es mayor o igual que a) y tambin

(equis pertenece a los reales, tal que equis es mayor o
igual que a)
Esto significa que la solucin para la inecuacin se encuentra en todos los valores entre a y
el infinito a la derecha que hay en la recta numrica, y que incluyen el valor de a.

Como vemos, los intervalos se pueden representar con corchetes, pero tambin se puede
hacer en forma de conjunto:
Ejemplo:
(equis pertenece a los reales, tal que a es menor o
igual que equis y equis es menor que b).

INECUACIONES
Las inecuaciones son desigualdades algebraicas en la que sus dos
miembros se relacionan por uno de estos signos:
<
menor que
2x 1 < 7

menor o igual que

2x 1 7
>
mayor que
2x 1 > 7

mayor o igual que

2x 1 7
La solucin de una inecuacin es el conjunto de
variable que la verifica.
La solucin de la inecuacin se expresa mediante:
1. Una representacin grfica.
2. Un intervalo.
2x 1 < 7
2x < 8
x < 4

valores

de

la

(-, 4)
INECUACIONES LINEALES
Suponemos que ya conocemos los smbolos > (mayor que), < (menor que), (mayor o
igual que) y (menor o igual que) que usamos para relacionar un nmero con otro.
Escribimos, por ejemplo, 4 >1 para sealar que 4 es mayor que 1. Tambin podemos
escribir 2 < 3 para sealar que 2 es menor que 3.
Ejemplos como estos se conocen como desigualdades.
Sabido esto, diremos que una inecuacin es el enunciado de una desigualdad que incluye
alguna de las siguientes relaciones de orden: mayor que(>); menor que (<); mayor o
igual que (), y menor o igual que (). En la desigualdad aparece al menos una incgnita o
valor desconocido y que se cumple para ciertos valores de ella.
Si el grado de la inecuacin es uno (de primer grado), se dice que la inecuacin es
lineal.
Esto porque al escribir las desigualdades usamos nmeros y por esto mismo es que
podemos usar la recta numrica para visualizar o graficar dichas desigualdades.

Observa que en la recta de arriba:

4 > 1, porque 4 est a la derecha de 1 en la recta numrica.
2 < 3, porque 2 est a la izquierda de 3 en la recta numrica
3 < 1, porque -3 est a la izquierda de 1 en la recta numrica
0 > 4, porque 0 est a la derecha de 4 en la recta numrica
Una inecuacin lineal, entonces, es una expresin matemtica que describe cmo se
relacionan entre s dos expresiones lineales.
Por ejemplo: 3 + 5x 18; y otro, 2(x + 3) < 9.
INECUACIONES CUADRATICAS
Las Inecuaciones Cuadrticas son aquellas que tienen la variable elevada al cuadrado y su
solucin se puede encontrar de dos formas: estudiando los signos de los factores
encontrados luego de la factorizacin o estudiando la funcin cuadrtica.
Si encuentras la solucin por los factores debes considerar todos los posibles signos que
cumplan con la desigualdad y si es por la funcin una vez graficada se observa donde la
funcin cumple con la desigualdad.
INECUACIONES RACIONALES
Son inecuaciones racionales, aquellas en las que tanto el numerador como el denominador
son inecuaciones polinmicas cuadrticas o polinmicas de grado mayor a 2Es uno de los
que trae ms complicaciones, porque una inecuacin racional es una expresin de tipo
fraccin, donde la variable est en el numerador y el denominador.