ANNALES SCIENTIFIQUES DE L.N.S.

MAURICE FRCHET
La notion de diffrentielle dans lanalyse gnrale
Annales scientiques de l.N.S. 3
e
srie, tome 42 (1925), p. 293-323.
<http://www.numdam.org/item?id=ASENS_1925_3_42__293_0>
Gauthier-Villars (ditions scientiques et mdicales Elsevier), 1925, tous droits rservs.
Laccs aux archives de la revue Annales scientiques de l.N.S. (http://www.
elsevier.com/locate/ansens), implique laccord avec les conditions gnrales dutilisation
(http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systma-
tique est constitutive dune infraction pnale. Toute copie ou impression de ce chier
doit contenir la prsente mention de copyright.
Article numris dans le cadre du programme
Numrisation de documents anciens mathmatiques
http://www.numdam.org/
L A N O T I O N D E D I F F E R E N T I E L L E
D A N S
L ' A N A L Y S E G N R A L E
P A U M. M.U I B I C E F R E C HE T
(Universit de Strasbourg)
I ntroduction.
Objet de T Analyse gnrale. L ' A na l y s e f o n c t i o n n e l l e , cre par
M. V ol t e r r a , a e s s e n t i e l l e m e n t p o u r ob j e t l ' t ude de s f o n c t i o n s qui
f ont cor r e s p ondr e ch a que l i ^ ' ne ou s ur f a ce , ch a que f onct i on
o r d i n a i r e , un nombre d t e nni n . N ous a v ons , d a n s d i f f r e n t s m m oi r e s ,
cons i d r l es f o n c t i o n s pl us g n r a l e s qui f ont c o r r e s p o n d r e un
nombre d t e r m i n cha que l m e n t d ' u n c e r t a i n e ns e m b l e a b s t r a i t de
n a t u r e que l conque . O n pe ut e ncor e ra ng e r l ' t ude de ces f o n c t i o n s ,
qu' on p e ut a ppe l e r f o n c t i o n n e l l e s avec M. H a da m a r d, da ns l ' A na l y s e
f o n c t i o n n e l l e .
M a i s , s a ns pour cela s ' e nf once r d a n s l es nua g e s , et g a r da nt un
cont a ct t r oi t avec t out e l a s ci e nce a cqui s e , on pe ut g n r a l i s e r
e ncor e . L es f o n c t i o n n e l l e s que nous v e n o n s de d cr i r e p e u v e n t t r e
cons i d r e s com m e d f i ni s s a nt une cor r e s ponda nce u n i v o q u e ( n o n
n ce s s a i r e m e nt b i uni v oq ue ) e nt r e l ' e ns e m b l e a b s t r a i t cons i d r et un
e ns e m b l e de n o m b r e s . O u, si l ' on a i m e m i e ux, e l l e s d f i ni s s e nt
ch a cune une t r a ns f or m a t i on d' un ce r t a i n e ns e m b l e d' l m e nt s ou
poi nt s d' un e s pa ce a b s t r a i t en un ce r t a i n e ns e m b l e de p o i n t s d ' u n e
d r o i t e .
( ^ L e prs e nt Mm oire est le dv e l oppe m e nt d' une N oie des Comptes rendus
d u 16 m a rs ^ 5, t. 180, p. 8oG ( ro m e t i t re ) .
2C ) 4 M A U i U F I I C I E T
O r , i l n' y a' n u l l e r a i s on p o u r se l i m i t e r a u ca s o l ' e n s e m b l e t r a n s -
f o r m e s t l i n a i r e , L ' t ude de t r a n s f o r m a t i o n s d ' u n e e s pce p l u s
. g nra l e s ' e s t i m pos e d e p u i s l o n g t e m p s .
D e p u i s l o n g t e m p s , pa r e x e m p l e , on a t udi l es t r a n s f o r m a t i o n s de
p o i n t s e n d r o i t e s , e n p l a n s , e n s ph r e s , . . . , d a n s l ' e s pa ce e u c l i d i e n ,
de f o n c t i o n s a n a l y t i q u e s d ' u n e v a r i a b l e c om p l e x e e n f o n c t i o n s d ' u n e
m m e n a t u r e , e t c. N o u s a v ons p l us g n r a l e m e n t c ons i d r de s
t r a n s f o r m a t i o n s b i u n i v o q u e s et b i c o n t i n u e s ( s ous l e n o m d' h om o-
m orpl i i e s ) e n t r e e n s e m b l e s t o p o l o ^ i q u e s a b s t r a i t s (
1
) . I l e s t d o n c
n a t u r e l e t u t i l e de se pr opos e r l ' t u d e des t r a n s f o r m a t i o n s d ' e n s e m b l e s
a b s t r a i t s e n e n s e m b l e s a b s t r a i t s . O n p o u r r a d o n n e r c e t t e t u d e l e
n o m d ' ' A n a l y s e genrrale e m p r u n l M . E . H . M oor e . I l s u f f i r a e n s u i t e
de p a r t i c u l a r i s e r l e s r s u l t a t s o b t e n u s e n p r e n a n t e n c ons i d r a t i on l a
n a t u r e de s l m e n t s e n v i s a g s p o u r o b t e n i r de s a p p l i c a t i o n s v a r i e s .
Notion de continuit. L a d f i n i t i o n de l a c o n t i n u i t d ' u n e t r a ns -
f o r m a t i o n p o n c t u e l l e M =< D ( m ) d ' u n e ns e m b l e a b s t r a i t n' of f r e pa s de
di f f i c ul t qua nd on s uppos e que ces de ux e ns e m b l e s a p p a r t i e n n e n t
des e s pa ce s o la n o t i o n de v oi s i na g e a t t e ndue d' une f a on q ue
nous pr ci s e r ons p l us l o i n . O n p e u t e x p r i m e r cette d f i n i t i o n d ' u n e
f a on i n t u i t i v e en di s a nt que tout p oi nt q ui e s t i n f i n i m e n t v o i s i n
d' a ut r e s p o i n t s e s t t r a n s f o r m en u n p o i n t i n f i n i m e n t v o i s i n de s
t r a ns f or m s des a ut r e s p o i n t s , s a n f c a t t a ch e r n ce s s a i r e m e nt l ' i d e
de v oi s i na g e ce l l e de di s t a nc e n u m r i q u e .
La Notion de diffrentielle en Analyse fonctionnelle. P our g n ra -
l i s e r a ux e s pa ce s , a b s t r a i t s l a n o t i o n de c o n t i n u i t , i l nous a f a l l u
s up p os e r qu' on ne d o n n a i t pa s s e u l e m e n t da ns ch a que es pace a b s t r a i t
ses l m e n t s ou p oi nt s , cons i d r s i n d i v i d u e l l e m e n t .
O n s u p p o s a i t , en out r e , donn e a n t r i e u r e m e n t l a n o t i o n de
c o n t i n u i t d ' u n e t r a n s f o r m a t i o n , u n e c e r t a i n e d f i n i t i o n des p oi nt s
(
!
) Les dimensions d'un ensemble abstrcdt {Mal ft. //nn.a/,y Bd 63, 1 9 1 0 , p. 4 5 ) " Nous
appelons espace topologique abstrait 1 1 1 1 espac e dont chaque poi nt' est un lment de
nature quelconque, niais o une dfinition des lments d' accumulation des ensembles
de points de cet espace a t fixe.
L A N O T I O I N D E D I F F R E N T I E L L E D A N S L ' A N A L YS E G N R A L E . 2Q.5
d' a c c um ul a t i on ou de l ' op r a t i on de d r i v a t i o n de s e n s e m b l e s pa r
l ' i n t e r m d i a i r e d' une g n r a l i s a t i on d j not i on de v oi s i na g e .
P our a r r i v e r i n t r o d u i r e la not i on de d i f f r e n t i e l l e da ns l ' A na l y s e
g n r a l e , il va tre n ce s s a i r e de r e s t r e i ndr e u n e f oi s de pl us la
g n r a l i t de l ' e s pa ce cons i d r .
A v a nt de pr ci s e r e n quoi cons i s t e ce t t e r e s t r i ct i on, e s s a y ons de
dg a g e r ce qu' i l y a d' e s s e nt i e l da ns l a n o t i o n de di f f r e nt i e l l e .
D a n s l e b u t de d o n n e r un p oi nt de d pa rt m oi ns e m p i r i q u e l ' i n t r o -
duc t i on de l a di f f r e nt i e l l e da ns l ' A na l y s e f onc t i onne l l e , M. H a da m a r d
a f or m ul un p r e m i e r p r i nc i p e .
D ' a prs l u i , l e rs ul tt f o n d a m e n t a l du ca l cul di f f r e nt i e l a l a f or m e
s u i v a n t e : L a d i f f r e n t i e l l e d ' u n e f onc t i on es t une f onc t i on l i n a i r e
de s di f f r e nt i e l l e s de s v a r i a b l e s . I I est a i ns i condui t cons i dre r
com m e f o n c t i o n n e l l e s a ux que l l e s on p e ut t e ndre l es m t h ode s du
C a l cul i n f i n i t s i m a l , t out e s les f o n c t i o n s U ( j ) dont l a v a r i a t i o n est
une f onc t i onne l l e l i n a i r e de l a v a r i a t i o n d e j (

) . I l re s te d f i n i r ce
que F on n o m m e f o n c t i o n n e l l e l i n a i r e : c' es t une f o n c t i o n n e l l e
di s t r i b ut i v e et c o n t i n u e .
D a ns la d f i n i t i o n p r c de nt e , la v a r i a t i on de l a f onc t i on r( ^ ) doi t
tre e nt e ndue a u s e ns de L a g r a ng e , c' e s t- - dire que c' e s t l a d i f f r e n -
t i e l l e p our a =a.o, d ' u n e f o n c t i o n y{^, a ) d p e nda nt d' un p a r a m t r e
n u m r i q u e a et g a l e pour a =a ^ a l a f onct i on donn e .
O n v o i t que l e p r i n c i p e de M. ' H a da m a r d a ppl i qu l ' A na l y s e
g n r a l e p o u r r a i t s ' e x p r i m e r a i n s i :
S up p os ons que nous a y ons a dopt une d f i ni t i on de la d i f f r e n t i e l l e
d' une t r a ns f or m a t i on d' un nombre a en un p o i n t a b s t ra i t . Si l ' on f a i t
d p e ndr e m d' un n o m b r e a, toute f onct i on a b s tra ite de m, M ==^ ( m )
d p e ndr a a us s i du nom b r e a. O n a ura pa r e xe m pl e m -== g (oc) et
M ==$[^ ( a ) ]. E t i l f a udr a que d ^[ g ' ( o ( . ' ) ] s oi t une f onct i onne l l e
l i n a i r e de ^ (a) .
C e ci nous f our ni t une condi t i on qui est b i e n da ns l ' e s prit du C a l cul
di f f r e nt i e l ; m a i s il re s te e ncor e di re ce qui sera la di f f r e nt i e l l e
d ' u n e t r a ns f or m a t i on m ==^ ( oc) d ' u n nom b r e v a r i a b l e a en u n l m e n t
a b s t r a i t v a r i a b l e m. ( C e t t e q u e s t i o n ne se pos a i t pas p o u r l ' A na l y s e
(
t
) J. l\DAMARDi Leons sur le Calcul des Variations^ t. I, Paris, 1 9 1 0 , p. 288.
2(.)6 M A U R I C E F R C H E T .
f o n c t i o n n e l l e o M t a i t u n n o m b r e U , m u n e f o n c t i o n n u m r i q u e
o r d i n a i r e y ( . r) d' une v a r i a b l e x e t o , pa r c o n s q u e n t , on s a v a i t
i - p d ^' . dy \
de nm r e t -
ciy. da ]
L e p r i n c i p e de M. H a da m a r d p e r m e t t r a i t donc de r a m e n e r l e ca s de
l a cor r e s p onda nce M ==^ ( m ) e n t r e de ux l m e n t s a b s t r a i t s a u ca s o
l e s e cond l m e n t m e s t u n n o m b r e . M a i s il r e s t e r a i t l uc i de r ce cas.
D ' a i l l e ur s , m m e da ns l e cas cons i d - r pa r M. H a d a m a r d , i l nous a
s e m b l q u ' i l y a u r a i t i nt r t a d j o i n d r e a u p r i n c i p e de M. H a da m a r d
u n a ut r e p r i n c i p e d e s t i n m e t t r e i m m d i a t e m e n t e n v i de nc e l ' i m -
p o r t a n c e de l a n o t i o n de d i f f r e n t i e l l e p o u r l ' t ude a p p r oc h e d e l
f o n c t i o n . C ' e s t l e s u i v a n t : l a d i l F r e n t i e l l e d ' u n e f o n c t i o n e s t u n e
e x p r e s s i on simple, approche de l ' a c c r o i s s e n i e n t de l a f o n c t i o n . L e
q u a l i f i c a t i f s i m p l e e s t p r c i s p a r l e p r i n c i p e de M. H a da m a r d e n y
r e m p l a a n t t o u t e f o i s l a v a r i a t i o n ou d i f f r e n t i e l l e de l ' a r g u m e n t y de
la f o n c t i o n n e l l e Vy pa r r a c c r oi s s e m e nt A y de y s a ns i n t e r v e n t i o n du
p a r a m t r e n u m r i q u e a. L e qua l i f i ca t i i a p p r oc h r e ce v r a u n e
pre m ire pr ci s i on si l ' on di t que l a d i f f r e n t i e l l e d ' u n e f o n c t i o n d o i t
tre la partie principale de l ' a c c r oi s s e m e nt de ce t t e f o n c t i o n . M a i s p our
viter les ob j e ct i ons l e ve s c o n t r e ce t t e c o n d i t i o n da ns l e cas
cl a s s ique de s f onct i ons d' une v a r i a b l e e t v i s a n t l e s cas o l a d r i v e
e s t n u l l e , nous p r ci s e r ons a i n s i l e s e ns du m ot p a r t i e p r i n c i p a l e :
L a di f f r e nc e e n t r e l a d i f f r e n t i e l l e et l ' a ccr oi s s e m e nt de l a f onc t i on
doi t t re i n f i n i m e n t p e t i t e pa r r a p p or t l ' a ccr oi s s e m e nt de la va-
r i a b l e .
L ' a na l y s e pr c de nt e c o n d u i t a l or s p our l e s f o n c t i o n n e l l e s n u m -
r i que s l a d f i n i t i o n que n o u s a v ons d o n n e e n 1 91 1 .
U n e f o n c t i o n n e l l e <[>(m) a d m e t u n e d i f f r e n t i e l l e p o u r l ' a r g um e nt m^
s' il e x i s t e une f o n c t i o n n e l l e o( A /n) , l i n a i r e pa r ra pport l ' a ccrois -
s e m e nt A m de l ' a r g u m e n t m^, q u i ne di f f r e de l ' a c c r oi s s e m e nt
c or r e s p onda nt A < > ( /no) que pa r u n e q u a n t i t i n f i n i m e n t pe t i t e pa r
r a ppor t l ' a ccr oi s s e m e nt A W ( ) de l ' a r g um e nt .
P our a che ve r ce t t e d f i n i t i o n , il s uf f i t de pr ci s e r : i qu' une
f o n c t i o n n e l l e ( $) e s t l i n a i r e q ua nd e l l e est c o n t i n u e et, e n o u t r e ,
di s t r i b ut i v e , c' e s t - - di re te l l e que F on a i t i d e n t i q u e m e n t
?(Si+^=?(Si)-^?(^);
L N O T I O N D E D I F F R E N T I E L L E D A N S L A N A L YS E G N R A L E . 297
2 que l e nombre A ^ D ^ o)
s e ra
cons i d r com m e i n f i n i m e n t pe t i t pa r
r a ppor t A W ( ) s ' il es t i n f i n i m e n t p e t i t pa r r a ppor t a u nombre q u i
m e s ur e Yccirt e nt r e l e s l m e n t s m^ et m^-h A W () .
E n f i n , b i e n e n t e n d u , l a di f f r e nt i e l l e de < &(w) e n m ^ sera prcis -
m e n t i?(A w) .
L a d f i n i t i o n est a l ors com p l t e da ns rA na ^ s e f onc t i onne l l e o
< D ( w ) est un nom b r e l or s que l ' a r g um e nt m es t une f onct i on
or di na i r e . I l s uf f i t de chois ir p o u r l ' cart de de ux f onc t i ons m( x)
et m^x) une d f i ni t i on en ra pport avec l a na t ur e des f onct i ons
e nv is a g e s .
P ar e x e m p l e , l o r s q u e m v a rie da ns l e ch a m p de s f o n d i o n s cont i nue s
s ur u n i n t e r v a l l e f i x e J, on pr e ndr a , pour l ' ca rt de m e t m^y l e
m a x i m u m de \mx) ~m^x' ) \s ur J. L ors que m e s t u n e f o n c t i o n
a r b i t r a i r e de ca rr s om m a b l e s ur J, on pr e ndr a pour ca rt
[/n(.z') mo(.z*)]'
2
^. ...
j
La dfinition de la diffrentielle dans !' ' Analyse gnrale. N ous
a l l ons v oi r qu' on pe ut t e ndr e s a ns m odi f i ca t i on la d f i n i t i o n d o n n e
pl us h a ut a ux f onc t i onne l l e s q u i sont, a us s i b i e n que l e ur a r g um e nt ,
de n a t u r e que l conque , c' e s t - - di re a ux t r a n s f o r m a t i o n s d ' l m e n t s
a b s t r a i t s e n l m e n t s a b s t r a i t s . L a s e ul e di f f i cul t cons i s t e prcis e r
le s e ns a t t r i b u e r a ux di f f r e nt e s pa r t i e s de ce t t e d f i n i t i o n . C ' est e n
l e f a i s a nt que n o u s s e rons a m e n s r e s t r e i n d r e l a ca t g ori e de s
e ns e m b l e s a b s t r a i t s t r a ns f or m s et t r a ns f or m e r , s a ns p o u r t a n t a v oi r
d f i ni r la na t ur e de l e ur s l m e n t s .
Si la d f i n i t i o n est b i e n ch oi s i e , e l l e ne s ' a ppl i que r a qu' de s t r a ns -
f or m a t i ons c ont i nue s ; nous p r v o y o n s donc qu' on de v ra a v oi r d f i n i
d' a v a nce da ns cha que e s pa ce l ' op r a t i on de d r i v a t i on des e ns e m b l e s .
Mais ce l a ne sera pas s uf f i s a nt .
N ous r e m a r quons qu' e n re g a rda nt la di f f r e nt i e l l e d ' u n e t ra ns f or-
m a t i on com m e une t r a n s f o r m a t i o n s i m p l e , a ppr och e , au v oi s i na g e
d ' u n p o i n t , de la t r a ns f or m a t i on donn e , n o u s s om m e s s rs de re s te r
da ns la v oi e tra ce pa r l es cr a t e urs de l a not i on de di f f r e nt i e l l e d' une
f onc t i on e t nous p o u v o n s a t t e ndr e de ce t t e di f f r e nt i e l l e g n r a l i s e
nn. c. Norm., (3),XLII. OCTOBRE 1 9 20 .
38
2q8 M A U U C E F r i C H E T .
l e s m m e s s e m e s qu' r e n d u s la d i f f r e n t i e l l e c l a s s i que da ns un
d o m a i n e p l u s r e s t r e i n t . C ' e s t s e ul e m e nt da ns l ' i n t e r p r t a t i o n de l a
d f i n i t i o n q ue nous r i s q u o n s de f a i r e f a us s e r out e .
Analyse de la dfinition de la diffrentielle. R e p r e nons d o n c
en d t a i l la d f i n i t i o n de l a pa g e 296 en d o n n a n t la f o n c t i o n -
ne l l e M ==< & ( / 7) l a s i g n i f i c a t i o n d ' u n e t r a n s f o r m a t i o n u n i v o q u e de
p o i n t s m ( f o r m a n t un e ns e m b l e e) d' un es pace a b s t r a i t e n p o i n t s M
( f o r m a n t un e n s e m b l e R ) d ' u n e s pa ce a b s t r a i t , d i s t i n c t ou non du
p r e m i e r .
O n p e u t r e pr s e nt e r ce t t e d f i ni t i on sous l a f or m e s y m b ol i que
( ) A < l > ( m o ) ^ N > ( 7? ^ o ) =
o
(
A w
o )
o nous e m pl oy ons l a n o t a t i o n o( . . . ) e m p r u n t e la t h or i e de s
f o n c t i o n s p o u r i n d i q u e r que o( A m ^ ) es t i n f i n i m e n t p e t i t pa r r a ppor t
A m y ; e t o d^( m^ est une f o n c t i o n n e l l e l i n a i r e de A /??o. O n p e u t
a us s i r e pr s e nt e r s y m b ol i que m e nt la d f i ni t i on des f o n c t i o n n e l l e s
l i n a i r e s ( ) pa r l a doub l e condi t i on
( H ) 9 ( ^ + ^ ) =< ? ( ^ i ) + y ( ^ ) <
( I I I ) Si ^ e s t v oi s i n d' un e ns e m b l e d' l m e nt s T ], ( ^ ) est v oi s i n de
l ' e ns e m b l e d' l m e nt s 9( j ) .
I l re s te i nt e r pr t e r ces t roi s c o n d i t i o n s .
T out d' a b or d, m^ e t m t a n t d e u x p os i t i ons de m, qu' e nt e ndr a - t - on
pa r a c c r o i s s e m e n t A W () de m^ m, l or s que m n' e s t pas u n n o m b r e ?
O n p our r a s ' i ns p i r e r de l a g om t r i e v e ct or i e l l e u s u e l l e o ce l
a c c r oi s s e m e nt ne s e r a i t a nt r e que l e vecteur gomtricpie m^m.
A l ors A W (, e s t un v e ct e ur a b s t r a i t d u p r e m i e r espace, A Mo ==A $( w o)
es t un v e ct e ur du s e cond e s pa ce , d^rn^' ) == ( A m ^ ) e s t . un v e ct e ur du
s e cond e s pa ce t r a n s f o r m l i n a i r e d ^ u n v e ct e ur du pr e m i e r . E t pour
i n t e r p r t e r c o m p l t e m e n t l a s i g ni f i c a t i on du p r e m i e r m e m b r e de ( ) ,
il f a udr a s up p os e r q u' on a i t a n t r i e u r e m e n t a dopt une d f i ni t i on de
la di f f r e nc e e nt r e de ux v e ct e ur s du s e cond es pace, s a voir ici
A $( w , ) - ( A ^ o) .
D ' a ut r e p a r t , l a c o n d i t i o n ( I I ) s uppos e qu' on a d o n n u n s ens la
L A N O T I O N D E . D I F F R E N T I E L L E D A ^ S L ' A N A L YS E G N R A L E . 299
s om m e de de ux v e c C e u r s !;,, ^ du p r e m i e r espace et la s om m e de
de ux v e ct e ur s ( ^ ) , 9( ^ 2) du s e cond es pace.
O n v oi t al ors qu' un m oy e n trs g nra l s i non l e p l u s g n ra l
de donne r l es s i g ni f i ca t i ons qui v i e n n e n t d' tre prcis e s cons i s t e
supposer que les deux espaces considrs sont des espaces abstraits affines
au s e ns q ue j ' a i i n d i q u a i l l e ur s et que nous r a p p e l l e r ons pl us l oi n.
M a i s n o u s n' a v ons pa s e ncor e t e nu com p t e de l a condi t i on (I I I }.
C el l e-ci n' a cque r r a i t de s e ns da ns l e s e s pa ce s a f f i ne s te l s qu' i l s s ont
h a b i t u e l l e m e n t d f i ni s que si l ' on ne f a i s a i t t e n d r e un l m e n t ou
poi nt a b s t r a i t ve rs un a ut r e que s ui v a nt un ch e m i n r e ct i l i g ne * Si l ' on
v e ut r e s t i t ue r l a n o t i o n de c o n t i n u i t f oul e sa port e , nous s e rons
donc ici a m e n s a dm e t t r e que l es de ux e s pa ce s a b s t r a i t s o v a r i e nt
m et M s ont non s e ul e m e nt a f f i ne s m a i s t op ol og i q ue m e nt a f f ine s a u
s e ns q ue n o u s a v ons prcis a i l l e ur s . C ela se t r a dui t pa r u n e nouv e l l e
r e s t r i ct i on qui sera ra ppe l e pl us l o i n .
E n f i n , re s t e i nt e r p r t e r la s i g ni f i ca t i on de o (A /T ^ ) da ns l ' g a l i t ( I ) .
C 'est u n v e ct e ur A du s econd espace qui dpe nd d ' u n v e ct e ur ==A w?o
du pr e m i e r e s pa ce . E t l e v e c t e u r a b s t r a i t A doit tre i n f i n i m e n t pe t i t
par r a ppor t a u v e ct e ur X . D a ns l ' e s pa ce t opol og i que m e nt a f f i ne l e p l us
g n r a l , on pe ut a tta che r cha que v e ct e ur un nombre o qu' on pe ut
a ppe l e r l ong ue ur ou nor m e de ce v e ct e ur. O n p o u r r a i t donc t re t e nt
de di re q u e le N ^ ct e ur a b s t ra i t A est i n f i n i m e n t pe t i t par ra pport a u
v e ct e ur a b s t r a i t X si l a nor m e ou l ong ue ur de A est i n f i n i m e n t pe t i t e
pa r r a p p or t ce l l e de ^ /L Ma is on s a it q ue , da ns u n e s pa ce a f f i ne , l e s
v a l e urs a b s ol ue s des l ong ue ur s n' ont pas de s i g ni f i ca t i on propre , que
s e ul s i m p or t e nt l es r a ppor t s de de ux l ong ue ur s et e ncore , en l es
s up p os a nt pris e s s ur l a m ^ ne dr oi t e a b s t ra i t e ou s ur deux droi t e s
pa ra l l l e s . I l f a ut donc donne r une d f i ni t i on pl us s tricte du s ym -
b ol e o( A m o) . U n m oy e n trs g nra l cons i s t e ra s uppos e r que, da ns
cha cun de s de ux espaces topol og ique s cons i d r s , l es points
d' a ccum ul a t i on pe uv e nt tre d f i ni s au m ^ ye n d ' u n ca rt num r i q ue .
N ous e n t e n d o n s pa r l qu' t out coupl e de poi nt s A , B , on pe ut f a i re
corre s pondre un nom b r e ( A , B ) ^ -- nul s e ul e m e nt si A e t B ne s ont
pas di s t i nct s de sorte que A soit poi nt d' a ccum ul a tion d' un
e ns e m b l e de p oi nt s B , si la b or ne i nf r i e ur e des ca rt s ( A , B ) pos itif s
est n u l l e e t r ci pr oque m e nt . .
300 ' M A U R I C E F R C H E T .
A l or s l a s i g ni f i c a t i on d u s y m b o l e o ( A / / 2y ) s era v i d e m m e n t l a
s u i v a n t e : l e v e c t e ur M o M ^ =o{m^n) de v ra t r e t e l que l e n o m b r e q u i
m e s ur e l ' ca rt de Mo e t de M , s oi t i n f i n i m e n t p e t i t pa r r a p p or t a u
n o m b r e qui m e s ur e l ' ca rt de m^ e t de m q ua nd ce d e r n i e r t e nd
v e r s zro.
A il s i, nous v oy ons qu' on p our r a d f i ni r l a d i f f r e n t i a b i l i t d ' u n e
t r a ns f or m a t i on M ==V[ m) de p o i n t s m d ' u n e s pa ce a b s t r a i t e n p o i n t s M
d' un e s pa ce a b s t r a i t , t out e s les f oi s que ces de ux e s pa ce s s ont de s
e s pa ce s t o p o f o g i q u e m e n t a f f i ne s ou l a d f i n i t i o n des p o i n t s d ' a c c u m u -
l a t i o n pe ut t re d o n n e pa r l ' i n t e r m d i a i r e d ' u n c a r t n u m r i q u e .
T out e f oi s , on e s t ob l i g p our ces e s pa ce s d ' t a b l i r u n e d i s t i n c t i o n ,
a u p r e m i e r a b or d s u b t i l e , e nt r e i a l o n g u e u r et l ' ca r t . C e t t e d i s t i n c t i o n
e s t cl a ns l a n a t u r e des chos e s c om m e on p our r a l e v oi r pa r l e s
e x e m pl e s de t e l s e s pa ce s ( I 5L > , JI L , . . . ) que n o u s a v ons d o n n s
a i l l e ur s (
r
) . Ma i s a u m o m e n t d ' i n t r o d u i r e l a n o t i o n si i m p o r t a n t e de
di f f r e nt i e l l e d' une t r a n s f o r m a t i o n d' e s pa ce s a b s t r a i t s e n e s pa ce s
a b s t r a i t s , ce t t e di s t i nct i on r i s que d' g a r e r l ' e s pr i t s u r de s d t a i l s non
e s s e nt i e l s . N o u s nous b or ne i ^ ns donc d a n s l a s ui t e a u cas o l e s
e s pa ce s a b s t ra i t s cons idrs s ont de s e s pa ce s ( cD ) v e c t or i e l s ,
e s pa ce s un pe u m oi ns g n r a ux que l e s e s pa ce s <T t op ol og i q ue m e nt
a f f i ne s cons i d r s ci- de s s us et un pe u pl us g n r a ux q u e l es e s pa ce s
d f i ni s pa r M. B a na ch (
2
) e t que nous a ppe l l e r ons es paces ( co)
v e ct ori e l s c om p l e t s .
Rsum. N ous a l l o n s da ns l a s ui t e r a ppe l e r la d f i n i t i o n pr ci s e
des e s pa ce s cons i d r s p l us h a u t s ucce s s i v e m e nt e t f o r m u l e r la
d f i n i t i o n c o r r e s p o n d a n t e de l a d i f f r e n t i e l l e d ' u n e t r a n s f o r m a t i o n
d' e ns e m b l e s a b s t r a i t s . N ous t u d i e r o n s e ns ui t e ses pr opr i t s . D a ns
un s e cond M m oi r e , nous d f i ni r ons l es t r a n s f o r m a t i o n s dW dre
e nt i e r e t l es d i f f r e n t i e l l e s d' ordre s s up r i e ur s . D a ns t o u t e ce tte
t ude ^ nous u t i l i s e r o n s , -^ s ans a v oi r b e a ucoup y ch a ng e r pour e n
t e ndr e c ons i d r a b l e m e nt -l a por t e un g r a nd n o m b r e des r a i s on-
ne m e nt s pr s e nt s da ns nos qua t r e m m oi r e s : Une dfinition
(
1
) Les espaces topologiquement affnes (//cia mathernatica, KJ'AS).
(
2
) Fundamenta Mathematicce, t. III, 1 9 2-2, p. i33^
L N O T I O N D E D I F F R E N T I E L L E D A N S L ' A N A L YS E G N R A L E . 3oi
fonctionnelle des polynmes Noi^\ Ann. de Malf'i^ t. 9 5 iqoq'); Les
fonctionnelles continues (.A/m. c. Norm. sup.y t. 26, 1 9 0 9 , p. 1 9 3) ;
Sur la notion de diffrentielle dans le Calcul fonctionnel (C. R. Congrs
Soc. sav., 1 9 1 2, p. 4 5 ); Les jonctions cr une infinit de 'variables
((7. ./?. Congrs Soc. sav. 1 9 0 9 , p. 5 ).
C H A P I T R E I .
ESPACES ABST RAIT S ET TRANSFORMATIONS PARTIELLES AB ST RAIT E S.
Dfinition dhm champ de vecteurs abstraits. D e nom b r e us e s df i-
n i t i o n s a x i om a t i que s cies ch a m ps de v e c t e ur s ont t donn e s qui ne
di f f r e nt que pa r q ue l q ue s v a r i a nt e s . N ous nous a r r t e r ons la
s u i v a n t e :
N ous a p p e l l e r o n s champ de vecteurs un s y s t m e com pos d' un
e ns e m b l e o" d' l m e nt s de na t ur e q u e l c o n q u e ( e t que nous a ppe l l e r ons
vecteurs") et de t r oi s o p r a t i o n s p o r t a n t s u r ces l m e nt s et s ur des
nom b r e s , op r a t i ons r e pr s e nt e s pa r les s y m b o l e s -4-3 . , ||...|| e t
s oum i s e s aux c o n d i t i o n s s ui v a nt e s :
S oi e nt !;, Y], t roi s v e ct e ur s q u e l c o n q u e s d u c h a m p cr, a et b de s
nom b r e s q u e l c o n q u e s (
1
).
i ^ -i" T ] est u n l m e n t b i e n d t e r m i n du ch a m p o-; 2^ 4-y] ==y ]- + - ^ ;
3 ( ^ 4- j ) + ^ ==^ 4- (Y] -h t) ; 4 S -h Y] ==" $ -h t e n t r a n e -/] =*(;
5 i l e xis te d a n s l e ch a m p cr un v e ct e ur qu' on pe ut d s i g ne r pa r 0 tel
qye ^ . + - o ==^ ; 6 ^ . S es t un v e ct e ur d t e r m i n du ch a m p o- (
1 N
) ;
^ a- = ) = .Q et ? . l ; ==a . 7i e n t r a n e n i ^ =Y] ; 8 ^ 0 et a.^= b^e n-
t r a n e n t a ==A ; 9
0
a . ( ^ - + - ' ^ ) ) ==^ . ^ 4 - a . / ] ; 10 a -4- & ) . ^ ==a. S -h . ^ ;
11 i . ' $ ==^ ; 12 a & . S ==a . ( 6 . ^ ) ; I 3
0
||^ j est un n o m b r e ^ o a p p e l
l ong ue ur de ^ ; I 4
0
||E || =
:
o qui v a ut ^ ==0 ; I 5
0
]|. ^ [|=[ a [ |i' S||.
.Dfinition d^un espace abstrait affine. N ous a p p e l l e r ons espace
abstrait affine un s y s tm e com pos d' un e ns e m b l e d' l m e nt s de
na t ur e q ue l c onq ue a ppe l s points abstraits et d' un ch a m p o" de v e ct e ur s
(
l
) Pour viter des complicaLions qui sont secondaires relativement ride essentieie
de ce Mmoire, nous ne dfinirons a. ^ que pour a rel.
302 ' . M A U R I C E F R C H E T .
a s s oci c e t , e ns e m b l e de f a on r a l i s e r l e s c o n d i t i o n s s ui v a nt e s .
A ppe l ons couple ordonn de points^ de ux points a b s t ra i t s pri s da ns
un ce r t a i n ordre .
I . A t out coup l e o r d o n n A , B de p o i n t s a b s t r a i t s corre s pond un
v e c t e u r d t e r m i n S; du ch a m p o- et l ' on e x p r i m e c e t t e c o r r e s p o n d a n c e
par l a not a t i on A B =E .
I I . t a nt d o n n s u n p o i n t a b s t r a i t A q u e l c o n q u e et un v e c t e ur ^
q u e l c o n q u e du ch a m p cr, il e x i s t e un p o i n t a b s t r a i t B et un s e ul te l
q u e A B =E .
I I I . Que l que s oi t l e p o i n t a b s t r a i t A , A A =0.
I V . Que l s que s oi e nt les poi nt s a b s t r a i t s A , B , C , on a
A B == C - + - .
P a r a na l og ie avec l ' e s pa ce e ucl i di e n, on pe ut a us s i d f i n i r da ns
u n espace a b s t ra i t a f f i ne des d r o i t e s a b s t r a i t e s , de s t r a n s l a t i o n s
a b s t ra i t e s et des h om ot h t i e s .
O n a ppe l l e r a droite abstraite pa s s a nt pa r de ux p o i n t s a b s t r a i t s di s -
t i nct s A et B , le l i e u des p o i n t s a b s t ra i t s Mp ob t e nus e n f a i s a nt v a r i e r
le nombre p da ns la r e l a t i on
A M p =^ p . A B .
O n a ppe l l e r a translation abstraite d t e r m i n e pa r un v e ct e ur
a b s t r a i t , l a t ra ns f orm a t i on p o n c t u e l l e qui f a i t corre s pondre un
p oi nt a b s t r a i t M, un point a b s t r a i t A f pa r l a r e l a t i on
MW^'L
O n a ppe l l e r a homothtie abstraite de ce nt r e A et de ra pport A , l a
t r a ns f or m a t i on p onc t ue l l e qui f a i t corre s pondre un p o i n t a b s t r a i t M
un p o i n t a b s t r a i t Wpa r la r e l a t i on
S M ^ == - . A M (
1
).
(
1
) On peut gnraliser de la mme faon un certain nombre de dfinitions d'lments
gomtriques euclidiens et de leurs proprits. Voir Sur une dfiidtion. g'omiriqu
des espaces abstraits affines ('^m SQ C. Mah, powwse^ 9 *25 ).
L A - N O T I O N D E D F F E N T I E L L E D A N S L ' A N A L YS E G N R A L E . 3o3
Intervention des considrations de continuit. N ous a v ons f a i t
r e m a r que r a i l l e ur s (
1
) q u ' u n e ns e m b l e pe u prs q u e l c o n q u e , E , p e ut
tre cons i d r com m e e ns e m b l e des p oi nt s a b s t r a i t s d ' u n e s pa ce
a f f i ne . ( S i, pa r e x e m pl e , E a la p ui s s a nc e du c o n t i n u , i l s uf f i t de l ui
f a i r e cor r e s pondr e l ' e ns e m b l e des p oi nt s d ' u n e dr oi t e e uc l i di e nne e t
de l ui a s s ocie r un ch a m p de v e ct e ur s de la m m e f a on qu' a ux p o i n t s
de la dr oi t e . ) L a not i on d' e s pa ce a f f i ne n' of f r e d o n c un i nt r t que
l or s que l e s op r a t i ons + , , , J . . . |e f f e ct u e s s ur l es v e ct e urs de l ' es -
pa ce c ons i d r s ont en r e l a t i on a v e c la na t ur e des p o i n t s de l ' e s pa ce
a f f i ne . E n pa r t i cul i e r , la na t ur e de ces poi nt s d t e r m i n e s i non l og i que -
m e n t , du m oi ns p r a t i q u e m e n t , la f a on de t r a d u i r e da ns l ' espace
cons i dr la not i on de v oi s i na g e des poi nt s de l ' e ns e m b l e .
P a r c ons que nt , i l n' y a ura i nt r t a dopt e r u n e f a on de cons i -
d re r u n e ns e m b l e de poi nt s com m e e s pa ce a f f i ne q u e si ce tte f a on
e s t e n r e l a t i on r g ul i re avec l a d f i ni t i on a dopte da ns cet e ns e m b l e
p o u r l e v oi s i na g e de s es poi nt s .
U n cas s i m p l e est c e l u i o le v oi s i na g e pl us ou m o i n s t r oi t de de ux
p oi nt s de l ' es pace cons i dr pe ut tre a pprci n u m r i q u e m e n t par
un n o m b r e e t m m e pl us p r c i s m e nt qua nd l ' e s pa ce cons i d r es t
u n e s pa ce (< ) ) .
N ous dis ons qu' un espace o u n e ce rt a i ne d f i n i t i o n de l a conv e r-
g e nce d' une s ui t e de p oi nt s a t a dopt e est un espacer) l or s que :
A t out coupl e de p oi nt s A , B de l ' espace cor r e s pond un ce r t a i n
n o m b r e ( A , B ) ==(B , A ) ^ o qu' on a ppe l l e distance de A et de B .
(A , B ) ==o qui v a ut di r e que A et B ne s ont pas di s t i nct s .
L im ( A , A ^ ) ==o qui v a ut d i r e que A ^ t e nd ve rs A qua nd n t e nd
fl.^.CK:
ve rs F i n f i n i .
Qu e l s que s oi e nt l e s p oi nt s A , B , C , on a
( A , B ) 5( A ; C ) + ( G , B ) .
C eci t a nt , un cas p a r t i c u l i r e m e n t s i m pl e , quoi que trs g n r a l ,
o le ch a m p v e ct or i e l a s s oci u n es pace ( ( D ) es t e n r e l a t i on di re ct e
et n a t u r e l l e a ve c l e s not i ons de c o n t i n u i t s ur ce t espace est le s ui v a nt .
(

) Les espaces topoloyc^uement affines {cta mathmatica^ 1 9 25 ).

3o4 ' ' M A U R I C E F R C I E T .
N ous a p p e l l e r ons espace (o) vectoriel, u n e s pa ce ( c ) a u q u e l on
p e u t a s s oci e r un c h a m p de v e ct e ur s , de s or t e q u e l a l o n g u e u r de t out
v e ct e ur A B s oi f c g a l e l a di s t a nc e de ses e x t r m i t s A , R . A u t r e m e n t
di t , nous s up p os ons que |A B |[ ==( A , B ) .
[P a r m i les espaces (co) v e ct ori e l s f i g ur e nt ce ux q ui ont t t u d i s
pa r M. S. B a na ch da ns le T om e I I I de Fundcimenta Mathematic, e t
qu' on p e ut a p p e l e r e s pa ce s (co) v e ct or i e l s complets.]
I l n' e s t pa s i n d i s p e n s a b l e de conf ondre , com m e da ns l es e s pa ce s ( ( D )
v e ct or i e l s , les n o t i o n s de l o n g u e u r et de di s t a nc e . O n p e u t m m e p l us
g n r a l e m e n t c o n s i d r e r de s e s pa ce s a b s t r a i t s a f f i ne s o l e v oi s i na g e
ne p e ut s ' e x p r i m e r n u m r i q u e m e n t .
N ous t u d i e r o n s ces e s pa ce s p l u s g n r a ux da ns u n M m oi r e ul t -
r i e ur , pa rce qu' on p e u t y d f i n i r e t y t udi e r s a ns t r op de c om p l i c a -
t i ons l e s t r a n s f o r m a t i o n s p o n c t u e l l e s a b s t r a i t e s ( T ordre e nt i e r .
Ma is nous d s i r ons m e t t r e b i e n en l u m i r e l a s i m p l i c i t de l ' e xt e n-
s i on que n o u s v o u l o n s d o n n e r l a n o t i o n de d i f f r e n t i e l l e et qui es t
l ' ob j e t e s s e nt i e l de ce M m oi r e . N ous ca r t e r ons donc l e s d i f f i c u l t s
a cce s s oire s e n n o u s b o r n a n t , p o u r d f i n i r l a d i f f r e n t i e l l e , a u cas de s
t r a ns f or m a t i ons p onc t ue l l e s d' e s pa ce s ( < ) v e ct or i e l s en espaces de
m m e n a t u r e .
O n t r o u v e r a de s e x e m pl e s de .tels e s pa ce s da ns l e M m o i r e de
M. B a na ch c i t ci - de s s us e t da ns not r e de r ni e r M m oi r e d u Bail. Cal-
cutta Mat/i. Soc.^ 1925, s ur L es espaces v e c t o r i e l s a b s t r a i t s .
T ram- formation vectorielle linaire. C ons i d r ons u n e t r a ns f or m a -
t i on V = = W( v) q u i f a i t c or r e s p ondr e ch a que v e ct e ur v d' un ch a m p cr
de v e ct e ur s a b s t r a i t s d f i ni c om m e p l u s h a u t , u n v e c t e u r V d ' u n ch a m p
a na l og ue de v e c t e u r s a b s t r a i t s , l e s d e u x c h a m p s t a n t d i s t i n c t s ou n o n .
N o u s d i r o n s q ue ce t t e t r a n s f o r m a t i o n v e c t o r i e l l e est linaire si e l l e es t
d' a b ord distributive, c' e s t - - di r e t e l l e q u e , p our t o u t c oup l e ^ <^ de
v e ct e ur s du p r e m i e r c h a m p
F(^+ F2)=: y(^i)+ ^(c^).
E l l e d o i t t re e n s u i t e continue, c' e s t - - di r e t e l l e q u e [R F ^ ) ^ ( ^ i ) j|
t e nde vers z r o q u a n d \\v^ ^ J t e nd v e rs z r o, ou e nc or e t e l l e que
' ^ (P )! t e n d e v e rs z ro q u a n d [ [ ^ [ [ t e n d v e rs z r o.
O n c o n c l u t de la d i s t r i b u t i v i t qu' e n p r e n a n t p our (\ > l e v e ct e ur 0
L A N O T I O N D E D F F R E N T E L L E D A N S ^ A N A L YS E G N R A L E . 3o5
du pr e m i e r ch a m p, on a
y(F,)=(p,)+T (0 );
donc le t r a ns f or m ^ ' (O ) d u v e c t e ur 0 du pr e m i e r ch a m p e s t l e vec-
t e ur 0 du s e cond c h a m p ,
O n concl ut a us s i de la di s t r i b ut i v i t et pa r un r a i s o n n e m e n t b i e n
c onnu que l ' on a
(z) . y (r.Q=r,(F),
que l q u e s oi t l e n o m b r e r a t i onne l r. A l or s g rce la c o n t i n u i t de S'\
cette g a l i t re s te v r a i e l a l i m i t e p our l e s v a l e ur s i r r a t i o n n e l l e s de r.
L ' i de nt i t (i) nous p e r m e t de p r ouv e r m a i n t e n a n t une p r op r i t
util e des t r a ns f or m a t i ons v e ct or i e l e s l i n a i r e s : il e x i s t e un nom b r e K
i n d p e n d a n t du v e ct e ur te l que
||^)yKlM|.
E n e f f e t , da ns l e cas cont r a i r e , il e xi s t e ra i t une s uite de v e ct e ur s dis -
t i nct s v^ ^ > , . . . t e l l e que
1 1 ^( ^) 1 1 >^ Kll.
E n pos a nt ^ === ^ 5on a ur a i t u n e s ui t e de v e ct e ur s w^
l l ^ l l v ^
(^ 25 . . . , t e l l e que ||wJ|==, t e nde v e rs zro et que pour t a nt
I W -^ I I ^ /^
qui ne t e nd pa s v e rs zro.
T ransformations ponctuelles abstraites. S oi e nt M ==F ( w ) u n e t r a ns -
f o r m a t i o n d' un p o i n t m d ' u n e s pa ce ((&) v e ctorie l en un p oi nt M d' un
espace ( c ) v e ct or i e l , m^u n e p os i t i on p a r t i c ul i r e d e w e t M o =F ( ^ o) -
O n pe ut r a m e ne r la t r a ns f or m a t i on ponct ue l l e M ==F( m) a une t r a ns -
f or m a t i on v e ct or i e l l e e n l ' cr i v a nt s ous la f or m e
MoM == F ( m.Q ) F ( in ) = 0 ( no w),
ou m m e , eu pa rt a nt de poi nt s re s pe ctif s m^ SL qui ne se corre s -
p o n d e n t pa s , sous la f orm e
M7M==A-hi(^iw).
An,n. c. Norm., (3), XL1 I. OCTOBRE 1 9 20 . ^9
36 - M A U R I C E F R C H E T .
O n pe ut appeler accroissement de la variable de m^ m l e v e ct e ur m^m
et a ccr oi s s e m e nt cor r e s ponda nt de la f o n c t i o n l e v e ct e ur M ^ l V l . O n p e ut
d s i g ne r ces a ccr oi s s e m e nt s pa r A / ^ o==m^m, A M y ==M o M ==A F ( m o ) .
E n e m p l oy a nt l a not a t i on m^ === m 4- mm^ = m 4- A , m, on a
Ai F(m) =F(/7z)T(^ + Ai m).
E n e n v i s a g e a n t A , F ( 7n) c om m e f o n c t i o n de m, on p e ut de m m e
cons i d r e r u n a ccr oi s s e m e nt ^[ ^\( m) ] de cette q u a n t i t , corre s -
p o n d a n t un s e cond a ccr oi s s e m e nt A ^ m de m. D ' o
2A, F( w) == F (m 4- A2w) F( //< -4 -Aam -h Ai w) F(w)F(w-4 -Ai m)
:=
I
7
( m. -4- Ai m ) F ( /? + Ai m -4- A^ rn ) P' ( m ) F (m -h Ag m )
=: Ai 2F(m).
O n d f i ni r a de m m e e n g n ra l l' accroissement d' ordre n, A ^ ,
A ^ i , . . . , A ^ P ( m ) c or r e s p onda nt a ux a c c r oi s s e m e nt s s ucce s s i f s
A ^ T ^ A ^ , . . . , A ^ w et i n d p e n d a n t de l ' or dr e des i n d i c e s .
T ransformations ponctuelles du pr/nier ordre, N o u s a p p e l l e r o n s
en g n ra l t r a ns f or m a t i on p onc t ue l l e d' or dr e n, t o u t e t r a ns f or m a -
t i on M ==F ( m ) c o n t i n u e et t e l l e que l ' a ccr oi s s e m e nt d' ordre n -+- de
l a f onc t i on F ( w ) A /^ ., A ^ , . . A i F ( m ) s oit i d e n t i q u e m e n t nul , c' e s t- -
dire g al a u v e cte ur 0 du s e cond ch a m p q u a n d l es a ccr oi s s e m e nt s
A i w, . . . , A ^ m de la v a r i a b l e v a r i e n t de f a on i n d p e n d a n t e .
E n pa r t i ul i e r , M =F (w) sera une t r a ns f or m a t i on du pr e m i e r or dr e
si A 2A i F ( w ) =0, c' e s t - - di re si l a t r a ns f or m a t i on, t ouj our s s uppos e
c ont i nue , est te l l e q ue
F ( ^ + i ) F ( m + ' ' 7T ^ ^ F ( ^ ^
que l s que s oi e nt l e s v e ct e urs ^ , et ^ 2. E n p os a nt pour m f ixe
(0=F T ^ T m T ) ,
on a ura
( a )
l
I
J <
( ^ - ^ ^ ) ==
l

i l
( ^ ) + ( ^ ) .
D ' a ut r e p a r t , en d i s a n t que F ( m ) est c ont i nue , nous e n t e n d o n s
que ||F ( m ) F ( m j || t e nd vers xro avq.p |[ww, ||. D e s orte q ue ( ) s era
L A N O T I O N D E D I F F R E N T I E L L E D A N S L ' A N A L YS E G N R A L E . 3o7
non s e ul e m e nt di s t r i b uf c i v e e n v e r t u de ( 2) , m a i s a us s i c ont i nue . P a r
s u i t e , *( ) est u n e t r a n s f o r m a t i o n v e c t or i e l l e l i n a i r e . E n e m p l o y a n t
p o u r M une not a t i on s i m i l a i r e m^ ==rn+mm^ nous a ur ons d o n c
pour t out e t r a n s f o r m a t i o n M =F ( m ) du p r e m i e r ordre
F ( w 4 - ) =F ( m ) 4 - y ( ^ ,
o V =W( ^) est une t r a n s f o r m a t i o n v e ctorie l l e l i n a i r e . L a rci-
proque est v i d e n t e .
E n e m p l oy a nt l a t e r m i nol og i e g om t r i que que nous a v ons u t i l i s e
a i l l e ur s (

) , on ob s e rv e ra q u e t out e t r a ns f or m a t i on d u p r e m i e r ordre
t r a ns f or m e t o u t e dr oi t e en une dr oi t e , t o u t pl a n en u n p l a n , de ux
dr oi t e s pa ra l l l e s e n de ux dr oi t e s pa ra l l l e s , etc.
Composition de deux transformations du premier ordre. C ons i d -
r ons u n e t r a ns f or m a t i on du p r e m i e r ordre du p o i n t a da ns le p o i n t m
w==mo-4 -V (ay ai ).
E t ch e rch ons que l l e es t la t r a ns f or m a t i on, r s ul t a nt de l a s ucce s s ion
de cette t r a ns f or m a t i on et de la t r a ns f or m a t i on du pr e m i e r ordre
N =N o - + - ( 772. 0 m ) .
O n a
d' o
(mom) = (m^) -+- ^[^(a^;)],
N =N , + {\ ( < ^ ) ]. .
Que l s que s oi e nt l es v e ct e ur s ^ , ^ du ch a m p des a
y[^l(^+^)]=^yl(^)+^(2)]-
l

^
[yI^
donc ^[("^(^jest distributive. Elle est d'autre part continue. Fina-
lement, la composition de deux transformations ponctuelles du premier
ordre fournit une transformation du premier ordre.
(

) Ann. Soc. Math. polonaise', up, loc. eu,

3o8 . M A U R I C E F R C I E T ,
' 'II.
PROPRITS DES TRANSFORMATIONS ABSTRAITES DIFFRENTIABLES.
Dfinition de la diffrentielte d'une transformation ponctuelle
abstraite. Conformment aux explications que nous avons donnes
dans l'Introduction, nous dirons qnune transformation ponctuelle
M == F( m) d'un point m d'un espace (CD) vectoriel en un point M d'un
espace (() vectoriel^ distinct ou non du prcdente est differeuiable au
point m^, s'il existe une transformation vectorielle linaire "^Amo) de
l'accroissement Am^ de. Ici variable^ qui ne diffre de l'accroissement
correspondant AF(mp) de la fonction que par un vecteur o(Ame)
infiniment petit par rapport Am^.
O n a a i ns i
( 3 ) AF ( mo) == T ( wo ) + o ( A/no ),
l not a t i on o( A m o) s i g ni f i a nt que le r a ppor t de l a l ong ue ur du
v e ct e ur O ( A W ( ) ) la l ong ue ur du ve cte ur A w ^ t e nd vers zro a ve c ce t t e
de rni re l ong ue ur. O n pe ut e x pr i m e r ce tte pr opr i t en r e m a r q u a n t
que
o(Amo)=l |o(Amo)||.U==||A^o||.U,
U ta nt un v e ct e ur du s e cond e s pa ce d o n t l a l ong ue ur est gal e
l ' u n i t .
R e m a r quons que pour a p p l i q u e r l a d f i n i t i o n pr c de nt e , i l n'est
pa s n ce s s a i re de s up p os e r q u e la t r a ns f or m a t i on M ==F ( m ) s oit
d f i ni e p our t out e p o s i t i o n de m. M a i s nous s uppos e rons qu' e l l e es t
a u m o i n s d f i ni e a u v oi s i na g e de w ^ , c' e s t - - di re que m^ s oi t i n t r i e u r
l ' e ns e m b l e e de p oi nt m s ur l e q u e l F ( m ) est d f i ni e . Dans ce cas^ en
e f f e t , on va pouv oi r prouv e r f a c i l e m e n t que si F( m) est diffrentiable
en W o? tt ^y
a
aucune transformation vectorielle linaire, autre ue^V,
gui puisse jouer le rle de W.
E n e f f e t, " ^ (A ^ o) Q( A w o) de v r a i t t r e i n f i n i m e n t pe t i t pa r
ra pport A m ^ . O r, en pos a nt v == ,,' m^, on a
I I " ^ ll
||(Am,)^(Am,) II ^|jy (^-^(^)H
IjA/^H II ,.||
L N O T I O N D E D I F F R E N T I E L L E D A N S L ' A N A L YS E G N R A L E . 3(X)
C e d e r n i e r r a ppor t , qui e s t i nd p e nda nt du nom b r e |]A w J[, de v r a i t
t e ndr e v e rs zro qua nd ce n o m b r e t e nd v e rs z r o; i l e s t donc nul e t,
pa r s ui t e , on a b i e n
W(im,)==Q (im,).
L a t r a n s f o r m a t i o n v e c t or i e l l e l i n a i r e W( ^fn^) e s t donc s e ul e de
s on e s pce ; c' e s t une t r a n s f o r m a t i o n s i m p l e a pproch e de l a t r a n s -
f o r m a t i o n du v e ct e ur m.^ da ns l e v e ct e ur A M g ; nous l ' a p p e l l e r o n s Ui
diffrentielle de F ( m ) en m^ et n o u s la r e p r s e nt e r ons pa r d ( m ^) .
Finalement^ on a
7) AF(^J==^F(mJ-i-||AmJ|.U
U t a n t u n v e ct e ur ( du s e cond e s pa ce ) dont la l ong ue ur est g a l e
l ' uni t e t un nom b r e qui t e nd v e rs z ro qua nd la l ong ue ur de A mo
t e n d ve rs zro.
O n v oi t a us s i q u' on a
F ( m} =r [ F ( /no ) 4- ^ ^n,m) ] 4- [| ~m^m ||U
de s orte q ue l a t r a ns f or m a t i on du pr e m i e r or dr e
( 4 ) N ==F ( /rio) 4- y ( m o ^ )
pe ut tre cons i d r e c om m e u n e t r a ns f or m a t i on s i m p l e a ppr och e de
la t r a ns f or m a t i on M =F ( m ) a u v oi s i na g e de m^ On pe ut l ' a p p e l e r la
t r a n s f o r m a t i o n du p r e m i e r or dr e tangente en m.o l a t r a ns f or m a -
t i o n M ==F ( m ) .
C e t t e f a on de pa r l e r , ut i l i s e e n l a s ticit, r e ndr a i t s e rv i ce m m e
d a n s l ' Anal yse classique o e l l e r e ndr a i t ce rt a i ns nonc s pl us i nt ui t i f s .
P ar e x e m pl e , s oit M ==F ( w ) u n e corre s ponda nce e nt r e p oi nt s de
l ' e s pa ce e uc l i di e n. E l l e se t r a dui t pa r trois r e l a t i ons num r i que s e nt r e
l e s coor donn e s
(5 ) X: =Fi(^,y ,s), Y^F^.r,^,^); X- ==- F^, J^).
L a t r a n s f o r m a t i o n cons i d r e sera di f r e nl i a b l e a u p o i n t a ; o Jo ^ o
si l es f onc t i ons F , , F ^ F .^ le s ont , et la t r a ns f or m a t i on du pre m ie r ordre
310 M A U f l I C E F R C H E T .
t a ng e nt e e n ce p o i n t e s t d f i n i e pa r
(6) ^x.^^^^^^+-^; ^Y=..., ^X=.-...
v /
^o vo
J
^
D ( F F . F . )
O n di t f f n r a l e m e n t q ue si l e d t e r m i n a n t j a c o b i e n ---- '
2
'
3
- es t <
-
A t
j j ^ t'y, y, 5;
d i f f r e n t de zro a u p o i n t x^ y^ z^ la t r a ns f or m a t i on (5) est
b i u n i v o q u e a u v oi s i na g e de ce p o i n t . I l s e ra i t a us s i r i g our e ux et pl us
i n t u i t i f de di r e q u e si la t r a n s f o r m a t i o n t a ng e nt e -la t r a n s f o r m a -
t i o n ( 5) a u p o i n t ^ ( p Yo , ^ o'
c s f c
b i u n i v o q u e , la t r a ns f or m a t i on (5) e l l e -
m m e e s t b i u n i v o q u e a u v oi s i na g e de ce p o i n t .
Composiolt des tramformations diffrentiables. I I r s ul t e
v i d e m m e n t de l a d f i ni t i on de l a d i f f r e n t i e l l e que si l a t r a ns f or m a -
t i on M === F ( m ) est d i f f r e n t i a b l e e n m^^ e l l e e s t a us s i c o n t i n u e e n W y .
C o n s i d r o n s m a i n t e n a n t la t r a n s f o r m a t i o n M ==G ( oc) qui r s ul t e de
la s ucce s s i on ( de l a c o m p o s i t i o n ) de de ux t r a n s f o r m a t i o n s d i f f r e n -
t i a b l e s , m ==^ '(a) e f f e ct u e s ur un e s pa ce C D v e c t or i e l et la t r a ns f or -
m a t i o n M ===F ( m ) e nv i s a g e p r c de m m e nt . O n a l a r e l a t i o n (3) et
u n e r e l a t i on de m m e f or m e
dWi :
/HO m^ 1 (0 0 ai) -h Oi(a(,aj);
m^M, =W[^(^1 )] + o,(aoa;) ;
02( ^ 0^ 1 ) ==y [01 ( ^ 0^ 1 ) ] + o^ o^ i )
I I e s t b i e n m a ni f e s t e que ^ P p ^ ( a ^ a ^ ) j est u n e t r a n s f o r m a t i o n
l i n a i r e com m e ^ F et W^ ( voir p . 307), i l r e s t e v oi r c o m m e n t se
com p or t e o ^ ( a o a j q u a n d a , t e nd v e rs a ^ . O r, d' a pr s l ' a l i n a prc-
d e n t et l a d f i n i t i o n de o, il e xi s t e de ux nom b r e s f ixe s et k e t un
nom b r e e t e n d a n t v e rs zro a v e c j j ^ ~^ ~~ te l s que
l [T ()||$||ei |, \\W,(^)\^k\\^^ ||o,(^a7)[!=||ao^||,
d'o
1 1
^
1
__ __
! !
^
Wo^Jl ^C ^+^l l aoaJI.
A l ors
l o r" ^^^l 1 <!/zl l
ol (

aoal
' ^l ^l !
o
^
mowl
^l r^
|^V^)^!./ ||= \ ^ T^=- r,~t~ ~r~====-,-r-~" ^A +) > \\(XoOCi
l aoail ! H^o
772
!
L A N O T I O N D E D I F F R E N T I E L L E D A N S L ' A N A L YS E G N R A L E . J I
d' o l ' on d d u i t que o^ a y ^ ) e s t i n f i n i m e n t p e t i t pa r r a p p or t ||a,...a J[.
Ai n si la composition de deux transformations di/frentiabfes successives
donne une tram'formation diffrentiable. De plus, la diffrentielle
de F [g (a)j est y^F, (a^a,) j ; donc la diffrentielle de la fonction de
fonction F[^(a)J s'obtient par la composition des deux transformations
diffrentielles successives de F(m) et de g{^}' On peut aussi dire que
la transformation du premier ordre tangente en a^ a la transformation
ponctuelle compose F[^(a)j, s'obtient par la composition des transfor-
mations du premier ordre, tangentes respectivement g(^') en o et
Fm)enm^==g(^').
Remarque. D a ns le cas p a r t i c u l i e r de l a t r a n s f o r m a t i o n i d e n t i q u e
m ==m , la di f f r e nt i e l l e de m e s t v i d e m m e n t s on a ccroi s s e m e nt .
C a r A w e s t b i e n une t r a ns f or m a t i on l i n a i r e A w e t e l l e ne di f f r e pas
de l ' a ccroi s s e m e nt de ce t t e f onct i on pa r t i cul i r e . O n a donc
d/n ~=Aw
l or s que m est la v a r i a b l e i nd p e nda nt e e t , pa r c ons que nt , on a a us s i
dM- ^d( m) = ^W( dm) ,
t ouj ours qua nd m est la v a r i a b l e i n d p e n d a n t e .
O r on a v u que si m est u n e f onct i on de ccy qui est di f f r e nt i a b l e
com m e F ( m ) , on a
^[
F
(^(
a
)]=
l F
[

l(
Aa
)]
el
dm==iW,^),
d'o
dM- =d[^(a)] =W(dm).
Ainsi, lorsque W(m) est la diffrentielle d'une fonction abstraite M
de m, la relation
dM- =W(dm)
a lieu, non seulement quand m est une variable indpendante^ mais
mme quand c'est une fonction diffrentiahie d'une autre variable
abstraite a.
Variable numrique. C ons i d r ons l e cas p a r t i cul i e r o a est un
nom b r e rel . I l pe ut tre re g a rd com m e a p p a r t e n a n t un espace (co)
312 M A U R I C E F R C H E T .
v e ct or i e l , ce l ui f or m de t ous l e s nom b r e s r e i s , a ve c u n e i nt e r pr -
t a t i on v i de nt e des v e ct e ur s .
A l ors si 7?2==^ ( a ) est u n e t r a n s f o r m a t i o n d e . ce t e s pa ce e n un
e ns e m b l e a p p a r t e na nt un e s pa ce a b s t r a i t ( co) v e ct or i e l q u e l c o n q u e a
et si l a t r a ns f or m a t i on m = ^ ( a ) e s t di f f r e nt i a b l e , on a ur a
Am=i (Aa) +c ,jAa.U,
co t a n t u n n o m b r e qui t e n d vers zro avec a et U t a nt un v e ct e ur
u n i t a i r e . E t p ui s que W^ es t l i n a i r e et A a e s t u n
1
n o m b r e
\ (Aa)=Aa. (oc ),
o ^ ( a ) e s t un c e r t a i n, v e c t e u r de l ' e s pa ce de m. D ' o, f i n a l e m e n t ,
A/n == Aa. ^ ( a ) 4- o Aa. U
et par suite
(8) . Am=: c (a) 4 --CO.IL
O n v oit que la di f f r e nce de s v e ct e ur s -r-- A m e t ^ ( a ) e s t un v e c t e u r
dont la l ong ue ur | | t e nd v e rs zro avec A a , ce qu' on p e u t e x pr i m e r
s ous la f orm e
lirn -, A/n ==:.'
;
( a ).
Aa-^oAa
On peut dire que ^(a) est la drive gomtrique par rapport au
paramtre a du vecteur abstrait qui joint le point abstrait m un point
fixe w. Ou mieux, que c ' est le vecteur abstrait qui reprsente la vitesse
abstraite du point abstrait m se dplaant sur une trajec toire abstraite
et arrivant sa position au temps a. Dire que la transformation m = ,'(a)
du nombre a en un point abstrait m ou la reprsentation paramtrique
d'une courbe abstraite est diffrenliable^ c^est dire que si a est le temps^
le mowement a lieu avec une vitesse vectoriellement dtermine ^(oc),
dfinie comme la limite du vecteur j'^m lorsque Am te'nd vers zro.
Remarquons aussi que l'on a, diaprs.(8),
IlSWIl-M .^^(^ll+M-
L A N O T I O N D E D I F F R E N T I E L L E D A N S L ' A N A L YS E G N R A L E . ' 3 3
ce q u i donne , l or s que A a t e nd z ro, l ' g a l it numrique
ii^)ii=,i- ^i.
Aa->o [ '- ^ y- 1
E n p a r t i cul i e r , s uppos ons que la f onc t i on w ==^ ( a ) s oi t u n e
cons t a nt e ( a b s t ra i t e ) , c' e s t- - dire que m re s te f ixe l or s que a v a r i e
da ns l ' i nt e r v a l l e J o l ' on s uppos e g ' (a) d f i ni . A l ors |[ 722J[ est n u l e t
pa r s ui t e la drive ' ^ ( a ) de la f onct i on m ==- (a ) est c o n s t a m m e n t l e
v e ct e ur 0.
R c i p r oque m e nt , si la d r i v e ( a ) e s t le v e c t e ur 0 pour t out e s l e s
v a l e ur s de a da ns l ' i nt e r v a l l e J, la f onct i on ^ ( a ) es t une cons t a nt e
( a b s t r a i t e ) . E n e f f e t , l a l ong ue ur
|[^(ao)^(a)||
o ao es t un p oi nt f ixe de l ' i nt e r v a l l e J e t a un poi nt v a ria b l e
est u n e f onc t i on num r i q ue P ( a ) et l ' on a
P ( a 4 - A a ) ~P ( a ) |J |g - ( a ) ^ ( a 4 - A a )
A a |=|| A a
O r l e s e cond m e m b r e te nd v e rs ||^ ( oc) |j qui e s t nul pa r h y pot h s e .
D onc P ( a ) est une f onct i on num r i que dont la d ri v e est nul l e da ns
l ' i nt e r v a l l e J. E l l e est donc cons t a nt e . A i ns i la di s t a nc e de ^ ( ^ o)
cha cune des pos i t i ons de ^ ' (a) est la m m e ; en p r e n a n t a =a y , on
v oi t que ce t t e di s t a nc e cons t a nt e e s t nul l e . F i na l e m e nt , g ( a ) est un
p o i n t a b s t r a i t f ixe qua nd a va rie s ur J.
Nouvelle notation. R e v e nons a u cas d' une v a ri a b l e a b s tra ite m.
L es not a t i ons W( dm) et T F (/n) pour la di f f r e nt i e l l e ne m e t t e nt
ch a cune en v i de nce q u ' u n e de s donn e s q u i d t e r m i ne nt la di f f r e n-
t i e l l e . O n a ura donc s ouv e nt a va nta g e ds i g ne r la di f f r e nt i e l l e
.de F ( w ) c or r e s p onda nt un a ccr oi s s e m e nt dm de m par la not a t i on
<^F(/n).
Variation. Si nous r e v e nons la com pos i t i on des t ra ns f orm a -
t i ons M ==F ( / n) ; w ==^ - ( a ) da ns le cas o a est un nom b re , nous
v oy ons q u e si F et g s ont di f f re nt i a b l e s , la t r a ns f or m a t i on com pos e
Ann. Ec, Norm., (3), XLiI. OCTOBRE 1 9 2 5 . ^0
34 ' M A U R I C E R C H F /r.
M==F |" ^ ( a ) ] e s t d i f f r e n t i a b l e e t q ue si l e s d i i r r e n t i e l l e s s ont
dM= = WAm) et dm= ^ ^ ( A a ) ==A a . ^ ( a ) l a d i f f r e n t i e l l e com pos e
s e ra
[Aa<(a)].
E n a ppe l a nt A a . ^ ( a ) , l a v a r i a t i on de m, e n l a d s i g n a n t pa r w,
e t e n pos a nt ^ " ( A m ) ==< ^ F ( m ) , on v oi t q u e la variation de M ^(ST O
M =
-- /')^
C// F (m).
C e s e ra , en p a r t i c ul i e r , u n e t r a ns f or m a t i on l i n a i r e de l a v a r i a t i o n
de w, r s u l t a t cl a s s i que d a n s l e C a l cul des V a r i a t i ons .
Digression. I I e s t i n t r e s s a n t de v oi r , s ur u n e x e m p l e , l e s e ns de
cette p r op os i t i on. P r e nons pour e s pa ce o v a r i e m l ' e s pa ce (c) de s
f onc t i ons c o n t i n u e s s ur un i n t e r v a l l e f ixe (.^ o, . z" , ), e t p our v a l e u r de
la d i s t a n c e de d e u x (( p oi nt s de cet e s pa ce , l e m a x i m u m de l a v a l e u r
a b s ol ue de l e u r di f f r e nc e . P r e n o n s p o u r F ( w ) , en s u p p o s a n t que m
s oi t une f onc t i on n u m r i q u e de la v a ri a b l e n u m r i q u e x e nt r e a et a,
^
F(m)-== j m{x)d.
"
r
'"
I I es t l l a ni f e s t e q u e F ( w ) e s t u n e t r a n s f o r m a t i o n l i n a i r e et pa r
s ui t e q u e
Am F =V ( ' A m ) =F A w ( x) dx.
Si donc mx) es t r e m p l a c pa r u n e f o n c t i o n mx^ a ) , on a u r a
..r, r,
o / ni ( ;r, a) ^=== ^ow^ ^ / m dx
J.r, J.c,
avec
om == m'y,{,Xy a) oa.
M a i s l a d m o n s t r a t i o n s u p p o s e que m es t d i f f r e n t i a b l e pa r r a ppor t
a, c' e s t - - di r e que
./n == m[x^ a +- A a ) n i { x ^ a) ==AaS(^?, a) 4- a) Aa.LJ,
L A N O T I O N D E D I F F R E N T I E L L E D A N S L ' A N A L YS E G N R A L E . 3 5
03 t e nda nt v e rs zro avec a el U t a n t un v e ct e ur uni t a i r e . C e l a v e ut
di r e que
\\m.(x. a4 ,Aa)m(.r, a) .
I l A a ^'^
a)
t e nd ve rs z ro avec A a . O r
m (<r, a 4- Aa) m{x, a) . ^ /?zf . r , a+Aa) n(x, a)
^(-^)|= ^(.^a)
D onc m(.z?, a ) doi t d' a b ord tre d r i v a b i e en a ' p our cha que v a l e ur
de x. Ma is , de pl us , l e r a p p or t
n
^ ( < r , a) doi t t e n d r e u n i f o r m m e n t
v e rs sa l i m i t e zro. O n de v ra it a j out e r que ^( x, oc) doi t a p p a r t e ni r
l ' e s pa ce (s) : ce l a e s t u n e cons que nce de rh y pot h s e pr c de nt e .
A i ns i nous v oy ons que la f or m ul e c o n n u e
/ -k. '<"i . y
1
*'!
I m (if, a.)dx^ s fn[.x, o.).dx
*/ <, ^.f
e s t , ici, t a b l i e en s u p p o s a n t non s e u l e m e n t q u e rnx, a) es t cont i nue
e n x et d r i v a b i e e n a, m a is e ncor e que l a driv e m^ e s t la l im ite
uniforme de
n
qua nd A a t e n d v e rs zro. O n r e m a r que r a que , pa r l e
d t our de la t h ori e des e ns e m b l e s a b s t r a i t s , nous s om m e s a m e n s
e x p r i m e r s ous une f or m e a us s i s i m pl e et plus gnrale que ce l l e qu' on
d o n n e d' h a b i t ude , l a condi t i on de d r i v a b i l i t d' une i nt g r a l e dpe n-
da nt d' un pa r a m t r e . O n s uppos e e n e f f e t or di na i r e m e nt que m{x, a)
est d ri v a b i e pa r r a ppor t a, non s e u l e m e n t p our l a v a l e ur cons i d r e
de a, m a i s p our les v a l e urs v ois ine s et que m^{x, a) es t c o n t i n u e
pa r ra pport l ' e ns e m b l e de x et de a. C es condi t i ons e n t r a n e n t
la condi t i on que " - t e nde uni f or m m e nt e nt r e x^ e t x\v e rs sa
l i m i t e ^{x, a ) ==m ^ ( ; r , a) pour la valeur a considre^ m a i s la
rci proque n' e s t pa s v ra i e .
Fonctions abstraites constantes, S uppos ons que la t r a ns f or m a t i on
, , ^ ^ . M ==F ( m )
s oi t d f i ni e q ua nd m re s te une dis ta nce $R d' a n p o i n t f ixe m^
3l6 M A U R I C E F R C H E T .
m et M a ppa r t e na nt re s pe ct i v e m e nt de ux e s pa ce s C D v e ct or i e l s a e t A .
di s t i nct s ou n o n .
N ous s om m e s m a i n t e n a n t e n m e s ur e de g n r a l i s e r u n e pr opr i t
f o n d a m e n t a l e des di f f r e nt i e l l e s n u m r i q u e s : la c o n d i t i o n n ce s s a i r e
et s uf f i s a nt e pour que l a f onc t i on a b s t r a i t e M =F ( m ) , s u p p o s e
d i f f r e n t i a b l e s ur t ous l e s p oi nt s de l a s ph re a b s t r a i t e 2 J|m om [|5R ,
s oi t u n e c o n s t a n t e a b s t r a i t e , es t que l a d i f f r e n t i e l l e de T ( m) s o i t
i d e n t i q u e m e n t n u l l e s ur c e t t e s ph r e a b s t r a i t e . N o u s e n t e n d o n s pa r l
que l e v e ct e ur ^ F ( m ) e s t l e v e c t e u r 0 a t t a ch l ' e s pa ce A l or s que ^
es t un v e ct e ur q u e l c o n q u e a t t a ch l ' e s pa ce a et q u e m e s t un p o i n t
a b s t r a i t q u e l c o n q u e de l a s ph r e S. .
L a c ondi t i on e s t v i d e m m e n t n ce s s a i r e . M ont r ons qu' e l l e est
s uf f i s a nt e . E n e f f e t , s oi e nt m , un p oi nt de S eirn u n p o i n t du s e g m e nt
a b s t r a i t / r ^ m i . O n a ura
nQ m= = a . m o ^ i a v e c o ^ a ^ i
e t , pa r s u i t e , pour une v a r i a t i on A a , . .
A/n = Aa./n<)/7Zi.
A l ors ici 8m ==S oc. W o^ e t la f o r m u l e (10) d e v i e n t
M =a ^ :F ( m ) .
O r m a p p a r t i e n t l a s phre S et l ' on a ^ F ( m ) ==o pour t out
v e ct e ur ^ . D onc M ==F ( m ) est u n e f o n c t i o n a b s t r a i t e de a d o n t la
d r i v e p a r r a p p o r t a a e s t n u l l e i d e n t i q u e m e n t q u a n d a v a ri e de o .
D ' a prs l e l e m m e t a b l i , page 3x 3, i l e n r s ul t e que M est f ixe qua nd
/?2 se d pl a ce s ur l e s e g m e nt a b s t r a i t m^m^ C om m e m^ e s t u n p oi nt
q u e l c o n q u e de S, i l e s t f i na l e m e nt t a b l i que M est f ixe q u a n d m est
a r b i t r a i r e da ns la s phre S.
O n d dui t de l a p r op os i t i on pr c de nt e que si M =F ( m ) est dfini
sur un ensemble ouvert cT un seul tenant, e, et si F est diffrentiable sur cet
ensemble^ la condition ncessaire et suffisante pour que cette fonction
soit constante ( c^ e s t - - di r e que M s oi t f i x e q u a n d m d c r i t l ' e ns e m b l e e)
est que ta diffrentielle de F , ^ F ( w) , sou identiquement nulle. C ' e s t-
- di re que dF ( w ) s oit le v e ct e ur 0 a tta ch A , qua nd m dcrit e et
q u a n d $ est un v e ct e ur q ue l c onq ue a t t a ch a.
L A N O T I O N D E D I F F R E N T I E L L E B A N S L ' A N A L YS E G N R A L E . 81 7
D a ns l ' n o n c p r c de nt , qua nd n o u s d i s o n s que l ' e ns e m b l e
o u v e r t e est d' un s e ul t e na nt , nous e nt e ndons pa r l que , pour t out
c oup l e de p o i n t s m.^ m;, de e, il e x i s t e a u m o i n s u n e s ui t e d' un
n o m b r e f i n i de s ph r e s a p p a r t e n a n t e dont la p r e n^ i r e c o n t i e n t ' / ? i ^
dont la d e r n i r e c ont i e nt e^ e t a y a nt ch a cune au m oi ns un p o i n t e n
c o m m u n avec la pr c de nt e .
Fonctions de plusieurs variables abstraites. S up p os ons q u ' u n
p o i n t M d' un e s pa ce ( ( ) v e ctorie l d pe nde de pl us i e ur s p oi nt s m , /i, . . .
e n nom b r e f i ni e t a p p a r t e n a n t ch a cun un es pace ( ) v e c t o r i e l : on
p o u r r a cr i r e M = ' ( m,7 1, . . . ) . 11 s ' ag it de d f i ni r la d i f f r e n t i e l l e
t ot a l e dF de ce tte f onct i on de pl us i e ur s v a r i a b l e s . P our ce l a , i l nous
s uf f i r a de m ont r e r que l ' e ns e m b l e des p o i n t s m,71 , . . . pe ut t r e cons i-
d r c o m m e d f i n i s s a n t un p o i n t a d' un e s pa ce (o) v e ct ori e l e n
r e l a t i on s i m pl e avec ceux o se d pl a ce nt w, n, . . . . I l s uf f ira a l or s
d' cri re F ( m , 71, . . . ) =< >(^ et. de p r e n d r e pour di f f r e nt i e l l e de F
ce l l e de <&. N ous pr ci s e r ons pl us l oi n ce tte i ndi ca t i on.
' D f i ni s s ons d' a b or d l ' e s pa ce o se m e ut le poi nt ( A , com m e un
e s pa ce ( co) v e ct or i e l . D e ux coupl e s or donn s de poi nt s a, , p.^ et p^ , ^
d t e r m i n e r o n t de ux s e g m e nt s dirig s qui pol l e nt s si l es s e g m e nts
di r i g s cor r e s ponda nt s m^m^ e t m\? n[ , n^n^ et n\n\, . . . s ont l a f ois
r e s p e ct i v e m e nt qui pol l e nt s . l /e ns e m b l e des s e g m e nt s dirig s [JL ^ pig
qui pol l e nt s un s e g m e nt di r i g [x, ^ d t e r m i ne un v e ct e ur p^ p^ . L a
s om m e de de ux v e ct e urs ^ , v^ cor r e s ponda nt a ux v e ct e urs S^ ^ ; p.^
[j - a * a p p a r t e na nt a ux e s pa ce s r e s pe ct i f s d cr i t s pa r m, 72, . . . est le
v e cte ur cor r e s p onda nt a ux ve cte urs ^ + ^ 2 ? "f\\-+- T ].^ .. . . E t si .rest un
nombre que l conque , x.v^ est l e v e ct e ur q u i corre s pond . r. ^ ,
x . Y]^ . . . . E n f i n , on p-eut donne r p l us i e ur s d f i ni t i ons de la di s t a nce
de de ux p oi nt s p. i , [ L^ t e l l e s que m^m^ . . . te nde nt s i m ul t a n m e nt
ve rs m , , / ?, , , . . . qua nd ce tte di s t a nce t e nd v e rs z ro e t r ci proque -
m e nt . P ar e xe m pl e , on pe ut p r e ndr e
Jp.i^||=: [[miW2||+|[^i7Z2
O n voit al ors f a ci l e m e nt que
||^.^2||=:]^||^21 1 ,
Kll^ll i^ IMI^l
3l 8 ' M A U R I C E F R C H E T .
et q u e l a c o n d i t i o n n ce s s a i r e et s uf f i s a nt e pour q u e ||p^ ^ ||==o est
que p.i e t p^ c o n c i d e n t .
P a r a na l og i e , u n e t r a ns f or m a t i on v e ct or i e l l e
V==XF(^^ ...)
sera l i n a i r e pa r r a ppor t l ' e ns e m b l e de s ^ 5Y], . . . " si e l l e est di s t r i b u-
tive et c o n t i n u e pa r r a ppor t cet e ns e m b l e . C ' e s t - - di r e qu' on a ur a
(n) ^(i-l-^^i+^2. .^)=^(^9 i, ..Q-l -y C ^ rh,...)
et que
||V(^^ ...)-V(^^ ...)||
t e n d ve rs zro q ua nd
ii^-y, ih.-rj,ii, ...
t e n d e n t s i m u l t a n m e n t ve rs zro.
Ma is on t i re de l ' i de nt i t (1 1 )
^(, y,, , . .. ) - W{^ 0 , o, ...)== ^(o, /), , . . .),
^ (o,^, ...)~y (o,rj,o, ...)=: (o, o, , . . .),
d' o
W( ^T ) , , . . . ) =< F ( ^ .0, . . . ) + ^ (0, Y], 0, - ...)+.
A i n s i , si W( ' ^, " /], 'C , . . * ) e s t l i n a i r e pa r r a ppor t l ' e ns e m b l e des $,
Y], . . . , c' e s t d' a b ord u n e s o m m e de t r a n s f o r m a t i o n s ( $) 4- ) c(
7
]) ? *
ne d p e n d a n t ch a cune que d' une v a r i a b l e et l ' on v oit f a c i l e m e n t que
ch a cune d' e l l e s d o i t tre l i n a i r e . L a r ci pr oque e s t v r a i e .
Diffrentielle totale. D f i ni s s ons m a i nt e na nt la di f f r e nt i e l l e
d' une f onct i on de p l u s i e u r s v a ri a b l e s a b s t r a i t e s
M == F (m, n, . . .).
N ous d i r o n s que ce t t e f onct i on est di l e r e nt i a b l e au p o i n t ( m ^ ^ o ) ?
s i, cons i d r e com m e u n e f o n c t i o n ^ (p. ) de l ' e ns e m b l e or donn p. des
v a r i a b l e s m, n, ..., e l l e e s t d i f e r e n t i a b l e au p o i n t (J,o (^ o? ^ o? - ) -
A l or s , i l exis te une t r a n s f o r m a t i o n v e ct or i e l l e l i n a i r e de l ' e ns e m b l e
de s a ccr oi s s e m e nt s m, A /i , . . *, qui ne di f f r e de l ' a ccr oi s s e m e nt cor-
r e s p onda nt M? que pa r u n e q ua nt i t i n f i n i m e n t pe t i t e pa r r a ppor t
||A m ||+ - ||A n||. - . * C e tte t r a ns f or m a t i on l i n a i r e est l a s om m e de
L A N O T I O N ' D E D I F F R E N T I E L L E D A N S L ' A N A L YS E G N R A L E . 3l )
t r a n s f o r m a t i o n s l i n a i r e s s pa r e s ( A w ) , ^ ( A n ) , .... D e s ort e qu' on
d o i t a v oi r f i n a l e m e n t
( 1 2 ) AM=AF(mo, n.o. ...) = (Am) 4 -%(/0 -+-...-4- ( 1 | m[! -h |1 A/z|4 - ...).U
o U est un v e ct e ur u n i t a i r e et o est un n o m b r e qui t e nd- v e r s zro
a ve c- ||A w. || +- ||A /i| 4- ' . . . . E t la d i f f r e n t i e l l e t ot a l e de {m, n, .. . ) s e ra
l a s om m e de s t r a n s f o r m a t i o n s l i n a i r e s ( A w ) , % ( 72) , . . . . R e m a r -
q u o n s qu' e n f a i s a nt v a r i e r s e u l e m e n t , n, pa r e x e m p l e , l ' g a l i t ( 2)
de v i e nt
A M =% ( A / z ) - + - s ] |A / i [ [ . U .
P a r s ui t e y ( an) e s t l a d i f f r e n t i e l l e pa r t i e l l e de F (^ , n, . - . )
cons i d r e c o m m e f o n c t i o n de n. O n p o u r r a l a r e p r s e nt e r pa r l a
n o t a t i o n O' ^F^m, n^ . . . ) . D e s or t e que f i n a l e m e n t l or s que w, n, . . .
s ont v a r i a b l e s
( 1 3 ) dP (m, n, .. .)==^F(m, n, . .)+^
F
(
W
^

^ . . ) - +- -
A i n s i , une fonction F ( w, /?, . . . ) di/rentiable par rapport l' en-
semble des variables w, n, ... est diffrenticible par rapport chacune
d' elles, et sa diffrentielle totale est la somme des diffrentielles partie/les
par rapport chacune de ces variables. I l y a l i e u d ' a j o u t e r que l a r ci -
pr oque n' e s t pa s v ra ie , m m e da ns l e cas cl a s s i que o M, m, n, ...
s ont des nom b r e s .
L ors que l ' on p r e n d pour F s ucce s s i v e m e nt c h a c une de s v a r i a b l e s
i nd p e nda nt e s m, n, . . . , on v oi t que
^m=:-lm, dn === A/2, .. .., .
et pa r s ui t e d a n s l e cas g n r a l
(i 4 ) dF(m, n. .. .)= ^;^F(w, n .. . ) -r- ^fc'F^z, n. ...)
Changement de variables. C e t t e f or m ul e est d m ont r e e n s uppo-
s a nt i n d p e n d a n t s l es p oi nt s a b s t r a i t s m, n, . . . . N ous a l l ons m a i n l e -
na nt d m ont r e r quelle subsiste lorsque m, n, . . . sont leur tour ( /es
fondions diffrenliables de nouvelles variables a , ?, . - . , pourvu quon
remplace dm, dn, ...clans /a formule ( i 4) pa r l e ur s e xpre s s ions
en fonction cl da, d^, . . . . O n a ' p a r h y pot h s e l a f o r m u l e ( 1 2) , et de
320
m m e
M A U R I C E F H C I S E T .
Am ==dm 4- i ( ||Aa ||4- |[ Ap || + . . . ).Ui,
A^=^, 4 -, (||Aaj|+||Ap|(4 -...).a,
d' o e n s u b s t i t u a n t da ns ( 1 2)
( 1 5) A ^ =( ^ m ) 4 - % ( ^ ) 4- . . . 4- - < . J
avec
j ^ (^ r. UQ4- /,(, r. IL) 4- ... 4- ( II rn ||4- ||A/z |1 4- ... ). U,
e n p o s a n t
r =||A a ||4- [ |A , 6 |l 4- . . . .
O r on a
IIm ][ 5 i| ^||-H5,|r.
Mais d'w est u n e s om m e de t r a ns f or m a t i ons l i n a i r e s
dm =c p ( A a ) 4- p ( A ( 3) 4-. . . ,
et l ' on a vu que ch a cun des ra pport s
V^AoOj ||p(Ap)||
||Aa||
3
||A(3||
?

a une b or ne s up r i e ur e f i n i e ; e n a p p e l a nt k la pl us g r a nde d' e nt r e
e l l e s , on a ur a
|[^||^|l (p(Aa)||4 -||p(Ap)|i4 -...S/^.
D ' o
HA^Vr ( /c -h |c t |) ,
et pa r s ui t e , il exis te un nom b r e f i ni K ^ > o, te l que
(1 6) \\m II 4- ||A^[|4~. . . ^r(K. 4- sj + |e,\ 4-. ..).
D e m m e
i |(^r.UO +%(, r.IJ, )4 -...||$rS|, [|l (UO l l +l , |[ yJU,) || +. . . j.
E n a p p e l a n t H u n nom b r e c onv e na b l e m e nt chois i, nous s a v ons
qu' on a ura
1 1 ( I J, ) 1 |^ H , |1 % ( U , ) ||^ H , . . . .
d' o
|| ( , r . [ J 04 - % ( ^ ' . U 2 ) 4 - . . . |1 5r H ( |, |4 - |2 J 4 ~. . . ) ,
L A N O T I O N D E D I F F R E N T I E L L E D A N S L ' A N A L YS E G N R A L E . 3:21
et f i na l e m e nt
||c , , |l $r ; ( [|4 " H) ( |j4 - |d +. . . ) +^||S-
O r si r te nd vers z ro, s ^ , 2 , * . . t e nde nt vers zro et com m e
d' a prs (16), [|A w |- +- [|A T Z || 4- ... t e nd a us s i vers zro, il en r s ul t e
que t e nd a us s i vers zro, donc l e f a ct e ur en a ccol a de t e nd vers zro.
P a r s ui t e "
C.)=^7]V,
o Y] t e nd v e rs zro avec r e t o V est un v e ct e ur uni t a i r e . L ' g a l i t ( i 5)
prouv e donc que
0 (dm)+;c (^)4 -...,
qua nd on y re m pl a ce dm, dn, . . . en f onct i on de rf a, d^, . . . , re pr-
s e nt e la di f f r e nt i e l l e de M ==F ( w, n, ...) cons i d r e com m e f onct i on
de a, p, . . . . C ' e s t ce que nous a v i ons a nnonc .
Diffrentielles ( F ordre suprieur. " U n e tude com pl t e des pr opr i t s
des di f f r e nt i e l l e s d' or dr e s up r i e ur nous e nt r a ne r a i t t rop l oi n.
N ous n o u s cont e nt e r ons ici d' i ndi q ue r la d f i ni t i on de la di f f re n-
t i e l l e s e conde .
Dfinition de la diffrentielle seconde. Soit e ncore M ==F ( m , n, . . . )
u n e f o n c t i o n a b s t r a i t e de pl us i e ur s v a r i a b l e s a b s t r a i t e s , l es p o i n t s M,
w, n, . . * t a n t ch a cun v a r i a b l e da ns un espace ( c ) v e ct ori e l pa r t i -
c u l i e r ou c o m m u n .
O n di r a t out n a t u r e l l e m e n t que F ( w , 71, . . . ) a une diffrentielle
seconde si : F a une diffrentielle premire; 2 siy quels que soient les
accroissements m, A J^ , . . . qui servent former cette diffrentielle
premire^ celle- ci a elle- mme une di f f r e nt i e l l e pa r r a p p or t de nou-
v e a ux a ccroi s s e m e nt s A ' m , A ' /z, . . . i nd pe nda nt s des pr c de nt s .
C e t t e nouv e l l e di f f re nt i e l l e sera la di f f r e nt i e l l e s e conde et l ' on v oi t
qu' e l l e d pe ndr a de w. n, . . . et de de ux s y s t m e s d' a ccroi s s e m e nt s
i nd p e nda nt s , A w, An, . . . ; A ' w , A ' n, ....
cr i v ons la di f f r e nt i e l l e pr e m i r e de F s ous la f or m e
d(m, n, . ..) == ^F(^ ^ - ) ^ ^(^ ^ . ..) ^- . -
Ann. c. Norm., (3), XL1. NOVEMBRE 1 9 25 . . 4 t
3
23
, M A U R I C E F R C H E T .
P a r h y pot h s e , d a, q u a n d A w , an, . . . s ont f ixe s , une d i f f r e n t i e l l e
pr e m i r e qu' on pe ut a ppe l e r d' dV pa r r a p p or t de s a ccr oi s s e m e nt s A 'm,
A ' T Z , . . . de /n, n, . . . . E n p a r t i c ul i e r , i l en s e ra a i ns i q u a n d on pr e nd
t ous l e s pr e m i e r s a ccr oi s s e m e nt s nul s , s a uf l ' un d' e ux. D onc si F a
une diffrentielle seconde, chacune de ses diffrentielles partielles du pre-
mier ordre
^F(m, n, . . . ); < )^F(/ 72, ,z, . . . ) ; . . .
es t dijfrenUcible. La rciproque es t vraie, car on aurait
A^;F(m,^ ...)==^^F(m,/z, . . .) 4- E, R.Y,.
(et de mme pour les autres diffrentielles partielles) en posant
P.=\\^
f
m\\+\\^
f
n\\^..^
, t e n d a n t v e rs zro avec R , e t V , t a n t un v e c t e ur u n i t a i r e . D ' o , e n
a j o u t a n t
A'dF(rn, ri, ...)=: df^F(m, n, . . . ) -+- ^^F(w, /z, ..,)+... +R. V,
V t a nt un v e ct e ur u n i t a i r e et s t e n d a n t ve rs zro a ve c ti p ui s que
sR. V==i R. Vi -}-2R. V2-+-. . .,
avec
MS|^|+|c ,i -i -....
Donc d'dV existe et Von a
d'dl^d'^Vm, n, . . .) + d'^{m, n, , ..)-+-....
Or si ron pose pour un i nst a nt ( pui sque pour calculer les d^ on la i sse
l es A f i xe s )
9 (m, n, ...)=:^F(m, n, . . . ),
on aura
d^(m,n, ...)==^m9 (w, ^> '") +- ^cp (m, n, ...)-{-....
D ' o
d'd^^ ^^Fm^n, .. . ) +^^F(m, ,z, . . . ) 4- . . .
+^^F(m, n, . . . ) +^^F(
77
^^, . . . )- +- - . . ,
L A N O T I O N D E D I F F R E N T I E L L E D A N S L ' A N A L YS E G N R A L E . 3l3
qu' on p o u r r a aussi re prs e nt e r pa r la not a t i on a b r g e
13.]
^WF= ^^(m, n, ..,) 4-^^F(m, n, ...)-
+ ^i&. F(
7
^
/
^ ) ^ ^^^^i^l'!
9
-^
F i na l e m e nt , on v oi t que r/W F est' une somme de termes dont chacun est
linaire par rapport un des accroissements A w, An, ...et aussi linaire
par rapport un des accroissements ! m^ A ' n, .... C h a cun de ces t e r m e s
e s t une di f f r e nt i e l l e p a r t i e l l e du' s e cond ordre de F (
i
) .
Si l ' on s uppos a i t que tous les pr e m i e r s a ccr oi s s e m e nt s A m , A T ^ . . .
f us s e nt nul s , s auf un seal, e t que tous l e s s e conds a ccr oi s s e m e nt s
A ^ m . A ^ i, ... s ont nul s s auf un s e ul , l a di f f r e nt i e l l e t ot a l e du s e cond
ordre de F se r dui r a i t s ucce s s iv e m e nt ch a cun de ces te rm e s .
(
i
) O n cr i t d' h a b i t ude l a dif f re ntie l l e secode d' une f ocl i on de de ux variab l es num -
ri que s e n gal ant l es doux s y s tm e s d' a ccrois s e m e nts . Mais cela ne de v r a i t pas en f a ire
oub l i e r la v rita b l e orig ine .