En matemáticas , la medida de conjunto cilíndrico (o promedida , premedida , cuasimedida o CSM ) es un tipo de prototipo de una medida en un espacio vectorial de dimensión infinita . Un ejemplo es la medida de conjunto cilíndrico gaussiana en el espacio de Hilbert .
Las medidas del conjunto de cilindros en general no son medidas (y en particular no necesitan ser contablemente aditivas sino solo finitamente aditivas ), pero pueden usarse para definir medidas, como la medida clásica de Wiener en el conjunto de caminos continuos que comienzan en el origen en el espacio euclidiano .
Sea un espacio vectorial topológico real separable . Sea la colección de todas las aplicaciones lineales continuas sobreyectivas definidas en cuya imagen se encuentra algún espacio vectorial real de dimensión finita :
Una medida de conjunto de cilindros es una colección de medidas de probabilidad
donde es una medida de probabilidad en Estas medidas deben satisfacer la siguiente condición de consistencia: si es una proyección sobreyectiva , entonces el avance de la medida es el siguiente:
La condición de consistencia se modela en la forma en que las medidas verdaderas avanzan (consulte la sección Medidas de conjunto de cilindros versus medidas verdaderas). Sin embargo, es importante entender que en el caso de las medidas de conjunto de cilindros, este es un requisito que forma parte de la definición, no un resultado.
Una medida de conjunto de cilindros se puede entender intuitivamente como la definición de una función finitamente aditiva en los conjuntos de cilindros del espacio vectorial topológico. Los conjuntos de cilindros son las preimágenes en de los conjuntos medibles en : si denota el -álgebra en en el que se define, entonces
En la práctica, a menudo se toma como el álgebra de Borel de En este caso, se puede demostrar que cuando es un espacio de Banach separable , el σ-álgebra generada por los conjuntos de cilindros es precisamente el álgebra de Borel de :
Una medida de conjunto de cilindros en no es realmente una verdadera medida en : es una colección de medidas definidas en todas las imágenes de dimensión finita de Si ya tiene una medida de probabilidad definida en ella, entonces da lugar a una medida de conjunto de cilindros en usando el empuje hacia adelante: establecer en
Cuando hay una medida tal que de esta manera, se acostumbra abusar un poco de la notación y decir que la medida del conjunto de cilindros "es" la medida.
Cuando el espacio de Banach es también un espacio de Hilbert hay una conjunto de cilindros gaussianos canónicos que surge de ladel producto internoenEspecíficamente, sidenota el producto interno enseael producto interno cociente enLa medidaense define entonces como lamedida gaussianaen: dondees unaisometríade espacios de Hilbert que toma elproducto internoeuclidianoal producto internoenymedida gaussianaestándaren
La medida del conjunto de cilindros gaussianos canónicos en un espacio de Hilbert separable de dimensión infinita no corresponde a una medida verdadera en La prueba es bastante simple: la bola de radio (y centro 0) tiene medida como máximo igual a la de la bola de radio en un espacio de Hilbert de dimensión -, y esta tiende a 0 cuando tiende a infinito. Por lo tanto, la bola de radio tiene medida 0; como el espacio de Hilbert es una unión numerable de tales bolas, también tiene medida 0, lo cual es una contradicción. (Véase medida de Lebesgue de dimensión infinita .)
Una prueba alternativa de que la medida del conjunto de cilindros gaussianos no es una medida utiliza el teorema de Cameron-Martin y un resultado sobre la cuasi-invariancia de las medidas . Si realmente fuera una medida, entonces la función identidad en radonificaría esa medida, convirtiéndola así en un espacio de Wiener abstracto . Por el teorema de Cameron-Martin, sería entonces cuasi-invariante bajo la traducción por cualquier elemento de lo que implica que o bien es de dimensión finita o que es la medida cero. En cualquier caso, tenemos una contradicción.
El teorema de Sazonov proporciona las condiciones bajo las cuales el avance de una medida de un conjunto de cilindros gaussianos canónicos puede transformarse en una medida verdadera.
Una medida de conjunto de cilindros en el dual de un espacio de Fréchet nuclear se extiende automáticamente a una medida si su transformada de Fourier es continua.
Ejemplo : Sea el espacio de funciones de Schwartz en un espacio vectorial de dimensión finita; es nuclear. Está contenido en el espacio de funciones de Hilbert , que a su vez está contenido en el espacio de distribuciones templadas, el dual del espacio nuclear de Fréchet :
La medida del conjunto de cilindros gaussianos proporciona una medida del conjunto de cilindros en el espacio de distribuciones templadas, que se extiende a una medida en el espacio de distribuciones templadas,
El espacio de Hilbert tiene medida 0 en el primer argumento utilizado anteriormente para mostrar que el conjunto de medida del cilindro gaussiano canónico no se extiende a una medida en