En la disciplina matemática de la teoría de la medida, una medida de Banach es una forma determinada de asignar un tamaño (o área) a todos los subconjuntos del plano euclidiano, consistente con la medida de Lebesgue comúnmente utilizada, pero extendiéndola. Si bien hay ciertos subconjuntos del plano que no son medibles según Lebesgue, todos los subconjuntos del plano tienen una medida de Banach. Por otro lado, la medida de Lebesgue es contablemente aditiva, mientras que una medida de Banach es sólo finitamente aditiva (y por lo tanto se la conoce como "contenido").
Stefan Banach demostró la existencia de las medidas de Banach en 1923.[1] Esto estableció en particular que las descomposiciones paradójicas proporcionadas por la paradoja de Banach-Tarski en el espacio euclidiano R 3 no pueden existir en el plano euclidiano R2.