Strict increase of a Gaussian norm distribution
ID: strict-increase-of-a-gaussian-norm-distribution
Suppose is a nonzero separable Banach space, the Cameron-Martin space of a Gaussian random variable in a Banach space is a dense subset of , and every centered ball of positive radius has positive probability. Then is strictly increasing on . For , choose in that Cameron-Martin space of a Gaussian random variable in a Banach space with and . The closed ball of radius centered at lies in the annulus and has positive probability by the symmetric Gaussian translation lower bound. The nonzero assumption is necessary: on the distribution function equals one everywhere.
New to topics? Read the docs here!