Proving Caratheodory's Condition for Measurable Sets in Measure Theory

[SqueeSpleen]

Measure Theory, Caratheodory condition

The set E \subset ℝ^{p} satisfy Caratheodory's condition if:
\forall A \subset ℝ^{p}
m_e (A) = m_e(A \cap E) + m_e(A \cap E^c)
Prove that if E is measurable then E satisfy the Caratheodory's condition.
I know
m_e (A) \leq m_e(A \cap E) + m_e(A \cap E^c) for the subaditivity of the external measure, but I didn't found a way to prove:
m_e (A) \geq m_e(A \cap E) + m_e(A \cap E^c)

I'll post again if I figure out something, but I already skipped this some days ago because I was an entire hour without any advance at all.
Feel free to make any correction's, it's the first time I write something about this subject in English and I'm not sure if I'm chosing the correct words.

 

[Ray Vickson]

The set E \subset ℝ^{p} satisfy Caratheodory's condition if:
\forall A \subset ℝ^{p}
m_e (A) = m_e(A \cap E) + m_e(A \cap E^c)
Prove that if E is measurable then E satisfy the Caratheodory's condition.
I know
m_e (A) \leq m_e(A \cap E) + m_e(A \cap E^c) for the subaditivity of the external measure, but I didn't found a way to prove:
m_e (A) \geq m_e(A \cap E) + m_e(A \cap E^c)

I'll post again if I figure out something, but I already skipped this some days ago because I was an entire hour without any advance at all.
Feel free to make any correction's, it's the first time I write something about this subject in English and I'm not sure if I'm chosing the correct words.

Some books present the Caratheodory condition as the definition of measurability of E. What definition does your book use?

 

[SqueeSpleen]

A set is measurable if \forall \epsilon > 0 \exists U \in \cal{U} such that:
A \subset U and m_e (U-A) < \epsilon
\cal{U} is the family of the \sigma-elemental sets.
I also know that a set E is measurable then m_i(E)=m_e(E)

 

[SqueeSpleen]

On a related topic (I don't know if I'd better create a new thread or not).

I have to find a decreasing sequense \left \{ E_k \right \}_{k \in \mathbb{N}} \subset P(R^p) such that m_e(\displaystyle\bigcap\limits_{i=0}^{\infty} E_k) < \lim_{k \rightarrow \infty}m_e(E_k)
I think that the following sequence would work:
Notation: \overline{B}(c,r)=\left [ c-r,c+r \right ]
E_1 = \overline{B}(0,1)
E_2 = \overline{B}(0,\frac{1}{2}) \cup \overline{B}(1,\frac{1}{2})
...
E_n = \displaystyle\bigcup\limits_{i=0}^{n-1} \overline{B}(\frac{k}{n},\frac{1}{n})
What I'm trying is to get a set which intersection is countable then of null measure.
While the limit of its measures is 1.
It's this idea right or I'd better to search other way of solving this? (If feel like it's not, I think that the intersection will not be countable, it will be [0,1] but I liked this idea so I needed to write it clearly to see that's not good).
I'd try to do it with a no measurable set?
PD: The correct term is "outer measure" not "exterior measure"? Or both are right?