Plan du module. Licence 2 Informatique 2005/ ère partie - Systèmes relationnels. 2ème partie - Algèbre. 3ème partie - Séries

Save this PDF as:
 WORD  PNG  TXT  JPG

Dimension: px
Commencer à balayer dès la page:

Download "Plan du module. Licence 2 Informatique 2005/2006. 1ère partie - Systèmes relationnels. 2ème partie - Algèbre. 3ème partie - Séries"

Transcription

1 Informatique 20h cours/30h théorique TD 2 Informatique Systèmes -Informatiquethéorique 2 relationnels 2005/2006 Informatique -Informatiquethéorique Relations 22005/2006 n-aires 2 Informatique 2005/2006 Frédéric Fürst - bureau Les systèmes relationnels sous-tendent de nombreux systèmes informatiques : Base de données et langages relationnels Structures ordonnées : arborescence des systèmes de fichiers, piles, files, arbres, hiérarchies objet, Bibliographie : Mathématiques discrètes et informatique, N.H. Xuong, Masson Mathématiques pour l informatique, A. Arnold & I. Guessarian, Masson Mathématiques discrètes, S. Lipschutz, Serie Schaum Relation : soit E1,.., En n ensembles. On appelle relation entre les Ei tout sous-ensemble de E1.. En. Exemples : - une relation unaire sur un ensemble E est une partie de E (par ex. l ensemble des entiers pairs peut être vu comme une relation unaire sur N). - 3 ensembles d identifiants client, d identifiants produit et de numéros de facture sont liés par une relation ternaire «achat» Tartempion Dupont Dupond Chaise Table fourchette Facture 22 Facture 23 Facture 32 Plan du module 1ère partie - Systèmes relationnels Relations sur un ensemble Relation sur Théorie des treillis ensembles Informatique -Informatiquethéorique Opérations relations 22005/2006sur (1/3) les 2ème partie - Algèbre Théorie des groupes Anneaux, corps 3ème partie - Séries Séries, polynomes formels Fonctions génératrices Ensemble : un ensemble (notion première) est défini quand il est possible pour tout élément (notion première) de dire s il appartient ou pas à cet ensemble Relation (binaire) : soit E et F deux ensembles. On appelle relation binaire entre E et F tout sous-ensemble de E F (E F est le produit cartésien de E et F). Notes : - une relation peut lier un ensemble à lui-même - une relation n est pas forcément binaire Exemples : - relation de notation entre l ensemble des étudiants en L2 et l ensemble des notes en IT2 [0..20] - la relation de divisibilité dans N Les relations sont des sous-ensembles d un produit cartésien d ensembles => on peut leur appliquer des opérations ensemblistes, c est l algèbre relationnelle des SGBD (BD2) Inclusion de relation : l inclusion des relations binaires R et S, notée R S, est définie par (x,y) R => (x,y) S. On peut généraliser à des relations n-aires. Exemple : {(Tartempion,chaise,facture22)} est incluse dans {(Tartempion,chaise,facture22),(Dupont,table,facture23),(Dupont,fourchette, facture32)} 1

2 Opérations relations sur (2/3) les Opérations relations sur (3/3) les Union et intersection de relations : soit R et S deux relations Inverse d une relation binaire : soit R relation entre E et F. R -1 Composition Informatique ABCD des relations -Informatiquethéorique /2006 rodolphe robert roger relations Propriétés binaires des (1/2) relations Propriétés binaires des (2/2) Informatique Fermetures -Informatiquethéorique 2 des 2005/2006relations binaires entre E et F. R S union de R et S est définie par x (R S) y ssi xry ou xsy. R S intersection de R et S est définie par x (R S) y ssi xry et xsy. On généralise à des relations n-aires Exemples : - l'union de {(Tartempion,chaise,facture22)} et {(Tartempion,chaise,facture22), (Dupont,table,facture23), (Dupont,fourchette, facture32)} est {(Tartempion,chaise,facture22), (Dupont,table,facture23), (Dupont,fourchette, facture32)} - l'intersection de {(Tartempion,chaise,facture22)} et {(Tartempion,chaise,facture22), (Dupont,table,facture23), (Dupont,fourchette, facture32)} est {(Tartempion,chaise,facture22)} Composition des relations binaires : soit R une relation entre E et F et S une relation entre F et G. La relation T binaire composée de R et S, et notée RoS, est définie par (x,z) E G, xtz y F tel que xry et ysz Réflexivité : une relation R est réflexive si pour tout x, alors xrx Exemple : la relation "est située au même endroit" définie sur Ob Ob est réflexive Antiréflexivité : une relation R est anti-réflexive si pour tout x, alors xrx est faux Exemple : la relation "est posée sur" est antiréflexive inverse de R est définie par x R -1 y ssi yrx. Complémentaire d une relation : la relation R complémentaire d une relation R entre E et F est définie par (e,f) R ssi (e,f) R. On généralise à des relations n-aires. Relation identité : la relation identité entre E et F, notée Id E F, est définie par (e,f) Id E F ssi e = f Relation pleine : la relation pleine entre E et F, notée E F, est définie par (e,f) E F, (e,f) E F Symétrie : une relation R est symétrique si pour tout x et y tels que xry, alors yrx. Si R est symétrique, R=R -1 Exemple : la relation "à coté de" définie sur Ob Ob où Ob est l'ensemble des objets matériels est symétrique Antisymétrie : une relation R est anti-symétrique si pour tout x et y tels que xry et yrx, alors x = y Exemple : la relation "posée sur" définie sur Ob Ob est antisymétrique Transitivité : une relation R est transitive si pour tout x, y et z tels que xry et yrz, alors xrz Exemple : la relation "à coté de" est transitive Fermeture d une relation binaire : Soit R une relation binaire définie sur un ensemble E. On appelle fermeture réflexive, de R la plus petite (au sens de l inclusion) relation réflexive définie sur E contenant R. On note r(r) la fermeture réflexive de R, t(r) sa fermeture transitive, s(r) sa fermeture symétrique. Théorème 1 : Soit R une relation binaire sur un ensemble E. r(r) = R Id (Id = relation d identité) t(r) = R i i=1.. (R i = RoRo.. or i fois) s(r) = R R -1 2

