Poincare inequalities are a simple way to obtain lower bounds on the distortion of mappings X into Y. These are shown below to be sharp when we consider the Lp spaces. A Poincare inequality is one of the following type: suppose Ψ : [0, ∞) → [0, ∞) is a nondecreasing function and that au,v, bu,v are finite arrays of real numbers (for u, v ∈ X, and not all of the numbers 0). We say that functions...