{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Definition\n\nLet $K$ be a field, and let $A$ be an [[affine space|09XNAPTJQ7]] over a vector space $V$ over $K$. Let $S$ be a nonempty subset of $A$.\nThe affine span of $S$, written $\\operatorname{aff}(S)$, is the intersection of all [[affine subspaces|0PYW26VNT6]] of $A$ that contain $S$.\nIt is the smallest affine subspace of $A$ that contains $S$.\n\n## Remarks\n\nThe affine span of $S$ is the set of all [[affine combinations|0KJH6SRFZK]] of finitely many points of $S$.\nIn $\\mathbb{R}^3$: the affine span of two distinct points is the line through them. The span of three points that are not on one line is the plane through them. The span of four points that are not in one plane is all of $\\mathbb{R}^3$.\nFor each point $p$ of $S$, the affine span is $p + W$, where $W$ is the linear span of the vectors $q - p$ for $q \\in S$.\nMathlib also defines the affine span of the empty set: it is the empty affine subspace.\n\n## Explanations\n\n### L1 human\n\nThe affine span is the flat object that the given points determine. Two points give a line, and three points in general position give a plane. Compare it with the linear span of vectors, which must always pass through the origin.\n",
  "commit": "6ac761d40018146541484a9e8b9eafd6ecc303dc",
  "front": {
    "defines": "0YMB1676R1",
    "kind": "definition",
    "msc": [
      "51N10"
    ],
    "name": "Affine span",
    "sources": [
      {
        "locator": "lead section",
        "url": "https://en.wikipedia.org/wiki/Affine_hull"
      }
    ],
    "tag": "0FFAE5P6R4",
    "uses": [
      "0PYW26VNT6",
      "0KJH6SRFZK"
    ]
  },
  "kind": "definition",
  "link": "https://math2.tamnd.com/node/0FFAE5P6R4/",
  "links": [
    {
      "field": "defines",
      "target": "0YMB1676R1"
    },
    {
      "field": "uses",
      "target": "0PYW26VNT6"
    },
    {
      "field": "uses",
      "target": "0KJH6SRFZK"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/0FFAE5P6R4.md",
  "msc": [
    "51N10"
  ],
  "name": "Affine span",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/0FF/0FFAE5P6R4.md",
  "status": null,
  "tag": "0FFAE5P6R4",
  "uri": "m2://0FFAE5P6R4",
  "url": "https://math2.tamnd.com/wiki/affine-span-definition/",
  "writing": {
    "tag": "0FFAE5P6R4",
    "kind": "definition",
    "level": "W1",
    "next": [
      {
        "what": "edge instance_of in",
        "note": "one example",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge not_instance_of in",
        "note": "one non-example that fails one clause",
        "have": 0,
        "want": 1
      }
    ]
  }
}