Vous êtes sur la page 1sur 34

1.

RELATIONS BINAIRES
Le concept de "relation" est la base de toute la mathmatique dont le but est d'tudier par observation et dduction (raisonnement), calcul et comparaison - des configurations ou relations abstraites ou concrtes de ses objets (nombres, formes, structures) en cherchant tablir les liens logiques, numriques ou conceptuels entre ces objets. Dfinitions: D1. Considrons deux ensembles non vides E et F (cf. chapitre de Thorie Des Ensembles) non ncessairement identiques. Si certains lments x de E nous pouvons associer par une rgle mathmatique prcise R (non ambigu) un lment y de F, nous dfinissons ainsi une "relation fonctionnelle" de E vers F et qui s'crit: (3.1) Ainsi, de faon plus gnrale, une relation fonctionnelle R peut tre dfinie comme une rgle mathmatique qui associe certains lments x de E, certains lments y de F. Alors, dans ce contexte plus gnral, si xRy, nous disons que y est une "image" de x par R et que x est un "antcdent" ou "pr-image" de y. L'ensemble des couples (x, y) tel que xRy soit une assertion vraie forme un "graphe" ou une "reprsentation" de la relation R. Nous pouvons reprsenter ces couples dans un repre adquatement choisi pour faire une reprsentation graphique de la relation R. Il s'agit d'un type de relations sur lequel nous reviendrons dans le chapitre d'Analyse Fonctionnelle et qui ne nous intresse pas directement dans ce chapitre D2. Considrons un ensemble A non vide, si nous associons cet ensemble (et celui-ci uniquement!) des outils permettant de comparer les lments le composant alors nous parlons de "relation binaire" ou "relation de comparaison" et qui s'crit pour tout lment x et y composant A: xRy (3.2) Ces relations peuvent aussi tre reprsentes sous forme graphique. Dans le cas des oprateurs binaires classiques de comparaisons o A est l'ensemble des nombres naturels, relatifs, rationnels ou rels, cette forme graphique est reprsente par une droite horizontale (le plus souvent...) dans le cas de la congruence (cf. chapitre de Thorie des Nombres) elle est reprsente par des droites dans le plan dont les points sont donns par la contrainte de la congruence. Comme nous l'avons dj dit, il existe 6 relations binaires fondamentales (gal, diffrent de, plus grand que, plus petit que, plus grand ou gal, plus petit ou gal). Mais nous verrons un peu plus loin que la dfinition rigoureuse des relations binaires permet donc de construire des outils plus abstraits (comme par exemple la congruence bien connue par les lves de petites classes et que nous tudierons dans le chapitre de Thorie des Nombres).

1.1. GALITS
Il est fort difficile de dfinir la notion "d'galit" dans un cas gnral applicable toute situation. Pour notre part, nous nous permettrons pour cette dfinition de nous inspirer du thorme d'extensionalit de la thorie des ensembles (que nous verrons plus tard): Dfinitions: D1. Deux lments sont gaux si, et seulement si, ils ont les mmes valeurs. L'galit est dcrite par le symbole = qui signifie "gal ". Proprit (triviale) : Si nous avons , et c un nombre et (3.3) Cette proprit est trs utilise pour rsoudre ou simplifier des quations de type quelconque. D2. Si deux lments ne sont pas gaux (donc sont ingaux...), nous les relions par le symbole et nous disons qu'ils sont "non gaux" une opration quelconque (tel que l'addition, la soustraction, la multiplication ou la division) alors :

