You are on page 1of 2

Somme directe - Sous espaces supplémentaires - Notion de Codimension - supérieur

SOMME DIRECTE - SOUS
Dans ce chapitre, désigne un corps commutatif et

ESPACES SUPPLÉMENTAIRES

- NOTION DE

CODIMENSION
un espace vectoriel sur .

I. Somme directe
Définition : Soit L'ensemble ou Remarque : avec égalité ssi : Définition : Soit On dit que la somme sev de ( ). est directe ssi : ou ) et ou encore . sev de ( ). est un sev de appelé le sev somme de , on le note

Et dans ce cas, on note cette somme : Théorème : Soit Alors les p.s.s.e : La somme sev de est directe. (

Théorème : Soit Alors

sev de dimension finie de

(

) et soit avec égalité ssi la somme

. est directe.

est de dimension finie et

II. Sous espaces supplémentaires
Définition : Soit On dit que Vocabulaire : Lorsque . On dit que (resp. Exemple : sev de . sont supplémentaires ssi :

.

est supplémentaire de

(resp.

).

On a : . Proposition : Soit un polynôme non constant de . Posons : avec , alors l'idéal Théorème : Soit sev supplémentaires de Soit un -ev et pour tout soit il existe une unique application linéaire de

admet : . Alors : tel que :

comme supplémentaire dans .

.

dans

Commentaires : Si sont supplémentaires dans alors : 1. Toute application linéaire de dans est complètement determinée par sa restriction aux sev . 2. Deux applications linéaires de dans sont égales ssi elles le sont sur chaque . En particulier, une application linéaire est nulle ssi elle s'annule sur chaque . Théorème : Soit des sev supplémentaires de , . Soit une famille de vecteurs de , et une partition de en parties telle que pour tout ssi chaque est une base de . est une famille de vecteurs de . Alors : est une base de Notation - Vocabulaire :

1 sur 2

http://www.ilemaths.net/maths_p-somme-directe.php

on dit que est de codimension finie ssi admet un supplémentaire de dimension finie.ilemaths. alors les sev avec sont . on dit que est une base de adaptée à la décomposition : . Corollaire : un sev de .Sous espaces supplémentaires . un tel retrouvez cette page sur l'île des mathématiques © Tom_Pascal & Océane 2006 2 sur 2 http://www. indépendante du choix de et appelé la codimension de qu'on note : ou s'il n'y a pas d'ambiguité. il faut distinguer entre et Remarque : S'il existe une base supplémentaires dans . alors ne depend pas du choix de . Alors est de codimension fine et Proposition : un -ev de dimension finie. On sait que : est un supplémentaire de dans . Soit est un hyperplan de ssi : Et forcément.Notion de Codimension . alors : Soit Tout sev de est de codimension finie et on a : Théorème : deux -ev dont est de dimension finie. Soit Si admet deux supplémentaires et .supérieur est notée . alors et sont isomorphes. Théorème : et deux -ev et Soit Si est un supplémentaire de de et si est une partition de . Définition : tout sev de de codimension dans On appelle hyperplan de Remarque : un sev de . Exemple : . Remarque : Si un sev de possède un suppplémentaire de dimension finie. Proposition : Tout sev d'un -ev de dimension finie admet un supplémentaire.Somme directe . . III.net/maths_p-somme-directe.php . soit . Notion de Codimension Définition : Soit un sev de Dans ce cas. dans alors l'application : induite par est un isomorphisme de -ev. un polynôme de degré non constant. Soit Alors est de codimension finie et .