7
$\begingroup$

Let $X$ be any set and $\mathscr F$ be a $\sigma$-algebra of its subsets, so $(X,\mathscr F)$ is a measure space. The function $$ \mu:\mathscr F\to[0,\infty] $$ is called a measure if

$\quad 1.$ $\mu(\emptyset) = 0$,

$\quad 2.$ for any sequence $(B_n)_{n\in\mathbb N}$ such that $B_i\cap B_j = \emptyset$ it holds that $$ \mu\left(\bigcup\limits_{n\in\mathbb N}B_n\right) = \sum\limits_{n\in\mathbb N}\mu(B_n). $$

Let us consider a set-valued function $f:\mathscr F\to\mathscr P([0,\infty])$ where $\mathscr P$ denotes the powerset. Suppose that

$\quad 1^*.$ $0\in f(\emptyset)$

$\quad2^*.$ for any sequence $(B_n)_{n\in\mathbb N}$ such that $B_i\cap B_j = \emptyset$ and any sequence $x_n\in f(B_n)$ it holds that $$ x:=\sum\limits_{n\in\mathbb N}x_n\in f\left(\bigcup\limits_{n\in\mathbb N}B_n\right). $$

$\quad3^*.$ for any $B\in\mathscr F$ the set $f(B)$ is not empty.

The question is: does there exist a measure $\mu_f$ such that $$ \mu_f(B)\in f(B) $$ for any set $B\in\mathscr F$. I wonder if the question can be answered assuming Axiom of Choice and without this assumption.

Remark 1: clearly if $f(B)$ is a singleton for any $B\in\mathscr F$, which satisfies both of assumptions above, the measure $\mu_f$ exists, $\mu_f = f$.

Remark 2: thanks to Alexander, in the case when $f(\emptyset)$ contains a positive element, we can take $\mu_f(B) = \infty$ for any all $B\in\mathscr F\setminus\{\emptyset\}$. So the only unconsidered case is $f(\emptyset) = \{0\}$.

  • 0
    Ahh, Ilya: I see my mistake. I should learn to read better. Sorry!2012-01-30
  • 0
    What do you look for, a specific $X$ and a $\sigma$-algebra or for every $X$ and $\sigma$-algebra...2012-01-30
  • 0
    You need to add the assumption that $f$ is always nonempty. Otherwise, the answer is trivially no.2012-01-30
  • 1
    If $f(\emptyset) \neq \{ 0 \}$, we can choose $\mu_f(B) = \infty$ for every $B \in \mathscr F \setminus {\emptyset}$.2012-01-30
  • 0
    @Michael: thanks - I was worrying not to forget this assumption and finally I didn't put it! I will fix it now.2012-01-30
  • 0
    @Asaf: $(X,\mathscr F)$ are any, $f$ is any which satisfies assumptions $1.$ and $2.$2012-01-30
  • 0
    @AlexanderThumm: how does it exactly work? suppose, $\mathscr F = \{\emptyset,X\}$ and $f(\emptyset) = \{0,1/2\}$, $f(X) = \{1\}$.2012-01-30
  • 2
    If $0 < a \in f(\emptyset)$, then $\infty = \sum_{n\in\mathbb N} a \in f( \bigcup_{n\in\mathbb N} \emptyset) = f(\emptyset)$, so $\infty \in f(B) = f(B \cup \emptyset)$ for every $B \in \mathscr F$.2012-01-30
  • 0
    @AlexanderThumm: I see, thank you for the comment.2012-01-30
  • 0
    @Alexander: I guess your argument solves the problem. Would you put it as an answer?2012-01-30
  • 0
    You also have the co-degenerate case: $f(\varnothing)=\{0\}; f(a)=[0,\infty]$ for any $a\neq\varnothing$. in which case any measure would work. In particular the counting measure, or $\mu_f(a)=\infty$ for $a\neq\varnothing$.2012-01-30

1 Answers 1

1

To extend Alexander's observation:

  1. If $A\in\mathscr F$ can be split into infinitely many disjoint sets $A_n$ then every sum from the sets $f(A_n)$ must converge or else $\infty\in f(A)$. In particular this means that if for more than finitely many $k$'s we have $\dfrac{1}{k}\le x\in f(A_k)$ then we can construct the harmonic series. However since the index of the $A_k$'s was more or less arbitrary this means that only finitely many of them can have any nonzero elements, or else $\infty\in f(A)$.

  2. Reiterating the above argument gives that either every nonempty $A$ has $\infty\in f(A)$ or $A$ can be decomposed into countably many atoms (e.g. singletons) out of which only finitely many $\{x\}\subseteq A$ have a nontrivial measure, that is $f(\{x\})\neq\{0\}$.

  3. From this follows that either all subsets can be assigned an infinite measure, or that there are finitely many atoms which have a nonzero image, choose any representatives from these sets and define the measure as a finite sum of atomic measures.

  • 1
    Why shouldn't you have countably many atoms? Let $\mathcal{C}=\{C_n\}$ be a countable set of atoms and let $\{c_n\}$ be a selection from $\mathcal{C}$. Then letting $\mu(B)=\sum_{n:c_n\in B}1/2^n$ gives you a well defined probability measure.2012-01-30
  • 0
    @Michael: This is true, I will come up with a better reasoning tomorrow.2012-01-31