Saltar al contenido principal

# 1.3: Los Hyperreals

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\id}{\mathrm{id}}$$ $$\newcommand{\Span}{\mathrm{span}}$$

( \newcommand{\kernel}{\mathrm{null}\,}\) $$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$ $$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$ $$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\id}{\mathrm{id}}$$

$$\newcommand{\Span}{\mathrm{span}}$$

$$\newcommand{\kernel}{\mathrm{null}\,}$$

$$\newcommand{\range}{\mathrm{range}\,}$$

$$\newcommand{\RealPart}{\mathrm{Re}}$$

$$\newcommand{\ImaginaryPart}{\mathrm{Im}}$$

$$\newcommand{\Argument}{\mathrm{Arg}}$$

$$\newcommand{\norm}[1]{\| #1 \|}$$

$$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$$

$$\newcommand{\Span}{\mathrm{span}}$$ $$\newcommand{\AA}{\unicode[.8,0]{x212B}}$$

$$\newcommand{\vectorA}[1]{\vec{#1}} % arrow$$

$$\newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow$$

$$\newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vectorC}[1]{\textbf{#1}}$$

$$\newcommand{\vectorD}[1]{\overrightarrow{#1}}$$

$$\newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}}$$

$$\newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}}$$

$$\newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} }$$

$$\newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}}$$

