Yo:
- sugieren que parte de la terminología para los tres conceptos relacionados, y
- sugieren que $n$a-$1$ funciones probablemente no son muy interesantes.
La terminología.
Deje $f : X \rightarrow Y$ denotar una función. Recordemos que $f$ se llama un bijection iff para todos los $y \in Y$, la $f^{-1}(y)$ tiene exactamente $1$ elemento. Para definir ese $f$ $k$- bijection iff para todos los $y \in Y$, la $f^{-1}(y)$ tiene exactamente $k$ elementos.
Tenemos:
El compuesto de una $j$-bijection y un $k$-bijection es una $(j \times k)$-bijection.
También hay un sensato noción de $k$-inyección. Recordemos que $f$ se llama una inyección de iff para todos los $y \in Y$, la $f^{-1}(y)$ tiene más de $1$ elemento. Para definir ese $f$ $k$- inyección iff para todos los $y \in Y$, la $f^{-1}(y)$ tiene más de $k$ elementos.
Tenemos:
El compuesto de una $j$-inyección y un $k$-inyección es un $(j \times k)$-inyección.
También hay un sensato noción de $k$-sometimiento, obtenidos mediante la sustitución de "más" con "al menos."
Tenemos:
El compuesto de una $j$-surjection y un $k$-surjection es una $(j \times k)$-surjection.
Una crítica.
Yo no aconsejaría pensar demasiado sobre " $k$ $1$funciones." Hay un par de razones para esto:
Su definición es arbitraria: se requiere que los $f^{-1}(y)$ ha $k$ elementos, o $0$ elementos. Um, ¿qué?
No podemos decir mucho acerca de sus compuestos: