• Aucun résultat trouvé

On va montrer ici la formule du crible de Poincaré. Toute ou une partie de cette section peut constituer un développement.

N/A
N/A
Protected

Academic year: 2022

Partager "On va montrer ici la formule du crible de Poincaré. Toute ou une partie de cette section peut constituer un développement."

Copied!
10
0
0

Texte intégral

(1)

Combinatoire et dénombrement

Salim Rostam

Complément d’algèbre pour l’agrégation, ENS Rennes

1 Échauffement : formule du crible

On va montrer ici la formule du crible de Poincaré. Toute ou une partie de cette section peut constituer un développement.

1.1 La formule

Soit E un ensemble et soient E

1

, . . . , E

n

des parties finies de E.

Théorème 1.1 (Formule du crible de Poincaré

1

). On a

n

[

i=1

E

i

=

n

X

i=1

(−1)

i−1

X

1≤j1<···<ji≤n

|E

j1

∩ · · · ∩ E

ji

| .

Démonstration. Si F est un sous-ensemble de E, on considère sa fonction indicatrice 1

F

: E → N définie par 1

F

(x) :=

( 1, si xF,

0, sinon, pour tout xE . Rappelons que si T et X

1

, . . . , X

n

sont des indéterminées on a

n

Y

i=1

(T − X

i

) = T

n

+

n

X

i=1

(−1)

i

X

1≤j1<···<ji≤n

X

j1

· · · X

ji

T

n−i

Puisque (E

1

∪ · · · ∪ E

n

)

c

= E

1c

∩ · · · ∩ E

nc

, pour tout xE on a 1

E1∪···∪En

(x) = 1 −

n

Y

i=0

(1 − 1

Ei

(x))

= −

n

X

i=1

(−1)

i

X

1≤j1<···<ji≤n

1

Ej

1

(x) · · · 1

E

ji

(x)

= −

n

X

i=1

(−1)

i

X

1≤j1<···<ji≤n

1

Ej

1∩···∩Eji

(x)

=

n

X

i=1

(−1)

i−1

X

1≤j1<···<ji≤n

1

Ej

1∩···∩Eji

(x), et on conclut en sommant sur tous les xE .

Remarque 1.2. Pour n = 2 on retrouve la formule classique |E

1

E

2

| = |E

1

| + |E

2

| − |E

1

E

2

|.

Attention, la formule analogue pour les espaces vectoriels (formule de Grassmann) ne se généralise

pas au cas n ≥ 3 !

(2)

1.2 Applications

Théorème 1.3. Soient m, n ∈ N

deux entiers. Le nombre de surjections de {1, . . . , m} vers {1, . . . , n} est donné par

n

X

i=1

(−1)

n−i

n i

! i

m

.

Démonstration. Soit E l’ensemble des applications de {1, . . . , m} vers {1, . . . , n} et pour tout i ∈ {1, . . . , n}, soit E

i

l’ensemble des applications de {1, . . . , m} vers {1, . . . , n} \ {i}. On cherche à calculer |E

1c

∩ · · · ∩ E

nc

|. On a :

|E

1c

∩ · · · ∩ E

nc

| = n

m

− |E

1

∪ · · · ∪ E

n

|

= n

m

n

X

i=1

(−1)

i−1

X

1≤j1<···<ji≤n

|E

j1

∩ · · · ∩ E

ji

|

= n

m

+

n

X

i=1

(−1)

i

X

1≤j1<···<ji≤n

(n − i)

m

= n

m

+

n−1

X

i=1

(−1)

i

n i

!

(n − i)

m

=

n−1

X

i=0

(−1)

i

n i

!

(n − i)

m

=

n

X

i=1

(−1)

n−i

n i

! i

m

Remarque 1.4. Avec m = n on obtient la formule P

ni=1

(−1)

n−i ni

i

n

= n!, et si m < n on obtient P

ni=1

(−1)

n−i ni

i

m

= 0. Ces identités peuvent se retrouver en calculant de deux façons la composée n-ième de l’endomorphisme P (X) 7→ P (X + 1) − P(X) de Q

n

[X].

De la même façon, on peut montrer que le nombre de permutations sans point fixe de {1, . . . , n} est n! P

ni=1 (−1)i!i+1

. Finalement, en utilisant des formules de récurrence, on peut retrouver ces formules en utilisant l’inversion de Pascal.

Théorème 1.5 (Inversion de Pascal). Soit (a

n

)

n∈N

une suite à valeurs dans un anneau k commutatif et définissons

b

n

:=

n

X

i=0

n i

! a

i

,

pour tout n ∈ N . Alors pour tout n ∈ N on a

a

n

=

n

X

i=0

(−1)

n−i

n i

! b

i

.

Démonstration. Posons A := (a

0

, . . . , a

n

) et B := (b

0

, . . . , b

n

). Par définition, on a B = AMM est la matrice dans la base canonique de l’endomorphisme de k

n

[X] donné par P (X) 7→ P (X + 1).

Ainsi A = BM

−1

, et on a bien la formule annoncée en remarquant que M

−1

est la matrice dans

la base canonique de P (X) 7→ P (X − 1).

(3)

2 Inversion de Möbius

Toute ou une partie de cette section peut constituer un développement (voir en partie [Per, Ch. III, Exercice 2.7, p. 89] et [FrGi, p. 93]).

Définition 2.1. Si E est un ensemble, on note F

E

:= F ( N

, E) l’ensemble des fonctions de N

dans E. Ce sont les suites indexées par N

à valeurs dans E.

2.1 Dans un anneau

Soit A un anneau commutatif unitaire. On munit l’ensemble F

A

des lois de composition interne suivantes :

(φ + ψ)(n) := φ(n) + ψ(n), (φ ∗ ψ)(n) := X

d∈N d|n

φ n

d

ψ(d),

pour tous φ, ψ ∈ F

A

et n ∈ N

. L’ensemble (F

A

, +, ∗) est un anneau commutatif unitaire, où l’unité pour la loi ∗ est δ ∈ F

A

définie par

δ(n) :=

( 1, si n = 1, 0, sinon, pour tout n ∈ N

.

Proposition 2.2. Les inversibles de F

A

sont les φ ∈ F

A

tels que φ(1) est inversible dans A, autrement dit

F

A×

= φ ∈ F

A

: φ(1)A

×

.

Démonstration. Rappelons que l’anneau A est commutatif. Si φ ∈ F

A×

, alors il existe ψ ∈ F

A

tel que φψ = δ. Ainsi, on a

1 = (φ ∗ ψ)(1) = φ(1)ψ(1),

donc φ(1)A

×

. Réciproquement, soit φ(1)A

×

. On définit un élément ψ ∈ F

A

par récurrence par

ψ(n) := φ(1)

−1

δ(n)X

1≤d<n d|n

φ n

d

ψ(d)

,

et on vérifie que φψ = δ.

On va maintenant considérer un élément particulier de F

A

. Définition 2.3. On définit 1 ∈ F

A

par 1(n) := 1 pour tout n ∈ N

.

Remarque 2.4 (Remarque analytique). On suppose ici A = C . Soit (a

n

)

n∈N

une suite de nombres complexes. La série de Dirichlet associée est ζ

a

:= P

n≥1anns

s ∈ C . Remarquons que ζ

1

= ζ donne la fonction zêta de Riemann. Si b := 1a, et donc b

n

= P

d|n

a

d

, on a la formule

+∞

X

n=1

b

n

n

s

= ζ (s)

+∞

X

n=1

a

n

n

s

(avec des hypothèses de convergence). On a également une égalité en terme de série de Lambert :

+∞

X b x

n

=

+∞

X a x

n

.

(4)

D’après la Proposition 2.2, l’élément 1 ∈ F

A

est inversible ; on note µ := 1

−1

∈ F

A

son inverse. On veut maintenant expliciter µ. Par définition, on a µ1 = δ, donc µ(1) = 1 et

X

d|n

µ(d) = 0, (2.5)

si n ≥ 2.

Lemme 2.6. Soit n ≥ 2 et soit p un facteur premier de n. Alors µ(pn) = 0. Autrement dit, si m ∈ N

a un facteur carré alors µ(m) = 0.

Démonstration. On procède par récurrence sur n ≥ 2. Soit α ≥ 1 tel que p

α

| n et p

α+1

- n.

Par (2.5) on a

µ(pn) =X

d|pn d6=pn

µ(d)

= − X

d|pn d6=pn pα+1|d

µ(d)X

d|n

µ(d).

Remarquons que, d’après (2.5), la deuxième somme est nulle. De plus, la première somme est vide, donc nulle, si n = 2 (et, nécessairement, p = 2) ce qui initialise la propriété. Si n ≥ 3, chaque µ(d) de la première somme est nul puisque d = p

dp

et que p est un facteur premier de

d p

< n.

Proposition 2.7. Pour tout n ∈ N

, on a :

µ(n) =

( 0, si n possède un facteur carré, (−1)

r

, sinon,

r ∈ N est le nombre de nombre premiers distincts divisant n.

Autrement dit, si n = p

1

· · · p

r

est la décomposition de n en facteurs premiers (avec p

i

6= p

j

si i 6= j et α

i

6= 0) alors µ(n) = 0 s’il existe i avec α

i

≥ 2 et µ(n) = (−1)

r

sinon.

Démonstration. Par le lemme, il suffit de montrer que si p

1

, . . . , p

r

sont des premiers distincts alors µ(p

1

· · · p

r

) = (−1)

r

. Encore une fois, on utilise (2.5) et on procède par récurrence, cette fois sur r ≥ 1. L’initialisation est immédiate puisque µ(p) = −µ(1) = −1 si p est premier. On suppose maintenant r ≥ 2. En remarquant que les diviseurs de p

1

· · · p

r

sont des produits de p

i

et qu’il y a

rk

façons de choisir un diviseur de p

1

· · · p

r

de k termes, on obtient, en utilisant l’hypothèse de récurrence,

µ(p

1

· · · p

r

) = − X

d|p1···pr

d6=p1···pr

µ(d)

= −

r−1

X

k=0

r k

! (−1)

k

= (−1)

r

− (1 − 1)

r

= (−1)

r

.

(5)

2.2 Dans un groupe abélien

Soit M un A-module (à gauche). On munit le groupe abélien F

M

d’une structure de F

A

- module (à gauche) en définissant

(φ ∗ f )(n) := X

d∈N d|n

φ n

d

f (d), (2.8)

pour tous φ ∈ F

A

, f ∈ F

M

et n ∈ N

.

Remarque 2.9. La structure d’anneau que l’on utilise pour F

A

est la structure (F

A

, +, ∗).

L’utilisation de la notion de module permet juste un cadre plus général. En particulier, pour tout f ∈ F

M

on a δf = f et si φ, ψ ∈ F

A

alors

ψ ∗ (φ ∗ f) = (ψφ)f. (2.10)

En réalité, le cas qui va nous intéresser est le cas où A = Z , auquel cas un A-module n’est rien d’autre qu’un groupe abélien.

Théorème 2.11 (Formule d’inversion de Möbius

2

). Soit f ∈ F

M

et soit g ∈ F

M

définie par g(n) := X

d|n

f (d),

pour tout n ∈ N

. Alors pour tout n ∈ N

on a f (n) = X

d|n

µ n

d

g(d).

Démonstration. Par définition, on a g = 1f . Ainsi, on obtient µg = µ ∗ (1 ∗ f )

= (µ ∗ 1)f

= δf

= f.

Remarque 2.12. À la place de N

, on peut considérer n’importe quel ensemble (partiellement) ordonné (N, ≤) tel que pour chaque nN , la partie {m ∈ N : mn} est finie — par exemple, l’ensemble des parties d’un ensemble fini muni de l’inclusion — et donner un analogue de la formule d’inversion.

Corollaire 2.13. Soit G un groupe abélien. Soient (a

n

)

n∈N

et (b

n

)

n∈N

deux suites d’éléments de G telles que

b

n

= X

d|n

a

d

,

pour tout n ∈ N

. Alors

a

n

= X

d|n

µ n

d

b

d

,

pour tout n ∈ N

.

Démonstration. On prend A = Z et M = G dans le Théorème 2.11.

(6)

2.3 Applications

On présente maintenant une liste d’applications possibles.

2.3.1 Indicatrice d’Euler

Soit ϕ : N

→ N l’indicatrice d’Euler : pour n ∈ N

, l’entier ϕ(n) est le nombre de k ∈ {1, . . . , n} premiers à n. C’est aussi le cardinal de ( Z /n Z )

×

.

Proposition 2.14. Si n ∈ N

alors n = P

d|n

ϕ(d).

Démonstration. C’est une égalité classique. On peut la montrer soit en remarquant qu’il y a exactement ϕ(d) éléments d’ordre d dans Z /n Z si d | n, soit en écrivant sous forme irréductible les fractions

n1

,

n2

, . . . ,

nn

.

Une application directe du Théorème 2.11 avec A = M = Z donne donc le corollaire suivant.

Corollaire 2.15. Si n ∈ N

alors ϕ(n) = P

d|n

µ

nd

d.

2.3.2 Nombre de polynômes irréductibles

Soit q une puissance d’un nombre premier et n ∈ N

. Pour d ∈ N

, on note I (q, d) l’ensemble des polynômes irréductibles unitaires de degré d sur le corps fini F

q

. On a la relation suivante :

X

qn

X = Y

d|n

Y

P∈I(q,d)

P,

donc en passant au degré,

q

n

= X

d|n

d|I (q, d)|.

Par le théorème d’inversion on a donc

|I(q, d)| = 1 n

X

d|n

µ n

d

q

d

.

2.3.3 Polynômes cyclotomiques

Le n-ième polynôme cyclotomique Φ

n

∈ C [X] est donné par Φ

n

(X) = Y

ζ∈µ×n

(X − ζ ).

On a X

n

− 1 = Q

d|n

Φ

d

. En appliquant le Théorème 2.11 dans le groupe abélien (multiplica- tif !) C (X)

, on a donc

Φ

n

= Y

d|n

X

nd

− 1

µ(d)

,

pour tout n ∈ N

.

(7)

3 Utilisation d’une action de groupe

Soit G un groupe fini agissant sur un ensemble X. Pour xX on note G

x

G le stabilisateur de x.

Proposition 3.1 (Formule des classes). On a G/G

x

' G · x donc |G| = |G

x

| · |G · x|.

Un développement très utile qui utilise ce résultat est la démonstration de la loi de réciprocité quadratique de [CaGe]. Mentionnons également le résultat suivant, également utilisable en développement.

Théorème 3.2. Soit q une puissance d’un nombre premier. Le nombre de matrices diagonalisables de Mat

n

(q) est

X

m1,...,mq∈N m1+···+mq=n

|GL

n

(q)|

Q

q

i=1

|GL

mi

(q)| , avec la convention |GL

0

(q)| = 1.

Remarque 3.3. On a |GL

m

(q)| = Q

m−1i=0

(q

m

q

i

) = q

m(m−1)2

Q

m−1i=0

(q

i

− 1).

Démonstration. On fait agir GL

n

(q) sur l’ensemble des matrices diagonalisables. Si F

q

= {λ

1

, . . . , λ

q

}, chaque orbite possède une unique matrice de la forme diag(λ

i

I

mi

)

i=1...q

m

1

, . . . , m

q

∈ N avec m

1

+ · · · + m

q

= n. Le stabilisateur d’une telle matrice diagonale est isomorphe à GL

m1

(q) × · · · × GL

mq

(q).

Finissons par un théorème de Burnside.

Théorème 3.4.

|G\X| = 1

|G|

X

x∈X

|G

x

| = 1

|G|

X

g∈G

|

g

X|.

Des applications « standards » sont par exemple le développement où l’on compte les colliers de perles (à savoir faire mais à éviter, au moins dans sa version classique !) ou encore celui où l’on détermine le groupe des isométries d’un ou plusieurs solides donnés (cube, tétraèdre, diamant, etc.).

4 Séries formelles

Soit (a

n

)

n∈N

une suite à valeurs dans un corps commutatif. On peut lui associer une série formelle particulière :

F

l

(a) :=

+∞

X

n=0

a

n

X

n

.

Si de plus l’anneau de base est un corps de caractéristique nulle, on peut également définir F

e

(a) :=

+∞

X

n=0

a

n

n! X

n

.

On peut s’intéresser au rayon de convergence des séries entières associées.

Exemple 4.1 (Nombres de Bell). (Voir [FGN-Al1].) Soit B

n

le nombre de partitions de {1, . . . , n}.

On a B = P

n n

B , on en déduit que F (B)

0

= F (B)e

X

et donc F (B) = e

eX−1

.

(8)

Proposition 4.2. Si (a

n

) et (b

n

) sont deux suites alors F

l

(a)F

l

(b) = F

l

(c), F

e

(a)F

e

(b) = F

e

(d), (c

n

) et (d

n

) sont données par

c

n

=

n

X

k=0

a

k

b

n−k

,

d

n

=

n

X

k=0

n k

!

a

k

b

n−k

.

Application 4.3. On peut alors retrouver la formule d’inversion de Pascal, donnée au Théorème 1.5.

En effet, soit (a

n

)

n≥0

une suite et définissons b

n

:=

n

X

k=0

n k

! a

k

.

On a F

e

(b) = F

e

(a)F

e

(1, 1, . . . ), et en remarquant que F

e

(1, 1, . . . ) = e

X

, on a F

e

(a) = F

e

(b)e

−X

, d’où

a

n

=

n

X

k=0

(−1)

n−k

n k

! b

k

.

5 Partitions

On va donner quelques résultats sur les partitions d’entiers.

Définition 5.1. Une partition d’un entier n ∈ N est une suite finie λ = (λ

1

, . . . , λ

h

) décroissante d’entiers naturels non nuls. Chaque λ

i

est une part de λ et h est le nombre de parts de λ.

Une façon très utile de représenter une partition λ = (λ

1

, . . . , λ

h

) est d’utiliser son diagramme de Young. On met λ

1

boîtes sur une ligne, puis dessous λ

2

, etc. en justifiant les boîtes à gauche.

Exemple 5.2. Le diagramme de Young associé à la partition (5, 3, 2) est . Autrement dit, le diagramme associé à la partition λ = (λ

1

, . . . , λ

h

) est

Y (λ) := {(r, c) ∈ ( N

)

2

: 1 ≤ rh et 1 ≤ cλ

r

}.

Pour la culture, énonçons le théorème suivant.

Théorème 5.3 (Frobenius

3

). Soit n ∈ N

et soit k un corps de caractéristique 0. On peut indexer les représentations irréductibles de S

n

sur k par les partitions de n.

Remarque 5.4. On sait déjà que les classes de conjugaison dans S

n

sont indexées par les partitions de n (via le type d’une permutation, donné par sa décomposition en cycles à supports disjoints).

Plus précisément, on peut construire (explicitement) une famille de représentations irréductibles {V

λ

}

λ`n

, où la dimension de V

λ

est donnée par la formule des crochets (hook length formula).

Plus précisément, dim V

λ

= Q

n!

γh(γ)

, où γ parcourt Y(λ) et h(γ ) est le nombre de boîtes dans le crochet déterminé par γ : si γ = (r, c) ∈ Y (λ) alors

h(γ) = #{(r

0

, c

0

) ∈ Y (λ) : [r

0

r et c

0

= c] ou [r

0

= r et c

0

c]}.

3. Ferdinand Georg Frobenius, 1849–1917.

(9)

Proposition 5.5. Soient m, n ∈ N

. Il y a autant de partitions de n en m parts que de partitions de n m est la plus grande part.

Pour prouver cette proposition, remarquons que l’on dispose d’une involution naturelle sur l’ensemble des diagrammes de Young, donnée par (r, c) 7→ (c, r). On parle de partition duale.

Exemple 5.6. Le diagramme de Young dual de celui de l’Exemple 5.2 est donc la partition

duale de (5, 3, 2) est (3, 3, 2, 1, 1).

On remarque que cette involution est justement ce qu’il faut pour prouver la Proposition 5.5, puisqu’une partition λ possède m parts si et seulement si la plus grande part de sa partition duale est m.

On va maintenant utiliser la théorie des séries formelles pour donner quelques identités sur les partitions. Notons p(n) le nombre de partitions de n et rappelons que F

l

(p) = P

+∞n=0

p(n)X

n

. Proposition 5.7. On a

F

l

(p) =

+∞

Y

k=1

1 1 − X

k

.

Démonstration. Il faut d’abord remarquer que le produit est bien défini en tant que série formelle : c’est clair puisque

1−X1 k

= 1 + X

k

+ X

2k

+ . . . , donc modulo X

n

le produit est égal à Q

n

k=1

(1 + X

k

+ X

2k

+ . . . ) qui est bien défini. Le coefficient de X

n

est alors

# (

α

1

, . . . , α

n

∈ N :

n

X

k=0

α

k

k = n )

= p(n).

Remarque 5.8. Pour tout m, n ≥ 1 soit a

mn

k et posons F

m

:= 1 + P

+∞n=1

a

mn

X

n

. Si pour tout n l’ensemble m : val(F

m

− 1) ≤ n est fini on peut donner un sens à Q

+∞m=1

F

m

, avec (où a

m0

:= 1) :

+∞

Y

m=1

F

m

=

+∞

Y

m=1 +∞

X

n=0

a

mn

X

n

=

+∞

X

n=0

 X

0≤n1,n2,...

n1+n2+···=n +∞

Y

m=1

a

mnm

X

n

.

En particulier, pour chaque n ≥ 1 il n’existe qu’un nombre fini de m tels que a

mn

6= 0 (les a

mn

pour n = 0 ne changeant pas la valeur du produit puisque a

m0

= 1).

En fait, on peut munir la k-algèbre des séries formelles de la distance (ultramétrique) d(F, G) := 2

−val(F−G)

, qui en fait un espace métrique complet, pour lequel P

+∞n=0

a

n

X

n

= lim

N→+∞

P

Nn=0

a

n

X

n

et Q

+∞m=1

F

m

= lim

M→+∞

Q

Mm=1

F

m

(où les F

m

sont comme avant).

Le résultat suivant fait penser à la Proposition 5.5.

Proposition 5.9. Il y a autant de partitions de n en entiers impairs que de partitions de n

avec toutes les parts distinctes.

(10)

Démonstration. Soit p

i

(n) (resp. p

d

(n)) le nombre de partitions de n en entiers impairs (resp.

en parts distinctes). De façon analogue au calcul de F

l

(p), on a F

l

(p

i

) =

+∞

Y

k=0

1 (1 − X

2k+1

)

=

+∞

Y

k=0

1 − X

2k

1 − X

k

=

+∞

Y

k=0

(1 + X

k

)

= F

l

(p

d

), donc p

i

= p

d

.

On peut en fait donner une preuve bijective de ce résultat. Une partition de n en entiers impairs est donnée par des entiers α

1

, α

3

, α

5

, . . . tels que i apparaît α

i

fois pour tout i impair et n = P

i

α

i

i. On peut décomposer chaque α

i

en base 2 :

α

i

=

+∞

X

k=0

a

ik

2

k

,

et la partition de n que l’on obtient en rangeant les éléments a

ik

2

k

i non nuls pour i impair et k ∈ N n’a que des parts distinctes.

Théorème 5.10 (Partitions d’un entier en parts fixées). Soient α

1

> · · · > α

k

∈ N

premiers entre eux. Soit p

α

(n) le nombre de partitions de n de la forme

1

, . . . , α

1

, α

2

, . . . , α

2

, . . . , α

k

, . . . , α

k

) (où des α

i

peuvent éventuellement ne pas apparaître). Alors

p

α

(n) = (

(x

1

, . . . , x

k

) ∈ N

k

:

k

X

i=1

x

i

α

i

= n )

∼ 1

α

1

· · · α

k

n

k−1

(k − 1)! . Démonstration. Voir [FGN-An2]. C’est un développement possible.

Pour la culture, concluons par un résultat difficile.

Théorème 5.11 (Hardy–Ramanujan 1918, Uspensky 1920). On a l’asymptotique suivante : p(n) ∼ 1

4n √ 3 e

π

p

2n

3

.

Références

[CaGe] P. Caldero et J. Germoni , Histoires hédonistes de groupes et de géométries.

Calvage & Mounet.

[FrGi] S. Francinou et H. Gianella , Exercices de mathématiques pour l’agrégation : Algèbre 1. Masson.

[FGN-Al1] S. Francinou , H. Gianella et S. Nicolas , Oraux X-ENS : Algèbre 1. Cassini.

[FGN-An2] S. Francinou , H. Gianella et S. Nicolas , Oraux X-ENS : Analyse 2. Cassini.

[Per] D. Perrin , Cours d’algèbre. Ellipses.

Références

Documents relatifs

[r]

Remarque : on constate, dans cette première partie de la démonstration que nous n’avons pas utilisé le fait que β était un multiple de 5... On en déduit que a et b sont des

Salamatou quand à elle, choisit le couple (17; 3) comme clé pour ses codages..

b) Interpréter géométriquement les trois propriétés établies dans la question précédente.. Déterminer les points invariants

Montrer que f est surjective si et seulement si l’image de toute base de E est une famille g´ en´ eratrice de F.. Montrer que f est bijective si et seulement si l’image de toute base

[r]

On peut montrer que la rotation de l’une de ces droites autour de l’axe Oz engendre la surface S (c’est une droite de l’espace qui n’est ni parallèle à Oz (sa

(b) Une famille est g´ en´ eratrice si et seulement si le rang de la matrice est ´ egal au nombre de lignes (ici 3), donc d’apr` es le calcul pr´ ec´ edent la famille n’est