This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
).
'pe
y(r)=(rn, y < E > ,
[rl=
:
( $(r))
'L
d 6 f i n i e par
21
de.s r e l a t i o n s i b o m u k p h e . 4 B r , La C L a b b e d ' i b o m a k p h i e d e r e s t
: y e O ( E ) I e t , pour t o u t e r e l a t i o n r ' k r r l , on r'.
%
S i r'= y(r),
E'= y<E>, p'= y
, la bijection
e s t un ibomokphibme e n t r e r=(m,E,p) e t r ' = ( m , E ' , P ' ) , 9 q u ' o n n o t e e n c o r e : r 'L r ' . E
-f
ce
Pour rERm, s 6 R m , l o r s q u e r e s t isomorphe 2 une r e s t r i c t i o n
1.2.3 r'
E'
d e s , o n d i t q u e r b'abki-te danb s , o u que s a b h i t e r , e t l ' o n
n o t e : rss. Dans l e c a s c o n t r a i r e r q s , o n p e u t d i r e q u e s P v i Z e r et
( p l u s g6n6ralement)
lorsque s
Pvite chacune des r e l a t i o n s appar-
d e @Lm, o n p e u t d i r e q u e s B v i t e
t e n a n t 1 une s o u s - c l a s s e
L a formule rss d 6 f i n i t dans chacune d e s c l a s s e s k
m
d'abfiitement m-aire.
l e pkfio4dhe
21.
un p r 6 o r d r e :
On a p p e l l e z g e d e s l a c l a s s e B d e s
-3 e s t
r e l a t io n s r de c a r dinalit6 f i n i e v 6 r i f i a n t r<s. S i
l'ensern-
b l e d e s p a r t i e s f i n i e s du s u p p o r t de s , a l o r s E e s t l a r e u n i o n d e s classes d'isomorphie [SIX]
l'on note s(n)
(pour n e w )
n-restrictions
de s (grossisrement
-
on d 6 f i n i t une s u i t e s
: w
.
A cet egard, s i 9 s l e nombre d e s c l a s s e s d ' i s o m o r p h i e d e s
lorsque X parcourt
-f
w
-
: s ( n ) < 2 (nm) pour
appel6e
pkodid d e
tout
sE Q L ~ ) ,
s
Une r e l a t i o n s t e l l e q u e s ( n ) < l e s t d i t e n - t t t o n o m o t p h e ( c e q u i r e v i e n t 1 d i r e q u e , p o u r t o u t c o u p l e (X,Y) d e n - p a r t i e s de s : SIX dit
'L
sly).
L o r s q u e s e s t n-monomorphe
( b r i s v e m e n t ) q u e s e s t manomo4phe. S i l ' o n n o t e
des r e l a t i o n s m-aires d'exemple)
que
monomorphes, on p e u t rernarquer
]\t2c o n t i e n t
du s u p p o r t
pour t o u t n e w ,
]\^em
(5 t i t r e
l a classe des relations binaires
(ou ChaintA).
d'ordre
total
1.2.4
E t a n t donne une r e l a t i o n r = ( k , E , P ) , t o u t isomorphisme
rlX
'L
local
on
la classe
r l Y e n t r e d e u x r e s t r i c t i o n s d e r e s t a p p e l 6 un i o o m o 4 p h i ~ m e d e r. P o u r d e u x r e l a t i o n s
lorsque tout
et
s e R S md e mEme s u p p o r t E ,
isomorphisme l o c a l d e r e s t un isomorphisme l o c a l d e s ,
on d i t que s e s t Libfie-intehpkZtabLe p a r r .
Relations enchaina bles, rongements et pseudo-rangements a)
l o r s q u e r est u n e
Par e x e m p l e ,
~ € ( 8E )
libre-interprgtablr
un
IXI=lYl,
l'injection
croissante
isomorphisme e n t r e S I X e t sly". p r o p o s i t i o n 5.1.)
( [ I l l ,
les couples
pour b)
r e s t d i t e C ~ i c h u i x a b ~ (Cp l u s
par
2 d i r e : " P o u r t o u t c o u p l e (X,Y) d e p a r t i e s f i n i e s d e
ce13 revient que
c h a f n e d e s u p p o r t E, u n e r e l a t i o n
C ~ I C ~ I C ( T I I G pC a r r e t o n m o n t r e f a c i l e m e n t q u e
pr@cis&rnent, e l l e est
E tel
(X,Y)
enchaTnables,
n a b l e est m o n o m o r p h e ) .
dSmontr6 "Pour
18,
§
il rGsulte En
lY64,
r)
de vsrifier
cette condition
de E).
rm
la classe des
:
3
t m ]I[,
relations
(toute r e l a t i o n enchaf-
l'instigation
99 - v o i r a u s s i I l l 1 ,
p.
de X s u r Y est
I E [ > m + l , on p e u t p r o u v e r
partielle
de
R. F R A T S S E ( q u i
: "Toute
de cardinalit6 i n f i n i e est enchafnable"
monomorphe annonci.
suffit
1954 une r g c i p r o q u e
dGs
a v a i t demontre
qu'il
(mod.
Lorsque
de m-parties
s i l'on n o t e
De c c s r e m a r q u c s ,
m-aires
243
proposition
(r41,
relation r6sultat
I l.2),
le tti6orGme s u i v a n t ( n o t e [ I 0 1 e t t h s s e 1 1 1 1 , t h .
tout
m e o, i l e x i s t e u n c o u p l e ( n , p ) e
r e l a t i o n m-aire
n-monomorphe
UXU
pour
nous avons 12.1.1.):
lequel
toute
2p est encha4nable
de cardinalit6
(donc
le plus p e t i t des n a t u r e l s n apparaism ( n , p ) , nous disons que d est le d@ghc m < ~ l ~ t i m c cde e m o n o m o r p h i e m - a i r e . P l u s p r S c i s G m e n t , on p e u t m o n t r e r
S i l'on n o t e d
monomorphe)". sant dans de
qu'il
couples
e x i s t e deux s u i t e s de n a t u r e l s
: "Pour
que
tels
t o u t n a t u r e 1 n2d
de c a r d i n a l i t 6
enctiafnable)"
>pn (resp.
(P,),,~
m' de c a r d i n a l i t 6 si p
(bien entendu,
sont
: d =0, d = I , I
c)
tout
n a t u r e 1 m22,
Pour
phes
d
2
('n'n2d
m-aire
telles
m
n-monomorphe
>q ) e s t monomorphe
e t qn s o n t p r i s
male : pn.
et
toute relatio!
(resp.
de manisre mini-
l e s d e g r s s o p t i m a u x d e mo n o -
= 3 , d = 4 , d =5 ou 6 ( ? ) . 3 4
i l e x i s t e d e s r e l a t i o n s m-aires
monomor-
non e n c h a T n a b l e s e t , c o m m e c o r o l l a i r e d u t h s o r c m e p r G c S d e n t ,
obtient
( [ I l l ,
m-aires
monomorphes
proposition
12.2.1)
: "Pour
m22,
Ies r e l a t i o n s
n o n e n c h a T n a b l e s o n t u n e c a r d i n a l i t s maximum
" ( I 1 e n r s s u l t e un r e n f o r c e m e n t p o u r l e s c a r d i n a l i t s s m f i n i e s d u t h 6 o r S m e d e R. F R A T S S E c i t 6 p l u s h a u t , 2 s a v o i r : " T o u t e
finie k
r e l a t i o n m-aire
Par e x e m p l e connue).
monomorphe
2
m
> km e s t e n c h a E n a b l e " ) . (mais dEjS l a v a l e u r k3 n e semble p a s
de cardinalit:
: k =3 e t k > m + l
on
244
C. Frasnay
1.3
Si
&.
est u n e s o u s - c l a s s e de
(autrement dit : (vu)('dr)
c l o s e par a b r i t e m e n t
((uCr et rs?t)
=j
--
o u encore :
(ue-A)),
est une r 6 u n i o n de c l a s s e s d ' i s o m o r p h i e t e l l e q u e , pour t o u t e r e l a t i o n r de s u p p o r t E et t o u t X c E :(re&)
.h
d i s o n s , pour a b r g g e r , q u e
(rlXc2k ) ) , nous
est u n e c l a s s e
i n 4 t i U 8 t
DSs l o r s , n a t a n t X c Y l'inclusion s t r i c t e ( X & Y
n o u s a p p e l o n s p J ~ u d ~ - P l ? $ m e fdlet
ft. ( o u
"bu4ne" de
de r e l a t i o n s et X # Y ) ,
.k ,
a u s e n s de
R. F R A ' L S S E ) t u u t e r e l a t i o n m-aire s d e s u p p o r t fini Y t e l l e qut? ( s + . f t ) et
(1x1
:
( s l x t ~ ) .
X I Y Bien entendu, si
s
s'
et s i s est p s e u d o - 6 l C m e n t d e
a l o r s s'est a u s s i p s e u d o - 6 1 6 m e n t de
h .
S i b(h)
s u p 6 r i e u r e d e s c a r d i n a l i t s s d e s p s e u d o - 6 l g m e n t s de b(h)
( o u b(k) E
id)
des pseudo-616ments
h
h
, l a condition
Q q u i v a u t h d i r e q u e l c s c l a s s e s d'isomorphie de
sont e n n o m b r e f i n i ( o u e n c o r e q u e
n'admet, 2 l'isomorphie p r S s , qu'un n o m b r e f i n i d e "bornes") dit a l o r s q u e l a c l a s s e i n i t i a l e 1.3.1
,
d 6 s i g n e la b o r n e
est
4c : on
{iMd-b(J&RBt.
S i r est u n e r e l a t i o n m - a i r e d e c a r d i n a l i t 6 p, s o n S g e E; est
u n e c l a s s e i n i t i a l c et l e c a r d i n a l b(P)
e x p r i m e une p r o p r i 6 t 6 d e l a
f a m i l l e d e s r e s t r i c t i o n s "finies" d e r . B i e n e n t e n d u , s i p est f i n i , a l o r s : b(^r),