{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "B7PZV00FP4"
    },
    {
      "field": "uses",
      "target": "Y63847Z06N"
    }
  ],
  "body": "\n## Summary\n\nEvery [[topological group|92700QAB5Y]] carries natural [[uniform structures|A54T86KS63]] that induce its topology.\nThe left uniformity declares $x$ and $y$ close when $x^{-1} y$ is close to the identity, and the right uniformity uses $y x^{-1}$ instead.\nThese uniformities give meaning to Cauchy nets, uniform continuity and completeness without any metric.\nFor abelian groups the two uniformities agree.\n\n## Explanations\n\n### L1 human\n\nIn a metric space you can compare distances at different places: two points here are as close as two points there.\nA general topological group has no metric, but it has a group law, and that is enough.\nTwo elements are declared close when one is obtained from the other by multiplying by an element near the identity.\nFor the real line under addition, this says that $x$ and $y$ are close when $y - x$ is small, which is the usual notion.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "22A05",
      "54E15"
    ],
    "name": "Uniform structure of a topological group",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Uniform_space"
      }
    ],
    "specializes": [
      "A54T86KS63"
    ],
    "tag": "P89SJ7JWJE"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/P89SJ7JWJE/",
  "links": [
    {
      "field": "specializes",
      "target": "A54T86KS63"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/P89SJ7JWJE.md",
  "msc": [
    "22A05",
    "54E15"
  ],
  "name": "Uniform structure of a topological group",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/P89/P89SJ7JWJE.md",
  "status": null,
  "tag": "P89SJ7JWJE",
  "uri": "m2://P89SJ7JWJE",
  "url": "https://tamnd.github.io/math2/wiki/uniform-structure-of-a-topological-group/",
  "writing": {
    "tag": "P89SJ7JWJE",
    "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
      }
    ]
  }
}