Nom pour la "croissance réciproque"
Bonjour.
J'ai remarqué que pour deux ensembles $E$ et $F$, on avait l'équivalence $E\subseteq F\iff\mathfrak{P}(E)\subseteq\mathfrak{P}(F)$.
En ce qui concerne le sens $\implies$, j'ai appelé ça la croissance du passage à l'ensemble des parties.
Ma question est donc la suivante : quel nom donner au sens $\impliedby$ ? Y a-t-il une appellation standard ?
Plus généralement, pour $(E;\leq)$ et $(F;\preceq)$ deux ensembles ordonnés (pas spécialement totalement), et pour $f:E\to F$, quel nom donner à la propriété $\forall x,y\in E,\ \big(f(x)\preceq f(y)\implies x\leq y\big)$ ?
J'ai remarqué que pour deux ensembles $E$ et $F$, on avait l'équivalence $E\subseteq F\iff\mathfrak{P}(E)\subseteq\mathfrak{P}(F)$.
En ce qui concerne le sens $\implies$, j'ai appelé ça la croissance du passage à l'ensemble des parties.
Ma question est donc la suivante : quel nom donner au sens $\impliedby$ ? Y a-t-il une appellation standard ?
Plus généralement, pour $(E;\leq)$ et $(F;\preceq)$ deux ensembles ordonnés (pas spécialement totalement), et pour $f:E\to F$, quel nom donner à la propriété $\forall x,y\in E,\ \big(f(x)\preceq f(y)\implies x\leq y\big)$ ?
Réponses
-
La croissance de l'ensemble des parties d'un ensemble?Les mathématiques ne sont pas vraies, elles sont commodes.Henri Poincaré
-
AlainLyon : "La croissance de l'ensemble des parties d'un ensemble?"
Cela correspond justement à l'implication $E\subseteq F\implies\mathfrak{P}(E)\subseteq\mathfrak{P}(F)$.
Moi c'est l'implication $\mathfrak{P}(E)\subseteq\mathfrak{P}(F)\implies E\subseteq F$ à laquelle j'aimerais donner un nom. -
J'aime bien les catégories donc je répondrais "pleine" (uniquement si on sait au préalable que $f$ est croissante, par contre).
Mais je ne pense pas que ça ait de nom dédié (surtout si on ne la suppose pas croissante); je ne crois pas que ce soit un phénomène assez courant pour que ça en ait un -
D'accord ! Le fait qu'il n'y ait pas de nom dédié semble être une réponse que la plupart des gens me font, très bien !
-
Je confirme, pas de nom officiel.Aide les autres comme toi-même car ils sont toi, ils sont vraiment toi
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 8 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres
In this Discussion
Qui est en ligne 4
4 Invités