(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)

Introducción

En esta nota estudiaremos las secuencias ordenadas de $m$ entradas, llenadas con los  $n$ objetos de un determinado conjunto pero de modo que no se tengan entradas repetidas. Formalmente serán funciones inyectivas del conjunto de los primeros $m$ naturales, en el conjunto de $n$ objetos.

Definición

Sean $n,m\in \mathbb N^+$. Dado un conjunto $A=\set{a_1,\dotsc ,a_n}$ con $n$ elementos, las ordenaciones de los elementos de $A$ tomados de $m$ en $m$ son las funciones inyectivas de $\set{1,\dotsc, m}$ en $A$. Al número de ordenaciones de los elementos de un conjunto con $n$ elementos, tomados de $m$ en $m$, lo denotaremos por $O_{n}^{m}$, es decir, dado $A=\set{a_1,\dotsc ,a_n}$ un conjunto con $n$ elementos

$O_{n}^{m}=\#\set{f\mid f:\set{1,\dotsc, m}\to \set{a_1,\dotsc ,a_n}, con\\\ f \\\ inyectiva}$

Observa que, gracias a lo que estudiamos acerca de las funciones invectivas, sabemos que si $m>n$ entonces no existen funciones inyectivas de $\set{1,\dotsc, m}$ en $A$ y en consecuencia $O_{n}^{m}$ es cero.

Ejemplo

¿Cuántas banderas tricolores se pueden formar con los colores rojo, naranja, verde, azul y morado?

Consideremos la bandera tricolor de colores rojo, azul, naranja.

En el lugar $1$ asignamos el rojo, en el $2$ el azul y en el $3$ el naranja. Podemos verla como una función de $\set{1,2,3}$ en $A$, con $A$ el conjunto formado por los colores rojo, naranja, verde, azul y morado, es decir $A=\{rojo, naranja, verde, azul,morado\}$. En este caso la función sería:

$f: \set{1,2,3} \to A$ con $f(1)=rojo$, $f(2)=azul$, $f(3)=naranja.$

Veamos primero cuántas banderas tricolor hay que terminen en naranja.

Para ello debemos considerar todas las posibles maneras de iniciar una bandera que termine en naranja, lo cual corresponde a todas las formas de crear una bandera bicolor con los colores restantes. Las banderas bicolores formadas con los colores rojo, verde, azul o morado son:

Hay en total $12$ banderas bicolor que se pueden formar con estos $4$ colores. Nota que las banderas bicolores formadas con los colores rojo, verde, azul o morado corresponden a las ordenaciones de $4$ elementos tomadas de $2$ en $2$, que son en total $O_{4}^{2}=12$.

Fíjate que entonces hay $12$ banderas tricolor que terminan en naranja. De manera similar hay $12$ que terminan rojo, $12$ que terminan en verde, $12$ que terminan en azul y $12$ que terminan en morado, es decir doce por cada color.

El número de banderas tricolor es entonces:

$5\cdot 12=5\cdot O_{4}^{2}= O_{5}^{3}=60.$

Observa que $ O_{5}^{3} =5\cdot O_{4}^{2}$, probaremos que esto es válido en general y que $ O_{n+1}^{m+1} =(n+1)\cdot O_{n}^{m}$.

Lema

Sean $n,m\in \mathbb N^+$, $n\geq m$, entonces $O_{n+1}^{m+1}=(n+1)\cdot O_{n}^{m} $.

Demostración

Sean $n,m\in \mathbb N^+$, $n\geq m$ y $A=\set{a_1\dotsc,a_n,a_{n+1}}$ un conjunto con $n+1$ elementos.

$O_{n+1}^{m+1}=\#\set{f:\set{1,\dotsc, m,m+1}\to A=\set{a_1,\dotsc ,a_n,a_{n+1}}\mid f \\\ es\\\ inyectiva}$.

Para cada $i\in \set{1,\dotsc,n+1}$ consideremos el siguiente conjunto:

$B_{i}=\set{ f:\set{1,\dotsc, m,m+1}\to A=\set{a_1,\dotsc ,a_n,a_{n+1}} \mid f \\\ es \\\ inyectiva\\\ y \\\ f(m+1)=a_i }$

en el que estamos considerando, de las funciones que teníamos, sólo aquellas que mandan al último elemento del dominio, $m+1$, en $a_i\in A$.

Demostremos primero que $\#B_i=O_{n}^{m}.$

Notemos que cada una de las funciones en $B_i$ está determinada por los valores que toma en $1,\dotsc, m$, y esto da lugar a una función:

$\begin{pmatrix}1&\dotsc & m\\f(1)&\dotsc & f(m)\end{pmatrix},$

que es una función inyectiva (ya que $f$ es inyectiva) de $\set{1,\dotsc, m}$ en $A\setminus \set{a_i}$ (conjunto que tiene $n$ elementos).

Así, podemos establecer la correspondencia $\phi: B_i\to \set{ g:\set{1,\dotsc, m}\to A\setminus \set{a_i} \mid g \\\ es \\\ inyectiva }$ dada por

$\begin{pmatrix}1&\dotsc & m&m+1\\f(1)&\dotsc & f(m)&a_i\end{pmatrix} \mapsto \begin{pmatrix}1&\dotsc & m\\f(1)&\dotsc & f(m)\end{pmatrix}.$

Se deja al lector verificar que esta correspondencia es biyectiva.

Entonces,

$\#B_i=\# \set{ g:\set{1,\dotsc, m}\to A\setminus \set{a_i}\mid g \\\ es \\\ inyectiva }=O_{n}^{m}$

donde la última igualdad se debe a la notación establecida para el número de ordenaciones.

Observemos ahora que

$B_1\cup \dotsc \cup B_{n+1}= \set{ f:\set{1,\dotsc, m,m+1}\to A=\set{a_1,\dotsc ,a_n,a_{n+1}} \mid f \\\ es \\\ inyectiva}$

donde $B_i\cap B_j=\emptyset$ para toda $i\neq j$, es decir, $ \set{ f:\set{1,\dotsc, m,m+1}\to A=\set{a_1,\dotsc ,a_n,a_{n+1}} \mid f \\\ es \\\ inyectiva}$ es la unión disjunta de $B_1,\dotsc, B_{n+1}$.

Entonces,

$\#(B_1\cup \dotsc \cup B_{n+1})= \# \set{ f:\set{1,\dotsc, m,m+1}\to A=\set{a_1,\dotsc ,a_n,a_{n+1}}\mid f \\\ es \\\ inyectiva}$

y por el principio generalizado de la suma tenemos que:

$\#B_1+ \dotsc + \# B_{n+1}= \# \set{ f:\set{1,\dotsc, m,m+1}\to A=\set{a_1,\dotsc ,a_n,a_{n+1}}\mid f \\\ es \\\ inyectiva}.$

Como $\#B_i=O_{n}^{m}$, para todo $i\in\set{1,\dotsc,n+1}$, entonces

