Aunque no estoy seguro de qué tan común sea esto en entornos de matemáticas puras, diría que la mejor notación es simplemente $\operatorname{round}(x)$. Esto se entiende fácilmente, aunque no es completamente ambiguo, pero definitivamente mejor que $[x]$ que podría significar una miríada de cosas completamente no relacionadas, o $\operatorname{nint}(x)$ que parece "ninn-t?"
Si la ambigüedad $1 \stackrel?= \operatorname{round}(1.5) \stackrel?= 2$ es un problema para ti, asegúrate de discutirlo explícitamente. Si usas la operación mucho, también podrías definir que la escribes como $\lfloor x\rceil$, pero no lo usaría sin discusión.
round
es también el nombre de la función de redondeo en muchos lenguajes de programación, porque lo que hace es redondear un número, de ahí el nombre "round".
6 votos
Hay muchas operaciones comunes que no tienen una notación estándar ampliamente acordada. Por diversas razones, el redondeo está entre ellas. En estos casos, puedes usar cualquier notación que desees. Simplemente debes explicar la notación cuando la introduzcas. En este caso, parte de lo que debes explicar es qué reglas de redondeo estás utilizando, ya que "el entero más cercano" es ambiguo cuando el valor está a medio camino entre dos enteros. Redondear $0.5$ hacia arriba se piensa comúnmente, pero causa sesgo cuando se utiliza en conjuntos de datos grandes. Redondear $n.5$ al entero par más cercano se utiliza comúnmente para evitar ese sesgo.
10 votos
No soy matemático, así que no sé qué es común y no publicaré esto como una respuesta, pero creo que simplemente escribir $\lfloor x + 0.5\rfloor$ podría funcionar
1 votos
@Paul Sinclair, depende de qué estadística tenga el sesgo. Para una estadística que sea el producto de todos los números, redondear 0.5 al número par más cercano sería un desastre absoluto.
0 votos
@richard1941: Parece que has pasado por alto completamente el punto de mi comentario, que era dar un ejemplo de por qué "redondear al entero más cercano" es ambiguo, apoyando así la idea de que al discutir sobre el redondeo, se debe ser claro acerca de qué reglas se están siguiendo. Redondear al número par es una práctica muy común en aplicaciones del mundo real, que comúnmente suman conjuntos de datos grandes, pero rara vez los multiplican.
0 votos
@Paul Sinclair. Me disculpo. Ciertamente, una práctica muy, muy común en el mundo real debe ser correcta.
0 votos
@richard1941 - "¿Verdad? Obviamente aún no has entendido de qué estoy hablando.