Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

DU FINI À L’INFINI Le parti pris pour définir la notion de « fini » est le poin

DU FINI À L’INFINI Le parti pris pour définir la notion de « fini » est le point de vue naïf de l’enfant qui dénombre une collection d’objets. Définitions 1. Deux ensembles sont dits équipotents lorsqu’il existe au moins une bijection de l’un sur l’autre. 2. Un ensemble E est dit fini lorsqu’il est vide ou lorsqu’il existe un entier naturel n tel que E soit équipotent à l’ensemble { 1 ; 2 ; ... ; n }. 3. Un ensemble est dit infini lorsqu’il n’est pas fini. 4. Un ensemble est dit dénombrable lorsqu’il est équipotent à `. Notation Nous noterons [[ 1 ; n ]] l’ensemble { 1 ; 2 ; ... ; n }. Remarques 1. Soit E et F deux ensembles équipotents et f une bijection de E sur F. Alors f −1 est une bijection de F sur E. 2. Le point de vue adopté pour définir un ensemble fini est le point de vue intuitif utilisé pour dénombrer les doigts de la main gauche. 3. Les questions qui se posent à la suite de ces définitions sont les suivantes : – l’ensemble E étant un ensemble fini et non vide, l’entier n tel que E soit équipotent à [[ 1 ; n ]] est-il unique? (ou, en langage naïf, va-t-on obtenir le même résultat en comptant les éléments de E de diverses façons ?). – un ensemble dénombrable est-il infini ? – un ensemble équipotent à un ensemble infini est-il lui même infini ? La réponse intuitive à chacune de ces trois questions est oui. Les propriétés qui suivent, et qui découlent des définitions adoptées, en apportent la preuve mathématique. Propriété 1 Soit deux entiers naturels non nuls n et p. Si [[ 1 ; n ]] est équipotent à [[ 1 ; p ]] alors n = p. Il suffit, en fait, d’établir que, si [[ 1 ; n ]] est équipotent à [[ 1 ; p ]], alors n ≤ p. (1) En effet si [[ 1 ; n ]] est équipotent à [[ 1 ; p ]] alors [[ 1 ; p ]] est équipotent à [[ 1 ; n ]]. La proposition (1) permet donc d’écrire à la fois n ≤ p et p ≤ n, c’est à dire que n = p. Pour démontrer cette proposition (1) nous allons utiliser un raisonnement par récurrence sur l’entier n. y La proposition est évidente pour n = 1 puisque p ≥ 1. y Supposons cette proposition vraie au rang n et considérons un entier naturel non nul q tel que [[ 1 ; (n + 1) ]] soit équipotent à [[ 1 ; q ]]. On considère une bijection f de [[ 1 ; (n + 1) ]] sur [[ 1 ; q ]] et on désigne par m l’image de (n + 1) par f . Deux cas sont alors à envisager : 1er cas : m = q. La restriction f * de f à l’ensemble [[ 1 ; n ]] est une bijection de [[ 1 ; n ]] sur [[ 1 ; (q − 1) ]] et, d’après l’hypothèse de récurrence, n ≤ q − 1. Par conséquent, n + 1 ≤ q. IX - Annexes Du fini à l’infini 1 2èmecas : m ≠ q On désigne par A l’ensemble [[ 1 ; (q) ]] \ {m} (ensemble [[ 1 ; (q) ]] privé de l’entier m) et on considère l’application g définie sur A par : { ( ) 1 1, ( ) 1 1, ( ) 1 pour tout tel que Si pour tout tel que Si pour tout de g x x x x m m g x x x m x q m g x x x A = ≤ − ≠ = − ≤ ≤ − = = − ≤ g est une bijection de A sur [ 1 ; (q − 1) ] et la restriction f ∗ de f à l’ensemble [[ 1 ; n ]] est une bijection de [[ 1 ; n ]] sur A. Il en résulte que g D f * est une bijection de [[ 1 ; n ]] sur [ 1 ; (q − 1) ] et, d’après l’hypothèse de récurrence, n ≤ q − 1. Par conséquent, n + 1 ≤ q comme dans le premier cas. Nous avons donc établi la proposition (1) au rang (n + 1). Celle-ci est donc vraie pour tout entier n. Propriété 2 Soit E un ensemble fini non vide. Il existe un entier naturel n unique tel que E soit équipotent à [[ 1 ; n ]]. Définition Cet entier naturel n est appelé cardinal de l’ensemble E et noté Card(E). Par convention le cardinal de l’ensemble vide est 0. L’ensemble E est fini et non vide donc il existe un entier naturel n et une bijection f de E sur [[ 1 ; n ]]. Soit un entier naturel p et g une bijection de E sur [[ 1 ; p ]]. L’application g D f est une bijection de [[ 1 ; n ]] sur [[ 1 ; p ]] et, d’après la proposition précédente, n = p. Propriété 3 Les parties finies non vides de ` sont les parties majorées de `. Soit E une partie finie et non vide de `. Il existe un entier naturel n et une bijection f de E sur [[ 1 ; n ]]. Nous allons montrer par récurrence sur l’entier n que E est majoré. Si n = 1, alors E = { f −1(1) } où f −1 désigne la bijection réciproque de f . Tout entier supérieur à f −1(1), par exemple f −1(1) + 1, est un majorant de E. Supposons la propriété vraie au rang n. Soit E une partie de ` de cardinal (n + 1). L’ensemble { f −1(1), f −1(2), … , f −1(n) } est une partie de ` de cardinal n et possède donc, d’après l’hypothèse de récurrence, un majorant M. Or E = { f −1(1), f −1(2), … , f −1(n), f −1(n + 1) }. Ainsi le plus grand des deux nombres Μ et f −1(n + 1) est un majorant de E. La propriété est donc établie au rang (n + 1) et nous avons démontré que toute partie finie de ` est majorée. Réciproquement, soit E une partie majorée et non vide de `. D’après les axiomes qui permettent de définir l’ensemble des nombres entiers naturels, E admet un plus grand élément p. Nous allons montrer par récurrence sur l’entier p que E est fini. Si p = 0, E a pour seul élément 0 et l’application qui à 0 associe 1 est une bijection de E sur [ 1 ; 1 ] ce qui prouve que E est fini. Supposons la propriété vraie au rang p. Soit E une partie de ` dont le plus grand élément est (p + 1). On considère l’ensemble F = E \ { p + 1 }. Le plus grand élément de F est inférieur ou égal à p et, d’après l’hypothèse de récurrence, F est fini. Donc il existe un entier naturel m et une bijection f de F sur [[ 1 ; m ]]. IX - Annexes Du fini à l’infini 2 [ [1; 1] ] : ( ) 1 1 L'application si appartient à E m g x f x x F p m → + ⎧ ⎪ ⎨ ⎪ + + ⎩ 6 6 est une bijection de E sur [[ 1 ; m + 1 ]]. La propriété est donc établie au rang (p + 1) et nous avons démontré que toute partie majorée de ` est finie. Propriété 4 Soit E un ensemble fini non vide et F une partie de E, distincte de E. Alors F est un ensemble fini et Card(F) < Card(E). Si F est l’ensemble vide, alors Card(F) = 0 et Card(F) < Card(E). Supposons donc F différent de l’ensemble vide. L’ensemble E est fini et non vide donc il existe un entier naturel n et une bijection f de E sur [[ 1 ; n ]]. Soit f * la restriction de f à F et A l’image de F par f *. L’ensemble A est une partie de ` majorée par n donc A est fini. Par suite il existe un entier naturel p et une bijection g de A sur [[ 1 ; p ]]. Il en résulte que h = g D f * est une bijection de F sur [[ 1 ; p ]]. Donc F est fini et Card(F) = p. L’ensemble (E − F) est également une partie de E et d’après le raisonnement qui vient d’être fait, (E − F) est fini. On pose q = Card(E − F). Par hypothèse, (E − F) est non vide donc q est un entier naturel non nul. On appelle k une bijection de (E − F) dans [[ uploads/Philosophie/ du-fini-a-linfini-pdf.pdf