Propriété universelleEn mathématiques, et plus précisément en théorie des catégories, une propriété universelle est la propriété des objets qui sont la solution d'un problème universel posé par un foncteur. De très nombreux objets classiques des mathématiques, comme la notion de produit cartésien, de groupe quotient, ou de compactifié, peuvent être définis comme des solutions de problèmes universels.
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
Théorèmes de SylowEn théorie des groupes finis, les théorèmes de Sylow forment une réciproque partielle du théorème de Lagrange, d'après lequel, si H est sous-groupe d'un groupe fini G, alors l'ordre de H divise l'ordre de G. Ces théorèmes garantissent, pour certains diviseurs de l'ordre de G, l'existence de sous-groupes d'ordre égal à ces diviseurs, et donnent une information sur le nombre de ces sous-groupes. Ces théorèmes portent le nom du mathématicien norvégien Ludwig Sylow, qui les démontra en 1872.
Espace de suites ℓpEn mathématiques, l'espace est un exemple d'espace vectoriel, constitué de suites à valeurs réelles ou complexes et qui possède, pour 1 ≤ p ≤ ∞, une structure d'espace de Banach. Considérons l'espace vectoriel réel R, c'est-à-dire l'espace des n-uplets de nombres réels. La norme euclidienne d'un vecteur est donnée par : Mais pour tout nombre réel p ≥ 1, on peut définir une autre norme sur R, appelée la p-norme, en posant : pour tout vecteur . Pour tout p ≥ 1, R muni de la p-norme est donc un espace vectoriel normé.
SpaceXvignette|Photo d'entreprise de quelques employés de SpaceX (23 février 2015). SpaceX, officiellement Space Exploration Technologies Corporation, est une entreprise américaine spécialisée dans le domaine de l'astronautique et du vol spatial. Fondée le 6 mai 2002 par Elon Musk, SpaceX est l'un des deux prestataires privés à qui la National Aeronautics and Space Administration (NASA) a confié un contrat de transport de fret vers la Station spatiale internationale (ISS) dans le cadre du programme COTS.
National Aeronautics and Space Administrationvignette|Lancement du Saturn V, lanceur du programme Apollo, projet emblématique de la NASA. La National Aeronautics and Space Administration (en français : « Administration nationale de l'aéronautique et de l'espace »), plus connue sous son acronyme NASA, est l'agence fédérale responsable de la majeure partie du programme spatial civil des États-Unis. La recherche aéronautique relève également du domaine de la NASA. Depuis sa création le , la NASA joue mondialement un rôle dominant dans le domaine du vol spatial habité, de l'exploration du Système solaire et de la recherche spatiale.
Espace (cosmologie)L'espace comprend les zones de l'Univers situées au-delà des et des corps célestes. Il s'agit de l'étendue de densité quasi nulle qui sépare les astres. On parle aussi de vide spatial. Selon les endroits de l'espace concernés, on le qualifie parfois d'espace cislunaire, interplanétaire, interstellaire (ou intersidéral) ou intergalactique pour désigner plus précisément le vide spatial qui est délimité respectivement par le système Terre-Lune, les planètes, les étoiles et les galaxies.
ThéorèmeEn mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes. Un théorème se démontre dans un système déductif et est une conséquence logique d'un système d'axiomes. En ce sens, il se distingue d'une loi scientifique, obtenue par l'expérimentation.
Espace de BanachEn mathématiques, plus particulièrement en analyse fonctionnelle, on appelle espace de Banach un espace vectoriel normé sur un sous-corps K de C (en général, K = R ou C), complet pour la distance issue de sa norme. Comme la topologie induite par sa distance est compatible avec sa structure d’espace vectoriel, c’est un espace vectoriel topologique. Les espaces de Banach possèdent de nombreuses propriétés qui font d'eux un outil essentiel pour l'analyse fonctionnelle. Ils doivent leur nom au mathématicien polonais Stefan Banach.
Navette spatiale américaineLa navette spatiale américaine (en anglais Space shuttle ou Space Transportation System, STS) est un type de véhicule spatial conçu et utilisé par l'agence spatiale américaine (NASA), dont le vol inaugural remonte au et qui est retiré du service en , après avoir effectué un total de . Elle est composée de trois sous-ensembles : l'orbiteur , le réservoir externe et deux propulseurs d'appoint. Le terme « navette spatiale » s'applique uniquement à l'orbiteur, qui revient se poser comme un planeur sur une piste d'atterrissage et peut être réutilisé pour un nouveau vol.
Course à l'espacevignette|redresse=1.5|Nombre de lancements par pays sur la période 1957–1973. La course à l'espace (en Space Race, en Космическая гонка) est la compétition à laquelle se sont livrés les États-Unis et l'Union soviétique dans le domaine astronautique entre 1957 et 1975. Cette lutte pacifique a concerné d'abord l'envoi des premiers satellites artificiels, puis les premiers vols humains dans l'espace, l'envoi de sondes spatiales pour explorer les planètes les plus proches, et a culminé avec l'envoi d'astronautes sur la Lune.
Espace de FréchetUn espace de Fréchet est une structure mathématique d'espace vectoriel topologique satisfaisant certains théorèmes relatifs aux espaces de Banach même en l'absence d'une norme. Cette dénomination fait référence à Maurice Fréchet, mathématicien français ayant participé notamment à la fondation de la topologie et à ses applications en analyse fonctionnelle. C'est dans ce dernier domaine que la structure des espaces de Fréchet se révèle particulièrement utile, notamment en fournissant une topologie naturelle aux espaces de fonctions infiniment dérivables et aux espaces de distributions.
