Vous êtes sur la page 1sur 172

J.

Jayez Les ensembles

1/ 43

Cours Introduction la logique classique


Les ensembles Jacques Jayez, ENS-LSH, L2C2

2009-2010, semestre 1

J. Jayez Les ensembles Bases intuitives

2/ 43

Bases intuitives I

Ensemble = collection nie ou innie dobjets sans rptition et sans ordre.

J. Jayez Les ensembles Bases intuitives

2/ 43

Bases intuitives I

Ensemble = collection nie ou innie dobjets sans rptition et sans ordre. Notation : {a , b, c , . . .}, o a , b, c , etc. sont les objets de la collection

J. Jayez Les ensembles Bases intuitives

2/ 43

Bases intuitives I

Ensemble = collection nie ou innie dobjets sans rptition et sans ordre. Notation : {a , b, c , . . .}, o a , b, c , etc. sont les objets de la collection Les critures {a , a , . . .}, {a , b, a , . . .}, etc. nont donc pas de sens.

J. Jayez Les ensembles Bases intuitives

2/ 43

Bases intuitives I

Ensemble = collection nie ou innie dobjets sans rptition et sans ordre. Notation : {a , b, c , . . .}, o a , b, c , etc. sont les objets de la collection Les critures {a , a , . . .}, {a , b, a , . . .}, etc. nont donc pas de sens. Identit : deux ensembles sont identiques si et seulement sils ont les mmes lments.

J. Jayez Les ensembles Bases intuitives

2/ 43

Bases intuitives I

Ensemble = collection nie ou innie dobjets sans rptition et sans ordre. Notation : {a , b, c , . . .}, o a , b, c , etc. sont les objets de la collection Les critures {a , a , . . .}, {a , b, a , . . .}, etc. nont donc pas de sens. Identit : deux ensembles sont identiques si et seulement sils ont les mmes lments.

Ex. : {a , b} = {b, a } (lordre nest pas pertinent)

J. Jayez Les ensembles Bases intuitives

3/ 43

Bases intuitives II

Hirarchie : On note x X le fait que x est un lment de lensemble X

J. Jayez Les ensembles Bases intuitives

3/ 43

Bases intuitives II

Hirarchie : On note x X le fait que x est un lment de lensemble X Le contraire est not .

J. Jayez Les ensembles Bases intuitives

3/ 43

Bases intuitives II

Hirarchie : On note x X le fait que x est un lment de lensemble X Le contraire est not .

Ex. : a {a , b}, b {a , b}, c {a , b}.

J. Jayez Les ensembles Bases intuitives

4/ 43

Bases intuitives III

Les lments dun ensemble peuvent tre des objets indcomposables (des atomes), mais aussi des ensembles, des ensembles densembles, etc.

J. Jayez Les ensembles Bases intuitives

4/ 43

Bases intuitives III

Les lments dun ensemble peuvent tre des objets indcomposables (des atomes), mais aussi des ensembles, des ensembles densembles, etc.

Ex. : a {a , b},

J. Jayez Les ensembles Bases intuitives

4/ 43

Bases intuitives III

Les lments dun ensemble peuvent tre des objets indcomposables (des atomes), mais aussi des ensembles, des ensembles densembles, etc.

Ex. : a {a , b}, {a , b } {c , {a , b }, a },

J. Jayez Les ensembles Bases intuitives

4/ 43

Bases intuitives III

Les lments dun ensemble peuvent tre des objets indcomposables (des atomes), mais aussi des ensembles, des ensembles densembles, etc.

Ex. : a {a , b}, {a , b } {c , {a , b }, a }, {a , {a , b }} {b , c , {a , b }, {a , {a , b }}, e , {a }}

J. Jayez Les ensembles Bases intuitives

4/ 43

Bases intuitives III

Les lments dun ensemble peuvent tre des objets indcomposables (des atomes), mais aussi des ensembles, des ensembles densembles, etc.

Ex. : a {a , b}, {a , b } {c , {a , b }, a }, {a , {a , b }} {b , c , {a , b }, {a , {a , b }}, e , {a }} Attention : a {b , {a , c }}

J. Jayez Les ensembles Hirarchie

5/ 43

Hirarchie I

On peut dnir une hirarchie dappartenance (par rangs)

J. Jayez Les ensembles Hirarchie

5/ 43

Hirarchie I

On peut dnir une hirarchie dappartenance (par rangs)


1. x est un lment de rang 0 de X = x est un lment de X

J. Jayez Les ensembles Hirarchie

5/ 43

Hirarchie I

On peut dnir une hirarchie dappartenance (par rangs)


1. x est un lment de rang 0 de X = x est un lment de X 2. x est un lment de rang 1 de X = il existe un y qui est un lment de rang 0 de X et dont x est un lment de rang 0

J. Jayez Les ensembles Hirarchie

5/ 43

Hirarchie I

On peut dnir une hirarchie dappartenance (par rangs)


1. x est un lment de rang 0 de X = x est un lment de X 2. x est un lment de rang 1 de X = il existe un y qui est un lment de rang 0 de X et dont x est un lment de rang 0

Dnition 1 1. x 0 X =def x X 2. x k X =def x y pour un y tel que yk 1 X .

J. Jayez Les ensembles Hirarchie

6/ 43

Hirarchie II
Q. Donner toutes les relations ( et k ) pour A = {a , {b, c }, {e , {{{f }}}}}

J. Jayez Les ensembles Hirarchie

6/ 43

Hirarchie II
Q. Donner toutes les relations ( et k ) pour A = {a , {b, c }, {e , {{{f }}}}} R. Mthode

J. Jayez Les ensembles Hirarchie

6/ 43

Hirarchie II
Q. Donner toutes les relations ( et k ) pour A = {a , {b, c }, {e , {{{f }}}}} R. Mthode
1. Identier les lments de A : {a , {b, c }, {e , {{{f }}}}}

J. Jayez Les ensembles Hirarchie

6/ 43

Hirarchie II
Q. Donner toutes les relations ( et k ) pour A = {a , {b, c }, {e , {{{f }}}}} R. Mthode
1. Identier les lments de A : {a , {b, c }, {e , {{{f }}}}} 2. a A, {b, c } A, {e , {{{f }}}} A ou

J. Jayez Les ensembles Hirarchie

6/ 43

Hirarchie II
Q. Donner toutes les relations ( et k ) pour A = {a , {b, c }, {e , {{{f }}}}} R. Mthode
1. Identier les lments de A : {a , {b, c }, {e , {{{f }}}}} 2. a A, {b, c } A, {e , {{{f }}}} A ou a 0 A, {b, c } 0 A, {e , {{{f }}}} 0 A