3 Fonctions, applications (1/2) Informatique Relations -Informatiquethéorique 2 d équivalence 2005/2006 Application : une application d'un ensemble E vers un ensemble F est une relation de E vers F pour laquelle tout élément de E est en relation avec exactement un élément de F. C'est une fonction de E vers F dont domaine de définition est E. Informatique -Informatiquethéorique Relations 22005/2006 d ordre Fonction : une fonction d'un ensemble E vers un ensemble F est une relation de E vers F pour laquelle tout élément x de E est en relation avec au plus un élément y de F on note y = f(x) et on dit que y est l image de x par f et que x est l antécédent de y par f. l'ensemble des éléments x de E pour lesquels il existe un élément de F en relation avec x est appelé ensemble de définition de la fonction f. Relation d équivalence : une relation d équivalence (notée ) est une relation réflexive, transitive et symétrique. Exemples : - la relation de proximité spatiale "à coté de" - dans Z, la relation définie par arb ssi a-b est pair Classe d équivalence : la classe d équivalence d un élément x d un ensemble E relative à une relation d équivalence est l ensemble des éléments y de E tels que x y (ou y x) Théorème 2 : l ensemble des classes d équivalence qu une relation d équivalence induit sur un ensemble E est une partition de E. Inversement, toute partition de E induit une relation d équivalence. Relation d ordre : une relation d ordre partiel (notée ) est une relation réflexive, transitive et antisymétrique. Une relation antiréflexive, transitive et antisymétrique est une relation d ordre strict (une relation réflexive et transitive est appelée préordre). Exemples : - la relation «plus grand que» - dans N, la relation définie par arb ssi a divise b Elément dominant : dans E muni de, un élément x domine un élément y si y x et qu il n existe pas d élément z tel que y z x. On dit aussi que x est le successeur de y. Exemples : - dans N muni de la relation de division, 4 domine 2 - dans N muni de la relation «plus grand que», 3 domine 2 Fonctions, applications (2/2) Injection : une application de E vers F est dite injective lorsque deux éléments distincts de E ont toujours des images distinctes Ensembles dans F. quotient Informatique Ensembles -Informatiquethéorique 22005/2006 ordonnés Surjection : une application de E vers F est dite surjective lorsque tout élément de F admet au moins un antécédent dans E. Bijection : une application de E vers F est dite bijective lorsqu'elle est à la fois injective et surjective. Ensemble quotient : le quotient d un ensemble E par une relation d équivalence est l ensemble dont les éléments sont les classes d équivalences des éléments de E relativement à. Exemples : - le quotient de l ensemble {Pierre, Paul, Jacques, Marie, Jeanne} par la relation «a même sexe»est {{Pierre,Paul,Jacques}, {Marie,Jeanne}} - le quotient de N par la relation R définie par xry ssi x-y est multiple de 2 est l ensemble réduit àdeux éléments, l ensemble des entiers pairs et l ensemble des entiers impairs Ensemble ordonné (ou partiellement ordonné) : un ensemble E ordonné est un ensemble muni d une relation d ordre. On note cet ensemble (E, ). Ensemble totalement ordonné (ou chaine) : un ensemble E est totalement ordonné si pour tout couple (x,y) d éléments de E, x y ou y x Notes : - un ensemble peut être doté de plusieurs relations d ordre - toute relation d ordre admet une relation duale - tout ensemble ordonné (E, ) admet un dual (E, ) Exemples : - l arborescence d un système de fichiers est partiellement ordonnée - l ordre lexicographique est un ordre total permettant de trier des chaînes de caractères 3

4 ensembles Représentation ordonnés des (1/2) {1,2} {1}{2}{2,3} {1,3} {3} {1,2,3} ensembles Représentation des Informatique -Informatiquethéorique y ordonnés (2/2) 2 u2005/2006 zvt Profondeur et hauteur Extension linéaire Linéarisation Informatique -Informatiquethéorique Informatique 1-on 2-on 3-on d un ordre partiel 4-on on initialise associe choisit recommence -Informatiquethéorique l'ajoute le diminue marque un àchaque une sommet de àla liste en 13 liste le sommet 2 vide jusqu'àépuisement degréentrant son 2005/2006 degréentrant 0 tous des ses sommets successeurs non marqués [,{1},{2}] [,{1}] [,{1},{2},{3}] [] [,{1},{2},{3},{1,2}] [,{1},{2},{3},{1,2},{1,3}] Exemple de tri topologique [,{1},{2},{3},{1,2},{1,3},{2,3}] [,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}] [ ] {1,3} Informatique Mais [,{1},{3},{1,3},{2},{1,2},{2,3},{1,2,3}] -Informatiquethéorique 22005/2006{1,2} {1}{2}{2,3} est aussi {3} {1,2,3} extension linéaire de cet ordre partiel une Diagramme de Hasse : sur un ensemble E ordonné par, pour tout couple d éléments (x,y) tels que x y et z dans E tel que x z y (y domine x), on crée un arc fléchéde x ày Exemple : l ensemble des parties de {1,2,3} ordonné par la relation d inclusion. Soit E un ensemble ordonné. Considérons les sous-ensembles totalement ordonnés de E. Hauteur : la hauteur d un élément x de E est le maximum, s il existe, de la longueur des chaînes admettant x comme élément maximum Profondeur : la profondeur d un élément x de E est le maximum, s il existe, des longueurs des chaînes admettant x comme élément minimum Exemples : - dans N muni de la relation arb ssi a divise b, les nombres premiers ont pour hauteur 1 - dans l ensemble des parties de {1,2,3} muni de l inclusion, la profondeur de {3} est 2 Tout ordre partiel peut être étendu à un ordre total. Il n'y a pas en général unicité de l'extension et l'une de ces extensions peut être obtenue à l'aide du tri topologique. Algorithme du tri topologique : on l'applique au graphe sans boucle d'un ordre partiel. La liste obtenue est la linéarisation de l'ordre initial. On en déduit un ordre total compatible avec l'ordre partiel de départ. Un tri topologique d un ensemble E est une numérotation des éléments de E, c est-à-dire une injection de E dans N respectant l ordre naturel sur N.»x Dans le cas d un ensemble totalement ordonné, par transitivité de la relation d ordre, le diagramme devient une «chaine Extension : si un ensemble E est ordonné par <, tout ordre «sur E tel que x < y ==> x «y est appelé une extension de <. Extension linéaire : en particulier si «est un ordre total il est appelé une extension linéaire de <. Exemple : - la relation d ordre arb ssi a divise b ordonne N. La relation d ordre usuelle sur N est une extension linéaire de la précédente. Note : - dans le cas des ensembles finis ou dénombrables, une extension linéaire «d'un ordre < permet d'énumérer les éléments selon l'ordre croissant (pour «), cette énumération étant compatible avec l'ordre d'origine <. 4

5 Eléments un ensemble particuliers ordonné dans (1/3) Eléments un ensemble particuliers ordonné dans (2/3) Informatique Eléments un -Informatiquethéorique ensemble 2 particuliers 2005/2006 ordonné dans (2/2) E Exemples remarquables d'éléments BC BDHGF EAC Ensemble ordonné fini Ordre bien fondé Dans un ensemble E muni d une relation d ordre : x est un minorant (resp. majorant) de y si x y (resp. y x) x est la borne supérieure de E (notée sup(e)) s il est le plus petit des majorants de E x est la borne inférieure de E (notée inf(e)) s il est le plus grand des minorants de E Exemple : b est la borne sup de [a,b] sur (R, ) et aussi celle de [a,b[ Note : un majorant ou minorant, et donc une borne supérieure ou inférieure n existe par toujours ([0,+ [ n a pas de majorant) AD Notes : - un maximum ou un minimum n existe pas toujours (N muni de la relation de divisibilité n a pas de maximum) - un maximal ou un minimal n existe pas toujours (l intervalle réel [a,b[ n a pas de maximal, mais il a un majorant) - dans le cas où un maximum (resp. minimum) existe, il est le seul élément maximal (resp. minimal) de E - dans le cas d un ordre total, les notions de minimum (resp. maximum) et de minimal (resp. maximal) sont confondues Différence entre maximum et maximal : E, C et D sont maximaux mais pas maximums Théorème 3 : Soit A une partie finie non vide d un ensemble ordonné(e, ). Pour tout x de A, il existe dans A un minimal m et un maximal s tels que m x s. Preuve : par induction sur A. Vrai pour A =1. Supposons la propriété vraie pour A =n-1. Soit x de A tel que A =n et B=A\{y} où y x. B contient donc un maximal s et un minimal m tels que m x s. 3 cas se présentent : s y : posons s = y et m = m y m : posons s = s et m = y m y s : posons m = m et s = s Dans les 3 cas, s et m sont les maximal et minimal cherchés. Corollaire : Tout ensemble ordonnéfini admet un maximal et un minimal. En particulier, toute chaîne finie admet un maximum et un minimum. x E est maximal (resp. minimal) s il n a pas d autre majorant dans E (resp. minorant) que lui-même x E est le maximum (ou universel) de E si y E, y x x E est le minimum (ou élément nul) de E si y E, x y Exemples : - dans l ensemble des sous-ensembles d un ensemble E, E est le maximum et le minimum - dans N muni de la relation de divisibilité, 1 est minimum, il n y a pas de maximum Dans l'ensemble ordonné de la figure : Le sous-ensemble {D,E,F} possède 4 majorants A, B, C, D et une borne inf D. D est maximal et maximum. E et F sont minimaux (mais pas minimums). Le sous-ensemble {D,E,F,G} ne possède ni majorant ni minorant Le sous-ensemble {A,B,C,D} ne possède aucun majorant, 3 minorants E, D et F et une borne inf D. B et C sont maximaux mais non maximums et D est minimal et minimum. Ordre bien fondé : un ordre sur un ensemble E est dit bien fondé (ou noethérien) si toute partie non vide de E admet un élément minimal. Exemple : - une arborescence de fichiers muni de l ordre «est sous-arbre de» est bien fondée Théorème 4 : dans un ordre bien fondé, tout élément non maximal admet un dominant. Preuve : soit x un élément non maximal de (E, ) bien fondéet F={y E, x y}. F n est pas vide puisque x n est pas maximal, donc F admet un minimal qui est clairement un dominant de x. 5

