Problème des galaxies nainesvignette|NGC 1140, une galaxie naine située à environ 60 millions d'années-lumière de la Terre (télescope spatial Hubble). Le problème des galaxies naines est l'un de ceux qui résultent des simulations informatiques cosmologiques qui prédisent l'évolution de la distribution de la matière dans l'Univers. La matière noire semble s'amasser hiérarchiquement et en un nombre sans cesse croissant de halos d'une taille sans cesse décroissante.
Galaxie naine du SagittaireLa galaxie naine du Sagittaire est une galaxie satellite de la Voie lactée. D’environ de diamètre, elle se trouve actuellement à de la Terre et voyage sur une orbite polaire à environ du centre de la Voie lactée. Son type fait l’objet de débats, ayant été considéré comme elliptique et sphéroïdal, aussi les termes de galaxie naine sphéroïdale du Sagittaire ou galaxie naine elliptique du Sagittaire sont eux aussi mentionnés. Ce dernier possède l’abréviation SagDEG (de l’anglais pour Sagittarius Dwarf Elliptical Galaxy) également usitée.
Relation réflexiveEn mathématiques, une relation binaire peut avoir, entre autres propriétés, la réflexivité ou bien l'antiréflexivité (ou irréflexivité). Une relation R sur un ensemble X est dite : réflexive si tout élément de X est R-relié à lui-même :ou encore, si le graphe de R contient la diagonale de X (qui est le graphe de l'égalité) ; antiréflexive (ou irréflexive) si aucun élément de X n'est R-relié à lui-même :ou encore, si son graphe est disjoint de la diagonale de X.
Relation ternaireEn mathématiques, une relation ternaire est une relation d'arité 3, de même que les relations binaires, plus courantes, sont d'arité 2. Formellement, une relation ternaire est donc représentée par son graphe, qui est une partie du produit X × Y × Z de trois ensembles X, Y et Z. Le graphe d'une fonction de deux variables f : X × Y → Z, c'est-à-dire l'ensemble des triplets de la forme (x, y, f(x, y)), représente la relation ternaire R définie par : R(x, y, z) si z est l' de (x, y) par f.
Historique des connaissances sur les galaxies, amas de galaxies et structures à grande échelle du cosmosCet article concerne l'historique des connaissances sur les galaxies, amas de galaxies, et structures à grande échelle du cosmos. Démocrite propose l'idée que la bande brillante visible dans le ciel nocturne connue sous le nom de Voie lactée peut être constituée d'étoiles ; Aristote croit que la Voie lactée est causée par « la combustion d'exhalaisons incandescentes de certaines étoiles qui sont grandes, nombreuses et proches les unes des autres » et que la « combustion s'est allumée dans la partie supérieure de l'atmosphère, dans la région du monde en contact avec les mouvements célestes » ; 964 : Abd al-Rahman al Soufi (Azophi), un astronome perse, effectue la première observation connue de la galaxie d'Andromède et du Grand Nuage de Magellan dans son Livre des Étoiles fixes.
Amas stellaireUn amas stellaire est une concentration locale d'étoiles d'origine commune et liées entre elles par la gravitation, dans un espace dont les dimensions peuvent atteindre 200 pc. Ces objets sont classés en plusieurs familles selon leur aspect ; ce sont, par compacité croissante : les associations stellaires, les amas ouverts et les amas globulaires. Les amas stellaires se maintiennent par l'attraction gravitationnelle mutuelle de leurs membres.
Énergie noirevignette|redresse=1.1|Répartition de la densité d'énergie de l'Univers après exploitation des premières données obtenues par le satellite Planck. L'énergie noire en serait la composante principale. En cosmologie, lénergie noire ou énergie sombre (dark energy) est une forme d'énergie hypothétique remplissant uniformément tout l'Univers et dotée d'une pression négative, elle se comporte comme une force gravitationnelle répulsive.
Principe de CopernicLe principe de Copernic (ou principe copernicien) est le postulat selon lequel il n'y a pas de point de vue privilégié dans l'Univers. Le terme est une référence au fait que Nicolas Copernic a été le principal promoteur de l'héliocentrisme, et donc est celui qui a fait admettre que l'Homme n'est pas au centre de l'univers. Le principe de Copernic va plus loin, puisqu'il ne postule pas l'existence d'un point privilégié, en particulier lié à l'observateur. Ce principe n'est pas vraiment à visée philosophique.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Galaxie elliptiqueUne galaxie elliptique est un type de galaxie qui regroupe des concentrations sphéroïdales de milliards d’étoiles qui ressemblent à des amas globulaires à grande échelle. Elles ont une très petite structure interne et la densité des étoiles diminue doucement du centre très lumineux vers des bords diffus. Elles sont classées dans la séquence de Hubble en tant que type E et se déclinent selon leur forme du type E0 (circulaire), au type E7 (fortement elliptique).
