Una forma concisa de escribir $f:\mathbb{Z}\to\mathbb{Z}$ definido por $x\mapsto 2x$

Question

Normalmente vería una función como esta escrita como

$f:\mathbb{Z}\to\mathbb{Z}$

$x\mapsto 2x$

o como $f:\mathbb{Z}\to\mathbb{Z}$ definido por $f(x)=2x$ .

¿Es "correcto" (o al menos, estándar) escribir

$f:\mathbb{Z}\to\mathbb{Z}$ : $x\mapsto 2x$

Answer 1

Bueno, no he visto esa última anotación antes, pero seguramente es comprensible. Yo sustituiría los últimos dos puntos por una coma, como en

$$f\ \colon\mathbb{Z}\to\mathbb{Z},\ x\mapsto 2x.$$