$$\newcommand{\avec}{\mathbf a}$$ $$\newcommand{\bvec}{\mathbf b}$$ $$\newcommand{\cvec}{\mathbf c}$$ $$\newcommand{\dvec}{\mathbf d}$$ $$\newcommand{\dtil}{\widetilde{\mathbf d}}$$ $$\newcommand{\evec}{\mathbf e}$$ $$\newcommand{\fvec}{\mathbf f}$$ $$\newcommand{\nvec}{\mathbf n}$$ $$\newcommand{\pvec}{\mathbf p}$$ $$\newcommand{\qvec}{\mathbf q}$$ $$\newcommand{\svec}{\mathbf s}$$ $$\newcommand{\tvec}{\mathbf t}$$ $$\newcommand{\uvec}{\mathbf u}$$ $$\newcommand{\vvec}{\mathbf v}$$ $$\newcommand{\wvec}{\mathbf w}$$ $$\newcommand{\xvec}{\mathbf x}$$ $$\newcommand{\yvec}{\mathbf y}$$ $$\newcommand{\zvec}{\mathbf z}$$ $$\newcommand{\rvec}{\mathbf r}$$ $$\newcommand{\mvec}{\mathbf m}$$ $$\newcommand{\zerovec}{\mathbf 0}$$ $$\newcommand{\onevec}{\mathbf 1}$$ $$\newcommand{\real}{\mathbb R}$$ $$\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}$$ $$\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}$$ $$\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}$$ $$\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}$$ $$\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}$$ $$\newcommand{\laspan}[1]{\text{Span}\{#1\}}$$ $$\newcommand{\bcal}{\cal B}$$ $$\newcommand{\ccal}{\cal C}$$ $$\newcommand{\scal}{\cal S}$$ $$\newcommand{\wcal}{\cal W}$$ $$\newcommand{\ecal}{\cal E}$$ $$\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}$$ $$\newcommand{\gray}[1]{\color{gray}{#1}}$$ $$\newcommand{\lgray}[1]{\color{lightgray}{#1}}$$ $$\newcommand{\rank}{\operatorname{rank}}$$ $$\newcommand{\row}{\text{Row}}$$ $$\newcommand{\col}{\text{Col}}$$ $$\renewcommand{\row}{\text{Row}}$$ $$\newcommand{\nul}{\text{Nul}}$$ $$\newcommand{\var}{\text{Var}}$$ $$\newcommand{\corr}{\text{corr}}$$ $$\newcommand{\len}[1]{\left|#1\right|}$$ $$\newcommand{\bbar}{\overline{\bvec}}$$ $$\newcommand{\bhat}{\widehat{\bvec}}$$ $$\newcommand{\bperp}{\bvec^\perp}$$ $$\newcommand{\xhat}{\widehat{\xvec}}$$ $$\newcommand{\vhat}{\widehat{\vvec}}$$ $$\newcommand{\uhat}{\widehat{\uvec}}$$ $$\newcommand{\what}{\widehat{\wvec}}$$ $$\newcommand{\Sighat}{\widehat{\Sigma}}$$ $$\newcommand{\lt}{<}$$ $$\newcommand{\gt}{>}$$ $$\newcommand{\amp}{&}$$ $$\definecolor{fillinmathshade}{gray}{0.9}$$

Vamos a dejar$$\mathbb{R}$$ denotar el conjunto de todos los números reales. Intuitiva e históricamente, pensamos en estos como los números suficientes para medir cantidades geométricas. Por ejemplo, el conjunto de todos los números racionales, es decir, números expresables como las proporciones de enteros, no es suficiente para ello ya que, por ejemplo, la longitud de la diagonal de un cuadrado con lados de longitud 1 es el número irracional$$\sqrt{2}$$. Existen numerosos métodos técnicos para definir y construir los números reales, pero, para los fines de este texto, basta pensar en ellos como el conjunto de todos los números expresables como decimales infinitos, repitiendo si el número es racional y no repetido de otra manera.

Un infinitesimal positivo es cualquier número$$\epsilon$$ con la propiedad que$$\epsilon>0$$ y$$\epsilon<r$$ para cualquier número real positivo$$r$$. El conjunto de infinitesimales consiste en los infinitesimales positivos junto con sus inversos aditivos y cero. Intuitivamente, estos son los números que, a excepción de que$$0,$$ corresponden a cantidades que son demasiado pequeñas para medirlas incluso teóricamente. Nuevamente, existen formas técnicas de hacer explícita la definición y construcción de infinitesimales, pero se encuentran más allá del alcance de este texto.

El inverso multiplicativo de un infinitesimal distinto de cero es un número infinito. Es decir, para cualquier infinitesimal$$\epsilon \neq 0,$$ el número

$N=\frac{1}{\epsilon}$

es un número infinito.

Los números hiperreales finitos son números de la forma$$r+\epsilon,$$ donde$$r$$ es un número real y$$\epsilon$$ es un infinitesimal. Los números hiperreales, que denotamos$$^{*} \mathbb{R}$$, consisten en los números hiperreales finitos junto con todos los números infinitos.

Para cualquier número hiperreal finito$$a,$$ existe un número real único$$r$$ para el cual$$a=r+\epsilon$$ para algunos infinitesimales$$\epsilon .$$ En este caso, llamamos$$r$$ la sombra de$$a$$ y escribimos

$r=\operatorname{sh}(a) .$

Alternativamente, podemos llamar a sh$$(a)$$ la parte estándar de$$a$$.

Escribiremos$$a \simeq b$$ para indicar que$$a-b$$ es un infinitesimal, es decir, eso$$a$$ y$$b$$ están infinitesimalmente cerca. En particular, para cualquier número hiperreal finito$$a,$$$$a \simeq \operatorname{sh}(a)$$.

Es importante señalar que

• si$$\epsilon$$ y$$\delta$$ son infinitesimales, entonces así es$$\epsilon+\delta$$
• si$$\epsilon$$ es un infinitesimal y$$a$$ es un número hiperreal finito, entonces$$a \epsilon$$ es un infinitesimal, y
• si$$\epsilon$$ es un infinitesimal distinto de cero y$$a$$ es un número hiperreal con$$\operatorname{sh}(a) \neq 0$$ (es decir, no$$a$$ es un infinitesimal), entonces$$\frac{a}{\epsilon}$$ es infinito.

Estos están de acuerdo con nuestra intuición de que una suma finita de números infinitamente pequeños sigue siendo infinitamente pequeña y que un número infinitamente pequeño distinto de cero dividirá en cualquier cantidad no infinitesimal un número infinito de veces.

Ejercicio$$\PageIndex{1}$$

Mostrar eso$$\operatorname{sh}(a+b)=\operatorname{sh}(a)+\operatorname{sh}(b)$$ y$$\operatorname{sh}(a b)=\operatorname{sh}(a) \operatorname{sh}(b)$$, dónde$$a$$ y$$b$$ son los números hiperreales.

Contestar

Let$$a=r_{1}+\epsilon_{1}$$ y$$b=r_{2}+\epsilon_{2},$$ donde$$r_{1}$$ y$$r_{2}$$ son números reales y$$\epsilon_{1}$$ y$$\epsilon_{2}$$ son infinitesimales. Tenga en cuenta que$$a+b=\left(r_{1}+r_{2}\right)+\left(\epsilon_{1}+\epsilon_{2}\right)$$ y$$a b=r_{1} r_{2}+\left(r_{1} \epsilon_{2}+r_{2} \epsilon_{1}+\epsilon_{1} \epsilon_{2}\right)$$.

Ejercicio$$\PageIndex{2}$$

Supongamos que$$a$$ es un número hiperreal con$$\operatorname{sh}(a) \neq 0 .$$ Mostrar eso$$\operatorname{sh}\left(\frac{1}{a}\right)=\frac{1}{\operatorname{sh}(a)}$$.

Contestar

Vamos$$a=r+\epsilon,$$ donde$$r \neq 0$$ es un número real y$$\epsilon$$ es un infinitesimal. Tenga en cuenta que

$\frac{1}{a}=\frac{1}{r}+\frac{\epsilon}{r(r+\epsilon)}.$

This page titled 1.3: Los Hyperreals is shared under a CC BY-NC-SA 1.0 license and was authored, remixed, and/or curated by Dan Sloughter via source content that was edited to the style and standards of the LibreTexts platform.