6 Bon ordre Définition des Treillis ensembliste Bon ordre : un bon ordre sur un ensemble E est un ordre tel que toute partie non vide de E admet un minimum. Treillis Exemples : - (N, ) est un ensemble bien ordonné mais pas (Z, ) bdeux et diagramme de Hasse Informatique aexemples -Informatiquethéorique cdde ceatreillis 22005/2006 bdfun bdcontre-exemple treillis facede Partie finie d un treillis Informatique Treillis diagramme b-informatiquethéorique E défini ade de Hasse par c2 son{a,b,c,d}, {a,b,c,e}, ordre, 2005/2006 est muni sous-treillisde du même mais pas E Treillis complets (1/2) sous-treillisde E un Théorème 5 : un ordre est bon si et seulement s il est bien fondé et total. Preuve : la condition suffisante est évidente. Un bon ordre est clairement bien fondé. De plus, toute partie à 2 éléments admet un minimum, donc deux éléments quelconques sont comparables. Corollaire : dans un ensemble bien ordonné, tout élément non maximum admet un dominant unique. Sous-treillis Sous-treillis : une partie (P, ) d un treillis (T, ) est un soustreillis de T si pour tout x et y de P, x y et x y sont dans P. Treillis : Un treillis est un ensemble ordonné dans lequel toute paire d'éléments admet une borne supérieure et une borne inférieure, c est-à-dire qu étant donnés deux éléments x et y, l ensemble des majorants communs à x et y n est pas vide et admet un minimum noté x y et l ensemble de leurs minorants communs n est pas vide et admet un maximum noté x y. Note : - on parle aussi de demi-treillis. Un inf-demi-treillis (resp. sup-demitreillis) est un ensemble ordonné où toute paire d éléments admet une borne inférieure (resp. supérieure). - un treillis T admet un dual T tel que et Exemples : - N muni de la relation divise ( = pgcd et = ppcm) - tout ensemble totalement ordonné - l ensemble des parties d un ensemble ordonné par l inclusion (x y = x y et x y = x y) Théorème 6 : toute partie finie d un treillis admet une borne inférieure et une borne supérieure. Preuve : toute partie de cardinal 1 ou 2 vérifie la propriété. Supposons la propriété vraie pour toute partie de cardinal n-1 et soit P={x 1,..,x n } une partie à n éléments. P\{x n } admet un inf a et un sup b. La partie {a,x n }, ayant deux éléments, admet un inf qui est celui de P et la partie {b,x n }, ayant deux éléments, admet un sup qui est celui de P. Corollaire : tout treillis fini admet une borne inférieure et une borne supérieure Treillis complet : un treillis est dit complet lorsque toute partie non vide admet une borne supérieure et une borne inférieure. Note : - si dans un treillis complet, il n existe pas de minimum ou maximum, il est toujours possible de rajouter les inf et sup, qui sont notés (bottom) et T (top) Exemples : - tout treillis fini est complet - l ensemble des parties d un ensemble muni de l inclusion est un treillis complet avec sup({e i })=U i E i et inf({e i })= i E i - (N, ) est un inf-demi-treillis complet mais pas un treillis complet 6

7 Treillis complets (2/2) Théorème 7 : tout treillis sans chaîne infinie est complet. Preuve : soit A une partie non vide d un treillis T sans chaine infinie. Soit x 0 un élément de A. Si x 0 est un minorant de A, c est le minimum x 0 =inf(a). Sinon, il existe un élément x 1 de A tel que (x 0 x 1 ) donc (x 1 x 0 ) x 0. Si x 1 x 0 est un minorant de A, alors x 1 x 0 = inf(a) car pour tout minorant m de A, m x 0 et m x 1 donc m x 1 x 0. Sinon il existe un élément x 2 de A tel que (x 2 Morphismes x 1 x 0 ) (x 1 x 0 ) x 0 d ordre (2/2). Puisque le treillis ne contient pas de chaine infinie, le processus s arrête au bout d un temps fini et conduit à inf(a). De même pour sup(a). Informatique -Informatiquethéorique Isomorphismes 22005/2006 l'application taille définie entre les ensembles {Albert, Bertrand, Caroline, Hervé}, ordonné par l'ordre lexicographique dans {160,167,182,190}, ordonné par l'ordre naturel des entiers et définie par taille(albert) = 160, taille(bertrand) = 167, taille(caroline) = 182 et taille(hervé) = 190 est un morphisme d'ordre Isomorphisme : un isomorphisme est un morphisme bijectif. Dans ce cas, on a x,y de E 1, x 1 y <=> f(x) 2 f(y) Endomorphisme : un endomorphisme est un morphisme d un ensemble dans lui-même Automorphisme : un automorphisme est un endomorphisme bijectif Théorème 9 : soient deux ensembles ordonnés (E 1, ) et (E 2, 2 ) isomorphes (d ordre). Si l un est un treillis, l autre aussi, et ils sont isomorphes (de treillis). Preuve : soit f la bijection d ordre de E 1 dans E 2. Supposons que E 1 soit un treillis, donc x y existe. f(x y) est un minorant de {f(x),f(y)} car x y 1 x => f(x y) 2 f(x) et x y 1 y => f(x y) 2 f(y). Montrons que c est le plus grand minorant. Soit m un minorant de {f(x),f(y)}. Puisque f est un isomorphisme (d ordre), il existe z dans E 1 tel que m = f(z) avec z 1 x et z 1 y. Donc z 1 (x y) et donc m = f(z) 2 f(x y). Par dualité, on montre aussi que f est un -morphisme. Et par bijection, on montre la propriété si E 2 est un treillis. Morphismes d ordre (1/2) Informatique Morphismes -Informatiquethéorique 22005/2006 de treillis Informatique -Informatiquethéorique Point 2 fixe 2005/2006(1/2) Morphisme d ordre : soient (E 1, 1 ) et (E 2, 2 ) deux treillis. Une fonction f : E 1 E 2 est un morphisme d ordre si pour tout x et y de E 1, x 1 y => f(x) 2 f(y). Un morphisme est donc une fonction qui respecte l'ordre. Un morphisme d ordre est aussi appelé fonction croissante. Note : - une fonction décroissante est définie par x 1 y => f(y) 2 f(x) - on utilise parfois le terme d homomorphisme à la place de morphisme Exemples : l'application note de {Albert, Bertrand, Caroline, Hervé}, ordonné par l'ordre lexicographique dans {11,12,13}, ordonné par l'ordre naturel des entiers et définie par note(albert) = 11, note(bertrand) = 13, note(caroline) = 12 et note(hervé) = 13 n'est pas un morphisme d'ordre Morphisme de treillis : soient (E 1, 1 ) et (E 2, 2 ) deux treillis. Une fonction f : E 1 E 2 est un morphisme de treillis si pour tout x et y de E 1, f(x) f(y)=f(x y) et f(x) f(y)=f(x y). Un morphisme qui respecte est un -morphisme, et un morphisme qui respecte est un -morphisme. Un morphisme est à la fois - morphisme et -morphisme. Théorème 8 : tout morphisme de treillis est un morphisme d ordre Preuve : si x 1 y, x y = x et f(x) = f(x) f(y) donc f(x) 2 f(y) Note : - un morphisme d ordre n est pas forcément un morphisme de treillis Exemple : - Id : (N,div) (N, ). 4 6 = 12 dans (N,div) et 4 6 = 6 dans (N, ) donc Id(4 6) = 12 Id(4) Id(6) = 6. Point fixe : une fonction f : E E admet un point fixe x si f(x) = x. Rôle des points fixes en programmation : Soit le programme suivant : Posons f la fonction qui à un programme P associe le programme suivant travaillant sur un entier n donné en entrée public int fact(int n){ if(n == 0) return 1; else return n*fact(n-1); } if(n == 0) return 1; else return n*p(n-1); La fonction fact définie précédemment est le point fixe de la fonction f. 7

