Conjuntos
De Wikipedia
Revisión de 18:04 10 ago 2016 Coordinador (Discusión | contribuciones) ← Ir a diferencia anterior |
Revisión actual Coordinador (Discusión | contribuciones) |
||
Línea 1: | Línea 1: | ||
- | Los conjuntos son un concepto primitivo, en el sentido de que no es posible definirlos en términos de nociones más elementales, por lo que su estudio puede realizarse de manera informal, apelando a la intuición y a la lógica. Por otro lado, son el concepto fundamental de la matemática: mediante ellos puede formularse el resto de objetos matemáticos, como los números y las funciones, entre otros. Su estudio detallado requiere pues la introducción de axiomas y conduce a la teoría de conjuntos. | + | {{Menú Matemáticas Contenidos Generales |
- | + | |ir= |ampliar= | |
- | Un '''conjunto''' es una colección de elementos. Un conjunto puede ser, a su vez, considerado como un elemento de otro conjunto. Los elementos de un conjunto, pueden ser cualquier cosa: personas, números, colores, letras, figuras geométricas]], etc. Se dice que un '''elemento''' pertenece al conjunto si está contenido en él. | + | |repasar= |
- | + | |enlaces= | |
- | Ejemplo: el conjunto de los colores del arcoíris es: | + | |
- | + | ||
- | <center>A = {Rojo, Naranja, Amarillo, Verde, Azul, Añil, Violeta}</center> | + | |
- | + | ||
- | Un conjunto se dice que está definido por '''comprensión''' si se hace mediante una propiedad que todos sus elementos poseen. | + | |
- | Un conjunto se dice que está definido por '''extensión''' si se hace dando la lista de todos sus elementos | + | |
- | + | ||
- | Por ejemplo, para los números naturales, si se considera la propiedad de ''"ser un número primo menor que 15"'', entonces, el conjunto de los números primos menores que 15 sería: | + | |
- | + | ||
- | *Por extensión: <math>P= \{ 2,\ 3,\ 5,\ 7,\ 11,\ 13 \}</math> | + | |
- | *Por comprensión: <math>P= \{ n\acute{u}meros~ primos~ merores~ que~ 15 \}</math> | + | |
- | + | ||
- | Un conjunto queda definido únicamente por sus miembros y por nada más. En particular, Cuando 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: | + | |
- | + | ||
- | <center><math>S= \{ Lunes,~ Martes,~ Miércoles,~ Jueves,~ Viernes \}= </math></center> | + | |
- | <center><math>=\{ Martes,~ Viernes,~ Jueves,~ Lunes,~ Miércoles \}=</math></center> | + | |
- | <center><math>\{ Lunes,~ Lunes, ~Martes,~ Miércoles,~ Jueves,~ Viernes \}</math></center> | + | |
- | + | ||
- | 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. | + | |
- | + | ||
- | == Definición == | + | |
- | {{Caja_Amarilla|texto=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.}} | + | |
- | + | ||
- | 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 <math> \in </math>. Este símbolo lo introdujo Peano. La expresión <math>a \in A </math> se lee entonces como «''a'' pertenece a ''A''». Para la noción contraria se usa el símbolo <math> \notin </math>. | + | |
- | + | ||
- | === Notación === | + | |
- | [[Archivo:Membership.svg|thumb|280px|'''Relación de pertenencia.''' El conjunto {{math|''A''}} es un conjunto de [[polígono]]s. 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 {{math|''A''}} y {{math|''D''}} se usa una [[intención|definición intensiva]] o por comprensión, donde se especifica una propiedad que todos sus elementos poseen. Sin embargo, para los conjuntos {{math|''B''}} y {{math|''C''}} se usa una [[Extensión (semántica)|definición extensiva]], listando todos sus elementos explícitamente. | + | |
- | + | ||
- | Es habitual usar [[paréntesis|llaves]] para escribir los elementos de un conjunto, de modo que: | + | |
- | + | ||
- | :{{math|''B'' {{=}} {verde, blanco, rojo}|}} | + | |
- | :{{math|''C'' {{=}} {a, e, i, o, u}|}} | + | |
- | + | ||
- | Esta notación mediante llaves también se utiliza cuando los conjuntos se especifican de forma intensiva mediante una propiedad: | + | |
- | + | ||
- | :{{math|''A'' {{=}} {Números naturales menores que 5}|}} | + | |
- | :{{math|''D'' {{=}} {Palos de la baraja francesa}|}} | + | |
- | + | ||
- | Otra notación habitual para denotar por comprensión es: | + | |
- | + | ||
- | :{{math|''A'' {{=}} {''m'' : ''m'' es un número natural, y 1 ≤ ''m'' ≤ 5}|}} | + | |
- | :{{math|''D'' {{=}} {''p'' : ''p'' es un palo de la baraja francesa}|}} | + | |
- | :{{math|''F'' {{=}} {''n''<sup>2</sup> : ''n'' es un entero y 1 ≤ ''n'' ≤ 10}|}}, | + | |
- | + | ||
- | En estas expresiones los [[dos puntos]] («:») significan «tal que». Así, el conjunto {{math|''F''}} es el conjunto de «los números de la forma {{math|''n''<sup>2</sup>}} tal que {{math|''n''}} es un número natural entre 1 y 10 (ambos inclusive)», o sea, el conjunto de los diez primeros [[cuadrado (álgebra)|cuadrados]] de [[números naturales]]. En lugar de los dos puntos se utiliza también la [[barra vertical]] («|») u [[barra (tipografía)|oblicua]] «/» . | + | |
- | + | ||
- | === Igualdad de conjuntos === | + | |
- | [[Archivo:PersonsSet.svg|thumb|280px|'''Conjunto de personas.''' El conjunto de «personas» mostrado en la imagen, {{math|''A''}}, tiene 8 [[elemento de un conjunto|miembros]]. Este conjunto puede representarse mediante [[paréntesis|llaves]] o mediante un [[diagrama de Venn]]. El orden de las personas en {{math|''A''}} es irrelevante.]] | + | |
- | Un conjunto está totalmente determinado por sus elementos. Por ello, la igualdad de conjuntos se establece como: | + | |
- | {{definición|título=Propiedad de la [[Axioma de extensionalidad|extensionalidad]]|1=Dos conjuntos {{math|''A''}} y {{math|''B''}} que tengan los mismos elementos son el mismo conjunto, {{math|1=''A'' = ''B''}}.}} | + | |
- | Esta propiedad tiene varias consecuencias. Un mismo conjunto puede especificarse de muchas maneras distintas, en particular extensivas o intensivas. Por ejemplo, el conjunto {{math|''A''}} de los números naturales menores que 5 es el mismo conjunto que {{math|''A′''}}, el conjunto de los números 1, 2, 3 y 4. También: | + | |
- | + | ||
- | :{{math|''B'' {{=}} {verde, blanco, rojo} {{=}} {colores de la bandera de México}|}} | + | |
- | :{{math|''C'' {{=}} {a, e, i, o, u} {{=}} {[[vocales]] del [[idioma español|español]]}|}} | + | |
- | :{{math|''D'' {{=}} {Palos de la baraja francesa} {{=}} {♠, ♣, ♥, ♦}|}} | + | |
- | + | ||
- | El orden en el que se precisan los elementos tampoco se tiene en cuenta para comparar dos conjuntos: | + | |
- | + | ||
- | :{{math|''B'' {{=}} {verde, blanco, rojo} {{=}} {rojo, verde, blanco}|}} | + | |
- | :{{math|''C'' {{=}} {a, e, i, o, u} {{=}} {e, i, u, a, o}|}} | + | |
- | + | ||
- | 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: | + | |
- | + | ||
- | :{{math|{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 === | + | |
- | {{AP|Conjunto vacío}} | + | |
- | El conjunto que no contiene ningún elemento se llama el conjunto vacío y se denota por {{math|{{unicode|∅}}}} o simplemente {}. Existe un único conjunto vacío, ya que lo único que distingue a un conjunto son sus elementos. | + | |
- | + | ||
- | === Subconjuntos === | + | |
- | {{AP|Subconjunto}} | + | |
- | [[Archivo:Subset-2.svg|thumb|280px|'''Subconjunto.''' {{math|''B''}} es un [[subconjunto]] de {{math|''A''}} (en particular un [[subconjunto propio]]).]] | + | |
- | Un subconjunto {{math|''A''}} de un conjunto {{math|''B''}}, es un conjunto que contiene algunos de los elementos de {{math|''B''}} (o quizá todos): | + | |
- | {{definición|1=Un conjunto {{math|''A''}} es un '''subconjunto''' del conjunto {{math|''B''}} si cada elemento de {{math|''A''}} es a su vez un elemento de {{math|''B''}}. | + | |
}} | }} | ||
- | Cuando {{math|''A''}} es un subconjunto de {{math|''B''}}, se denota como {{math|''A'' {{unicode|⊆}} ''B''}} y se dice que «{{math|''A''}} está contenido en {{math|''B''}}». También puede escribirse {{math|''B'' {{unicode|⊇}} ''A''}}, y decirse que {{math|''B''}} es un '''superconjunto''' de {{math|''A''}} y también «{{math|''B''}} contiene a {{math|''A''}}» o «{{math|''B''}} incluye a {{math|''A''}}». | + | {{p}} |
- | + | __TOC__ | |
- | Todo conjunto {{math|''A''}} es un subconjunto de sí mismo, ya que siempre se cumple que «cada elemento de {{math|''A''}} es a su vez un elemento de {{math|''A''}}». Es habitual establecer una distinción más fina mediante el concepto de '''subconjunto propio''': {{math|''A''}} es un subconjunto propio de {{math|''B''}} si es un subconjunto de {{math|''B''}} pero no es igual a {{math|''B''}}. Se denota como {{math|''A'' {{unicode|⊊}} ''B''}}, es decir: {{math|''A'' {{unicode|⊆}} ''B''}} pero {{math|''A'' ≠ ''B''}} (y equivalentemente, para un superconjunto propio, {{math|''B'' {{unicode|⊋}} ''A''}}).<ref group="n">También se utiliza la notación {{math|''A'' {{unicode|⊂}} ''B''}} y {{math|''B'' {{unicode|⊃}} ''A''}}, pero según el autor esto puede denotar subconjunto, {{math|''A'' {{unicode|⊆}} ''B''}} y {{math|''B'' {{unicode|⊇}} ''A''}}; o subconjunto propio, {{math|''A'' {{unicode|⊊}} ''B''}} y {{math|''B'' {{unicode|⊋}} ''A''}}. Véase [[Subconjunto]].</ref> | + | ==Conjuntos== |
- | + | {{Conjuntos}} | |
- | '''Ejemplos.''' | + | |
- | :El «conjunto de todos los hombres» es un subconjunto propio del «conjunto de todas las personas». | + | |
- | :{{math|{1, 3} {{unicode|⊊}} {1, 2, 3, 4}}} | + | |
- | :{{math|{1, 2, 3, 4} {{unicode|⊆}} {1, 2, 3, 4}}} | + | |
- | === Conjuntos disjuntos === | + | [[Categoría: Matemáticas]][[Categoría: Conjuntos]] |
- | {{ap|Conjuntos disjuntos}} | + | |
- | Dos conjuntos {{math|''A''}} y {{math|''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 conjuntos|intersección]] de dos conjuntos disjuntos es el conjunto vacío. | + |
Revisión actual
Enlaces internos | Para repasar | Enlaces externos |
Indice | WIRIS Geogebra Calculadora |
Tabla de contenidos |
Conjuntos
El concepto de conjunto es primitivo, en el sentido de que no es posible definirlo en términos de nociones más elementales, por lo que su estudio puede realizarse de manera informal, apelando a la intuición y a la lógica. Por otro lado, son el concepto fundamental de la matemática: mediante ellos puede formularse el resto de objetos matemáticos, como los números y las funciones, entre otros. Su estudio detallado requiere, pues, la introducción de axiomas y conduce a la teoría de conjuntos.
Un conjunto es una colección de objetos, entendiendo que dichos objetos pueden ser cualquier cosa: números, personas, letras, otros conjuntos, etc. Los conjuntos se denotan habitualmente por letras mayúsculas. Los objetos que componen el conjunto se llaman elementos o miembros. [editar] Formas de definir un conjuntoAl definir un conjunto es habitual meter sus elementos entre llaves:
Para representarlos gráficamente se usan los llamados diagramas de Venn. (Ver Fig.1) |
Si para los números naturales se considera la propiedad de "ser un número natural menor que 5", entonces, el conjunto de los números naturales que cumplen esa propiedad sería:
- Por extensión:
- Por comprensión:
ó
- (En la segunda expresión la barra oblicua "/" significa «tal que». En lugar de la barra oblicua se utiliza también la barra vertical " | " o los dos puntos ":")

Formas de determinar un conjunto: por comprensión y por extensión. Ejemplos.

Determinar por extensión un conjunto dado por comprensión

Determinar por comprensión un conjunto dado por extensión
Conjunto vacío
El conjunto que no contiene ningún elemento se llama el conjunto vacío y se denota por o
.
Conjunto universal
El conjunto universal, que denotaremos por , es el conjunto que contiene todos los elementos posibles, dentro del contexto considerado.
Relaciones entre conjuntos
Relación de pertenecia
Un elemento se dice que «pertenece» al conjunto y se denota mediante el símbolo [editar] Relación de igualdadUn conjunto está definido únicamente por los elementos que lo componen, y no por la manera en la que se lo representa. Por ello, la relación de igualdad entre conjuntos se define como: Dos conjuntos A y B, son iguales (A=B) si y sólo si tienen los mismos elementos (Axioma de extensionalidad). |
Consecuencias del axioma de extensionalidad
![]() Ejercicio sobre igualdad de conjuntos [editar] Relación de inclusión. Subconjuntos
| ![]() Fig.3 - Representación de la relación de inclusión mediante diagrama de Venn: 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 es otro conjunto, en particular, un subconjunto del primero. |

Ejercicio sobre la relación de pertenencia y de inclusión de conjuntos.
Dado un conjunto, , se llama conjunto potencia de
, y se denota por
, al conjunto que tiene por elementos a todos los subconjuntos de
, .

Definición de conjunto potencia. Ejemplos
Operaciones con conjuntos
![]()
![]()
![]()
![]()
![]()
![]() |

Operaciones con conjuntos: Unión, intersección, diferencia, diferencia simétrica y complementario. Ejemplos

Ejemplos sobre la unión de conjuntos.

Ejemplos sobre la intersección de conjuntos.

Ejemplo sobre el complementario de un conjunto.

Ejemplo sobre la diferencia de conjuntos.

Ejemplo sobre la diferencia simétrica de conjuntos.

Concepto de par ordenado. Ejemplos.

Ejemplos de producto cartesiano y de su representación gráfica

Ejercicio sobre operaciones con conjuntos.

Ejercicio sobre operaciones con conjuntos.

Ejercicio sobre operaciones con conjuntos.
Conjuntos disjuntos
Dos conjuntos A y B son disjuntos si no tienen ningún elemento en común. Es decir, su intersección es el conjunto vacio.

Diagrama de Carrol: Definición y ejemplos

Problema sobre diagramas de Carrol.

Problema sobre diagramas de Carrol.

Problema sobre diagramas de Carrol.

Problema sobre diagramas de Carrol.
Cardinal de un conjunto
- Los conjuntos pueden ser finitos o infinitos. En el caso de un conjunto finito se pueden contar los elementos del conjunto. El número de elementos de un conjunto finito es su cardinal. El cardinal se denota por
,
ó
.
- En un conjunto infinito no hay un número finito de elementos. Es el caso, por ejemplo, de los números naturales. Sin embargo, existe una manera de comparar conjuntos infinitos entre sí, de manera que existen conjuntos infinitos «más grandes» que otros. El «número de elementos» de un conjunto infinito es un número transfinito.
- A los conjuntos con un solo elemento se les llama conjuntos unitarios.

Ejercicio sobre conjuntos unitarios.

Ejercicio sobre cardinales de conjuntos.

Ejercicio sobre cardinales de conjuntos.

Ejercicio sobre cardinales de conjuntos.

Ejercicio sobre cardinales de conjuntos.