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.
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.
RessortUn ressort est un organe ou pièce mécanique qui utilise les propriétés élastiques de certains matériaux pour absorber de l'énergie mécanique, produire un mouvement, ou exercer un effort ou un couple. vignette|Ressorts ferroviaires. Des peintures rupestres attestent que l'homme a inventé cette pièce depuis plus de , sous la forme de l'arc, constitué essentiellement d'une pièce courbe flexible dont l'élasticité permet de ramener la pièce à sa position initiale lorsqu'elle est déformée ; le ressort a ainsi joué un rôle déterminant dans l'essor des civilisations.
Loi de HookeEn physique, la loi de Hooke modélise le comportement des solides élastiques soumis à des contraintes. Elle stipule que la déformation élastique est une fonction linéaire des contraintes. Sous sa forme la plus simple, elle relie l'allongement (d'un ressort, par exemple) à la force appliquée. Cette loi de comportement a été énoncée par le physicien anglais Robert Hooke en 1676. La loi de Hooke est en fait le terme de premier ordre d'une série de Taylor. C'est donc une approximation qui peut devenir inexacte quand la déformation est trop grande.
Linear elasticityLinear elasticity is a mathematical model of how solid objects deform and become internally stressed due to prescribed loading conditions. It is a simplification of the more general nonlinear theory of elasticity and a branch of continuum mechanics. The fundamental "linearizing" assumptions of linear elasticity are: infinitesimal strains or "small" deformations (or strains) and linear relationships between the components of stress and strain. In addition linear elasticity is valid only for stress states that do not produce yielding.
Flexion (linguistique)En grammaire, la flexion est, dans certaines langues, un procédé d’expression des traits grammaticaux propres à celles-ci par association de morphèmes grammaticaux à une base. Au-delà de cette définition générale, on trouve chez divers auteurs des visions différentes sur la flexion. Certains auteurs entendent par flexion seulement le procédé par lequel la forme du mot est modifiée par des affixes qui font corps commun avec la base à laquelle ils sont ajoutés.
Module de YoungLe module de Young, module d’élasticité (longitudinale) ou module de traction est la constante qui relie la contrainte de traction (ou de compression) et le début de la déformation d'un matériau élastique isotrope. Dans les ouvrages scientifiques utilisés dans les écoles d'ingénieurs, il a été longtemps appelé module d'Young. Le physicien britannique Thomas Young (1773-1829) avait remarqué que le rapport entre la contrainte de traction appliquée à un matériau et la déformation qui en résulte (un allongement relatif) est constant, tant que cette déformation reste petite et que la limite d'élasticité du matériau n'est pas atteinte.
Ressort à lamesthumb|Ressort à lames utilisé pour la suspension automobile. vignette|Ressort à lames d'un wagon-torpille dans le parc paysager de Duisbourg Nord, Allemagne. Un ressort à lame est un type de ressort utilisant la flexibilité d'une ou plusieurs lames métalliques superposées. Leurs propriétés élastiques permettent d'absorber l'énergie mécanique, produire un mouvement, exerçant un effort ou un couple sur le système lié.
Alliage de titaneLes alliages de titane sont des métaux faits de titane et d'autres éléments chimiques. Ils sont légers et ont une forte résistance à la corrosion et aux températures extrêmes. Cependant, le coût élevé des deux matières premières et de leur traitement limite leur production à des applications militaires, la construction d'avions, d'engins spatiaux, la fabrication de dispositifs médicaux, ou des composants tels que les bielles sur des voitures de sport et de certains composants électroniques.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
