Notación de expansión de lista a una tupla

Si tienes un conjunto$S$y desea el conjunto de valores que puede obtener al aplicar$f$a elementos de$S$, puedes escribir

Si dice desde el principio “Usaremos la notación$f^*(S)$para abreviar el conjunto$\{f(s) \mid s\in S\}$”, nadie se quejará.

Tu pregunta pide tuplas , que son diferentes, porque los elementos de una tupla tienen un orden, mientras que los elementos de un conjunto no. (Los conjuntos$\{1,2,3\}$y$\{3,1,2\}$son iguales, pero las tuplas$\langle 1,2,3\rangle$y$\langle 3,1,2\rangle$son diferentes.) Pero creo que estás buscando conjuntos y no tuplas.

Si realmente quieres tuplas, aún puedes hacer lo mismo: puedes decir "Cuando$T$es una tupla, usaremos la notación$f^*(T)$significar la tupla obtenida aplicando$f$a los componentes de$T$individualmente."

O si no te gusta mi$f^*$sugerencia, siéntase libre de inventar lo que le parezca conveniente. en lugar de escribir$f^*$podrías escribir$\operatorname{map}[f]$. La notación es flexible. Puedes usar lo que te parezca conveniente, siempre que lo expliques claramente.