Processing math: 100%

mardi 24 septembre 2019

Résumé CM 3 : Ensembles et applications (L1 Maths-info)

Bonjour tout le monde ! On va revoir les notions du CM 3 sous un angle un peu différent.

1.3. Démonstrations ensemblistes
L'exemple du cours d'affirmation à démontrer était A(BC)=(AB)(AC). Pour cela, on procède par double-inclusion, c'est-à-dire qu'on montre d'abord que A(BC)(AB)(AC) puis que (AB)(AC)A(BC).

Lemme 1. A(BC)(AB)(AC).
Pour cela, on note le et logique et le ou inclusif logique (et/ou). On a alors
A(BC)(AB)(AC)xA(1)(xB(2)xC(3))(xAB)(xAC)
Supposons d'abord xA(BC). On sait alors que xA [(1)], et que xB [(2)] ou xC [(3)] (voire les deux).
  • En supposant xB [(2)], puisque xA [(1)] aussi on a xAB(AB)(AC).
  • En supposant xC [(3)], puisque xA [(1)] aussi on a xAC(AB)(AC).
Cela termine la preuve de cette partie-ci. □

Lemme 2. (AB)(AC)A(BC).
(AB)(AC)A(BC)(xAB(4))(xAC(5))xA(xBxC)
Supposons que x(AB)(AC). Dans les deux cas (4) et (5), on a x un élément d'un sous-ensemble de A, donc xA quoi qu'il arrive.
  • Supposons xAB [(4)], on a alors xBBC et puisque xA, on a xA(BC).
  • Supposons xAC [(5)], on a alors xCBC et puisque xA, on a xA(BC).
Cela termine notre preuve. □
Résultat. (AB)(AC)=A(BC).
Puisque A(BC)(AB)(AC) et (AB)(AC)A(BC), on a une double-inclusion et donc (AB)(AC)=A(BC).
 
2. Applications

Une application, c'est comme une fonction, mais en plus de définir x[], on définit également au préalable les ensembles d'arrivée et de sortie. Ainsi, xsinx n'est pas une application car trop ambigüe : à ce compte-là, cela pourrait aussi bien être du RR que du [π,π][1,1]. En général, on définit une application f comme
f:EFx[]
mais seulement si DfE et que Ff(Df), où f(Df) est défini paramétriquement par {f(x):xDf}.

2.1. Quelques applications
f:RR        f:[2,+[Cx2x+3xx

2.2. Surjectivité, injectivité, bijectivité
Soit une application f:EF. On note #A le nombre d'éléments dans un ensemble A. Voici les définitions les moins compliquées :
  • Injectivité : Pour tout yF, #{les xE tels que f(x)=y}1.
  • Surjectivité : Pour tout yF, #{les xE tels que f(x)=y}1
  • Bijectivité : Pour tout yF, #{les xE tels que f(x)=y}=1 (càd injective et surjective).
Selon le cours, il faudrait techniquement retenir que :
  • Injectivité : Pour tout x1,x2E, f(x1)=f(x2)x1=x2.
  • Surjectivité : Pour tout yF, il existe xE tel que f(x)=y.
  • Bijectivité : Injectivité et surjectivité en même temps.
Mais puisque ces définitions sont isomorphes et qu'on risque de s'emmêler les pédales quoi qu'il arrive, je vous conseille d'utiliser la première version puisque les définitions sont très similaires. Surtout qu'il y a un moyen mnémotechnique pour savoir quand mettre 1 ou 1 : #{xE:f(x)=y} est supérieur à 1 quand f est surjective, et si c'est inférieur à 1 alors c'est injectif !

Aucun commentaire:

Enregistrer un commentaire