Archivo de la categoría: Matemáticas

Posts de matemáticas, la ciencia más cercana a las artes.

Álgebra Superior II: Algoritmo de la división en los enteros

Por Ana Ofelia Negrete Fernández

Introducción

Gracias a todo lo trabajado con anterioridad y en particular a la entrada anterior de inmersión de los naturales en los enteros, ya podemos pensar al conjunto de enteros como el conjunto $\mathbb{Z}=\{\ldots,-2,-1,0,1,2,\ldots\}$. Además, dentro de esta estructura tenemos operaciones de suma, resta y producto. Sin embargo, aún no tenemos una operación de «división». Hay dos caminos que podemos seguir. Uno es algo parecido a lo que hicimos para tener una operación de resta: podemos construir ciertas clases de equivalencia sobre parejas de enteros, definir operaciones, orden, etcétera. Esto es lo que se hace para construir el conjunto $\mathbb{Q}$ de números racionales, del cual hablaremos más adelante. Otro camino es quedarnos en $\mathbb{Z}$ e intentar decir todo lo que podamos, aunque no tengamos una operación de división. Eso es lo que haremos ahora mediante lo que se conoce como el algoritmo de la división.

Por ejemplo, si tenemos los números $-20$ y $5$, entonces sí «podemos hacer la división» de manera exacta. Dicho de otra forma, sí existe un entero $k$ tal que $-20=5k$. Ese entero es $k=-4$. Sin embargo, si tenemos los números $20$ y $3$ no podemos hacer la división, en el sentido de que no existe un entero $k$ tal que $20=3k$. Sin embargo, sí podemos lograr que $3k$ quede muy cerca de $20$. Por ejemplo, podemos escribir $20=3\cdot 6 + 2$, es decir, el $20$ se queda únicamente a dos unidades de tres veces un entero.

Lo que nos dice el algoritmo de la división es que dados dos enteros $a$ y $b$, siempre sucederá que $a$ puede ser escrito como $b$ veces un entero, más un residuo «pequeño» en términos de $b$. También nos dice que esta forma de escribir a $a$ será única.

La intuición del algoritmo de la división

Lo que nos permite hacer el algoritmo de la división es saber «cuántas veces cabe un entero en otro». En general, vamos a poder escribir $a=qb+r$ y esto querrá decir que «$b$ cabe $q$ veces en $a$ y sobran $r$». Lo que nos gustaría es hacer esto de manera que sobre lo menos posible.

Un ejemplo sencillo sería el siguiente. Tomemos $a=7$ y $b=2$. Si nos preguntáramos: ¿cuántos equipos de $2$ personas se necesitan para repartir a $7$ personas?, una posible respuesta sería: podemos formar $2$ equipos de dos personas cada uno y dejar fuera a $3$ personas. Esto se escribiría como $7=2\cdot 2 + 3$. Sin embargo, una mejor respuesta (y la que deja a menos personas fuera) es la siguiente: podemos formar $3$ equipos de dos personas cada uno, y dejar a alguien fuera. Esto corresponde algebraicamente a la igualdad $7=3\cdot 2 + 1$. Esta forma de escribir al $7$ es mejor pues el residuo es más pequeño.

Hay algunos casos que suenan un poco raros. Por ejemplo, tomemos $a = 2$, $b = 3$. Podría parecer que la división de $2$ entre $3$ da cero pues «el $3$ el mayor que el $2$ y no hay modo de que $3$ quepa en $2$». Esto es cierto: $3$ cabe cero veces en $2$. Pero hay un residuo que no se ha mencionado, que en este caso es $2$. La forma de escribir esto algebraicamente será $2=3\cdot 0 + 2$. Aquí el $0$ quiere decir que «el $3$ cabe cero veces en el $2$» y el $2$ de la derecha quiere decir que «sobran $2$». Si lo pensamos como equipos, no nos alcanzaría para crear ni un sólo equipo de $3$ personas teniendo sólo $2$.

Otro caso extraño es cuando tenemos números negativos. Por ejemplo, si $a=-7$ y $b=3$ entonces la forma en la que queremos expresar a $a$ es como sigue: $-7=(-3)\cdot 3 + 2$. Lo hacemos de esta manera pues siempre querremos que el residuo que queda sea positivo. Y de entre los residuos que se pueden obtener, lo mejor es que sobren únicamente $2$.

Resulta que la cantidad que sobra siempre se puede garantizar que sea «chica». Si estamos repartiendo $a$ en cachos de tamaño $b$, siempre podremos garantizar que lo que sobra esté entre $0$ y $|b|-1$. En símbolos, el algoritmo de la división dice que dados $a, b \in \mathbb{Z}$, con $b\neq 0$, es posible encontrar $q$ y $r$ únicos, tales que $a = bq + r,$ con $0 \leq r < |b|$. A $q$ se le llama el cociente y a $r$ le llamamos el residuo.

Que no espante el valor absoluto que se le añade a la $b$. Aún no hemos definido qué es, pero lo explicaremos un poco más abajo. Sin embargo, antes de enunciar y demostrar el teorema daremos un ejemplo con números un poco más grandes y su intuición numérica.

Otro ejemplo para entender el algoritmo de la división en $\mathbb{Z}$

Comencemos planteando el problema para $a=3531$ y $b=8$. Es decir, queremos encontrar $q$ y $r$ enteros tales que $3531 = 8q + r$, donde además $0 \leq r < 8$. Ya que $r$ debe ser un número muy pequeño entre $0$ y $8$, podemos ir dando valores a $r$ hasta que $3531-r$ se pueda escribir como $8$ veces un entero.

Si $r = 0$, habríamos de verificar si $3531$ se puede escribir como $8$ veces un entero. Nuestra intuición nos dice que esto no debería poderse, pues $3531$ es un número impar, pero $8$ veces un entero siempre será un número par.

Si $r = 1$, entonces querríamos ver si $8q = 3530$. Pero esto tampoco se puede pues con $q=441$ tenemos $8q=3528<3530$ y con $q=442$ tenemos $8q=3536>3530$ y entonces ya se pasa. Si $r = 2$, buscaríamos si $8q = 3529$, pero de nuevo este es un número impar.

Finalmente, si $r = 3$, entonces queremos ver si se puede lograr $3528= 8q$. Esto sí se puede: se toma $q=441$. Así, hemos logrado determinar que con $q = 441$, $r = 3$ se cumple que $3531 = 8q + r$, con lo que terminamos el problema.

Geométricamente, esto significa que $3531$, en la recta de los números enteros, estará situado entre números que sean $8$ veces un entero, a saber, $8\cdot 441$ y $8\cdot 442$:

$$ \ldots < 8\cdot 441 < 3531 < 8\cdot 442 < \ldots \text{.}$$

Más precisamente, como $3531$ es un entero positivo, el problema consistió en encontrar el entero que sea $8$ veces un entero más cercano por la izquierda y añadir $3$ unidades. Esto también lo podemos enunciar como que «$3531$ está a $3$ unidades a la derecha de un número que es $8$ veces un entero»:

