ell_p_not_convex

# ell_p_not_convex - δ there is r such that n 1-p< r δ...

This preview shows page 1. Sign up to view the full content.

( May 10, 2008 ) ` p with 0 < p < 1 is not locally convex Paul Garrett [email protected] http: / /www.math.umn.edu/˜garrett/ That is, with 0 < p < 1, the topological vector space ` p = {{ x i C } : X i | x i | p < ∞} is not locally convex with the topology given by the metric d ( x, y ) = | x - y | p coming from | x | p = X i | x i | p (for 0 < p < 1 no p th root!) It is complete with respect to this metric. Note that | x | p fails to be a norm by failing to be homogeneous of degree 1. The failure of local convexity is as follows. Local convexity would require that the convex hull of the δ -ball at 0 be contained in some r -ball. That is, local convexity would require that, given δ , there is some r such that ± ± ± 1 n · ( δ, 0 , . . . ) + . . . + 1 n · (0 , . . . , 0 , δ | {z } n , 0 , . . . ) ± ± ± p = ² δ n ³ p + . . . + ² δ n ³ p < r (for n = 1 , 2 , 3 , . . . ) That is, local convexity would require that, given
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: δ , there is r such that n 1-p < r δ p (for n = 1 , 2 , 3 , . . . ) This is impossible because 0 < p < 1. /// For contrast, to prove the triangle inequality for the alleged metric on ` p with 0 < p < 1, it suﬃces to prove that ( x + y ) p < x p + y p (for 0 < p < 1 and x, y ≥ 0) To this end, take x ≥ y . By the mean value theorem, ( x + y ) p ≤ x p + pξ p-1 y (for some x ≤ ξ ≤ x + y ) and x p + pξ p-1 y ≤ x p + px p-1 y ≤ x p + py p-1 y = x p + py p ≤ x p + y p (since p-1 < 0 and ξ ≥ x ≥ y ) This proves the triangle inequality for 0 < p < 1. /// 1...
View Full Document

## This note was uploaded on 05/18/2010 for the course MATHEMATIC 120102 taught by Professor Xxxxxxxxxyyyyyy during the Spring '10 term at Jacobs University Bremen.

Ask a homework question - tutors are online