Teoría de Conjuntos

8
Teoría de conjuntos: Hipótesis del continuo. La colección de todos los conjuntos de números naturales P(N) tiene la llamada potencia del continuo: tantos las funciones como (por ejemplo) puntos en una recta. Su estudio es uno de los principales problemas en la teoría de conjuntos. 1 - Introducción breve: 1 - Comentario previo: La teoría de conjuntos es una rama de las matemáticas que estudia las apreciaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas. Los conjuntos y sus operaciones más elementales son una herramienta básica en la formulación de cualquier teoría matemática. Sin embargo, la teoría de los conjuntos es lo suficientemente rica como para construir el resto de objetos y estructuras de interés en matemáticas: números, funciones, figuras geométricas, ...; y junto con la lógica permite estudiar los fundamentos de esta. En la actualidad se acepta que el conjunto de axiomas de la teoría de Zermelo-Fraenkel es suficiente para desarrollar toda la matemática. Además, la propia teoría de conjuntos es objeto de estudio per se, no sólo como herramienta auxiliar, en particular las propiedades y relaciones de los conjuntos infinitos. En esta disciplina es habitual que se presenten casos de propiedades indemostrables o contradictorias, como la hipótesis del continuo o la existencia de un cardinal inaccesible. Por esta razón, sus razonamientos y técnicas se apoyan en gran medida en la lógica matemática. El desarrollo histórico de la teoría de conjuntos se atribuye a Georg Cantor, que comenzó a investigar cuestiones conjuntistas «puras» del infinito en la segunda mitad del siglo XIX, precedido por algunas ideas de Bernhard Bolzano e influenciado por Richard Dedekind. El descubrimiento de las paradojas de la teoría cantoriana, de conjuntos, formalizada por Gottlob Frege, propició los trabajos de Bertrand Russell, Ernst Zermelo, Abraham Fraenkel y otros a principios del siglo

description

Nociones breves sobre la teoria de conjuntos

Transcript of Teoría de Conjuntos

Page 1: Teoría de Conjuntos

Teoría de conjuntos:

Hipótesis del continuo. La colección de todos los conjuntos de números naturales P(N) tiene la llamada potencia del continuo: tantos las funciones como (por ejemplo) puntos en una recta. Su estudio es uno de los principales problemas en la teoría de conjuntos.

1 - Introducción breve:

1 - Comentario previo:

La teoría de conjuntos es una rama de las matemáticas que estudia las apreciaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas. Los conjuntos y sus operaciones más elementales

son una herramienta básica en la formulación de cualquier teoría matemática.

Sin embargo, la teoría de los conjuntos es lo suficientemente rica como para construir el resto de objetos y estructuras de interés en matemáticas: números, funciones, figuras geométricas, ...; y junto con la lógica permite estudiar los fundamentos de esta. En la actualidad se acepta que el conjunto de axiomas de la teoría de Zermelo-Fraenkel es suficiente para desarrollar toda la matemática.

Además, la propia teoría de conjuntos es objeto de estudio per se, no sólo como herramienta auxiliar, en particular las propiedades y relaciones de los conjuntos infinitos. En esta disciplina es habitual que se presenten casos de propiedades indemostrables o contradictorias, como la hipótesis del continuo o la existencia de un cardinal inaccesible. Por esta razón, sus razonamientos y técnicas se apoyan en gran medida en la lógica matemática.

El desarrollo histórico de la teoría de conjuntos se atribuye a Georg Cantor, que comenzó a investigar cuestiones conjuntistas «puras» del infinito en la segunda mitad del siglo XIX, precedido por algunas ideas de Bernhard Bolzano e influenciado por Richard Dedekind. El descubrimiento de las paradojas de la teoría cantoriana, de conjuntos, formalizada por Gottlob Frege, propició los trabajos de Bertrand Russell, Ernst Zermelo, Abraham Fraenkel y otros a principios del siglo XX.

2 - Teoría básica de conjuntos:

La teoría de conjuntos más elemental es una de las herramientas básicas del lenguaje matemático. Dados unos elementos, unos objetos matemáticos como números o polígonos por ejemplo, puede imaginarse una colección determinada de estos objetos, un conjunto. Cada uno de estos elementos pertenecen al conjunto, y esta noción de pertenencia es la relación relativa a conjuntos más básica. Los propios conjuntos pueden imaginarse a su vez como elementos de otros conjuntos. La pertenencia de un elemento a a un conjunto A se indica como a ∈ A.

Una relación entre conjuntos derivada de la relación de pertenencia es la relación de inclusión. Una subcolección de elementos B de un conjunto dado A es un subconjunto de A, y se indica como B ⊆ A.

Page 2: Teoría de Conjuntos

Ejemplos.

Los conjuntos numéricos usuales en matemáticas son: el conjunto de los números naturales N, el de los números enteros Z, el de los números racionales Q, el de los números reales R y el de los números complejos C. Cada uno es subconjunto del siguiente:

El espacio tridimensional E3 es un conjunto de objetos elementales denominados puntos p, p ∈ E3. Las rectas r y planos α son conjuntos de puntos a su vez, y en particular son subconjuntos de E3, r ⊆ E3 y α ⊆ E3.

3 - Álgebra de conjuntos:

Existen unas operaciones básicas que permiten manipular los conjuntos y sus elementos, similares a las operaciones aritméticas, constituyendo el álgebra de conjuntos:

Unión: La unión de dos conjuntos A y B es el conjunto A ∪ B que contiene cada elemento que está por lo menos en uno de ellos.

Intersección: La intersección de dos conjuntos A y B es el conjunto A ∩ B que contiene todos los elementos comunes de A y B.

