Hay al menos dos sentidos de lo que podría significar aquí. Ambos se han separado y distinto de los estándares de la prueba, y por tanto, es imposible suministrar la prueba. En ambos, la cuestión se reduce a que, fundamentalmente, "¿cuál es la estructura microscópica de los puntos en una línea?" Que es, "¿cómo podemos describir todos los puntos, entonces, de forma individual y en sus relaciones el uno al otro en un explícito, concreto manera basada en la indiscutible construcciones?" Hay, de hecho, matemáticamente, muchas, muchas maneras diferentes que usted puede matriz de puntos y muchos diferentes niveles de detalle con el que se puede hablar de tales arreglos que hace esta pregunta más pertinente y, definitivamente, lejos de ser evidente, como se podría pensar al principio de haber sido condicionado por la enseñanza, la perforación, y la reprimenda/"takemywordism".
- Uno de estos es puramente mathematico-filosóficos sentido: ¿el número real de la línea de representar fielmente lo que nos intuitivamente creo que las distancias son? Esto es en realidad algo que se conoce como el "Cantor-Dedekind Tesis", y afirma que este en sentido afirmativo o, más precisamente, que la línea de la intención y honoerd en la tradición de la antigua grecia, la geometría y sus modernas elaboraciones en el post-clásico eras de la Europea y de la historia Islámica, tiene su microestructura mejor capturados por el real moderna línea de construcción de Dedekind.
- La segunda es una pregunta de la física y de las ciencias empíricas, específicamente de la aplicación para el Universo en el que vivimos: el número real de la línea de captura fielmente la microestructura de las distancias a lo largo de una línea real (donde "real" significa la realidad y no "números reales") entre dos puntos en el mundo real, el espacio en el que nuestras vidas reales?
No podemos dar una prueba de uno. En el primer caso, diferentes personas pueden tener diferentes intuiciones y, por otra parte, desde una perspectiva puramente formalmente vista matemático, esta tesis es como otros, tales como la "tesis de Church-Turing" respecto de cálculo: es básicamente una afirmación de una posición estándar en el significado de un término - aquí la "distancia" o "la microestructura de la línea", no, "cálculo" - que es inherentemente sujetas a la posibilidad de recurrir. El significado no es algo que puede ser comprobado/refutado: como la vieja pregunta de prescriptivism en idioma ilustra.
Para el segundo, podemos, en el mejor de refutar esta mostrando que existía, por ejemplo, una distancia mínima absoluta de la escala. (La longitud de Planck, por cierto, es simplemente una propuesta de tal magnitud - es no , por cualquier medio comprobado que esto es y, de hecho, puede haber alguna evidencia en contra de que sea así.) En realidad no podemos demostrar que la estructura del espacio físico realmente es la de la recta numérica real, o cualquier otra cosa que consiste en preguntas de lo que parece con una resolución infinita, porque todas nuestras mediciones empíricas sólo puede tener finito de resolución, si es por otra cosa que el simple hecho de que en realidad no podemos almacenar la infinita cantidad de información que un ser infinitamente medición precisa representaría. Esto significa que no hay empírica manera de distinguir el espacio físico de ser isomorfo a $\mathbb{R}$, o pixeladas espacio con el tamaño de grano, $10^{-\mbox{Graham's number}}\ \mbox{US survey feet}$. O, desde el hyperreal y surrealista de los números, o de más restringido, pero aún más los sistemas complejos, como los números computables, los cuales presentan diferencias en detalle en inaccesible infinitamente escamas finas. Todo lo que podemos suponer es que el espacio es al menos tan detallada y fina como la mejor de las mediciones que hemos hecho hasta ahora.
En la final, $\mathbb{R}$ es un modelo científico, igual que todas las otras partes de nuestro físico teorías son modelos, y que se utiliza para representar el espacio físico en todas las teorías que en realidad son validados empíricamente. En ningún momento debe ser un modelo que se supone ser la realidad, sino que es una historia que contar acerca de y el lenguaje que usamos para hablar dela realidad, y su validación empírica de que es una manera de hablar acerca de la realidad que es fiel a los mismos en que no nos llevan a creer que las cosas suceden que no o que no suceda que, en la medida de los mismos. Probablemente muchas, muchas otras historias que podría contar ahí que son tan buenos, pero para la cual la contingencia histórica efectivamente ha cegado nosotros.
Y la razón por la que el uso de $\mathbb{R}$ para la construcción de modelos es principalmente uno de conveniencia: $\mathbb{R}$ es muy agradable trabajar con matemáticamente. Conceptualmente, goza de una estructura simple: efectivamente, puede considerarse como el resultado natural de querer un sistema integrado, de la simplificación del sistema de numeración en el que usted puede hablar acerca de las mediciones en el arbitrarias niveles de precisión, hasta una "limpia" de precisión infinita que es útil para los teóricos de los efectos. (De hecho, no es demasiado difícil en absoluto para saltar de que a una definición formal o, al menos, axiomatization.) Por otra parte, como tal, termina siendo muy limpia cuando se trata de la formulación de las cosas como el cálculo, una herramienta indispensable de la práctica moderna, la física y la modelo científico-edificio.
Ninguna de las otras propuestas alternativas - y hay muchos - han, hasta ahora, se muestra a sí mismos a ser tan agradable para la construcción de modelos. Si la realidad no es tan agradable, bien, pero incluso si pudiéramos de alguna manera demostrar que, a $\mathbb{R}$ sería todavía siguen siendo muy útiles en el trabajo con aproximadas de modelos para situaciones donde se puede ignorar su verdadera estructura - por ejemplo, casi todos los de formación profesional y de las aplicaciones tecnológicas de hoy en día. Incluso hoy en día, se utiliza en casos donde nos hacen saber que el subyacente de los fenómenos no son realmente como $\mathbb{R}$, por ejemplo, muchas de crecimiento de la población de los modelos de describir la población como un número real, por lo que se puede recurrir a uno mismo de herramientas como el cálculo en la construcción de los mismos, aunque, por supuesto, sabemos que el real poblaciones de organismos reales, sólo puede ser números enteros. $\mathbb{R}$ es, literalmente, que muy bueno.