Saltar al contenido principal
LibreTexts Español

1.2: El conjunto \(\mathrm{R}\)

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

    ¿Qué son exactamente los números reales? Sabemos que \(5,-8 / 5, \sqrt{2}, \pi\), e, \(\ldots\) lo son, que los tres últimos no son racionales y no se pueden expresar sin utilizar infinitos decimales, que no se pueden escribir como una fracción. Se saben resolver algunas ecuaciones con coeficientes reales, trabajar con desigualdades... Se podría trabajar sólo con esta idea intuitiva, pero en matemáticas a veces la intuición engaña. Convendría tener una definición rigurosa del conjunto R de los números reales. Lo mas serio (pero muy largo) sería construir los reales a partir de los racionales. Para ahorrar tiempo, definiremos \(\mathbf{R}\) como un conjunto de objetos básicos que satisfacen unas propiedades dadas que tomaremos como axiomas (si se construyese \(\mathbf{R}\) estas propiedades serían teoremas que habría que demostrar). De ellas se podrían deducir el resto de propiedades que nos permiten hacer cálculos con reales (tampoco lo haremos (seguiría siendo demasiado largo), pero es interesante leer el Spivak para ver como se hace). Así pues, definimos a partir de las propiedades vistas para \(\mathbf{Q}\) :

    Axiomas del conjunto

    \(\mathbf{R}\) & \(\mathbf{R}\) es un conjunto que posee las propiedades 1\(), \ldots, 6)\) de cuerpo ordenado y además satisface el axioma del extremo superior 

    El último axioma (que vemos algo más adelante, pues exige alguna definición) distingue \(\mathbf{R}\) de \(\mathbf{Q}\)

    Gracias al orden que hay en \(\mathbf{R}\) tiene sentido la representación usual de \(\mathbf{R}\) como una línea recta, undefinedasociando a cada número real un punto de la recta. Es tan común que se utilizan indistintamente los términos 'conjunto de números reales' y 'recta real'; 'número real' y 'punto'.

    A partir exclusivamente de los axiomas se podrían demostrar todo el resto de propiedades de los números reales que se habrán utilizado en cursos anteriores. Repasamos sin demostrarlas algunas referentes a desigualdades, porque suele haber problemas en el trabajo con ellas:

    Teorema:

    \(a<b \Rightarrow a+c<b+c, a-c<b-c\) \(a<b, c<d \Rightarrow a+c<b+d, a-d<b-c\)
    \(a<b, c>0 \Rightarrow a c<b c, a / c<b / c\) \(a<b, c<d \Rightarrow a c<b d\), si \(a, b, c, d>0\)
    \(a<b, c<0 \Rightarrow a c>b c, a / c>b / c\) \(a / c<b / d \Leftrightarrow a d<b c\), si \(a, b, c, d>0\)
    \(1<a \Rightarrow a<a^{2} ; 0<a<1 \Rightarrow a>a^{2}\) \(a<b \Leftrightarrow 1 / a>1 / b, a^{2}<b^{2}, \sqrt{a}<\sqrt{b}\), si \(a, b>0\)

    Todas las desigualdades son válidas sustituyendo los \(<\) por \(\leq(\operatorname{menos} \operatorname{los}>0\) ó \(<0)\).

    [En estos apuntes (y como siempre se hace) \(\sqrt{a}\) representará siempre sólo la raíz positiva del número \(a \geq 0\); el otro número real cuyo cuadrado es ese número \(a\) se debe representar por \(-\sqrt{a}]\).

    Ej. Determinemos todos los reales \(x\) que satisfacen: \(x^{2}+\frac{2}{x}>3\)

    Si \(x=0\), el cociente no está definido. Si \(x \neq 0\), como es lícito sumar o restar a ambos lados, la desigualdad equivale a: \(x^{2}+\frac{2}{x}-3=\frac{x^{3}-3 x+2}{x}>0\). El cociente será positivo si y sólo tienen el mismo signo denominador y numerador. Para conocer el signo de éste necesitamos hallar sus raíces. Aunque esto es complicado en general, es claro aquí que \(x=1\) lo anula, y así, dividiendo por \((x-1)\), tenemos que \(x^{3}-3 x+2=(x-1)\left(x^{2}+x-2\right)=(x-1)^{2}(x+2)\). Como el numerador es estrictamente positivo si \(x>-2, x \neq 1\) y negativo si \(x<-2\), los \(x\) buscados son:

    clipboard_e930b9566aa0bac3eee5a5e704c6fe8a8.png
    \[\{x: x<-2 \text { ó } 0<x<1 \text { ó } x>1\} \] 

    Podríamos haber operado de otra forma, multiplicando ambos miembros por \(x\), pero teniendo siempre cuidado con que al multiplicar por números negativos las desigualdades se invierten.

    Si \(x>0\), la desigualdad equivale a \(x^{3}-3 x+2=(x-1)^{2}(x+2)>0 \rightarrow\) todo \(x>0\) con \(x \neq 1\).

    Si \(x<0\), cambia la desigualdad: \(x^{3}-3 x+2=(x-1)^{2}(x+2)<0 \rightarrow\) todo \(x<-2\).

    A cada \(x \in \mathbf{R}\) podemos asociar un real positivo \(|x|\), valor absoluto de \(x\), definido por:undefined

    \[|x|=\sqrt{x^{2}}=\left\{\begin{array}{cc} x & \text { si } x \geq 0 \\ -x & \text { si } x \leq 0 \end{array}\right. \]

    \(|x|\) representa la distancia de \(x\) al origen \(y|x-y|\) la distancia de \(x\) a \(y\) (tanto si \(y>x\) como si \(x>y\) )

    Propiedades inmediatas a partir de la definición son:
    \[
    |x|^{2}=x^{2},|x|=|-x|,|x y|=|x||y|,-|x| \leq x \leq|x|
    \]
    Probemos otras que utilizaremos en muchas ocasiones:

    Teorema: Sea \(a>0:|x| \leq a \Leftrightarrow-a \leq x \leq a ;|x|<a \Leftrightarrow-a<x<a\)

    \(\Leftarrow)\) sea \(-a \leq x \leq a\); si \(x^{3} \geq 0,|x|=x \leq a ;\) si \(x \leq 0,|x|=-x \leq a ;\) por tanto, \(\forall x,|x| \leq a\) clipboard_e2e4b0004c7cf6f5e7589d78c1c7d5bfa.png

    [con el < se demostraría igual; del teorema se deduce, desde luego, que

    \(|x| \geq a \Leftrightarrow x \leq-a\) ó \(a \leq x\), puesto que la afirmación ' \(p \Leftrightarrow q\) ' equivale a la '(no \(p) \Leftrightarrow(\text { no } q)^{\text {'] }}\)
    \[
    \begin{aligned}
    & \text { Teorema: }\left[\begin{array}{l}|x+y| \leq|x|+|y| \quad(\text { desigualdad triangular); } \\|x|-|y| \leq|x-y| \leq|x|+|y| ; \quad|| x|-| y|| \leq|x-y|\end{array}\right. \\
    & (|x+y|)^{2}=(x+y)^{2}=x^{2}+2 x y+y^{2} \leq|x|^{2}+2|x||y|+|y|^{2}=(|x|+|y|)^{2} \Rightarrow|x+y| \leq|x|+|y| \\
    & |x|=|x-y+y| \leq|x-y|+|y| \Rightarrow|x|-|y| \leq|x-y| ;|x-y|=|x+(-y)| \leq|x|+|-y|=|x|+|y| \\
    & |x|-|y| \leq|x-y| ;|y|-|x| \leq|x-y| \Rightarrow|x|-|y| \geq-|x-y| \Rightarrow|| x|-| y|| \leq|x-y| 
    \end{aligned}
    \]
    Ej. Determinemos \(\operatorname{los} x\) que satisfacen: \(|\sqrt{x}-2|=x\)

    Si \(x<0\), la raíz no está definida. Desarrollando (para \(x \geq 0\) ) el valor absoluto tenemos:
    \[
    \begin{gathered}
    |\sqrt{x}-2|= \begin{cases}\sqrt{x}-2 & \text { si } \sqrt{x} \geq 2, \text { es decir, si } x \geq 4 \\
    2-\sqrt{x} & \text { si } \sqrt{x} \leq 2, \text { es decir, si } 0 \leq x \leq 4\end{cases} \\
    \mathrm{Y}, \text { por tanto, }|\sqrt{x}-2|=x \Leftrightarrow\left\{\begin{array}{l}
    \sqrt{x}=x+2 \text { si } x \geq 4 \Rightarrow x^{2}+3 x+4=0 \\
    \sqrt{x}=2-x \text { si } 0 \leq x \leq 4 \Rightarrow x^{2}-5 x+4=0
    \end{array}\right.
    \end{gathered}
    \]
    El primer polinomio de segundo grado no se anula para ningún \(x\) real. El segundo para \(x=1\) y para \(x=4\) (ambos en la región \(0 \leq x \leq 4\) en que estamos). Pero sólo es válido \(x=1\) \((|1-2|=1\) ). El otro real \(x=4\) no cumple la igualdad: \(|2-2| \neq 4\) (nos lo hemos inventado al elevar al cuadrado).

    Ej. Hallemos los \(x\) que cumplen: \(\left|x^{2}-1\right| \leq 3 \Leftrightarrow-3 \leq x^{2}-1 \leq 3 \Leftrightarrow-2 \leq x^{2} \leq 4\).

    Ambas desigualdades se cumplen si y sólo si \(|x| \leq 2\left(\Leftrightarrow x^{2} \leq 4\right.\); la primera es cierta \(\forall x\) ). Podemos llegar a lo mismo discutiendo las posibilidades del valor absoluto (más largo): clipboard_ea7bc27fce6a03d2b3bd6c9d3c06f52cf.png
    \[
    3 \geq\left|x^{2}-1\right|=\left\{\begin{array} { l } 
    { x ^ { 2 } - 1 \text { si } | x | \geq 1 } \\
    { 1 - x ^ { 2 } \text { si } | x | \leq 1 }
    \end{array} \Leftrightarrow \left\{\begin{array}{l}
    x^{2} \leq 4 \text { si }|x| \geq 1 \rightarrow 1 \leq|x| \leq 2 \\
    x^{2} \geq-2 \text { si }|x| \leq 1 \rightarrow \text { todo }|x| \leq 1
    \end{array}\right.\right.
    \]
    Ej. Probemos ahora que para todo \(x\) se cumple \(-8 \leq|x-5|-|x+3| \leq 8\).

    Los teoremas aseguran: \(|x|-5 \leq|x-5| \leq|x|+5,|x|-3 \leq|x+3| \leq|x|+3\). Por tanto:
    \[
    \begin{aligned}
    &|x-5|-|x+3| \leq|x|+5-[|x|-3]=8 \text { (mayor-menor) } \mathrm{y} \\
    &|x-5|-|x+3| \geq|x|-5-[|x|+3]=-8 \text { (menor-mayor) }
    \end{aligned}
    \]
    También lo podríamos haber hecho expresando los valores absolutos según los valores de \(x\).

    Para enunciar el axioma del extremo superior necesitamos unas definiciones previas:

    Un conjunto \(A \subset \mathbf{R}\) se dice acotado superiormente (inferiormente) si existe \(k \in \mathbf{R}\) tal que \(a \leq k(a \geq k)\) para todo \(a \in A\). A un real \(k\) con esa propiedad se le llama cota superior (inferior) de \(A . A\) se dice acotado si lo está superior e inferiormente ( \(\Leftrightarrow \exists k\) tal que \(|a| \leq k, \forall a \in A)\).

    \(\mathbf{E j} . \mathbf{R}_{+}=\{x: x \geq 0\}\) no es acotado, aunque sí lo está inferiormente (por \(-\pi\), por el propio \(0 \ldots\). .

    \includegraphics[max width=\textwidth]{2022_05_28_c7df107b7d10f7110aceg-016(1)}

    [cotas superiores: \(\sqrt{93}, 7\) (la menor), .. ; cotas inferiores: \(-13,0\) (la mayor), ..] .

    \includegraphics[max width=\textwidth]{2022_05_28_c7df107b7d10f7110aceg-016(2)}

    [cotas superiores: \(\pi, 1\) (la menor), \(\ldots\); cotas inferiores: \(-3,0\) (la mayor), . ].

    Extremo superior (o supremo) de \(A\) es la menor de sus cotas superiores. Es decir:

    \(s \in \mathbf{R}\) es el extremo superior o supremo \(\operatorname{de} A[\sup A]\) si:

    i) \(s\) es cota superior de \(A\), ii) si \(k\) es cota superior de \(A\) entonces \(s \leq k\).

    [Se define análogo extremo inferior o ínfimo de \(\mathrm{A}\) [ \(\inf A\) ], mayor de las cotas inferiores].

    El \(\sup A\) puede pertenecer o no a \(A\); si pertenece se le llama máximo, es decir:
    \[
    M \in \mathbf{R} \text { es el máximo de } A[\max A] \text { si } M \in A \text { y } a \leq M, \forall a \in A \text { (análogamente, min } A \text { ) }
    \]
    Ej. Z, sin cotas superiores ni inferiores, no puede tener ni supremo ni ínfimo. 7 es el supremo del \(A\) de antes (es la cota superior más pequeña), pero no es máximo, pues \(7 \notin A ; 0\) es su mínimo (y, por tanto, su ínfimo). Para \(B, 1\) es el máximo (y supremo) y 0 el ínfimo (no mínimo).

    \subsection{El conjunto \(R\)}
    Axioma del Todo conjunto no vacío de números reales acotado extremo superior: superiormente posee extremo superior.

    [no es difícil demostrar que la afirmación: 'todo conjunto no vacío de números reales acotado inferiormente posee extremo inferior' es equivalente al axioma]

    Este axioma precisa la idea intuitiva de que los números reales 'llenan del todo' la recta real. Como ocurría en \(\mathbf{Q}\), entre todo par de reales distintos existen infinitos reales

    \includegraphics[max width=\textwidth]{2022_05_28_c7df107b7d10f7110aceg-017}\\
    (infinitos racionales e infinitos irracionales). Pero a pesar de estar también los elementos de Q 'tan cerca unos de otro como queramos', dejan sin embargo 'huecos' entre ellos (los puntos ocupados por los infinitos irracionales). Por eso hay conjuntos acotados en \(\mathbf{Q} \sin\) supremo. Por ejemplo, \(\left\{x \in \mathbf{Q}: x^{2}<2\right\}\) es un subconjunto de \(\mathbf{Q}\) con cotas superiores racionales (3/2 , por ejemplo) pero no existe ninguna en \(\mathbf{Q}\) que sea la más pequeña. Dada cualquier cota racional siempre puedo encontrar otra menor (más cercana al irracional \(\sqrt{2})\). El mismo conjunto, visto como subconjunto de \(\mathbf{R}\) debe tener supremo: \(\sqrt{2}\) lo es.

    Los siguientes subconjuntos de \(\mathbf{R}\) van a aparecer un montón de veces en estos apuntes:

    Intervalos. Dados \(a<b\) se define:

    \includegraphics[max width=\textwidth]{2022_05_28_c7df107b7d10f7110aceg-017(1)}
    \[
    \begin{array}{ll}
    {[a, b)=\{x: a \leq x<b\} ;} & (a, \infty)=\{x: a<x\} ; \quad(-\infty, b)=\{x: x<b\} \\
    (a, b]=\{x: a<x \leq b\} ; & {[a, \infty)=\{x: a \leq x\} ; \quad(-\infty, b]=\{x: x \geq b\}}
    \end{array}
    \]
    [ \(\infty\) no es ningún número real, es sólo notación]

    Se llama entorno de centro a y radio \(r>0\) a \(B(a, r)=\{x:|x-a|<r\}=(a-r, a+r)\)

    [es decir, al intervalo abierto de longitud \(2 r\) centrado en \(a: \overbrace{-\mathrm{O}}^{\mathrm{a}-\mathrm{a}}\) ]

    Los intervalos abiertos y cerrados son casos particulares de un tipo de conjuntos que son importantes en matemáticas más avanzadas: los conjuntos abiertos y cerrados que vamos a definir:

    Def.

    Sea \(A \subset \mathbf{R}\) y \(a \in A . a\) es punto interior a \(A\) si existe \(r>0\) tal que \(B(a, r) \subset A\).\\
    \(A\) es abierto si todos sus puntos son interiores.

    Def.

    Sea \(A \subset \mathbf{R} . p\) es punto de acumulación de \(A\) si en \(\quad[p\) no tiene que

    todo entorno de \(p\) existen puntos de \(A\) distintos de \(p . \quad\) estar en \(A]\).

    Es decir, si llamamos \(B^{*}(p, r)=B(p, r)-\{r\}=\{x: 0<|x-p|<r\}\), \(p\) es de acumulación de \(A\) si para todo \(r>0\) es \(A \cap B^{*}(p, r) \neq \phi\).

    \includegraphics[max width=\textwidth]{2022_05_28_c7df107b7d10f7110aceg-017(2)}

    Def. A es cerrado si contiene a todos sus puntos de acumulación.

    Ej. \([a, b]\) no es abierto porque no todos sus puntos son interiores; hay dos de ellos que no lo son: \(a\) y \(b\) (los demás sí lo son); por muy pequeño que sea \(r, B(a, r) \not \subset[a, b]\) (hay puntos de \(B(a, r)\), los de la izquierda de \(a\), que no son de \([a, b])\). Para ver si es cerrado, localicemos sus puntos de acumulación: cualquier \(p \notin[a, b]\) no lo es, ya que un entorno suyo suficientemente pequeño no contiene ningún punto del intervalo; todo \(p \in[a, b]\) (incluidos \(a \mathrm{y} b\) ) es de acumulación pues cualquier entorno suyo contiene infinitos puntos de \([a, b]\). Como \([a, b]\) contiene a todos sus puntos de acumulación, es cerrado. 1. Naturales, enteros, racionales y reales

    \begin{abstract}
    \(\left.C_{0}++_{\mathrm{x}}^{+}\right)_{2 \mathrm{x}}(0, \infty)\) sí es abierto, pues todos sus puntos son interiores. En efecto, sea \(x \in(0, \infty) . \exists r=x\) (o cualquier \(r<x\) ) tal que \(B(x, r)=(0,2 x) \subset(0, \infty)\). \((0, \infty)\) no es cerrado, pues \(0 \notin(0, \infty)\) y es de acumulación del conjunto.
    \end{abstract}

    \(\left\{\frac{1}{n}: n \in \mathbf{N}\right\}\) tiene un único punto de acumulación (el 0\()\) que no pertenece al conjunto: no es cerrado. Tampoco es abierto, pues

    \includegraphics[max width=\textwidth]{2022_05_28_c7df107b7d10f7110aceg-018}\\
    tiene puntos no interiores (ninguno lo es).

    \(\{n \in \mathbf{N}: n\) es divisor de 12\(\}=\{1,2,3,4,6,12\}\) es claro que tampoco es abierto (puntos no interiores), pero este conjunto sí es cerrado, pues contiene a todos sus puntos de acumulación (al conjunto \(\phi\) (no hay ninguno)).

    Teorema: \(A\) es cerrado si y solo si su complementario \(\mathbf{R}-A\) es abierto.

    Sea \(A\) cerrado: tomemos cualquier \(a \in \mathbf{R}-A \Leftrightarrow a \notin A \Rightarrow a\) no es de acumulación de \(A\) \(\Rightarrow \exists r\) tal que \(B(a, r) \cap A=\phi \Rightarrow B(a, r) \subset \mathbf{R}-A \Rightarrow \mathbf{R}-A\) es abierto

    Sea \(\mathbf{R}-A\) abierto. Probemos que \(A\) es cerrado probando: ' \(a \notin A \Rightarrow a\) no es de ac. de \(A\) ': \(a \notin A \Rightarrow a \in \mathbf{R}-A\) abierto \(\Rightarrow \exists r / B(a, r) \subset \mathbf{R}-A \Rightarrow B(a, r) \cap A=\phi \Rightarrow a\) no es de ac.


    1.2: El conjunto \(\mathrm{R}\) is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.