Welcome to MathOverflow

Question

2

Given a family ${\mu }_{i\in I}$ on a Polish space (complete, separable metric space) $X$. When does there exist a measure $\lambda$ such that $$\mu_i=f_i \lambda$$

where the f_i are densities (Radon-Nikodym) of $mu_i$ wrt to $\lambda$.

EDIT: What is a verifyable condition in the case I is uncountable.

edited Aug 20 at 13:50

asked Aug 20 at 12:15

warsaga
253●1●7

	What is $f_i$ supposed to be? – Aaron Tikuisis Aug 20 at 12:49
	the densities/radon nikodym derivative – warsaga Aug 20 at 12:58

Gerald Edgar · Answer 1 · 2012-08-20 13:01:39Z UTC

1

A countable family of sigma-finite measures, yes.

Can we drop a condition?

Drop sigma-finite: consider two measures on $\mathbb R$: Lebesgue measure and counting measure.

Drop countable: on $\mathbb R$ consider the family of measures, one of them is Lebesgue measure, and the rest are the unit point masses at all the points of $\mathbb R$.

answered Aug 20 at 13:01

Gerald Edgar
15.4k●1●29●67

I think that the OP has something about the dependence $i\mapsto \mu_i$ in mind. I could imagine positive answers for an interval $I$ and continuous dependence if the topology considered on all (finite) measures on $X$ is strong enough. – Jochen Wengenroth Aug 20 at 14:17

common dominating measure for a family of measures

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.