Skip to main content
added 334 characters in body
Source Link
Bugs Bunny
  • 12.3k
  • 1
  • 30
  • 65

No, ifIf $X$$|X|>2$, then there is finitea single solution: $\overline{\mu}(\{x\})=\mu(x)$ and $|X|>1$$\overline{\mu}(S)=0$ for any other set $S$. As

Indeed, let $\overline{\mu}(\{x\})=\mu(x)$$a=\overline{\mu}(\emptyset)$. By the condition for $S=\{x\}$, you use up all$\overline{\mu}(\{x\}) =\mu (x)-a$. By the measure on 1condition for $S=\{x,y\}$ with $x\neq y$, $\overline{\mu}(\{x,y\}) =a$.

Now if $|X|>2$, there are at least $1+|X|$ two-element subsets. ThenThus, if $\mu(x)>0$ and$\sum_{|S|\leq 2} \overline{\mu}(S) \geq a+ \sum_{x\in X}\mu (x) =1+a$. This forces $x\neq y$, there$a=0$.

Now it is no measure lefteasy to show that for all larger subsets $\overline{\mu}(\{x,y\})$ to be non-zero$\overline{\mu}(S)=0$.

No, if $X$ is finite and $|X|>1$. As $\overline{\mu}(\{x\})=\mu(x)$, you use up all the measure on 1-element subsets. Then, if $\mu(x)>0$ and $x\neq y$, there is no measure left for $\overline{\mu}(\{x,y\})$ to be non-zero.

If $|X|>2$, then there is a single solution: $\overline{\mu}(\{x\})=\mu(x)$ and $\overline{\mu}(S)=0$ for any other set $S$.

Indeed, let $a=\overline{\mu}(\emptyset)$. By the condition for $S=\{x\}$, $\overline{\mu}(\{x\}) =\mu (x)-a$. By the condition for $S=\{x,y\}$ with $x\neq y$, $\overline{\mu}(\{x,y\}) =a$.

Now if $|X|>2$, there are at least $1+|X|$ two-element subsets. Thus, $\sum_{|S|\leq 2} \overline{\mu}(S) \geq a+ \sum_{x\in X}\mu (x) =1+a$. This forces $a=0$.

Now it is easy to show that for all larger subsets $\overline{\mu}(S)=0$.

edited body
Source Link
Bugs Bunny
  • 12.3k
  • 1
  • 30
  • 65

No, ofif $X$ is finite and $|X|>1$. As $\overline{\mu}(\{x\})=\mu(x)$, you use up all the measure on 1-element subsets. Then, if $\mu(x)>0$ and $x\neq y$, there is no measure left for $\overline{\mu}(\{x,y\})$ to be non-zero.

No, of $X$ is finite and $|X|>1$. As $\overline{\mu}(\{x\})=\mu(x)$, you use up all the measure on 1-element subsets. Then, if $\mu(x)>0$ and $x\neq y$, there is no measure left for $\overline{\mu}(\{x,y\})$ to be non-zero.

No, if $X$ is finite and $|X|>1$. As $\overline{\mu}(\{x\})=\mu(x)$, you use up all the measure on 1-element subsets. Then, if $\mu(x)>0$ and $x\neq y$, there is no measure left for $\overline{\mu}(\{x,y\})$ to be non-zero.

Source Link
Bugs Bunny
  • 12.3k
  • 1
  • 30
  • 65

No, of $X$ is finite and $|X|>1$. As $\overline{\mu}(\{x\})=\mu(x)$, you use up all the measure on 1-element subsets. Then, if $\mu(x)>0$ and $x\neq y$, there is no measure left for $\overline{\mu}(\{x,y\})$ to be non-zero.