Math 2.0

Convex and discrete geometry Definition

Strictly convex set

Builds on Topological vector spaceOpen segmentInteriorConvex set

Definition

Let VV be a real topological vector space, such as ℝn\R^n, and let C⊆VC \subseteq V. The set CC is strictly convex if for all x,y∈Cx, y \in C with x≠yx \ne y, the open segment (x,y)(x, y) lies in the interior of CC.

Remarks

A strictly convex set is convex, since (x,y)⊆int⁡C⊆C(x, y) \subseteq \operatorname{int} C \subseteq C.

Example: the closed unit disc D={p∈ℝ2:∣p∣≤1}D = \set{p \in \R^2 : \abs{p} \le 1}. If x≠yx \ne y in DD and 0<t<10 < t < 1, then ∣(1−t)x+ty∣<1\abs{(1 - t)x + t y} < 1. Indeed, equality would need ∣x∣=∣y∣=1\abs{x} = \abs{y} = 1 and equality in the triangle inequality. For the Euclidean norm this means that xx and yy point in the same direction, which forces x=yx = y. So the open segment lies in the open disc, the interior of DD.

Non-example: the closed square [0,1]2[0, 1]^2. The points (0,0)(0, 0) and (1,0)(1, 0) lie in it, but the midpoint (1/2,0)(1/2, 0) is on the boundary, not in the interior.

Every open convex set is strictly convex, so the notion is of interest mainly for closed sets.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Convex set concept
  2. Interior concept
  3. Open segment concept
  4. Topological vector space concept
  5. Strictly convex set definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Convex_set
About this page
Tag25RZTHSRS3
URIm2://25RZTHSRS3
Kinddefinition
WritingW0 stub
MSC52A07, 52A20
DefinesStrictly convex set
UsesTopological vector space, Open segment, Interior, Convex set

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.