Exact quantiles of Gaussian process extremes

Under nearly minimal conditions, continuity of extreme distribution function is established for both continuous Gaussian processes and finite Gaussian sequences, which entails existence of exact quantiles at any level. Also proved under simple conditions is strict monotonicity of extreme distribution functions that ensures uniqueness of exact quantiles at any level. These results provide convenient tools for developing statistical theory about global inference on functions.