$(n+1)\cdot O_{n}^{m}= \# \set{ f:\set{1,\dotsc, m,m+1}\to A=\set{a_1,\dotsc ,a_n,a_{n+1}} \mid f \\\ es \\\ inyectiva}.$

Por lo tanto

$ O_{n+1}^{m+1} =(n+1)\cdot O_{n}^{m} .$

$\square$

Ejemplo

En la fila de un avión hay tres lugares, ¿de cuántas formas podemos llenarla eligiendo a personas de una familia de seis integrantes?

Notemos que es importante el orden en que coloquemos a las personas y que una persona no puede estar en más de un asiento a la vez por lo que cada forma de acomodar a tres personas de la familia en esos tres lugares, numerados por $1,2$ y $3$, puede ser vista como una ordenación del conjunto $\{1,2,3\}$ en el conjunto formado por los seis integrantes de la familia. Contemos entonces cuántas ordenaciones hay de un conjunto con $6$ elementos tomados de $3$ en $3$.

Sabemos que:

$O_{6}^{3}=6\cdot O_{2}^{5}= 6\cdot5 \cdot O_{4}^{1}.$

Pero si $A=\set{a_1,a_2,a_3,a_4}$ es un conjunto con cuatro elementos, habrá $4$ funciones inyectivas de $\set{1}$ en $A$ y por lo tanto $ O_{4}^{1} =4$. Así:

$O_{6}^{3}=6\cdot5 \cdot 4=120$, y por lo tanto hay $120$ maneras de llenar la fila.

Teorema

Sean $n,m\in \mathbb N^+$, $n\geq m$, entonces $O_{n}^{m}=n(n-1)\dotsc(n-m+1).$

Demostración

Sean $n,m\in \mathbb N^+$, $n\geq m$

Haremos la prueba por inducción sobre $m$

Base de inducción.

Si $m=1$ consideremos $A=\set{a_1,\dotsc,a_n}$ con $n$ elementos. Tenemos que hay $n$ funciones inyectivas de $\set{1}$ en $A$, así:

$O_{n}^{1}=n=n-1+1$ y en este caso se cumple la fórmula.

Paso inductivo.

Supongamos que el resultado se cumple para $m$, es decir que para toda $t\geq m$ $O_{t}^{m}=t(t-1)\dotsc (t-m+1)$ , que es nuestra hipótesis de inducción.

Demostración de que e resultado se cumple para $m+1$ usando la HI.

Sea $n\geq m+1$.

Consideremos $O_{n}^{m+1}= O_{(n-1)+1}^{m+1} $. Por el lema anterior esto es igual a

$ O_{(n-1)+1}^{m+1}=[(n-1)+1] O_{n-1}^{m} .$

Como $n\geq m+1$, tenemos que $n-1\geq m$ y usando la hipótesis de inducción tenemos que

$ O_{n-1}^{m} = (n-1)((n-1)-1)\dotsc ((n-1)-m+1)$

de donde

$ O_{n}^{m+1}=[(n-1)+1] O_{n-1}^{m}= n (n-1)(n-2)\dotsc ((n-1)-m+1).$

Así, $ O_{n}^{m+1}= n(n-1)(n-2)\dotsc (n-m)$, probando con ello que el resultado se cumple para $m+1$.

Por el principio de inducción la fórmula se cumple para toda $m\in \mathbb N^+$.

$\square$

Un caso importante de las ordenaciones se da cuando $n=m$. Recordemos que, de acuerdo a lo que estudiamos acerca de las funciones inyectivas entre conjuntos finitos de la misma cardinalidad, si $A$ es un conjunto finito con $n$ elementos, entonces toda función inyectiva de $\set{1,\dotsc, n}$ en $A$ es también suprayectiva y, por lo tanto, biyectiva.

Definición

Sea $n\in \mathbb N^+$. Dado un conjunto $A=\set{a_1,\dotsc ,a_n}$ con $n$ elementos, las permutaciones de los elementos de $A$ son las funciones biyectivas de $\set{1,\dotsc,n}$ en $A$. Al número de permutaciones de los elementos de un conjunto con $n$ elementos, lo denotaremos por $P_{n}$, es decir, dado $A=\set{a_1,\dotsc ,a_n}$ un conjunto con $n$ elementos

$P_{n}=\#\set{f\mid f:\set{1,\dotsc, n}\to \set{a_1,\dotsc ,a_n}, con\\\ f \\\ biyectiva}.$

Teorema

Sea $n\in \mathbb N^+$, entonces $P_{n}=n(n-1)\dotsc(1).$

Al número $n(n-1)\dotsc(1)$ se le llama el factorial de $n$ y se le denota por $n!$.

Demostración

Sea $n\in \mathbb N^+$. Dado un conjunto $A=\set{a_1,\dotsc ,a_n}$ con $n$ elementos, las permutaciones de los elementos de $A$ son las funciones biyectivas de $\set{1,\dotsc,n}$ en $A$, pero como mencionamos toda función inyectiva de $\set{1,\dotsc, n}$ en $A$ es también suprayectiva y viceversa, por lo que las permutaciones de los elementos de $A$ son las funciones inyectivas de $\set{1,\dotsc,n}$ en $A$, es decir las ordenaciones de $A$ tomadas de $n$ en $n$. Por lo tanto $P_n=O_{n}^{n}$.

De acuerdo al teorema anterior sabemos que $O_{n}^{n}=n(n-1)\dotsc(n-n+1)=n!.$

Así, $P_n=n!$.

Tarea Moral

1. Entre un grupo de siete personas se debe elegir una mesa directiva con un presidente, un secretario, un vocal y un suplente ¿de cuántas maneras se puede elegir esa mesa directiva?

2. En un concurso participan $30$ alumnos y se decidirá quién se lleva cada uno de los tres primeros lugares ¿cuántos posibles resultados se tienen como ganadores del concurso?

3. i) ¿De cuántas maneras pueden posar tres hombres y dos mujeres en línea para una fotografía de grupo?
ii) ¿De cuántas maneras pueden colocarse en línea si una mujer debe estar en cada extremo?
iii) ¿De cuántas maneras las personas del mismo sexo están juntas?

4. ¿De cuántas maneras podemos acomodar once libros en un estante?

Más adelante

En la siguiente nota continuaremos el estudio de las técnicas de conteo, daremos la definición formal de combinaciones, que son el número de subconjuntos de un conjunto dado.

Enlaces relacionados

Página principal del curso.

Enlace a la nota anterior. Nota 21. Conteo, ordenaciones con repetición.

Enlace a la nota siguiente. Nota 23. Combinaciones.

(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)

Introducción

Una vez que tenemos construidos los números naturales, su primera aplicación será el conteo, en esta nota analizaremos la situación conocida como ordenaciones con repetición de $n$ elementos tomados de $m$ en $m$, que son todas las secuencias ordenadas de $m$ entradas, llenadas con los $n$ objetos de un determinado conjunto.

