Guia de Ejercicios sobre Teoria de Conjuntos

Guia de Ejercicios sobre Teoria de Conjuntos

---

Definir por extensión cada uno de los siguientes conjuntos:

1.  F = { x ∈ R/ x ^2  = x }
2. A= { X ∈ Z / x ^2 =1}
3. Y = {x/x ∈  N /x >8}
4. D = {x / x es una letra de la palabra programador}
5. E = { x / x es un numero reral y x^2  =0}

Solucion

1. F es el conjunto formado por todas las X que pertenecen a los números reales talque x ^2  =x. La condición es x ^2  = x, al sustituir X por números nos quedaría de esta manera.

0 ^2  = 0,

1 ^2  = 1,

2 ^2  = 4 ya no cumple la condición. Por ello F = {0,1} .

2. A es el conjunto de formado por todas las X que pertenecen a los números enteros talque x ^2 =1. La condición es x ^2 =1, al sustituir X por números quedaría de esta manera.

-1^2 = -1, si cumple

0^2 = 0, no cumple

1 ^2 = 1, si cumple 

1 ^2 = 4 no cumple

Por ello  A= {-1,1}

3. Y es el conjunto de todos los valores x donde x pertece a los numeros naturales tal que x mayor que 8. La condición es X > 8. Vamos a dar valores a X para determinar si cumple la condición establecida.

4 > 8 no cumple,

6 > 8 no cumple,

9 > 8 si cumple,

10 > 8 si cumple

De esta manera nuestro conjunto por extension queda de la siguiente manera

                                   Y = {9,10,…,}

4. D = {p,r,o,g,r,a,m,a,d,o,r}

5. E = {0}

0^2  =0  cumple.

1^2  =1 no cumple.

---

Sean los conjuntos A= {1, 3, 4, 5}, B= {3, 4, 5 6} , C = {3, 4, 5} y D = {1, 2, 3, 4, 5, 6 ,7} . Indica cuáles de las afirmaciones siguientes son ciertas.

Nota : Se dice que un conjunto “A” esta incluido en otro “B”,

cuando todo elemento de A, pertenece a B.

• A ⊂ B, se lee “A esta incluido en B” o “ B contiene a A”
• B ⊂ A, se lee “ B esta incluido en A”
• D ∈ A, se lee “ D pertece A”, es falso porque esta relacion solo se puede realizar entre elemento a conjunto.
• C ⊂ D, se lee “ C esta incluido en D”, correcto.

---

Operaciones entre Conjuntos

Unión

La unión de conjunto A y B es el conjunto formado por los elementos que pertenecen a A, a B o a ambos.

Sean los conjuntos A = {a,b,c,d}, B = {d,e,f,g,h} y C ={a,b,i,j} , determine A U B, B U A y C U B.

Solución

                        A U B

A = {a,b,c,d,e,f,g,h}, se puede notar que en ambos conjutos se repite la letra d ,  pero solo una  ves se une al conjunto A, es decir no permite repetir elementos.

                        B U A 

B = {a,b,c,d,e,f,g,h }, el resultado es el mismo porque una de las propiedad mas sobresaliente de esta operación es conmutativa, es decir  que A U B = B U A.

  C U B

            C = {a,b,i,j,d,e,f,g,h}

Intersección

Dados lo conjuntos A y B, se llama intersección al conjunto formado por los elementos que pertenecen a A y B a la vez; es decir es el conjunto formado por los elementos comunes a A y B.

Datos los conjuntos A = {3,4,5,6}, B ={5,6,7,8} y C ={8,9,10,11}, calcular A ∩ B, B ∩ A, C ∩ A y B ∩ C.

Solución

ü  A ∩ B

   A = {5,6}, 5 y 6 son los elementos que tienen en comun  ambos conjuntos.

ü  B ∩ A

               B = {5,6}

ü  C ∩ A 

         C = {}  ó  C  ∩ A = ∅ , es conjunto vacio ya que no tienen ningun elemento en común.

ü  B ∩ C

          B = {8}

Diferencia

La diferencia de dos conjuntos A y B, que se escribe A - B, se define como el conjunto formado por los elementos A que no pertenecen a B.

Sean los conjuntos A = { 2, 4, 6, 8, 10 } y B = { 1, 2, 3, 4, 5}.

Solución

