![]() Let be a complete two dimensional simply connected Riemannian manifold with Gaussian curvature . If is a compactly supported function of bounded variation on , then satisfies the Sobolev inequality 
Conversely, letting be the characteristic function of a domain recovers the sharp form of the isoperimetric inequality for simply connected surfaces with . Therefore this is the Sobolev inequality ``equivalent' to the isoperimetric inequality for this class of surfaces. This is a special case of a result that gives the equivalence of more general isoperimetric inequalities and Sobolev inequalities on surfaces. Under the same assumptions on , if is a closed curve and is the winding number of about , then the Sobolev inequality implies 
which is an extension of the Banchoff-Pohl inequality to simply connected surfaces with curvature . |