Definición

Sean $n,m\in \mathbb N^+$. Dado un conjunto finito $A=\set{a_1,\dotsc ,a_n}$ con $n$ elementos, las ordenaciones con repetición de los elementos de $A$ tomados de $m$ en $m$ son las funciones de $\set{1,\dotsc, m}$ en $A$. Al número de ordenaciones con repetición de los elementos de un conjunto de $n$ elementos tomados de $m$ en $m$ lo denotaremos por $OR_{n}^{m}$.

$OR_{n}^{m}=\#\set{f\mid f:\set{1,\dotsc, m}\to A=\set{a_1,\dotsc ,a_n} }$

Ejemplo.

Sea $A=\set{a,e,i,o,u}$. Las ordenaciones con repetición de los elementos de $A$ tomados de dos en dos son las funciones de $\set{1,2}$ en $\set{a,e,i,o,u}$. Por ejemplo, una de esas ordenaciones es:

$1\longmapsto i$

$2\longmapsto a$

Recordemos que esta función se puede describir como:

\begin{pmatrix}1&2\\
i&a\end{pmatrix}

Lo que determina a esta función es la palabra $ia$ que aparece en el segundo renglón. ¿Cuántas funciones hay de $\set{1,2}$ en $A=\set{a,e,i,o,u}$ ?, o bien, ¿cuántas palabras podemos formar con dos letras usando sólo vocales?.

Hay 5 palabras que inician con $i$: $ia$, $ie$, $ii$, $io$, $iu$.

Hay 5 palabras que inician con $a$: $aa$, $ae$, $ai$, $ao$, $au$.

Hay 5 palabras que inician con $e$: $ea$, $ee$, $ei$, $eo$, $eu$.

Hay 5 palabras que inician con $o$: $oa$, $oe$, $oi$, $oo$, $ou$.

Hay 5 palabras que inician con $u$: $ua$, $ue$, $ui$, $uo$, $uu$.

Por cada vocal inicial tenemos $5$ palabras, así que en total tenemos $25$ palabras.

Podemos pensar a estas funciones o palabras como pares ordenados:

$\set{(i,a), (i,e), (i,i), (i,o), (i,u), (a,a), (a,e), (a,i), (a,o), (a,u),\dotsc }=A\times A$

Por lo que: $\#A\times A=\#A\cdot \#A=5\cdot 5=5^2=OR_{5}^{2}$

Acabamos de obtener que $ OR_{5}^{2}=5^2$, veremos en el siguiente teorema que esto es válido en general y que $OR_{n}^{m}=n^m$.

Teorema

Sean $n,m\in \mathbb N^+$, entonces $OR_{n}^{m}=n^m$.

Demostración

Sea $A=\set{a_1,\dotsc, a_n}$ con $n$ elementos.

Por definición:

$OR_{n}^{m}=\#\set{f\mid f:\set{1,\dotsc, m}\to A=\set{a_1,\dotsc ,a_n} }$ .

Veamos que $ \#\set{f\mid f:\set{1,\dotsc, m}\to A=\set{a_1,\dotsc ,a_n} }=\#A^m$ dando una biyección entre ambos conjuntos (recuerda que $A^m$es el producto cartesiano de $A$ consigo mismo $m$ veces).

Sea $\varphi: \set{f\mid f:\set{1,\dotsc, m}\to A=\set{a_1,\dotsc ,a_n} } \to A^m$ dada por:

$\varphi(f)=\varphi\bigg(\begin{pmatrix}1 & \dotsi & m\\ f(1) & \dotsi & f(m)\end{pmatrix}\bigg)=(f(1),\dotsc,f(m))$.

La función $\varphi$ es inyectiva ya que si $ f,g:\set{1,\dotsc, m}\to A$ son tales que $\varphi(f)= \varphi(g)$ , entonces $ (f(1),\dotsc,f(m))= (g(1),\dotsc,g(m)) $, y así $f(i)=g(i)\\\ \forall i\in \set{1,\dotsc, m}$, de donde $f$ y $g$ tienen la misma regla de correspondencia, y como coinciden en dominio y codominio entonces $f=g$. Por lo tanto $\varphi$ es inyectiva.

Además $\varphi$ es suprayectiva ya que si $(x_1,\dotsc,x_m)\in A^m$, podemos considerar la función:

$f=\begin{pmatrix}1 & \dotsi & m\\ x_1 & \dotsc & x_n\end{pmatrix}$ y es tal que

$\varphi(f)= \varphi\bigg(\begin{pmatrix}1 & \dotsi & m\\ x_1 & \dotsc & x_n\end{pmatrix} \bigg)= (x_1,\dotsc ,x_m) $.

Así, $\varphi$ es también suprayectiva, y por lo tanto biyectiva. Entonces:

$ \#\set{f\mid f:\set{1,\dotsc, m}\to A=\set{a_1,\dotsc ,a_n} }=\#A^m.$

Recordemos que la notación antes establecida nos dice que $ \#\set{f\mid f:\set{1,\dotsc, m}\to A=\set{a_1,\dotsc ,a_n} }=OR_{n}^{m}.$

Por otro lado, por el principio generalizado del producto el número de elementos de $A^m$ es el número de elementos de $A$ multiplicado $m$ veces. Así, $\#A^m=n^m$. Concluimos finalmente que:

$OR_{n}^{m}=n^m$.

$\square$

Tarea moral

1. ¿Cuántos números telefónicos hay con $8$ dígitos (del $0$ al $9$) que empiecen con $5$?
2. ¿Cuántas placas hay que inicien con $3$ números (del $0$ al $9$) y terminen con $3$ letras (contando $27$ en el alfabeto)?
3. ¿Cuántas palabras de $5$ letras se pueden formar con el alfabeto de $27$ letras?
4. Ve el siguiente video del profesor Luis Rincón.

Más adelante

En la siguiente nota continuaremos con el tema de conteo, esta vez para las ordenaciones sin repetición.

Enlaces relacionados

Página principal del curso.

Enlace a la nota anterior. Nota 20. Principio del producto, funciones entre conjuntos finitos.

Enlace a la nota siguiente. Nota 22. Conteo. Ordenaciones.

(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)

Introducción

En esta nota deduciremos el resultado conocido como Principio del producto que nos garantiza que el número de elementos del producto cartesiano de dos conjuntos finitos (ver nota 6) es igual al producto del número de elementos de cada conjunto. Así mismo, probaremos que para una función entre conjuntos finitos de la misma cardinalidad, las nociones de ser inyectiva, suprayectiva o biyectiva son equivalentes.

Empecemos probando un lema que nos ayudará a probar el principio del producto.

Lema 1

Sean $A$ un conjunto finito y $\{b\}$ un conjunto unitario, entonces $A\times \set{b}$ es finito y $\# (A\times \set{b})=\#A$.

Demostración