8 Point fixe (2/2) La notion de point fixe apparait également dans les boucles qui peuvent être décrites comme des récursions. Point fixe et informatique public void boucle(){ } Exemple : la boucle while(cond) inst; peut être écrite sous forme de la fonction récursive suivante if(cond){ inst; boucle(); } La notion de point fixe et le théorème de point fixe sont utilisés largement en informatique base de données : mise à jour des données analyse de programme et compilation : transformation des boucles et récursions en points fixes, contrôle de terminaison contrôle de systèmes : stabilité, vérification de système... Théorème de point fixe Théorème (Knaster-Tarski, 1942) : toute fonction croissante d un treillis complet dans lui-même admet un plus petit et un plus grand point fixe (c est-à-dire que l ensemble des points fixes admet un inf et un sup) Preuve : soit f une fonction croissante d un treillis complet (T, ) dans lui-même. Posons F={x T, f(x) x}. F est non vide car sup(t) existe et sup(t) F (au besoin on le rajoute). Donc F admet une borne inférieure a = inf(f). f étant croissante, x F, a x => f(a) f(x) x. Donc f(a) est un minorant de F et f(a) a. Donc a F et est le minimum de F. Ainsi, si a est un point fixe de f, ce sera le plus petit, car tout point fixe de f est dans F. Or f(a) a => f(f(a)) f(a), donc f(a) F, d où a f(a). 8

Mathématiques pour l Informatique Relations binaires Jérôme Gensel

Mathématiques pour l Informatique Relations binaires Jérôme Gensel Master ICA Spécialité IHS Année 2007/2008 Mathématiques pour l Informatique Relations binaires Jérôme Gensel I) Relations binaires 1. Généralités Définition 1 : Une relation binaire d un ensemble E vers

Plus en détail

Théorie des ensembles

Théorie des ensembles Théorie des ensembles Cours de licence d informatique Saint-Etienne 2002/2003 Bruno Deschamps 2 Contents 1 Eléments de théorie des ensembles 3 1.1 Introduction au calcul propositionnel..................

Plus en détail

BJ - RELATIONS BINAIRES

BJ - RELATIONS BINAIRES BJ - RELATIONS BINAIRES Définitions Soit A et B deux ensembles non vides, et G une partie de A B. On dit qu un élément x de A est relié à un élément y de B par une relation binaire de graphe G, si le couple

Plus en détail

