• Aucun résultat trouvé

Raisonnement et vocabulaire ensembliste

N/A
N/A
Protected

Academic year: 2022

Partager "Raisonnement et vocabulaire ensembliste"

Copied!
2
0
0

Texte intégral

(1)

Programme colle math Semaine 3 du 30/09/19 au 05/10/19 MPSI B Hoche

Exercices sur les programmes précédents : nombres complexes, sommation.

Raisonnement et vocabulaire ensembliste

Ce chapitre regroupe les différents points de vocabulaire, notations et raisonnement nécessaires aux étudiants pour la conception et la rédaction efficace d’une démonstration mathématique. Ces notions doivent être introduites de manière progressive en vue d’être acquises en fin de premier semestre. Le programme se limite strictement aux notions de base figurant ci-dessous. Toute étude systématique de la logique ou de la théorie des ensembles est hors programme.

a) Rudiments de logique

Quantificateurs L’emploi de quantificateurs en guise d’abréviation est

exclue.

Implication, contraposition, équivalence Les étudiants doivent savoir formuler la négation d’une proposition.

Modes de raisonnement : par récurrence (faible et forte), On pourra relier le raisonnement par récurrence au fait par contraposition, par l’absurde, par analyse-synthèse. que toute partie non vide de N possède un plus petit élément. Toute construction et toute axiomatique de N sont hors programme.

Le raisonnement par analyse-synthèse est l’occasion de préciser les notions de condition nécessaire et condition suffisante.

b) Ensembles

Ensemble, appartenance, inclusion. Sous-ensemble (ou Ensemble vide.

partie).

Opérations sur les parties d’un ensemble : réunion, inter- NotationA\Bpour la différence etE\A,AetCAEpour section, différence, passage au complémentaire. Produit le complémentaire.

cartésien d’un nombre fini d’ensembles.

Ensemble des parties d’un ensemble. NotationP(E).

c) Applications et relations

Application d’un ensemble dans un ensemble. Graphe Le point de vue est intuitif : une application deE dans

d’une application. F associe à tout élément deE un unique élément deF.

Le programme ne distingue pas les notions de fonction et d’application. NotationsF(E, F) etF(E).

Famille d’éléments d’un ensemble.

Fonction indicatrice d’une partie d’un ensemble. Notation 1A.

Restriction et prolongement. Notationf|A.

Image directe. Notationf(A).

Image réciproque. Notationf−1(B). Cette notation pouvant prêter à confu- sion, on peut provisoirement en utiliser une autre.

Pour une fonctionf deEdansF, j’utilise Φ(A) au lieu de f(A) pour une partie A de E et ϕ(X) au lieu de f−1(X) pour une partieX deF.

Composition.

Injection, surjection. Composée de deux injections, de fg injective impliqueg injective.fg surjective im-

deux surjections. pliqueg surjective.

Bijection, réciproque. Composée de deux bijections, ré- Compatibilité de la notationf−1avec la notation d’une

ciproque de la composée. image réciproque.

Relation binaire sur un ensemble.

Cette création est mise à disposition selon le Contrat

Paternité-Partage des Conditions Initiales à l’Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/

1 Rémy Nicolai S3

(2)

Programme colle math Semaine 3 du 30/09/19 au 05/10/19 MPSI B Hoche

Relation d’équivalence, classes d’équivalence. La notion d’ensemble quotient est hors programme.

Relations de congruence modulo un réel surR, modulo un entier surZ.

Relation d’ordre. Ordre partiel, total.

Questions de cours

Distributivité des opérations ensemblistes.fg injective implique g injective.fg surjective impliquef surjective.

Bijectivité de la réciproque d’une application bijective. Opérations sur les images directes et réciproques.

Prochain programme

Techniques fondamentales de calcul en analyse. Étude de fonctions. Applications aux fonctions usuelles directes et réciproques.

Cette création est mise à disposition selon le Contrat

Paternité-Partage des Conditions Initiales à l’Identique 2.0 France disponible en ligne http://creativecommons.org/licenses/by-sa/2.0/fr/

2 Rémy Nicolai S3

Références

Documents relatifs

On peut mˆeme montrer que E est infini si et seulement si pour tout x ∈ E, E et E \{ x } sont en bijection : le fait d’ˆoter un ´el´ement d’un ensemble infini n’en modifie pas

On peut mˆeme montrer que E est infini si et seulement si pour tout x ∈ E, E et E \{ x } sont en bijection : le fait d’ˆoter un ´el´ement d’un ensemble infini n’en modifie pas

On note x le nombre choisi au départ et on appelle f la fonction qui, au nombre x , associe le résultat du programme précédent.. Donne le résultat sous la forme du carré

Plus généralement, si on suppose que la formule est vraie pour un certain rang n donné, alors la formule est automatiquement vraie au rang suivant.. Dans le paragraphe suivant, on

– Dans un triangle rectangle, le côté opposé au sommet de l’angle droit est appelé hypoténuse ; c’est le côté le plus long du

Extrait du document ressources : Raisonnement et démonstration – Juin 2009 On peut distinguer, dans le domaine scientifique, deux types de raisonnement :.. • le raisonnement

La logique qui est intrinsèque à tout apprentissage mathématique ne doit pas être apprise pour elle-même (comme dans les programmes de 69) mais au travers