Esto está motivado por esta pregunta y el hecho de que no tengo acceso al documento de Timothy Chow What Is a Closed-Form Number? indicado allí por Qiaochu Yuan.
Si una ecuación $f(x)=0$ no tiene una solución en forma cerrada, ¿qué significa normalmente? Añadido: $f$ puede depender (y normalmente lo hace) de parámetros.
Para mí, esto es equivalente a decir que no se puede resolver para $x$ en el sentido de que no hay una expresión elemental $g(c_{1},c_{2},\ldots,c_{p})$ que consista solo en un número finito de polinomios, funciones racionales, raíces, exponenciales, logarítmicas y trigonométricas, valores absolutos, partes enteras y fraccionarias, tal que
$f(g(c_{1},c_{2},\ldots,c_{p}))=0$.
4 votos
¿Puedes acceder a ella desde su página web? math.mit.edu/~tchow/cv.html
0 votos
@Américo Tavares: para evitar trivialidad, probablemente deberías requerir que los c_i sean racionales, lo cual creo que es lo que querías decir pero no dijiste.
5 votos
"Forma cerrada" es más una idea general que precisa. Fijas algunos objetos que consideras "elementales". Luego fijas algunas operaciones que toman como entrada colecciones de cosas, donde "cosas" incluye tus objetos elementales. Y preguntas qué puedes generar a partir de eso. Las cosas que puedes generar se llaman forma cerrada. Por lo general, la gente se atiene a construcciones finitarias incluso si permiten funciones "elementales" bastante complicadas.
1 votos
@Ryan Budney: tu comentario parece ser una buena respuesta que podrías transformar en una respuesta formal.