[http://mp.cpgedupuydelome.fr] édité le 16 octobre 2015 Enoncés 1

[http://mp.cpgedupuydelome.fr] édité le 16 octobre 2015 Enoncés 1 [http://mp.cpgedupuydelome.fr] édité le 16 octobre 2015 Enoncés 1 Relations binaires Relations d équivalence Exercice 1 [ 02643 ] [Correction] Soit R une relation binaire sur un ensemble E à la fois réflexive

Plus en détail

Relation binaire. 2. Relations, fonctions et ordres. Exemples. Représentation d une relation binaire. Un couple est une paire ordonnée d éléments.

Relation binaire. 2. Relations, fonctions et ordres. Exemples. Représentation d une relation binaire. Un couple est une paire ordonnée d éléments. Relation binaire Un couple est une paire ordonnée d éléments. ex: les points (x,y) du plan de IN 2 ou de IR 2, les nom et prix d un produit, les instances d un objet en Java (à 2 attributs). 2. Relations,

Plus en détail

Relations binaires sur un ensemble.

Relations binaires sur un ensemble. Math122 Relations binaires sur un ensemble. TABLE DES MATIÈRES Relations binaires sur un ensemble. Relations d équivalence, relation d ordre. Table des matières 0.1 Définition et exemples...................................

Plus en détail

B03. Ensembles, applications, relations, groupes

B03. Ensembles, applications, relations, groupes B03. Ensembles, applications, relations, groupes Bernard Le Stum Université de Rennes 1 Version du 6 janvier 2006 Table des matières 1 Calcul propositionnel 2 2 Ensembles 5 3 Relations 7 4 Fonctions, applications

Plus en détail

Définitions. Si E = F on dit. (x, y) / G R signifie que x n est pas en relation avec y. 32/137. Exemple

Définitions. Si E = F on dit. (x, y) / G R signifie que x n est pas en relation avec y. 32/137. Exemple I Introduction II Wims Cours de Mathématiques IUT Orsay DUT INFORMATIQUE 1A - Semestre 1 III Calcul ensembliste IV Relations binaires, applications V Logique VI Raisonnement par récurrence, suites récurrentes

Plus en détail

Relations binaires. 1 Produits cartésiens et graphes. 2 Relations binaires. 1.1 Produit cartésien E F. 1.2 Graphe dans E F. 2.

Relations binaires. 1 Produits cartésiens et graphes. 2 Relations binaires. 1.1 Produit cartésien E F. 1.2 Graphe dans E F. 2. Relations binaires 1 Produits cartésiens et graphes 1.1 Produit cartésien E F Soient E et F deux ensembles non vides. E F = {(x; y) / x E et y F } Si E = F, E F = E 2 (carré cartésien) Soit (a; b) E F.

Plus en détail

Fondamentaux pour les Mathématiques et l Informatique :

Fondamentaux pour les Mathématiques et l Informatique : Université Bordeaux 1 Licence de Sciences, Technologies, Santé Mathématiques, Informatique, Sciences de la Matière et Ingénierie M1MI1002 Fondamentaux pour les Mathématiques et l Informatique Fondamentaux

Plus en détail

Relations d ordre et relations d équivalence

Relations d ordre et relations d équivalence CHAPITRE 1 Relations d ordre et relations d équivalence 1.1 Définition Une relation sur un ensemble E est un sous-ensemble R de l ensemble E E, produit cartésien de E par lui-même. Par exemple, si E =

Plus en détail

Mathématiques Pour l Informatique I : Théorie des Ensembles et Relations. Serge Iovleff

Mathématiques Pour l Informatique I : Théorie des Ensembles et Relations. Serge Iovleff Mathématiques Pour l Informatique I : Théorie des Ensembles et Relations Serge Iovleff 13 septembre 2004 Quelques références Ma Page http ://www.iut-info.univ-lille1.fr/ iovleff Un Cours réalisé par des

Plus en détail

VIII Relations d ordre

VIII Relations d ordre VIII Relations d ordre 20 février 2015 Dans tout ce chapitre, E est un ensemble. 1. Relations binaires Définition 1.0.1. On appelle relation binaire sur E tout triplet R = (E, E, Γ) où Γ est une partie

Plus en détail

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que Introduction. On suppose connus les ensembles N (des entiers naturels), Z des entiers relatifs et Q (des nombres rationnels). On s est rendu compte, depuis l antiquité, que l on ne peut pas tout mesurer

Plus en détail

Le corps R des nombres réels

Le corps R des nombres réels Le corps R des nombres réels. Construction de R à l aide des suites de Cauchy de nombres rationnels On explique brièvement dans ce paragraphe comment construire le corps R des nombres réels à partir du

Plus en détail

Cours d algèbre. Maths1 LMD Sciences et Techniques. Par M. Mechab

Cours d algèbre. Maths1 LMD Sciences et Techniques. Par M. Mechab Cours d algèbre Maths1 LMD Sciences et Techniques Par M. Mechab 2 Avant Propos Ceci est un avant projet d un manuel de la partie Algèbre du cours de Mathématiques de premières années LMD Sciences et techniques

Plus en détail

Leçon 6. Savoir compter

Leçon 6. Savoir compter Leçon 6. Savoir compter Cette leçon est une introduction aux questions de dénombrements. Il s agit, d une part, de compter certains objets mathématiques (éléments, parties, applications,...) et, d autre

Plus en détail

Cours d analyse 1ère année. Rhodes Rémi

Cours d analyse 1ère année. Rhodes Rémi Cours d analyse 1ère année Rhodes Rémi 10 décembre 2008 2 Table des matières 1 Propriétés des nombres réels 5 1.1 Sous-ensembles remarquables de R........................ 5 1.2 Relations d ordre..................................

Plus en détail

Mathématiques pour l informatique 1 notes de cours sur la première partie

Mathématiques pour l informatique 1 notes de cours sur la première partie 1 Mathématiques pour l informatique 1 notes de cours sur la première partie L1 Université Paris-Est, Marne-la-Vallée Cyril Nicaud Organisation Ce demi-cours est composé de 6 séances de cours et 6 séances

Plus en détail

Espaces vectoriels 2006-2007. Agrégation interne de Mathématiques Département de Mathématiques Université de La Rochelle F.

Espaces vectoriels 2006-2007. Agrégation interne de Mathématiques Département de Mathématiques Université de La Rochelle F. Agrégation interne de Mathématiques Département de Mathématiques Université de La Rochelle 2006-2007 Espaces vectoriels Convention 1. Dans toute la suite, k désignera un corps quelconque. Définition 2.

Plus en détail

Un tout petit peu d homotopie

Un tout petit peu d homotopie Vincent Beck On note I = [ 0, 1 ]. Un tout petit peu d homotopie 0.1 Homotopie Définition 1 Applications homotopes. Soient X, Y deux espaces topologiques et f, g : X Y deux applications continues. On dit

Plus en détail

Mathématiques pour l'informatique? Au programme. Objectif du semestre

Mathématiques pour l'informatique? Au programme. Objectif du semestre Mathématiques pour l'informatique? Calcul des Ensembles David Teller 09/02/2007 Q L'informatique, au juste, c'est quoi? A L'informatique, c'est : de l'électronique de la théorie des processus de la linguistique

Plus en détail

Université Paris-Dauphine DUMI2E 1ère année, 2009-2010. Applications

Université Paris-Dauphine DUMI2E 1ère année, 2009-2010. Applications Université Paris-Dauphine DUMI2E 1ère année, 2009-2010 Applications 1 Introduction Une fonction f (plus précisément, une fonction réelle d une variable réelle) est une règle qui associe à tout réel x au

Plus en détail

COURS MPSI A.1.IV.NOTIONS DE BASE : RELATIONS R. FERRÉOL 13/14

COURS MPSI A.1.IV.NOTIONS DE BASE : RELATIONS R. FERRÉOL 13/14 IV) RELATIONS. 1) Définition. DEF : une relationrest définie par la donnée d unensemblededépart E, d unensembled arrivée F et d un ensemble G de couples(x,y) avecxdanse ety dansf (autrement dit, G est

Plus en détail

Problèmes de Mathématiques Filtres et ultrafiltres

Problèmes de Mathématiques Filtres et ultrafiltres Énoncé Soit E un ensemble non vide. On dit qu un sous-ensemble F de P(E) est un filtre sur E si (P 0 ) F. (P 1 ) (X, Y ) F 2, X Y F. (P 2 ) X F, Y P(E) : X Y Y F. (P 3 ) / F. Première Partie 1. Que dire

Plus en détail

Table des matières. 3 Suites de nombres réels 29. 3.2 Limites... 30

Table des matières. 3 Suites de nombres réels 29. 3.2 Limites... 30 Table des matières 1 Généralités 3 1.1 Un peu de logique................................. 3 1.1.1 Vocabulaire................................ 3 1.1.2 Opérations logiques............................ 4 1.1.3

Plus en détail

Une relation R sur E est transitive si x, y, z E, (xry et yrz) xrz. Question 1.1 Est-ce-qu une relation alternée est toujours antisymétrique?

Une relation R sur E est transitive si x, y, z E, (xry et yrz) xrz. Question 1.1 Est-ce-qu une relation alternée est toujours antisymétrique? Domaine Sciences et Technologies Licence d informatique Automates et circuits 2ième Devoir Surveillé Durée : 2 heures Année 2012-13 Aucun document autorisé Calculatrice interdite Nous vous recommandons

Plus en détail

Notes de cours. Cours introductif sur la théorie des domaines. Modèles des langages de programmation Master Parisien de Recherche en Informatique

Notes de cours. Cours introductif sur la théorie des domaines. Modèles des langages de programmation Master Parisien de Recherche en Informatique Notes de cours Cours introductif sur la théorie des domaines Paul-André Melliès Modèles des langages de programmation Master Parisien de Recherche en Informatique 1 Ensembles ordonnés Definition 1.1 (ensemble

Plus en détail

Jusqu'à présent. Au programme. Cardinalité Ensembles nis Ensembles dénombrables. Relations Opérations Relations. Conclusions. Nous avons déjà abordé

Jusqu'à présent. Au programme. Cardinalité Ensembles nis Ensembles dénombrables. Relations Opérations Relations. Conclusions. Nous avons déjà abordé Jusqu'à présent Nous avons déjà abordé Vers l'inni David Teller 23/01/2007 Les ensembles Le regroupement de valeurs caractérisées par des critères. Informatique Types. Physique Unités. Logique Domaines.

Plus en détail

Généralités sur les fonctions numériques

Généralités sur les fonctions numériques 7 Généralités sur les fonctions numériques Une fonction numérique est, de manière générale, une fonction d une variable réelle et à valeurs réelles. 7.1 Notions de base sur les fonctions Si I, J sont deux

Plus en détail

(3.22) Interchangeabilité mutuelle : p q r p q r

(3.22) Interchangeabilité mutuelle : p q r p q r Préséance (priorité) des opérateurs (1) [x := e] (substitution textuelle) (prioritéélevée) (2). (application de fonction) (3) + P (opérateurs unaires préfixes) (4) / mod pgcd (5) + (opérateurs binaires)

Plus en détail

Groupe symétrique. Chapitre II. 1 Définitions et généralités

Groupe symétrique. Chapitre II. 1 Définitions et généralités Chapitre II Groupe symétrique 1 Définitions et généralités Définition. Soient n et X l ensemble 1,..., n. On appelle permutation de X toute application bijective f : X X. On note S n l ensemble des permutations

Plus en détail

Groupes et Actions de groupes. 1 Groupes, morphismes et actions de groupes.

Groupes et Actions de groupes. 1 Groupes, morphismes et actions de groupes. Groupes et Actions de groupes On présente ici des notions de base de théorie des groupes pour l agrégation interne. 1 Groupes, morphismes et actions de groupes. Un groupe (G, ), ou plus simplement G, est

Plus en détail

Structures algébriques

Structures algébriques Structures algébriques 1. Lois de composition s Soit E un ensemble. Une loi de composition interne sur E est une application de E E dans E. Soient E et F deux ensembles. Une loi de composition externe

Plus en détail

Fiche n 1: Groupe, sous-groupe, ordre

Fiche n 1: Groupe, sous-groupe, ordre Université Lille 1 Algèbre 2010/11 M51.MIMP Fiche n 1: Groupe, sous-groupe, ordre Exercice 1 On considère sur R la loi de composition définie par x y = x + y xy. Cette loi est-elle associative, commutative?

Plus en détail

Cours de mathématiques

Cours de mathématiques DEUG MIAS premier niveau Cours de mathématiques année 2003/2004 Guillaume Legendre (version révisée du 3 avril 2015) Table des matières 1 Éléments de logique 1 1.1 Assertions...............................................

Plus en détail

Licence de Sciences et Technologies. Fiche de cours 1 - Nombres réels.

Licence de Sciences et Technologies. Fiche de cours 1 - Nombres réels. Licence de Sciences et Technologies EM21 - Analyse Fiche de cours 1 - Nombres réels. On connaît les ensembles suivants, tous munis d une addition, d une multiplication, et d une relation d ordre compatibles

Plus en détail

1 Définition et premières propriétés des congruences

1 Définition et premières propriétés des congruences Université Paris 13, Institut Galilée Département de Mathématiques Licence 2ème année Informatique 2013-2014 Cours de Mathématiques pour l Informatique Des nombres aux structures Sylviane R. Schwer Leçon

Plus en détail

Applications linéaires

Applications linéaires Applications linéaires I) Applications linéaires - Généralités 1.1) Introduction L'idée d'application linéaire est intimement liée à celle d'espace vectoriel. Elle traduit la stabilité par combinaison

