Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Preuves et ensembles: Applications

Dans cours

MATH-113: Algèbre I - structures fondamentales

Le but de ce cours est d'introduire et d'étudier les notions de base de l'algèbre abstraite. ...

Description

Cette séance de cours couvre les bases des preuves, y compris la définition des ensembles, des entiers positifs et non négatifs, et la division avec le reste. Il explore également la théorie des ensembles, les axiomes et les applications entre les ensembles, en se concentrant sur les fonctions injectives, surjectives et bijectives.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

Enseignant·e·s (2)

Zsolt Patakfalvi

See CV here .

Dimitri Stelio Wyss

Source officielle

Proximité ontologique

Mathématiques

Logique mathématique: Théorie des ensembles

Concepts associés (32)

Surjection

En mathématiques, une surjection ou application surjective est une application pour laquelle tout élément de l'ensemble d'arrivée a au moins un antécédent, c'est-à-dire est d'au moins un élément de l'ensemble de départ. Il est équivalent de dire que l' est égal à l'ensemble d'arrivée. Il est possible d'appliquer l'adjectif « surjectif » à une fonction (voire à une correspondance) dont le domaine de définition n'est pas tout l'ensemble de départ, mais en général le terme « surjection » est réservé aux applications (qui sont définies sur tout leur ensemble de départ), auxquelles nous nous limiterons dans cet article (pour plus de détails, voir le paragraphe « Fonction et application » de l'article « Application »).

Injection (mathématiques)

Une application f est dite injective ou est une injection si tout élément de son ensemble d'arrivée a au plus un antécédent par f, ce qui revient à dire que deux éléments distincts de son ensemble de départ ne peuvent pas avoir la même par f. Lorsque les ensembles de départ et d'arrivée de f sont tous les deux égaux à la droite réelle R, f est injective si et seulement si son graphe intersecte toute droite horizontale en au plus un point. Si une application injective est aussi surjective, elle est dite bijective.

Théorie des ensembles

La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.

Logique mathématique

La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.

Fonction partielle

vignette|Exemple d'une fonction partielle En mathématiques, une fonction partielle (quelquefois appelée simplement fonction) sur un ensemble donné E est une application définie sur une partie de celui-ci, appelé ensemble de définition (ou domaine de définition) de la fonction partielle.

Afficher plus

Séances de cours associées (22)

Produit cartésien et induction

Présente le produit cartésien et l'induction pour les épreuves utilisant des entiers et des ensembles.

Fonctions de cartographie et surjections

Explore les fonctions cartographiques, les surjections, les fonctions injectives et surjectives et les fonctions bijectives.

Ensembles et opérations: Introduction aux mathématiques

Couvre les bases des ensembles et des opérations en mathématiques, des propriétés des ensembles aux opérations avancées.

Fonctions d'injection : propriétés et exemples

Couvre les propriétés des fonctions injectives et démontre leurs preuves à travers des exemples et des aides visuelles.

Fonctions Holomorphes: Série Taylor Expansion

Couvre les propriétés de base des cartes holomorphes et des extensions de la série Taylor en analyse complexe.

Afficher plus

Concepts associés (32)

Surjection

Injection (mathématiques)

Théorie des ensembles

Logique mathématique

Fonction partielle

Afficher plus