Professional Documents
Culture Documents
conjuntos).
Enunciado
1. Sea M
un conjunto finito (es decir, con un número finito de elementos). Se denota por card M,
por #(M) o bien por |A| al cardinal de M. Sean ahora A,B,C tres conjuntos finitos.
Demostrar las fórmulas:
(a)|A∪B|=|A|+|B|−|A∩B|.
(b)|A∪B∪C|=|A|+|B|+|C|−|A∩B|−|A∩C|−|B∩C|+|A∩B∩C|.
Aplicación: usando la fórmula del cardinal de la unión de tres conjuntos, calcular
cuantos números naturales menores o iguales que 1000 existen que no sean múltiplos
no de 3, ni de 5, ni de 7.
1.
Solución
1. (a)
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.
Si A , B son conjuntos: .
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)
Para todo conjunto T existe un subconjunto A y solo uno formado por todos los
elementos de T que verifican la propiedad .
Esto es:
Notación.
2. En esta forma A está constituido únicamente por todos aquellos objetos que verifican
la propiedad característica.
Figura 3
luego
Ilustración 1.
Sean: Z : Conjunto de los números enteros
Figura 4
Sean: X , M conjuntos, .
y lo 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)
__________________ De la hipótesis 1.
Conclusión: (2)
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.
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
Podemos observar una ley de formación entre el número de elementos de un conjunto X
y el número de elementos de P ( X ), la cual puede demostrarse por Inducción.
1. Sea
1.1 1.6
1.2 1.7
1.3 1.8
1.4 1.9
1.5 1.10
2.2 Para cada una de las proposiciones siguientes indicar si es verdadera o falsa,
justificando su afirmación.
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.
6.3 Colocar en los espacios uno de los símbolos: , que indique una
relación adecuada entre los términos dados.
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
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.
Esto es , pero es teorema, por tanto
Luego (1)
Conclusión: .
Definición.
Consecuencias.
i)
ii)
Representación gráfica
Figura 8 __________________________Figura 9
Definición.
1. ,
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.
Consecuencia def. de intersección
Equivalencia Asociatividad en “ ”
1.
2. .
Demostración de 1.
Corolario.
1.
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í:
2. Al conjunto lo denominamos la intersección
de y lo notamos así:
Ilustración 4.
Sean: ; ; ;
; .
Luego
Definición.
Definición.
1.
2.
Ejercicio. Utilizando los diagramas de Venn, verificar las ecuaciones anteriores.
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.
Conjunto A B C A-
B
Región 1,2,3,6 1,2,4,5 1,3,4,7 3,6 3 6,3,7,8 6,3,7,8
Observación.
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.
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.1 ___________________________4.4
4.2 _________________________4.5
4.3 ____________________________4.6
5.1 ; ; ; ; .
5.2 ; ; ; ; .
5.3 ; ; ; ; .
Determinar:
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.
16 prefieren ingeniería y biología.
Determinar:
Determinar:
Determinar