Saltar al contenido principal
LibreTexts Español

1.1: Extensionalidad

  • Page ID
    103748
  • \( \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}\)

    Un conjunto es una colección de objetos, considerados como un solo objeto. Los objetos que componen el conjunto se denominan elementos o miembros del conjunto. Si\(x\) es un elemento de un conjunto\(a\), escribimos\(x \in a\); si no, escribimos\(x \notin a\). El conjunto que no tiene elemento s se llama el conjunto vacío y se denota “\(\emptyset\)”.

    No importa cómo especifiquemos el conjunto, ni cómo ordenemos su elemento s, o de hecho cuántas veces contamos sus elementos s. Todo lo que importa es lo que son sus elementos. Esto lo codificamos en el siguiente principio.

    Definición\(\PageIndex{1}\): Extensionality

    Si\(A\) y\(B\) son conjuntos, entonces\(A = B\) iff cada elemento de\(A\) es también un elemento de\(B\), y viceversa.

    Extensionalidad licencia alguna notación. En general, cuando tenemos algunos objetos\(a_{1}\),...\(a_{n}\), entonces\(\{a_{1}, \dots, a_{n}\}\) es el conjunto cuyo elemento s son\(a_1, \ldots, a_n\). Hacemos énfasis en la palabra “el”, ya que la extensionalidad nos dice que sólo puede haber uno de esos conjuntos. En efecto, la extensibilidad también otorga licencias a lo siguiente:

    \[\{a, a, b\} = \{a, b\} = \{b,a\}.\nonumber\]

    Esto entrega en el punto de que, cuando consideramos conjuntos, no nos importa el orden de sus elementos, ni cuántas veces se especifican.

    Ejemplo\(\PageIndex{1}\)

    Siempre que tengas un montón de objetos, puedes recogerlos juntos en un conjunto. El conjunto de hermanos de Richard, por ejemplo, es un conjunto que contiene a una persona, y podríamos escribirlo como\(S=\{\textrm{Ruth}\}\). El conjunto de enteros positivos menor que\(4\) es\(\{1, 2, 3\}\), pero también se puede escribir como\(\{3, 2, 1\}\) o incluso como\(\{1, 2, 1, 2, 3\}\). Estos son todos el mismo conjunto, por extensionalidad. Por cada elemento de\(\{1, 2, 3\}\) es también un elemento de\(\{3, 2, 1\}\) (y de\(\{1, 2, 1, 2, 3\}\)), y viceversa.

    Frecuentemente vamos a especificar un conjunto por alguna propiedad que su elemento s comparten. Usaremos la siguiente notación taquigráfica para eso:\(\{x : \phi(x)\}\), donde el\(\phi(x)\) representa la propiedad que\(x\) tiene que tener para ser contada entre los elementos s del conjunto.

    Ejemplo\(\PageIndex{2}\)

    En nuestro ejemplo, podríamos haber especificado\(S\) también como

    \[S = \{x : x \text{ is a sibling of Richard}\}.\nonumber\]

    Ejemplo\(\PageIndex{3}\)

    Un número se llama perfecto iff es igual a la suma de sus divisores propios (es decir, números que lo dividen uniformemente pero no son idénticos al número). Por ejemplo,\(6\) es perfecto porque sus divisores adecuados son\(1\),\(2\), y\(3\), y\(6 = 1 + 2 + 3\). De hecho,\(6\) es el único entero positivo menor que\(10\) eso es perfecto. Entonces, usando la extensionalidad, podemos decir:

    \[\{6\} = \{x : x\text{ is perfect and }0 \leq x \leq 10\}\nonumber\]

    Leemos la notación de la derecha como “el conjunto de\(x\)'s tal que\(x\) es perfecto y\(0 \leq x \leq 10\)”. La identidad aquí confirma que, cuando consideramos conjuntos, no nos importa cómo se especifican. Y, de manera más general, la extensionalidad garantiza que siempre hay un solo conjunto de\(x\)'s tal que\(\phi(x)\). Entonces, la extensionalidad justifica llamar\(\{x : \phi(x)\}\) al conjunto de\(x\)'s tal que\(\phi(x)\).

    La extensionalidad nos da una manera de mostrar que los conjuntos son idénticos: para mostrar eso\(A = B\), mostrar eso siempre\(x \in A\) entonces también\(x \in B\), y siempre que\(y \in B\) entonces también\(y \in A\).

    Problema\(\PageIndex{1}\)

    Demostrar que hay a lo sumo un conjunto vacío, es decir, mostrar que si\(A\) y\(B\) son conjuntos sin elemento s, entonces\(A = B\).


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