Saltar al contenido principal

# 1.4: Uniones e Intersecciones

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\id}{\mathrm{id}}$$ $$\newcommand{\Span}{\mathrm{span}}$$

( \newcommand{\kernel}{\mathrm{null}\,}\) $$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$ $$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$ $$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\id}{\mathrm{id}}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\kernel}{\mathrm{null}\,}$$

$$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$

$$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$

$$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$ $$\newcommand{\AA}{\unicode[.8,0]{x212B}}$$

$$\newcommand{\vectorA}[1]{\vec{#1}} % arrow$$

$$\newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow$$

$$\newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vectorC}[1]{\textbf{#1}}$$

$$\newcommand{\vectorD}[1]{\overrightarrow{#1}}$$

$$\newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}}$$

$$\newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}}$$

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\avec}{\mathbf a}$$ $$\newcommand{\bvec}{\mathbf b}$$ $$\newcommand{\cvec}{\mathbf c}$$ $$\newcommand{\dvec}{\mathbf d}$$ $$\newcommand{\dtil}{\widetilde{\mathbf d}}$$ $$\newcommand{\evec}{\mathbf e}$$ $$\newcommand{\fvec}{\mathbf f}$$ $$\newcommand{\nvec}{\mathbf n}$$ $$\newcommand{\pvec}{\mathbf p}$$ $$\newcommand{\qvec}{\mathbf q}$$ $$\newcommand{\svec}{\mathbf s}$$ $$\newcommand{\tvec}{\mathbf t}$$ $$\newcommand{\uvec}{\mathbf u}$$ $$\newcommand{\vvec}{\mathbf v}$$ $$\newcommand{\wvec}{\mathbf w}$$ $$\newcommand{\xvec}{\mathbf x}$$ $$\newcommand{\yvec}{\mathbf y}$$ $$\newcommand{\zvec}{\mathbf z}$$ $$\newcommand{\rvec}{\mathbf r}$$ $$\newcommand{\mvec}{\mathbf m}$$ $$\newcommand{\zerovec}{\mathbf 0}$$ $$\newcommand{\onevec}{\mathbf 1}$$ $$\newcommand{\real}{\mathbb R}$$ $$\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}$$ $$\newcommand{\laspan}[1]{\text{Span}\{#1\}}$$ $$\newcommand{\bcal}{\cal B}$$ $$\newcommand{\ccal}{\cal C}$$ $$\newcommand{\scal}{\cal S}$$ $$\newcommand{\wcal}{\cal W}$$ $$\newcommand{\ecal}{\cal E}$$ $$\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}$$ $$\newcommand{\gray}[1]{\color{gray}{#1}}$$ $$\newcommand{\lgray}[1]{\color{lightgray}{#1}}$$ $$\newcommand{\rank}{\operatorname{rank}}$$ $$\newcommand{\row}{\text{Row}}$$ $$\newcommand{\col}{\text{Col}}$$ $$\renewcommand{\row}{\text{Row}}$$ $$\newcommand{\nul}{\text{Nul}}$$ $$\newcommand{\var}{\text{Var}}$$ $$\newcommand{\corr}{\text{corr}}$$ $$\newcommand{\len}[1]{\left|#1\right|}$$ $$\newcommand{\bbar}{\overline{\bvec}}$$ $$\newcommand{\bhat}{\widehat{\bvec}}$$ $$\newcommand{\bperp}{\bvec^\perp}$$ $$\newcommand{\xhat}{\widehat{\xvec}}$$ $$\newcommand{\vhat}{\widehat{\vvec}}$$ $$\newcommand{\uhat}{\widehat{\uvec}}$$ $$\newcommand{\what}{\widehat{\wvec}}$$ $$\newcommand{\Sighat}{\widehat{\Sigma}}$$ $$\newcommand{\lt}{<}$$ $$\newcommand{\gt}{>}$$ $$\newcommand{\amp}{&}$$ $$\definecolor{fillinmathshade}{gray}{0.9}$$

Template:MathJaxZach

En la sección 1.1, introdujimos definiciones de conjuntos por abstracción, es decir, definiciones de la forma$$\Setabs{x}{\phi(x)}$$. Aquí, invocamos alguna propiedad$$\phi$$, y esta propiedad puede mencionar conjuntos que ya hemos definido. Entonces, por ejemplo, si$$A$$ y$$B$$ son conjuntos, el conjunto$$\Setabs{x}{x \in A \lor x \in B}$$ consiste en todos aquellos objetos que son elementos de cualquiera$$A$$ o$$B$$, es decir, es el conjunto el que combina los elementos de$$A$$ y $$B$$. Podemos visualizar esto como en Figura$$\PageIndex{1}$$, donde el área resaltada indica los elementos de los dos conjuntos$$A$$ y$$B$$ juntos.

Esta operación sobre conjuntos —combinándolos— es muy útil y común, por lo que le damos un nombre formal y un símbolo.

Definición$$\PageIndex{1}$$: Union

La unión de dos conjuntos$$A$$ y$$B$$, escrito$$A \cup B$$, es el conjunto de todas las cosas que son elementos de$$A$$$$B$$, o ambas.

$A \cup B = \Setabs{x}{x \in A \lor x \in B}\nonumber$

Ejemplo$$\PageIndex{1}$$

Dado que la multiplicidad de elementos no importa, la unión de dos conjuntos que tienen un elemento en común contiene ese elemento solo una vez, e.g$$\{ a, b, c\} \cup \{ a, 0, 1\} = \{a, b, c, 0, 1\}$$.

La unión de un conjunto y uno de sus subconjuntos es solo el conjunto más grande:$$\{a, b, c \} \cup \{a \} = \{a, b, c\}$$.

La unión de un conjunto con el conjunto vacío es idéntica al conjunto:$$\{a, b, c \} \cup \emptyset = \{a, b, c \}$$.

Problema$$\PageIndex{1}$$

Demostrar que si$$A \subseteq B$$, entonces$$A \cup B = B$$.

También podemos considerar una operación “dual” a la unión. Esta es la operación que forma el conjunto de todos los elementos que son elementos de$$A$$ y también son elementos de$$B$$. Esta operación se llama intersección, y se puede representar como en la Figura$$\PageIndex{2}$$.

Definición$$\PageIndex{2}$$: Intersection

La intersección de dos conjuntos$$A$$ y$$B$$, escrito$$A \cap B$$, es el conjunto de todas las cosas que son elementos de ambos$$A$$ y$$B$$.

$A \cap B = \Setabs{x}{x \in A \land x \in B}\nonumber$

Dos conjuntos se llaman disjuntos si su intersección está vacía. Esto significa que no tienen elementos en común.

Ejemplo$$\PageIndex{2}$$

Si dos conjuntos no tienen elementos en común, su intersección está vacía:$$\{ a, b, c\} \cap \{ 0, 1\} = \emptyset$$.

Si dos conjuntos tienen elementos en común, su intersección es el conjunto de todos esos:$$\{a, b, c \} \cap \{a, b, d \} = \{a, b\}$$.

La intersección de un conjunto con uno de sus subconjuntos es solo el conjunto más pequeño:$$\{a, b, c\} \cap \{a, b\} = \{a, b\}$$.

La intersección de cualquier conjunto con el conjunto vacío está vacía:$$\{a, b, c \} \cap \emptyset = \emptyset$$.

Problema$$\PageIndex{2}$$

Demostrar rigurosamente que si$$A \subseteq B$$, entonces$$A \cap B = A$$.

También podemos formar la unión o intersección de más de dos conjuntos. Una manera elegante de lidiar con esto en general es la siguiente: supongamos que recolecta todos los conjuntos que desea formar la unión (o intersección) de en un solo conjunto. Entonces podemos definir la unión de todos nuestros conjuntos originales como el conjunto de todos los objetos que pertenecen a al menos un elemento del conjunto, y la intersección como el conjunto de todos los objetos que pertenecen a cada elemento del conjunto.

Definición$$\PageIndex{3}$$

Si$$A$$ es un conjunto de conjuntos, entonces$$\bigcup A$$ es el conjunto de elementos de elementos de$$A$$:\begin{aligned} \bigcup A & = \Setabs{x}{x \text{ belongs to an element of } A}, \text{ i.e.,}\\ & = \Setabs{x}{\text{there is a } B \in A \text{ so that } x \in B}\end{aligned}

Definición$$\PageIndex{4}$$

Si$$A$$ es un conjunto de conjuntos, entonces$$\bigcap A$$ es el conjunto de objetos que todos los elementos de$$A$$ tienen en común:\begin{aligned} \bigcap A & = \Setabs{x}{x \text{ belongs to every element of } A}, \text{ i.e.,}\\ & = \Setabs{x}{\text{for all } B \in A, x \in B}\end{aligned}

Ejemplo$$\PageIndex{3}$$

Supongamos$$A = \{ \{ a, b \}, \{ a, d, e \}, \{ a, d \} \}$$. Entonces$$\bigcup A = \{ a, b, d, e \}$$ y$$\bigcap A = \{ a \}$$.

Problema$$\PageIndex{3}$$

Demostrar que si$$A$$ es un conjunto y$$A \in B$$, entonces$$A \subseteq \bigcup B$$.

También podríamos hacer lo mismo para una secuencia de conjuntos$$A_1$$,$$A_2$$,...\begin{aligned} \bigcup_i A_i & = \Setabs{x}{x \text{ belongs to one of the } A_i}\\ \bigcap_i A_i & = \Setabs{x}{x \text{ belongs to every } A_i}.\end{aligned}

Cuando tenemos un índice de conjuntos, es decir, algún conjunto$$I$$ tal que estamos considerando$$A_i$$ para cada uno$$i \in I$$, también podemos usar estas abreviaturas:\begin{aligned} \bigcup_{i \in I} A_i & = \bigcup \Setabs{A_i }{i \in I}\\ \bigcap_{i \in I} A_i & = \bigcap\Setabs{A_i}{i \in I}\end{aligned}

Por último, tal vez queramos pensar en el conjunto de todos los elementos en los$$A$$ que no se encuentran$$B$$. Podemos representar esto como en la Figura$$\PageIndex{3}$$.

Definición$$\PageIndex{5}$$: Difference

La diferencia de conjunto$$A \setminus B$$ es el conjunto de todos los elementos de los$$A$$ cuales no son también elementos de$$B$$, es decir,

$A\setminus B = \Setabs{x}{x\in A \text{ and } x \notin B}.\nonumber$

Problema$$\PageIndex{4}$$

Demostrar que si$$A \subsetneq B$$, entonces$$B \setminus A \neq \emptyset$$.

This page titled 1.4: Uniones e Intersecciones is shared under a CC BY license and was authored, remixed, and/or curated by Richard Zach et al. (Open Logic Project) .