Estoy tratando de resolver la siguiente pregunta:
Dada la función $ \displaystyle f\colon \mathbb Z \rightarrow \mathbb Z,$ donde $f(n) = \lfloor {\frac {n}{3}} \rfloor$, determinar si se trata de $1:1$ y sobre; y por qué.
Yo podría decir que es a, ya que siempre tendrá un elemento en el codomain que asigna el dominio. También es no uno a uno, porque la planta daría lugar a varios números con el mismo piso (como $ \frac {1}{3}$ $ \frac {2}{3}$ ambos con la palabra $0$). Pero, ¿cómo puedo realmente demostrar estos?
