I am trying to prove or disprove the following. Let $\mathcal{C}$ be a lower dimensional subset in $\mathbb{R}^n$. In addition, let $\mathcal{M}^{(i)}=\{\mathcal{M}^{(i)}_{1},\mathcal{M}^{(i)}_{2}\}$ be two subsets of $\mathcal{C}$ such that \begin{equation} \mathcal{M}^{(i)}_{1}\cup \mathcal{M}^{(i)}_{2}=\mathcal{C}, ~~\mathcal{M}^{(i)}_{1}\cap \mathcal{M}^{(i)}_{2}=\emptyset \end{equation} and \begin{equation} \mu(\mathcal{\mathcal{M}^{(i)}_{1}})=\mu(\mathcal{\mathcal{M}^{(i)}_{2}})=\frac{1}{2}\mu(\mathcal{C}) \end{equation} where $\mu(\mathcal{S})$ is the volume of the subset $\mathcal{S}\subset\mathcal{C}$. There are $m$ different couples $\{\mathcal{M_1}^{(1)},\mathcal{M_2}^{(1)}\},...,\{\mathcal{M}^{(m)}_{1},\mathcal{M}^{(m)}_{2}\}$, all satisfying the above equations.
Now, given a point $q\in\mathcal{M}^{(1)}_{k_1},\mathcal{M}^{(2)}_{k_2},...,\mathcal{M}^{(m)}_{k_m}$ where $k_i=1,2$. Can I always say that the volume of the union \begin{equation} \bigcup_{i=1}^m\mathcal{M}^{(i)}_{k_i} \end{equation} is always smaller (and not equal) than $\mu(\mathcal{C})$. In simple words, will a family of different half subsets of $\mathcal{C}$ that also contain a common element, cover the whole set $\mathcal{C}$. Is this true always or only in some special geometries? For example, if $\mathcal{M}^{(i)}_{k_i}$ is a hemisphere, than this is true.
Thanks.
No, you cannot expect that. In fact, per your statement that $\mathcal C$ is of "lower dimension" than $\Bbb R^n$, that is never true. Why? Because by any definition of "lower dimension" that I am familiar with (I can think of four off the top of my head), it implies that $\mu(\mathcal C) = 0$. So the measure of your union cannot be any smaller.
But even if you drop that lower dimension restriction, this is still not true. Let $\mathcal C$ be some set with $\mu(\mathcal C) > 0$ and let $q \in \mathcal C$, and let $A,B$ be any two measurable sets with $A\cup B = \mathcal C \setminus \{q\}, A\cap B = \emptyset$.
Then you can set $\mathcal M^1_1 = A\cup\{q\}, \mathcal M^1_2 = B, \mathcal M^2_1 = B\cup\{q\}, \mathcal M^2_2 = A$.
So $ \mathcal M^1_1 \cup \mathcal M^2_1 = (A\cup\{q\}) \cup (B\cup\{q\}) = \mathcal C$
And futher, even though $\mathcal M^1_2 \cup \mathcal M^2_2 = \mathcal C \setminus \{q\}$, we still have $\mu(\mathcal M^1_2 \cup \mathcal M^2_2) = \mu(\mathcal C)$.
Added
Here is a more specific example, which also contradicts your statement about hemispheres. I'll use my suggested notation. Let $C$ be the unit circle in the plane. Define $$U_1 = \{(x,y) \in C \mid y \le 0\}, V_1 = \{(x,y) \in C \mid y > 0\}\\U_2 = \{(x,y) \in C \mid x \le 0\}, V_2 = \{(x,y) \in C \mid x > 0\}\\U_3 = \{(x,y) \in C \mid y \ge 0\}, V_3 = \{(x,y) \in C \mid y < 0\}\\U_4 = \{(x,y) \in C \mid x \ge 0\}, V_4 = \{(x,y) \in C \mid x < 0\}$$ Then for each $i, U_i \cap V_i = \emptyset$ and $U_i \cup V_i = C$. Further, for all $i, (0,0) \in U_i$. But $$\bigcup_{i=1}^4 U_i = C$$