Plus en détail

Les supports de cours suivants font référence au cours de Mr SOL et à son livre : "Accès à l'université" chez DUNOD

Les supports de cours suivants font référence au cours de Mr SOL et à son livre : Accès à l'université chez DUNOD Les supports de cours suivants font référence au cours de Mr SOL et à son livre : "Accès à l'université" chez DUNOD Les supports de cours ne sont pas complets, ils ne contiennent ni les démonstrations,

Plus en détail

M11 - Résumé de cours et exercices d analyses Premier cycle universitaire TABLES DES MATIÈRES

M11 - Résumé de cours et exercices d analyses Premier cycle universitaire TABLES DES MATIÈRES M11 - Résumé de cours et exercices d analyses Premier cycle universitaire TABLES DES MATIÈRES I. Logique. II. Ensemble. III. Relation, fonction, application. IV. Composition, réciprocité. V. Relation d

Plus en détail

TD2 Fonctions mesurables Corrigé

TD2 Fonctions mesurables Corrigé Intégration et probabilités 2012-2013 TD2 Fonctions mesurables Corrigé 0 Exercice qui avait été préparé chez soi Exercice 1. Soit (Ω, F, µ) un espace mesuré tel que µ (Ω) = 1. Soient A, B P (Ω) deux sousensembles

Plus en détail

Université de Cergy-Pontoise Département de Mathématiques L1 MPI - S1. Cours de Mathématiques 1

Université de Cergy-Pontoise Département de Mathématiques L1 MPI - S1. Cours de Mathématiques 1 Université de Cergy-Pontoise Département de Mathématiques L1 MPI - S1 Cours de Mathématiques 1 Table des matières 1 Un peu de formalisme mathématique 7 1.1 Rudiments de logique........................................

Plus en détail

Chapitre 5. Lois de composition internes - Relations

Chapitre 5. Lois de composition internes - Relations Chapitre 5 Lois de composition internes - Relations 1. Lois de composition internes 1.1. Définition et exemples Définition 5.1 Soit E un ensemble. Une loi de composition interne sur E est une application

Plus en détail

INFO-F-302 Informatique Fondamentale Logique du premier ordre

INFO-F-302 Informatique Fondamentale Logique du premier ordre INFO-F-302 Informatique Fondamentale Logique du premier ordre Prof. Emmanuel Filiot Exercice 1 1. Soit un langage L = (p, q, r, s, t, f, g) où p, q sont des prédicats unaires, r, s, t sont des prédicats

Plus en détail

Langage mathématique

Langage mathématique Université Joseph Fourier, Grenoble I Mathématiques, Informatique et Mathématiques Appliquées Licence Sciences et Technologies 1 e année Langage mathématique Eric Dumas, Emmanuel Peyre et Bernard Ycart

Plus en détail

Structures algébriques : groupes, anneaux et corps

Structures algébriques : groupes, anneaux et corps Maths PCSI Cours Structures algébriques : groupes, anneaux et corps Table des matières 1 Groupes 2 1.1 Lois de composition interne..................................... 2 1.2 Groupes................................................

Plus en détail

Cahier de vacances - Préparation à la Première S

Cahier de vacances - Préparation à la Première S Cahier de vacances - Préparation à la Première S Ce cahier est destiné à vous permettre d aborder le plus sereinement possible la classe de Première S. Je vous conseille de le travailler pendant les 0

Plus en détail

Points fixes de fonctions à domaine fini

Points fixes de fonctions à domaine fini ÉCOLE POLYTECHNIQUE ÉCOLE NORMALE SUPÉRIEURE DE CACHAN ÉCOLE SUPÉRIEURE DE PHYSIQUE ET DE CHIMIE INDUSTRIELLES CONCOURS D ADMISSION 2013 FILIÈRE MP HORS SPÉCIALITÉ INFO FILIÈRE PC COMPOSITION D INFORMATIQUE

Plus en détail

Rappels d Algèbre Linéaire de P.C.S.I

Rappels d Algèbre Linéaire de P.C.S.I Rappels d Algèbre Linéaire de PCSI Table des matières 1 Structure d espace vectoriel sur IK 3 11 Définition et règles de calcul 3 12 Exemples de référence 3 13 Espace vectoriel produit 4 14 Sous-espaces

Plus en détail

Problèmes de Mathématiques Noyaux et images itérés

Problèmes de Mathématiques Noyaux et images itérés Énoncé Soit E un espace vectoriel sur IK (IK = IR ou lc). Soit f un endomorphisme de E. On pose f 0 = Id E, et pour tout entier k 1, f k = f f k 1. 1. Montrer que (Im f k ) k 0 et (Ker f k ) k 0 forment

Plus en détail

Arbres ordonnés, binaires, tassés, FAP, tri par FAP, tas, tri par tas

Arbres ordonnés, binaires, tassés, FAP, tri par FAP, tas, tri par tas Arbres ordonnés, binaires, tassés, FAP, tri par FAP, tas, tri par tas 1. Arbres ordonnés 1.1. Arbres ordonnés (Arbres O) On considère des arbres dont les nœuds sont étiquetés sur un ensemble muni d'un

Plus en détail

Applications linéaires

Applications linéaires Bibliothèque d exercices Énoncés L1 Feuille n 18 Applications linéaires 1 Définition Exercice 1 Déterminer si les applications f i suivantes (de E i dans F i ) sont linéaires : f 1 : (x, y) R (x + y, x

Plus en détail

Fonctions de plusieurs variables

Fonctions de plusieurs variables Module : Analyse 03 Chapitre 00 : Fonctions de plusieurs variables Généralités et Rappels des notions topologiques dans : Qu est- ce que?: Mathématiquement, n étant un entier non nul, on définit comme

Plus en détail

Table des matières. Applications linéaires.

Table des matières. Applications linéaires. Table des matières Introduction...2 I- s et exemples...3 1-...3 2- Exemples...4 II- Noyaux et images...5 1- Rappels : images directes et images réciproques...5 a- s...5 b- Quelques exemples...5 2- Ker

Plus en détail

1 Notion d espace vectoriel

1 Notion d espace vectoriel Arnaud de Saint Julien - MPSI Lycée La Merci 2014-2015 1 Résumé de cours sur les espaces vectoriels et les applications linéaires Les vecteurs du plan, les nombres réels, et les polynômes à coefficients

Plus en détail

Programme du Math1. Chapitre 1. 22/09/2013 بالتوفيق. Math1 L1 Semestre 1 SM ST. Bibliographie: 1. Notions de Logique. 2. Ensembles

Programme du Math1. Chapitre 1. 22/09/2013 بالتوفيق. Math1 L1 Semestre 1 SM ST. Bibliographie: 1. Notions de Logique. 2. Ensembles /09/013 Programme du Math1 Université des Sciences et de la Technologie Houari Boumediene Faculté de Mathématiques Math1 L1 Semestre 1 SM ST Dr M ZIDANI-BOUMEDIEN 1 Ensembles, Relations, Applications Structures

Plus en détail

Logique informatique 2013-2014. Examen

Logique informatique 2013-2014. Examen Logique informatique 2013-2014. Examen 30 mai 2013. Durée 3h. Tous les documents sont autorisés. Seuls les résultats du cours peuvent être utilisés sans démonstration. Le barême et la longueur des solutions

Plus en détail

Leçon 1: les entiers

Leçon 1: les entiers Leçon 1: les entiers L ensemble N des entiers naturels Compter, dresser des listes, classer et comparer des objets interviennent dans de multiples activités humaines. Les nombres entiers naturels sont

Plus en détail

Mathématiques MPSI. Pierron Théo. ENS Ker Lann

Mathématiques MPSI. Pierron Théo. ENS Ker Lann Mathématiques MPSI Pierron Théo ENS Ker Lann 2 Table des matières I Algèbre 1 1 Ensembles 3 1.1 Vocabulaire général........................ 3 1.2 Opérations sur les parties d un ensemble............ 4

Plus en détail

Base : une axiomatique

Base : une axiomatique Autour des groupes de réflexions Master 2 Mathématiques fondamentales Cours : Michel Broué Université Paris VII Denis Diderot TD : Vincent Beck Année 2005 2006 Base : une axiomatique a) D après (i), on