Sean $A$ un conjunto finito y $\{b\}$ un conjunto unitario, con $n=\#A$ y $f:\set{1,\dotsc,n}\to A$ una biyección.

Sea $g:A\to A\times \set{b}$ dada por $g(a)=(a,b)$ $\forall a\in A$.

Observemos que la función $h:A\times \set{b}\to A$ dada por $h((a,b))=a\,\,\forall (a,b)\in A\times \set{b}$ es la inversa de g, pues:

$h\circ g(a)=h(g(a))=h((a,b))=a\,\,\forall a\in A$.

$g\circ h((a,b))=g(h((a,b)))=g(a)=(a,b)\,\,\forall (a,b)\in A\times \set{b}$.

Así, $g$ es invertible y por lo tanto biyectiva.

Como $f$ y $g$ son biyectivas, entonces $g\circ f:\set{1,\dotsc,n}\to A\times \set{b} $ es biyectiva.

Así, $\# (A\times \set{b})$ es un conjunto finito con $\# (A\times \set{b})=n$. Por lo tanto $\# (A\times \set{b})=\#A$.

$\square$

Teorema. Principio del producto

Sean $A,B$ conjuntos finitos, entonces $A\times B$ es finito y $\#(A\times B)=\#A\cdot \#B$.

Demostración

Sean $A,B$ conjuntos finitos con $n=\#A$, $m=\#B$.

Entonces $B=\set{b_1,\dotsc,b_m}$ con $b_i\neq b_j\,\,\forall i,j.$

Observemos que $A\times B= (A\times \set{b_1})\cup (A\times \set{b_2})\cup\dotsc\cup (A\times \set{b_m})$ donde $ (A\times \set{b_i})\cap (A\times \set{b_j})=\emptyset\,\,\forall i\neq j$.

Por el principio generalizado de la suma visto en la nota anterior

$\#(A\times B)= \#(A\times \set{b_1})+ \# (A\times \set{b_2})+\dotsc+\# (A\times \set{b_m}).$

Por el lema previo $\forall i$ $ \#(A\times \set{b_i})=\#A$, entonces tenemos que:

$\#(A\times B)=m\cdot \#A$, y como $m=\#B$ sustituyendo obtenemos que:

$\#(A\times B)=\#A\cdot \#B.$

$\square$

Nota

Este resultado se puede generalizar, si $A_1,\dotsc,A_t$ son conjuntos finitos, entonces $A_1\times\cdots\times A_t$ es finito y $\#(A_1\times\cdots\times A_t)=\#A_1\cdots \#A_t $, y se conoce como el principio generalizado del producto.

Veamos ahora qué información podemos obtener acerca de la cardinalidad de dos conjuntos finitos, a partir de las características de alguna función definida entre ellos.

Lema 2

Sean $A,B$ conjuntos finitos

i) Si existe $f:A\to B$ inyectiva, entonces $\#A= \#Im f$ y $ \#A\leq \#B$.

ii) Si existe $f:A\to B$ suprayectiva, entonces $ \#A\geq \#B$.

Demostración de i)

Sean $A$ y $B$ conjuntos finitos.

Supongamos que existe $f:A\to B$ inyectiva.

Consideremos la función $F:A\to Imf$ tal que $F(a)=f(a)\,\,\forall a\in A$.

Como $f$ es inyectiva $F$ también lo es, y por construcción $F$ es suprayectiva.

Así, $F$ es biyectiva y entonces $\#A= \#Imf$.

Como $Imf\subseteq B$ y $B$ es finito, entonces $Imf$ también es finito y $ \#Imf\leq \#B$ (ver la nota anterior), de donde $ \#A = \#Imf\leq \#B$.

Demostración de ii)

Sean $A$ y $B$ conjuntos finitos.

Supongamos que existe $f:A\to B$ suprayectiva.

Sea $B=\set{b_1,\dotsc,b_m}$ con $m=\#B$ y $b_i\neq b_j\,\,\,\forall i,j$.

Como $f$ es suprayectiva, para cada $b_i\in B$ existe un elemento de $A$ que bajo $f$ va a dar a $b_i$, elijamos uno de ellos, digamos $a_i\in A$ tal que $f(a_i)=b_i$.

Definamos la función $g:B\to A$ con $g(b_i)=a_i\,\,\,\forall i\in \set{1,\dotsc, m}.$ Veamos que $g$ es inyectiva.

Si $i,j\in \set{1,\dotsc, m}$ son tales que $g(b_i)=g(b_j)$, entonces $a_i=g(b_i)=g(b_j)=a_j$, de manera que $a_i=a_j$ y en consecuencia:

$b_i=f(a_i)=f(a_j)=b_j,$

por lo cual $b_i=b_j$, así $g$ es inyectiva.

Por el inciso $i)$ tenemos entonces que el dominio de $g$ tiene menor o igual número de elementos que su condominio, es decir $\#B\leq \#A$.

$\square$

Observaciones

• Sea $A$ un conjunto finito. Si $A\neq \emptyset$, entonces $\#A\geq 1 $. De modo equivalente si $\#A=0$ entonces $A=\emptyset$.
• Sean $A,B$ conjuntos finitos con $A\subseteq B$. Si $\#A=\#B$, entonces $A=B$.

Teorema

Sean $A,B$ conjuntos finitos con $\#A= \#B$, $f:A\to B$.

Las siguientes afirmaciones son equivalentes:

a) $f$ es inyectiva.

b) $f$ es suprayectiva.

c) $f$ es biyectiva.

Demostración

Sean $A,B$ conjuntos finitos con $\#A= \#B$, $f:A\to B$.

a) $\Longrightarrow$b)

Supongamos que $f$ es inyectiva.

Por demostrar que $f$ es suprayectiva.

Como $f$ es inyectiva, por el Lema 2 $\#A= \#Imf $, tenemos entonces que

$\#B= \#A= \#Imf$

Así, $Imf\subseteq B$ con $ \#Imf= \#B$, y por un ejercicio de la nota anterior sabemos que $Imf=B$. Por lo tanto $f$ es suprayectiva.

b) $\Longrightarrow$a)

Supongamos que $f$ es suprayectiva, es decir que $Imf=B$.

Por demostrar que $f$ es inyectiva.

Sea $n=\#A= \#B$, $A=\set{a_1,\dotsc,a_n}$ con $a_i\neq a_j\,\,\,\forall i\neq j$.

Como $Imf=B$, entonces $\#Imf= \#B=n$.

Supongamos por reducción al absurdo que $f$ no es inyectiva, entonces existen dos elementos de $A$ que bajo $f$ son iguales, sin pérdida de generalidad supongamos que $f(a_{n-1})=f(a_n)$, entonces:

$Imf=\set{f(a_1),\dotsc,f(a_{n-1})}$

La función $h:\set{1,\dotsc,n-1}\to Imf$ con $h(i)=f(a_i)\,\,\,\forall i$ sería entonces suprayectiva, así aplicando el lema 2 tenemos que:

