TEORIA DE CONJUNTOS
La teoría de conjuntos es una rama de las matematicas que estudia las propiedades y relaciones 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.1
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: numeros, funciones, figuras geometricas,...; y, junto con la logica, permite estudiar los fundamentos de aquella. 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.
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 influido 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
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 pertenece 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.
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.
EJEMPLO:
La unión de 2 conjuntos A y B se nota como A ∪ B y es el conjunto de todos los elementos de A y B.
Ejemplo
{1, 2} ∪ {rojo, blanco} ={1, 2, rojo, blanco}.
Algunas propiedades básicas de la unión:
* A ∪ B = B ∪ A.
* A ∪ (B ∪ C) = (A ∪ B) ∪ C.
* A ⊆ (A ∪ B).
* A ∪ A = A.
* A ∪ ∅ = A.
* A ⊆ B if si y solo si A ∪ B = B.
Ejemplo
{1, 2} ∪ {rojo, blanco} ={1, 2, rojo, blanco}.
Algunas propiedades básicas de la unión:
* A ∪ B = B ∪ A.
* A ∪ (B ∪ C) = (A ∪ B) ∪ C.
* A ⊆ (A ∪ B).
* A ∪ A = A.
* A ∪ ∅ = A.
* A ⊆ B if si y solo si A ∪ B = 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 y B.
EJEMPLO:
{1, 2} ∩ {rojo, blanco} = ∅.
* {1, 2, verde} ∩ {rojo, blanco, verde} = {verde}.
* {1, 2} ∩ {1, 2} = {1, 2}
* {1, 2, verde} ∩ {rojo, blanco, verde} = {verde}.
* {1, 2} ∩ {1, 2} = {1, 2}
Algunas propiedades básicas de las intersecciones:
* A ∩ B = B ∩ A.
* A ∩ (B ∩ C) = (A ∩ B) ∩ C.
* A ∩ B ⊆ A.
* A ∩ A = A.
* A ∩ ∅ = ∅.
* A ⊆ B if si y solo si A ∩ B = A.
* A ∩ B = B ∩ A.
* A ∩ (B ∩ C) = (A ∩ B) ∩ C.
* A ∩ B ⊆ A.
* A ∩ A = A.
* A ∩ ∅ = ∅.
* A ⊆ B if si y solo si A ∩ B = A.
- 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.
La teoría Axiomática
La necesidad de la teoría axiomática radica en las limitaciones que existen en la definición de conjunto y en la existencia de algunas "paradojas" amplamente trabajadas por algunos de los más importantes matemáticos.
La paradoja de Russel Muestra que el conjunto de todos los conjuntos que no se contienen a sí mismos no existe.
La paradoja de Cantor Muestra que el conjunto de todos los conjuntos no puede existir.
BIBLIOGRAFIA:
No hay comentarios.:
Publicar un comentario