Probability and Statistic on Infinite-Dimensional spaces

AI Thread Summary
The discussion centers on the feasibility of generalizing probability and statistics to infinite-dimensional spaces, particularly regarding the treatment of infinite random variables and functions. Participants debate the application of Monte Carlo integration in this context, questioning the ability to perform infinite-dimensional integrals. The challenge of defining a probability measure in infinite dimensions is highlighted, with references to existing measures on Hilbert and Banach spaces. Concerns are raised about the practical implications of infinite measures, where many interesting sets can have infinite or zero measure. The conversation underscores the complexities and unresolved issues surrounding probabilistic measures in theoretical physics.
lokofer
Messages
104
Reaction score
0
Probability and Statistic on "Infinite-Dimensional" spaces

Hello..can the theories of Probability and Statistic be generalized to "Infinite-dimensional" spaces?..i mean if there are "probabilistic" phenomenon that include an infinite number of random variables, or include "random functions" instead of random numbers, or if you can define the probabilistic n-th "momentum" of a distribution in the sense of the functional integral:

\int D[\phi ]\phi^{n} P[\phi]= < \phi ^{n} >

By the way..if Montecarlo integration does not depend on the dimensionality of space.. why can't you perform infinite dimensional integrals...? simply in the form:

\int D[\phi ]\phi^{n} P[\phi]= \sum_{i} P[ \phi _i ] \phi_{i}^{n} + \sum_{r}a(r) \delta ^{r}\phi^{n} P[\phi]

Or something similar...
 
Last edited:
Physics news on Phys.org
If you can put a probability measure on it, you can do statistics. No need to "generalize".
 
The problem is that you can't find any "Infinite dimensional " meassure... unless perhaps that if you have a 1-dimensional meassure you take:

\sum_{i}^{\infty} \mu _{i} \prod _{i}^{\infty} \mu _{i}

sum or product of known meassures... the problem of "probabilistic meassures" for Feynman Path Integral is one of the unsolved problems in Theoretical Physics...
 
What do you mean 'you can't find any "infinite dimensional" measure'? There are standard measures on Hilbert and Banach spaces.
 
I don't see any theoretical problem with taking an infinite product measure. (that doesn't mean none exists...) There is a practical problem, though -- too many interesting sets have infinite measure, or zero measure. E.g. the measure of a cube is:

0 (if the side length is less than 1)
1 (if the side length equals 1)
+infinity (if the side length is greater than 1)
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top