Il existe encore d'autres symboles d'galits, qui sont une extension des deux que nous avons dfinis prcdemment. Malheureusement, ils sont assez souvent mal utiliss (disons plutt qu'ils sont utiliss aux mauvais endroits) dans la plupart des ouvrages disponibles sur le march : (3.4) qui correspondent dans l'ordre : presque gal (plutt utilis en ingnierie), asymptotiquement gal (utilis en analyse fonctionnelle), approximativement gal (utilis en physique lors d'approximation de sries), identique (utilis aussi bien en analyse fonctionnelle qu'en physique), tend vers la limite (idem) et enfin proportionnel (utilis en physique ou en mathmatiques financires).

1.2. COMPARATEURS
Les comparateurs sont des outils qui nous permettent de comparer et d'ordonner tout couple de nombres (et in extenso aussi des ensembles!). La possibilit d'ordonner des nombres est presque fondamentale en mathmatique. Dans le cas contraire (s'il n'tait pas possible ou non impos d'ordonner), il y aurait des tas de choses qui choqueraient nos habitudes, par exemple (certains des concepts prsents dans la phrase qui suit n'ont pas encore t vus mais nous souhaitons quand mme y faire rfrence) : plus de fonctions monotones (en particulier de suites) et li cela la drivation n'indiquerait donc rien sur un "sens de variation", plus d'approche de zros d'un polynme par dichotomie (algorithme classique de recherche dans un ensemble ordonn partag en deux chaque itration), en gomtrie, plus de segments ni de demi-droites, plus de demi-espace, plus de convexit, nous ne pouvons plus orienter

l'espace, etc. C'est donc important de pouvoir ordonner les choses comme vous l'aurez compris. Ainsi, pour tout nous crivons lorsque a est plus grand ou gal b : (3.5) et lorsque a est plus petit ou gal b : (3.6)

Remarque: Il est utile de rappeler que l'ensemble des rels est un groupe totalement ordonn (cf. chapitre de Thorie Des Ensembles), sans quoi nous ne pourrions pas dfinir des relations d'ordre entre ces lments (ce qui n'est pas le cas des nombres complexes que nous ne pouvons pas ordonner!).
Dfinition: Le symbole est une "relation d'ordre" (voir la dfinition rigoureuse plus est aussi une relation bas!) qui signifie "plus petit que" et inversement le symbole d'ordre qui signifie "plus grand que". Nous avons galement concernant la relation de comparaison stricte (qui n'appartient pas la famille des relations d'ordre pour des raisons que nous prciserons plus loin) les proprits suivantes qui sont relativement intuitives: et implique (ultrieurement not " ") que : (3.8) Si : et Si : et inversement : et Nous avons aussi : (3.11) (3.10) (3.9) (3.7)

(3.12) et inversement :

(3.13)

Nous pouvons bien videmment multiplier, diviser, additionner ou soustraire un terme de chaque ct de la relation telle que celle-ci soit toujours vraie. Petite remarque cependant, si vous multipliez les deux membres par un nombre ngatif il faudra bien videmment changer le comparateur tel que si : (3.14) et inversement: (3.15) Nous avons aussi: (3.16) Soit : (3.17) Si p est un nombre entier pair alors : (3.18) sinon si p est impair: (3.19) Ce rsultat provient simplement de la multiplication des signes puisque la puissance lorsqu'elle est non fractionnaire n'est qu'une multiplication. Finalement : (3.20) Les relations d'ordre : (3.21) correspondent donc respectivement : (strictement) plus grand que, (strictement) plus petit que, plus petit ou gal , plus grand ou gal , beaucoup plus grand que et enfin beaucoup plus petit que. Les relations d'ordre peuvent tre dfinies de faon un peu plus subtile et rigoureuse et abstraite et ne s'appliquent pas seulement aux comparateurs (voir par exemple la relation de congruence dans le chapitre de Thorie Des Nombres)! Voyons cela de suite (le vocabulaire qui va suivre est aussi dfini dans le chapitre de Thorie Des Ensembles) :

Dfinition: Soit une relation binaire R d'un ensemble A vers lui-mme, une relation R dans A est un sous-ensemble du produit cartsien lments de A qui satisfont la relation) avec la proprit d'tre: P1. Une "relation rflexive" si P2. Une "relation symtrique" si P3. Une "relation antisymtrique" si : (3.22) : (3.23) : (3.24) P4. Une "relation transitive" si P5. Une "relation connexe" si : (3.26) Les mathmaticiens ont donn des noms particuliers aux familles de relations satisfaisant certaines de ces proprits. Dfinitions: D1. Une relation est appele "relation d'ordre stricte" si et seulement si elle est uniquement transitive (certains spcifient alors qu'elle est donc forcment antirflexive mais on s'en doute...). D2. Une relation est appele un "pr-ordre" si et seulement si elle y est rflexive et transitive. D3. Une relation est appele "une relation d'quivalence" si et seulement si elle y est rflexive, symtrique et transitive. D4. Une relation est appele "relation d'ordre" si et seulement si elle y est rflexive, transitive et antisymtrique. D5. Une relation est appele "relation d'ordre total" si et seulement si elle y est rflexive, transitive, connexe et antisymtrique. Pour les autres combinaisons il semblerait (?) qu'il n'y ait pas de dsignations particulires chez les mathmaticiens... : (3.25) (c'est--dire que la relation binaire engendre un sous-ensemble de par les contraintes qu'elle impose aux

Remarque: Les relations d'ordre binaire ont toutes des proprits similaires dans les ensembles naturels, rationnels, relatifs et rels (il n'y a pas de relation d'ordre naturelle sur l'ensemble des nombres complexes).
Si nous rsumons : Relation binaire rflexive oui non non non oui oui

symtrique transitive connexe antisymtrique

oui oui non oui

oui non non non

non oui non non

non oui non non

non oui oui oui

non oui oui oui

Tableau: 3.1 - Types de relations binaires Ainsi, nous voyons que les relations binaires relations d'ordre partiel, total ou d'quivalence. Dfinition: Si R est une relation d'quivalence sur A. Pour d'quivalence" de x est par dfinition l'ensemble: (3.27) [x] est donc un sous-ensemble de A ( sous-ensemble...). Nous disposons ainsi d'un nouvel ensemble qui est "l'ensemble des classes d'quivalences" ou "ensemble quotient" not A/R. Ainsi : (3.28) Il faut savoir que dans A/R nous ne regardons plus [x] comme un sous-ensemble de A mais comme un lment! Une relation d'quivalence, de manire vulgarise sert donc coller une seule tiquette des lments qui vrifient une mme proprit, et les confondre avec ladite tiquette (en sachant ce que nous faisons avec cette tiquette). Exemple: Dans l'ensemble des entiers relatifs , si nous tudions les restes de la division par 2, ) que nous noterons aussi... par la suite R (attention donc ne pas confondre dans ce qui suit la relation d'quivalence et le , la "classe forment avec les ensembles prcits,

des relations d'ordre total et qu'il est trs facile de voir quelles relations binaires sont des

nous avons que ceux-ci valent toujours soit 0 soit 1. La classe d'quivalence de zro est alors appele l'ensemble des nombres entiers pairs, la classe d'quivalence de 1 est appele l'ensemble des entiers impairs. Nous avons donc deux classes d'quivalences pour deux partitions de (gardez toujours cet exemple simple en tte pour les lments thorique qui suivront cela aide normment). Si nous nommons la premire 0 et la deuxime 1, nous retrouvons les rgles d'oprations entre nombres pairs et impairs : (3.29) ce qui signifie respectivement que la somme de deux entiers pair est pair, que la somme d'un pair et d'un impair est impair et que la somme de deux impairs est pair.

Et pour la multiplication : (3.30) ce qui signifie respectivement que le produit de deux pairs est pair, le produit d'un pair et d'un impair est pair et que le produit de deux impairs est impair. Et hop, nous avons dplac les oprations de sur cet ensemble quotient not .

Maintenant, pour vrifier que nous avons bien affaire une relation d'quivalence, il faudrait encore vrifier qu'elle est rflexive (xRx), symtrique (si xRy alors yRx) et transitive (si xRy et yRz alors xRz). Nous verrons comment vrifier cela quelques paragraphes plus loin car cet exemple constitue un cas trs particulier de relation de congruence. Dfinition: L'application canonique". Tout lment dfinie par est appele "projection est alors appel "reprsentant de la classe" [x].

Considrons maintenant un ensemble E. Alors nous proposons de dmontrer qu'il y a bijection entre l'ensemble des relations d'quivalences sur E et l'ensemble des partitions de E. En d'autres termes cette proposition dit qu'une relation d'quivalence sur E n'est rien d'autre qu'une partition de E. Dmonstration: Soit R une relation d'quivalence sur E. Nous choisissons d'indexation des partitions et nous posons pour tout , comme ensemble .

Il suffit de vrifier les deux proprits suivantes de la dfinition des partitions pour montrer que la famille P1. Soit est une partition de E : tels que alors (trivial) .

P2.

est vident car si

alors

. C.Q.F.D.

Encore une fois, il est ais de vrifier avec l'exemple pratique de la division par 2 donn plus haut que la partition des nombres pairs et impairs satisfont ces deux proprits. Nous avons donc associ la relation d'quivalence R une partition de E. Rciproquement si est une partition de E alors nous vrifions facilement que la tel que est une relation

relation R dfinie par xRy si et seulement s'il existe l'autre. Exemple:

d'quivalence! Les deux applications ainsi dfinies sont bijectives et rciproques l'une de

Nous allons prsent appliquer sur un exemple un peu moins trivial que le prcdent ce que nous venons de voir la construction des anneaux aprs quelques rappels (pour le concept d'anneau voir le chapitre de Thorie Des Ensembles). Rappels : R1. Soit deux nombres seulement si il existe un entier Nombres). R2. Soit si un entier. Nous dfinissons la relation R par nRm si et seulement ou dit autrement nRm si et seulement si il existe (modulo d) au lieu de tel que et nous disons . . Nous disons que "n divise m" et nous crivons tel que (cf. chapitre de Thorie Des si et

Gnralement nous crivons ceci aussi

que "n est congru m modulo d". Rappelons aussi que si d divise n (cf. chapitre de Thorie Des Nombres).

(modulo d) si et seulement . Dmontrons que

Nous allons maintenant introduire une relation d'quivalence sur pour tout entier

, la congruence modulo d est une relation d'quivalence sur

(nous avons dj dmontr cela dans le chapitre de thorie des nombres lors de notre tude de la congruence mais refaisons le travail pour le plaisir). Dmonstration (contrle des trois proprits de l'quivalence): P1. Rflexivit : P2. Symtrie : Si P3. Transitivit : Si c'est--dire . C.Q.F.D. Dans la situation ci-dessus, nous notons noterons l'ensemble des classes d'quivalences et car alors et alors . et donc et c'est--dire donc .

la classe d'quivalence de la congruence d'un entier n donn par : (3.31)

(chaque diffrence de deux valeurs se trouvant dans les accolades est divisible par d et c'est ainsi bien un classe d'quivalence) et ainsi : (3.32) En particulier (trivial car nous obtenons ainsi tout ): (3.33) Ainsi, nous voyons que le premier exemple que nous avions donn avec les nombres pairs et impairs est un cas particulirement simple des classes d'quivalences de congruence modulo 2 car elle se rduisent toutes seulement deux classes.

Remarque: Les oprations d'addition et de multiplication dfinies sur dfinissent des oprations d'addition et de multiplication sur . Nous disons alors que ces oprations sont compatibles avec la relation d'quivalence et forment alors un anneau (cf. chapitre de Thorie Ensembles).

2. LOIS FONDAMENTALES DE L'ARITHMTIQUE


Comme nous l'avons dj dit prcdemment, il existe un oprateur de base (addition) partir duquel il possible de dfinir la multiplication, la soustraction ( condition que l'ensemble de nombres soit ad hoc) et la division (mme remarque que pour la soustraction) et autour desquels nous pouvons construire toute la mathmatique analytique. Bien videmment il y a certains subilits prendre en compte lorsque le niveau de rigueur augmente. Le lecteur peut alors se rapport au chapitre de Thorie Des Ensembles o ses lois fondamentales sont redfinies avec plus de justesse.

2.1. ADDITION
Dfinition: L'addition de nombres entiers est une opration note "+" qui a pour seul but de runir en un seul nombre toutes les units contenues dans plusieurs autres. Le rsultat de l'opration se nomme "somme" ou "total". Les nombres additionner sont appels "termes de l'addition".

Remarque: Les signes d'addition "+" et de soustraction "-" sont dus Widmann (1489).
Ainsi, A+B+C... sont les termes de l'addition et le rsultat est la somme des termes de l'addition. Voici une liste de quelques proprits intuitives que nous admettrons sans dmonstrations de l'opration de l'addition: P1. La somme de plusieurs nombres ne dpend pas de l'ordre des termes. Nous disons alors que l'addition est une "opration commutative". Ce qui signifie que nous avons si A est diffrent de B:

P2. La somme de plusieurs nombres ne change pas si nous remplaons deux ou plusieurs d'entre eux par leur rsultat intermdiaire. Nous disons alors que l'addition est "opration associative". P3. Le zro est l'lment neutre de l'addition car tout nombre additionn zro donne ce mme nombre.

P4. Suivant l'ensemble dans lequel nous travaillons, l'addition peut comporter un terme de telle faon ce que le total soit nul. Nous disons alors qu'il existe un "oppos" pour l'addition. Nous allons dfinir plus rigoureusement l'addition en utilisant l'axiomatique de Peano dans le cas particulier de l'ensemble des nombres entiers naturels comme nous en avons dj fait mention dans le chapitre traitant des Nombres. Ainsi, avec ces axiomes il est possible de dmontrer qu'il existe (existence) une et une seule application (unicit), note "+", de dans vrifiant :

o s signifie: "successeur".

Remarque: Ce site n'ayant pas pour vocation de s'adresser des mathmaticiens, nous nous passerons de la dmonstration (relativement longue) et admettrons intuitivement que l'application "+" existe et est unique... et qu'il en dcoule les proprits susmentionnes.
Soit ainsi: des nombres quelconques alors nous pouvons noter galement la somme

(3.34) en dfinissant des bornes suprieures et infrieures la somme indexe (au-dessus et en-dessous de la lettre grecque majuscule "sigma"). Voici quelques rappels des proprits relatives cette notation condense:

(3.35) o k est une constante et : (3.36) (3.37) Voyons maintenant quelque cas concrets d'additions de diffrents nombres simples afin de mettre en pratique les bases. Exemples:

L'addition de deux nombres relativement petits est assez facile ds que nous avons appris par coeur compter jusqu'au nombre rsultant de cette opration. Ainsi (exemples pris sur la base dcimale) :

(3.38)

Pour les plus grands nombres il faut adopter une autre mthode qu'il s'agit d'apprendre par coeur. Ainsi par exemple:

(3.39) Dmarche : nous additionnons les colonnes (4 colonnes dans cet exemple) de droite gauche. Pour la premire colonne nous avons donc 4+5=9 ce qui nous donne :

(3.40) et nous continuons ainsi pour la deuxime 4+7=11 mais la diffrence que comme nous avons un nombre suprieur la dizaine, nous reportons le premier chiffre (de gauche) sur la colonne suivante de l'addition. Ainsi:

(3.41) La troisime colonne se calcule ds lors comme 4+2+1=7 ce qui nous donne:

(3.42) Pour la dernire colonne nous avons 9+5=14 et nouveau nous reportons le premier chiffre (de gauche) sur la colonne suivante de l'addition. Ainsi:

(3.43) et la dernire colonne donne :

(3.44) Voil comment nous procdons donc pour l'addition de nombres quelconques : nous faisons une addition par colonne de droite gauche et si le rsultat d'une addition est suprieure la dizaine, nous reportons une unit sur la colonne suivante. Cette mthodologie d'addition est simple comprendre et effectuer. Nous ne tendrons pas plus sur le sujet pour l'instant.

2.2. SOUSTRACTION
Dfinition: La soustraction du nombre entier A par le nombre entier B note par le symbole "-", c'est trouver le nombre C qui, ajout B, redonne A.

Remarque: L'opration n'est rigoureusement parlant pas possible dans les entiers naturels que si .
Nous crivons la soustraction sous la forme : (3.45) qui doit vrifier : (3.46) Voici quelques proprits intuitives que nous admettrons sans dmonstrations de l'opration de soustraction (bon cela dcoule de l'addition...) : P1. La soustraction de plusieurs nombres dpend de l'ordre des termes. Nous disons alors que la soustraction est une "opration non-commutative". Effectivement: (3.47) P2. La soustraction de plusieurs nombres change si nous remplaons deux ou plusieurs d'entre eux par leur rsultat intermdiaire. Nous disons alors que la soustraction est une "opration non-associative". Effectivement: (3.48)

P3. Le zro n'est pas l'lment neutre de la soustraction. Effectivement, tout nombre qui nous soustrayons zro donne ce mme nombre, donc le zro est neutre droite... mais pas gauche car tout nombre que nous soustrayons zro ne donne pas zro! P4. Suivant l'ensemble dans lequel nous travaillons, la soustraction peut comporter un terme de telle faon ce que le total soit nul. Nous disons alors qu'il existe un "oppos" pour la soustraction. Exemples: La soustraction de deux nombres relativement petits est assez facile ds que nous avons appris par coeur compter jusqu' au moins le nombre rsultant de cette opration. Ainsi:

(3.49)

Pour les plus grands nombres il faut adopter un autre mthode qu'il s'agit d'apprendre par coeur (au mme titre que l'addition). Ainsi par exemple:

(3.50) nous soustrayons les colonnes (4 colonnes dans cet exemple) de droite gauche. Pour la premire colonne nous avons colonne suivante et crivons ce qui fait que nous reportons -1 sur la en bas de la barre d'galit :

(3.51) et nous continuons ainsi pour la deuxime sur la colonne suivante et comme barre d'galit: ce qui fait que nous reportons -1 nous reportons en bas de la

(3.52) La troisime colonne se calcule ds lors comme colonne suivante et comme d'galit : nous reportons et nous reportons -1 sur la en bas de la barre

(3.53) Pour la dernire colonne nous avons suivante et comme nous reportons donc rien sur la colonne

nous reportons 0 en bas de la barre d'galit:

(3.54) Voil comment nous procdons donc pour la soustraction de nombres quelconques. Nous faisons une soustraction par colonne de droite gauche et si le rsultat d'une soustraction est infrieure zro nous faisons reporter -1 sur la colonne suivante et l'addition du dernier report sur la soustraction obtenue en bas de la barre d'galit. La mthodologie utilise pour la soustraction se basant sur exactement le mme principe que l'addition nous ne tendrons pas plus sur le sujet. Cette mthode est trs simple et ncessite bien sr une certaine habitude travailler avec les chiffres pour tre totalement apprhende.

2.3. MULTIPLICATION
Dfinition: La multiplication de nombres est une opration qui a pour but, tant donn deux nombres, l'un appel "multiplicateur", et l'autre "multiplicande", d'en trouver un troisime appel "produit" qui soit la somme (donc la multiplication d'coule de la somme !) d'autant de nombres gaux au multiplicande qu'il y a d'units au multiplicateur. Le multiplicande et le multiplicateur sont appels les "facteurs du produit". La multiplication s'indique l'aide du signe " " (anciennement) ou du point de ponctuation surlev (notation moderne) ou sans aucun symbole tel que : (3.55)

