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!