Conjuntos

De Wikipedia

(Diferencia entre revisiones)
Revisión de 20:21 10 ago 2016
Coordinador (Discusión | contribuciones)
(Conjunto vacío)
← Ir a diferencia anterior
Revisión actual
Coordinador (Discusión | contribuciones)

Línea 1: Línea 1:
-__TOC__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
-{{p}}+|ir= |ampliar=
-== Conjuntos ==+|repasar=
-===Definición y notación===+|enlaces=
-{{Caja_Amarilla|texto=+
-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.+
}} }}
{{p}} {{p}}
-===Formas de definir un conjunto===+__TOC__
-{{Caja_Amarilla|texto=+==Conjuntos==
-Al definir un conjunto es habitual meter sus elementos entre llaves: <math>A=\{\; ......\;\}</math>+{{Conjuntos}}
-*Por '''comprensión''': mediante una propiedad que todos sus elementos poseen.+
-*Por '''extensión''': mediante la lista de todos sus elementos.+
-}}+
-{{p}}+
-{{Ejemplo_simple|titulo=Ejemplo+
-|contenido=+
-: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 menores que 5 sería:+
-:*Por extensión: <math>A= \{ 1,\ 2,\ 3,\ 4 \}</math>+
-:*Por comprensión: <math>A= \{ n\acute{u}meros~ naturales~ merores~ que~ 5 \}</math> ó <math>A= \{ m~ /~ m \in \mathbb{N},~ m < 5 \}</math> +
-::(En la segunda expresión la barra oblicua "/" significa «tal que». En lugar de la barra oblicua se utiliza también la barra vertical "<math>|</math>" o los dos puntos ":")+
-}}+
-{{p}}+
-=== Conjunto vacío ===+
-{{Caja_Amarilla|texto=El conjunto que no contiene ningún elemento se llama el conjunto vacío y se denota por <math>\varnothing</math> o simplemente { }.+
-}}+
-{{p}}+
- +
-=== Conjunto universal ===+
-{{Caja_Amarilla|texto=El '''conjunto universal''', que denotaremos por U, es el conjunto que contiene todos los elementos posibles, dentro del contexto considerado.}}+
- +
-==Relaciones entre conjuntos==+
-===Relación de pertenecia===+
-{{Caja_Amarilla|texto=Un elemento se dice que «pertenece» al conjunto y se denota mediante el símbolo <math> \in </math>, si forma parte de él. Este símbolo lo introdujo [[Peano]]. La expresión <math>a \in A </math> se lee «''a'' pertenece a ''A''». Para la noción contraria se usa el símbolo <math> \notin </math>. +
-}}+
-{{p}}+
-=== Relación de igualdad ===+
-Un 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:+
-{{Caja_Amarilla|texto=Dos conjuntos A y B, son iguales (A=B) si y sólo si tienen los mismos elementos '''(Axioma de extensionalidad)'''.}}+
-{{p}}+
-{{Teorema_sin_demo|titulo=Consecuencias del axioma de extensionalidad+
-|enunciado=+
-*Un mismo conjunto puede especificarse de muchas maneras distintas, por extensión o por comprensión, y ser el mismo conjunto.+
-*El orden en el que se listan los elementos no se tiene en cuenta para comparar dos conjuntos.+
-*Un conjunto no puede tener elementos «repetidos», ya que un objeto solo puede o bien ser un elemento de dicho conjunto o no serlo. Si en la lista aparece un elemento repetido es como si sólo apareciese una vez.+
-*Existe un único conjunto vacío, ya que lo único que distingue a un conjunto son sus elementos.+
-}}+
-{{p}}+
-{{Ejemplo_simple|titulo=Ejemplo+
-|contenido=Repetir elementos o cambiar el orden no define un conjunto nuevo: <center><math>S= \{ a,~ b,~ c,~ d,~ e \}= \{ b,~ d,~ c,~ a,~ e \}=\{ a,~ a, ~b,~ c,~ e,~ d \}</math></center>+
-}}+
-{{p}}+
- +
- +
- +
-=== Relación de iclusión. 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''}}».+
- +
-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'' &ne; ''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>+
- +
-'''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 ===+
-{{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.+
-== Operaciones con conjuntos ==+
-{{imagen múltiple|ancho=150|dirección=vertical|posición_tabla=derecha|título=Operaciones con conjuntos|foto1=SetUnion.svg|texto1=Unión|foto2=SetIntersection.svg|texto2=Intersección|foto3=SetDifferenceA.svg|texto3=Diferencia|foto4=SetComplement.svg|texto4=Complemento|foto5=SetSymmetricDifference.svg|texto5=Diferencia simétrica}}+
-{{AP|Álgebra de conjuntos}}+
-Existen varias operaciones básicas que pueden realizarse para, partiendo de ciertos conjuntos dados, obtener nuevos conjuntos:+
- +
-* '''Unión''': (símbolo {{math|{{unicode|∪}}}}) La [[unión de conjuntos|unión]] de dos conjuntos {{math|''A''}} y {{math|''B''}}, que se representa como {{math|''A'' {{unicode|∪}} ''B''}}, es el conjunto de todos los elementos que pertenecen al menos a uno de los conjuntos {{math|''A''}} y {{math|''B''}}.+
-* <math>A\cup B = \{x/x\in A\or x\in B\}+
-</math>+
-* '''Intersección''': (símbolo {{math|{{unicode|∩}}}}) La [[intersección de conjuntos|intersección]] de dos conjuntos {{math|''A''}} y {{math|''B''}} es el conjunto {{math|''A'' {{unicode|∩}} ''B''}} de los elementos comunes a ''A'' y ''B''.+
-* <math>A\cap B=\{x/x\in A \and x\in B\}</math>+
-* '''Diferencia''': (símbolo \) La [[diferencia de conjuntos|diferencia]] del conjunto {{math|''A''}} con {{math|''B''}} es el conjunto {{math|''A'' \ ''B''}} que resulta de eliminar de {{math|''A''}} cualquier elemento que esté en {{math|''B''}}.+
-* '''Complemento''': El [[complemento de un conjunto|complemento]] de un conjunto {{math|''A''}} es el conjunto {{math|''A''<sup>{{unicode|∁}}</sup>}} que contiene todos los elementos que no pertenecen a {{math|''A''}}, respecto a un conjunto {{math|''U''}} que lo contiene.+
-* <math>A^c=\{x/x\in U\and x\not\in A\}</math>+
-* '''Diferencia simétrica''': (símbolo Δ) La [[diferencia simétrica]] de dos conjuntos {{math|''A''}} y {{math|''B''}} es el conjunto {{math|''A'' Δ ''B''}} con todos los elementos que pertenecen, o bien a {{math|''A''}}, o bien a {{math|''B''}}, pero no a ambos a la vez.+
-* '''Producto cartesiano''': (símbolo ×) El [[producto cartesiano]] de dos conjuntos {{math|''A''}} y {{math|''B''}} es el conjunto {{math|''A'' × ''B''}} de todos los [[pares ordenados]] {{math|(''a'', ''b'')}} formados con un primer elemento {{math|''a''}} perteneciente a {{math|''A''}}, y un segundo elemento {{math|''b''}} perteneciente a {{math|''B''}}.+
-;Ejemplos+[[Categoría: Matemáticas]][[Categoría: Conjuntos]]
-* {{math|{1, ''a'', 0} {{unicode|∪}} {2, ''b''} {{=}} {2, ''b'', 1, ''a'', 0}|}}+
-* {{math|{5, ''z'', &spades;} {{unicode|∩}} {&spades;, ''a''} {{=}} {&spades;}|}}+
-* {{math|{5, ''z'', &spades;} \ {&spades;, ''a''} {{=}} {5, ''z''}|}}+
-* {{math|{♠, 5} Δ {8, #, ♠} {{=}} {5, #, 8}|}}+
-* {{math|{1, ''a'', 0} × {2, ''b''} {{=}} {(1, 2), (1, ''b''), (''a'', 2), (''a'', ''b''), (0, 2), (0, ''b'')}|}}+

Revisión actual

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.

Formas de definir un conjunto

Al definir un conjunto es habitual meter sus elementos entre llaves: A=\{\; ......\;\}, siendo irrelevante el orden. Se puede hacer de dos maneras:

  • Por comprensión: mediante una propiedad que todos sus elementos poseen.
  • Por extensión: mediante la lista de todos sus elementos.

Para representarlos gráficamente se usan los llamados diagramas de Venn. (Ver Fig.1)

Fig.1 - 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.
Aumentar
Fig.1 - 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.

Conjunto vacío

El conjunto que no contiene ningún elemento se llama el conjunto vacío y se denota por \varnothing o \{~ \}.

Conjunto universal

El conjunto universal, que denotaremos por U\;, 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 \in, si forma parte de él. Este símbolo lo introdujo Peano. La expresión a \in A se lee «a pertenece a A». Para la noción contraria se usa el símbolo \notin.

Relación de igualdad

Un 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).

Fig.2 - Relación de pertenencia
Aumentar
Fig.2 - Relación de pertenencia

ejercicio

Consecuencias del axioma de extensionalidad


  • Un mismo conjunto puede especificarse de muchas maneras distintas, por extensión o por comprensión, y ser el mismo conjunto.
  • El orden en el que se listan los elementos no se tiene en cuenta para comparar dos conjuntos.
  • Un conjunto no puede tener elementos «repetidos», ya que un objeto solo puede o bien ser un elemento de dicho conjunto o no serlo. Si en la lista aparece un elemento repetido es como si sólo apareciese una vez.
  • Existe un único conjunto vacío, ya que lo único que distingue a un conjunto son sus elementos.

Relación de inclusión. Subconjuntos

  • Un conjunto B es un subconjunto del conjunto A si cada elemento de B es a su vez un elemento de A. (Ver Fig.3)
Lo denotaremos B  \subseteq A. También puede escribirse A  \supseteq B y se lee "B está incluido en A", "A contiene a B", "B está contenido en A", "A incluye a B" o "A es un superconjunto de B".
  • B es un subconjunto propio de A si es un subconjunto de A pero no es igual a A.
Lo denotaremos B  \subset A ó A  \supset B

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.
Aumentar
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.

Dado un conjunto, A\;, se llama conjunto potencia de A\;, y se denota por P(A)\;, al conjunto que tiene por elementos a todos los subconjuntos de A\;, .

Operaciones con conjuntos

  • Unión: La unión de dos conjuntos A y B, que se representa como A \cup B, es el conjunto de todos los elementos que pertenecen al menos a uno de los dos conjuntos.

A\cup B = \{x~/~x\in A \ \or \ x\in B\}
  • Intersección: La intersección de dos conjuntos A y B, que se representa como A \cap B, es el conjunto de todos los elementos comunes a los dos conjuntos.

A\cap B = \{x~/~x\in A \ \and \ x\in B\}
  • Complementario: El complementario de un conjunto A es el conjunto A^c \; (o bien, A' \;) que contiene todos los elementos que no pertenecen a A, respecto a un conjunto universal U que lo contiene.

A^c=\{x~/~x\in U \ \and \ x\not\in A\}
  • Diferencia: La diferencia del conjunto A con el conjunto B es el conjunto A - B \; que resulta de eliminar de A cualquier elemento que esté en B.
A-B=A \cap B^c
  • Diferencia simétrica: La diferencia simétrica de dos conjuntos A y B es el conjunto A \, \triangle \, B con todos los elementos que pertenecen, o bien a A, o bien a B, pero no a ambos a la vez.

A \, \triangle \, B=A \cup B - A \cap B
  • Producto cartesiano: El producto cartesiano de dos conjuntos A y B es el conjunto A \times B de todos los pares ordenados (a,b) formados con un primer elemento "a" perteneciente a A, y un segundo elemento "b" perteneciente a B.

A \times B = \{(x,y)~/~x\in A \ \and \ y\in B\}
Fig.4 -
Aumentar
Fig.4 - A \cup B
Fig.5 - .
Aumentar
Fig.5 - A \cap B.

Fig.6 - .
Aumentar
Fig.6 - A^c \;.
Fig.7 - .
Aumentar
Fig.7 - A - B \;.

Fig.8 - .
Aumentar
Fig.8 - A \, \triangle \, B.

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.

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 card(A) \;, |A \;| ó \#A.
  • 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

Propiedades


  • card(\varnothing)=0 \;
  • card(A \times B)=card(A) \cdot card(B)
  • card(A \cup B)=card(A)+card(B)-card(A \cap B)
  • card(A - B)=card(A)-card(A \cap B)
  • card(A^c)=card(U)-card(A) \;
  • card(A \, \triangle \, B)=card(A)+card(B)-card(A \cap B)

Herramientas personales
* AVISO: Para que te funcionen los applets de Java debes usar Internet Explorer y seguir las instrucciones de la Ayuda del menu de la izquierda