Capítulo 2 Conceptos introductorios

2.1 Teoría de conjuntos

Definición2.1 Un conjunto es una colección bien definida de objetos, llamados sus elementos. Los conjuntos se simbolizan con letras mayúsculas \(A\), \(B\), \(...\) Los objetos que componen el conjunto se denominan elementos y se denotan con letras minúsculas \(a, b, ...\) [Tomado de (zill2012algebra?) pág \(21\)]

Definición2.2 Para definir un conjunto por extensión, se enumeran todos sus elementos separándolos por comas y luego se encierran entre llaves.

Para escribir un conjunto por comprensión se elige un elemento arbitrario \(x\) y se señala que cumple la propiedad \(P(x)\). Finalmente, se encierra toda la expresión entre llaves. [Tomado de (zill2012algebra?) pág \(22\)]

\[ A=\{ x | x \ \ \text{cumple la propiedad} \ \ P(x) \} \]

Definición2.3 Diremos que dos conjutnos \(A\) y \(B\) son iguales si tienen los mismos elementos. Para indicar que \(A\) y \(B\) son iguales se escribe:[Tomado de (zill2012algebra?) pág \(22\)]

\[ A=B \]

Nota:. Un conjunto que posee un número finito de elementos; se llaman conjuntos finitos.

Un conjunto que no tiene un número finito de elemenos se llaman conjunto infinito.

[Tomado de (zill2012algebra?) pág \(23\)]

Definición2.4 El número de elementos de un conjunto finito es lo que se llama la cardinalidad de dicho conjunto. La cardinalidad de un conjunto finito \(A\) se denota por: [Tomado de (zill2012algebra?) pág \(24\)]

\[ Card(A) \ \ \ \text{ó} \ \ \ |A| \]

Definición2.5 Dos conjuntos finitos \(X\) y \(Y\) se dicen ser equipotentes si tienen exactamente el mismo número de elementos. [Tomado de (zill2012algebra?) pág \(24\)]

Definición2.6 Un conjunto se dice vacío si no posee elementos. El conjunto vacío se denota como:

\[ \{ \} \ \ \ \text{ó} \ \ \ \Phi \]

Definición2.7 El conjunto universal se define como el conjunto que posee todos los elementos de todos los conjunots, y se denota como:[Tomado de (zill2012algebra?) pág \(25\)]

\[ \text{Conjunto universal:} \ \ \ U \]

Definición2.8 Si cada elemento de un conjunto \(A\) es también elemento de un conjunto \(B\), entonces se dice que \(A\) es un subconjunto de \(B\). Se dice también que \(A\) está contenido en \(B\) o que \(B\) contiene a \(A\). La relación de subconjunto se denota como: [Tomado de (zill2012algebra?) pág \(25\)]

\[ A \subset B \ \ \ \text{ó} \ \ \ B \supset A \]

Figura 2.1: Relación de subconjunto [Imagen tomada de (zill2012algebra?) pág \(26\)]

Definición2.9 La unión de dos conjuntos \(A\) y \(B\) consta de todos los elementos que pertenecen a \(A\) o a \(B\). La unión de \(A\) y \(B\) se denota por \(A \cup B\). [Tomado de (zill2012algebra?) pág \(31\)]

\[ A \cup B = \{ x | x \in A \ \text{o} \ x \in B\} \]

Figura 2.2: Relación de subconjunto [Imagen tomada de (zill2012algebra?) pág \(32\)]

Figura 2.3: Relación de subconjunto [Imagen tomada de (zill2012algebra?) pág \(32\)]

Figura 2.4: Relación de subconjunto [Imagen tomada de (zill2012algebra?) pág \(32\)]

2.2 Propiedades de la Unión

Figura 2.5: Propiedades de la unión [Imagen tomada de (zill2012algebra?) pág \(32\)]

Definición2.10 La intersección de dos conjuntos \(A\) y \(B\) consta de todos los elementos que pertenecen a \(A\) y a \(B\). La intersección de \(A\) y \(B\) se denota por \(A \cap B\). [Tomado de (zill2012algebra?) pág \(30\)]

\[ A \cap B = \{ x | x \in A \ \text{y} \ x \in B\} \]

Figura 2.6: Intersección de conjuntos [Imagen tomada de (zill2012algebra?) pág \(30\)]

2.3 Propiedades de la Intersección

Figura 2.7: Propiedades de la intersección [Imagen tomada de (zill2012algebra?) pág \(30\)]

2.4 Propiedades de la unión y la intersección

Figura 2.8: Propiedades de la unión y la intersección [Imagen tomada de (zill2012algebra?) pág \(33\)]

2.5 Diferencia entre dos conjuntos

Definición2.11 La diferencia de dos conjuntos \(A\) y \(B\) consta de todos los elementos que pertenecen a \(A\) y no pertenecen a \(B\). La diferencia de \(A\) y \(B\) se denota por \(A - B\). [Tomado de (zill2012algebra?) pág \(34\)]

\[ A - B = \{ x | x \in A \ \text{y} \ x \notin B\} \]

Figura 2.9: Diferencia entre conjuntos [Imagen tomada de (zill2012algebra?) pág \(34\)]

2.6 Complemento de un conjunto

Definición2.12 El complemento de un conjunto \(A\) consta de todos los elementos del universo \(U\), y que no pertenecen a \(A\). El complemento de \(A\) se denota por \(A^{c}\). [Tomado de (zill2012algebra?) pág \(34\)]

\[ A'=A^{c} = \{ x | x \notin A \} \]

Figura 2.10: Complemento de un conjunto [Imagen tomada de (zill2012algebra?) pág \(34\)]

2.7 Propiedades del algebra de conjuntos

Figura 2.11: Leyes del algebra de Conjuntos [Imagen tomada de (zill2012algebra?) pág \(36\)]

2.8 Operaciones con conjuntos

Esta es una aplicación que muestra graficamente las operaciones entre tres conjuntos, el Autor:LikitMaths (https://www.geogebra.org/m/QWS4wDtE) las elaboro usando geogebra.