En mathématiques, et plus précisément en algèbre linéaire, le théorème du rang lie le rang d'une application linéaire et la dimension de son noyau. C'est un corollaire d'un théorème d'isomorphisme. Il peut être interprété par la notion d'indice d'application linéaire. En dimension finie, il permet notamment de caractériser l'inversibilité d'une application linéaire ou d'une matrice par son rang. vignette|Le théorème du rang. Ce théorème résulte immédiatement du fait que pour tout sous-espace vectoriel V de E, on ait dim E = dim E/V + dim V et du théorème de factorisation d'après lequel E/ker(f) est isomorphe à im(f). Une autre démonstration, constructive, consiste à vérifier que pour toute base (u) du noyau et toute base (f(u)) de l'image — indexées par des ensembles S et T disjoints —, (u) est une base de E : cette famille est génératrice : pour tout vecteur x, en notant xt les coordonnées de f(x) dans la base de l'image, et xs celles de x – ∑xu dans la base du noyau, on obtient x = ∑xu ; elle est libre : si une combinaison linéaire ∑xu est nulle alors, en prenant l'image par f, 0 + ∑ xf(u) = 0, donc par indépendance des f(u) les x sont nuls, si bien que l'hypothèse de départ se simplifie en ∑ xu = 0, dont on déduit, par indépendance des us, que les xs sont nuls aussi. Lorsque les espaces vectoriels E et F sont de dimension finie et ont même dimension n, le théorème du rang permet d'établir l'équivalence entre les propriétés suivantes : l'application f est un isomorphisme de E sur F ; l'application f est surjective ; l'application f est injective ; le rang de f est égal à n. Soit f une application linéaire d'un espace vectoriel E de dimension finie dans lui-même. On a comme précédemment la relation : d'où l'on déduit que im f et ker f sont supplémentaires si et seulement si leur intersection est réduite au vecteur nul. Le théorème du rang peut s'écrire pour les matrices. Si A est une matrice (m, n) sur un corps K, alors où U est l'application linéaire de K dans K canoniquement associée à la matrice A.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Cours associés (28)
MATH-111(e): Linear Algebra
L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et ses applications.
EE-611: Linear system theory
The course covers control theory and design for linear time-invariant systems : (i) Mathematical descriptions of systems (ii) Multivariables realizations; (iii) Stability ; (iv) Controllability and Ob
MATH-106(e): Analysis II
Étudier les concepts fondamentaux d'analyse et le calcul différentiel et intégral des fonctions réelles de plusieurs variables.
Afficher plus
Publications associées (32)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.