J. Jayez Les ensembles Hirarchie

6/ 43

Hirarchie II
Q. Donner toutes les relations ( et k ) pour A = {a , {b, c }, {e , {{{f }}}}} R. Mthode
1. Identier les lments de A : {a , {b, c }, {e , {{{f }}}}} 2. a A, {b, c } A, {e , {{{f }}}} A ou a 0 A, {b, c } 0 A, {e , {{{f }}}} 0 A 3. Faire le mme travail pour chaque lment de A :

J. Jayez Les ensembles Hirarchie

6/ 43

Hirarchie II
Q. Donner toutes les relations ( et k ) pour A = {a , {b, c }, {e , {{{f }}}}} R. Mthode
1. Identier les lments de A : {a , {b, c }, {e , {{{f }}}}} 2. a A, {b, c } A, {e , {{{f }}}} A ou a 0 A, {b, c } 0 A, {e , {{{f }}}} 0 A 3. Faire le mme travail pour chaque lment de A :

J. Jayez Les ensembles Hirarchie

6/ 43

Hirarchie II
Q. Donner toutes les relations ( et k ) pour A = {a , {b, c }, {e , {{{f }}}}} R. Mthode
1. Identier les lments de A : {a , {b, c }, {e , {{{f }}}}} 2. a A, {b, c } A, {e , {{{f }}}} A ou a 0 A, {b, c } 0 A, {e , {{{f }}}} 0 A 3. Faire le mme travail pour chaque lment de A : b, c {b, c }, donc b, c 0 {b, c }, donc b, c 1 A

J. Jayez Les ensembles Hirarchie

6/ 43

Hirarchie II
Q. Donner toutes les relations ( et k ) pour A = {a , {b, c }, {e , {{{f }}}}} R. Mthode
1. Identier les lments de A : {a , {b, c }, {e , {{{f }}}}} 2. a A, {b, c } A, {e , {{{f }}}} A ou a 0 A, {b, c } 0 A, {e , {{{f }}}} 0 A 3. Faire le mme travail pour chaque lment de A : b, c {b, c }, donc b, c 0 {b, c }, donc b, c 1 A e , {{{f }}} {e , {{{f }}}}, donc e , {{{f }}} 0 {e , {{{f }}}}, donc e , {{{f }}} 1 A

J. Jayez Les ensembles Hirarchie

6/ 43

Hirarchie II
Q. Donner toutes les relations ( et k ) pour A = {a , {b, c }, {e , {{{f }}}}} R. Mthode
1. Identier les lments de A : {a , {b, c }, {e , {{{f }}}}} 2. a A, {b, c } A, {e , {{{f }}}} A ou a 0 A, {b, c } 0 A, {e , {{{f }}}} 0 A 3. Faire le mme travail pour chaque lment de A : b, c {b, c }, donc b, c 0 {b, c }, donc b, c 1 A e , {{{f }}} {e , {{{f }}}}, donc e , {{{f }}} 0 {e , {{{f }}}}, donc e , {{{f }}} 1 A {{f }} 0 {{{f }}} {{f }} 2 A {f } 3 A f 4 A

J. Jayez Les ensembles Hirarchie

7/ 43

Hirarchie III

Observation x k X ssi le nombre de paires de crochets encadrant x dans X est k + 1

J. Jayez Les ensembles Hirarchie

7/ 43

Hirarchie III

Observation x k X ssi le nombre de paires de crochets encadrant x dans X est k + 1

Q. Que peut on remarquer pour a par rapport A = {a , {a }} ?

J. Jayez Les ensembles Hirarchie

7/ 43

Hirarchie III

Observation x k X ssi le nombre de paires de crochets encadrant x dans X est k + 1

Q. Que peut on remarquer pour a par rapport A = {a , {a }} ? R. a 0 A et a 1 A

J. Jayez Les ensembles Hirarchie

8/ 43

Hirarchie IV

Une question plus complique

J. Jayez Les ensembles Hirarchie

8/ 43

Hirarchie IV

Une question plus complique Un ensemble peut contenir un ensemble inni comme lment.

J. Jayez Les ensembles Hirarchie

8/ 43

Hirarchie IV

Une question plus complique Un ensemble peut contenir un ensemble inni comme lment.

Ex. : A = {{nombres pairs}, {nombres impairs}}

J. Jayez Les ensembles Hirarchie

8/ 43

Hirarchie IV

Une question plus complique Un ensemble peut contenir un ensemble inni comme lment. Est-ce quun ensemble peut contenir un ensemble de profondeur innie ?

Ex. : A = {{nombres pairs}, {nombres impairs}}

J. Jayez Les ensembles Hirarchie

8/ 43

Hirarchie IV

Une question plus complique Un ensemble peut contenir un ensemble inni comme lment. Est-ce quun ensemble peut contenir un ensemble de profondeur innie ? Cest--dire une structure de forme : x X , x1 x , x2 x1 , etc.

Ex. : A = {{nombres pairs}, {nombres impairs}}

J. Jayez Les ensembles Hirarchie

8/ 43

Hirarchie IV

Une question plus complique Un ensemble peut contenir un ensemble inni comme lment. Est-ce quun ensemble peut contenir un ensemble de profondeur innie ? Cest--dire une structure de forme : x X , x1 x , x2 x1 , etc. Plus prcisment : est-ce quil existe un ensemble o on a une chane innie . . . x2 x1 x X ? Par exemple {. . . { x } . . .}.

Ex. : A = {{nombres pairs}, {nombres impairs}}

J. Jayez Les ensembles Hirarchie

9/ 43

Hirarchie V

La rponse est non !

J. Jayez Les ensembles Hirarchie

9/ 43

Hirarchie V

La rponse est non ! Dans la thorie standard des ensembles, on na pas le droit aux chanes descendantes innies.

J. Jayez Les ensembles Hirarchie

9/ 43

Hirarchie V

La rponse est non ! Dans la thorie standard des ensembles, on na pas le droit aux chanes descendantes innies. Effet de laxiome dit de bonne fondation

J. Jayez Les ensembles Hirarchie

9/ 43

Hirarchie V

La rponse est non ! Dans la thorie standard des ensembles, on na pas le droit aux chanes descendantes innies. Effet de laxiome dit de bonne fondation On peut faire une thorie alternative (ensembles dits mal fonds).

