# Application

**Thème :** Maths · Logique mathématique  
**Page :** https://curium.ctopass.com/c/application  
**Mise à jour :** 2026-09-11

## Les trois niveaux

### Débutant — À quoi reconnaît-on une application sur un diagramme à flèches ?

Chaque élément de l'ensemble de départ envoie exactement une flèche : ni zéro, ni deux. Associer à chaque élève d'une classe sa ville de naissance est une application ; associer à chaque carte d'un jeu de 32 cartes sa couleur aussi. Deux élèves peuvent viser la même ville, mais aucun élève ne peut en avoir deux, et aucun ne peut rester sans ville.

### Intermédiaire — Si g∘f est une bijection, f et g sont-elles des bijections ?

Pas toujours. On peut seulement conclure que f est injective et g surjective. Exemple : f envoie {1} dans {1, 2} par 1 ↦ 1, et g envoie {1, 2} dans {1} par 1 ↦ 1 et 2 ↦ 1. La composée g∘f est l'identité de {1}, une bijection, alors que 2 n'a pas d'antécédent par f et que g colle 1 et 2 sur la même image.

### Expert — Comment les manuels de sixième distinguaient-ils fonction et application après 1968 ?

Par le nombre de flèches. Dans les diagrammes sagittaux des programmes issus de la commission Lichnerowicz, une relation où chaque élément de départ envoie au plus une flèche est une fonction ; exactement une, c'est une application. La nuance vient d'un projet de rédaction de Bourbaki daté de 1954, et elle ne commence à quitter les manuels qu'à partir de 1985.

## À explorer ensuite

- [Fonction](https://curium.ctopass.com/c/fonction.md)
- [Bijection](https://curium.ctopass.com/c/bijection.md)
- [Relation d'équivalence](https://curium.ctopass.com/c/relation-d-equivalence.md)
- [Ensemble](https://curium.ctopass.com/c/ensemble.md)
- [Quantificateur](https://curium.ctopass.com/c/quantificateur.md)
- [Raisonnement par l'absurde](https://curium.ctopass.com/c/raisonnement-par-l-absurde.md)
- [Raisonnement par récurrence](https://curium.ctopass.com/c/raisonnement-par-recurrence.md)
- [Théorèmes d'incomplétude de Gödel](https://curium.ctopass.com/c/theoremes-d-incompletude-de-godel.md)
- [Paradoxe de Russell](https://curium.ctopass.com/c/paradoxe-de-russell.md)
- [Bouteille de Klein](https://curium.ctopass.com/c/bouteille-de-klein.md)

---

Curium — La connaissance, une question à la fois.

App Store : https://apps.apple.com/fr/app/curium/id6793886587
Google Play : https://play.google.com/store/apps/details?id=com.ctopass.curium