Une position primitive de dimension zéro dans un espace géométrique ou topologique sans étendue ; l'élément atomique à partir duquel on construit droites, courbes et structures de dimension supérieure, traité souvent sans coordonnées ou représenté par des coordonnées dans un modèle.

Principe

Les points servent de référents indivisibles : la géométrie et la topologie spécifient incidence, séparation et voisinages locaux en utilisant les points comme primitives ou comme éléments d'un ensemble, permettant de définir droites, topologies, variétés et mesures.

Démonstration

En géométrie euclidienne, un point est représenté par un n-uplet de coordonnées (x1,...,xn) ; en topologie, un point est un élément de l'ensemble sous-jacent dont les voisinages déterminent les propriétés locales ; en théorie de la mesure, une mesure de Dirac concentre la masse en un point.

Mauvaise application

Considérer un point comme ayant une étendue physique (confondre l'idéalisation mathématique avec des particules mesurables) ou supposer que des définitions point-par-point se généralisent sans problème aux distributions ou fonctions généralisées sans traiter les singularités.

Conséquence

Admettre les points comme primitives permet des définitions précises d'incidence, de continuité, de différentiabilité et de supports singuliers ; cela crée aussi des idéalisations (charges ponctuelles, masses ponctuelles) qui exigent des modèles limites ou distributionnels en analyse et en physique.

Inversion

La renverse considère les régions ou ouverts comme primitifs et traite le 'point' comme dérivé (topologie sans points, théorie des locales) ou remplace les points par des ultrafiltre ou classes d'équivalence, privilégiant les ensembles observables plutôt que les atomes idéaux.

Limite

S'applique à la géométrie classique, à la topologie et à la théorie des variétés où les points sont des éléments d'ensembles sous-jacents ; exclut les contextes qui évitent volontairement les points (topologie sans points), ou les modèles physiques où les effets de taille finie rendent l'idéalisation ponctuelle invalide sans renormalisation.

Tension sémantique

Tension entre le point géométrique intuitif et des notions apparentées comme 'sommet' ou 'atome' en contextes algébriques, et entre le point comme position et la distribution de Dirac qui représente un point avec une masse mesurée.

Synthèse

Le point mathématique est la brique fondamentale zéro-dimensionnelle des structures géométriques et topologiques : une abstraction sans étendue qui sous-tend coordonnées, voisinages, relations d'incidence et concentrations distributionnelles, tout en restant une idéalisation nécessitant prudence en applications analytiques et physiques.