Sea $(\Omega,\mathfrak{A},\mu)$ sea un espacio de medidas y $A,B\in\mathfrak{A}$ . Mostrar: $\mu(A\Delta B)=0\implies\mu(A)=\mu(B)$ .
Oye, he intentado probarlo, desgraciadamente sin éxito todavía. $$ \mu(A\Delta B)=\mu((A\setminus B)\uplus (B\setminus A))=\mu(A\setminus B) + \mu(B\setminus A) $$ Ahora no sé cómo continuar; al principio pensé en algo así como $\mu(A\setminus B)=\mu(A)-\mu(B)$ pero esto sólo está bien, si $\mu(B)<\infty$ y de hecho no sé que ..