5
$\begingroup$

A common example of a semiring of sets is the family of half open interals $(a,b]\subseteq\mathbb{R}$. Also, the premeasure $\rho((a,b])=b-a$ is well known to extend to a measure on a $\sigma$-algebra.

With a little tinkering, I believe the "mirror images" across the origin of these intervals also form a semiring. That is, the sets of form $[-b,-a)\cup(a,b]$ for $0

Is there a way to tell if a closed interval $[a,b]$ is $\rho^*$ measurable? I'm interested in seeing maybe an example first to figure this out. Take an interval $[1,2]$ for example. I know that $[1,2]$ is $\rho^*$ measurable if for any $I\subseteq\mathbb{R}$, then $$\rho^*(I)=\rho^*(I\cap[1,2])+\rho^*(I\setminus[1,2]).$$

My feeling is that $[1,2]$ is $\rho^*$ measurable just by testing it with a few subsets $I$ of the real line. Is there a way to prove or disprove whether this is true?

Thank you.

  • 0
    I guess you can take the measure which assigns to a set $A$ the value $\mu(A)/2$, where $\mu$ is the usual Lebesgue measure on $\mathbb R$. Am I missing something?2011-11-08
  • 0
    @MartinSleziak Maybe it is that simple, I'll run with this and see how it goes, thanks.2011-11-09
  • 0
    I am no mercenary... but I do remember there was a bounty here! I do not remember from whom... :-(2011-11-24

1 Answers 1

0

It seems to me that you are basically talking about the Lebesgue measure on $$ \mathbb{R}^+ = \{x \in \mathbb{R} | x > 0\}. $$

Notice that the $\sigma$-algebra generated by these "symmetric sets" is fully composed of "symmetric sets"!! I would say that the $\rho^*$-measurable sets are simply the sets of the form $$ -A \cup A \cup N, $$ where $A$ is a Borel set of $\mathbb{R}^*$ and $N$ is a Lebesgue null set. This, because the Lebesgue null sets are exactly the same as $\rho^*$ null sets.

So, the $\rho^*$-measurable closed intervals would be of the form $[-a,a]$.

The measure $\rho$ is the same as $\frac{\mu}{2}$ where $\rho$ is defined. But the Lebesgue measurable sets is a much wider family.


As requested, let's show that $[1,2]$ is not $\rho^*$-measurable as per the provided definition. To make things simpler, let's prove that $(1,2]$ is not $\rho^*$-measurable.

Take $I = [-2,-1) \cup(1,2]$. Notice that $I$ is the smaller set in the generating semiring such that $(1,2] \subset I$. Therefore, $$ \rho^*((1,2]) = \rho^*(I) = 1. $$ Likewise, $$ \rho^*([-2,-1)) = \rho^*(I) = 1. $$ That is, $$ \rho^*(I) \neq \rho^*(I \cap (1,2]) + \rho^*(I \setminus (1,2]). $$

If you really want to prove for $[1,2]$, just notice that $\{1\}$ has null outer measure and is therefore $\rho^*$-measurable. If $[1,2]$ was $\rho^*$-measurable, then $[1,2] \setminus \{1\} = (1,2]$ would also be $\rho^*$-measurable. But we already know that it is not!


Edit: Added proof that $[1,2]$ is not $\rho^*$-measurable.

  • 0
    Thanks! So I gather that $[1,2]$ is not $\rho^*$-measurable? Do you mind expanding on how to use the definition of $\rho^*$-measurable to conclude that $[1,2]$ is not measurable? I don't follow your conclusions as quickly.2011-11-10
  • 0
    @Anastasia: Notice that for the outer measure, $\rho^*([1,2]) = \rho^*([-2,-1]\cup[1,2]) = 1$ (why?), while for the inner measure, $\rho_*([1,2]) = \rho_*(\emptyset) = 0$ (why?).2011-11-11
  • 0
    @Anastasia: Or, take $I = [-2,-1]\cup [1,2]$. Then, $I \cap [1,2] = [1,2]$ and $I \setminus [1,2] = [-2,-1]$. As in my preview comment, $\rho^*([1,2]) + \rho^*([-2,-1]) = \rho^*(I) + \rho^*(I) = 2 \rho^*(I) \neq \rho^*(I)$. Notice that $I$ is the smaller set in your semi-ring that contains $[1,2]$. It is also the smaller that contains $[-2,-1]$.2011-11-11
  • 0
    By the way, if you have a measure $\mu$ on $\Omega$ and $\Omega_1$ and $\Omega_2$ are disjoint sets in bijection with $\Omega$, you could have done what you did in $\Omega_1 \cup \Omega_2$! What would be the measurable sets then? Actually, if $S$ is **any** non-empty set, you could have done what you did in $S \times \Omega$. The previews case is just the case for $S = \{1,2\}$. If $S$ is not countable, what would be the "null sets" in $S \times \Omega$?2011-11-14