$$ 8\cdot 441 < 8\cdot 441 + 1 < 8\cdot 441 +2 < 3531 < 8\cdot 441 +4 < 8\cdot 441 +5 < 8\cdot 441 +6 < 8\cdot 441 +7 < 8\cdot 442 \text{.}$$

En realidad esto funciona sin importar los valores de $a$ y $b$. Dado un entero $b$, podemos poner los enteros de la forma $mb$ en la recta numérica y siempre podremos situar al entero $a$ entre dos de ellos:

$$qb \leq a < (q+1)b, \qquad q\in \mathbb{Z}.$$

Si $b>0$, los múltiplos de $b$ en la recta numérica se verían así:

$$\ldots -4b, -3b, -2b, -b, 0, b, 2b, 3b, 4b, \ldots $$

De este modo, $q$ sería el mayor múltiplo de $b$ más cercano a $a$, sin excederse de $a$.

Enunciado y demostración del algoritmo de la división en $\mathbb{Z}$

Para poder enunciar el algoritmo de la división sin importar el signo de $a$ y $b$, debemos introducir un símbolo adicional.

Definición. Si $b \in \mathbb{Z}$, definimos el valor absoluto de $b$, denotado por $|b|$, como sigue: $$|b| = \left\lbrace \begin{matrix} b & \text{si $b\geq 0$}\\ -b & \text{si $ b < 0$} \end{matrix}\right.$$

En el algoritmo de la división nos darán dos números enteros $a$ y $b$. Para la restricción $0 \leq r \leq |b|$, sucederá que, no importa si $b$ sea un número positivo o negativo, nosotros nos fijaremos en el número siempre positivo que resulta de aplicarle valor absoluto a $b$. El resultado dice lo siguiente.

Teorema. Sean $a$ y $b$ en $\mathbb{Z}$ con $b\neq 0$. Entonces existen únicos enteros $q$ y $r$ enteros únicos tales que $$ a = qb + r$$ y $0 \leq r < |b|$.

Para la demostración del algoritmo de la división, necesitaremos el principio del buen orden. Como recordatorio, dice que todo subconjunto no vacío de $\mathbb{N}$ tiene un elemento mínimo.

Demostración. Primero hay que demostrar que siempre existen $q$ y $r$ enteros que satisfacen las condiciones que queremos. Vamos a suponer que $b>0$. El caso $b<0$ es muy parecido y quedará como tarea moral.

Lo que haremos es considerar al conjunto $S$ de todos los elementos de la forma $a-tb$ en donde $t$ es un entero, y tales que sean mayores o iguales a cero. Primero veremos que $S$ en efecto es un conjunto no vacío.

  • Si $a\geq 0$, tomamos $t=0$ y obtenemos la expresión $a-tb=a\geq 0$.
  • Si $a<0$, tomamos $t=a$ y obtenemos $a-tb=a-ab=a(1-b)$. Como $b>0$, entonces $b\geq 1$ y por lo tanto $(1-b)\leq 0$. Como $a<0$, obtenemos $a(1-b)\geq 0$, como queríamos.

Como $S$ es un conjunto no vacío de naturales, debe tener un elemento mínimo, al que le llamaremos $r$. Como $r$ está en $S$, obtenemos que $r=a-qb$ para algún entero $q$. Esto es un buen primer paso, pues nos muestra que $a=qb+r$. Sin embargo, todavía nos falta demostrar la importante desigualdad $0\leq r < |b|$. Como $b>0$, debemos mostrar $0\leq r < b$. Como $r$ está en $S$, obtenemos de manera inmediata que $r\geq 0$.

Sólo nos falta mostrar que $r<b$. Supongamos, con el fin de encontrar una contradicción, que $r\geq b$. Si este fuera el caso, sucedería que $r-b\geq 0$ además tendríamos la siguiente cadena de igualdades: $$r-b=a-tb-b=a-(t+1)b.$$

Esto lo que nos diría es que $r-b$ también está en $S$. ¡Pero eso es una contradicción!. Por construcción, $r$ era el menor elemento de $S$ y $r-b$ es un número menor que $r$ y que también está en $S$. Esta contradicción salió de suponer que $r\geq b$, así que en realidad debe pasar $r<b$, como queríamos.

Con esto queda demostrada la existencia de los enteros $q$ y $r$, tales que $a = bq + r$, con $0 \leq r < b$. Falta ver la unicidad. Supongamos que existen $q’$ y $r’$ enteros que también cumplen $$a = bq’ + r’$$ con $0\leq r’ < b$.

Demostramos primero que $r = r’$. Al hacer la resta $r-r’$ por un lado notamos que como mucho, puede valer $(b-1)-0=b-1$, lo cual pasa cuando $r=b-1$ y $r’=0$. Así mismo, por lo menos debe valer $0-(b-1)=-b+1$, lo cual sucede cuando $r=0$ y $r’=b-1$. Pero esta resta también se puede escribir de la siguiente manera: $$r-r’=(a-qb)-(a-q’b)=(q’-q)b.$

El único número de la forma $bk$ en $\{-b+1,-b+2,\ldots,0,\ldots,b-2,b-2\}$ es el entero $0$, pues justo no alcanza para llegar a $b$ ni a $-b$. De esta forma, $r-r’=0$, es decir $r=r’$. Y de aquí, obtenemos que $(q’-q)b=r-r’=0$. Como $b\neq 0$, obtenemos $q’-q=0$ y por lo tanto $q’=q$. Esto termina la demostración de la unicidad.

$\square$

Quizás el uso del principio del buen orden de la impresión de que la demostración anterior es «muy sofisticada». En realidad, esto no es así. Simplemente es la forma en la que se formaliza una idea muy intuitiva: si el residuo queda mayor a $b$, entonces todavía le podemos «transferir» un sumando $b$ de $r$ a $qb$. El principio del buen orden simplemente nos garantiza que en algún momento este proceso de «transferir» sumandos $b$ debe de concluir.

Más adelante…

Cuando aplicamos el algoritmo de la división nos puede pasar un caso muy especial: que $r$ sea igual a cero. En otras palabras, en este caso podemos escribir $a=qb$ y por lo tanto $b$ cabe en $a$ «de manera exacta». Este caso es muy interesante y amerita un profundo estudio. Cuando esto sucede, decimos que $a$ es múltiplo de $b$, o bien que $b$ divide a $a$. En la siguiente entrada estudiaremos con más detalle la relación de divisibilidad en $\mathbb{Z}$. Un poco más adelante hablaremos de los ideales de $\mathbb{Z}$, que son un tipo de subconjuntos fuertemente relacionados con la noción de divisibilidad.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  1. Encuentra $q$ y $r$ enteros tales que $-1873 = 31q + r$ y $0\leq r < 31$.
  2. Demuestra las siguientes propiedades de la función valor absoluto de $\mathbb{Z}$:
    • $|a|\geq 0$ para cualquier entero $a$.
    • $|ab|=|a||b|$ para cualesquiera enteros $a$ y $b$.
    • $|a+b|\leq |a|+|b|$ para cualesquiera enteros $a$ y $b$.
  3. En general, ¿cómo se calcula $q$, para $a<0$? ¿y para $b<0$? Completa los detalles de la demostración del algoritmo de la división para cuando $b<0$.
  4. Encuentra un número que al dividirse entre $2$ deje residuo $1$, que al dividirse entre $3$ deje residuo $2$ y que al dividirse entre $4$ deje residuo $3$.
  5. Demuestra que cualquier entero se puede escribir de la forma $3q+r$ en donde $r$ es $-1$, $0$ ó $1$.

