Infinidad

Concepto matemático

Debido al constante reflejo de la luz entre espejos opuestos , parece que hay una cantidad ilimitada de espacio y repetición dentro de ellos.

El infinito es algo que no tiene límites, que no tiene fin o que es mayor que cualquier número natural . A menudo se representa con el símbolo del infinito . ${\displaystyle \infty }$

Desde la época de los antiguos griegos , la naturaleza filosófica del infinito ha sido objeto de muchas discusiones entre los filósofos. En el siglo XVII, con la introducción del símbolo del infinito ^[1] y el cálculo infinitesimal , los matemáticos comenzaron a trabajar con series infinitas y lo que algunos matemáticos (incluidos l'Hôpital y Bernoulli ) ^[2] consideraban cantidades infinitamente pequeñas, pero el infinito continuó asociándose con procesos sin fin. Mientras los matemáticos luchaban con los fundamentos del cálculo , no estaba claro si el infinito podía considerarse un número o una magnitud y, de ser así, cómo podía hacerse. ^[1] A finales del siglo XIX, Georg Cantor amplió el estudio matemático del infinito al estudiar los conjuntos infinitos y los números infinitos , demostrando que pueden ser de varios tamaños. ^{[1] [3]} Por ejemplo, si una línea se considera como el conjunto de todos sus puntos, su número infinito (es decir, la cardinalidad de la línea) es mayor que el número de números enteros . ^[4] En este uso, el infinito es un concepto matemático, y los objetos matemáticos infinitos se pueden estudiar, manipular y utilizar como cualquier otro objeto matemático.

El concepto matemático de infinito refina y extiende el antiguo concepto filosófico, en particular al introducir una infinidad de tamaños diferentes de conjuntos infinitos. Entre los axiomas de la teoría de conjuntos de Zermelo-Fraenkel , sobre los que se puede desarrollar la mayor parte de las matemáticas modernas, se encuentra el axioma de infinito , que garantiza la existencia de conjuntos infinitos. ^[1] El concepto matemático de infinito y la manipulación de conjuntos infinitos se utilizan ampliamente en matemáticas, incluso en áreas como la combinatoria que puede parecer que no tienen nada que ver con ellos. Por ejemplo, la prueba de Wiles del Último Teorema de Fermat se basa implícitamente en la existencia de universos de Grothendieck , conjuntos infinitos muy grandes, ^[5] para resolver un problema de larga data que se plantea en términos de aritmética elemental .

En física y cosmología , si el universo es espacialmente infinito o no es una cuestión abierta.

Historia

Las culturas antiguas tenían distintas ideas sobre la naturaleza del infinito. Los antiguos indios y los griegos no definían el infinito con un formalismo preciso como lo hacen las matemáticas modernas, sino que lo abordaban como un concepto filosófico.

Griego primitivo

La primera idea de infinito registrada en Grecia puede ser la de Anaximandro (c. 610 – c. 546 a. C.), un filósofo griego presocrático . Utilizó la palabra apeiron , que significa "ilimitado", "indefinido" y tal vez pueda traducirse como "infinito". ^{[1] [6]}

Aristóteles (350 a. C.) distinguió el infinito potencial del infinito actual , que consideraba imposible debido a las diversas paradojas que parecía producir. ^[7] Se ha argumentado que, en línea con esta visión, los griegos helenísticos tenían un "horror al infinito" ^{[8] [9]} que, por ejemplo, explicaría por qué Euclides (c. 300 a. C.) no dijo que hay una infinitud de primos sino más bien "Los números primos son más que cualquier multitud asignada de números primos". ^[10] También se ha mantenido que, al demostrar la infinitud de los números primos , Euclides "fue el primero en superar el horror al infinito". ^[11] Existe una controversia similar en relación con el postulado de las paralelas de Euclides , a veces traducido:

Si una línea recta que cae sobre dos [otras] líneas rectas forma ángulos internos en el mismo lado [de sí misma cuya suma es] menor que dos ángulos rectos, entonces las dos [otras] líneas rectas, al prolongarse hasta el infinito, se encuentran en aquel lado [de la línea recta original] en que la [suma de los ángulos internos] es menor que dos ángulos rectos. ^[12]

Otros traductores, sin embargo, prefieren la traducción «las dos líneas rectas, si se produjeran indefinidamente...», ^[13] evitando así la implicación de que Euclides se sentía cómodo con la noción de infinito. Finalmente, se ha sostenido que una reflexión sobre el infinito, lejos de suscitar un «horror al infinito», subyacía a toda la filosofía griega primitiva y que el «infinito potencial» de Aristóteles es una aberración respecto de la tendencia general de este período. ^[14]

Zenón: Aquiles y la tortuga

Zenón de Elea ( c.  495 – c.  430 a. C.) no formuló ninguna idea sobre el infinito. Sin embargo, sus paradojas, ^{[15] especialmente “Aquiles y la tortuga”, fueron contribuciones importantes porque pusieron de manifiesto la insuficiencia de las concepciones populares.} Bertrand Russell describió las paradojas como “inmensurablemente sutiles y profundas”. ^[16]

Aquiles corre contra una tortuga, dándole a esta última una ventaja.

• Paso n.° 1: Aquiles corre hacia el punto de partida de la tortuga mientras la tortuga camina hacia adelante.
• Paso #2: Aquiles avanza hacia donde estaba la tortuga al final del paso #1 mientras la tortuga va aún más lejos.
• Paso #3: Aquiles avanza hacia donde estaba la tortuga al final del paso #2 mientras la tortuga va aún más lejos.
• Paso #4: Aquiles avanza hacia donde estaba la tortuga al final del paso #3 mientras la tortuga va aún más lejos.

Etc.

Al parecer, Aquiles nunca alcanza a la tortuga, ya que por muchos pasos que dé, la tortuga sigue estando delante de él.

Zenón no estaba intentando demostrar nada sobre el infinito. Como miembro de la escuela eleática que consideraba el movimiento como una ilusión, creía que era un error suponer que Aquiles podía correr. Los pensadores posteriores, que consideraron esta solución inaceptable, se esforzaron durante más de dos milenios por encontrar otras debilidades en el argumento.

Finalmente, en 1821, Augustin-Louis Cauchy proporcionó una definición satisfactoria de un límite y una prueba de que, para 0 < x < 1 , ^[17] $${\displaystyle a+ax+ax^{2}+ax^{3}+ax^{4}+ax^{5}+\cdots ={\frac {a}{1-x}}.}$$

Supongamos que Aquiles corre a 10 metros por segundo, la tortuga camina a 0,1 metros por segundo y esta última tiene una ventaja de 100 metros. La duración de la persecución se ajusta al patrón de Cauchy con a = 10 segundos y x = 0,01 . Aquiles alcanza a la tortuga; le lleva 100 metros de ventaja.

${\displaystyle 10+0.1+0.001+0.00001+\cdots }$ ${\displaystyle ={\frac {10}{1-0.01}}={\frac {10}{0.99}}=10.10101\ldots {\text{ seconds}}.}$

India primitiva

El texto matemático jainista Surya Prajnapti (c. siglo IV-III a. C.) clasifica todos los números en tres conjuntos: enumerables , innumerables e infinitos. Cada uno de ellos se subdivide a su vez en tres órdenes: ^[18]

• Enumerable: más bajo, intermedio y más alto
• Innumerables: casi innumerables, verdaderamente innumerables e innumerablesmente innumerables.
• Infinito: casi infinito, verdaderamente infinito, infinitamente infinito

Siglo XVII

En el siglo XVII, los matemáticos europeos comenzaron a utilizar números infinitos y expresiones infinitas de manera sistemática. En 1655, John Wallis utilizó por primera vez la notación para un número de este tipo en su De sectionibus conicis [ ^19] y la explotó en cálculos de área dividiendo la región en franjas infinitesimales de ancho del orden de ^[20] Pero en Arithmetica infinitorum (1656), ^[21] indica series infinitas, productos infinitos y fracciones continuas infinitas escribiendo algunos términos o factores y luego añadiendo "&c.", como en "1, 6, 12, 18, 24, etc." ^[22] ${\displaystyle \infty }$ ${\displaystyle {\tfrac {1}{\infty }}.}$

En 1699, Isaac Newton escribió sobre ecuaciones con un número infinito de términos en su obra De analysi per aequationes numero terminorum infinitas . ^[23]

Matemáticas

Hermann Weyl inauguró un discurso matemático-filosófico pronunciado en 1930 con: ^[24]

Las matemáticas son la ciencia del infinito.

Símbolo

El símbolo de infinito (a veces llamado lemniscata ) es un símbolo matemático que representa el concepto de infinito. El símbolo está codificado en Unicode como U+221E ∞ INFINITY ( ∞ ) ^[25] y en LaTeX como . ^[26] ${\displaystyle \infty }$ \infty

Fue introducido en 1655 por John Wallis , ^{[27] [28]} y desde su introducción, también se ha utilizado fuera de las matemáticas en el misticismo moderno ^[29] y la simbología literaria . ^[30]

Cálculo

Gottfried Leibniz , uno de los co-inventores del cálculo infinitesimal , especuló ampliamente sobre los números infinitos y su uso en matemáticas. Para Leibniz, tanto los infinitesimales como las cantidades infinitas eran entidades ideales, no de la misma naturaleza que las cantidades apreciables, pero que disfrutaban de las mismas propiedades de acuerdo con la Ley de continuidad . ^{[31] [2]}

Análisis real

En el análisis real , el símbolo , llamado "infinito", se utiliza para denotar un límite ilimitado . ^[32] La notación significa que  aumenta sin límite y significa que  disminuye sin límite. Por ejemplo, si para cada  , entonces ^[33] ${\displaystyle \infty }$ ${\displaystyle x\rightarrow \infty }$ ${\displaystyle x}$ ${\displaystyle x\to -\infty }$ ${\displaystyle x}$ ${\displaystyle f(t)\geq 0}$ ${\displaystyle t}$

• ${\displaystyle \int _{a}^{b}f(t)\,dt=\infty }$significa que no limita un área finita de a ${\displaystyle f(t)}$ ${\displaystyle a}$ ${\displaystyle b.}$
• ${\displaystyle \int _{-\infty }^{\infty }f(t)\,dt=\infty }$significa que el área debajo es infinita. ${\displaystyle f(t)}$
• ${\displaystyle \int _{-\infty }^{\infty }f(t)\,dt=a}$significa que el área total debajo es finita y es igual a ${\displaystyle f(t)}$ ${\displaystyle a.}$

El infinito también se puede utilizar para describir series infinitas , de la siguiente manera:

• ${\displaystyle \sum _{i=0}^{\infty }f(i)=a}$significa que la suma de la serie infinita converge a algún valor real ${\displaystyle a.}$
• ${\displaystyle \sum _{i=0}^{\infty }f(i)=\infty }$significa que la suma de las series infinitas diverge propiamente hacia el infinito, en el sentido de que las sumas parciales aumentan sin límite. ^[34]

Además de definir un límite, el infinito también se puede utilizar como un valor en el sistema de números reales extendido. Los puntos etiquetados y se pueden agregar al espacio topológico de los números reales, produciendo la compactificación de dos puntos de los números reales. Añadiendo propiedades algebraicas a esto nos da los números reales extendidos . ^[35] También podemos tratar y como lo mismo, lo que lleva a la compactificación de un punto de los números reales, que es la línea proyectiva real . ^[36] La geometría proyectiva también se refiere a una línea en el infinito en la geometría plana, un plano en el infinito en el espacio tridimensional y un hiperplano en el infinito para dimensiones generales , cada uno de los cuales consta de puntos en el infinito . ^[37] ${\displaystyle +\infty }$ ${\displaystyle -\infty }$ ${\displaystyle +\infty }$ ${\displaystyle -\infty }$

Análisis complejo

Mediante la proyección estereográfica , el plano complejo se puede "envolver" sobre una esfera, cuyo punto superior corresponde al infinito. Esto se denomina esfera de Riemann .

En el análisis complejo, el símbolo , llamado "infinito", denota un límite infinito sin signo . La expresión significa que la magnitud  de  crece más allá de cualquier valor asignado. Se puede agregar un punto etiquetado al plano complejo como un espacio topológico que da la compactificación de un punto del plano complejo. Cuando se hace esto, el espacio resultante es una variedad compleja unidimensional , o superficie de Riemann , llamada plano complejo extendido o esfera de Riemann . ^[38] También se pueden definir operaciones aritméticas similares a las dadas anteriormente para los números reales extendidos, aunque no hay distinción en los signos (lo que lleva a la única excepción de que el infinito no se puede agregar a sí mismo). Por otro lado, este tipo de infinito permite la división por cero , es decir, para cualquier número complejo distinto de cero . En este contexto, a menudo es útil considerar las funciones meromórficas como mapas en la esfera de Riemann que toman el valor de en los polos. El dominio de una función de valor complejo se puede extender para incluir también el punto en el infinito. Un ejemplo importante de tales funciones es el grupo de transformaciones de Möbius (véase Transformación de Möbius § Descripción general ). ${\displaystyle \infty }$ ${\displaystyle x\rightarrow \infty }$ ${\displaystyle |x|}$ ${\displaystyle x}$ ${\displaystyle \infty }$ ${\displaystyle z/0=\infty }$  ${\displaystyle z}$ ${\displaystyle \infty }$

Análisis no estándar

Infinitesimales (ε) e infinitos (ω) en la línea de números hiperreales (1/ε = ω/1)

La formulación original del cálculo infinitesimal de Isaac Newton y Gottfried Leibniz utilizó cantidades infinitesimales. En la segunda mitad del siglo XX, se demostró que este tratamiento podía ponerse sobre una base rigurosa a través de varios sistemas lógicos , incluyendo el análisis infinitesimal suave y el análisis no estándar . En este último, los infinitesimales son invertibles, y sus inversos son números infinitos. Los infinitos en este sentido son parte de un cuerpo hiperreal ; no hay equivalencia entre ellos como con los transfinitos cantorianos . Por ejemplo, si H es un número infinito en este sentido, entonces H + H = 2H y H + 1 son números infinitos distintos. Este enfoque del cálculo no estándar está completamente desarrollado en Keisler (1986).

Teoría de conjuntos

Correspondencia biunívoca entre un conjunto infinito y su subconjunto propio

Una forma diferente de "infinito" son los infinitos ordinales y cardinales de la teoría de conjuntos, un sistema de números transfinitos desarrollado por primera vez por Georg Cantor . En este sistema, el primer cardinal transfinito es aleph-null ( ℵ ₀ ), la cardinalidad del conjunto de números naturales . Esta concepción matemática moderna del infinito cuantitativo se desarrolló a fines del siglo XIX a partir de obras de Cantor, Gottlob Frege , Richard Dedekind y otros, utilizando la idea de colecciones o conjuntos. ^[1]

El enfoque de Dedekind fue esencialmente adoptar la idea de correspondencia biunívoca como un estándar para comparar el tamaño de los conjuntos, y rechazar la visión de Galileo (derivada de Euclides ) de que el todo no puede tener el mismo tamaño que la parte. (Sin embargo, véase la paradoja de Galileo donde Galileo concluye que los números enteros positivos no pueden compararse con el subconjunto de números enteros cuadrados positivos ya que ambos son conjuntos infinitos). Un conjunto infinito puede definirse simplemente como uno que tiene el mismo tamaño que al menos una de sus partes propias ; esta noción de infinito se llama infinito de Dedekind . El diagrama de la derecha da un ejemplo: viendo las líneas como conjuntos infinitos de puntos, la mitad izquierda de la línea azul inferior puede mapearse de manera biunívoca (correspondencias verdes) a la línea azul superior y, a su vez, a toda la línea azul inferior (correspondencias rojas); por lo tanto, toda la línea azul inferior y su mitad izquierda tienen la misma cardinalidad, es decir, "tamaño". ^[39]

Cantor definió dos tipos de números infinitos: los números ordinales y los números cardinales . Los números ordinales caracterizan conjuntos bien ordenados , o el conteo continuado hasta cualquier punto de detención, incluidos los puntos después de que ya se haya contado un número infinito. La generalización de secuencias finitas e infinitas (ordinarias) que son aplicaciones de los números enteros positivos conduce a aplicaciones de números ordinales a secuencias transfinitas. Los números cardinales definen el tamaño de los conjuntos, es decir, cuántos miembros contienen, y pueden estandarizarse eligiendo el primer número ordinal de un cierto tamaño para representar el número cardinal de ese tamaño. El infinito ordinal más pequeño es el de los números enteros positivos, y cualquier conjunto que tenga la cardinalidad de los números enteros es infinito contable . Si un conjunto es demasiado grande para ponerlo en correspondencia uno a uno con los números enteros positivos, se llama incontable . Las opiniones de Cantor prevalecieron y las matemáticas modernas aceptan el infinito real como parte de una teoría consistente y coherente. ^[40] Ciertos sistemas numéricos extendidos, como los números hiperreales, incorporan los números ordinarios (finitos) y números infinitos de diferentes tamaños. ^[41]

Cardinalidad del continuo

Uno de los resultados más importantes de Cantor fue que la cardinalidad del continuo es mayor que la de los números naturales ; es decir, hay más números reales R que números naturales N. Es decir, Cantor demostró que . ^[42] ${\displaystyle \mathbf {c} }$ ${\displaystyle {\aleph _{0}}}$ ${\displaystyle \mathbf {c} =2^{\aleph _{0}}>{\aleph _{0}}}$

La hipótesis del continuo establece que no existe ningún número cardinal entre la cardinalidad de los reales y la cardinalidad de los números naturales, es decir, . ${\displaystyle \mathbf {c} =\aleph _{1}=\beth _{1}}$

Esta hipótesis no puede probarse ni refutarse dentro de la teoría de conjuntos de Zermelo-Fraenkel ampliamente aceptada , incluso asumiendo el axioma de elección . ^[43]

La aritmética cardinal se puede utilizar para demostrar no sólo que el número de puntos en una línea de números reales es igual al número de puntos en cualquier segmento de esa línea , sino también que éste es igual al número de puntos en un plano y, de hecho, en cualquier espacio de dimensión finita . ^[44]

Los tres primeros pasos de una construcción fractal cuyo límite es una curva que llena el espacio , mostrando que hay tantos puntos en una línea unidimensional como en un cuadrado bidimensional.

El primero de estos resultados es evidente al considerar, por ejemplo, la función tangente , que proporciona una correspondencia biunívoca entre el intervalo ( − ⁠π/2⁠ , ⁠π/2⁠ ) ​​y R .

El segundo resultado fue demostrado por Cantor en 1878, pero sólo se hizo intuitivamente evidente en 1890, cuando Giuseppe Peano introdujo las curvas que llenan el espacio , líneas curvas que se retuercen y giran lo suficiente para llenar la totalidad de cualquier cuadrado, cubo , hipercubo o espacio de dimensión finita. Estas curvas se pueden utilizar para definir una correspondencia biunívoca entre los puntos de un lado de un cuadrado y los puntos del cuadrado. ^[45]

Geometría

Hasta finales del siglo XIX, rara vez se hablaba de infinito en geometría , excepto en el contexto de procesos que podían continuar sin ningún límite. Por ejemplo, una línea era lo que ahora se llama un segmento de línea , con la condición de que uno puede extenderlo tanto como quiera; pero extenderlo infinitamente estaba fuera de cuestión. De manera similar, una línea no solía considerarse compuesta por infinitos puntos, sino que era un lugar donde se podía colocar un punto. Incluso si hay infinitas posiciones posibles, solo se podía colocar un número finito de puntos en una línea. Un testimonio de esto es la expresión "el lugar geométrico de un punto que satisface alguna propiedad" (singular), donde los matemáticos modernos generalmente dirían "el conjunto de los puntos que tienen la propiedad" (plural).

Una de las raras excepciones de un concepto matemático que involucra el infinito real fue la geometría proyectiva , donde los puntos en el infinito se agregan al espacio euclidiano para modelar el efecto de perspectiva que muestra líneas paralelas que se intersecan "en el infinito". Matemáticamente, los puntos en el infinito tienen la ventaja de permitir que uno no considere algunos casos especiales. Por ejemplo, en un plano proyectivo , dos líneas distintas se intersecan exactamente en un punto, mientras que sin puntos en el infinito, no hay puntos de intersección para líneas paralelas. Por lo tanto, las líneas paralelas y no paralelas deben estudiarse por separado en la geometría clásica, mientras que no es necesario distinguirlas en la geometría proyectiva.

Antes de que se utilizara la teoría de conjuntos para fundamentar las matemáticas , los puntos y las líneas se consideraban entidades distintas, y un punto podía estar ubicado en una línea . Con el uso universal de la teoría de conjuntos en matemáticas, el punto de vista ha cambiado drásticamente: ahora se considera que una línea es el conjunto de sus puntos , y se dice que un punto pertenece a una línea en lugar de que está ubicado en una línea (sin embargo, esta última frase todavía se usa).

En particular, en las matemáticas modernas, las líneas son conjuntos infinitos .

Dimensión infinita

Los espacios vectoriales que se dan en la geometría clásica tienen siempre una dimensión finita , generalmente dos o tres. Sin embargo, esto no está implícito en la definición abstracta de un espacio vectorial, y se pueden considerar espacios vectoriales de dimensión infinita. Este es típicamente el caso en el análisis funcional , donde los espacios funcionales son generalmente espacios vectoriales de dimensión infinita.

En topología, algunas construcciones pueden generar espacios topológicos de dimensión infinita. En particular, este es el caso de los espacios de bucles iterados .

Fractales

La estructura de un objeto fractal se reitera en sus ampliaciones. Los fractales pueden ampliarse indefinidamente sin perder su estructura y volverse "suaves"; tienen perímetros infinitos y pueden tener áreas infinitas o finitas. Una de esas curvas fractales con un perímetro infinito y un área finita es el copo de nieve de Koch . ^[46]

Matemáticas sin infinito

Leopold Kronecker era escéptico respecto de la noción de infinito y de cómo sus colegas matemáticos la utilizaban en las décadas de 1870 y 1880. Este escepticismo se desarrolló en la filosofía de las matemáticas llamada finitismo , una forma extrema de filosofía matemática en las escuelas filosóficas y matemáticas generales del constructivismo y el intuicionismo . ^[47]

Física

En física , se utilizan aproximaciones de números reales para mediciones continuas y números naturales para mediciones discretas (es decir, para contar). Existen conceptos de cosas infinitas, como una onda plana infinita , pero no hay medios experimentales para generarlos. ^[48]

Cosmología

La primera propuesta publicada de que el universo es infinito provino de Thomas Digges en 1576. ^[49] Ocho años después, en 1584, el filósofo y astrónomo italiano Giordano Bruno propuso un universo ilimitado en Sobre el universo y los mundos infinitos : "Existen innumerables soles; innumerables tierras giran alrededor de estos soles de una manera similar a la forma en que los siete planetas giran alrededor de nuestro sol. Los seres vivos habitan estos mundos". ^[50]

Los cosmólogos llevan mucho tiempo intentando descubrir si existe el infinito en nuestro universo físico : ¿hay un número infinito de estrellas? ¿Tiene el universo un volumen infinito? ¿El espacio " continúa eternamente "? Ésta es todavía una cuestión abierta de la cosmología . La cuestión de ser infinito está lógicamente separada de la cuestión de tener límites. La superficie bidimensional de la Tierra, por ejemplo, es finita, pero no tiene borde. Al viajar en línea recta con respecto a la curvatura de la Tierra, uno acabará volviendo al punto exacto del que partió. El universo, al menos en principio, podría tener una topología similar . Si es así, uno podría acabar volviendo al punto de partida después de viajar en línea recta a través del universo durante el tiempo suficiente. ^[51]

La curvatura del universo se puede medir a través de los momentos multipolares en el espectro de la radiación cósmica de fondo . Hasta la fecha, el análisis de los patrones de radiación registrados por la sonda espacial WMAP sugiere que el universo tiene una topología plana. Esto sería coherente con un universo físico infinito. ^{[52] [53] [54]}

Sin embargo, el universo podría ser finito, incluso si su curvatura es plana. Una forma fácil de entender esto es considerar ejemplos bidimensionales, como los videojuegos donde los elementos que salen de un borde de la pantalla reaparecen en el otro. La topología de estos juegos es toroidal y la geometría es plana. También existen muchas posibilidades acotadas y planas para el espacio tridimensional. ^[55]

El concepto de infinito también se extiende a la hipótesis del multiverso , que, cuando es explicada por astrofísicos como Michio Kaku , postula que hay un número infinito y una variedad infinita de universos. ^[56] Además, los modelos cíclicos postulan una cantidad infinita de Big Bangs , lo que resulta en una variedad infinita de universos después de cada evento de Big Bang en un ciclo infinito. ^[57]

Lógica

En lógica , un argumento de regresión infinita es "un tipo de argumento distintivamente filosófico que pretende demostrar que una tesis es defectuosa porque genera una serie infinita cuando (forma A) no existe tal serie o (forma B) si existiera, la tesis carecería del papel (por ejemplo, de justificación) que se supone que debe desempeñar". ^[58]

Computación

El estándar IEEE de punto flotante (IEEE 754) especifica un valor infinito positivo y uno negativo (y también valores indefinidos ). Estos se definen como el resultado de un desbordamiento aritmético , una división por cero y otras operaciones excepcionales. ^[59]

Algunos lenguajes de programación , como Java ^[60] y J ^[61], permiten al programador un acceso explícito a los valores de infinito positivo y negativo como constantes de lenguaje. Estos pueden usarse como elementos máximo y mínimo , ya que comparan (respectivamente) mayor o menor que todos los demás valores. Tienen usos como valores centinela en algoritmos que involucran ordenamiento , búsqueda o ventanas . ^{[ cita requerida ]}

En los lenguajes que no tienen elementos mayor y menor pero sí permiten la sobrecarga de operadores relacionales , es posible que un programador cree los elementos mayor y menor. En los lenguajes que no brindan acceso explícito a dichos valores desde el estado inicial del programa pero sí implementan el tipo de datos de punto flotante , los valores infinitos aún pueden ser accesibles y utilizables como resultado de ciertas operaciones. ^{[ cita requerida ]}

En programación, un bucle infinito es un bucle cuya condición de salida nunca se satisface, por lo que se ejecuta indefinidamente.

Artes, juegos y ciencias cognitivas

Las obras de arte en perspectiva utilizan el concepto de puntos de fuga , que corresponden aproximadamente a puntos matemáticos en el infinito , ubicados a una distancia infinita del observador. Esto permite a los artistas crear pinturas que representan de manera realista el espacio, las distancias y las formas. ^[62] El artista MC Escher es conocido específicamente por emplear el concepto de infinito en su obra de esta y otras maneras. ^[63]

Las variantes del ajedrez jugadas en un tablero ilimitado se denominan ajedrez infinito . ^{[64] [65]}

El científico cognitivo George Lakoff considera el concepto de infinito en matemáticas y ciencias como una metáfora. Esta perspectiva se basa en la metáfora básica del infinito (BMI), definida como la secuencia en constante crecimiento <1,2,3,...>. ^[66]

Véase también

• 0,999...
• Infinito absoluto
• Número aleph
• Ananta
• Exponenciación
• Forma indeterminada
• Nombres de números grandes
• Teorema del mono infinito
• Paradojas del infinito
• Supertarea
• Número surrealista

Referencias

1. Allen, Donald (2003). "La historia del infinito" (PDF) . Texas A&M Mathematics . Archivado desde el original (PDF) el 1 de agosto de 2020 . Consultado el 15 de noviembre de 2019 .
2. Jesseph, Douglas Michael (1998-05-01). "Leibniz sobre los fundamentos del cálculo: la cuestión de la realidad de las magnitudes infinitesimales". Perspectivas de la ciencia . 6 (1&2): 6–40. doi :10.1162/posc_a_00543. ISSN  1063-6145. OCLC  42413222. S2CID  118227996. Archivado desde el original el 11 de enero de 2012 . Consultado el 1 de noviembre de 2019 – vía Project MUSE.
3. Gowers, Timothy; Barrow-Green, junio (2008). El compañero de Princeton para las matemáticas. Imre Leader, Princeton University. Princeton: Princeton University Press. ISBN 978-1-4008-3039-8.OCLC 659590835  .
4. Maddox 2002, págs. 113-117
5. McLarty, Colin (15 de enero de 2014) [septiembre de 2010]. "¿Qué se necesita para demostrar el último teorema de Fermat? Grothendieck y la lógica de la teoría de números". The Bulletin of Symbolic Logic . 16 (3): 359–377. doi :10.2178/bsl/1286284558. S2CID  13475845 – vía Cambridge University Press.
6. Wallace 2004, pág. 44
7. Aristóteles. Física. Traducido por Hardie, RP; Gaye, RK. The Internet Classics Archive. Libro 3, capítulos 5-8.
8. Goodman, Nicolas D. (1981). "Reflexiones sobre la filosofía de las matemáticas de Bishop". En Richman, F. (ed.). Matemáticas constructivas . Apuntes de clase sobre matemáticas. Vol. 873. Springer. págs. 135-145. doi :10.1007/BFb0090732. ISBN. 978-3-540-10850-4.
9. Maor, pág. 3
10. Sarton, George (marzo de 1928). "Los trece libros de los Elementos de Euclides. Thomas L. Heath, Heiberg". Isis . 10 (1): 60–62. doi :10.1086/346308. ISSN  0021-1753 – vía The University of Chicago Press Journals.
11. Hutten, Ernest Hirschlaff (1962). Los orígenes de la ciencia: una investigación sobre los fundamentos del pensamiento occidental. Internet Archive. Londres, Allen and Unwin. pp. 1–241. ISBN 978-0-04-946007-2. Recuperado el 9 de enero de 2020 .
12. Euclides (2008) [c. 300 a. C.]. Elementos de geometría de Euclides (PDF) . Traducido por Fitzpatrick, Richard. Lulu.com. p. 6 (Libro I, Postulado 5). ISBN 978-0-6151-7984-1.
13. Heath, Sir Thomas Little ; Heiberg, Johan Ludvig (1908). Los trece libros de los Elementos de Euclides. Vol. v. 1. The University Press. p. 212.
14. Drozdek, Adán (2008).En el principio era el Apeiron : el infinito en la filosofía griega. Stuttgart, Alemania: Franz Steiner Verlag. ISBN 978-3-515-09258-6.
15. "Las paradojas de Zenón". Universidad de Stanford . 15 de octubre de 2010. Consultado el 3 de abril de 2017 .
16. Russell 1996, pág. 347
17. Cauchy, Augustin-Louis (1821). Curso de Análisis de la Escuela Real Politécnica. Libraires du Roi y de la Bibliothèque du Roi. pag. 124 . Consultado el 12 de octubre de 2019 .
18. Ian Stewart (2017). Infinito: una introducción muy breve. Oxford University Press. pág. 117. ISBN 978-0-19-875523-4. Archivado desde el original el 3 de abril de 2017.
19. Cajori, Florian (2007). Una historia de las notaciones matemáticas. Vol. 1. Cosimo, Inc. p. 214. ISBN 9781602066854.
20. Cajori 1993, sec. 421, vol. II, pág. 44
21. "Aritmética infinita".
22. Cajori 1993, sec. 435, vol. II, pág. 58
23. Grattan-Guinness, Ivor (2005). Escritos emblemáticos en matemáticas occidentales 1640-1940. Elsevier. pág. 62. ISBN 978-0-08-045744-4. Archivado desde el original el 3 de junio de 2016.Extracto de la pág. 62
24. Weyl, Hermann (2012), Peter Pesic (ed.), Niveles de infinito / Escritos selectos sobre matemáticas y filosofía , Dover, pág. 17, ISBN 978-0-486-48903-2
25. AG, Compart. «Carácter Unicode «∞» (U+221E)». Compart.com . Consultado el 15 de noviembre de 2019 .
26. "Lista de símbolos matemáticos de LaTeX - OeisWiki". oeis.org . Consultado el 15 de noviembre de 2019 .
27. Scott, Joseph Frederick (1981), El trabajo matemático de John Wallis, DD, FRS, (1616–1703) (2.ª ed.), American Mathematical Society , pág. 24, ISBN 978-0-8284-0314-6, archivado desde el original el 9 de mayo de 2016
28. Martin-Löf, Per (1990), "Matemáticas del infinito", COLOG-88 (Tallin, 1988) , Lecture Notes in Computer Science, vol. 417, Berlín: Springer, págs. 146-197, doi :10.1007/3-540-52335-9_54, ISBN 978-3-540-52335-2, Sr.  1064143
29. O'Flaherty, Wendy Doniger (1986), Sueños, ilusiones y otras realidades, University of Chicago Press, pág. 243, ISBN 978-0-226-61855-5, archivado desde el original el 29 de junio de 2016
30. Toker, Leona (1989), Nabokov: El misterio de las estructuras literarias, Cornell University Press, pág. 159, ISBN 978-0-8014-2211-9, archivado desde el original el 9 de mayo de 2016
31. Bell, John Lane . "Continuidad e infinitesimales". En Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy .
32. Taylor 1955, pág. 63
33. Estos usos del infinito para integrales y series se pueden encontrar en cualquier texto de cálculo estándar, como Swokowski 1983, pp. 468–510.
34. "Secuencias propiamente divergentes - Mathonline". mathonline.wikidot.com . Consultado el 15 de noviembre de 2019 .
35. Aliprantis, Charalambos D.; Burkinshaw, Owen (1998), Principios del análisis real (3.ª ed.), San Diego, CA: Academic Press, Inc., pág. 29, ISBN 978-0-12-050257-8, MR  1669668, archivado desde el original el 15 de mayo de 2015
36. Gemignani 1990, pág. 177
37. Beutelspacher, Albrecht; Rosenbaum, Ute (1998), Geometría proyectiva / de los fundamentos a las aplicaciones , Cambridge University Press, pág. 27, ISBN 978-0-521-48364-3
38. Rao, Murali; Stetkær, Henrik (1991). Análisis complejo: una invitación: una introducción concisa a la teoría de funciones complejas. World Scientific. pág. 113. ISBN 9789810203757.
39. Eric Schechter (2005). Lógica clásica y no clásica: Introducción a las matemáticas de las proposiciones (edición ilustrada). Princeton University Press. pág. 118. ISBN 978-0-691-12279-3.Extracto de la página 118
40. AW Moore (2012). El Infinito (2ª edición revisada). Rutledge. pag. xiv. ISBN 978-1-134-91213-1.Extracto de la página xiv
41. Rudolf V. Rucker (2019). El infinito y la mente: la ciencia y la filosofía del infinito (edición ilustrada). Princeton University Press. pág. 85. ISBN 978-0-691-19125-6.Extracto de la página 85
42. Dauben, Joseph (1993). "Georg Cantor y la batalla por la teoría de conjuntos transfinitos" (PDF) . Actas de la 9.ª conferencia de la ACMS : 4.
43. Cohen 1963, pág. 1143
44. Felix Hausdorff (2021). Teoría de conjuntos. American Mathematical Soc. pág. 44. ISBN 978-1-4704-6494-3.Extracto de la página 44
45. Sagan 1994, págs. 10-12
46. Michael Frame; Benoit Mandelbrot (2002). Fractales, gráficos y educación matemática (edición ilustrada). Cambridge University Press. pág. 36. ISBN 978-0-88385-169-2.Extracto de la página 36
47. Kline 1972, págs. 1197-1198
48. Lentes dóricas Archivado el 24 de enero de 2013 en Wayback Machine . Nota de aplicación: Axicons. 2. Distribución de intensidad. Consultado el 7 de abril de 2014.
49. John Gribbin (2009), En busca del multiverso: mundos paralelos, dimensiones ocultas y la búsqueda definitiva de las fronteras de la realidad , ISBN 978-0-470-61352-8 , pág. 88. 
50. Brake, Mark (2013). Alien Life Imagined: Communicating the Science and Culture of Astrobiology (edición ilustrada). Cambridge University Press. pág. 63. ISBN 978-0-521-49129-7.
51. Koupelis, Theo; Kuhn, Karl F. (2007). En busca del universo (edición ilustrada). Jones & Bartlett Learning. pág. 553. ISBN 978-0-7637-4387-1.Extracto de la pág. 553
52. "¿Se expandirá el Universo para siempre?". NASA. 24 de enero de 2014. Archivado desde el original el 1 de junio de 2012. Consultado el 16 de marzo de 2015 .
53. "Nuestro universo es plano". FermiLab/SLAC. 7 de abril de 2015. Archivado desde el original el 10 de abril de 2015.
54. Marcus Y. Yoo (2011). "Conexiones inesperadas". Ingeniería y ciencia . LXXIV1: 30.
55. Weeks, Jeffrey (2001). La forma del espacio . CRC Press. ISBN 978-0-8247-0709-5.
56. Kaku, M. (2006). Mundos paralelos. Knopf Doubleday Publishing Group.
57. McKee, Maggie (25 de septiembre de 2014). «Ingenioso: Paul J. Steinhardt, el físico de Princeton sobre lo que está mal con la teoría de la inflación y su visión del Big Bang». Nautilus . N.º 17. NautilusThink Inc. . Consultado el 31 de marzo de 2017 .
58. Diccionario de filosofía de Cambridge , segunda edición, pág. 429
59. "Infinity y NaN (La biblioteca C de GNU)". www.gnu.org . Consultado el 15 de marzo de 2021 .
60. Gosling, James; et al. (27 de julio de 2012). "4.2.3". The Java Language Specification (Java SE 7 ed.). California: Oracle America, Inc. Archivado desde el original el 9 de junio de 2012 . Consultado el 6 de septiembre de 2012 .
61. Stokes, Roger (julio de 2012). «19.2.1». Learning J. Archivado desde el original el 25 de marzo de 2012. Consultado el 6 de septiembre de 2012 .
62. Morris Kline (1985). Matemáticas para no matemáticos (edición ilustrada, íntegra y reimpresa). Courier Corporation. pág. 229. ISBN 978-0-486-24823-3.Extracto de la página 229, Sección 10-7
63. Schattschneider, Doris (2010). "El lado matemático de MC Escher" (PDF) . Avisos de la AMS . 57 (6): 706–718.
64. Ajedrez infinito en Chess Variant Pages Archivado el 2 de abril de 2017 en Wayback Machine . Un esquema de ajedrez infinito.
65. "Ajedrez infinito, PBS Infinite Series" Archivado el 7 de abril de 2017 en Wayback Machine. PBS Infinite Series, con fuentes académicas de J. Hamkins (ajedrez infinito: Evans, CDA; Joel David Hamkins (2013). "Valores de juego transfinitos en ajedrez infinito". arXiv : 1302.4377 [math.LO].y Evans, CDA; Joel David Hamkins; Norman Lewis Perlmutter (2015). "Una posición en ajedrez infinito con valor de partida $ω^4$". arXiv : 1510.08155 [math.LO].).
66. Elglaly, Yasmine Nader; Quek, Francis. "Reseña de "De dónde vienen las matemáticas: cómo la mente encarnada hace que las matemáticas existan" de George Lakoff y Rafael E. Nunez" (PDF) . CHI 2009. Archivado desde el original (PDF) el 2020-02-26 . Consultado el 2021-03-25 .

Bibliografía

• Cajori, Florian (1993) [1928 y 1929], Una historia de las notaciones matemáticas (dos volúmenes encuadernados en uno), Dover, ISBN 978-0-486-67766-8
• Gemignani, Michael C. (1990), Topología elemental (2.ª ed.), Dover, ISBN 978-0-486-66522-1
• Keisler, H. Jerome (1986), Cálculo elemental: un enfoque utilizando infinitesimales (2.ª ed.)
• Maddox, Randall B. (2002), Pensamiento y escritura matemática: una transición a las matemáticas abstractas , Academic Press, ISBN 978-0-12-464976-7
• Kline, Morris (1972), Pensamiento matemático desde la antigüedad hasta los tiempos modernos , Nueva York: Oxford University Press, págs. 1197–1198, ISBN 978-0-19-506135-2
• Russell, Bertrand (1996) [1903], Los principios de las matemáticas , Nueva York: Norton, ISBN 978-0-393-31404-5, OCLC  247299160
• Sagan, Hans (1994), Curvas que llenan el espacio , Springer, ISBN 978-1-4612-0871-6
• Swokowski, Earl W. (1983), Cálculo con geometría analítica (edición alternativa), Prindle, Weber & Schmidt, ISBN 978-0-87150-341-1
• Taylor, Angus E. (1955), Cálculo avanzado , Blaisdell Publishing Company
• Wallace, David Foster (2004), Todo y más: Una historia compacta del infinito , Norton, WW & Company, Inc., ISBN 978-0-393-32629-1

Fuentes

• Aczel, Amir D. (2001). El misterio del Aleph: matemáticas, la Cábala y la búsqueda del infinito . Nueva York: Pocket Books. ISBN 978-0-7434-2299-4.
• DP Agrawal (2000). Matemáticas antiguas jainistas: una introducción , Infinity Foundation.
• Bell, JL: Continuidad e infinitesimales. Stanford Encyclopedia of philosophy. Revisado en 2009.
• Cohen, Paul (1963), "La independencia de la hipótesis del continuo", Actas de la Academia Nacional de Ciencias de los Estados Unidos de América , 50 (6): 1143–1148, Bibcode :1963PNAS...50.1143C, doi : 10.1073/pnas.50.6.1143 , PMC  221287 , PMID  16578557.
• Jain, LC (1982). Ciencias exactas a partir de fuentes jainistas .
• Jain, LC (1973). "Teoría de conjuntos en la escuela Jaina de matemáticas", Indian Journal of History of Science .
• Joseph, George G. (2000). La cresta del pavo real: raíces no europeas de las matemáticas (2.ª ed.). Penguin Books . ISBN 978-0-14-027778-4.
• H. Jerome Keisler: Cálculo elemental: un enfoque con infinitesimales. Primera edición, 1976; segunda edición, 1986. Este libro ya no se imprime. La editorial ha devuelto los derechos de autor al autor, que ha puesto a disposición la segunda edición en formato .pdf, disponible para su descarga en http://www.math.wisc.edu/~keisler/calc.html
• Eli Maor (1991). Hasta el infinito y más allá. Princeton University Press. ISBN 978-0-691-02511-7.
• O'Connor, John J. y Edmund F. Robertson (1998). 'Georg Ferdinand Ludwig Philipp Cantor' Archivado el 16 de septiembre de 2006 en Wayback Machine , archivo de Historia de las matemáticas de MacTutor .
• O'Connor, John J. y Edmund F. Robertson (2000). 'Matemáticas jainas' Archivado el 20 de diciembre de 2008 en Wayback Machine , archivo de Historia de las matemáticas de MacTutor .
• Pearce, Ian. (2002). 'Jainismo', Archivo de Historia de las Matemáticas de MacTutor .
• Rucker, Rudy (1995). El infinito y la mente: la ciencia y la filosofía del infinito . Princeton University Press. ISBN 978-0-691-00172-2.
• Singh, Navjyoti (1988). "Teoría jaina del infinito actual y de los números transfinitos". Revista de la Sociedad Asiática . 30 .

Enlaces externos

• "El Infinito". Enciclopedia de Filosofía en Internet .
• Infinity en In Our Time en la BBC
• Curso intensivo sobre las matemáticas de conjuntos infinitos Archivado el 27 de febrero de 2010 en Wayback Machine , por Peter Suber. De St. John's Review, XLIV, 2 (1998) 1–59. El apéndice independiente de Infinite Reflections , a continuación. Una introducción concisa a las matemáticas de conjuntos infinitos de Cantor.
• Reflexiones infinitas Archivado el 5 de noviembre de 2009 en Wayback Machine , por Peter Suber. Cómo las matemáticas de Cantor sobre el infinito resuelven un puñado de antiguos problemas filosóficos sobre el infinito. De St. John's Review, XLIV, 2 (1998) 1–59.
• Grime, James. "El infinito es más grande de lo que crees". Numberphile . Brady Haran . Archivado desde el original el 2017-10-22 . Consultado el 2013-04-06 .
• Hotel Infinito
• John J. O'Connor y Edmund F. Robertson (1998). 'Georg Ferdinand Ludwig Philipp Cantor' Archivado el 16 de septiembre de 2006 en Wayback Machine , archivo de Historia de las matemáticas de MacTutor .
• John J. O'Connor y Edmund F. Robertson (2000). 'Matemáticas jainistas' Archivado el 20 de diciembre de 2008 en Wayback Machine , archivo de Historia de las matemáticas de MacTutor .
• Ian Pearce (2002). 'Jainismo', archivo de Historia de las Matemáticas de MacTutor .
• El misterio del Aleph: las matemáticas, la cábala y la búsqueda del infinito
• Diccionario del infinito (recopilación de artículos sobre el infinito en física, matemáticas y filosofía)