Let $G$ be a compact topological group (feel free to add hypotheses if necessary). Is there any mean value theorem for its (normalized to 1) Haar integral?
In general, are there mean value theorems for abstract spaces with measures? (Or at least for Borel measures?)
Later edit: After reading the first two comments, let me be more precise; I'm looking for a theorem giving something like: for any continuous $f$ on $G$, there exist $x \in G$ such that $\int_G f(g) \mathrm{d}g = f(x)$. Does such an $x$ really exist? Can anything else be said about it (the integral being so special, maybe this $x$ can be made more precise)?