{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "X84R2EWQJP"
    }
  ],
  "body": "\n## Statement\n\nLet $I \\subseteq \\R$ be an open [[interval|0Q1D85B8G6]], and let $f \\colon I \\to \\R$ be [[midpoint convex|1TQ1JQXEWP]].\nAssume that $f$ is Lebesgue [[measurable|YYNCJSR0PJ]].\nThen $f$ is [[continuous|0X3WGX95FE]] on $I$, and $f$ is [[convex|07Q7CNM5WF]].\n\n## Remarks\n\nThe idea of the proof: the sets $\\set{x \\in I : f(x) \\le n}$, for $n = 1, 2, \\ldots$, are measurable and cover $I$, so one of them, say $A$, has positive [[Lebesgue measure|2Z2QVWZ262]].\nBy a theorem of Steinhaus type, the set of midpoints $\\set{(a + b)/2 : a, b \\in A}$ contains a nonempty open interval $J$.\nFor $a, b \\in A$, midpoint convexity gives $f\\big(\\frac{a + b}{2}\\big) \\le \\frac{f(a) + f(b)}{2} \\le n$, so $f$ is bounded above on $J$.\nThe [[Bernstein–Doetsch theorem|MQA1VVCJ63]] then gives continuity and convexity.\n\nMeasurability cannot be dropped: a discontinuous additive function $a \\colon \\R \\to \\R$ is midpoint convex, but it is not convex, and by this theorem it is not measurable.\nExample of use: if $f$ is midpoint convex and is a pointwise limit of continuous functions, then $f$ is measurable, hence convex.\n\n## Explanations\n\n### L1 human\n\nMidpoint convexity alone allows very irregular functions, but all of them are so wild that they cannot even be measured.\nSierpiński's theorem says that any midpoint convex function that is measurable is a genuine convex function.\nIn practice this means that every midpoint convex function one meets in analysis is convex.\n\n### L2 human\n\nThe theorem follows the pattern of the regularity results for Cauchy's equation, where a measurable additive function is linear.\nThe key step turns measurability into an upper bound on an interval, and then the [[Bernstein–Doetsch theorem|MQA1VVCJ63]] takes over.\nThe same argument works for functions that are bounded above on a set of positive measure, and an analogue holds with Baire category instead of measure.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "1TQ1JQXEWP"
    ],
    "kind": "statement",
    "msc": [
      "26A51",
      "39B62",
      "28A20"
    ],
    "name": "Sierpiński's theorem on measurable midpoint convex functions",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Convex_function"
      }
    ],
    "tag": "YBVSDT89T6",
    "uses": [
      "1TQ1JQXEWP",
      "YYNCJSR0PJ",
      "2Z2QVWZ262",
      "07Q7CNM5WF",
      "0X3WGX95FE",
      "0Q1D85B8G6",
      "MQA1VVCJ63"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/YBVSDT89T6/",
  "links": [
    {
      "field": "about",
      "target": "1TQ1JQXEWP"
    },
    {
      "field": "uses",
      "target": "1TQ1JQXEWP"
    },
    {
      "field": "uses",
      "target": "YYNCJSR0PJ"
    },
    {
      "field": "uses",
      "target": "2Z2QVWZ262"
    },
    {
      "field": "uses",
      "target": "07Q7CNM5WF"
    },
    {
      "field": "uses",
      "target": "0X3WGX95FE"
    },
    {
      "field": "uses",
      "target": "0Q1D85B8G6"
    },
    {
      "field": "uses",
      "target": "MQA1VVCJ63"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/YBVSDT89T6.md",
  "msc": [
    "26A51",
    "39B62",
    "28A20"
  ],
  "name": "Sierpiński's theorem on measurable midpoint convex functions",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/YBV/YBVSDT89T6.md",
  "status": null,
  "tag": "YBVSDT89T6",
  "uri": "m2://YBVSDT89T6",
  "url": "https://tamnd.github.io/math2/wiki/sierpinskis-theorem-on-measurable-midpoint-convex-functions/",
  "writing": {
    "tag": "YBVSDT89T6",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}