Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
218 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

Nom pour la "croissance réciproque"

Envoyé par barbubabytoman 
Nom pour la "croissance réciproque"
il y a trois mois
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)$ ?



Edité 1 fois. La dernière correction date de il y a trois mois et a été effectuée par AD.
Re: Nom pour la "croissance réciproque"
il y a trois mois
La croissance de l'ensemble des parties d'un ensemble?

Les mathématiques ne sont pas vraies, elles sont commodes.
Re: Nom pour la "croissance réciproque"
il y a trois mois
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.
Re: Nom pour la "croissance réciproque"
il y a trois mois
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

"Mathematics, rightly viewed, possesses not only truth, but supreme beauty"-Russell
Re: Nom pour la "croissance réciproque"
il y a trois mois
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 !
Re: Nom pour la "croissance réciproque"
il y a trois mois
Je confirme, pas de nom officiel.

Signature: aide les autres comme toi-même car ils SONT toi, ils SONT VRAIMENT toi
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 149 210, Messages: 1 506 639, Utilisateurs: 27 657.
Notre dernier utilisateur inscrit Algomius.


Ce forum
Discussions: 2 516, Messages: 51 010.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page