Sharp comparison of l1 and l2 norms

ID: sharp-comparison-of-l1-and-l2-norms

For , Cauchy-Schwarz inequality applied to and gives the upper bound. Equal absolute coordinate values attain its factor . Expanding gives the lower bound, and a vector with only one nonzero coordinate attains its factor one. Thus both constants are optimal. These Lp norms define the same finite-dimensional topology despite having different unit balls.

New to topics? Read the docs here!