J. Jayez Les ensembles Hirarchie

9/ 43

Hirarchie V

La rponse est non ! Dans la thorie standard des ensembles, on na pas le droit aux chanes descendantes innies. Effet de laxiome dit de bonne fondation On peut faire une thorie alternative (ensembles dits mal fonds). En gros, ces ensembles correspondent des graphes avec au moins une branche de longueur innie.

J. Jayez Les ensembles Hirarchie

10/ 43

Hirarchie VI

Correspondance entre x X et X x

J. Jayez Les ensembles Hirarchie

10/ 43

Hirarchie VI

Correspondance entre x X et X x X x = on ouvre X et on trouve x

J. Jayez Les ensembles Hirarchie

10/ 43

Hirarchie VI

Correspondance entre x X et X x X x = on ouvre X et on trouve x {a , {b, c }} sous forme darbre :

J. Jayez Les ensembles Hirarchie

10/ 43

Hirarchie VI

Correspondance entre x X et X x X x = on ouvre X et on trouve x {a , {b, c }} sous forme darbre :

J. Jayez Les ensembles Hirarchie

10/ 43

Hirarchie VI

Correspondance entre x X et X x X x = on ouvre X et on trouve x {a , {b, c }} sous forme darbre : {a , {b, c }}

J. Jayez Les ensembles Hirarchie

10/ 43

Hirarchie VI

Correspondance entre x X et X x X x = on ouvre X et on trouve x {a , {b, c }} sous forme darbre : {a , {b, c }}

{b, c }

J. Jayez Les ensembles Hirarchie

10/ 43

Hirarchie VI

Correspondance entre x X et X x X x = on ouvre X et on trouve x {a , {b, c }} sous forme darbre : {a , {b, c }}

{b, c }

J. Jayez Les ensembles Hirarchie

11/ 43

Hirarchie VII

Deux innis

J. Jayez Les ensembles Hirarchie

11/ 43

Hirarchie VII

Deux innis Largeur innie : OK dans la thorie standard

J. Jayez Les ensembles Hirarchie

11/ 43

Hirarchie VII

Deux innis Largeur innie : OK dans la thorie standard Profondeur innie : impossible dans la thorie standard

J. Jayez Les ensembles Hirarchie

11/ 43

Hirarchie VII

Deux innis Largeur innie : OK dans la thorie standard Profondeur innie : impossible dans la thorie standard {a , b1 , . . . , b }

b1

...

J. Jayez Les ensembles Hirarchie

11/ 43

Hirarchie VII

Deux innis Largeur innie : OK dans la thorie standard Profondeur innie : impossible dans la thorie standard {a , b1 , . . . , b }

b1

...

J. Jayez Les ensembles Hirarchie

11/ 43

Hirarchie VII

Deux innis Largeur innie : OK dans la thorie standard Profondeur innie : impossible dans la thorie standard {a , b1 , . . . , b }
{a ,{b,{. . . { x } . . .}}}

b1

...

J. Jayez Les ensembles Hirarchie

11/ 43

Hirarchie VII

Deux innis Largeur innie : OK dans la thorie standard Profondeur innie : impossible dans la thorie standard {a , b1 , . . . , b }
{a ,{b,{. . . { x } . . .}}}

b1

...

J. Jayez Les ensembles Hirarchie

11/ 43

Hirarchie VII

Deux innis Largeur innie : OK dans la thorie standard Profondeur innie : impossible dans la thorie standard {a , b1 , . . . , b }
{a ,{b,{. . . { x } . . .}}}

b1

...

J. Jayez Les ensembles Hirarchie

12/ 43

Hirarchie VIII
Dnition 2 Pour deux ensembles quelconques, A et B, A est un sous-ensemble de B =df tout lment de A est galement un lment de B. Notation : A B. Ex. : {a , b} {a , b, c }, {a , {a , b}} {a , c , d , {a , b}}

J. Jayez Les ensembles Hirarchie

12/ 43

Hirarchie VIII
Dnition 2 Pour deux ensembles quelconques, A et B, A est un sous-ensemble de B =df tout lment de A est galement un lment de B. Notation : A B. Ex. : {a , b} {a , b, c }, {a , {a , b}} {a , c , d , {a , b}}

Mais {a , {a , b}}{c , d , {a , b, e }} et a {a , b} (=).

J. Jayez Les ensembles Hirarchie

12/ 43

Hirarchie VIII
Dnition 2 Pour deux ensembles quelconques, A et B, A est un sous-ensemble de B =df tout lment de A est galement un lment de B. Notation : A B. Ex. : {a , b} {a , b, c }, {a , {a , b}} {a , c , d , {a , b}}

Mais {a , {a , b}}{c , d , {a , b, e }} et a {a , b} (=). Observation A = B ssi A B et B A.

J. Jayez Les ensembles Hirarchie

12/ 43

Hirarchie VIII
Dnition 2 Pour deux ensembles quelconques, A et B, A est un sous-ensemble de B =df tout lment de A est galement un lment de B. Notation : A B. Ex. : {a , b} {a , b, c }, {a , {a , b}} {a , c , d , {a , b}}

Mais {a , {a , b}}{c , d , {a , b, e }} et a {a , b} (=). Observation A = B ssi A B et B A. Notation : A B lorsque A B et A = B.

J. Jayez Les ensembles Hirarchie

13/ 43

Hirarchie IX

Problme de lensemble vide

J. Jayez Les ensembles Hirarchie

13/ 43

Hirarchie IX

Problme de lensemble vide La thorie admet lexistence dun ensemble, not , qui na aucun lment.

J. Jayez Les ensembles Hirarchie

13/ 43

Hirarchie IX

Problme de lensemble vide La thorie admet lexistence dun ensemble, not , qui na aucun lment. x , pour nimporte quel x .

J. Jayez Les ensembles Hirarchie

14/ 43

Hirarchie IX

A part cela, se comporte comme nimporte quel autre ensemble.

J. Jayez Les ensembles Hirarchie

14/ 43

Hirarchie IX

A part cela, se comporte comme nimporte quel autre ensemble. Il peut tre lment dun ensemble : {a , }, {} {a , {}}, etc.

J. Jayez Les ensembles Hirarchie

15/ 43

Hirachie IX

Et pour ?

J. Jayez Les ensembles Hirarchie

15/ 43

Hirachie IX

Et pour ? Bizarrement, A pour nimporte quel ensemble A.

J. Jayez Les ensembles Hirarchie

15/ 43