¿Cuál es la diferencia de A - B?

A – B = {6,8,10}, elementos que solo estan en A y que no estan en B.

¿Cuál es la diferencia de  B - A?

            B – A ={1,3,5}

Operaciones y Relaciones entre conjuntos.

---

Introducción:
Para la representación entre conjuntos utilizaremos las letras A,B,C,… y para la representación de elementos u objetos utilizaremos las letras minúsculas a,b,c,…
Para la representación de conjuntos es simple lógica llámese conjuntos a las letras mayúsculas A y los elementos las letras a minúsculas entonces para representar “A es el conjunto que contiene los elementos a,b, c”, seria:

A= {a,b,c}

Las llaves encierran as listas de los elementos del conjunto y cada elemento del conjunto lo separamos por comas.
Para la representación de elementos que forman un conjunto, se puede expresar de tres maneras:

• Lenguaje Natural: Cuando expresamos el conjunto de manera común, por ejemplo: El conjunto de árboles, el conjunto de estudiantes, etc.
• Por Expresión: Cuando expresamos el conjunto nombrando cada uno de sus elementos entre corchetes, Ejemplo: A= {1, 2, 3, 4}, D= {a, b, c, d}.
• Por Comprensión: Cuando expresamos el conjunto mediante alguna propiedad de los elementos del conjunto. Ejemplo: A= {x|x es un triangulo}, : C= {y|y es una persona}.

Operaciones entre conjuntos.

Unión de conjuntos: Es la reunión de todos los elementos de dos o más conjunto y se representa de la siguiente manera: A ∪ B.
De manera formal se define: A ∪ B = {x|x ∈ A o x ∈ B}.

Ejemplo:
A= {a, b, c, d} B= {e, f}
A ∪ B = {a, b, c, d, e, f}.

Intercepción de conjuntos: Es el conjunto formado por los elementos que tienen en común los conjuntos operados y se representa de la siguiente manera: A ∩ B.
De manera formal se define: A ∩ B= {x|x ∈ A y x ∈ B}.

Ejemplo:
A= {a, b, c, d} B= {d, e}
A ∩ B= {d}

Si en todo caso no tuvieran ningún elemento en común entonces se expresaría:

A= {a, b, c, d} B= {e, f}
A ∩ B= { ∅}.

Llámese al signo o símbolo “∅” conjunto al vacío, se representa en conjuntos como el símbolo que delega que no existe ningún elemento por escribir, ya que 0 (cero) puede ser expresado como un elemento.
Diferencia de conjuntos: Sea A y B dos conjuntos, la diferencia entre A y B es el conjunto formado por todos los elementos que pertenece a A y que no pertenece a B y se representa de la siguiente manera: A - B.
De manera formal se define: A - B = {x|x ∈ A y x ∉ B}.

Ejemplo:
A= {a, b, c, d} B= {a, b, e, f}
A - B = {c, d}.
B - A = {e, f}.

Relaciones entre conjuntos.

Relación de pertenencia:

Para indicar que un objeto es un elemento de un conjunto se utiliza el símbolo ∈, Por lo que la representación se expresa mediante la notación siguiente:

a ∈ A

Lo que significa que un objeto o elemento a pertenecer a un conjunto A; sino pertenece al conjunto A entonces se expresa de la siguiente manera:

a ∉ A

Para elementos o conjuntos que sean iguales lo representaremos con el signo “=” ya que esto significa identidad lógica, por ejemplo si escribimos A = B estamos expresando que A y B son símbolos distintos pero representan el mismo conjunto, por lo que se puede decir que dos conjuntos son iguales si están formados exactamente por los mismos elementos.
Y si A y B son conjuntos distintos entonces se expresara bajo la notación: A ≠ B ya sea A, el conjunto de los números naturales y B el conjunto de números enteros, entonces claramente A ≠ B.

Relación de inclusión:

Para la expresión de subconjunto, se precisa de aclarar que se representa cuando un conjunto contiene los elementos de otro conjunto, y se representa con A ⊆ B
Por ejemplo, cuando A= {1, 2, 3, 4} B= {1, 2}

A ⊆ B

Por contrariedad y si A es un subconjunto de B y además son conjuntos diferentes entonces diremos que A es un subconjunto propio de B y se denota de la siguiente manera:

A ⊊ B

