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.
Insulinevignette|Les deux chaines de l'insuline bovine. En rouge les ponts disulfures. vignette|droite|Modélisation 3D d'une molécule d'insuline. L'insuline (du insula « île ») est une hormone protéique sécrétée par les cellules β des îlots de Langerhans dans le pancréas, ainsi que dans les corps de Brockmann de certains poissons téléostéens. Elle a un effet important sur le métabolisme des glucides, des lipides et des protéines en favorisant l'absorption du glucose présent dans le sang par les cellules adipeuses, les cellules du foie et celles des muscles squelettiques.
Espace σ-compactEn mathématiques, un espace topologique est dit σ-compact (ou localement compact dénombrable à l'infini) s'il est l'union dénombrable de sous-espaces compacts. Un espace est dit σ-localement compact s'il est à la fois σ-compact et localement compact. Tout espace compact est σ-compact, et tout espace σ-compact est de Lindelöf (c'est-à-dire que tout recouvrement ouvert a un sous-recouvrement dénombrable).
Série génératriceEn mathématiques, et notamment en analyse et en combinatoire, une série génératrice (appelée autrefois fonction génératrice, terminologie encore utilisée en particulier dans le contexte de la théorie des probabilités) est une série formelle dont les coefficients codent une suite de nombres (ou plus généralement de polynômes) ; on dit que la série est associée à la suite. Ces séries furent introduites par Abraham de Moivre en 1730, pour obtenir des formules explicites pour des suites définies par récurrence linéaire.
Câble électrodynamiqueUn câble électrodynamique est un long câble conducteur électrique fixé à un engin spatial captif, fonctionnant selon les principes de l'électromagnétisme. Un câble électrodynamique peut être utilisé pour remplir deux types de fonctions : générateur électrique, dont la fonction est de convertir l'énergie cinétique de l'engin spatial en énergie électrique, moteur électrique, dont la fonction est de convertir de l'énergie électrique fournie par l'engin spatial en énergie cinétique.