Hirachie IX

Et pour ? Bizarrement, A pour nimporte quel ensemble A. Cest un effet de la logique classique (voir la suite du cours), pas de la thorie des ensembles !

J. Jayez Les ensembles Proprits

16/ 43

Proprits et ensembles I

Notation {x : P (x )} = lensemble des x qui vrient la proprit P

J. Jayez Les ensembles Proprits

16/ 43

Proprits et ensembles I

Notation {x : P (x )} = lensemble des x qui vrient la proprit P {x : x N & x est pair} = {0, 2, 4, . . .}

J. Jayez Les ensembles Proprits

16/ 43

Proprits et ensembles I

Notation {x : P (x )} = lensemble des x qui vrient la proprit P {x : x N & x est pair} = {0, 2, 4, . . .} Pratique pour dcrire de manire nie les ensembles innis

J. Jayez Les ensembles Proprits

17/ 43

Proprits et ensembles II

Un mme ensemble peut correspondre plusieurs proprits,

J. Jayez Les ensembles Proprits

17/ 43

Proprits et ensembles II

Un mme ensemble peut correspondre plusieurs proprits, mais pas linverse.

J. Jayez Les ensembles Proprits

17/ 43

Proprits et ensembles II

Un mme ensemble peut correspondre plusieurs proprits, mais pas linverse. correspond toutes les proprits contradictoires. Par ex., = {x : x = x } = {x N : x > x }, etc.

J. Jayez Les ensembles Oprations

18/ 43

Oprations I

Oprateurs binaires : prennent deux ensembles et en donnent un

J. Jayez Les ensembles Oprations

18/ 43

Oprations I

Oprateurs binaires : prennent deux ensembles et en donnent un Oprateurs unaires : prennent un ensemble et en donnent un

J. Jayez Les ensembles Oprations

18/ 43

Oprations I

Oprateurs binaires : prennent deux ensembles et en donnent un Oprateurs unaires : prennent un ensemble et en donnent un Oprateurs binaires : intersection, union, ngation, produit cartsien

J. Jayez Les ensembles Oprations

18/ 43

Oprations I

Oprateurs binaires : prennent deux ensembles et en donnent un Oprateurs unaires : prennent un ensemble et en donnent un Oprateurs binaires : intersection, union, ngation, produit cartsien Oprateur unaire : parties dun ensemble

J. Jayez Les ensembles Oprations

18/ 43

Oprations I

Oprateurs binaires : prennent deux ensembles et en donnent un Oprateurs unaires : prennent un ensemble et en donnent un Oprateurs binaires : intersection, union, ngation, produit cartsien Oprateur unaire : parties dun ensemble Le rsultat doit toujours tre un ensemble (pas un lement).

J. Jayez Les ensembles Oprations

19/ 43

Oprations II

Lintersection de deux ensembles est lensemble de leurs lments communs.

J. Jayez Les ensembles Oprations

19/ 43

Oprations II

Lintersection de deux ensembles est lensemble de leurs lments communs.

Dnition 3 X Y =df {x : x X & x Y } Ex. : {a , b, {c , d }} {a , d , {b}, {c , d }} = {a , {c , d }}

J. Jayez Les ensembles Oprations

20/ 43

Oprations III

Lunion de deux ensembles est lensemble des lments qui appartiennent lun (exclusivement), lautre exclusivement ou aux deux.

J. Jayez Les ensembles Oprations

20/ 43

Oprations III

Lunion de deux ensembles est lensemble des lments qui appartiennent lun (exclusivement), lautre exclusivement ou aux deux.

Dnition 4 X Y =df {x : x X x Y } note le ou non exclusif.

J. Jayez Les ensembles Oprations

20/ 43

Oprations III

Lunion de deux ensembles est lensemble des lments qui appartiennent lun (exclusivement), lautre exclusivement ou aux deux.

Dnition 4 X Y =df {x : x X x Y } note le ou non exclusif. Ex. : {a , b, {c , d }} {a , d , {b}, {c , d }} = {a , b, d , {b}, {c , d }}

J. Jayez Les ensembles Oprations

21/ 43

Oprations IV

La ngation (ou le complmentaire) dun ensemble par rapport un autre est lensemble des lments du second qui nappartiennent pas au premier.

J. Jayez Les ensembles Oprations

21/ 43

Oprations IV

La ngation (ou le complmentaire) dun ensemble par rapport un autre est lensemble des lments du second qui nappartiennent pas au premier.

Dnition 5 Y X =df {x : x Y & x X } Ex. : Si Y = {a , b, c , d }, et X = {a , d }, Y X = {b, c }.

J. Jayez Les ensembles Oprations

21/ 43

Oprations IV

La ngation (ou le complmentaire) dun ensemble par rapport un autre est lensemble des lments du second qui nappartiennent pas au premier.

Dnition 5 Y X =df {x : x Y & x X } Ex. : Si Y = {a , b, c , d }, et X = {a , d }, Y X = {b, c }.

On peut aussi dnir la diffrence de deux ensembles : X Y = X Y .

J. Jayez Les ensembles Oprations

22/ 43

Oprations V

Le produit cartsien (ou plus simplement produit) est lensemble des paires ordonnes telles que le premier lment de la paire appartient au premier ensemble et le second au second.

J. Jayez Les ensembles Oprations

22/ 43

Oprations V

Le produit cartsien (ou plus simplement produit) est lensemble des paires ordonnes telles que le premier lment de la paire appartient au premier ensemble et le second au second.

Ex. : {a , b} {c , d } = { a , c , b, c , a , d , b, d }

J. Jayez Les ensembles Oprations

22/ 43

Oprations V

Le produit cartsien (ou plus simplement produit) est lensemble des paires ordonnes telles que le premier lment de la paire appartient au premier ensemble et le second au second.

Ex. : {a , b} {c , d } = { a , c , b, c , a , d , b, d } Ex. : {a , b} {c , a } = { a , c , b, c , a , a , b, a }.

J. Jayez Les ensembles Oprations

22/ 43

Oprations V

Le produit cartsien (ou plus simplement produit) est lensemble des paires ordonnes telles que le premier lment de la paire appartient au premier ensemble et le second au second.

Ex. : {a , b} {c , d } = { a , c , b, c , a , d , b, d } Ex. : {a , b} {c , a } = { a , c , b, c , a , a , b, a }. Dnition 6 X Y =df { x , y : x X & y Y }

J. Jayez Les ensembles Oprations

23/ 43

Oprations VI

Problme :

