Haremos uso de la propiedad arquimediana para resolver problemas de análisis matemático

La propiedad Arquimediana es una característica fundamental de los números reales y es uno de esos conceptos que aparecen muy pronto en los cursos de Análisis Matemático. El objetivo de este post es ayudar a los estudiantes o entusiastas que se enfrentan a este concepto por primera vez, ejemplificando su uso para resolver problemas. En este caso, he seleccionado dos ejercicios del libro de Understanding Analysis de Abbot.

Lo primero que hacer es enunciar la formulación de la propiedad arquimediana que nos da el libro antes citado.

  1. Dado cualquier número \(x\in \mathbb{R}\), existe un \(n\in N\) que satisface que \(n > x\).
  2. Dado cualquier número real \(y > 0\), existe \(n\in N\) que satisface que \(\frac{1}{n} < y\)

Ahora sí podemos pasar a los problemas.

Demostración. Para mostrar que \(0\) es un ínfimo debemos verificar que:

  1. \(0\) es una cota inferior y
  2. \(0\) es la máxima cota inferior.

Como \(n\in \mathbb{N}\) es claro que \(0\leq\frac{1}{n}\) para todo \(n\). Por lo que \(0\) es una cota inferior. Ahora queremos ver que \(x\leq0\). Por contradicción supongamos que \(x>0\), entonces por la propiedad Arquimediana existe \(n_0\in\mathbb{N}\) tal que \(1/n_{0}\leq x\). Pero \(1/n_{0}\in \{1/n:n\in\mathbb{N}\}\). Entonces \(x\) no es una cota inferior. Hemos llegado a una contradicción. Por lo que \(x\leq0\). Que es lo que queríamos demostrar.

Demostración. Asumamos por contradicción que \[x\in \bigcap_{n=1}^{\infty}(0,1/n)\] Entonces para todo \(n\in\mathbb{N}\): \[0< x <1/n\] Pero como \(x>0\), por la propiedad arquimediana sabemos que existe un \(N\in \mathbb{N}\) tal que \((1/N) < x \). Pero esto significa que \(x\notin (0, 1/N)\). Lo cual contradice que \(x\in(0, 1/n)\) para todo \(n\). Por lo tanto, no puede existir un elemento que pertenezca a la intersección.