Una historia de la Teoría de Conjuntos

Una historia de la Teoría de Conjuntos

---

Cuando hablamos de La historia de la teoría de conjuntos es bastante diferente comparada con la historia de la mayoría de las otras áreas de las matemáticas porque no se manejan con simples problemas. Para la mayoría de las áreas por lo general se puede rastrear un largo proceso en el que las ideas evolucionan hasta alcanzar un resplandor final el cuales comprobado según la posibilidades que existan, a menudo por un número de matemáticos casi simultáneamente, produciendo un descubrimiento de gran importancia.

La teoría de conjuntos sin embargo, es bastante diferente. Su creación se debe a una sola persona, Georg Cantor. Antes de adentrarnos en la historia principal del desarrollo de la teoría de Cantor, primero examinamos algunas atribuciones  preliminares que surgieron.

Georg Cantor

Cuando se establece La idea de infinito había sido objeto de una considera reflexión desde la época de los griegos. Zenón de Elea, alrededor de 450 aC, con sus problemas en el infinito, hizo una importante contribución. Por lo cual en la Edad Media, la discusión  que se formaron por discutir del infinito había dado lugar a la comparación de conjuntos infinitos lo cuales generaban más interrogantes y lo cual permitió llegar una conclusión. Por ejemplo Alberto de Sajonia, en Questiones subtilissime in libros de celo et mundi, en el cuales se demuestra que un haz de longitud infinita tiene el mismo volumen que el 3-espacio. Él demuestra esto cortando el haz en trozos imaginarios que luego se ensamblan en capas concéntricas sucesivas que llenan el espacio.

Bolzano fue un filósofo y matemático de pensamiento profundo. En 1847 él consideró a los conjuntos con la siguiente definición:

• Una realización de la idea o concepto que concebimos cuando consideramos la disposición de sus partes como una cuestión de indiferencia.

Por lo cual sabiendo esto según la historia dicta que Bolzano defendió el concepto de conjunto infinito. En esa época muchos creían que no podían existir los conjuntos infinitos. Bolzano dio ejemplos para demostrar que, a diferencia de los conjuntos finitos, los elementos de un conjunto infinito podrían ponerse en correspondencia uno a uno con elementos de uno de sus subconjuntos propios. Esta idea eventualmente llegó a usarse en la definición de un conjunto finito.

Fue con el trabajo de Cantor no obstante, que la teoría de conjuntos se estableció sobre una base matemática adecuada. Los primeros trabajos de Cantor fueron en teoría de números y publicó una serie de artículos sobre este tema entre 1867 y 1871. Estos, aunque de gran calidad, no dan indicios de haber sido escritos por un hombre que estaba a punto de cambiar el curso de las matemáticas.

Bernard Bolzano

En su artículo de 1874 Cantor considera al menos dos tipos diferentes de infinito. Anteriormente no existían estos órdenes de infinito, todas las colecciones infinitas eran consideradas 'del mismo tamaño'. Sin embargo Cantor examina el conjunto de números reales algebraicos, que se puede considerar como el conjunto de todas las raíces reales de ecuaciones de la forma

anxn+an−1xn−1+an−2xn−2+⋯+a1x+a0=0

Donde an es un número entero. Cantor demuestra que los números reales algebraicos están en correspondencia uno a uno con los números naturales de la siguiente manera.

Para una ecuación de la forma anterior definamos su índice como

|an|+|an−1|+|an−2|+⋯+|a1|+|a0|+n.

Sólo hay una ecuación de índice 2, es decir, x=0. Hay 3 ecuaciones de índice 3, a saber,

2x=0, x+1=0 ,x−1=0 y x2=0.

Estos dan raíces 0, 1, -1. Para cada índice sólo hay un número finito de ecuaciones y tan sólo un número finito de raíces. Realizar una correspondencia uno a uno con los números naturales es ahora sencillo, pero ordenándolos por orden de índice y magnitud creciente dentro de cada índice.

En el mismo artículo Cantor muestra que los números reales no se pueden poner en correspondencia uno a uno con los números naturales utilizando un argumento con intervalos anidados, el cual es un argumento más complejo comparado con el que se usa en la actualidad (que es de hecho debido a Cantor publicado en un artículo posterior de 1891). Cantor enfatiza entonces que esto demuestra un teorema establecido por Liouville, a saber, que hay infinitos números trascendentes (es decir, no algebraicos) en cada intervalo.