Entradas relacionadas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Álgebra Superior II: Inmersión de $\mathbb{N}$ en $\mathbb{Z}$

Por Ana Ofelia Negrete Fernández

Introducción

Desde la educación básica pensamos al conjunto de los números enteros como aquél que está conformado por los naturales, sus negativos y el cero: $$\mathbb{Z} = \{ \ldots -3, -2, -1, 0, 1, 2, 3, \ldots \} .$$ Sin embargo, para poder fundamentar nuestra construcción, hasta ahora tenemos que el conjunto $\mathbb{Z}$ consiste por definición de ciertas clases de equivalencia de una relación en $\mathbb{N}\times \mathbb{N}$. ¡Observa que ni siquiera $\mathbb{N}$ es un subconjunto de $\mathbb{Z}$ a partir de esta definición! ¿Cómo le hacemos para que estos dos puntos de vista coincidan?

En esta entrada veremos dos cosas muy importantes que nos permitirán unificar ambas ideas. Lo primero que haremos es ver que, en efecto, podemos pensar que $\mathbb{N}$ «es un subconjunto» de $\mathbb{Z}$. Esto lo ponemos entre comillas pues en realidad lo que demostraremos es que hay una copia de $\mathbb{N}$ dentro de $\mathbb{Z}$, con toda la estructura que tenía $\mathbb{N}$ originalmente: sus operaciones, sus identidades, su orden.

Después de esto, nos enfocaremos en ver que $\mathbb{Z}$ consiste exactamente de esta copia y de sus inversos aditivos. Así, habremos formalizado que $\mathbb{Z}$ consiste exactamente de los naturales, sus inversos aditivos y ningún otro elemento.

Inmersión de los naturales en los enteros

En la entrada anterior hablamos acerca del orden en $\mathbb{Z}$. Para ello hablamos del conjunto de enteros positivos $P$. También definimos las relaciones $<$ y $\leq$. En un sentido bastante formal, los enteros mayores o iguales a cero son exactamente los números naturales. La manera en la que enunciamos este resultado es la siguiente.

Teorema. Existe una función biyectiva $\gamma:\mathbb{N}\to P\cup \{\overline{(0,0)}\}$ que preserva las operaciones de suma, producto, el inverso aditivo, el inverso multiplicativo y el orden. Esta función está dada por $\gamma(n)=\overline{(n,0)}$.

Una vez que demostremos esto, la imagen $\gamma(\mathbb{N})$ será exactamente la «copia» de los naturales que vive en los enteros y que precisamente tiene todas las propiedades algebraicas de los naturales que nos interesaban.

Para hacer la demostración de este teorema, probaremos el resultado poco a poco, a través de varios lemas.

Lema 1. La función $\gamma$ está bien definida y es biyectiva.

Demostración. La función $\gamma$ está bien definida pues las clases del estilo $\overline{(n,0)}$ siempre están en $P\cup \{\overline{(0,0)}\}$: si $n=0$, entonces obtenemos la clase $\overline{(0,0)}$ y si $n\neq 0$, entonces $n>0$, lo cual justifica que $\overline{(n,0)}$ es un entero positivo, es decir, en $P$.

Veamos que la función $\gamma$ es biyectiva. Para ver que es inyectiva tomamos dos naturales $m$ y $n$ tales que $\gamma(m)=\gamma(n)$, es decir, tales que $\overline{(m,0)}=\overline{(n,0)}$. Esto quiere decir que $m+0=n+0$, pero entonces $m=n$. Para ver que es suprayectiva, ya sabemos que tomemos una clase $\overline{(a,b)}$ en $P\cup \{\overline{(0,0)}\}$. Por lo visto en la entrada anterior, esto nos dice que $a\geq b$, pero entonces existe un natural $k$ tal que $a=b+k$, de modo que $a+0=b+k$ y por lo tanto $\overline{(a,b)}=\overline{(k,0)}$. Con esto concluimos que $$\gamma(k)=\overline{(k,0)}=\overline{(a,b)}.$$

$\square$

Observa que, sin embargo, no sucede que $\gamma(\mathbb{N})$ sea todo $\mathbb{Z}$. Es decir, hay enteros diferentes de las clases $\overline{(n,0)}$, por ejemplo, el $\overline{(0,1)}$. Se puede verificar que la imagen de $\gamma$ cubre a los enteros no negativos y sólo a esos.

Regresando al enunciado del teorema, lo que veremos ahora es que $\gamma$ respeta las operaciones de suma y producto, así como sus respectivas identidades.

Lema 2. Para cualesquiera naturales $m$ y $n$ se cumple que $$\gamma(m)+\gamma(n)=\gamma(m+n)$$ y que $$\gamma(m)\gamma(n)=\gamma(mn).$$ Además, $\gamma(0)$ es la identidad aditiva en $\mathbb{Z}$ y $\gamma(1)$ es la identidad multiplicativa en $\mathbb{Z}$.

Demostración. Basta usar la definición de $\gamma$ y de la suma en $\mathbb{Z}$:
\begin{align*}
\gamma (m)+\gamma(n)&=\overline{(m,0)}+\overline{(n,0)}\\
&= \overline{(m+n,0)}\\
&=\gamma{m+n}.
\end{align*}

De modo similar, para el producto usamos la definición de $\gamma$ y la del producto en $\mathbb{Z}$:

\begin{align*}
\gamma (m)\gamma(n)&=\overline{(m,0)}\overline{(n,0)}\\
&= \overline{(mn+0\cdot 0,m\cdot 0 + 0 \cdot n)}\\
&= \overline{(mn,0)}\\
&=\gamma{mn}.
\end{align*}

La parte de las identidades es sencilla de hacer y queda como tarea moral.

$\square$

Ya vimos que $\gamma$ respeta las operaciones. Ahora veamos que también respeta el orden.

Lema 3. Para cualesquiera naturales $m$ y $n$, sucede que $m < n$ si y sólo si $\gamma(m) < \gamma(n)$.

Demostración. Por definición de $\gamma$, tenemos que $\gamma(m)<\gamma(n)$ si y sólo si $\overline{(m,0)}<\overline{(n,0)}$. En la entrada anterior vimos que esto sucede si y sólo si en $\mathbb{N}$ tenemos que $m+0<n+0$. Pero esto es justo $m<n$.

$\square $

Los lemas 1, 2 y 3 conforman la demostración del teorema de esta sección.

Caracterización de los enteros