Diferencia:  La diferencia entre dos conjuntos A y B es el conjunto A \ B que contiene todos los elementos de A que no pertenecen a B.

Complemento:  El complemento de un conjunto A es el conjunto A∁ que contiene todos los elementos (respecto de algún conjunto referencial) que no pertenecen a A.

Diferencia simétrica:  La diferencia simétrica de dos conjuntos A y B es el conjunto A Δ B con todos los elementos que pertenecen, o bien a A, o bien a B, pero no a ambos a la vez.

Producto cartesiano:  El producto cartesiano de dos conjuntos A y B es el conjunto A × B que contiene todos los pares ordenados (a, b) cuyo primer elemento a pertenece a A y su segundo elemento b pertenece a B.

2 - Teoría axiomática o teoría informal de conjuntos:

La teoría informal de conjuntos apela a la intuición para determinar cómo se comportan los conjuntos. Sin embargo, es sencillo plantear cuestiones acerca de las propiedades de estos que llevan a contradicción si se razona de esta manera, como la famosa paradoja de Russell. Históricamente ésta fue una de las razones para el desarrollo de las teorías axiomáticas de conjuntos, siendo otra el interés en determinar exactamente qué enunciados acerca de los conjuntos necesitan que se asuma el polémico axioma de elección para ser demostrados.

Las teorías axiomáticas de conjuntos son colecciones precisas de axiomas escogidos para poder derivar todas las propiedades de los conjuntos con el suficiente rigor matemático. Algunos ejemplos conocidos son:

Page 3: Teoría de Conjuntos

La teoría de conjuntos de Zermelo-Fraenkel

La teoría de conjuntos de Neumann-Bernays-Gödel

La teoría de conjuntos de Morse-Kelley

3 - Álgebra de conjuntos:

En matemáticas, álgebra de conjuntos es el estudio de las operaciones básicas que pueden realizarse con conjuntos, como la unión, intersección y complementación.

3.1 - Conjunto:

Un conjunto es una colección de objetos considerada como un objeto en sí. Un conjunto está definido únicamente por los elementos que lo componen, y no por la manera en la que se lo representa.

Existe una serie de relaciones básicas entre conjuntos y sus elementos:

Pertenencia: La relación relativa a conjuntos más básica es la relación de pertenencia. Dado un elemento x, éste puede o no pertenecer a un conjunto dado A. Esto se indica como x ∈ A.

Igualdad: Dos conjuntos son iguales si y sólo si tienen los mismos elementos. Este principio, denominado principio de extensionalidad establece el hecho de que un conjunto queda definido únicamente por sus elementos.

Inclusión: Dado un conjunto A, cualquier subcolección B de sus elementos es un subconjunto de A, y se indica como B ⊆ A.

Conjunto Vacío: El consunto vacío es el conjunto sin ningún elemento, y se denota por ∅ o por {}. El conjunto universal es el conjunto que contiene todos los elementos posibles, dentro del contexto considerado. Por ejemplo, si se estudian los números naturales, el conjunto universal es el conjunto de todos ellos, N. De manera general, el conjunto universal se denota por U.

3.2 - Ejemplos:

Cada número natural es elemento del conjunto N = {1, 2, 3,...} de los números naturales: 1 ∈ N, 2 ∈ N, etc. Cada número par es también un número natural, por lo que el conjunto P de los números pares, P = {2, 4, 6, ...}, es un subconjunto de N: P ⊆ N.

Dado el conjunto de letras V = {o, i, e, u, a}, se cumple por ejemplo que a ∈ V o también i ∈ V. El conjunto de letras U = {vocales del español} contiene los mismos elementos que V, por lo que ambos conjuntos son iguales, V = U.

Page 4: Teoría de Conjuntos

3.3 - Operaciones con conjuntos:

Unión Intersección Diferencia

Complemento Diferencia simétrica

Las operaciones básicas del álgebra de conjuntos son:

Unión: La unión de dos conjuntos A y B es el conjunto A ∪ B que contiene todos los elementos de A y de B.

Intersección: La intersección de dos conjuntos A y B es el conjunto A ∩ B que contiene todos los elementos comunes de A yB.

Diferencia: La diferencia entre dos conjuntos A y B es el conjunto A \ B que contiene todos los elementos de A que no pertenecen a B.

Complemento: El complemento de un conjunto A es el conjunto A∁ que contiene todos los elementos que no pertenecen a A.

Producto cartesiano: El producto cartesiano de dos conjuntos A y B es el conjunto A × B que contiene todos los pares ordenados (a, b) cuyo primer elemento pertenece a A y su segundo elemento pertenece a B.

3.3 - Propiedades:

Algunas de estas operaciones poseen propiedades similares a las operaciones con números naturales. Por ejemplo, la unión y la intersección son conmutativas y asociativas. El conjunto vacío es el elemento neutro de la unión, y el elemento absorbente de la intersección y el producto cartesiano. El conjunto universal es el elemento neutro de la intersección y el elemento absorbente de la unión.

Además, las operaciones de unión, intersección, diferencia y complemento son muy similares a las operaciones en un álgebra de Boole, así como a los conectores lógicos de la lógica proposicional.

Page 5: Teoría de Conjuntos

UNIVERSIDAD NACIONAL DE TRUJILLO

Escuela de Historia

Facultad de CC. SS:

Alumno:

Ricardi Andree Turpo Mamani.

Asignatura:

Complemento Matemático

Ciclo:

Primer Ciclo.

Aula:

CC.SS

Profesor:

Año:

Tema:

.

Page 6: Teoría de Conjuntos