nest pas dni.

J. Jayez Les ensembles Oprations

23/ 43

Oprations VI

Problme :

nest pas dni.

Comme les ensembles ne sont pas ordonns, on doit simuler lordre par des proprits purement ensemblistes ( et ). Une paire ordonne a , b est lensemble {{a }, {a , b}}.

J. Jayez Les ensembles Oprations

23/ 43

Oprations VI

Problme :

nest pas dni.

Comme les ensembles ne sont pas ordonns, on doit simuler lordre par des proprits purement ensemblistes ( et ). Une paire ordonne a , b est lensemble {{a }, {a , b}}. On dit aussi couple ordonn.

J. Jayez Les ensembles Oprations

23/ 43

Oprations VI

Problme :

nest pas dni.

Comme les ensembles ne sont pas ordonns, on doit simuler lordre par des proprits purement ensemblistes ( et ). Une paire ordonne a , b est lensemble {{a }, {a , b}}. On dit aussi couple ordonn.

Dnition 7 x , y =df {{x }, {x , y}}

J. Jayez Les ensembles Oprations

24/ 43

Oprations VII

On peut dnir une notion plus gnrale, celle de n-uplet x1 , x2 . . . xn .

J. Jayez Les ensembles Oprations

24/ 43

Oprations VII

On peut dnir une notion plus gnrale, celle de n-uplet x1 , x2 . . . xn . x1 , x2 . . . xn =df x1 , x2 . . . xn 1 , xn

J. Jayez Les ensembles Oprations

24/ 43

Oprations VII

On peut dnir une notion plus gnrale, celle de n-uplet x1 , x2 . . . xn .

x1 , x2 . . . xn =df x1 , x2 . . . xn 1 , xn Ex. : a , b, c = a , b , c ={{ a , b }, { a , b , c }} = {{{{a }, {a , b}}}, {{{a }, {a , b}}, c }}

J. Jayez Les ensembles Oprations

25/ 43

Oprations VIII

Observation Si X = Y , X Y = Y X . Si X , Y = , X Y = Y = X. X = X =

J. Jayez Les ensembles Oprations

25/ 43

Oprations VIII

Observation Si X = Y , X Y = Y X . Si X , Y = , X Y = Y = X. X = X = La dmonstration de la page suivante utilise le principe (en fait un thorme) de rcurrence nie.

J. Jayez Les ensembles Oprations

25/ 43

Oprations VIII

Observation Si X = Y , X Y = Y X . Si X , Y = , X Y = Y = X. X = X = La dmonstration de la page suivante utilise le principe (en fait un thorme) de rcurrence nie.
Rcurrence nie Soit une liste dobjets = (a0 . . . an . . .) indexe par un sous-ensemble des entiers naturels. Si (a) P est une proprit vrie par ai et si (b) pour tout aj et de rang infrieur ou gal ai , si P est vrie par aj alors P est vrie par aj+1 , alors P est vrie par tout objet de la liste de rang gal ou suprieur i .

J. Jayez Les ensembles Oprations

26/ 43

Oprations IX

Notation : X 2 = X X (lensemble des couples ordonns de X ), X 3 = lensemble des triplets, etc. X n est lensemble des n -uplets.

J. Jayez Les ensembles Oprations

26/ 43

Oprations IX

Notation : X 2 = X X (lensemble des couples ordonns de X ), X 3 = lensemble des triplets, etc. X n est lensemble des n -uplets. X 3 = (X X ) X , X 4 = ((X X ) X ) X , etc.

J. Jayez Les ensembles Oprations

26/ 43

Oprations IX

Notation : X 2 = X X (lensemble des couples ordonns de X ), X 3 = lensemble des triplets, etc. X n est lensemble des n -uplets. X 3 = (X X ) X , X 4 = ((X X ) X ) X , etc.

Q. Si X est un ensemble ni de taille n (ce qui se note X = n ), quelle est la taille de X 2 ?

J. Jayez Les ensembles Oprations

26/ 43

Oprations IX

Notation : X 2 = X X (lensemble des couples ordonns de X ), X 3 = lensemble des triplets, etc. X n est lensemble des n -uplets. X 3 = (X X ) X , X 4 = ((X X ) X ) X , etc.

Q. Si X est un ensemble ni de taille n (ce qui se note X = n ), quelle est la taille de X 2 ? R.


Si n = 0, X 2 = 2 = et n k, X2 = X
2.

= 0 = 02 . Supposons que, pour

Soit un ensemble X de taille k + 1 ; choisissons

arbitrairement a X . X 2 reprsentera (X {a })2 ((X {a }) {a }) ({a } (X {a })) { a , a }. X {a } a une taille k ; donc, par hypothse, (X {a })2 = k 2 . (X {a }) {a } = {a (X {a })} = k . Donc X 2 = k 2 + 2k + 1 = (k + 1)2 .

J. Jayez Les ensembles Oprations

27/ 43

Oprations X

(parties de) prend un ensemble et renvoie lensemble de ses sous-ensembles.

J. Jayez Les ensembles Oprations

27/ 43

Oprations X

(parties de) prend un ensemble et renvoie lensemble de ses sous-ensembles.

Dnition 8 (X ) = df {Y : Y X }

J. Jayez Les ensembles Oprations

27/ 43

Oprations X

(parties de) prend un ensemble et renvoie lensemble de ses sous-ensembles.

Dnition 8 (X ) = df {Y : Y X } Ex. : ({a , b, c }) = {, {a , b, c }, {a }, {b}, {c }, {a , b}, {b, c }, {a , c }}

J. Jayez Les ensembles Oprations

27/ 43

Oprations X

(parties de) prend un ensemble et renvoie lensemble de ses sous-ensembles.

Dnition 8 (X ) = df {Y : Y X } Ex. : ({a , b, c }) = {, {a , b, c }, {a }, {b}, {c }, {a , b}, {b, c }, {a , c }} Observation pour tout X , (X ) et X (X ).

J. Jayez Les ensembles Oprations

28/ 43

Oprations XI

Observation Si X est un ensemble ni, (X ) = 2 X .

J. Jayez Les ensembles Oprations

28/ 43

Oprations XI

Observation Si X est un ensemble ni, (X ) = 2 X .