En vista del teorema de la sección anterior, dentro de $\mathbb{Z}$ hay metida una copia de $\mathbb{N}$. ¿Cuáles son los otros elementos de $\mathbb{Z}$? ¿Hay muchos más enteros que eso? La respuesta es que no. Para acabar de tener a todos los elementos de $\mathbb{Z}$ basta con tomar esta copia de los enteros y considerar a sus inversos aditivos.

Proposición. Para cualquier entero $\overline{(a,b)}$, tenemos que sucede una y exactamente una de las afirmaciones siguientes:

  • $\overline{(a,b)}=\overline{(0,0)}$.
  • $\overline{(a,b)}=\overline{(n,0)}$ para algún natural $n\neq 0$.
  • $\overline{(a,b)}=\overline{(0,n)}$ para algún natural $n\neq 0$.

Demostración. Por el principio de tricotomía en $\mathbb{N}$, sabemos que se cumple una y exactamente una de las afirmaciones siguientes:

  • $a=b$
  • $a>b$
  • $a<b$

Si pasa la primera, entonces $\overline{(a,b)}=\overline{(0,0)}$. Si pasa la segunda, es porque existe un natural $n\neq 0$ tal que $a=b+n$, pero entonces $a+0=b+n$ y así $\overline{(a,b)}=\overline{(n,0)}$. Si pasa la tercera, es porque existe un natural $n,0$ tal que $a+n=b=b+0$, y entonces $\overline{(a,b)}=\overline{(0,n)}$.

De esta manera, se ve que siempre se cumple al menos una de las afirmaciones del enunciado. Ver que se cumple a lo más una es sencillo y queda como tarea moral.

$\square$

Siguiendo la demostración anterior con cuidado, nos damos cuenta que los casos corresponden precisamente al entero cero, a los positivos y a los negativos. La proposición anterior es una manera de ilustrar, en particular, que hay que hay el mismo número de números naturales positivos como números enteros negativos: a cada uno de ellos le podemos asociar (de manera biyectiva), un natural. Otra forma de dar esta biyección es mandar el entero positivo $\overline{(n,0)}$ al entero negativo $\overline{(0,n)}$, que es precisamente su inverso aditivo.

Re-etiquetando a los enteros

Estamos listos para abandonar la notación de parejas y clases de equivalencia. En vista de los resultados anteriores, cualquier entero positivo $\overline{(a,b)}$ es el mismo que un entero de la forma $\overline{(n,0)}$. Y los enteros de esta forma justo conforman una copia de $\mathbb{N}$ con toda la estructura algebraica que nos interesa. Así, ya nunca más tenemos que llamar a $\overline{(a,b)}$ con este nombre: basta simplemente llamarlo $n$.

Si tenemos un entero de la forma $\overline{(a,b)}$ con $a=b$, entonces simplemente lo llamaremos $0$. Y finalmente, si el entero $\overline{(a,b)}$ es negativo, podemos escribirlo de la forma $\overline{(0,n)}$ y en vista de lo anterior simplemente lo llamaremos $-n$. Todo esto funciona bien, porque también sabemos que justo $\overline{(n,0)}$ y $\overline{(0,n)}$ son inversos aditivos entre sí.

Pero, ¿cómo sabremos si al usar el símbolo $1$ nos estamos refiriendo al natural $\{\emptyset\}$ o al entero $\overline{(\{\emptyset\},\emptyset)}$? En realidad ya no es relevante, pues tenemos la total garantía de que los enteros no negativos se comportan exactamente como $\mathbb{N}$.

De esta manera, $$\mathbb{Z} = \{ \ldots -3, -2, -1, 0, 1, 2, 3, \ldots \}$$ y además tenemos la total garantía de que los enteros no negativos se comportan exactamente como los naturales.

Más adelante…

Después de liberar la gran carga que teníamos de usar la notación de parejas y de relaciones de equivalencia, ahora ya podemos usar a los enteros tal y como los conocíamos desde educación básica: como el cero, los enteros que no son cero, y sus negativos. Además, gracias a todo lo que demostramos, ya podemos utilizar las propiedades de la suma, el producto y el orden con la confianza de que están bien fundamentadas.

Lo que sigue es estudiar con más profundidad al conjunto $\mathbb{Z}$. Aunque no haya propiamente «divisiones exactas» en este conjunto, sí podemos preguntarnos qué sucede cuando dividimos un entero por otro, y cuánto queda. Esto lleva a las nociones de divisibilidad y residuos, que a su vez llevan a áreas muy interesantes de las matemáticas como el álgebra moderna y la teoría de números.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  1. Muestra que en efecto no existe ningún natural $m$ tal que $\gamma(m)=\overline{(0,1)}$.
  2. Verifica que $\gamma(0)$ es la identidad aditiva de $\mathbb{Z}$ y $\gamma(1)$ es su identidad multiplicativa.
  3. Explica por qué para un entero $\overline{(a,b)}$ no puede suceder más de una de las siguientes afirmaciones:
    • $\overline{(a,b)}=\overline{(0,0)}$.
    • $\overline{(a,b)}=\overline{(n,0)}$ para algún natural $n\neq 0$.
    • $\overline{(a,b)}=\overline{(0,n)}$ para algún natural $n\neq 0$.
  4. La función $\gamma$ no es una biyección entre $\mathbb{N}$ y $\mathbb{Z}$. Pero sí existen biyecciones entre estos dos conjuntos. Construye una y demuestra que en efecto es una biyección.
  5. Da una biyección que muestre que el conjunto de los enteros no negativos pares, $\{0, 2, 4, 6, \ldots\}$ y el conjunto de los enteros no negativos positivos, $\{ 0, 1, 2, 3, \ldots \}$ tienen la misma cardinalidad. ¿Será posible construir la biyección de modo que se preserve la operación de suma? ¿Será posible construirla de modo que se preserve la operación de producto?

Entradas relacionadas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Ecuaciones Diferenciales l: Ecuaciones diferenciales no lineales de primer orden – Ecuaciones separables y homogéneas

Por Omar González Franco

La esencia de las matemáticas reside en su libertad.
– Georg Cantor

Introducción

Hemos dado inicio con el desarrollo de métodos de resolución de ecuaciones diferenciales. Hasta este momento sólo sabemos resolver ecuaciones lineales homogéneas y no homogéneas de primer orden. En esta entrada estudiaremos el caso no lineal.

Estudiaremos dos tipos de ecuaciones diferenciales no lineales de primer orden conocidas como ecuaciones diferenciales separables y ecuaciones diferenciales homogéneas. Cabe mencionar que las ecuaciones no lineales homogéneas que estudiaremos en esta entrada no tienen que ver con las ecuaciones homogéneas que estudiamos con anterioridad. En este caso el término homogéneo hace referencia a una propiedad que satisfacen las ecuaciones no lineales.

Comencemos con las ecuaciones diferenciales separables.

Ecuaciones diferenciales separables

Inmediatamente nos damos cuenta que es una ecuación diferencial no lineal debido a que aparece una función dependiente de la variable dependiente $y$.

