Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Los diversos polígonos en la imagen constituyen un conjunto. Algunos de los elementos del conjunto, además de ser
polígonos son regulares. La colección de estos últimos —los polígonos regulares en la imagen— es otro conjunto, en
particular, un subconjunto del primero.
Un conjunto suele definirse mediante una propiedad que todos sus elementos poseen. Por
ejemplo, para los números naturales, si se considera la propiedad de ser un número primo, el
conjunto de los números primos es:
Un conjunto queda definido únicamente por sus miembros y por nada más. En particular, un
conjunto puede escribirse como una lista de elementos, pero cambiar el orden de dicha lista o
añadir elementos repetidos no define un conjunto nuevo. Por ejemplo:
S = {lunes, martes, miércoles, jueves, viernes} = {martes, viernes, jueves, lunes, miércoles}
AI = {rojo, naranja, amarillo, verde, azul, añil, violeta} = {amarillo, naranja, rojo, verde, violeta,
añil, azul}
Los conjuntos pueden ser finitos o infinitos. El conjunto de los números naturales es infinito,
pero el conjunto de los planetas del sistema solar es finito (tiene ocho elementos). Además, los
conjuntos pueden combinarse mediante operaciones, de manera similar a las operaciones con
números.
Sí
No lo sé
Para obtener más información, consulta la declaración de privacidad de esta encuesta.
Historia de conjuntos
Definición
[…] entiendo en general por variedad o conjunto toda multiplicidad que puede ser pensada como unidad,
esto es, toda colección de elementos determinados que pueden ser unidos en una totalidad mediante una
ley.
—Georg Cantor[2]
Un conjunto es una colección bien definida de objetos, entendiendo que dichos objetos pueden
ser cualquier cosa: números, personas, letras, otros conjuntos, etc. Algunos ejemplos son:
Los conjuntos se denotan habitualmente por letras mayúsculas. Los objetos que componen el
conjunto se llaman elementos o miembros. Se dice que «pertenecen» al conjunto y se denota
mediante el símbolo ∈:[n 1] la expresión a ∈ A se lee entonces como «a está en A», «a pertenece
a A», «A contiene a a», etc. Para la noción contraria se usa el símbolo ∉. Por ejemplo:
3∈A, ♠∈D
amarillo ∉ B, z ∉ C
Notación
Relación de pertenencia. El conjunto A es un conjunto de polígonos. En la imagen, algunas de las figuras pertenecen a
dicho conjunto, pero otras no.
Existen varias maneras de referirse a un conjunto. En el ejemplo anterior, para los conjuntos A y
D se usa una definición intensiva o por comprensión, donde se especifica una propiedad que
todos sus elementos poseen. Sin embargo, para los conjuntos B y C se usa una definición
extensiva, listando todos sus elementos explícitamente.
Es habitual usar llaves para escribir los elementos de un conjunto, de modo que:
Esta notación mediante llaves también se utiliza cuando los conjuntos se especifican de forma
intensiva mediante una propiedad:
En estas expresiones los dos puntos («:») significan «tal que». Así, el conjunto F es el conjunto
de «los números de la forma n2 tal que n es un número entero entre 1 y 10 (ambos inclusive)», o
sea, el conjunto de los diez primeros cuadrados de números naturales. En lugar de los dos
puntos se utiliza también la barra vertical («|») u oblicua «/» .
Igualdad de conjuntos
Conjunto de personas. El conjunto de «personas» mostrado en la imagen, A, tiene 8 miembros. Este conjunto puede
representarse mediante llaves o mediante un diagrama de Venn. El orden de las personas en A es irrelevante.
Un conjunto está totalmente determinado por sus elementos. Por ello, la igualdad de conjuntos
se establece como:
Propiedad de la extensionalidad
Esta propiedad tiene varias consecuencias. Un mismo conjunto puede especificarse de muchas
maneras distintas, en particular extensivas o intensivas. Por ejemplo, el conjunto A de los
números naturales menores que 5 es el mismo conjunto que A′, el conjunto de los números 1, 2,
3 y 4. También:
Además, un conjunto no puede tener elementos «repetidos», ya que un objeto solo puede o bien
ser un elemento de dicho conjunto o no serlo. Se da entonces que, por ejemplo:
{1, 2} = {1, 2, 1}
En ausencia de alguna característica adicional que distinga los «1» repetidos, lo único que
puede decirse del conjunto de la derecha es que «1» es uno de sus elementos.
Conjunto vacío
El conjunto que no contiene ningún elemento se llama el conjunto vacío y se denota por o
simplemente {}. Algunas teorías axiomáticas de conjuntos aseguran que el conjunto vacío existe
incluyendo un axioma del conjunto vacío. En otras teorías, su existencia puede deducirse.
Muchas posibles propiedades de conjuntos son trivialmente válidas para el conjunto vacío.
Propiedades
El conjunto potencia del conjunto vacío es el conjunto que contiene únicamente el conjunto
vacío:
Subconjuntos
Todo conjunto A es un subconjunto de sí mismo, ya que siempre se cumple que «cada elemento
de A es a su vez un elemento de A». Es habitual establecer una distinción más fina mediante el
concepto de subconjunto propio: A es un subconjunto propio de B si es un subconjunto de B
pero no es igual a B. Se denota como A ⊊ B, es decir: A ⊆ B pero A ≠ B (y equivalentemente, para
un superconjunto propio, B ⊋ A).[n 2]
Ejemplos.
El «conjunto de todos los hombres» es un subconjunto propio del «conjunto de todas las
personas».
{1, 3} ⊊ {1, 2, 3, 4}
{1, 2, 3, 4} ⊆ {1, 2, 3, 4}
Conjuntos disjuntos
Dos conjuntos A y B son disjuntos si no tienen ningún elemento en común. Por ejemplo, los
conjuntos de los números racionales y los números irracionales son disjuntos: no hay ningún
número que sea a la vez racional e irracional. La intersección de dos conjuntos disjuntos es el
conjunto vacío.
Cardinalidad
Los conjuntos pueden ser finitos o infinitos. En el caso de un conjunto finito se pueden contar
los elementos del conjunto:
El cardinal se denota por |A|, card(A) o #A. Así, en los ejemplos anteriores, se tiene que |A| = 4
(cuatro números), |B| = 3 (tres colores) y |F| = 10 (diez cuadrados). El único conjunto cuyo
cardinal es 0 es el conjunto vacío ∅.
1.
2.
3.
4.
5.
6.
1.
2.
3.
4.
En un conjunto infinito no hay un número finito de elementos. Es el caso por ejemplo de los
números naturales: N = {1, 2, 3, …}. Sin embargo, existe una manera de comparar conjuntos
infinitos entre sí, y se obtiene que existen conjuntos infinitos «más grandes» que otros. El
«número de elementos» de un conjunto infinito es un número transfinito.
Uno de los resultados más importantes de Georg Cantor fue que la cardinalidad de los reales ( )
es más grande que la de los números naturales ( ). Esto es, que hay más números reales R
que números enteros N. Concretamente, Cantor mostró que
.
La hipótesis del continuo afirma que no existen conjuntos con cardinalidades intermedias entre
los naturales y los reales:
Si se asume el axioma de elección, la estructura de los cardinales infinitos es más clara: todos
los cardinales infinitos son álefs y están bien ordenados, por lo que existe solo un cardinal
inmediatamente superior a ℵ0, denotado por ℵ1. La hipótesis es equivalente entonces a:
Unión
Intersección
Diferencia
Complemento
Diferencia simétrica
Existen varias operaciones básicas que pueden realizarse, partiendo de ciertos conjuntos dados,
para obtener nuevos conjuntos:
{1, a, 0} × {2, b} = {(1, 2), (1, b), (a, 2), (a, b), (0, 2), (0, b)}
Véase también
Notas y referencias
Notas
1. Este símbolo lo introdujo Peano. Vid Matemática Moderna de André Warusfel sobre epsilon y
Nachbin en su Álgebra Elemental (pág. 1 y pág. 2) habla de: "La notación de Peano x ∈ X".
Referencias
1. Esta sección está basada en Ferreirós, J. «The early development of set theory» (https://www.
webcitation.org/69YJbQ9RY?url=http://plato.stanford.edu/entries/settheory-early/) . En
Edward N. Zalta, ed. The Stanford Encyclopedia of Philosophy (Fall 2011 edition) (en inglés).
Archivado desde el original (http://plato.stanford.edu/entries/settheory-early/) el 30 de julio
de 2012. Consultado el 15 de diciembre de 2011.
2. Véase Cantor, Georg (2006) [1872-1899]. Fundamentos para una teoría general de conjuntos.
Escritos y correspondencia selecta. Edición de José Ferreirós. Crítica. p. 137. ISBN 84-8432-
695-0.
Bibliografía
Courant, Richard; Robbins, Herbert; Stewart, Ian (1996). What is Mathematics? An Elementary
Approach to Ideas and Methods (en inglés). Oxford University Press. ISBN 0-19-510519-2.
Suplemento del capítulo II.
Nachbin, Leopoldo : Álgebra elemental (1986) Rochester, Nueva York; editora: Eva V. Chesnau.
Edición de la OEA, traducida al español por César E. Silva.
Bibliografía adicional
Halmos, Paul R. : Teoría intuitiva de conjuntos (1965) Compañía editorial Continental S.A.
México 22, D.F. primera edición en español.
Enlaces externos
Esta obra contiene una traducción derivada de «Set» de Wikipedia en inglés, publicada por sus
editores (https://en.wikipedia.org/wiki/Set?action=history) bajo la Licencia de
documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 3.0
Unported.
Datos: Q36161
Obtenido de
«https://es.wikipedia.org/w/index.php?
title=Conjunto&oldid=139236994»
Última edición hace 21 días por Jkbw
Wikipedia