Composition d'applications
Bonjour,
Voilà, je voudrais composer deux applications : $f : X \rightarrow Y$ et $g : Y \times Z \rightarrow T$. Je peux fabriquer : $f \times Id_Z : X \times Z \rightarrow Y \times Z$, et alors je peux composer $f \times Id_Z$ avec $g$.
Existe-t-il une autre façon de faire que cet artifice ?
Merci d'avance.
Voilà, je voudrais composer deux applications : $f : X \rightarrow Y$ et $g : Y \times Z \rightarrow T$. Je peux fabriquer : $f \times Id_Z : X \times Z \rightarrow Y \times Z$, et alors je peux composer $f \times Id_Z$ avec $g$.
Existe-t-il une autre façon de faire que cet artifice ?
Merci d'avance.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
En fait "je veux composer deux applications n'a pas de sens si les images de chacune ne sont pas dans l'ensemble de départ de l'autre. Donc manifestement, il manque une vraie explication de ton projet.
Cordialement.
Ce n'est pas ce que je cherche. Non, je voulais une application qui compose $f$ et $g$ sans embarquer $Z$ au départ de $f$ par l'artifice de l'application $Id_Z$. En fait, je pense que c'est impossible, il faudrait une application de $Y$ dans $Y \times Z$ intermédiaire entre $f$ et $g$ (c'est ce que je cherche), cela n'est possible qu'en fixant un $z_0$ dans $Z$.
Merci pour ta contribution.
2/ On peut très bien avoir $(X\to Y)$ non vide, $((Y\times Z)\to T)$ non vide, et $X\to T$ vide (il suffit de prendre $Z:=\emptyset; T:=\emptyset$ et $X:=Y$ non vide). On peut guère faire plus extrême comme réponse "non", puisqu'elle vaut aussi dans la plus forte des logiques, la logique classique, où avec les hypothèses $vrai\to vrai$ et $(vrai \wedge faux)\to faux$ qui sont vraies, on a la fausseté de $vrai\to faux$.