Saltar al contenido principal

# 4.9: Conjuntos de diferentes tamaños y teorema de Cantor

$$\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

Hemos ofrecido una declaración precisa de la idea de que dos conjuntos tienen el mismo tamaño. También podemos ofrecer una declaración precisa de la idea de que un conjunto es más pequeño que otro. Nuestra definición de “es menor que (o equinúmero)” requerirá, en lugar de una biyección entre los conjuntos, una inyección del primer conjunto al segundo. Si existe tal función, el tamaño del primer conjunto es menor o igual que el tamaño del segundo. Intuitivamente, una inyección de un conjunto a otro garantiza que el rango de la función tenga al menos tantos elementos como el dominio, ya que no hay dos elementos del dominio mapeados al mismo elemento del rango.

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

$$A$$no es mayor que$$B$$$$\cardle{A}{B}$$, escrito, si hay una inyección$$f \colon A \to B$$.

Es claro que se trata de una relación reflexiva y transitiva, pero que no es simétrica (esto se deja como ejercicio). También podemos introducir una noción, que establece que un conjunto es (estrictamente) más pequeño que otro.

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

$$A$$es menor que$$B$$, escrito$$\cardless{A}{B}$$, si hay una inyección$$f\colon A \to B$$ pero no biyección$$g\colon A \to B$$, es decir,$$\cardle{A}{B}$$ y$$\cardneq{A}{B}$$.

Es claro que esta relación es antirreflexiva y transitiva. (Esto se deja como un ejercicio.) Usando esta notación, podemos decir que un conjunto$$A$$ es enumerable iff$$\cardle{A}{\Nat}$$, y que no$$A$$ es enumerable iff$$\cardless{\Nat}{A}$$. Esto nos permite reafirmar el Teorema 4.6.2 como la observación de que$$\cardless{\Nat}{\Pow{\Nat}}$$. De hecho, Cantor (1892) demostró que este último punto es perfectamente general:

Teorema$$\PageIndex{1}$$ (Cantor)

$$\cardless{A}{\Pow{A}}$$, para cualquier conjunto$$A$$.

Comprobante. El mapa$$f(x) = \{x\}$$ es una inyección$$f \colon A \to \Pow{A}$$, ya que si$$x \neq y$$, entonces también$$\{x\} \neq \{y\}$$ por extensionalidad, y así$$f(x) \neq f(y)$$. Entonces tenemos eso$$\cardle{A}{\Pow{A}}$$.

Demostramos que no puede haber una función suryectiva$$g\colon A \to \Pow{A}$$, let alone a bijective one, and hence that $$\cardneq{A}{\Pow{A}}$$. For suppose that $$g\colon A \to \Pow{A}$$. Since $$g$$ is total, every $$x \in A$$ is mapped to a subset $$g(x) \subseteq A$$. We show that $$g$$ cannot be surjective. To do this, we define a subset $$\overline{A} \subseteq A$$ which by definition cannot be in the range of $$g$$. Let $\overline{A} = \Setabs{x \in A}{x \notin g(x)}.\nonumber$ Since $$g(x)$$ is defined for all $$x \in A$$, $$\overline{A}$$ is clearly a well-defined subset of $$A$$. But, it cannot be in the range of $$g$$. Let $$x \in A$$ be arbitrary, we show that $$\overline{A} \neq g(x)$$. If $$x \in g(x)$$, then it does not satisfy $$x \notin g(x)$$, and so by the definition of $$\overline{A}$$, we have $$x \notin \overline{A}$$. If $$x \in \overline{A}$$, it must satisfy the defining property of $$\overline{A}$$, i.e., $$x \in A$$ and $$x \notin g(x)$$. Since $$x$$ was arbitrary, this shows that for each $$x \in \overline{A}$$, $$x \in g(x)$$ iff $$x \notin \overline{A}$$, and so $$g(x) \neq \overline{A}$$. In other words, $$\overline{A}$$ cannot be in the range of $$g$$, contradicting the assumption that $$g$$ is surjective.

Es instructivo comparar la prueba del Teorema $$\PageIndex{1}$$con la del Teorema 4.6.2. Ahí mostramos que para cualquier lista$$Z_1$$, $$Z_2$$, …, of subsets of $$\PosInt$$ one can construct a set $$\overline{Z}$$ of numbers guaranteed not to be on the list. It was guaranteed not to be on the list because, for every $$n \in \PosInt$$, $$n \in Z_n$$ iff $$n \notin \overline{Z}$$. This way, there is always some number that is an element of one of $$Z_n$$ or $$\overline{Z}$$ but not the other. We follow the same idea here, except the indices $$n$$ are now elements of $$A$$ instead of $$\PosInt$$. The set $$\overline{B}$$ is defined so that it is different from $$g(x)$$ for each $$x \in A$$, because $$x \in g(x)$$ iff $$x \notin \overline{B}$$. Again, there is always an element of $$A$$ which is an element of one of $$g(x)$$ and $$\overline{B}$$ but not the other. And just as $$\overline{Z}$$ therefore cannot be on the list $$Z_1$$, $$Z_2$$, …, $$\overline{B}$$ cannot be in the range of $$g$$.

También vale la pena comparar la prueba con la prueba de la Paradoja de Russell, Teorema 1.6.1. En efecto, el teorema de Cantor fue la inspiración para la propia paradoja de Russell.

Problema$$\PageIndex{1}$$

Demostrar que no puede haber una inyección$$g\colon \Pow{A} \to A$$, para ningún conjunto$$A$$. Pista: Supongamos que$$g\colon \Pow{A} \to A$$ es inyectable. Considerar$$D = \Setabs{g(B)}{B \subseteq A \text{ and } g(B) \notin B}$$. Vamos$$x = g(D)$$. Utilizar el hecho de que$$g$$ es inyectivo para derivar una contradicción.

This page titled 4.9: Conjuntos de diferentes tamaños y teorema de Cantor is shared under a CC BY license and was authored, remixed, and/or curated by Richard Zach et al. (Open Logic Project) .