Strictly convex space: Difference between revisions

Revision as of 20:31, 16 April 2008

Latest revision as of 02:22, 5 October 2023

(19 intermediate revisions by 16 users not shown)

Line 1:

{{Short description|Normed vector space for which the closed unit ball is strictly convex}}

[[Image:Vector norms.svg|frame|right|The unit ball in the middle figure is strictly convex, while the other two balls are not (they contain a line segment as part of their boundary).]]

In [[mathematics]], a '''strictly convex space''' is a [[normed vector space|normed]] [[topological vector space]] (''VX'', || ||) for which the closed unit [[unitBall (mathematics)|ball]] is a strictly [[convex set]]. Put another way, a strictly convex space is one for which, given any two distinct points ''x'' and ''y'' inon the [[boundaryunit (topology)|boundarysphere]] ∂''B'' (i.e. the [[Boundary (topology)|boundary]] of the unit ball ''B'' of ''VX''), the [[affine line]] ''L''(''x'', ''y'') passingsegment throughjoining ''x'' and ''y'' meets ∂''B'' ''only'' at ''x'' and ''y''. Strict convexity is somewhere between an [[inner product space]] (all inner product spaces arebeing strictly convex) and a general [[normed space]] (all strictly convex normed spaces are normed spaces) in terms of structure. It also gauranteesguarantees the uniqueness of a best approximation to an element in ''X'' (strictly convex) out of ''Y'' (a convex subspace of ''XY''), ifprovided indeedthat such an approximation exists.

If the normed space ''X'' is [[Banach space|complete]] and satisfies the slightly stronger property of being [[Uniformly convex space|uniformly convex]] (which implies strict convexity), then it is also reflexive by [[Milman–Pettis theorem]].

==Properties==

The following properties are equivalent to strict convexity.

* A [[Banach space]] (''V'', || ||) is strictly convex [[if and only if]] the [[modulus of convexity]] ''δ'' for (''V'', || ||) satisfies ''δ''(2) = 1.

* A [[Banachnormed vector space]] (''VX'',&nbsp;||&nbsp;||) is strictly convex if and only if ''x''&nbsp;≠&nbsp;''y'' and ||&nbsp;''x''&nbsp;||&nbsp;=&nbsp;||&nbsp;''y''&nbsp;||&nbsp;=&nbsp;1 together imply that ||&nbsp;''x''&nbsp;+&nbsp;''y''&nbsp;||&nbsp;<&nbsp;2.

* A [[Banachnormed vector space]] (''VX'',&nbsp;||&nbsp;||) is strictly convex if and only if ''x''&nbsp;≠&nbsp;''y'' and ||&nbsp;''x''&nbsp;||&nbsp;=&nbsp;||&nbsp;''y''&nbsp;||&nbsp;=&nbsp;1 together imply that ||&nbsp;''αx''&nbsp;+&nbsp;(1&nbsp;&minus;&nbsp;''α'')''y''&nbsp;||&nbsp;&lt;&nbsp;1 for all 0&nbsp;&lt;&nbsp;''α''&nbsp;&lt;&nbsp;1.

* A [[normed vector space]] (''X'',&nbsp;||&nbsp;||) is strictly convex if and only if ''x''&nbsp;≠&nbsp;''0'' and ''y''&nbsp;≠&nbsp;''0'' and ||&nbsp;''x''&nbsp;+&nbsp;''y''&nbsp;||&nbsp;=&nbsp;||&nbsp;''x''&nbsp;||&nbsp;+&nbsp;||&nbsp;''y''&nbsp;|| together imply that ''x'' = ''cy'' for some constant ''c&nbsp;>&nbsp;0'';

* A [[Banachnormed vector space]] (''VX'',&nbsp;||&nbsp;||) is strictly convex [[if and only if]] the [[modulus of convexity]] ''δ'' for (''VX'',&nbsp;||&nbsp;||) satisfies ''δ''(2)&nbsp;=&nbsp;1.

==See also==

* A [[Banach space]] (''V'',&nbsp;||&nbsp;||) is strictly convex if and only if ''x''&nbsp;≠&nbsp;''y'' and ||&nbsp;''x''&nbsp;||&nbsp;=&nbsp;||&nbsp;''y''&nbsp;||&nbsp;=&nbsp;1 together imply that ||&nbsp;''x''&nbsp;+&nbsp;''y''&nbsp;||&nbsp;<&nbsp;2.

* [[Uniformly convex space]]

* A [[Banach space]] (''V'',&nbsp;||&nbsp;||) is strictly convex if and only if ''x''&nbsp;≠&nbsp;''y'' and ||&nbsp;''x''&nbsp;||&nbsp;=&nbsp;||&nbsp;''y''&nbsp;||&nbsp;=&nbsp;1 together imply that ||&nbsp;''αx''&nbsp;+&nbsp;(1&nbsp;&minus;&nbsp;''α'')''y''&nbsp;||&nbsp;&lt;&nbsp;1 for all 0&nbsp;&lt;&nbsp;''α''&nbsp;&lt;&nbsp;1.

* [[Modulus and characteristic of convexity]]

==References==

Line 22 ⟶ 30:

| pages = 269&ndash;274

}}

{{Functional analysis}}

[[Category:Convex analysis]]

[[Category:Normed spaces]]

{{hyperbolic-geometry-stub}}