Formation et évolution du Système solaire
Les lunes des corps solides ont été créées par des collisions et par des captures. Les deux petites lunes de Mars, Déimos et Phobos, seraient des astéroïdes capturés. La Lune de la Terre aurait été formée à la suite d'une seule gigantesque collision oblique. L'objet impacteur, appelé Théia, devait avoir une masse et une taille comparables à celle de Mars, et l'impact aurait eu lieu quelques dizaines de millions d'années après la formation des planètes internes. La collision projeta en orbite une partie du manteau de Théia, qui s'agrégea pour former la Lune. Cet impact géant fut le dernier d'une série de fusions qui formèrent la Terre. Théia se serait formé sur l'un des points de Lagrange du couple Terre-Soleil (soit L4, soit L5), puis il aurait dérivé de sa position. Charon, la lune de Pluton, pourrait s'être aussi formée par l'intermédiaire d'une large collision ; les couples Pluton-Charon et Terre-Lune sont les seuls du Système solaire dans lesquels la masse du satellite est supérieure à 1 % de celle de la planète.
Colonisation des lunes de Jupiter
Les satellites de Jupiter, ou plus précisément satellites naturels de la planète Jupiter sont des candidats potentiels pour la colonisation de l'espace. En date du 30 janvier 2012, on a confirmé 67 lunes connues de Jupiter; c'est le plus grand nombre de satellites ouverts de toutes les planètes du système solaire. En outre, Jupiter possède un système d'anneaux. Trois lunes de Jupiter, Europe, Ganymède et Callisto, sont les principaux candidats à la colonisation du système solaire, avec Mars, Vénus, la Lune, Mercure et la ceinture d'astéroïdes dans laquelle se situe Cérès, Pallas, Junon, Vesta, Astrée, Hébé