{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "KYW1PV0SX5"
    }
  ],
  "body": "\n## Summary\n\nA supermartingale is an adapted, integrable [[stochastic process|0QH5ENKZM1]] whose [[conditional expectation|0TTDGTEFMN]] of a future value, given the present information, is at most the present value.\nIt models the fortune of a player in a game that is unfavourable or fair.\nA process is a supermartingale exactly when its negative is a [[submartingale|6M852B4RA8]].\nNon-negative supermartingales converge almost surely, a fact used throughout probability and potential theory.\n\n## Explanations\n\n### L1 human\n\nA supermartingale tends to go down, or at least not up, on average.\nIt is the right model for your money in a casino, where every game is slightly in favour of the house.\nGiven what you know now, the expected value of your fortune later is at most what you hold now.\nFor example, bet one unit on each toss of a coin that lands heads with probability $0.45$, and win the unit on heads or lose it on tails.\nYour fortune after each toss is a supermartingale, since each bet loses $0.1$ on average.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "kind": "concept",
    "msc": [
      "60G42",
      "60G44"
    ],
    "name": "Supermartingale",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Martingale_(probability_theory)"
      }
    ],
    "specializes": [
      "0QH5ENKZM1"
    ],
    "tag": "NSK7247MKX"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/NSK7247MKX/",
  "links": [
    {
      "field": "specializes",
      "target": "0QH5ENKZM1"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/NSK7247MKX.md",
  "msc": [
    "60G42",
    "60G44"
  ],
  "name": "Supermartingale",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/NSK/NSK7247MKX.md",
  "status": null,
  "tag": "NSK7247MKX",
  "uri": "m2://NSK7247MKX",
  "url": "https://math2.tamnd.com/wiki/supermartingale/",
  "writing": {
    "tag": "NSK7247MKX",
    "kind": "concept",
    "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
      }
    ]
  }
}