Bonjour, je me posais une question sur les fonctions à plusieurs variables.
Imaginons que le domaine de définition d'une de ses variables dépende d'autres variables.
Un exemple simple, cette fonction là :

Est-ce qu'on peut dire qu'elle est bien définie

Ou est-ce qu'on est obligé de la "transformer", comme ça par exemple :

Là ç'est faisable parce que la fonctions est simple, mais ça peut vite devenir impossible

C'est pas faux !

les matheux on sort du lit

Ta première fonction est bien définie mais on ne l'écrirait pas comme ça en maths, on définirait E = {(x,λ) | -λ<=x<=λ} et on dirait que f va de E dans R.

En informatique par contre ça existe et ça s'appelle un type dépendant

Merci, en fait je me suis embrouillé, je voulais que l'ensemble de départ reste de la forme AxB pour des raisons... ésotériques

Y a pas un probleme avec tes lambdas ? Telle que tu l'as ecrite c est une fonction a une variable