Somme directe - Sous espaces supplmentaires - Notion de Codimension - suprieur

SOMME DIRECTE - SOUS

Dans ce chapitre, dsigne un corps commutatif et

ESPACES SUPPLMENTAIRES

- NOTION DE

CODIMENSION
un espace vectoriel sur .

I. Somme directe
Dfinition : Soit L'ensemble ou Remarque : avec galit ssi : Dfinition : 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 : Thorme : Soit Alors les p.s.s.e : La somme sev de est directe. (

Thorme : Soit Alors

sev de dimension finie de

) et soit avec galit ssi la somme

. est directe.

est de dimension finie et

II. Sous espaces supplmentaires

Dfinition : Soit On dit que Vocabulaire : Lorsque . On dit que (resp. Exemple : sev de . sont supplmentaires ssi :

est supplmentaire de

(resp.

).

On a : . Proposition : Soit un polynme non constant de . Posons : avec , alors l'idal Thorme : Soit sev supplmentaires de Soit un -ev et pour tout soit il existe une unique application linaire de

admet : . Alors : tel que :

comme supplmentaire dans .

dans

Commentaires : Si sont supplmentaires dans alors : 1. Toute application linaire de dans est compltement determine par sa restriction aux sev . 2. Deux applications linaires de dans sont gales ssi elles le sont sur chaque . En particulier, une application linaire est nulle ssi elle s'annule sur chaque . Thorme : Soit des sev supplmentaires 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

Somme directe - Sous espaces supplmentaires - Notion de Codimension - suprieur

est note

, on dit que

est une base de

adapte la dcomposition :

il faut distinguer entre

et

Remarque : S'il existe une base supplmentaires dans . Thorme : et deux -ev et Soit Si est un supplmentaire de

de

et si

est une partition de

, alors les sev

avec

sont

. dans alors l'application : induite par est un isomorphisme de -ev.

Proposition : Tout sev d'un -ev de dimension finie admet un supplmentaire. Corollaire : un sev de . Soit Si admet deux supplmentaires et , alors et sont isomorphes. Remarque : Si un sev de possde un suppplmentaire de dimension finie, alors

ne depend pas du choix de

III. Notion de Codimension

Dfinition : Soit un sev de Dans ce cas, Exemple : , on dit que est de codimension finie ssi admet un supplmentaire de dimension finie. , indpendante du choix de et appel la codimension de qu'on note : ou

s'il n'y a pas d'ambiguit.

un polynme de degr non constant. On sait que : est un supplmentaire de dans . Alors est de codimension fine et Proposition : un -ev de dimension finie, alors : Soit Tout sev de est de codimension finie et on a : Thorme : deux -ev dont est de dimension finie, soit . Soit Alors est de codimension finie et . Dfinition : tout sev de de codimension dans On appelle hyperplan de Remarque : un sev de . Soit est un hyperplan de ssi : Et forcment, un tel retrouvez cette page sur l'le des mathmatiques Tom_Pascal & Ocane 2006

2 sur 2

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