Mesure de HaarEn mathématiques, une mesure de Haar sur un groupe localement compact est une mesure de Borel quasi-régulière non nulle invariante par translation à gauche. Autrement dit, pour toute partie borélienne B de G, et pour tout g dans G, on a : L'existence d'une mesure de Haar est assurée dans tout groupe localement compact. Elle est finie sur les parties compactes de G. De plus, toute mesure borélienne complexe invariante par translations à gauche s'écrit où est un nombre complexe.
Mesure de RadonIn mathematics (specifically in measure theory), a Radon measure, named after Johann Radon, is a measure on the σ-algebra of Borel sets of a Hausdorff topological space X that is finite on all compact sets, outer regular on all Borel sets, and inner regular on open sets. These conditions guarantee that the measure is "compatible" with the topology of the space, and most measures used in mathematical analysis and in number theory are indeed Radon measures.
Exploration du système martienvignette|Le sol de Mars photographié par Viking 1 en 1975. vignette|Burns Cliff, affleurement rocheux à l'intérieur du cratère Endurance photographié par le rover MER Opportunity en 2004. vignette|Selfie de Curiosity pris en 2012dans le cratère Gale. L’exploration du système martien, qui comprend la planète Mars et ses deux satellites, tient une place particulièrement importante dans les programmes scientifiques d'exploration du Système solaire des principales puissances spatiales.
Vie sur MarsLa possibilité de vie sur la planète Mars est une hypothèse historique formulée en raison de la proximité et des similitudes entre cette planète et la Terre. Les premières investigations sérieuses à ce sujet datent du et se poursuivent aujourd'hui, notamment à l'aide des missions d'explorations in situ. Car, bien que les « Martiens » constituent un élément récurrent dans les divertissements populaires tels que le cinéma et la bande-dessinée, la présence de vie sur Mars, actuelle ou passée, reste une question ouverte.
SymétrieLa symétrie est une propriété d'un système : c'est lorsque deux parties sont semblables. L'exemple le plus connu est la symétrie en géométrie. De manière générale, un système est symétrique quand on peut permuter ses éléments en laissant sa forme inchangée. Le concept d'automorphisme permet de préciser cette définition. Un papillon, par exemple, est symétrique parce qu'on peut permuter tous les points de la moitié gauche de son corps avec tous les points de la moitié droite sans que son apparence soit modifiée.
