Después de buscar en varios repositorios y sitios al terminar descubrimos la solución que te enseñaremos pronto.
Solución:
La pregunta ya ha sido respondida, pero aquí hay un poco de contexto: la notación $Y^X$ es un poco extraño para denotar el conjunto de funciones $X flecha derecha Y$. El origen de esta notación se encuentra en la combinatoria y, más generalmente, en la teoría de conjuntos.
Dejar ps[n]ps ser el conjunto $1,puntos, n$. Es un ejercicio motivacional clásico en combinatoria para contar el tamaño del conjunto. ${f | F: [n] flecha correcta [m]psy resulta que la respuesta es $m^n$ muchas funciones (¿puedes probar esto?). Así que cuando $X$ y $Y$ son finitos, tenemos la maravillosa correspondencia:
$$izquierda| Y^Xderecho| = |Y|^$$
Además, una vez que tenga algo de aritmética cardinal en su haber, también podemos extender esta correspondencia a conjuntos infinitos.
significa que si $fen mathbbF ^S$ después $f$ es una función del conjunto $S$ a un campo (piensa $matemáticasR$ o $mathbbC$ por ejemplo), $f:StomathbbF $. También, $matemáticasF ^S$con la suma (suma de funciones) y el producto por escalar (función de tiempos escalares) como se define en 1.23 es un espacio vectorial.
Si piensas que ha sido de ayuda este artículo, sería de mucha ayuda si lo compartieras con otros seniors así contrubuyes a dar difusión a este contenido.