theorems

Let $\nu$ be a signed measure over measurable space $(X,\mathcal{M})$. Denote $\tilde{N}=\left\{ u\in \mathcal{M} \; :\; \mbox{$u$ is $\nu$-negative} \right\}$ and $\tilde{P}=\left\{ u\in \mathcal{M} \; :\; \mbox{$u$ is $\nu$-positive} \right\}$

1.   $\exists N\in \tilde{N}\Big(\exists P \in \tilde{P}\Big( N\cap P=\emptyset \; \mbox{ and }\; N\cup P = X\Big)\Big)$
2.   $\forall N,N^{'}\in \tilde{N}\Big(\forall P,P^{'}\in \tilde{P} \Big(N\sqcup P =N^{'}\sqcup P^{'}=X \; \Longrightarrow \nu( P\triangle \tilde{P})=\nu( N\triangle \tilde{N})=0\Big)\Big) $

Let $\lambda$ be Borel measure.

1. If $A$ is mesuarable and $\lambda(A)>0$, then $A-A=\left\{ x-y\; :\; x,y\in A \right\}$ contains a segment $I$ such that $0\in I$
2. If $A, B$ are measurable sets and $\lambda(A), \lambda(B)>0$, then $A+B$ contains a segment I.