Obviamente depende de la definición de "existe". Algunos autores explícitamente trabajo a lo largo de la extendida línea real con $\pm\infty$ contigua, de modo que tales límites infinitos hacer explícita de "existir" como valores de primera clase. Pero no hay consenso. Hay que prestar atención a que el autor definiciones y convenciones.
Tal vez vale la pena mencionar, aunque este caso es más bien trivial - que los puntos adyacentes en el infinito es un caso especial de las diversas construcciones que intento de simplificar las cuestiones por algún tipo existencial de cierre. A continuación añado un extracto de un viejo 1996 post donde doy un poco más de discusión:
Este hilo se originó en una consulta como si el infinito, o 1/0
podría ser admitido como un "valor", y de pronto cayó en la discusión
de la esfera de Riemann y otros topológica de las manifestaciones de
el infinito a través de compactification. A continuación señalo un par de
maravilloso referencias sobre estos temas; además me gustaría
traiga a su atención una perspectiva mucho más amplia sobre estos temas,
es decir, que existencial de cierre como el estudiado en el modelo de la teoría.
Hay una hermosa exposición de los puntos en el infinito, proyectiva
cierre, compactifications, modificaciones, etc. en [FM][1] Capítulo 7,
Los puntos en el Infinito, por H. Behnke y H. Grauert. Este es el volumen III
en la excelente "Fundamentos de Matemáticas" de la serie,
que merece estar en la biblioteca de cada ciernes matemático.
Una más profunda apreciación de la metodología detrás de estas construcciones
puede ser mediante el estudio de ellos a partir de un modelo de la teoría de la perspectiva, en
en particular desde el punto de vista existencial, el cierre y la modelo
la finalización. Kenneth Manders ha escrito una serie de pensamiento
provocando papeles [2],[3] a partir de esta perspectiva.
Cierro con un extracto de la introducción a la [2]:
"La sistemática de la contigüidad de las raíces o soluciones simples
condiciones, como en la formación de los números complejos colindando
imaginarios, o en la contigüidad de los puntos "en el infinito", en el tradicional
la geometría, pueden ser analizados como existencial de cierre y modelo
la finalización. "Existencial cierre' se refiere a una clase de procesos
que intentar rematar un dominio y simplificar su teoría por
contiguo elementos-más bien, se refiere a la formal
relación que se obtiene en este proceso. Modelo de 'terminación' es
uno de los términos empleados cuando el proceso tiene éxito. El
la formación de los números complejos, y el movimiento de los afín a
geometría proyectiva, son éxitos de este tipo. Así, la teoría de
existencial de cierre proporciona una base teórica de Hilbert "método
de elementos ideales." Yo ahora esbozar la teoría existencial de cierre,
para llevar a cabo el cuándo, el cómo, y en qué sentido existencial de cierre da
conceptual de la simplificación."
[FM] Fundamentos de las matemáticas. Vol. III. Análisis.
Editado por H. Behnke, F. Bachmann, K. Fladt y W. Suss.
Traducido de la segunda edición alemana por S. H. Gould.
Reimpresión de la edición de 1974. MIT Press,
Cambridge, Mass.-Londres, 1983. xiii+541 pp. ISBN: 0-262-52095-8 00A05
[2] Manders, Kenneth
Extensión de dominio y la filosofía de la matemática.
J. Muerte. 86 (1989), no. 10, 553--562.
http://www.jstor.org/stable/2026666
[3] Manders, Kenneth L.
La lógica y relaciones conceptuales en matemáticas.
La lógica coloquio '85 (Orsay, 1985), 193--211,
Stud. Lógica Que Se Encuentra. Math., 122,
North-Holland, Amsterdam-Nueva York, 1987.
http://dx.doi.org/10.1016/S0049-237X(09)70554-3