(X ) = 1 = 20 = 2 X . Supposons que la proprit est vri pour tous les cardinaux k . Soit X un ensemble ni de taille k + 1. On lui enlve un lment arbitraire, disons a , (X {a }) = 2 X {a } = 2k . Par ailleurs, on a (X ) = (X {a }) {Y : X (X {a })(Y = X {a })} et {Y : X (X {a })(Y = X {a })} = (X {a }) = 2k . Comme, lorsque A est un ensemble ni et que A = B C, on a A = B + C , on a en particulier (X ) = (X {a }) + {Y : X (X {a })(Y = X {a })} = 2k + 2k = 2.2k = 2k +1 .

Si X = , (X ) = {}, donc

J. Jayez Les ensembles Oprations

29/ 43

Oprations XII

Gnralisation des oprations binaires.

Dnition 9 (X ) df {x : X X (x X )}.

(X )

df

{x : X X (x X )}.

J. Jayez Les ensembles Oprations

29/ 43

Oprations XII

Gnralisation des oprations binaires. Ces oprations peuvent tre tendues tous les lments dun ensemble quelconque. (X ) {x : X X (x X )}.

Dnition 9 (X ) df {x : X X (x X )}.

df

J. Jayez Les ensembles Relations et fonctions

30/ 43

Relations I

Une relation 2 places (ou binaire) est un ensemble de couples ordonns.

J. Jayez Les ensembles Relations et fonctions

30/ 43

Relations I

Une relation 2 places (ou binaire) est un ensemble de couples ordonns. Une relation n places (ou n -aire) est un ensemble de n -uplets.

J. Jayez Les ensembles Relations et fonctions

30/ 43

Relations I

Une relation 2 places (ou binaire) est un ensemble de couples ordonns. Une relation n places (ou n -aire) est un ensemble de n -uplets. On appelle proprit un ensemble (intuitivement, lensemble des objets qui vrient la proprit).

J. Jayez Les ensembles Relations et fonctions

30/ 43

Relations I

Une relation 2 places (ou binaire) est un ensemble de couples ordonns. Une relation n places (ou n -aire) est un ensemble de n -uplets. On appelle proprit un ensemble (intuitivement, lensemble des objets qui vrient la proprit).

Ex. : la relation tre plus grand que = lensemble des couples x , y tels que x est plus grand que y (dans une situation donne, par ex.).

J. Jayez Les ensembles Relations et fonctions

30/ 43

Relations I

Une relation 2 places (ou binaire) est un ensemble de couples ordonns. Une relation n places (ou n -aire) est un ensemble de n -uplets. On appelle proprit un ensemble (intuitivement, lensemble des objets qui vrient la proprit).

Ex. : la relation tre plus grand que = lensemble des couples x , y tels que x est plus grand que y (dans une situation donne, par ex.). Ex. : La relation ternaire _ + _ = _ = lensemble des triplets x , y, z tels que x + y = z .

J. Jayez Les ensembles Relations et fonctions

31/ 43

Relations II

Une relation R est rexive ssi R (x , x ) pour tout x .

J. Jayez Les ensembles Relations et fonctions

31/ 43

Relations II

Une relation R est rexive ssi R (x , x ) pour tout x .

Ex. : avoir le mme ge que est rexive (chacun a le mme ge que lui-mme)

J. Jayez Les ensembles Relations et fonctions

31/ 43

Relations II

Une relation R est rexive ssi R (x , x ) pour tout x .

Ex. : avoir le mme ge que est rexive (chacun a le mme ge que lui-mme)

R est transitive ssi, si R (x , y) et R (y, z ) alors R (x , z ), pour tout x , y et z .

J. Jayez Les ensembles Relations et fonctions

31/ 43

Relations II

Une relation R est rexive ssi R (x , x ) pour tout x .

Ex. : avoir le mme ge que est rexive (chacun a le mme ge que lui-mme)

R est transitive ssi, si R (x , y) et R (y, z ) alors R (x , z ), pour tout x , y et z .

Ex. : tre plus g que est transitive : si x est plus g que y et y plus g que z , x est plus g que z .

J. Jayez Les ensembles Relations et fonctions

32/ 43

Relations III

R est symtrique ssi R (x , y) implique R (y, x ), pour tout x , et tout y.

J. Jayez Les ensembles Relations et fonctions

32/ 43

Relations III

R est symtrique ssi R (x , y) implique R (y, x ), pour tout x , et tout y.

Ex. : avoir le mme ge que est symtrique.

J. Jayez Les ensembles Relations et fonctions

32/ 43

Relations III

R est symtrique ssi R (x , y) implique R (y, x ), pour tout x , et tout y. R est antisymtrique pour tout x et y. si R (x , y) et R (y, x ), x = y,

Ex. : avoir le mme ge que est symtrique.

df

J. Jayez Les ensembles Relations et fonctions

32/ 43

Relations III

R est symtrique ssi R (x , y) implique R (y, x ), pour tout x , et tout y. R est antisymtrique pour tout x et y. si R (x , y) et R (y, x ), x = y,

Ex. : avoir le mme ge que est symtrique.

df

Ex. : La relation est antisymtrique.

J. Jayez Les ensembles Relations et fonctions

33/ 43

Relations IV

Reprsentation graphique des relations binaires. Si R est la relation, R (a , b) est vrie sil existe un arc de a vers b

J. Jayez Les ensembles Relations et fonctions

33/ 43

Relations IV

Reprsentation graphique des relations binaires. Si R est la relation, R (a , b) est vrie sil existe un arc de a vers b R a b

J. Jayez Les ensembles Relations et fonctions

33/ 43

Relations IV

Reprsentation graphique des relations binaires. Si R est la relation, R (a , b) est vrie sil existe un arc de a vers b R a b

Ex. : E = {Jean, Marie, Paul, Louis, Sophie}.

J. Jayez Les ensembles Relations et fonctions

33/ 43

Relations IV

Reprsentation graphique des relations binaires. Si R est la relation, R (a , b) est vrie sil existe un arc de a vers b R a b

Ex. : E = {Jean, Marie, Paul, Louis, Sophie}.

Les propositions suivantes sont vraies :


Jean est plus grand que Marie, Marie est plus grande que Paul, Paul et Louis ont la mme taille, Louis est plus petit que Sophie, Sophie est plus grande que Jean.

J. Jayez Les ensembles Relations et fonctions

34/ 43

Relations V

Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean

Marie > Louis

Paul

Sophie

J. Jayez Les ensembles Relations et fonctions

34/ 43

Relations V

Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean

Marie > Louis

Paul

Sophie

J. Jayez Les ensembles Relations et fonctions

34/ 43

Relations V

Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean

Marie > Louis

Paul

Sophie

J. Jayez Les ensembles Relations et fonctions

