En geometría, ¿qué es un punto? He visto la definición de Euclides y definiciones en algunos libros de texto. En ningún lugar he encontrado una noción completa. Y luego hice una definición basada en todo lo que sé sobre matemáticas. Ahora, necesito saber si lo que sé es correcto o no. Un libro dijo, si hacemos un punto en un papel, es un modelo de un punto. Otro dijo que no tiene tamaño. Otro dijo, todo el mundo sabe qué es. Otro dijo que, si se colocan uno tras otro, forman una línea recta. Otro dijo, sin dimensiones. Otro dijo, no puede ser visto de ninguna manera.
Un buen libro sobre la axiomática de la geometría y la historia detrás de ella (en particular, los intentos de "demostrar" el quinto postulado) es "Higher Geometry", por Efimov. Desafortunadamente, parece ser algo difícil de encontrar este libro en la actualidad.
5 votos
Sería de ayuda si proporcionaras tu definición...
15 votos
Un punto es casi siempre indefinido en la geometría: se considera un objeto axiomático, como un número natural. Puedes explicar lo que quieras que represente un punto, pero lo que "es" es un concepto abstracto sin definición más allá de las propiedades que afirmamos para él en nuestros axiomas.
2 votos
@ReeksMaths: ¿Qué está mal con la definición de MathWorld? Saludos
13 votos
Si él supiera la definición, perdería el punto.
0 votos
@Mahmud: No hables tonterías en este foro. No es un lugar para hablar tonterías.
0 votos
Los objetos más complejos también se consideran puntos, como los ultrafiltros en la compactificación de Stone-Cech (estos son difíciles de describir).
0 votos
La primera conferencia que recuerdo como estudiante universitario fue cuando el profesor señaló que un diagrama de Venn era un modelo para conjuntos que utilizaba colecciones de puntos en el plano con una cierta cardinalidad. Me impactó en ese momento, pero me hizo darme cuenta de la diferencia entre un modelo de ciertos axiomas (tienes alguna noción de "algún otro lugar" de lo que significa que guía tu comprensión) y el sistema definido por los axiomas (que no depende de ningún modelo en particular). Por supuesto, si deseas un campo ordenado completo, todos los modelos son isomorfos, pero eso es un hecho que debe ser demostrado a partir de los axiomas.
0 votos
Otro ejemplo de punto más complejo es: un polinomio es un punto en un espacio vectorial.
0 votos
@ThomasAndrews pon eso en una respuesta.
11 votos
ReekMaths: Tranquilo, @Mahmud tiene permitido hacer chistes en los comentarios. Especialmente si son... directos.
0 votos
Creo que no es un lugar para bromas. Y, no te preocupes Rahul Narain, te aseguro que estaba relajado durante la broma.