Application linéaire continue


En mathématiques , une application linéaire d'un espace vectoriel E dans un espace vectoriel F définis sur le corps des réels ou des complexes est continue si E et F sont de dimension finie , ce qui fait que dans le contexte typiquement algébrique des espaces de dimension finie
Logique linéaire


En logique mathématique et plus précisément en théorie de la démonstration , la logique linéaire , inventée par le logicien Jean-Yves Girard en 1986, est un système formel qui, du point de vue logique, décompose et analyse les logiques classique et intuitionniste et, du point
Extension linéaire


Dans la branche des mathématiques de la théorie des ordres , une extension linéaire d'un ordre partiel est un ordre total (ou ordre linéaire ) qui est compatible avec l'ordre partiel. Un exemple classique est l' ordre lexicographique des ensembles totalement ordonnés qui est une extension
Théorème de Banach-Schauder


En analyse fonctionnelle , le théorème de Banach - Schauder , également appelé théorème de l'application ouverte , est un résultat fondamental qui affirme qu'une application linéaire continue surjective entre deux espaces de Banach (ou plus généralement : deux espaces vectoriels
Théorème du graphe fermé


En mathématiques , le théorème du graphe fermé est un théorème d' analyse fonctionnelle qui donne une condition suffisante dans un certain cadre pour qu'une application linéaire soit continue . Sommaire 1 Énoncé 2 Démonstration 3 Variantes dans le cas localement
Base (algèbre linéaire)


famille de vecteurs de V linéairement indépendants et dont tout vecteur de V est combinaison linéaire [ 1 ] . En d'autres termes, une base de V est une famille libre de vecteurs de V qui engendre V . Sommaire 1 Introduction géométrique 2 Définitions formelles 2.1 Famille
Équation différentielle linéaire


comment ? ) selon les recommandations des projets correspondants . Une équation différentielle linéaire est un cas particulier d' équation différentielle pour lequel on peut appliquer des procédés de superposition de solutions, et exploiter des résultats d' algèbre linéaire