Joseph Liouville

En 1885 Cantor continuó extendiendo su teoría de los números cardinales y de tipos de órdenes. Extendió su teoría de tipos de órdenes para que sus números ordinales definidos previamente se convirtieran en un caso especial. En 1895 y 1897 Cantor publicó su doble tratado final sobre la teoría de conjuntos, el cual contiene una introducción que bien parece un libro moderno de la teoría de conjuntos y define el concepto de conjunto, subconjunto, etc. Cantor demuestra que si A y B son conjuntos con A equivalente a un subconjunto de B y B equivalente a un subconjunto de A, entonces A y B son equivalentes. Este teorema también fue probado por Felix Bernstein y, también, de forma independiente por E. Schröder.

Felix Bernstein

En 1897 la primera paradoja en teoría de conjuntos apareció y fue publicado por Cesare Burali-Forti. Algunos de los efectos de esta paradoja se perdieron ya que Burali-Forti consideró la definición de un conjunto bien ordenado de forma errónea. Sin embargo, incluso cuando la definición se corrigió, la paradoja se mantuvo. Básicamente esta paradoja gira alrededor del conjunto de todos los números ordinales.

Cesare Burali-Forti

En 1899 Cantor descubrió otra paradoja que surge del conjunto de todos los conjuntos. ¿Cuál es el número cardinal del conjunto de todos los conjuntos? Es evidente que debe ser el mayor cardinal posible pero el cardinal del conjunto de todos los subconjuntos de un conjunto siempre tiene un cardinal mayor que el propio conjunto. De esta manera, parecía que la crítica de Kronecker podría haber sido correcta, ya que la extensión del concepto de conjunto más allá de lo finito parecía producir paradojas. La 'última' paradoja fue encontrada por Russell en 1902 (también descubierta por Zermelo de forma independiente). Definamos un conjunto

A={X | X no es un miembro de X}.

Russell entonces se preguntó: ¿Es A un elemento de A? Tanto el supuesto de que A es un miembro de A y que A no es un miembro de A conllevan a una contradicción. La propia construcción del conjunto parece dar una paradoja.

Russell escribió a Frege acerca de esta paradoja, quien estaba por terminar su principal tratado sobre los fundamentos de la aritmética. Frege añadió un análisis de esta paradoja a su tratado.

Un científico difícilmente puede encontrarse con algo más indeseable que ver sucumbir los cimientos de su teoría justo cuando su trabajo está terminado. En esta posición estuve debido a una carta del Sr. Bertrand Russell cuando mi trabajo estaba casi por publicarse.

Bertrand Russell

En esta etapa, sin embargo, la teoría de conjuntos estaba empezando a tener un impacto importante en otras áreas de las matemáticas. Lebesgue definió 'medida' en 1901 y en 1902 definió la integral desde otro punto de vista (actualmente conocida como integral de Lebesgue) usando conceptos de la teoría de conjuntos. El Análisis necesitaba la teoría de conjuntos de Cantor, el cual no podía permitirse el lujo de limitarse a las matemáticas intuicionistas en el espíritu de Kronecker. En lugar de descartar la teoría de conjuntos, debido a las paradojas, se buscaron maneras de mantener las características principales de la teoría de conjuntos para eliminar las paradojas.

¿Las paradojas provienen del Axioma de Elección? Cantor había utilizado el Axioma de Elección sin considerar que era necesario darle un tratamiento especial. La primera persona que utilizó de manera explícita este axioma parece haber sido Peano en 1890 al realizar una demostración de la existencia de soluciones de un sistema de ecuaciones diferenciales. De nuevo en 1902 fue mencionado por Beppo Levi, pero el primero en introducir formalmente el axioma fue Zermelo cuando demostró, en 1904, que cada conjunto puede ser bien ordenado. Cantor había conjeturado este teorema. Émile Borel señaló que el axioma de elección es de hecho equivalente al teorema de Zermelo.

Gödel demostró, en 1940, que el axioma de elección no se puede demostrar con los otros axiomas de la teoría de conjuntos. No fue sino hasta 1963 que Paul Cohen demostró que el Axioma de Elección es independiente de los otros axiomas de la teoría de conjuntos.