Discussion:Application non expansive
Apparence
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Appellation
[modifier le code]Faut-il qualifier les opérateurs définis dans cette page de non-expansifs ou de contractants ? L'appellation d'opérateur non expansif vient directement de l'anglais. L'appellation d'opérateur contractant est déjà prise, mais il me semble que l'on est en présence ici de la distinction anglo-saxonne entre négatif et non positif. Brézis (1973) saute le pas et appelle
- contractions les opérateurs présentés dans cette page,
- contractions strictes les opérateurs définis dans cette autre page.
J'aurais tendance à faire le même choix et donc à rebaptiser les pages en conséquence. Jean-Charles.Gilbert (d) 13 juillet 2011 à 21:34 (CEST)