34/ 43

Relations V

Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean

Marie > Louis

Paul

Sophie

J. Jayez Les ensembles Relations et fonctions

34/ 43

Relations V

Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean

Marie > Louis

Paul

Sophie

J. Jayez Les ensembles Relations et fonctions

34/ 43

Relations V

Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean

Marie > Louis

Paul

Sophie

J. Jayez Les ensembles Relations et fonctions

34/ 43

Relations V

Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean Jean

Marie > Louis

Paul

Marie <

Paul

Sophie

Louis

Sophie

J. Jayez Les ensembles Relations et fonctions

34/ 43

Relations V

Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean Jean

Marie > Louis

Paul

Marie <

Paul

Sophie

Louis

Sophie

J. Jayez Les ensembles Relations et fonctions

34/ 43

Relations V

Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean Jean Jean

Marie > Louis

Paul

Marie <

Paul

Marie

Paul

Sophie

Louis

Sophie

Louis

Sophie

J. Jayez Les ensembles Relations et fonctions

34/ 43

Relations V

Jean > Marie, Marie > Paul, Paul = Louis, Louis < Sophie, Sophie > Jean.
Jean Jean Jean

Marie > Louis

Paul

Marie <

Paul

Marie

Paul

Sophie

Louis

Sophie

Louis

Sophie

J. Jayez Les ensembles Relations et fonctions

35/ 43

Relations VI

Les fonctions sont des relations avec une contrainte supplmentaire.

J. Jayez Les ensembles Relations et fonctions

35/ 43

Relations VI

Les fonctions sont des relations avec une contrainte supplmentaire. Intuitivement, une fonction renvoie toujours la mme valeur lorsque largument est le mme.

J. Jayez Les ensembles Relations et fonctions

35/ 43

Relations VI

Les fonctions sont des relations avec une contrainte supplmentaire. Intuitivement, une fonction renvoie toujours la mme valeur lorsque largument est le mme. Fonction 1 place (ou unaire) = ensemble de couples ordonns qui ne contient jamais x , y et x , z avec y = z .

J. Jayez Les ensembles Relations et fonctions

35/ 43

Relations VI

Les fonctions sont des relations avec une contrainte supplmentaire. Intuitivement, une fonction renvoie toujours la mme valeur lorsque largument est le mme. Fonction 1 place (ou unaire) = ensemble de couples ordonns qui ne contient jamais x , y et x , z avec y = z . Pour chaque couple de la fonction, largument est gauche, la valeur ou image droite (par convention)

J. Jayez Les ensembles Relations et fonctions

35/ 43

Relations VI