Veamos cómo encontrar la solución general de este tipo de ecuaciones.

Solución a ecuaciones separables

Es conveniente definir la función

$$h(y) = \dfrac{1}{f(y)} \label{3} \tag{3}$$

de tal manera que la ecuación (\ref{1}) se pueda escribir de la siguiente forma.

$$\dfrac{dy}{dx} = \dfrac{g(x)}{f(y)} \label{4} \tag{4}$$

Esta ecuación la podemos reescribir como

$$f(y) \dfrac{dy}{dx} = g(x) \label{5} \tag{5}$$

Notemos que en el lado derecho de la igualdad tenemos la función que depende de la variable independiente $x$, mientras que en el lado izquierdo tenemos la función que depende de la variable dependiente $y$, en esta situación decimos que hemos separado a la ecuación diferencial.

Es común encontrar en la literatura que la ecuación (\ref{5}) se escribe como

$$g(x) dx = f(y) dy \label{6} \tag{6}$$

Esta es la forma diferencial de la ecuación (\ref{4}), es una notación informal pero nos permite visualizar que hemos sido capaz de separar a las variables, el lado izquierdo sólo depende de $x$ y el lado derecho sólo depende de $y$.

Podemos integrar ambos lados de la ecuación. Si consideramos la ecuación en la forma (\ref{5}), entonces integramos ambos lados con respecto a la variable $x$ y si consideramos la ecuación en la forma (\ref{6}) integramos con respecto a la variable correspondiente.

\begin{align*}
\int f(y) \dfrac{dy}{dx} dx &= \int g(x) dx \\
\int f(y) dy &= \int g(x) dx
\end{align*}

Sólo es necesario que las antiderivadas

$$F(y) = \int f(y) dy \label{7} \tag{7}$$

y

$$G(x) = \int g(x) dx \label{8} \tag{8}$$

existan y puedan resolverse. Una vez resueltas las integrales obtendremos una familia uniparamétrica de soluciones que usualmente se expresa de forma implícita.

Método de separación de variables

De acuerdo a lo anterior, el algoritmo que se recomienda seguir para resolver ecuaciones diferenciales separables es el siguiente.

  1. Dada una ecuación diferencial no lineal de primer orden, el primer paso es identificar si es posible que podamos determinar una función $g = g(x)$ que sólo dependa de la variable independiente $x$ y una función $f = f(y)$ que sólo dependa de la variable dependiente $y$, si esto es posible escribimos a la ecuación diferencial en la siguiente forma.

$$f(y) \dfrac{dy}{dx} = g(x)$$

  1. El segundo paso es integrar ambos lados de la ecuación con respecto a la variable $x$. En este caso debemos considerar en todo momento las constantes de integración.
  1. Al resolver la integral $\int f(y) dy$ obtendremos la solución $y(x)$ que estamos buscando, ya sea de forma implícita o explicita, ambas formas son válidas.

Realicemos un ejemplo en el que apliquemos este método.

Ejemplo: Resolver la ecuación diferencial

$$\dfrac{dy}{dx} e^{(y -x)} = x$$

con la condición inicial $y(0) = \ln(2)$.

Solución: El primer paso es determinar si la ecuación es separable, es decir, si podemos hallar las funciones $g(x)$ y $f(y)$. Vemos que

\begin{align*}
\dfrac{dy}{dx} e^{(y -x)} &= x \\
\dfrac{dy}{dx} e^{y} e^{-x} &= x \\
e^{y} \dfrac{dy}{dx} &= x e^{x}
\end{align*}

Ya logramos escribir a la ecuación en la forma (\ref{5}), de donde podemos establecer que

$$g(x) = x e^{x} \hspace{1cm} y \hspace{1cm} f(y) = e^{y}$$

Usando la notación diferencial podemos escribir a la ecuación como

$$e^{y} dy = x e^{x} dx$$

Integremos ambos lados de la ecuación ante la respectiva variable.

$$\int {e^{y} dy} = \int {x e^{x} dx}$$

Por un lado,

$$\int {e^{y} dy} = e^{y} + k_{1}$$

Por otro lado, para la integral de $x$ usemos integración por partes considerando $u(x) = x$ y $dv(x) = e^{x}$.

\begin{align*}
\int {x e^{x} dx} &= x e^{x} -\int{e^{x} dx} \\
&= x e^{x} -(e^{x} + k_{2})\\
&= x e^{x} -e^{x} -k_{2}
\end{align*}

Igualando ambos resultados obtenemos lo siguiente.

\begin{align*}
e^{y} + k_{1} &= x e^{x} -e^{x} -k_{2} \\
e^{y} &= x e^{x} -e^{x} -k_{2} -k_{1} \\
e^{y} &= x e^{x} -e^{x} + c
\end{align*}

En donde $c = -k_{2} -k_{1}$. Por lo tanto, la solución implícita es

$$e^{y} = x e^{x} -e^{x} + c$$

Para conocer la solución explícita sólo tomamos el logaritmo natural.

$$y(x) = \ln|x e^{x} -e^{x} + c|$$

Obtengamos la solución particular aplicando la condición inicial $y(0) = \ln(2)$.

\begin{align*}
y(0) &= \ln|0 e^{0} -e^{0} + c| = \ln(2) \\
y(0) &= \ln|0 -1 + c| = \ln(2)
\end{align*}

De donde,

$$\ln|c -1| = \ln(2)$$

Aplicando la exponencial en ambos lados, se tiene

$$c -1 = 2$$

De donde $c = 3$. Por lo tanto, la solución particular es

$$e^{y} = x e^{x} -e^{x} + 3$$

O bien,

$$y(x) = \ln| x e^{x} -e^{x} + 3|$$

$\square$

Este tipo de ecuaciones son muy sencillas de resolver, prácticamente se resuelven aplicando una integración directa.

Veamos ahora las ecuaciones diferenciales no lineales homogéneas, lo interesante de este tipo de ecuaciones es que si hacemos un cambio de variable adecuado las podremos reducir a una ecuación separable las cuales ya sabemos resolver.

Ecuaciones homogéneas

Recordemos que un polinomio homogéneo es aquel en el que todos los términos son del mismo grado, por ejemplo, el polinomio

$$x^{2}y^{2} -5xy^{3} + x^{4} -y^{4}$$

es un polinomio homogéneo de grado $4$ ya que la suma de los exponentes del primer término es $2 + 2 = 4$, del segundo término es $1 + 3 = 4$ y evidentemente el exponente de los dos últimos términos es $4$. En este sentido es que la ecuación (\ref{9}) se dice que es homogénea si se satisfacen las ecuaciones (\ref{10}) y (\ref{11}) conjuntamente.

Este tipo de ecuaciones se pueden reducir a la forma de una ecuación separable (\ref{5}) y aplicando el procedimiento anterior es como podremos determinar la solución de las ecuaciones diferenciales no lineales homogéneas.

Reducción de una ecuación homogénea a una de variables separables

La ecuación diferencial que intentamos resolver es de la forma

