Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Teoria de Conjuntos
Teoria de Conjuntos
Teoria de Conjuntos
5.1 Introducción
Parece claro, y en la mayoría de los textos que tratan en forma elemental la teoría de
conjuntos se afirma de una manera categórica, que la noción de conjunto es una noción que
se tiene, intuitivamente, clara. Es decir, todo el mundo comprende lo que significa “un
conjunto de personas”, “un conjunto de números”, etc. Sin embargo al introducirnos en la
teoría matemática de conjuntos debemos prescindir de lo que intuitivamente se presenta
claro y adentrarnos en un mundo de gran rigor, donde todo lo que se utilice haya sido
previamente establecido: o bien como proposiciones primitivas, o como términos y
relaciones primitivas o como términos y relaciones definidas; y signifique sólo lo que se
convenga que signifique. En otros términos: la matemática es una construcción del hombre,
y, por tanto, debe elegir los elementos de construcción y las normas de construcción. Las
normas ya las hemos fundamentado en la lógica proposicional y cuantificacional, en
consecuencia tenemos completas las herramientas y preciso el camino a seguir.
Así pues, debemos distinguir entre lo que intuitivamente se entiende por conjunto y lo que
matemáticamente debe entenderse por conjunto (a pesar de que los conjuntos intuitivos
pueden ser útiles en tanto que soporte metodológico para comprender mejor las
definiciones matemáticas).
Ello nos obliga por lo tanto a continuar con la construcción de una teoría axiomática para
los conjuntos y explica la opción que hemos adoptado para su estudio.
1. reflexividad.
2. . Simetría
3. . Transitividad.
Observaciones.
1. En general, designaremos los conjuntos por letras latinas mayúsculas, y los elementos
por letras latinas minúsculas.
Definición.
esto es:
A es un subconjunto de B
A está incluido en B
A es una parte de B
Observaciones.
1. Por la estructura lógica que presenta la fórmula anterior, para demostrar que una fórmula
específica del tipo es verdadera procedemos, en general, así:
.____________________
.____________________
.____________________
.____________________
n)
n+2) . G.U.
1.
2.
3.
Demostración de 1.
1. . R.A.2
2. . R.A.1
4. . G.U. en 3.
5. . Definición inclusión en 4.
Nota.
Demostración de 2.
1. Supongamos: . Hipótesis 1.
2. ____________ . Simplificación en 1.
3.____________ Simplificación en 1.
7. ____________ . G.U. en 6.
Demostración de 3.
. Axioma de extensión.
. Def. de equivalencia.
. Definición de inclusión.
Observaciones.
Reseña histórica.
George Cantor (1845 - 1918) creador del edificio maravilloso de la teoría de Conjuntos,
que permitía prácticamente expresar cualquier rama de la matemática en términos de este
lenguaje unificador y perfecto, estableció como uno de sus principios para la determinación
de conjuntos el siguiente:
Bertrand Russell (1872 - 1972) mostró que este principio para determinar conjuntos era
paradójico y en consecuencia, que la estructura propuesta por Cantor, padecía en su base de
una contradicción que causaba su desplome. Esta situación conllevó a la conocida crisis de
los fundamentos de la matemática que por mucho tiempo dejó un vacío completo, después
de un logro tan grande.
i)
ii)
i)
ii)
Una de las salidas a la crisis anterior, la proporcionaron Zermmelo y Fraenkel a través del
Axioma de Selección o de Separación; en el cual se parte siempre de un conjunto
preexistente, del cual se pueden seleccionar nuevas subcolecciones.
Esto es:
Notación.
Observaciones.
2. En esta forma A está constituido únicamente por todos aquellos objetos que verifican la
propiedad característica.
luego
Ilustración 1.
Sean: X , M conjuntos, .
notamos .
Esto es: .
Consecuencias
i)
ii)
Representación gráfica.
Figura 5
Sean: M , N , X conjuntos
1. Si entonces .
2. Sean: , . si y sólo si .
Nota.
Demostración de 1:
Por tanto
Conclusión: (1)
Supongamos: Hip. aux. 2
__________________ De la hipótesis 1.
Conclusión: (2)
Sea: X un conjunto.
Esto es:
Consecuencias:
1.
2.
Observaciones.
1. .
2. Si X es un conjunto entonces .
3. Si X es un conjunto entonces .
4. Si A es un conjunto entonces
Demostración de 2.
3. Adjunción en 2.
4. Def. de implicación en 3.
5. G.U. en 4.
6. Def. de inclusión en 5.
7. Si X es un conjunto, entonces . Método directo.
Observaciones.
Consecuencias.
i)
ii)
i)
ii)
En forma análoga podemos construir conjuntos de tres, cuatro, etc. y cualquier número
finito de elementos.
Teorema 4.
1.
2.
3.
Demostración de 2.
4. transitividad en la equivalencia.
5. G.U. de (4)
6. . Axioma 2 (Extensión)
7. ____________R.V.3 de 5) y 6).
Observaciones.
Axioma 4.
Consecuencias:
i)
ii)
Teorema 5.
1.
2.
3.
4. si y solo si
Demostración de 4.
Supongamos: Hipótesis 1
Supongamos: Hipótesis 2
Método directo
Método directo.
Ilustración 2.
; además y
; además y
; además y
; además y
1. Sea
Para cada una de las proposiciones siguientes indicar si es verdadera o falsa, justificando su
afirmación.
1.1 1.6
1.2 1.7
1.3 1.8
1.4 1.9
1.5 1.10
a. e. i.
b. f. j.
c. g. k.
d. h. l.
E: Conjunto de rectas paralelas a una recta dada, por un punto exterior a esta.
F: Conjunto de rectas perpendiculares a una recta dada, levantadas por un punto de esta y
en un mismo plano.
4.2 Para cada una de las proposiciones siguientes, indicar si es verdadera o falsa.
a. c. e. g.
b. d. f. h.
6. Sean: A: El conjunto de números de dos cifras, tales que la primera cifra es mayor que la
segunda.
________B: El conjunto de números de dos cifras, tales que la primera cifra es menor que
la segunda.
A: Conjunto de números de cuatro cifras donde al menos dos de ellas son ceros .
C: Conjunto de números de cuatro cifras donde a lo sumo dos de ellas son ceros .
D: Conjunto de números de cuatro cifras donde dos son ceros y las otras dos son diferentes
de cero .
Indicar todas las posibles relaciones de inclusión entre los conjuntos anotados.
8.1
8.2
8.3
9. Considérese un conjunto U referencial como el conjunto de todos los triángulos;
si I designa el conjunto de los triángulos isósceles, E de los equiláteros, A de los
equiángulos, R de los triángulos rectángulos; representar en un diagrama de Venn los
conjuntos anteriores.
12. Dados:
Demostrar que A = B .
Axioma 5.
Si A , B son conjuntos, existe un conjunto que los contiene. Dicho conjunto tiene como
propiedad característica .
Consecuencias.
i)
ii)
Representación gráfica
Figura 6 _________________________Figura 7
1. ; .
2. . Conmutativa.
3. . Asociativa.
4.
5.
6. Si y entonces .
7. Si y entonces .
Demostración de 1.
1. . Axioma
Demostración de 5.
“ ” Veamos que .
Supongamos: Hipótesis 1.
Luego (1)
Conclusión: .
Definición.
Consecuencias.
i)
ii)
Representación gráfica
Figura 8 __________________________Figura 9
Definición.
2. .
3.
4.
5.
6. Si y entonces
7. Si y entonces
Demostración de 1.
Supongamos: Hipótesis
. Simplificación.
Método directo
Demostración de 3.
Equivalencia Asociatividad en “ ”
1.
2. .
Demostración de 1.
Corolario.
2. .
1.
2. .
Demostración de 2.
Definición.
Consecuencias.
1.
2.
Ilustración 3.
Indicar para cada una de las representaciones gráficas, los conjuntos correspondientes
a: ,
a. _______________________c.
Figura 10 ____________________Figura 12
b. _______________________d.
Figura 11 _______________________________Figura 13
Observación.
Teorema 10.
1. Si , entonces
2. , .
3. si y sólo si
Demostración de 3.
“ ”
Supongamos: Hipótesis 1
Supongamos: Hipótesis 2.
Teorema, luego , que equivale a
y en consecuencia
(1)
“ ”
Supongamos: Hipótesis 1
Supongamos: Hipótesis 2.
(2)
Observación.
Sean conjuntos.
1. Al conjunto lo denominamos la unión
de y lo notamos así:
Ilustración 4.
Sean: ; ; ;
; .
Luego
Figura 14
Análogamente, puede extenderse a más de dos sistemas. En esta concepción moderna, una
variable aleatoria es una función definida en cada punto del espacio muestral. En el caso de
que S tenga infinitos puntos, las ideas anteriores pueden extenderse por medio de conceptos
que requieren del cálculo.
Definición.
Definición.
2.
Observación.
Ilustración 5.
Una encuesta realizada a un grupo de profesores donde todos respondieron, reveló que 450
tienen casa propia; 260 tienen automovil; 360 tienen computador; 200 tienen casa y
automovil; 250 tienen casa y computador; 150 tienen automovil y computador y 100 tienen
casa, automovil y computador.
Calcular:
4. Profesores que tienen casa propia y automovil, pero no tienen computador: 100
Paso 1.
Enumerar todos y cada uno de los conjuntos disjuntos que podemos identificar en un
diagrama de Venn-Euler.
Paso 2.
Asignar a cada uno de los conjuntos principales, los numerales asociados a sus
subconjuntos disjuntos.
Paso 3.
Al efectuar las operaciones indicadas paso a paso, determinar las regiones que intervienen
en cada resultado parcial, hasta obtener el resultado final.
Ilustración 6.
conjuntos:
Conjunto A B C A-B
Observación.
conjuntos:
Conjunto A B C
Región 1,2,3,6 1,2,4,5 1,3,4,7 1,3 1,2,3,4,5,6 7,8 1,3 1
Solución.
Observación.
Comentario.
El método propuesto permite de una manera sistemática y sencilla, verificar las igualdades
surgidas en las leyes generales de la teoría de conjuntos. Además facilita la exploración de
otras propiedades que el alumno puede someter a prueba para determinar con absoluta
validez su resultado. En consecuencia el maestro debe aprovecharlo al máximo.
1.1
1.2
1.3
1.4
1.5
1.6
1.7
1.8 Si entonces
1.9 Si entonces
1.10 Si entonces
1.11 Si entonces
1.12 Si entonces
1.13
1.14
1.15
1.16
1.17
1.18
1.19
1.20 si y solo si
2. Dar un contraejemplo para probar que las siguientes proposiciones no son teoremas.
2.1
2.2
2.3
2.4
2.5
2.6
2.7
2.8
2.9
2.10
3. Para cada uno de los numerales siguientes, elaborar un diagrama de Venn-Euler que
represente el conjunto indicado:
3.1 3.5
3.2 3.6
3.3 3.7
3.4
3.8
4. En cada uno de los siguientes numerales, expresar en términos de conjuntos y las
operaciones requeridas, la región sombreada.
4.1 ___________________________4.4
4.2 _________________________4.5
4.3 ____________________________4.6
5. Considerando los conjuntos A , B , C , D , U no vacíos, U como conjunto referencial.
Elaborar, para cada uno de los numerales siguientes, un diagrama de Venn-Euler que
satisfaga todas y cada una de las relaciones dadas.
5.1 ; ; ; ; .
5.2 ; ; ; ; .
5.3 ; ; ; ; .
6. A una conferencia internacional sobre contaminación del medio ambiente, asisten cien
especialistas, de los cuales cincuenta hablan inglés, sesenta portugués y cincuenta español;
de ellos treinta hablan portugués e inglés; veinte inglés y español; veinte portugués y
español.
Determinar:
9. Los siguientes son los datos que muestran las preferencias de algunos aspirantes a
ingresar a la universidad por ciertos programas:
50 prefieren medicina.
47 prefieren ingeniería.
35 prefieren biología.
Determinar:
Determinar