Plus en détail

Axiomatique de N, construction de Z

Axiomatique de N, construction de Z Axiomatique de N, construction de Z Table des matières 1 Axiomatique de N 2 1.1 Axiomatique ordinale.................................. 2 1.2 Propriété fondamentale : Le principe de récurrence.................

Plus en détail

Relations Binaires Relations d équivalence sur un ensemble

Relations Binaires Relations d équivalence sur un ensemble Relations Binaires Relations d équivalence sur un ensemble MPSI 2 1 Généralités Soit E un ensemble non vide. Définition 1..1 On appelle relation binaire sur E le couple (E, G où G est un graphe de E dans

Plus en détail

Image d un intervalle par une fonction continue

Image d un intervalle par une fonction continue DOCUMENT 27 Image d un intervalle par une fonction continue La continuité d une fonction en un point est une propriété locale : une fonction est continue en un point x 0 si et seulement si sa restriction

Plus en détail

Axiome du choix et conséquences. Tout espace vectoriel admet une base.

Axiome du choix et conséquences. Tout espace vectoriel admet une base. Axiome du choix et conséquences. Tout espace vectoriel admet une base. 1 Axiome du choix Definition 1.1. Etant donnée une famille (A i ) i I de parties d un ensemble E (c est à dire une application de

Plus en détail

Exercices à savoir faire

Exercices à savoir faire Licence 1 Mathématiques 2014 2015 Algèbre et Arithmétique 1 Feuille n o 2 Théorie des ensembles, applications Exercices à savoir faire Théorie des ensembles Exercice 1 Soit F l ensemble des femmes. Qu

Plus en détail

Applications linéaires

Applications linéaires Chapitre IV Applications linéaires Révisions Définition. Soient E, deux espaces vectoriels sur le même corps commutatif est dite linéaire si quels que soient x, y E et λ,. Une application f : E f x y f

Plus en détail

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours Exo7 Continuité (étude globale). Diverses fonctions Exercices de Jean-Louis Rouget. Retrouver aussi cette fiche sur www.maths-france.fr * très facile ** facile *** difficulté moyenne **** difficile *****

Plus en détail

Licence MIMP Semestre 1. Math 12A : Fondements de l Analyse 1. http ://math.univ-lille1.fr/ mimp/math12.html

Licence MIMP Semestre 1. Math 12A : Fondements de l Analyse 1. http ://math.univ-lille1.fr/ mimp/math12.html Licence MIMP Semestre 1 Math 12A : Fondements de l Analyse 1 http ://math.univ-lille1.fr/ mimp/math12.html Septembre 2013 Table des matières Chapitre I. Les nombres réels et les suites numériques 1 1

Plus en détail

Relation d ordre. Manipulation des relations d ordre. Lycée Pierre de Fermat 2012/2013 Feuille d exercices

Relation d ordre. Manipulation des relations d ordre. Lycée Pierre de Fermat 2012/2013 Feuille d exercices Lycée Pierre de Fermat 2012/2013 MPSI 1 Feuille d exercices Manipulation des relations d ordre. Relation d ordre Exercice 1. Soit E un ensemble fixé contenant au moins deux éléments. On considère la relation

Plus en détail

Structures Algébriques Groupes : exercices

Structures Algébriques Groupes : exercices Institut Galilée Université Paris XIII Structures Algébriques Groupes : exercices L3 semestre 5 2012-2013 Exercice 1 Soit (G, ) un ensemble muni d une loi de composition associative. Montrer que G est

Plus en détail

La mesure de Lebesgue sur la droite réelle

La mesure de Lebesgue sur la droite réelle Chapitre 1 La mesure de Lebesgue sur la droite réelle 1.1 Ensemble mesurable au sens de Lebesgue 1.1.1 Mesure extérieure Définition 1.1.1. Un intervalle est une partie convexe de R. L ensemble vide et

Plus en détail

Topologie des espaces vectoriels normés

Topologie des espaces vectoriels normés Topologie des espaces vectoriels normés Cédric Milliet Version préliminaire Cours de troisième année de licence Université Galatasaray Année 2011-2012 2 Chapitre 1 R-Espaces vectoriels normés 1.1 Vocabulaire

Plus en détail

Partie II. Supplémentaires d un sous-espace donné. Partie I. Partie III. Supplémentaire commun. MPSI B 8 octobre 2015

Partie II. Supplémentaires d un sous-espace donné. Partie I. Partie III. Supplémentaire commun. MPSI B 8 octobre 2015 Énoncé Dans tout le problème, K est un sous-corps de C. On utilisera en particulier que K n est pas un ensemble fini. Tous les espaces vectoriels considérés sont des K espaces vectoriels de dimension finie.

Plus en détail

Structures de données non linéaires

Structures de données non linéaires Structures de données non linéaires I. Graphes Définition Un graphe (simple) orienté G est un couple (S, A), où : S est un ensemble dont les éléments sont appelés les sommets. A est un ensemble de couples

Plus en détail

Limites finies en un point

Limites finies en un point 8 Limites finies en un point Pour ce chapitre, sauf précision contraire, I désigne une partie non vide de R et f une fonction définie sur I et à valeurs réelles ou complees. Là encore, les fonctions usuelles,

Plus en détail

CHAPITRE V. de U U dans Hom(F, F ) est de classe C. b dans Hom(F,F ) est de classe C, l application b b. de U U

CHAPITRE V. de U U dans Hom(F, F ) est de classe C. b dans Hom(F,F ) est de classe C, l application b b. de U U CHAPITRE V FIBRÉS VECTORIELS 1. Fibrés vectoriels 1. Cartes et atlas vectoriels Soit B une variété différentielle. Considérons un B -ensemble, c est à-dire un ensemble M muni d une application p : M B.

Plus en détail

1 Programme de Colles : Espaces vectoriels.

1 Programme de Colles : Espaces vectoriels. Lycée Louis le grand Année scolaire 2007/2008 Mathématiques Supérieure MPSI Semaine 12 11 mai 2009 1 Programme de Colles : Espaces vectoriels. On note K le corps R ou C. 1.1 Axiomes d espace vectoriel.

Plus en détail

Premiers exercices d Algèbre. Anne-Marie Simon

Premiers exercices d Algèbre. Anne-Marie Simon Premiers exercices d Algèbre Anne-Marie Simon première version: 17 août 2005 version corrigée et complétée le 12 octobre 2010 ii Table des matières 1 Quelques structures ensemblistes 1 1.0 Ensembles, relations,

Plus en détail

L2 MIEE 2012-2013 VAR Université de Rennes 1

L2 MIEE 2012-2013 VAR Université de Rennes 1 . Sous-ensembles de R n et fonctions (suite) 1 Nappes paramétrées Si f une fonction de deux variables, son graphe est une surface incluse dans R 3 : {(x, y, f(x, y)) / (x, y) R 2 }. Une telle surface s

Plus en détail

Les espaces vectoriels

Les espaces vectoriels Agrégation interne UFR MATHÉMATIQUES 1. Généralités Les espaces vectoriels Dans tout le chapitre, K représente un corps commutatif. 1.1. Notion d espace vectoriel On considère un ensemble E sur lequel

Plus en détail

Introduction à l étude des Corps Finis

Introduction à l étude des Corps Finis Introduction à l étude des Corps Finis Robert Rolland (Résumé) 1 Introduction La structure de corps fini intervient dans divers domaines des mathématiques, en particulier dans la théorie de Galois sur

Plus en détail

Espaces vectoriels et applications

Espaces vectoriels et applications Espaces vectoriels et applications linéaires 1 Définitions On parle d espaces vectoriels sur le corps R ou sur le corps C. Les définitions sont les mêmes en substituant R à C ou vice versa. Définition

Plus en détail

(ii) pour tout x X, on a e x = x.

(ii) pour tout x X, on a e x = x. COURS DE LICENCE 2014/15 4 Groupes agissant sur un ensemble Définition 4.1. Soit G un groupe, X un ensemble non vide, S(X) le groupe des bijections de X. Une action de G sur X ou une opération de G sur

Plus en détail

133: endomorphismes remarquables d'un espace vectoriel euclidien de dimension nie

133: endomorphismes remarquables d'un espace vectoriel euclidien de dimension nie 133: endomorphismes remarquables d'un espace vectoriel euclidien de dimension nie Pierre Lissy March 8, 2010 On considère un espace vectoriel euclidien de dimension nie n, le produit scalaire sera noté

Plus en détail

Développement décimal d un réel

Développement décimal d un réel 4 Développement décimal d un réel On rappelle que le corps R des nombres réels est archimédien, ce qui permet d y définir la fonction partie entière. En utilisant cette partie entière on verra dans ce

Plus en détail

Cours d algebre pour la licence et le Capes

Cours d algebre pour la licence et le Capes Cours d algebre pour la licence et le Capes Jean-Étienne ROMBALDI 6 juillet 007 ii Table des matières Avant-propos Notation v vii 1 Éléments de logique et de théorie des ensembles 1 11 Quelques notions

Plus en détail

Cours MP. Espaces vectoriels normés

Cours MP. Espaces vectoriels normés Table des matières Espaces vectoriels normés B. Seddoug. Médiane Sup, Oujda I Norme et distance 1 I.1 Définitions..................... 1 I.2 Evn produit.................... 12 I.3 Notions topologiques

Plus en détail

ALGEBRE: GROUPES ET ANNEAUX 1

ALGEBRE: GROUPES ET ANNEAUX 1 Université Blaise Pascal U.F.R. Sciences et Technologies Département de Mathématiques et Informatique Licence de Mathématiques Troisième année, U.E. 35MATF2 ALGEBRE: GROUPES ET ANNEAUX 1 Polycopié du cours

Plus en détail

Fiche n 2: Morphisme, sous-groupe distingué, quotient

Fiche n 2: Morphisme, sous-groupe distingué, quotient Université Lille 1 Algèbre 2010/11 M51.MIMP Fiche n 2: Morphisme, sous-groupe distingué, quotient Exercice 1 Soient G, G deux groupes et f un homomorphisme de G dans G. Montrer que si A G, alors f( A )

Plus en détail

Cours d Analyse Réelle 4M003

Cours d Analyse Réelle 4M003 Cours d Analyse Réelle 4M003 Jean SAINT RAYMOND Université Pierre et Marie Curie Avant-propos Ce texte a été rédigé pour servir de support écrit à un cours de Master 1 de l Université Pierre-et-Marie Curie.

Plus en détail

Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015

Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015 Énoncé Soit V un espace vectoriel réel. L espace vectoriel des endomorphismes de V est désigné par L(V ). Lorsque f L(V ) et k N, on désigne par f 0 = Id V, f k = f k f la composée de f avec lui même k

Plus en détail

UNIVERSITÉ DE CERGY Année 2012-2013 U.F.R. Économie & Gestion Licence d Économie et Mathématiques MATH104 : Mathématiques

UNIVERSITÉ DE CERGY Année 2012-2013 U.F.R. Économie & Gestion Licence d Économie et Mathématiques MATH104 : Mathématiques 1 UNIVERSITÉ DE CERGY Année 2012-201 U.F.R. Économie & Gestion Licence d Économie et Mathématiques MATH104 : Mathématiques Chapitre III : Polynômes 1 Fonctions polynômes & polynômes Définition 1. Soit

Plus en détail

Cours de terminale S Suites numériques

Cours de terminale S Suites numériques Cours de terminale S Suites numériques V. B. et S. B. Lycée des EK 13 septembre 2014 Introduction Principe de récurrence Exemple En Mathématiques, un certain nombre de propriétés dépendent d un entier

Plus en détail

THEORIE DES CORPS Cours de mathématiques pour Licence L3 et Master M1 Cours et Exercices corrigés 1

THEORIE DES CORPS Cours de mathématiques pour Licence L3 et Master M1 Cours et Exercices corrigés 1 THEORIE DES CORPS Cours de mathématiques pour Licence L3 et Master M1 Cours et Exercices corrigés 1 Michel Goze, Elisabeth Remm 1. Edité par Ramm Algebra Center 2 Introduction Ce cours s adresse aux étudiants

Plus en détail

RELATIONS BINAIRES 1 RELATIONS BINAIRES SUR UN ENSEMBLE. Dans tout ce chapitre, E est un ensemble quelconque.

RELATIONS BINAIRES 1 RELATIONS BINAIRES SUR UN ENSEMBLE. Dans tout ce chapitre, E est un ensemble quelconque. RELATIONS BINAIRES Dans tout ce chapitre, E est un ensemble quelconque. 1 RELATIONS BINAIRES SUR UN ENSEMBLE Explication Les relations sont partout et dans le monde mathématique, et dans la vraie vie.

Plus en détail

Énoncés des exercices

Énoncés des exercices Énoncés Énoncés des exercices Exercice 1 [ Indication ] [ Correction ] Soient E et F deux ensembles ordonnés et A une partie non vide de E Soit f une application croissante de E dans F Montrer que si max

Plus en détail

STRUCTURES ALGÉBRIQUES FONDAMENTALES

STRUCTURES ALGÉBRIQUES FONDAMENTALES STRUCTURES ALGÉBRIQUES FONDAMENTALES A. BOUARICH 1. Notion de relations binaires 1.1. Relation binaire d équivalence sur un ensemble. Définition 1. Soit A un ensemble non vide. Une fonction propositionnelle

Plus en détail

Chapitre 7. Problèmes de flots. 7.1 Exemple. 7.2 Notions de base sur les graphes

Chapitre 7. Problèmes de flots. 7.1 Exemple. 7.2 Notions de base sur les graphes Chapitre 7 Problèmes de flots. 7.1 Exemple. Un réseau electrique est formé de lignes reliant des noeuds (transformateurs, centre de redistributions,...), chaque ligne a une capacité de transport maximale.

Plus en détail

1 x 1 <x 2 < <x p n. p p. 1; k?

1 x 1 <x 2 < <x p n. p p. 1; k? Chapitre 1 Ensemble, dénombrement Programme ociel Ce chapitre a pour but : - d'introduire les notions d'ensemble, de sous-ensemble ; - de dénir une application, ses images directe et réciproque, ses propriétés

Plus en détail