$M(x, y) dx + N(x, y) dy = 0$

Por definición se cumple que

$\dfrac{M(tx, ty)}{N(tx, ty)} = \dfrac{M(x, y)}{N(x, y)}$

Si se considera el valor $t = \dfrac{1}{x}$, la ecuación anterior queda como

$\dfrac{M(x, y)}{N(x, y)} = \dfrac{M(tx, ty)}{N(tx, ty)} = \dfrac{M \left( 1, \dfrac{y}{x} \right) }{N \left( 1, \dfrac{y}{x} \right) } = f \left( \dfrac{y}{x} \right)$

Consideremos el cambio de variable $y = xu$, con $u = u(x)$ una función de la variable independiente $x$ y derivable. Si derivamos la función $y(x)$ aplicando la regla de la cadena, obtenemos lo siguiente.

$$\dfrac{dy}{dx} = u \dfrac{dx}{dx} + x \dfrac{du}{dx} = u + x \dfrac{du}{dx} \label{12} \tag{12}$$

De (\ref{9}) notemos lo siguiente.

$$\dfrac{dy}{dx} = -\dfrac{M(x, y)}{N(x, y)} = -f \left( \dfrac{y}{x} \right) = -f(u)$$

es decir,

$$f(u) = -\dfrac{dy}{dx} \label{13} \tag{13}$$

Sustituyamos (\ref{13}) en el resultado (\ref{12}).

\begin{align*}
f(u) &= -\left( u + x \dfrac{du}{dx} \right) \\
f(u) &= -u -x \dfrac{du}{dx} \\
f(u) + u &= -x \dfrac{du}{dx} \\
-\dfrac{1}{x} (f(u) + u) &= \dfrac{du}{dx}
\end{align*}

De manera que

$$\dfrac{du}{dx} = \left( -\dfrac{1}{x} \right) \left( u + f(u) \right) \label{14} \tag{14}$$

Definamos las funciones

$$g(x) = -\dfrac{1}{x} \hspace{1cm} y \hspace{1cm} h(u) = u + f(u)$$

Entonces podemos escribir a la ecuación (\ref{14}) como

$$\dfrac{du}{dx} = g(x) h(u) \label{15} \tag{15}$$

Este resultado corresponde a la definición de una ecuación diferencial de variables separables. Si resolvemos esta ecuación usando el método de separación de variables habremos resuelto la ecuación homogénea.

Método de resolución de las ecuaciones diferenciales homogéneas

A continuación se establecen, como recomendación, los pasos a seguir para resolver una ecuación diferencial homogénea (\ref{9}).

  1. El primer paso es verificar que en efecto la ecuación sea homogénea, para ello verificamos que $M$ y $N$ sean del mismo grado, es decir, que se cumplan las relaciones (\ref{10}) y (\ref{11}) conjuntamente.
  1. Una vez que comprobemos que la ecuación es homogénea, reescribimos a la ecuación (\ref{9}) como
    $$M(x, y) + N(x, y) \dfrac{dy}{dx} = 0 \label{16} \tag{16}$$
  1. Hacemos el cambio de variable
    $$y = ux \hspace{1cm} y \hspace{1cm} \dfrac{dy}{dx} = u + x \dfrac{du}{dx} \label{17} \tag{17}$$
    Y sustituimos en la ecuación (\ref{16}).
  1. Una vez hecha la correspondiente sustitución podremos separar las variables reduciendo el problema a una ecuación de variables separables.

Realicemos un ejemplo de una ecuación diferencial no lineal homogénea.

Ejemplo: Verificar que la siguiente ecuación diferencial es homogénea, determinar su grado y resolver la ecuación.

$(x^{2} + y^{2}) dx -xy dy = 0$

Solución: De acuerdo a (\ref{9}) identificamos a las funciones $M$ y $N$ como

$$M(x, y) = x^{2} + y^{2} \hspace{1cm} y \hspace{1cm} N(x, y) = -xy$$

Para obtener el grado de la ecuación diferencial hagamos la sustitución $x$ por $tx$ y $y$ por $ty$. Por una lado,

$$M(tx, ty) = (tx)^{2} + (ty)^{2} = t^{2} (x^{2} + y^{2}) = t^{2} M(x, y)$$

Por otro lado,

$$N(tx, ty) = -(tx)(ty) = t^{2} (-xy) = t^{2} N(x, y)$$

Se cumple entonces que

$$M(tx, ty) = t^{2} M(x, y) \hspace{1cm} y \hspace{1cm} N(tx, ty) = t^{2} N(x, y)$$

Por lo tanto la ecuación sí es homogénea y el grado es $n = 2$. Reduzcamos la ecuación homogénea a una de variables separables y apliquemos el método correspondiente para resolverla.

De acuerdo al algoritmo, una vez que ya vimos que sí es homogénea, escribimos a la ecuación diferencial en la forma (\ref{16}).

$$(x^{2} + y^{2}) -(xy) \dfrac{dy}{dx} = 0$$

Hacemos el cambio de variable (\ref{17}) y sustituimos en la ecuación diferencial.

$$\left( x^{2} + (xu)^{2} \right) -x(xu) \left( u + x \dfrac{du}{dx} \right) = 0$$

Realicemos un poco de álgebra hasta reducirla a una ecuación de variables separables.

\begin{align*}
\left( x^{2} + (xu)^{2} \right) -x(xu) \left( u + x \dfrac{du}{dx} \right) &= 0 \\
x^{2} + x^{2} u^{2} -x^{2}u \left( u + x \dfrac{du}{dx} \right) &= 0 \\
x^{2} + x^{2} u^{2} -x^{2}u^{2} -x^{3}u \dfrac{du}{dx} &= 0 \\
x^{2} -x^{3}u \dfrac{du}{dx} &= 0 \\
x^{2} \left( 1 -xu \dfrac{du}{dx} \right) &= 0 \\
\end{align*}

Para $x \neq 0$, se tiene

\begin{align*}
1 -xu \dfrac{du}{dx} &= 0 \\
xu \dfrac{du}{dx} &= 1 \\
u \dfrac{du}{dx} &= \dfrac{1}{x} \\
\end{align*}

Ya logramos separar a las variables. Podemos escribir la última igualdad en la forma diferencial

$$u du = \dfrac{1}{x}dx$$

Integremos ambos lados de la ecuación sobre la variable correspondiente.

\begin{align*}
\int{u du} &= \int{\dfrac{dx}{x}} \\
\dfrac{u^{2}}{2} + k_{1} &= \ln|x| + k_{2} \\
\dfrac{u^{2}}{2} &= \ln|x| + k_{2} -k_{1} \\
u^{2} &= 2 \ln|x| + 2(k_{2} -k_{1}) \\
u^{2} &= 2 \ln|x| + c
\end{align*}

Donde $c = 2(k_{2} -k_{1})$, como $u = \dfrac{y}{x}$, sustituimos en el resultado anterior para regresar a las variables originales.

