¿Se pueden replicar completamente todas las funciones matemáticas utilizando una secuencia de operadores ‘+’, ‘-‘, ‘x’, ‘/’ (como puede y para la potencia x)?

Como explicó Joachim Pense, el espacio de funciones [math] \ mathbb {R} ^ \ mathbb {R} [/ math] es tan ridículamente grande que ni siquiera puedes esperar describir todos sus elementos de una manera comprensible. Ni siquiera podemos representar todos los números reales de una manera comprensible, y mucho menos funciones.

Pero eso no es un gran problema. En realidad es muy común en matemáticas. En la teoría de la medida, por ejemplo, podemos demostrar que existen conjuntos reales no medibles, pero no podemos construirlos.

En cualquier caso, tenemos muchas herramientas para describir funciones. Pero son mucho más complicados de lo que propusiste. Aquí hay una lista no exhaustiva (supongo que no puede existir una lista exhaustiva)

  • Operadores numéricos básicos: suma +, multiplicación x, potencias ^
  • Operadores numéricos más avanzados: factorial !, Euler phi [math] \ phi [/ math], módulo%, suelo y techo, función de partición, flechas Knuth, etc.
  • Límites: [matemáticas] \ lim [/ matemáticas], por ejemplo, expansiones de Taylor (también lim sup, etc.)
  • Integración definida, por ejemplo, transformada de Fourier de cualquier otra función.
  • Integración indefinida, por ejemplo, función Gamma,
  • Desglose en casos: [matemática] \ {[/ matemática], por ejemplo, funciones de indicador,
  • Definición recursiva, por ejemplo, función de Ackermann
  • Las ecuaciones diferenciales son a veces formas muy útiles de describir una función, especialmente si la ecuación no se ha “resuelto” (es decir, si la solución no se ha escrito en términos de lo anterior); todavía podemos calcular la función numéricamente y manipularla teóricamente, como cualquier otra función
  • Descripciones más particulares:
    • Manipulación de conjuntos: inf, sup, cardinalidad u otras propiedades de conjuntos asignados a números reales, por ejemplo, PrimeCountingFunction
    • Manipulación de representaciones binarias, decimales u otras representaciones numéricas, por ejemplo, función de Cantor
    • Manipulación de representaciones no numéricas como factores primos, por ejemplo, función radical

Apéndice:
El desglose de x ^ y en la descripción solo es válido si y es un número entero positivo, no para números reales generales, por lo que incluso el operador de potencia produce una respuesta negativa a la pregunta
Incluí solo +, x y ^, no -, / y sqrt, porque son lo mismo: ab no es más que a + (- 1) * b, y a / b es solo a * (b ^ -1)
Usted dice “funciones matemáticas” pero en realidad significa funciones que asignan números reales a números reales. En general, una función matemática puede asignar cualquier conjunto a cualquier otro conjunto, incluidos conjuntos de números complejos pero también otros conjuntos, otras funciones o estructuras algebraicas.
Algunas de las operaciones anteriores pueden describirse en términos de otras, por ejemplo, la manipulación de una representación numérica puede describirse usando límites y módulos, o los factoriales pueden describirse usando la definición recursiva o la función gamma

No.

Primero observe que el concepto de una función es diferente en matemáticas, física e informática; La idea central histórica de una función es más o menos la misma: una variable y depende de una variable x por algún tipo de regla (que generalmente se da como una fórmula).

En matemáticas , esta noción se aclaró en el siglo XIX a (detalles apartados): una función y = f (x) es cualquier asignación de los posibles valores de x (x tomado de un dominio predefinido, por ejemplo, todos los números reales) a valores de y (tomados de un rango predefinido, por ejemplo, los números reales nuevamente), siempre que sea único , es decir, para cada valor de x tiene un valor definido de forma única de y (consulte Función (matemáticas)).

Ahora la asignación es arbitraria: el requisito es que tenemos una y única para cada x, pero no tenemos el requisito de que esta asignación sea expresable por una fórmula de ningún tipo. Una función está dada por su tabla de valores (imaginada), pero incluso no puede escribir todas las tablas de valores, y se puede demostrar que hay más funciones posibles que posibles fórmulas finitas para escribir en papel (incluso si esta fórmula está permitida describir algo como una serie de Taylor o Fourier).

En ciencias de la computación , una función es básicamente lo que se pregunta: una combinación de operaciones elementales que producen un valor y para cualquier valor dado x; sin embargo, esta combinación puede ser una combinación programática larga de estas operaciones, que contiene decisiones, bucles, recursiones; así que no puede estar seguro de que una función en ese sentido devolverá el valor deseado y (simplemente ingrese un bucle o recursión sin fin). Entonces, no todas las funciones en informática son funciones matemáticas. Pero, si no incluye operaciones aleatorias, cada función en el sentido cs, si devuelve un valor para cada x, también es una función en el sentido matemático. Pero, como se sugirió anteriormente, no todas las funciones matemáticas pueden formularse de esa manera.

Las primeras calculadoras electrónicas funcionaron exactamente de esta manera, usando expansiones en serie para calcular funciones trascendentales y otras. Podrías ver parpadear la pantalla mientras se expandía la serie.

No puede replicar completamente las funciones de esta manera, pero ciertamente puede aproximarlas en algún intervalo. Por ejemplo, en las primeras calculadoras, los números aleatorios se aproximaron elevando una semilla a un módulo de potencia por rango, y cualquier función de registro y potencia que formaba parte de eso se calculó mediante expansiones en serie.

La serie Taylor y las transformaciones forier permiten dividir cualquier cosa en una combinación de operaciones aritméticas.

Algunas cosas serían muy complicadas para hacer esto, pero es posible para cualquier función matemática. Sin embargo, algunas cosas tendrían que calcularse antes de usar los cálculos. Yo creo que
1 / (x * ln (x))
Sería de esta manera. Su derivada es
ln (x)
(Voy a estar realmente avergonzado si me equivoco allí, pero han pasado 8 años desde que realmente hice mucho cálculo).

Dado que una expansión de la serie taylor requiere que se calcule la derivada, esto posiblemente lo haga extremadamente complicado.