Remarque: Le signe de croix " " pour la multiplication se trouve pour la premire fois dans l'ouvrage d'Ougtred (1631) quant au point mi-hauteur (notation moderne pour la multiplication), nous le devons Leibniz. Ds 1544, Stiefel, dans un de ses ouvrages n'employait aucun signe et dsignait le produit de deux nombres en les plaant l'un aprs l'autre.
Nous pouvons dfinir la multiplication en utilisant l'axiomatique de Peano dans le cas particulier des nombres entiers naturels comme nous en avons dj fait mention dans le

chapitre traitant des Nombres. Ainsi, avec ces axiomes il est possible de dmontrer qu'il existe (existence) une et une seule application (unicit), note " " ou plus souvent ".", de dans vrifiant :

(3.56)

Remarque: Ce site n'ayant pas pour vocation de s'adresser des mathmaticiens, nous nous passerons de la dmonstration (relativement longue) et admettrons intuitivement que l'application " " existe et est unique...
La puissance est une notation particulire d'un cas prcis de multiplications. Lorsque le(s) multiplicateur(s) et multiplicande(s) sont identique(s) en valeur numrique, nous notons la multiplication (par exemple): (3.57) c'est ce que nous nommons la "notation en puissance" ou "l'exponentiation". Le nombre en exposant est ce que nous nommons la "puissance" ou "l'exposant" du nombre (n en l'occurrence). La notation en exposants se trouve pour la premire fois dans l'ouvrage de Chuquet intitul "Triparty en la science des nombres" (1484). Vous pouvez vrifier par vous-mme que ses proprits sont les suivantes (par exemple): (3.58) Voici quelques proprits intuitives que nous admettrons sans dmonstrations de l'opration de multiplication : P1. La multiplication de plusieurs nombres ne dpend pas de l'ordre des termes. Nous disons alors que la multiplication est une "opration commutative". P2. La multiplication de plusieurs nombres ne change pas si nous remplaons deux ou plusieurs d'entre eux par leur rsultat intermdiaire. Nous disons alors que la multiplication est "opration associative". P3. L'unit est l'lment neutre de la multiplication car tout multiplicande multipli par le multiplicateur 1 est gal au multiplicande. P4. La multiplication peut comporter un terme de telle faon ce que le produit soit gal l'unit (l'lment neutre). Nous disons alors qu'il existe un "inverse pour la multiplication" (mais cela dpend rigoureusement dans quel ensemble de nombres nous travaillons). P5. La multiplication est "distributive", c'est--dire que : (3.59) l'opration inverse s'appelant la "factorisation". Introduisons encore quelques notations particulires relatives la multiplication :

1. Soit

des nombres quelconques (non ncessairement gaux) alors nous

pouvons noter le produit ainsi:

(3.60) en dfinissant des bornes suprieurs et infrieures au produit index (au-dessus et endessous de la lettre grecque majuscule "Pi"). Rappel des proprits relatives cette notation:

(3.61) pour tout nombre k tel que: (3.62) Nous avons aussi par exemple:

(3.63) 2. Nous dfinissons galement la "factorielle" simplement (car il existe aussi un manire complexe de la dfinir en passant par la fonction Gamma d'Euler comme cela est fait dans le chapitre de Calcul Diffrentiel Et Intgral) par : (3.64)

Exemples: Voyons quelques exemples simples de multiplications lmentaires. La multiplication de deux nombres relativement petits est assez facile ds que nous avons appris par coeur compter jusqu' au moins le nombre rsultant de cette opration. Ainsi:

(3.65)

Pour les beaucoup plus grands nombres il faut adopter une autre mthode qu'il s'agit d'apprendre par coeur. Ainsi par exemple:

(3.66)

nous multiplions colonne par colonne et nous additionnons l'ensemble des rsultats dcals d'un chiffre comme ci-dessous (8x4=32, 8x7=56, 8x5=40, 8x4=32) ainsi nous obtenons :

(3.67) Cette mthodologie est trs logique si vous avez bien compris comment nous construisons un chiffre en base dix. Ainsi, nous avons (nous supposerons pour l'instant la distributivit comme connue):

(3.68) Pour ne pas surcharger l'criture dans la multiplication par la mthode "verticale", nous ne reprsentons pas les zros qui surchargeraient inutilement les calculs (et ce d'autant plus si le multiplicateur le multiplicande sont de trs grands nombres).

2.4. DIVISION
Dfinition: La division de nombres entiers (pour commencer par le cas le plus simple...) est une opration, qui a pour but, tant donn deux nombres entiers, l'un appel "dividende", l'autre appel "diviseur", d'en trouver un troisime appel "quotient" qui soit le plus grand nombre dont le produit par le diviseur puisse se retrancher (donc la division dcoule de la soustraction!) du dividende (la diffrence tant nomm le "reste" ou la "congruence").

Remarque: Dans les cas des nombre rels il n'y a jamais de reste la fin de l'opration de division (car le quotient multipli par le diviseur donne exactement le dividende)!
D'une faon gnrale dans le cadre des nombres entiers, si nous notons D le dividende, d le diviseur, Q le quotient et R le reste nous avons la relation: (3.69)

en sachant que la division tait initialement note de la manire suivante:

(3.70) Nous dsignons galement souvent par "fraction" (au lieu de "quotient"), le rapport de deux nombres ou autrement dit, la division du premier par le deuxime.

Remarque: Le signe de la division ":" est d Leibniz. La barre de fraction se trouve elle pour la premire fois dans les ouvrages de Fibonacci (1202) et elle est probablement due aux Hindous.
Si nous divisons deux nombres entiers et que nous souhaitons un entier comme quotient et comme reste (s'il y en a un...), alors nous parlons de "division euclidienne". Nous indiquons l'opration en plaant entre les deux nombres, le dividende et le diviseur un " : " ou une barre de division " / ". Si nous avons :

(3.71) nous appelons l'inverse du dividende. A tout nombre est associ un inverse qui

satisfait cette condition. De cette dfinition il vient la notation (avec x tant un nombre quelconque diffrent de zro) : (3.72) Dans le cas de deux nombres fractionnaires, nous disons qu'ils sont "inverses" ou "rciproques", lorsque leur produit est gal l'unit (comme la relation prcdente) pour toute valeur de x, positive ou ngative.

Remarques: R1. Une division par zro est ce que nous nommons une "singularit". C'est--dire que le rsultat de la division est indtermin. R2. Lorsque nous multiplions le dividende et le diviseur d'une division (fraction) par un mme nombre, le quotient ne change pas (il s'agit d'une fraction quivalente), mais le reste est multipli par ce nombre. R3. Diviser un nombre par un produit effectu de plusieurs facteurs revient diviser ce nombre successivement par chacun des facteurs du produit et rciproquement.
Les proprits des divisions avec les notations condenses de puissances (exponentation) sont les suivantes (nous laisserons le soin au lecteur de le vrifier avec des valeurs numriques):

(3.73) ou :

(3.74) Rappelons qu'un nombre premier (entier relatif) est un nombre qui n'a d'autres diviseurs que lui-mme et l'unit (rappelons 1 n'est pas unn nombre premier). Donc tout nombre qui n'est pas premier a au moins un nombre premier comme diviseur (except 1 par dfinition!). Le plus petit des diviseurs d'un nombre entier est donc un nombre premier (nous dtaillerons les proprits des nombres premiers relativement au sujet de la division dans le chapitre de Thorie des Nombres). Voyons quelques proprits de la division (certaines nous sont dj connues car elles dcoulent d'un raisonnement logique des proprits de la multiplication) :

(3.75) o la deuxime ligne est ce que nous appelons une "amplification des termes" et la cinquime ligne une "mise au dnominateur commun". Nous avons aussi les proprits suivantes: P1. La division de plusieurs nombres dpend de l'ordre des termes. Nous disons alors que la division est une "opration non-commutative". Ce qui signifie que nous avons quant A est diffrent de B:

(3.76)

P2. La rsultat de la division de plusieurs nombres change si nous remplacons deux ou plusieurs d'entre eux par leur rsultat intermdiaire. Nous disons alors que la division est "opration non-associative":

(3.77) P3. L'unit est l'lment neutre droite de la division car tout dividende divis par le diviseur 1 est gal au dividende mais l'unit n'est par contre pas neutre gauche. P4. La division peut comporter un terme de telle faon ce que la division soit gale l'unit (l'lment neutre). Nous disons alors qu'il existe un "symtrique pour la division". Si a et b sont deux nombres rels positifs et non nuls nous avons : , (3.78)

(3.79) Nous pouvons maintenant dfinir la racine q-ime principale d'un nombre quelconque a : (3.80) la dernire relation n'tant dfinie que pour avons : (3.81) qui est une racine, le nombre a est le "radicante" et q est l'indice de la racine. Le symbol est appel le "radical". . Au niveau de la terminologie, nous

De ce qui a dj t dit pour les puissances, nous pouvons conclure aisment que:

(3.82) et :

(3.83) il en ressort que :

et

(3.84)

Nous avons galement si

: (3.85)

si

est impair et :

(3.86) si Si est pair. et est impair, alors :

(3.87) est le nombre rel ngatif b tel que: (3.88) Si est pair alors bien sr, comme nous l'avons dj vu, la racine est complexe (cf. chapitre sur les Nombres). Si le dnominateur d'un quotient contient un facteur de la forme multipliant la numrateur et le dnominateur par dnominateur, puisque : avec , en

, nous supprimerons la racine au

(3.89) Nous appelons communment ce procd "rendre un dnominateur rationnel". Nous pouvons bien sr faire de mme avec le numrateur.

3. POLYNMES ARITHMTIQUES
Dfinition: Un "polynme arithmtique" ( ne pas confondre avec les polynmes algbriques qui seront tudis dans la section d'Algbre) est un ensemble de nombres spars les uns des autres par les oprations d'addition ou de soustraction (+ ou -). Les composants enferms dans le polynme sont appels "termes" du polynme. Lorsque le polynme contient un unique terme, nous parlons alors de "monme", s'il y a deux termes nous parlons de "binme", et ainsi de suite... La valeur d'un polynme arithmtique est gale l'excs de la somme des termes prcds du signe + sur la somme des termes prcds du signe -.

Dmonstration:

(3.90) quelque soit les valeurs des termes. C.Q.F.D. Mettre en vidence l'unit ngative -1 est ce que nous appelons une "factorisation" ou "mise en facteurs". L'opration inverse, s'appelant une "distribution". Le produit de plusieurs polynmes peut toujours tre remplac par un polynme unique que nous appelons le "produit effectu". Nous oprons habituellement comme suit: nous multiplions successivement tous les termes du premier polynme, en commenant par la gauche, par le premier, le second, ..., le dernier terme du second polynme. Nous obtenons ainsi un premier produit partiel. Nous faisons, s'il y a lieu, la rduction des termes semblables. Nous multiplions ensuite chacun des termes du produit partiel successivement par le premier, le second, ..., le dernier terme du troisime polynme en commenant par la gauche et ainsi de suite. Le produit des polynmes A,B,C, ...L, ... est la somme de tous les produits de n facteurs forms avec un terme deA, un terme de B, ..., et un terme de L. S'il n'y a aucune rduction, le nombre des termes du produit est gal au produit des nombres des termes des facteurs.

4. VALEUR ABSOLUE
Un nombre rel est constitu de deux parties: un signe + ou - et une valeur absolue. Exemples: E1. +7 est constitu du signe + et de la valeur absolue 7 E2. -5 est constitu du signe - et de la valeur absolue 5 La valeur absolue de +7 est donc 7, la valeur absolue de -5 est donc 5. Dfinition: Pour tout nombre rel x, la "valeur absolue" de x, note est donne par:

(3.91) Nous remarquons que: (3.92) Ainsi que les expressions quivalentes:

(3.93) et : (3.94) et encore:

(3.95) ces dernires tant souvent utilises dans le cadre de la rsolution des inquations. Indiquons qu'il est aussi utile d'interprter l'expression comme la distance entre

les deux nombres x et ysur la droite relle. Ainsi, en munissant l'ensemble des nombres rels de la distance valeur absolue, il devient un espace mtrique. La rsolution d'une inquation telle que se rsout alors simplement l'aide de

la notion de distance. La solution est l'ensemble des rels dont la distance au rel 3 est infrieure ou gale 9. C'est l'intervalle de centre 3 et de rayons 9 ou autrement crit: (3.96) La valeur absolue a quelques proprits triviales que nous noncerons sans dmonstrations: P1. La valeur absolue de la somme algbrique de plusieurs nombres rels est infrieure ou gale la somme des valeurs absolues des composantes de la somme: (3.97) ce que les mathmaticiens appellent parfois la "premire ingalit triangulaire". P2. La valeur absolue de la diffrence est suprieure ou gale la valeur absolue de la diffrence des valeurs absolues des composantes de la diffrence: (3.98) ce que les mathmaticiens appellent parfois la "deuxime ingalit triangulaire". P3. La valeur absolue du produit (multiplication) est gale au produit des valeurs absolues: (3.99) P4. La valeur absolue du rapport est gale au rapport des valeurs absolues:

(3.100)

5. RGLES DE CALCUL
Frquemment en informatique (dans le dveloppement en particulier), nous parlons de "priorit des oprateurs". En mathmatiques nous parlons de "priorit des ensembles d'oprations et des rgles des signes". De quoi s'agit-il exactement? Nous avons dj vu quelles taient les proprits des oprations d'addition, soustraction, multiplication, mise en puissance et division. Nous tenons donc ce que le lecteur diffrencie la notion de "proprit" de celle ce de "priorit" (que nous allons tout de suite voir) qui sont des choses compltement diffrentes. En mathmatiques, en particulier, nous dfinissons les priorits des symboles: {[( )]} Autrement dit: 1. Les oprations qui sont entre parenthses ( ) doivent tres effectues en premier dans le polynme. 2. Les oprations qui sont entre crochets [ ] doivent tres effectues en second partir des rsultats obtenus des oprations qui se trouvaient entre les parenthses ( ). 3. Finalement, partir des rsultats intermdiaires des oprations qui se trouvaient entre parenthses ( ) et crochets [ ], nous calculons les oprations qui se situent entre les accolades { }. Faisons un exemple, ceci sera plus parlant. Exemple: Soit calculer le polynme: (3.101) Selon les rgles que nous avons dfinies tout l'heure, nous calculons d'abord tous les lments qui sont entre parenthses ( ), c'est--dire: , ce qui nous donne: (3.103) Toujours selon le rgles que nous avons dfinies tout l'heure, nous calculons maintenant tous les lments entre crochets en commenant toujours calculer les termes qui sont dans les crochets [ ] au plus bas niveau des autres crochets [ ]. Ainsi, , (3.102)

nous commencons par calculer l'expression niveau suprieur: Cela nous donne . et donc:

qui se trouve dans le crochet de

(3.104) Il nous reste calculer maintenant et donc: (3.105) Nous calculons maintenant l'unique terme entre accolades, ce qui nous donne : (3.106) Finalement il nous reste: (3.107) Evidemment il s'agit d'un cas particulier... Mais le principe est toujours le mme. La priorit des oprateurs arithmtiques est une notion spcifique aux langages informatiques (comme nous en avons dj fait mention) du fait qu'on ne peut dans ces derniers crire des relations mathmatiques que sur une ligne unique. Ainsi, en informatique l'expression:

(3.108) s'crit ( peu de choses prs) : (3.109) Un non-initi pourrait y lire:

ou ou :

ou

(3.110)

(3.111) et encore quelques autres... ce qui vous en conviendrez, est fort dangereux car nous arriverons des rsultats diffrents chaque fois (cas particuliers mis part...) !

Ainsi, il a logiquement t dfini un ordre de priorit des oprandes tel que les oprations soient effectues dans l'ordre suivant: 1. - Ngation 2. ^ Puissance 3. * / Multiplication et division 4. \ division entire (spcifique l'informatique) 5. Mod Modulo (cf. chapitre de Thorie Des Nombres) 6. + - Addition et soustraction Evidemment les rgles des parenthses ( ), crochets [ ], et accolades { } qui ont t dfinies en mathmatiques s'appliquent l'informatique. Ainsi, nous obtenons dans l'ordre (nous remplaons chaque opration effectue par un symbole): D'abord les termes entre parenthses: (3.112) Ensuite les rgles de priorit des oprateurs s'appliquent dans l'ordre dfini prcdemment: D'abord (1): (3.113) ensuite (2) : (3.114) nous appliquons la multiplication (3): (3.115) et finalement la division (3): (3.116) Les rgles (4) et (5) ne s'appliquent pas cet exemple particulier. Finalement (6) :

(3.117) Ainsi, en suivant ces rgles, ni l'ordinateur, ni l'tre humain ne peuvent (ne devraient) se tromper lors de l'interprtation d'une quation crite sur une ligne unique. En informatique, il existe cependant plusieurs oprateurs que nous ne retrouvons pas en mathmatiques et qui changent souvent de proprits d'un langage informatique un autre. Nous ne nous attarderons pas trop l-dessus cependant, nous avons mis ci-dessous un petit descriptif: L'oprateur de concatnation " & " est valu avant les oprateurs de comparaisons. Les oprateurs de comparaison (=, <, >, ...) possdent tous une priorit identique. Cependant, les oprateurs les plus gauche dans une expression, dtiennent une priorit plus leve. Les oprateurs logiques sont valus dans l'ordre de priorit suivant: 1. Not - 2. And - 3. Or - 4. Xor - 5. Eqv - 6. Imp Maintenant que nous avons vu les priorits des oprateurs, quelles sont les rgles des signes en vigueur en mathmatiques? D'abord, il faut savoir que ces dernires ne s'appliquent que dans le cas de la multiplication et la division. Soit deux nombres positifs . Nous avons: (3.118) Autrement dit, la multiplication de deux nombres positifs est un nombre positif et ceci est gnralisable la multiplication de n nombres positifs. Nous avons: (3.119) Autrement dit, la multiplication d'un nombre positif par un nombre ngatif est ngatif. Ce qui est gnralisable un rsultat positif de la multiplication s'il y a un nombre pair de nombres ngatifs et un rsultat ngatif pour un nombre impair de nombres ngatifs sur la totalit n des nombres de la multiplication. Nous avons: (3.120) Autrement dit, la multiplication de deux nombres ngatifs est positif. Ce qui est gnralisable un rsultat positif de la multiplication s'il y a un nombre pair de nombre ngatifs et un rsultat ngatif pour un nombre impair de nombres ngatifs.

Pour ce qui est des divisions, le raisonnement est identique: et (3.121)

Autrement dit, si le numrateur et le dnominateur sont positifs, alors le rsultat de la division sera positif. Nous avons: et (3.122)

Autrement dit, si soit le numrateur ou le dnominateur est ngatif, alors le rsultat de la division sera forcment ngatif. Nous avons: et (3.123)

Autrement dit, si le numrateur et le dnominateur sont positifs, alors le rsultat de la division, sera forcment positif. Evidemment, si nous avons une soustraction de termes, il est possible de la rcrire sous la forme : (3.124)

Relations binaires 0-1. Gnralits Dfinition 1 : Une relation binaire dun ensemble E vers un ensemble F est une partie R de EF. Si (x,y) R on dit que x est en relation avec y et on note xRy. Si (x,y) R on dit que x nest pas en relation avec y et on note xRy. Dans le cas particulier o E=F on dit que R est une relation binaire dfinie sur E. Remarque 1 : Souvent on peut reprsenter une relation binaire par un diagramme sagittal, par un diagramme cartsien, par une table ou encore par une matrice. Dfinition 2 : Soit R une relation binaire dun ensemble E vers un ensemble F. On appelle domaine de R et on note Dom(R) lensemble Dom(R,)={x E tq y F tq xRy} On appelle codomaine de R et on note Codom(R) lensemble Codom(R)={y F tq E tq xRy} On appelle coupe de R selon un lment x0 de E et on note Coupex0(R) lensemble Coupex0(R) ={(x0,y) EF tq x0Ry} Cas particuliers : Soit R= , R=EF et lgalit : (x,y) x=y

Dfinition 3 : Soit R une relation binaire dun ensemble E vers un ensemble F. On appelle relation rciproque de R et on note R -1 la relation binaire de F vers E dfinie par : ( (x,y) EF) (xR -1y) (yRx). Dfinition 4 : On dit quune relation R est incluse dans une relation S et on note R S, si (x,y) EF (x,y) R (x,y) S. On dit que deux relations R et S sont gales si R S et S R.

Dfinition 5 : Soit R une relation binaire dun ensemble E vers un ensemble F. On appelle relation complmentaire de R et on note R la relation binaire de E vers F dfinie par : ( (x,y) EF) (x,y)

(x,y)

R.

Dfinition 6 : Soient R et S deux relations binaires dun ensemble E vers un ensemble F. On appelle runion de R et S et on note T=R S la relation binaire T de E vers F dfinie par : ( (x,y) EF) xTy (xRy) (xSy). On appelle intersection de R et S et on note T=RS la relation binaire T de E vers F dfinie par : ( (x,y) EF) xTy (xRy) (xSy). De mme on dfinit sur les relations binaires lanalogue des oprations ensemblistes R\S etc. Dfinition 7 : Soient R une relation binaire dun ensemble E vers un ensemble F et S une relation binaire de lensemble F vers un ensemble G. La compose T de R et S est une relation binaire de lensemble E vers lensemble Gnote T =RS ou T =RS et dfinie par : ( (x,y) EG) (xTy) ( z F tq (xRz) (zSy)). Notation 1 : Dans le cas particulier o E=F=G on note R2 =RR=RR Proposition 1 : Soient R une relation binaire dun ensemble E vers un ensemble F, S une relation binaire de lensemble F vers un ensemble G et T une relation binaire de lensemble G vers un ensemble H. Alors (RS)T =R(ST). (associativit de la composition des relations binaires) Proposition 2 : Soit R une relation binaire dun ensemble E vers un ensemble F, S et T deux relations binaires de lensemble F vers un ensemble G et U une relation binaire de lensemble G vers un ensemble H. Alors : R(S T)=RS RT R(ST) RSRT (S T)U=SU TU (ST)U SUTU Remarque 3 : La composition des relations binaires tant associative on supprimera les parenthses : (RS)T =R(ST)=RST. En particulier si R une relation binaire dfinie sur un ensemble E on notera Rn =RR R o n N*. En particulier R1 =R et par convention R0 sera lgalit . Dfinition 8 : On dit quune relation binaire R dfinie sur un ensemble E est : rflexive si ( x E) xRx. symtrique si ( (x,y) E2) (xRy) (yRx). 3 transitive si ( (x,y,z) E ) (xRy) (yRz) (xRz). antisymtrique si ( (x,y) E2) (xRy) (yRx) (x=y).

0-2. Fermeture des relations binaires Dfinition 9 : Soit R une relation binaire dfinie sur un ensemble E. On appelle fermeture rflexive de R et on note r(R) la plus petite (au sens de linclusion) relation rflexive dfinie sur E contenant R. Autrement dit r(R) est la relation binaire dfinie sur lensemble E telle que : r(R) est rflexive R r(R) Pour toute relation binaire S rflexive dfinie sur lensemble E, si S R alors S r(R) Dfinition 10 : Soit R une relation binaire dfinie sur un ensemble E. On appelle fermeture symtrique de R et on note s(R) la plus petite (au sens de linclusion) relation symtrique dfinie sur E contenant R. Autrement dit s(R) est la relation binaire dfinie sur lensemble E telle que : s(R) est symtrique R s(R) Pour toute relation binaire S symtrique dfinie sur lensemble E, si S R alors S s(R) Dfinition 11 : Soit R une relation binaire dfinie sur un ensemble E. On appelle fermeture transitive de R et on note t(R) la plus petite (au sens de linclusion) relation transitive dfinie sur E contenant R. Autrement dit t(R) est la relation binaire dfinie sur lensemble E telle que : t(R) est transitive R t(R) Pour toute relation binaire S transitive dfinie sur lensemble E, si S R alors S t(R) Remarque 4 : Soit R une relation binaire dfinie sur un ensemble E. Alors R est rflexive si et seulement si R=r(R) R est symtrique si et seulement si R=s(R) R est transitive si et seulement si R=t(R) Thorme 4 : Soit R une relation binaire dfinie sur un ensemble E. Alors r(R)= R o est la relation galit sur E s(R)= R R 1 o R 1 est la relation rciproque de R =R

R2

R3..

Remarque 5 : Soit R une relation binaire dfinie sur un ensemble E. Alors (x,y) t(R) si et seulement si il existe une suite c0, c1, c2, , cn dlments de E o n1, c0=x et cn=y et telle que 0i<n ciRci+1 (notion de chemin). Notation 2 : On note R+ la fermeture transitive de R et R* la fermeture rflexive et transitive de R.

0-3. Relations dquivalence Dfinition 12 : Une relation binaire dans un ensemble E est une relation dquivalence si elle est rflexive, symtrique et transitive. Dfinition 13 : Soit R une relation dquivalence dans un ensemble E et x E. On appelle classe dquivalence de x par R (ou modulo R ) et on note lensemble {y E tq xRy}. Un lment dune classe dquivalence est appel reprsentant de cette classe dquivalence. Lensemble de toutes les classes dquivalence est appel ensemble quotient de E par R. On le note E/R. Remarque 6 : Soit R une relation dquivalence dans un ensemble E et x E E/R E/R P(E) E. On a :

Lemme 1 : Soit R une relation dquivalence dans un ensemble E et x et y deux lments de E. Alors Proposition 3 : Toute relation dquivalence dans un ensemble E dtermine une partition de E. Inversement toute partition de E dtermine une relation dquivalence dans E. 0-4. Relations dordre Dfinition 14 : Une relation binaire dans un ensemble E est une relation de prordre si elle est rflexive et transitive. Cest une relation dordre si en plus elle est antisymtrique. Une relation dordre est totale si ( (x,y) E2) (xRy) (yRx). Elle est dite partielle dans le cas contraire. Dfinition 15 : Un couple (E,R) form dun ensemble E et dune relation dordre R est appel ensemble ordonn. Si R est totale lensemble est dit totalement ordonn. Notation 3 : Soit (E, R) un ensemble ordonn et (x,y) [x , y] = {z E tq (xRz) (zRy)} [x , y[ = {z E tq (xRz) (zRy) (zy)} ]x , y] = {z E tq (xRz) (zRy) (zx)} ]x , y[ = {z E tq (xRz) (zRy) (zx) (zy)} [x , [ = {z E tq xRz} ]x , [ = {z E tq (xRz) (zx)} ], x] = {z E tq zRx} ], x[ = {z E tq (zRx) (zx)} E2. On note :

Terminologie 1 : Soit (E, R) un ensemble ordonn et (x,y) E2. On dit que x et y sont comparables si (xRy) ou (yRx). Ils sont dits non comparables dans le cas contraire.

Si xRy on dit que x est infrieur y ou que y est suprieur x. Si xRy et yx on dit que x est strictement infrieur y ou que y est strictement suprieur x. On dit que y est un successeur immdiat de x (ou que y couvre x) si x est strictement infrieur y et il nexiste pas de z tel que x soit strictement infrieur z et z soit strictement infrieur y. On dit alors que x est un prdcesseur immdiat de y (ou que x est couvert par y). Dfinition 16 : Soit (E,R) un ensemble ordonn et A une partie de E. a A est un lment maximal de A sil nexiste pas de y A tel que aRy et ya. b A est un lment minimal de A sil nexiste pas de y A tel que yRb et yb. Diagramme de Hasse : un ensemble ordonn (E, R) o E est fini peut tre reprsent par un diagramme o la rflexivit et la transitivit sont implicites. Chaque lment de E est reprsente par un point, un segment (ou arc) joignant deux points x et y reprsente xRy . On utilise le haut et le bas (la gauche et la droite ) pour se passer dun sens flch. Le diagramme de Hasse dun ensemble ordonn sobtient en procdant de proche en proche partir des lments maximaux et de leurs prdcesseurs immdiats. Le diagramme dun ensemble totalement ordonn sappelle une chane Une partie A dun ensemble ordonn est une chane maximale si 1) Cest une chane de E 2) Il nexiste pas de chane B telle que A B. Dfinition 17 : Soit (E, R) un ensemble ordonn et A une partie de E. On dit quun lment x de E est un majorant (resp minorant) de A si ( (resp ( y A) xRy.) Si lensemble des majorants (resp minorant) de A est non vide on dit que A est major (resp minor). Une partie A majore et minore est dite borne.

A) yRx.

Dfinition 18 : Soit (E, R) un ensemble ordonn et A une partie de E. On dit que m est un minimum (ou plus petit lment) de A si m est un minorant de A et m A. On note m = min(A). On dit que M est un maximum (ou plus grand lment) de A si M est un majorant de A et M A. On note M = max(A). Remarque 7 : Si A admet un plus petit (resp plus grand) lment alors cet lment est unique. Dfinition 19 : Soit (E,R) un ensemble ordonn et A une partie de E. Si A est major et si lensemble des majorants de A possde un plus petit lment alors ce dernier est appel borne suprieure de A et on note SupA. Si A est minor et si lensemble des minorants de A possde un plus grand lment alors ce dernier est appel borne infrieure de A et on note InfA. Remarque 8 : Si A admet un plus grand (resp plus petit) lment alors on a maxA = SupA (resp minA = InfA).

Dfinition 20 : On appelle treillis un ensemble ordonn (E,R) tel que toute paire {x,y} dlments de E possde une borne suprieure (note x+y) et une borne infrieure (note x.y) Dfinition 21 : Soit (E,R1) et (F,R2) deux ensembles ordonns et f une application de E dans F. On dit que f est croissante (resp dcroissante) si pour tout couple (x,y) de E2 tel que xR1y on a f(x)R2f(y) (resp f(y)R2f(x)). Proposition 4 : La compose de deux applications croissantes est croissante. La compose de deux applications dcroissantes est croissante. Si f est une bijection croissante sa rciproque nest pas ncessairement croissante.