Les fonctions sont des relations avec une contrainte supplmentaire. Intuitivement, une fonction renvoie toujours la mme valeur lorsque largument est le mme. Fonction 1 place (ou unaire) = ensemble de couples ordonns qui ne contient jamais x , y et x , z avec y = z . Pour chaque couple de la fonction, largument est gauche, la valeur ou image droite (par convention) f (x ) = y correspond x , y f (y est limage de x par f.

J. Jayez Les ensembles Relations et fonctions

36/ 43

Relations VII

Fonction n places (n -aire) = ensemble de n + 1-uplets qui ne contient jamais x1 , . . . , xn , y et x1 , . . . , xn , z avec y = z .

J. Jayez Les ensembles Relations et fonctions

36/ 43

Relations VII

Fonction n places (n -aire) = ensemble de n + 1-uplets qui ne contient jamais x1 , . . . , xn , y et x1 , . . . , xn , z avec y = z . Les n premiers lments des n -uplets qui dnissent la fonction = arguments, dernier lment = valeur.

J. Jayez Les ensembles Relations et fonctions

36/ 43

Relations VII

Fonction n places (n -aire) = ensemble de n + 1-uplets qui ne contient jamais x1 , . . . , xn , y et x1 , . . . , xn , z avec y = z . Les n premiers lments des n -uplets qui dnissent la fonction = arguments, dernier lment = valeur.

Dnition 10 La fonction caractristique dun ensemble X est la fonction qui a pour valeur 1 pour tout lment de lensemble et pour valeur 0 dans tous les autres cas. On la note CarX . Autrement dit : 1 si x X , CarX (x ) = 0 si x X

J. Jayez Les ensembles Relations et fonctions

37/ 43

Relations VIII

Une relation peut tre assimile une fonction caractristique.

J. Jayez Les ensembles Relations et fonctions

37/ 43

Relations VIII

Une relation peut tre assimile une fonction caractristique. Relation n -aire : CarR ( x1 . . . xn ) = 1 ssi x1 . . . xn R .

J. Jayez Les ensembles Relations et fonctions

38/ 43

Relations

Domaine dune fonction : lensemble de ses arguments.

J. Jayez Les ensembles Relations et fonctions

38/ 43

Relations

Domaine dune fonction : lensemble de ses arguments.

Ex. : Une fonction de domaine N prend ses arguments dans N.

J. Jayez Les ensembles Relations et fonctions

38/ 43

Relations

Domaine dune fonction : lensemble de ses arguments.

Ex. : Une fonction de domaine N prend ses arguments dans N.

Codomaine dune fonction : un ensemble qui contient les valeurs de la fonction.

J. Jayez Les ensembles Relations et fonctions

38/ 43

Relations

Domaine dune fonction : lensemble de ses arguments.

Ex. : Une fonction de domaine N prend ses arguments dans N.

Codomaine dune fonction : un ensemble qui contient les valeurs de la fonction. Le type dune fonction est le couple <domaine,codomaine>. Notation : f : X Y (X domaine, Y codomaine).

J. Jayez Les ensembles Relations et fonctions

38/ 43

Relations

Domaine dune fonction : lensemble de ses arguments.

Ex. : Une fonction de domaine N prend ses arguments dans N.

Codomaine dune fonction : un ensemble qui contient les valeurs de la fonction. Le type dune fonction est le couple <domaine,codomaine>. Notation : f : X Y (X domaine, Y codomaine). Observation Si f : X Y , f : X Y pour tout Y Y.

J. Jayez Les ensembles Relations et fonctions

39/ 43

Relations IX

Soit R n une relation n places. Un type admissible pour R n est tout produit cartsien de n ensembles qui contient les lments de R n .

J. Jayez Les ensembles Relations et fonctions

39/ 43

Relations IX

Soit R n une relation n places. Un type admissible pour R n est tout produit cartsien de n ensembles qui contient les lments de R n .

Ex. : Si R 3 = { 1, 3, 3 , 3, 1, 18 , 1, 12, 5 }, N N N est un type possible pour R 3 , mais {{1, 3} {1, 3, 12} 3, 18, 5} est un autre type possible.

J. Jayez Les ensembles Relations et fonctions

39/ 43

Relations IX

Soit R n une relation n places. Un type admissible pour R n est tout produit cartsien de n ensembles qui contient les lments de R n .

Ex. : Si R 3 = { 1, 3, 3 , 3, 1, 18 , 1, 12, 5 }, N N N est un type possible pour R 3 , mais {{1, 3} {1, 3, 12} 3, 18, 5} est un autre type possible. Dnition 11 Un type admissible pour R n est tout produit X1 . . . Xn tel quel, pour tout x1 . . . xn R n , x1 . . . xn X1 . . . Xn . Le type minimal de R n , quand il existe, est le produit X1 . . . Xn = R n

J. Jayez Les ensembles Relations et fonctions

40/ 43

Relations X
Dnition 12 Une fonction f : X Y est injective =df si x et y X et si x = y, alors f (x ) = f (y)

J. Jayez Les ensembles Relations et fonctions

40/ 43

Relations X
Dnition 12 Une fonction f : X Y est injective =df si x et y X et si x = y, alors f (x ) = f (y)

Observation Soit X et Y deux ensembles nis, sil existe une fonction f : X Y injective, X Y .

J. Jayez Les ensembles Relations et fonctions

40/ 43

Relations X
Dnition 12 Une fonction f : X Y est injective =df si x et y X et si x = y, alors f (x ) = f (y)

Observation Soit X et Y deux ensembles nis, sil existe une fonction f : X Y injective, X Y .
X = n . On ordonne les lments de X , x1 . . . xn et on considre {f (x1 ) . . . f (xn )} Y . Puisque f est injective, {f (x1 ) . . . f (xn )} = X , et donc Y X .

Supposons que

J. Jayez Les ensembles Relations et fonctions

41/ 43

Relations XI
Dnition 13 Une fonction f : X Y est surjective =df si y Y , il existe x X tel quel f (x ) = y.

J. Jayez Les ensembles Relations et fonctions

41/ 43

Relations XI
Dnition 13 Une fonction f : X Y est surjective =df si y Y , il existe x X tel quel f (x ) = y.

Observation Soit X et Y deux ensembles nis, sil existe une fonction f : X Y surjective, X Y .

J. Jayez Les ensembles Relations et fonctions

41/ 43

Relations XI
Dnition 13 Une fonction f : X Y est surjective =df si y Y , il existe x X tel quel f (x ) = y.

Observation Soit X et Y deux ensembles nis, sil existe une fonction f : X Y surjective, X Y .
X & y Y (X = {x X : f (x ) = y}}. Y 1 reprsente lensemble des sous-ensembles maximaux de X tels que les lments du sous-ensemble ont la mme image dans Y . Soit Xi et Xj X ; alors Xi Xj = . En effet, sil existe un x (Xi Xj ), f (x ) = yi et f (x ) = yj pour Yi , yj Y avec yi = yj (donc f ne serait pas une fonction). Donc X a au moins n lments.

On ordonne Y = {y1 . . . yn } et on considre Y 1 = {X : X

J. Jayez Les ensembles Relations et fonctions

42/ 43

Relations XII
Dnition 14 Une fonction f : X Y est bijective =df f est la fois injective et surjective.

J. Jayez Les ensembles Relations et fonctions

42/ 43

Relations XII
Dnition 14 Une fonction f : X Y est bijective =df f est la fois injective et surjective.

Observation Si X et Y sont deux ensembles nis et quil existe une bijection entre eux, X = Y , puisque X Y et Y X .

J. Jayez Les ensembles Relations et fonctions

42/ 43

Relations XII
Dnition 14 Une fonction f : X Y est bijective =df f est la fois injective et surjective.

Observation Si X et Y sont deux ensembles nis et quil existe une bijection entre eux, X = Y , puisque X Y et Y X . Si R est une relation binaire, R 1 dsigne la relation converse, cest--dire x , y R ssi y, x R 1 .

J. Jayez Les ensembles Relations et fonctions

43/ 43

Relations XIII

Observation f : X Y est bijective ssi f 1 est une fonction de type Y X .

J. Jayez Les ensembles Relations et fonctions

43/ 43

Relations XIII

Observation f : X Y est bijective ssi f 1 est une fonction de type Y X .


Y X . Supposons que f 1 ne soit pas une fonction, alors, pour un y Y , il existe x1 X and x2 tels que y, x1 et y, x2 appartiennent f 1 . Mais cest impossible puisque f est injective. Inversement, supposons que f : X Y et que f 1 : Y X . Si f ntait pas injective f 1 ne serait pas une fonction. Si f 1 ntait pas surjective, f 1 ne serait pas de type Y X . Donc f est une bijection.

Si f : X Y , f 1 est de toute faon une relation de type

J. Jayez Les ensembles Relations et fonctions

43/ 43

Relations XIII

Observation f : X Y est bijective ssi f 1 est une fonction de type Y X .


Y X . Supposons que f 1 ne soit pas une fonction, alors, pour un y Y , il existe x1 X and x2 tels que y, x1 et y, x2 appartiennent f 1 . Mais cest impossible puisque f est injective. Inversement, supposons que f : X Y et que f 1 : Y X . Si f ntait pas injective f 1 ne serait pas une fonction. Si f 1 ntait pas surjective, f 1 ne serait pas de type Y X . Donc f est une bijection.

Si f : X Y , f 1 est de toute faon une relation de type

J. Jayez Les ensembles Relations et fonctions

43/ 43

Relations XIII

Observation f : X Y est bijective ssi f 1 est une fonction de type Y X .


Y X . Supposons que f 1 ne soit pas une fonction, alors, pour un y Y , il existe x1 X and x2 tels que y, x1 et y, x2 appartiennent f 1 . Mais cest impossible puisque f est injective. Inversement, supposons que f : X Y et que f 1 : Y X . Si f ntait pas injective f 1 ne serait pas une fonction. Si f 1 ntait pas surjective, f 1 ne serait pas de type Y X . Donc f est une bijection.

Si f : X Y , f 1 est de toute faon une relation de type

Observation Soit X un ensemble, (X ) peut tre mis en correspondance bijective avec lensemble des fonctions g : X {0, 1}, not 2X . Cest lensemble des fonctions caractristiques de domaine X .