Math 2.0

Real functions Definition

Midpoint convex function

Builds on IntervalFunctionConvex functionDiscontinuous additive functions via a Hamel basis

Definition

Let I⊆ℝI \subseteq \R be an interval. A function f ⁣:I→ℝf \colon I \to \R is midpoint convex, or Jensen-convex, if f(x+y2)≤f(x)+f(y)2for all x,y∈I.f\left(\frac{x + y}{2}\right) \le \frac{f(x) + f(y)}{2} \quad \text{for all } x, y \in I.

Remarks

Example: f(x)=x2f(x) = x^2 on ℝ\R is midpoint convex. Check: x2+y22−(x+y2)2=(x−y)24≥0\frac{x^2 + y^2}{2} - \left(\frac{x + y}{2}\right)^2 = \frac{(x - y)^2}{4} \ge 0.

Non-example: f(x)=−x2f(x) = -x^2 on ℝ\R is not midpoint convex, since f(0)=0>−1=f(−1)+f(1)2f(0) = 0 > -1 = \frac{f(-1) + f(1)}{2}.

Every convex function is midpoint convex: take t=1/2t = 1/2 in the definition of convexity. The converse is false in general. A discontinuous additive function a ⁣:ℝ→ℝa \colon \R \to \R satisfies a(x+y2)=a(x)+a(y)2a\big(\frac{x+y}{2}\big) = \frac{a(x) + a(y)}{2}, so it is midpoint convex. But it is not convex, since convex functions on open intervals are continuous. A midpoint convex function that is continuous is convex.

Reading path

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

Show the path as a graph
Basis, concept, no evidence levelBasisconceptContinuous function, concept, no evidence levelContinuous functionconceptConvex function, concept, no evidence levelConvex functionconceptElement, definition, no evidence levelElementdefinitionFunction, concept, no evidence levelFunctionconceptInterval, concept, no evidence levelIntervalconceptProposition, concept, no evidence levelPropositionconceptSet, definition, no evidence levelSetdefinitionDisjunction, definition, no evidence levelDisjunctiondefinitionImplication, definition, no evidence levelImplicationdefinitionPredicate, definition, no evidence levelPredicatedefinitionFamily of sets, definition, no evidence levelFamily of setsdefinitionOrdered pair, definition, no evidence levelOrdered pairdefinitionUnion, definition, no evidence levelUniondefinitionExistential quantifier, definition, no evidence levelExistential quantifierdefinitionUniversal quantifier, definition, no evidence levelUniversal quantifierdefinitionCartesian product, definition, no evidence levelCartesian productdefinitionUnion of a family of sets, definition, no evidence levelUnion of a family of …definitionSubset, definition, no evidence levelSubsetdefinitionUniqueness quantifier, definition, no evidence levelUniqueness quantifierdefinitionBinary relation, definition, no evidence levelBinary relationdefinitionFunction, definition, no evidence levelFunctiondefinitionChoice function, definition, no evidence levelChoice functiondefinitionAxiom of choice, statement, no evidence levelAxiom of choicestatementDiscontinuous additive functions via a Hamel basis, example, no evidence levelDiscontinuous additiv…exampleMidpoint convex function, definition, no evidence levelMidpoint convex funct…definition
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. Basis concept
  2. Continuous function concept
  3. Convex function concept
  4. Element definition
  5. Function concept
  6. Interval concept
  7. Proposition concept
  8. Set definition
  9. Disjunction definition
  10. Implication definition
  11. Predicate definition
  12. Family of sets definition
  13. Ordered pair definition
  14. Union definition
  15. Existential quantifier definition
  16. Universal quantifier definition
  17. Cartesian product definition
  18. Union of a family of sets definition
  19. Subset definition
  20. Uniqueness quantifier definition
  21. Binary relation definition
  22. Function definition
  23. Choice function definition
  24. Axiom of choice statement
  25. Discontinuous additive functions via a Hamel basis example
  26. Midpoint convex function definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Convex_function
About this page
TagF0GBTYKN31
URIm2://F0GBTYKN31
Kinddefinition
WritingW0 stub
MSC26A51, 39B62
DefinesMidpoint convex function
UsesInterval, Function, Convex function, Discontinuous additive functions via a Hamel basis

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.