\begin{align*}
\left( \dfrac{y}{x} \right) ^{2} &= 2\ln|x| + c \\
\dfrac{y^{2}}{x^{2}} &= 2\ln|x| + c \\
y^{2} &= x^{2} (2\ln|x| + c)
\end{align*}

Por lo tanto, la solución implícita de la ecuación diferencial dada es

$$y^{2}(x) = x^{2} (2\ln|x| + c)$$

O bien, la solución explícita es

$$|y(x)| = x \left( \sqrt{2 \ln|x| + c} \right)$$

$\square$

Hasta aquí concluimos con esta entrada, en la siguiente continuaremos con un método más para resolver ecuaciones diferenciales no lineales de primer orden.

Tarea Moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

  1. Resolver las siguientes ecuaciones diferenciales separables.
  • $\dfrac{ds}{dt} = -\sin(3t)$
  • $\dfrac{dy}{dx} = \dfrac{y}{1 + x^{2}}$
  1. Resolver las siguientes ecuaciones diferenciales homogéneas.
  • $(x -y)dx + xdy = 0$
  • $(y^{2} +yx)dx -x^{2}dy = 0$
  1. Resolver los siguientes problemas con valores iniciales.
  • $\dfrac{dy}{dx} = e^{3x + 2y}$ $\hspace{1.7cm}$ con $\hspace{0.3cm}$ $y(0) = 0$
  • $\dfrac{ds}{dr} = \dfrac{\cos^{2}(r)}{s^{2}} $ $\hspace{1.3cm}$ con $\hspace{0.3cm}$ $s(\pi) = -1$
  • $xy \dfrac{dy}{dx} = y^{3} -x^{3}$ $\hspace{1cm}$ con $\hspace{0.3cm}$ $y(1) = 2$

Más adelante …

En esta entrada estudiamos dos tipos de ecuaciones diferenciales no lineales de primer orden, las separables y las homogéneas. En próximas entradas revisaremos las ecuaciones exactas, la ecuación de Bernoulli y la ecuación de Riccati.

Dedicaremos la siguiente entrada al estudio de las ecuaciones diferenciales exactas.

Entradas relacionadas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Ecuaciones Diferenciales I – Videos: Método de reducción de orden

Por Eduardo Vera Rosales

Introducción

En la entrada anterior estudiamos las propiedades más importantes que cumple el conjunto de soluciones a una ecuación lineal homogénea de segundo orden, que tienen la forma $$\frac{d^{2}y}{dt^{2}}+p(t)\frac{dy}{dt}+q(t)y=0.$$ Si encontramos dos soluciones $y_{1}(t)$, $y_{2}(t)$ tales que formen un conjunto fundamental en un mismo intervalo $I$, entonces $y(t)=c_{1}y_{1}(t)+c_{2}y_{2}(t)$ será la solución general a la ecuación diferencial en $I$.

A continuación, vamos a suponer que conocemos una solución $y_{1}(t)$ a la ecuación, y desarrollaremos un método, conocido como reducción de orden, que nos permitirá encontrar una segunda solución $y_{2}(t)$ de tal manera que $\{y_{1}(t), y_{2}(t)\}$ formen un conjunto fundamental de soluciones.

Reducción de orden

En el video desarrollamos de manera general el método de reducción de orden, dada una solución $y_{1}(t)$, y suponiendo que la solución general es de la forma $u(t)y_{1}(t)$ para cierta función $u$, y posteriormente aplicamos este método para resolver un ejemplo en particular.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero te servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

  • Prueba que si $y_{1}(t)$ es solución a la ecuación $$\frac{d^{2}y}{dt^{2}}+p(t)\frac{dy}{dt}+q(t)y=0$$ entonces $$y_{1} \int \frac{1}{y_{1}^{2}} e^{-\int p(t) \, dt} \, dt $$ también es solución a la ecuación.
  • Prueba que $$\{y_{1}, y_{1} \int \frac{1}{y_{1}^{2}} e^{-\int p(t) \, dt} \, dt \}$$ es un conjunto fundamental de soluciones a la ecuación $$\frac{d^{2}y}{dt^{2}}+p(t)\frac{dy}{dt}+q(t)y=0.$$
  • Encuentra la solución general a la ecuación diferencial $$\frac{d^{2}y}{dt^{2}}+2\frac{dy}{dt}+y=0$$ por el método de reducción de orden, si $y_{1}(t)=e^{-t}$ es una solución a la ecuación.
  • Encuentra la solución general a la ecuación diferencial $$\frac{d^{2}y}{dt^{2}}+16y=0$$ por el método de reducción de orden, si $y_{1}(t)=\cos{4t}$ es una solución a la ecuación.

Más adelante

En la próxima entrada continuaremos estudiando ecuaciones lineales homogéneas de segundo orden, en particular, estudiaremos el caso cuando las funciones $a_{i}(t)$, $i \in \{0,1,2\}$ en la ecuación $$a_{0}(t)\frac{d^{2}y}{dt^{2}}+a_{1}(t)\frac{dy}{dt}+a_{2}(t)y=0$$ son todas constantes. A este tipo de ecuaciones les llamamos ecuaciones lineales homogéneas de segundo orden con coeficientes constantes.

Entradas relacionadas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»

Cálculo Diferencial e Integral I: Continuidad de la función inversa

Por Juan Manuel Naranjo Jurado

Introducción

Esta entrada será la última referente a las funciones continuas y se hará el estudio de las condiciones necesarias para que, dada una función continua, su inversa también sea continua. Para lograr nuestro objetivo, haremos uso de los conceptos revisados en la entrada anterior e iniciaremos retomando la definición de intervalo y probaremos un teorema que nos permite caracterizarlos.

Intervalos

Anteriormente, se había dado la siguiente definición de intervalos.

Definición: Sean $a,b \in \r$. Definimos los siguientes intervalos en $\RR$ como sigue:

  • Intervalo cerrado
    \[
    [a,b]=\left\{x : a \leq x \leq b\right\}
    \]
  • Intervalo abierto
    \[
    (a,b)=\left\{x : a < x < b\right\}
    \]
  • Abierto por la izquierda / Cerrado por la derecha
    \[
    (a,b]=\left\{x : a < x \leq b\right\}
    \]
  • Abierto por la derecha / Cerrado por la izquierda
    \[
    [a,b)=\left\{x : a \leq x < b\right\}
    \]

Sea $a\in \r$. Para los intervalos que involucran al infinito tenemos las siguientes definiciones:

  • \[
    (-\infty ,a)=\left\{x : x < a \right\}
    \]
  • \[
    (-\infty ,a]=\left\{x : x \leq a \right\}
    \]
  • \[
    (a, \infty) =\left\{x : a < x\right\}
    \]
  • \[
    [a, \infty) =\left\{x : a \leq x\right\}
    \]
  • \[
    (- \infty, \infty)=\r
    \]

Ahora revisaremos un teorema que nos permite caracterizar a los intervalos y éste nos dice que si se toman cualesquiera dos puntos de un intervalo $A$, entonces el intervalo generado por tales puntos está contenido dentro de $A$.

