¿Las integrales de trayectoria son integrales con dimensiones infinitas contables o incontables?

Las integrales de trayectoria son integrales con dimensiones infinitas. Pero recientemente me confundí acerca de si el número de dimensiones es discreto/contable o continuo/incontable. Siempre pensé que debería ser continua, porque estamos integrando en el espacio de funciones posibles, pero luego vi que las integrales de trayectoria a veces se escriben como

límite X > . . . GRAMO [ F ] X d F ( X )
lo que implica que el producto de las dimensiones es un infinito contable. Entonces, ¿las integrales de trayectoria son integrales de infinitas dimensiones contables? Si es así, ¿podría uno imaginar/definir también integrales de trayectoria para un número infinito incontable/continuo de dimensiones?

La definición (ingenua) de integrales de ruta es a través de un límite de un número infinito contable de integrales (cortando la ruta). En el límite, un infinito contable se convierte en un infinito incontable, pero el límite real no está (siempre) bien definido. Por tanto, las integrales de trayectoria deben entenderse como un infinito contable y un límite formal. Cualquier otra notación es, bueno, notación.

Respuestas (1)

La notación reticular X d F ( X ) es solo una notación heurística, no dice nada sobre la medida integral de la ruta real, que es en el caso más simple de la mecánica cuántica no relativista, la medida condicional de Wiener en el espacio de las rutas continuas.

Como espacio de dimensión infinita completo y separable, la dimensión de este espacio como espacio vectorial es incontable, pero posee una base numerable de Schauder .

Las integrales de trayectoria de los campos por lo general no existen en ningún sentido riguroso. Cuando lo hacen, como por ejemplo en dos y tres dimensiones para el campo escalar (ver el trabajo de Glimm/Jaffe), se supone que la integral se toma sobre el dual de las funciones de Schwartz (las distribuciones temperadas) en el espacio con respecto a la medida gaussiana asociada al operador de covarianza de los campos. Las distribuciones temperadas también son completas y separables.

Entonces, ¿se entiende que las integrales de trayectoria tienen dimensiones infinitas incontables/continuas?
@asmaier: el espacio de funciones en el que se integran es incontablemente de dimensión infinita, sí. No tiene sentido decir que la integral tiene esta dimensión.