$n-1=\#\set{1,\dotsc,n-1}\geq \#Imf=\#B=n$, y entonces tendriamos que $n-1\geq n$, pero eso es una contradicción y por lo tanto $f$ es inyectiva.

Hemos probado entonces que, bajo nuestras hipótesis, $f$ es inyectiva si y sólo si es suprayectiva, así que si se cumple a) se tiene también b) y entonces $f$ es biyectiva y se cumple c). Análogamente si se cumple b) se tiene también a) y entonces $f$ es biyectiva y se cumple c). Además, si se cumple c) se tiene que $f$ es biyectiva y por lo tanto es inyectiva y suprayectiva, así que se cumplen a) y b).

Por lo tanto las condiciones a), b) y c) son equivalentes.

$\square$

Tarea moral

1. Sean $A$ y $B$ conjuntos finitos. Demuestra o da un contraejemplo:

i) Si $\#A\leq \#B$ y $f$ es una función $f:A\to B$, entonces $f$ es inyectiva.

ii) Si $\#A\geq \#B$ y $f$ es una función $f:A\to B$, entonces $f$ es suprayectiva.

iii) Si $\#A=\#B$ y $f$ es una función $f:A\to B$, entonces $f$ es biyectiva.

2. Considera que para acceder a una aplicación se requiere una contraseña de tres dígitos que pueden ser $0,1,2,3,4,5,6,7,8$ o $9$.
i) Describe a cada contraseña como una terna ordenada y al conjunto de contraseñas como un producto cartesiano
ii) ¿Cuántas contraseñas posibles hay?
iii) Si ahora la contraseña puede ser de tres o de cuatro dígitos ¿cuántas contraseñas habrá?

3. Ve el siguiente vídeo para que conozcas otro importante principio de conteo, el principio del palomar.

Más adelante

En las siguientes notas haremos énfasis en el estudio de las técnicas de conteo. Estudiaremos las ordenaciones, las ordenaciones con repetición y las combinaciones.

Enlaces relacionados

Página principal del curso.

Enlace a la nota anterior. Nota 19. Conjuntos equivalentes y cardinalidad.

Enlace a la nota siguiente. Nota 21. Conteo, ordenaciones con repetición.

(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)

Introducción

En ésta y la siguiente nota formalizaremos la noción intuitiva que tenemos acerca del tamaño de los conjuntos. Para ello usaremos las funciones. Diremos que dos conjuntos son equipotentes si existe una función biyectiva entre ellos y estableceremos qué significa que un conjunto sea finito. Probaremos el principio de la suma que nos habla de el número de elementos de la unión de dos conjuntos finitos y ajenos, con este resultado demostraremos un importante corolario que nos habla del número de elementos de la unión de dos conjuntos finitos cuando los conjuntos no son necesariamente ajenos.

Definición

Sean $A$ y $B$ conjuntos. Decimos que $A$ tiene la misma cardinalidad que $B$ o que $A$ es equipotente con $B$ si existe una función biyectiva de $A$ en $B$ y lo denotaremos por:

$A\sim B$

Ejemplos.

1. $A=\set{1,2,3,4}$, $B=\set{1,\frac{1}{2}, \frac{1}{3}, \frac{1}{4}}$ son equipotentes ya que $f:A\to B$ con $f(n)=\frac{1}{n}$ $\forall n\in A$ es una función biyectiva.

2. $\mathbb N=\set{0,1,2,3,\dotsc}$ y $\mathbb N^+=\set{1,2,3,\dotsc}$.

¿Son $\mathbb N$ y $\mathbb N^+$ conjuntos equipotentes?, ¿ $\mathbb N\sim \mathbb N^+$?

La función $f:\mathbb N \to \mathbb N^+$ dada por $f(n)=n+1$ $\forall n\in\mathbb N$ es inyectiva, pues si $n,m\in \mathbb N$ son tales que $f(n)=f(m),$ entonces $n+1=m+1$ y así $n=m$.

Además es suprayectiva pues si $n\in \mathbb N^+$ con $n\neq 0$, sabemos por un ejercicio de la nota 16 que $n=m^+=m+1$ para alguna $m\in\mathbb{N}$, entonces $f(m)=m+1=n$ con $m\in \mathbb N$.

Concluimos que $\mathbb N\sim \mathbb N^+$.

3. Sea $P=\set{n\in \mathbb N\mid n\, \, es \, \, par}=\set{2m\mid m\in \mathbb N}$

¿Los naturales son equipotentes a $P$?

La función $f:\mathbb N \to P$ dada por $f(m)=2m$ $\forall m\in \mathbb N$ es una biyección así $\mathbb N\sim P.$

Tarea moral, demuéstralo.

4. ¿Qué dices de los números naturales y los enteros?, ¿$\mathbb N\sim \mathbb Z$?

Considera la siguiente función $f:\mathbb N \to \mathbb Z$:

