{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $X$ be a connected [[Riemann surface|5K0N8QMV6Q]] that is not compact.\nThen $X$ is a [[Stein manifold|HMCD0JBFST]].\n\n## Remarks\n\nHeinrich Behnke and Karl Stein proved the theorem in 1949.\nThe core of the proof is a Runge-type approximation theorem on $X$.\nLet $K \\subseteq X$ be compact, and assume that $X \\setminus K$ has no relatively compact connected component.\nThen every function holomorphic near $K$ is a uniform limit on $K$ of holomorphic functions on $X$.\nWith it one constructs global holomorphic functions that separate points and that are unbounded on any given discrete sequence.\nThis gives the two conditions in the definition of a Stein manifold.\nExample: every connected open subset of a compact Riemann surface, other than the whole surface, carries a nonconstant holomorphic function.\nThis applies for instance to a torus minus a point.\nNoncompactness is necessary: on a compact Riemann surface every holomorphic function is constant.\nIn several variables the analogue fails: $\\C^2 \\setminus \\set{0}$ is a noncompact complex manifold that is not Stein.\nThe name Behnke–Stein theorem is also used for an earlier result of the same authors.\nIt says that the union of an increasing sequence of domains of holomorphy in $\\C^n$ is a domain of holomorphy.\n\n## Explanations\n\n### L1 human\n\nOn a compact Riemann surface, such as a sphere or a torus, there are no nonconstant holomorphic functions.\nThe theorem says that as soon as the surface is not compact, there are plenty of them, as many as on a domain in the plane.\nSo every open Riemann surface behaves, for function theory, like an open subset of $\\C$.\n\n### L2 human\n\nThe theorem makes the whole theory of Stein manifolds available for open Riemann surfaces.\nBy Cartan's theorem B, every additive and multiplicative Cousin problem is solvable on an open Riemann surface, because $H^2(X, \\Z) = 0$ for a noncompact surface.\nSo on an open Riemann surface, the theorems of Mittag-Leffler and Weierstrass hold: there are meromorphic functions with prescribed principal parts and holomorphic functions with prescribed zeros.\nBy the embedding theorem, every open Riemann surface is a closed complex submanifold of $\\C^3$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "5K0N8QMV6Q",
      "HMCD0JBFST"
    ],
    "kind": "statement",
    "msc": [
      "32Q28",
      "32E10",
      "30F99"
    ],
    "name": "Behnke–Stein theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Stein_manifold"
      }
    ],
    "tag": "GJD05AZWQN",
    "uses": [
      "5K0N8QMV6Q",
      "HMCD0JBFST"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/GJD05AZWQN/",
  "links": [
    {
      "field": "about",
      "target": "5K0N8QMV6Q"
    },
    {
      "field": "about",
      "target": "HMCD0JBFST"
    },
    {
      "field": "uses",
      "target": "5K0N8QMV6Q"
    },
    {
      "field": "uses",
      "target": "HMCD0JBFST"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/GJD05AZWQN.md",
  "msc": [
    "32Q28",
    "32E10",
    "30F99"
  ],
  "name": "Behnke–Stein theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/GJD/GJD05AZWQN.md",
  "status": null,
  "tag": "GJD05AZWQN",
  "uri": "m2://GJD05AZWQN",
  "url": "https://tamnd.github.io/math2/wiki/behnke-stein-theorem/",
  "writing": {
    "tag": "GJD05AZWQN",
    "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
      }
    ]
  }
}