{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $\\mathbb{K}$ be $\\R$ or $\\C$, and give $\\mathbb{K}^n$ its Euclidean topology.\nLet $E$ be a [[Hausdorff|0S1FJ8VEX9]] topological vector space over $\\mathbb{K}$ of [[finite dimension|0ZHWKQMVX5]] $n$.\nThen every [[linear isomorphism|0B8T10CE7N]] $T \\colon \\mathbb{K}^n \\to E$ is a [[homeomorphism|0QT00PB5G2]].\nIn particular, a finite-dimensional vector space over $\\mathbb{K}$ carries exactly one Hausdorff topology making it a topological vector space.\n\n## Remarks\n\nThe map $T(c_1, \\ldots, c_n) = c_1 e_1 + \\cdots + c_n e_n$ is continuous, because addition and scalar multiplication are continuous in $E$.\nFor the continuity of $T^{-1}$, let $S$ be the unit sphere of $\\mathbb{K}^n$; it is compact, so $T(S)$ is compact and does not contain $0$.\nSince $E$ is Hausdorff, there is a balanced neighbourhood $V$ of $0$ disjoint from $T(S)$.\nThen $T^{-1}(V)$ is balanced and misses $S$, so it lies in the open unit ball, which gives continuity of $T^{-1}$ at $0$.\nExample: all norms on $\\R^n$ define the same topology, since each makes $\\R^n$ a Hausdorff topological vector space.\nThe Hausdorff hypothesis is needed: $\\R$ with the indiscrete topology is a topological vector space.\nThe identity map from $\\R$ with the Euclidean topology to it is a continuous linear bijection, but not a homeomorphism.\nConsequences: every finite-dimensional subspace of a Hausdorff topological vector space is closed, and every linear map from a finite-dimensional Hausdorff topological vector space to any topological vector space is continuous.\n\n## Explanations\n\n### L1 human\n\nOn a finite-dimensional space there is only one reasonable way to say that vectors are close.\nWhatever Hausdorff topology you choose, as long as adding and scaling are continuous, you get back the usual topology of coordinates.\nSo in finite dimension, questions of topology reduce to questions about coordinates.\n\n### L2 human\n\nThis theorem explains why topology plays no role in finite-dimensional linear algebra and becomes important only in infinite dimension.\nIt contains the familiar fact that all norms on $\\R^n$ are equivalent, and it implies that [[finite-dimensional normed spaces are complete|0ABP2F2ZP7]] and that the [[Heine–Borel theorem holds in them|0PHT6NBYPB]].\nA companion result says that a Hausdorff topological vector space with a compact neighbourhood of $0$ must be finite-dimensional.\nTogether they show that local compactness singles out the finite-dimensional spaces.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "about": [
      "0ZHWKQMVX5"
    ],
    "kind": "statement",
    "msc": [
      "46A03",
      "46A16"
    ],
    "name": "Finite-dimensional Hausdorff vector topologies are Euclidean",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Topological_vector_space"
      }
    ],
    "tag": "ZNMN1YA83C",
    "uses": [
      "0S1FJ8VEX9",
      "0ZHWKQMVX5",
      "0B8T10CE7N",
      "0QT00PB5G2"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/ZNMN1YA83C/",
  "links": [
    {
      "field": "about",
      "target": "0ZHWKQMVX5"
    },
    {
      "field": "uses",
      "target": "0S1FJ8VEX9"
    },
    {
      "field": "uses",
      "target": "0ZHWKQMVX5"
    },
    {
      "field": "uses",
      "target": "0B8T10CE7N"
    },
    {
      "field": "uses",
      "target": "0QT00PB5G2"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/ZNMN1YA83C.md",
  "msc": [
    "46A03",
    "46A16"
  ],
  "name": "Finite-dimensional Hausdorff vector topologies are Euclidean",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/ZNM/ZNMN1YA83C.md",
  "status": null,
  "tag": "ZNMN1YA83C",
  "uri": "m2://ZNMN1YA83C",
  "url": "https://math2.tamnd.com/wiki/finite-dimensional-hausdorff-vector-topologies-are-euclidean/",
  "writing": {
    "tag": "ZNMN1YA83C",
    "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
      }
    ]
  }
}