Teorema. Si $A$ es un subconjunto de $\mathbb{R}$ que contiene al menos dos puntos y tiene la propiedad

$$\text{si } x, y \in A \quad \Rightarrow \quad [x,y] \subset A. \tag{1}$$

Entonces $A$ es un intervalo.

Demostración.

La demostración se divide en cuatro casos de acuerdo a si está o no acotado.

  • Caso 1: $A$ está acotado.
    Dado que $A$ está acotado y $A \neq \varnothing$, podemos definir el supremo y el ínfimo. Sean $a = infA$ y $b = supA.$ Entonces $A \subset [a,b]$. Nos enfocaremos en demostrar que $(a,b) \subset A$.

    Si $z \in (a,b)$, es decir, $a<z<b$, entonces $z$ no es cota inferior de $A$, por lo que existe $x \in A$ tal que $x<z$. De la misma forma, $z$ no es una cota superior de $A$, por lo que existe $y \in A$ tal que $z<y.$ Por lo tanto, $z \in [x,y]$ y por $(1)$ se tiene que $z \in A$. Puesto que $z$ es un elemento arbitrario de $(a,b)$, podemos concluir que $(a,b) \subset A$.

    Notemos que si $a \in A$ y $b \in A$, se tiene que $A= [a,b]$ pues $a$ y $b$ son el ínfimo y supremo respectivamente. Si $a \notin A$ y $b \notin A$, entonces $A = (a,b)$. Si $a \notin A$ y $b \in A$, entonces $A = (a,b]$. Finalmente, si $a \in A$ y $b \notin A$, entonces $A = [a,b)$.

  • Caso 2: $A$ está acotado superiormente pero no inferiormente.
    Definimos $b = supA$. Entonces $A \subset (- \infty, b]$. Veremos que $(- \infty, b) \subset A$.

    Si $z \in (- \infty, b)$, es decir $z<b$, entonces no es cota superior, por lo que existe $y \in A$ tal que $z < y$, además dado que $A$ no está acotado inferiormente, existe $x \in A$ tal que $x < z$. De esta forma, gracias a $(1)$ se tiene que $z \in [x,y] \subset A$. Dado que $z$ es un elemento arbitrario de $(- \infty, b)$, entonces $(-\infty, b) \subset A$.

    Notemos que si $b \in A$, entonces $A = (- \infty, b]$ y si $b \notin A$, entonces $A = (- \infty, b)$.

  • Caso 3: $A$ está acotado inferiormente pero no superiormente.
    La prueba es análoga al caso 2.

  • Caso 4: $A$ no está acotado inferiormente ni superiormente.
    La prueba es muy similar a la de los casos anteriores por lo cual se dejará como tarea moral.

$\square$

Notemos que el regreso también es cierto, es decir, si $A$ es un intervalo, entonces cumple $(1)$ y la demostración también quedará como tarea moral.

Continuidad de la función inversa

El siguiente teorema nos indica que una función continua mapea intervalos en intervalos.

Teorema (Preservación de intervalos). Sea $I$ un intervalo y sea $f: I \to \mathbb{R}$ continua en $I$. Entonces el conjunto $f(I)$ es un intervalo.

Demostración.

Sean $y_1$, $y_2 \in f(I)$ tal que $y_1 < y_2$, entonces existen los puntos $x_1$, $x_2$ tal que $y_1 = f(x_1)$ y $y_2 = f(x_2)$. Por el teorema del valor intermedio, se tiene que si $y \in [y_1,y_2]$, entonces existe $x \in I$ tal que $y = f(x) \in f(I)$. Por lo tanto, se tiene que $[y_1,y_2] \subset f(I)$ y por el teorema de caracterización de intervalos, se concluye que $f(I)$ es un intervalo.

$\square$

Ahora veremos que la monotonía también se preserva bajo la función inversa.

Proposición. Si $f: A \to \mathbb{R}$ es una función estrictamente creciente, entonces $f^{-1}: f(A) \to \mathbb{R}$ también es estrictamente creciente. Si $f$ es estrictamente decreciente, $f^{-1}$ también lo es.

Demostración.

Sea $f$ una función estrictamente creciente y sean $y_1$, $y_2 \in f(A)$ tal que $y_1<y_2$ y sean $x_1 = f^{-1}(y_1)$, $x_2 = f^{-1}(y_2)$.

Supongamos que $x_2 < x_1$, pero $f$ es creciente lo que implica que $y_2 = f(x_2) < f(x_1) = y_1$ lo cual es una contradicción pues $y_1<y_2$. Por lo tanto, $f^{-1}(y_1)=x_1 < x_2 = f^{-1}(y_2)$. Por lo tanto $f^{-1}$ es estrictamente creciente.

La prueba es análoga para el caso donde $f$ es estrictamente decreciente.

$\square$

Los últimos dos teoremas de la entrada hacen referencia a las condiciones que deben estar presentes para que la inversa de una función continua también sea continua.

Teorema. Si $I$ es un intervalo y $f: I \to \mathbb{R}$ es estrictamente monótona, entonces $f^{-1}$ es continua.

Demostración.

Por la proposición, anterior tenemos que $f^{-1}: f(I) \to \mathbb{R}$ también es estrictamente monótona y sabemos que $f(I)$ es un intervalo. Por el teorema revisado en la entrada anterior, concluimos que $f^{-1}$ también es continua.

$\square$

Teorema. Si $I$ es un intervalo y $f: I \to \mathbb{R}$ es continua e inyectiva, entonces $f^{-1}$ es continua.

Demostración.

Por lo revisado en la entrada anterior, sabemos que si $f$ es continua e inyectiva, entonces es estrictamente monótona y se sigue por el teorema anterior que $f^{-1}$ es continua.

$\square$

Más adelante…

En la siguiente entrada daremos inicio a una nueva unidad y entraremos a uno de los temas más famosos del cálculo: la derivada. Dentro de esta nueva unidad, veremos a profundidad la definición de derivada, así como su interpretación geométrica y sus propiedades. Una vez se conozcan los fundamentos teóricos, se verán aplicaciones que existen en diversos campos tales como la economía, la física, etc.

Tarea moral

A continuación hay algunos ejercicios para que practiques los conceptos vistos en esta entrada. Te será de mucha utilidad intentarlos para entender más la teoría vista.

  • Prueba el caso 4 para el teorema de preservación de intervalos.
  • Prueba que si $A$ es un intervalo con al menos dos puntos, entonces se cumple que
    $$\text{si } x, y \in A \quad \Rightarrow \quad [x,y] \subset A.$$
  • Sea $I$ un intervalo y sea $f: I \to \mathbb{R}$ una función inyectiva. Menciona qué relación existe entre las siguientes condiciones:
    • $f$ es continua.
    • $f(I)$ es un intervalo.
    • $f$ es estrictamente monótona.
    • $f^{-1}$ es continua.

Entradas relacionadas

Agradecimientos

Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522 «Hacia una modalidad a distancia de la Licenciatura en Matemáticas de la FC-UNAM – Etapa 2»