$f(n)= \left\{ \begin{array}{lcc}
             \frac{n}{2} &   si  & n\,\,es\,\,par \\
             \\ \frac{-n+1}{2} &  si & n\,\,es\,\,impar
             \end{array}
   \right.$

$f$ es biyectiva, así $\mathbb N\sim \mathbb Z$.

Tarea moral, demuéstralo.

5. El intervalo $(-\frac{\pi}{2}, \frac{\pi}{2})$ es equipotente a $\mathbb R$.

Considera la función tangente, la función tangente es biyectiva en ese intervalo.

Tarea moral, investiga las propiedades de la función tangente para que te convenzas de lo anterior.

Nota

Se puede probar que:

Si $n\in\mathbb N^+$, todo subconjunto de $\set{1,\dotsc,n}$ es finito y tiene a lo más $n$ elementos.

Si $A$ es un conjunto finito con $n$ elementos, entonces todo subconjunto de $A$ es finito y tiene a lo más $n$ elementos.

La demostración puede verse en el libro de Avella y Campero mencionado en la bibliografía, corolario 6.9 y corolario 6.12, páginas 244 y 246.

Debido a lo anterior podemos establecer la siguiente definición.

Definición

Si $A$ es un conjunto, decimos que $A$ es finito si $A=\emptyset$ o existe $n\in\mathbb N^+$, tal que $A\sim \set{1,\dotsc,n}$. El número de elementos de $A$ es cero en el primer caso y $n$ en el segundo caso.

Si $A$ no es finito decimos que $A$ es infinito.

Notación

$\#\emptyset=\mid\emptyset\mid=0$, $\#A=\mid A\mid=n.$

En este caso si $f:\set{1,\dotsc,n}\to A$ denotamos a $f(i)$ por $a_i$ y así $A=\set{a_1,\dotsc,a_n}$ con $a_i\neq a_j$ para toda $ i\neq j$.

Observación

Dados $A$ y $B$ conjuntos finitos: $A\sim B$ si y sólo si $\#A= \#B$.

Recordemos que dos conjuntos son ajenos o disjuntos si su intersección es vacía, ver la nota 4. Veamos ahora qué ocurre con el número de elementos de la unión de dos conjuntos finitos y ajenos.

Teorema: principio de la suma.

Sean $A$ y $B$ conjuntos finitos con $A\cap B=\emptyset$, entonces $A\cup B$ es finito y $\#A\cup B=\#A+\#B$.

Demostración

Sean $A$ y $B$ conjuntos finitos con $A\cap B=\emptyset$. Sean $n=\#A$ y $m=\#B$, $f:\set{1,\dotsc,n}\to A$, $g:\set{1,\dotsc,m}\to B$ biyecciones.

Definimos:

$h:\set{1,2,\dotsc,n,n+1,n+2,\dotsc,n+m }\to A\cup B$

con

$h(i)= \left\{ \begin{array}{lcc}
             f(i) &   si  & i\in\set{1,\dotsc,n} \\
             \\ g(k) &  si & i=n+k\,\,con\,\,k\in\set{1,\dotsc,m}
             \end{array}
   \right.$

Veamos que $h$ es suprayectiva.

Sea $c\in A\cup B$, entonces $c\in A$ o $c\in B$.

Caso 1 $c\in A$

Como $f$ es suprayectiva existe $i\in \set{1,\dotsc,n}$, tal que $f(i)=c$, así $h(i)=f(i)=c.$

Caso 2 $c\in B$

Como $g$ es suprayectiva existe $k\in \set{1,\dotsc,m}$, tal que $g(k)=c$, así $h(n+k)=g(k)=c$.

por lo tanto $h$ es suprayectiva

Veamos que $h$ es inyectiva.

Sean $i,j\in \set{1,\dotsc,n+m}$, tales que $h(i)=h(j)$

Por demostrar que $i=j$

Caso 1

$i,j\in \set{1,\dotsc,n}.$

Por definición de $h$ tenemos que:

$f(i)=h(i), f(j)=h(j)$

Por hipótesis tenemos que

$h(i)=h(j)$

y por lo tanto

$f(i)=f(j).$

Como $f$ es inyectiva tenemos que $i=j.$

Caso 2

$i,j\in \set{n+1,\dotsc,n+m}.$

En este caso tenemos que $i=n+k$ y $j=n+q$ para algunos $k,q\in \set{1,\dotsc,m}.$

Por hipótesis tenemos que

$h(i)=h(j),$

así obtenemos las siguientes igualdades

$h(n+k)=h(i)=h(j)=h(n+q)$

Por definición de $h$ tenemos que

$h(n+k)=g(k)$ y $h(n+q)=g(q)$

De lo que se deduce que

$g(k)=h(n+k)=h(i)=h(j)=h(n+q)=g(q).$

Entonces $g(k)=g(q)$, y como $g$ es inyectiva entonces $k=q$ y por lo tanto $i=n+k=n+q=j$. Así, $i=j$.

Caso 3

$i\in \set{1,\dotsc,n}$ y $j\in \set{n+1,\dotsc,n+m}$

En este caso $j=n+k$ para algún $k\in \set{1,\dotsc,m}.$

Observa que:

$h(i)=f(i)\in A$ y que $h(j)=f(n+k)=g(k)\in B.$

Como $h(i)=h(j)$ entonces $h(i)\in A\cap B$ pero esto es una contradicción a nuestra hipótesis de que $\emptyset =A\cap B$, por lo tanto no ocurre este caso.

Caso 4

$j\in \set{1,\dotsc,n}$ y $i\in \set{n+1,\dotsc,n+m}$

Es similar al caso anterior y por lo tanto tampoco ocurre.

Por lo tanto $h$ es inyectiva.

Tenemos entonces que $h:\set{1,2,\dotsc,n,n+1,n+2,\dotsc,n+m }\to A\cup B$ es una función biyectiva lo que nos permite concluir que $A\cup B$ es finito y $\#A\cup B=n+m$. Finalmente, $\#A\cup B=n+m=\#A+\#B$.

$\square$

Nota

La generalización del resultado anterior, llamado principio generalizado de la suma, se enuncia como sigue:

Si $A_1,\dotsc,A_t$ son conjuntos finitos tales que $A_i\cap A_j=\emptyset$ $\forall i\neq j$, entonces su unión es finita y $\#A_1\cup\dotsc \cup A_t= \#A_1+\dotsc +\#A_t$.

Corolario

Sean $A,B$ conjuntos finitos, entonces $A\cup B$ es finito y $\#A\cup B=\#A+\#B- \#A\cap B$.

Demostración

Sean $A$ y $B$ conjuntos finitos, y sean $n=\#A$ y $m=\#B.$

Observemos que

$A\cup B=A\cup(B\setminus A)$ con $A\cap(B\setminus A)=\emptyset$

y que

$B=(B\setminus A)\cup (A\cap B)$ con $ (B\setminus A)\cap (A\cap B)=\emptyset$.

Así, por el teorema anterior tenemos que:

$\#A\cup B=\#A+\#(B\setminus A)$

y

$\#B=\#(B\setminus A)+\# (A\cap B)$

Despejando $ \#(B\setminus A)$ de la expresión anterior tenemos que

$\#(B\setminus A)=\#B -\# (A\cap B).$

Sustituyendo $\#B\setminus A$ en $\#A\cup B=\#A+\#(B\setminus A)$ tenemos lo que buscábamos.

$\#A\cup B=\#A+\#B- \#A\cap B.$

$\square$

Tarea Moral

1. Realiza la prueba de la equipotencia entre conjuntos para los ejemplos $3$ y $4$ e investiga las propiedades de la función tangente para entender el ejemplo $5$.

2. En cada inciso demuestra que los siguientes conjuntos $A$ y $B$ son equipotentes:

i) $A=\mathbb N$ y $B=\set{3,9,27,\dotsc}$.

ii) $A=\mathbb N$ y $B=\set{\dotsc,-5,-4,-3}$.

iii) $A=\set{x\in \mathbb R\mid x>0}$ y $B=\set{x\in \mathbb R\mid x<0}$.

3. Demuestra que $\mathbb Z$ es equipotente con el conjunto $\set{\dotsc,-12,-8,-4,0,4,8,12, \dotsc}$.

4. Prueba que los siguientes intervalos de recta real son equipotentes:

• $(0,1)$ y $(0,4)$
• $(0,4)$ y $(-6,-2)$
• $(0,1)$ y $(0,\pi)$
• $(0,\pi)$ y $(-\frac{\pi}{2},\frac{\pi}{2})$
  Reflexiona
  ¿El intervalo $(0,1)$ es equipotente con cualquier intervalo $(a,b)$ con $a<b$?
  ¿Cualesquiera dos intervalos abiertos de la recta son equipotentes?

5. Prueba las siguientes propiedades de la equipotencia:

