Espace (notion) - Définition

Géométrie

L'espace est d'abord une notion de géométrie. Pendant longtemps (et aujourd'hui encore en géométrie pure), le géomètre s'attacha à conceptualiser l'espace (tridimensionnel) sensible (c'est-à-dire l'Espace de l'astronome). Cet espace a pour composants fondamentaux : le point, la droite et le plan. Il fut d'abord euclidien jusqu'à l'invention de géométries non-euclidiennes. Dans tous les cas, l'espace conserve une apparence euclidienne à petite échelle.

Par ailleurs, la géométrie analytique a introduit la notion de dimension de l'espace, et développa une géométrie multidimensionnelle (de dimension finie, puis infinie).

Enfin, la géométrie moderne s'est enrichie de la topologie et peut désormais être pleinement qualifiée de science de l'espace.

Diverses disciplines dérivées de la géométrie, tant en physique qu'en mathématiques, donne à "leur espace" un sens plus particulier :

Théorie de la connaissance

Voir l'article détaillé Théorie de la connaissance.

L'espace est la forme de notre expérience sensible. C'est un milieu idéal, c'est-à-dire une structure de l'esprit, qui contient nos perceptions et où nous localisons le mouvement et les corps. Dans l'expérience quotidienne, l'espace est homogène, isotrope, continu et illimité.

On distingue l'espace psychologique et l'espace mathématique. L'espace psychologique peut être divisé en espaces visuel, tactile, musculaire, etc.

Mathématiques

En Mathématiques, un espace est un ensemble muni de structures supplémentaires remarquables. Les éléments peuvent être appelés suivant le contexte points, vecteurs, fonctions, ... En voici quelques exemples.

• Un espace topologique est un ensemble muni d'une structure très générale (la topologie), qui permet de définir la notion de voisinage d'un point. Cette structure offre le langage pour définir les notions de continuité et de limite.
• Un espace métrique est un espace topologique dont la topologie est définie au moyen d'une distance. Cette dernière permet d'estimer la taille d'un ensemble (diamètre), la proximité par rapport à un point, ...(+,0 -,Binär -,=-1)
• Un espace uniforme est un espace topologique dont la topologie est définie par un ensemble d'écarts finis (plus une condition de séparation). Les espaces uniformes comprennent notamment les groupes topologiques.
• Un espace vectoriel est un ensemble dont les éléments, les vecteurs, peuvent s'additionner et être multipliés par des scalaires. Sur un corps donné, les espaces vectoriels se classifient par leur dimension, par définition le cardinal de n'importe quelle base. Un espace affine est de manière informelle un espace vectoriel pour lequel la position du vecteur nul a été oubliée. Cette structure autorise à parler de linéarité.
• Un ensemble muni à la fois d'une structure d'espace vectoriel et d'une structure d'espace topologique, compatibles entre elles en un certain sens, s'appelle un espace vectoriel topologique.
  • Un espace vectoriel normé est un espace vectoriel topologique dans lequel on dispose d'une notion de longueur d'un vecteur, une norme, ce qui en fait en particulier un espace métrique. Mais certains espaces vectoriels topologiques sont métrisables sans que pour autant leur topologie puisse être définie par une norme.
  • Un espace vectoriel topologique localement convexe est un espace vectoriel topologique pour lequel la topologie est définie par un ensemble de semi-normes.
• Un espace de Minkowski est un espace vectoriel de dimension 4, muni d'un produit interne (multiplication entre vecteur), de signature (+, -, -, -). Ce produit interne permet de définir la notion d'orthogonalité. Interprété en tant que distance à un point donné (bien que ce ne soit pas une distance au sens mathématique), ce produit interne sépare l'espace en deux parties: l'espace des points pour lesquelles une distance existe, et l'espace des points 'inaccessibles'. Interprétés dans le cadre de la relativité restreinte, les points de cet espace temps (position, date) inaccessibles sont ceux qu'il est impossible d'atteindre sans dépasser la vitesse de la lumière.
• Un espace vectoriel symplectique est un espace vectoriel de dimension fini muni d'une forme bilinéaire antisymétrique et non dégénérée.
• En théorie des probabilités (mais également en théorie de la décision), l'espace des évènements élémentaires est appelé l'univers. C'est, en quelque sorte, l'espace de travail. L'univers muni d'une mesure sur une tribu forme un espace probabilisé.