• Sea $A$ un conjunto, entonces $A\sim A$.
• Sean $A$ y $B$ conjuntos, si $A\sim B$ entonces $B\sim A.$
• Sean $A,B,C$ conjuntos, si $A\sim B$ y $B\sim C$ entonces $A\sim C.$

7. Sean $A$ y $B$ conjuntos finitos. Prueba que $A\sim B$ si y sólo si $\#A=\#B$.

8. Sean $A$ y $B$ conjuntos finitos. Demuestra que:

• Si $\#A=0$, entonces $A=\emptyset.$
• Si $A\subseteq B$ y $\#A=\#B$ entonces $A=B.$

9. Ve el siguiente video sobre la paradoja de los hoteles infinitos del matemático David Hilbert.

Más adelante

En la siguiente nota analizaremos el número de elementos del producto cartesiano de dos conjuntos finitos, veremos también que las funciones inyectivas (o suprayectivas) entre dos conjuntos finitos de la misma cardinalidad son también funciones suprayectivas (inyectivas respectivamente) y por lo tanto biyectivas.

Enlaces relacionados

Página principal del curso.

Nota anterior. Nota 18b. Demostraciones por inducción de las propiedades de las operaciones de los números naturales.

Nota siguiente. Nota 20. Principio del producto, funciones entre conjuntos finitos.

(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)

Introducción

En esta nota usaremos el quinto axioma de Peano para hacer un tipo de prueba muy frecuente en matemáticas cuando se quiere constatar que un subconjunto $A$ de los números naturales es de hecho igual que los números naturales, es decir que $A=\mathbb N$. Nosotros obtuvimos el quinto axioma de Peano de una definición conjuntista de los números naturales (ver la nota 16), que nos dice que si en un conjunto cualquiera de los números naturales: se cumple que el cero está y que para cualquier elemento del conjunto su sucesor también está, entonces, ese conjunto es el de los números naturales. Hay muchísimos ejemplos donde queremos garantizar que cierta propiedad se cumple para todos los números naturales, así que una forma de hacerlo es considerar la colección de todos los números naturales que cumplen dicha propiedad y usar el quinto axioma de Peano para ver que esa colección es de hecho el conjunto de todos los números naturales.

Procedamos a dar una basta serie de ejemplos donde se usa este principio, en todos ellos probaremos que un subconjunto $A$ de naturales es igual a $\mathbb N$, para ello veremos que

$i)\, 0\in A$ (llamada la base de inducción), y que

$ii)$ si $n\in A$, entonces $n^+=n+1\in A$ (llamado paso Inductivo (PI), para ello supondremos que $n\in A$, hipótesis que se conoce comúnmente como la hipótesis de inducción (HI), y probaremos que $n+1\in A$).

Con estas dos condiciones satisfechas podemos asegurar que $A=\mathbb N$ en virtud del quinto Axioma de Peano.

Ejemplos de demostraciones que usan el principio de inducción

En los siguientes ejemplos veremos cómo se usa el principio de inducción o quinto Axioma de Peano, que justificamos a partir de la definición de los números naturales.

Ejemplos

1. La suma de los primeros $n$ naturales está dada por la fórmula:

Para todo $n\in \mathbb N$, $0+1+\dotsc +n=\frac{n(n+1)}{2}.$

Queremos ver que la fórmula anterior se cumple para toda $n$ natural, pero hasta el momento no sabemos que así sea. Podemos entonces considerar el conjunto de naturales para los que sí se cumpla la fórmula, digamos

$A=\set{ n\in \mathbb N \mid 0+1+\dotsc +n=\frac{n(n+1)}{2} }.$

Si logramos probar que en $A$ están todos los naturales, entonces habremos probado que la fórmula se cumple para todos los naturales. Una forma de hacerlo es usando el principio de inducción:

Por demostrar que $A=\mathbb N.$

i) Base de inducción. Por demostrar que $0\in A.$

$0=\frac{0(0+1)}{2}$. Por lo tanto, $0\in A.$

ii) Paso Inductivo. (PI).

Sea $n\in A$, es decir, supondremos que

$0+1+\dotsc +n=\frac{n(n+1)}{2}$.

Ésta es nuestra hipótesis de inducción.

Demostración de que $n^+=n+1\in A$ usando la HI.

Por demostrar que el sucesor de $n$ también está en $A$, es decir por demostrar que $n^+=n+1\in A,$ o de modo equivalente por demostrar que

$0+1+\dotsc +(n+1)=\frac{(n+1)((n+1)+1)}{2}= \frac{(n+1)(n+2)}{2}.$

Usando la hipótesis de inducción sabemos que

$(0+1+\dotsc +n)+(n+1)=\frac{n(n+1)}{2}+(n+1)= \frac{(n)(n+1)+2(n+1)}{2}= \frac{(n+1)(n+2)}{2}.$

Así, $n^+=n+1\in A$ y por el principio de inducción $A=\mathbb N.$

$\square$

Observemos que probar que $0\in A$ fue equivalente a probar que la fórmula que queríamos probar se cumplía para $n=0$. Por otro lado suponer que $n\in A$ fue equivalente a suponer que la fórmula se cumplía para $n$, y demostramos a partir de ello que $n+1\in A$ verificando que la fórmula se cumplía para $n+1$. Así, comúnmente se omite el conjunto $A$ que consiste de todos los naturales que cumplen la propiedad que queremos verificar para todos los naturales y directamente se verifican los siguientes puntos:

$i)$ La propiedad se cumple para $n=0$,

$ii)$ $\forall n\in\mathbb{N}$, si $n$ cumple la propiedad, entonces $n+1$ también la cumple,

y con ello demostramos que todos los números naturales cumplen la propiedad. Veamos más ejemplos.

Para los siguientes ejemplos requerimos la definición de potencia de un natural:

Definición. Potencia en $\mathbb N$

Dado $a\in \mathbb N$ definimos:

$a^0=1,$

para todo $m\in \mathbb N$, $a^{m+1}=a(a^m).$

Observación

Notemos que de acuerdo a la definición anterior, dado $a\in \mathbb N$ se tiene que $a^1=a^{0+1}=a(a^0)=a(1)=a$. Así, $a^1=a$.

2. Para todo $n\in \mathbb N$, $2^0+2^1+\dotsc+2^n=2^{n+1}-1$.

i) Base de inducción. Veamos que el cero cumple la fórmula

$2^0=1=2-1=2^1-1=2^{0+1}-1$, por lo tanto la formula se cumple para $n=0.$

ii) Paso Inductivo. (PI).

Sea $n\in \mathbb N$. Supongamos que el resultado se cumple para $n$ es decir supongamos que:

$2^0+2^1+\dotsc+2^n=2^{n+1}-1.$

Ésta es nuestra hipótesis de inducción.

Demostración de que se cumple para $n+1$ usando la HI.

Veamos ahora que se cumple para $n+1$. Usando la hipótesis de inducción

$(2^0+2^1+\dotsc+2^n)+2^{n+1}=(2^{n+1}-1)+2^{n+1}=2( 2^{n+1} )-1= 2^{(n+1)+1}-1. $

Por lo tanto,

$2^0+2^1+\dotsc+2^n=2^{n+1}-1$, $\forall n\in \mathbb N.$

$\square$

3. Para todo $n\in \mathbb N$ con $n\geq 2$, $1+2n<3^{n}.$ $\quad\quad\quad *$

Observa que, dado que $n\geq 2$ tenemos que $n=m+2$ para alguna $m\in\mathbb{N}$, así que lo que debemos probar es equivalente a demostrar que:

Para todo $n\in\mathbb{N}$, $1+2(m+2)<3^{m+2}.$ $\quad\quad\quad **$

Para ello basta ver que

i) La propiedad ** se cumple para $m=0$,

ii) Para todo $m\in\mathbb{N}$, si $m$ cumple la propiedad **, entonces $m+1$ también cumple la propiedad **.

Pero el que ** se cumpla para $m+1$ significa que $1+2((m+1)+2)<3^{(m+1)+2}$, es decir que $1+2((m+2)+1)<3^{(m+2)+1}$. Así, debemos ver que

i) La propiedad ** se cumple para $m=0$,

ii) Para todo $m\in\mathbb{N}$, si $1+2(m+2)<3^{m+2}$, entonces $1+2((m+2)+1)<3^{(m+2)+1}$,

y como $n=m+2,$ escribiendo todo en términos de $n$ esto es equivalente a probar que

i) Base de inducción. La propiedad * se cumple para $n=2$,

ii) Paso Inductivo. (PI).

Para todo $n\in\mathbb{N}$ con $n\geq 2$, si $1+2n<3^{n}$, entonces $1+2(n+1)<3^{n+1}.$

Así, cuando queramos probar una afirmación para todos los naturales a partir de un valor $k$, bastará con realizar el proceso de inducción de la manera usual sólo que la base de inducción se trabajará con $n=k$ en vez de $n=0$.

Escribamos ahora sí la prueba del ejercicio:

i) Base de inducción. Para $n=2$

$1+2(0+2)<3^{(0+2)}$ es verdadero pues

$1+2(0+2)=5<9=3^2.$

ii) Paso Inductivo. (PI).

Supongamos que el resultado se cumple para $n\geq 2$, es decir supongamos que $1+2n<3^n$.

Ésta es nuestra hipótesis de inducción.

Demostración de que se cumple para $n+1$ usando la HI.

Veamos ahora que se cumple para $n+1$, es decir mostremos que $1+2(n+1)<3^{n+1}.$

Multiplicando la HI por $3$ tenemos que

$3+6n=3(1+2n)<3(3^n)=3^{n+1}.$

Basta ver que $1+2(n+1)<3+6n$. Como $n\geq 2$, entonces $0<4n$ pero:

$0<4n\Longleftrightarrow 2n<6n \Longleftrightarrow 3+2n<3+6n \Longleftrightarrow 1+2(n+1)<3+6n.$

Así, $1+2(n+1)<3+6n$.

Tenemos entonces que $1+2(n+1)<3+6n$ y que $3+6n<3^{n+1}$ por lo que concluimos que:

$1+2(n+1)<3^{n+1},$

que es lo que queríamos probar.

Por lo tanto $1+2(n+1)<3^{n+1}$ $\forall n\in \mathbb N$, $n\geq 2$.

$\square$

A continuación enunciaremos el segundo principio de inducción y su equivalente el principio de buen orden.

Segundo principio de inducción (inducción fuerte o modificada)

Si $A\subseteq \mathbb N$ es tal que:

Para toda $n$, si para todo $m<n$, $m\in A$, implica que $n\in A,$

concluimos que $A=\mathbb N$.

Principio del buen orden PBO

Si $A$ es un subconjunto no vacío de $\mathbb N$, entonces $A$ tiene un elemento menor o igual a los demás. Es decir, si $A\subseteq \mathbb N$, $A\neq \emptyset$, entonces existe $m\in A$, tal que para todo $a\in A$ $m\leq a$.

Nota. El segundo principio de inducción y el principio del buen orden son equivalentes y ambos se pueden probar con el principio de inducción.

Ejemplo del segundo principio de inducción

Considera la sucesión de Fibonacci:

$1,1,2,3,5,8,\dotsc $

dada por

$F_0=F_1=1,$

para todo $n\in \mathbb{N}$, $F_{n+2}=F_n+F_{n+1}.$

Veamos que para todo $n\in\mathbb{N}$, $F_n\leq 2^n$.

Sea $n\in \mathbb N.$ Supongamos que para todo $n\in\mathbb{N}$ con $m<n,$ $F_m\leq 2^m.$

Por demostrar que

$F_n\leq 2^n.$

Si $n=0$ o $n=1$

$F_0=1=2^0$, $F_1=1<2=2^1$.

Podemos suponer entonces que $n>1$, así $n\geq 2.$

Entonces $n=2+k$, con $k\in \mathbb N$ y así

$F_n=F_{2+k}=F_k+F_{k+1}$ que por hipótesis de inducción es menor que $2^k+2^{k+1}$. Concluimos que:

\begin{align*}F_n=F_{2+k}&=F_k+F_{k+1}\leq 2^k+2^{k+1}=1(2^k)+2(2^k) =2^k(1+2)= 2^k(3)\\&< 2^k(4)=2(2(2^k))=2(2^{k+1})=2^{(k+1)+1}=2^{k+2}=2^n.\end{align*}

Por lo tanto para todo $n\in\mathbb{N}$, $F_n\leq 2^n.$

Tarea Moral

1. Prueba que para toda $n\in \mathbb N$

$\sum_{k=0}^{n}k^2=\frac{n(n+1)(2n+1)}{6}.$

2. Prueba que para toda $n\in \mathbb N$, $n<2^n.$

3. Prueba que la suma de los ángulos internos de un polígono de $n$ lados es $(n-2)180$ usando inducción sobre $n$.

4. Considera la secuencia definida de manera recursiva como:

$f_0=1$, $f_{n+1}=f_n+\dotsc+f_0+1.$

Prueba que $f_n=2^n$ para toda $n\in \mathbb N$.

5. Sean $a,b,n,m\in\mathbb{N}$. Demuestra que por inducción que:

i) $a^nb^n=(ab)^n,$

ii) $a^na^m=a^{n+m}.$

Sugerencia: En el inciso $ii$ considera $n$ fija y realiza inducción sobre $m$.

Más Adelante

Ahora que ya estamos más familiarizados con las pruebas por inducción, en la siguiente nota continuaremos usando el quinto Axioma de Peano para realizar demostraciones y probaremos de esta forma las propiedades de la suma y el producto de los números naturales.

Enlaces relacionados.

Página principal del curso.

Nota anterior. Nota 17. El orden en los números naturales.

Nota siguiente. Nota 18b. Demostraciones por inducción de las propiedades de las operaciones de los números naturales.