{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "041JTZCK9Q"
    },
    {
      "field": "uses",
      "target": "06HTJNCMPA"
    },
    {
      "field": "uses",
      "target": "0APN65D6Y6"
    }
  ],
  "body": "\n## Definition\n\nLet $F$ be a field, let $V$ be a vector space over $F$, and let $U$ and $W$ be [[linear subspaces|00YC1D652K]] of $V$.\nThe *sum* of $U$ and $W$ is\n$$U + W = \\{u + w : u \\in U, \\ w \\in W\\}.$$\nFor subspaces $U_1, \\dots, U_k$, the sum is $U_1 + \\cdots + U_k = \\{u_1 + \\cdots + u_k : u_i \\in U_i\\}$.\n\n## Remarks\n\nThe sum $U + W$ is a subspace, and it is the smallest subspace of $V$ that contains $U \\cup W$.\nThe sum is the [[span|0DTY8B9HMS]] of $U \\cup W$.\nWhen $U \\cap W = \\{0\\}$, the sum is a [[direct sum|0XYYT5KNTX]].\nFor finite-dimensional subspaces, [[Grassmann's formula|06HTJNCMPA]] gives $\\dim(U + W) = \\dim U + \\dim W - \\dim(U \\cap W)$.\n\n## Explanations\n\n### L1 human\n\nThe sum of two subspaces collects every vector that we can build from one piece in each subspace.\nIn space, the sum of two different lines through the origin is the plane that contains both lines.\nIt is the smallest subspace that holds both subspaces.\n",
  "commit": "f591989ed15704e9d8755a7a5a6426d73de7a3ae",
  "front": {
    "defines": "0JMTY8MF54",
    "kind": "definition",
    "msc": [
      "15A03"
    ],
    "name": "Sum of subspaces",
    "sources": [
      {
        "locator": "Operations and relations on subspaces",
        "url": "https://en.wikipedia.org/wiki/Linear_subspace"
      }
    ],
    "tag": "0RMKABS2S5",
    "uses": [
      "0EPTJA5QV4"
    ]
  },
  "kind": "definition",
  "link": "https://math2.tamnd.com/node/0RMKABS2S5/",
  "links": [
    {
      "field": "defines",
      "target": "0JMTY8MF54"
    },
    {
      "field": "uses",
      "target": "0EPTJA5QV4"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/0RMKABS2S5.md",
  "msc": [
    "15A03"
  ],
  "name": "Sum of subspaces",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/0RM/0RMKABS2S5.md",
  "status": null,
  "tag": "0RMKABS2S5",
  "uri": "m2://0RMKABS2S5",
  "url": "https://math2.tamnd.com/wiki/sum-of-subspaces-definition/",
  "writing": {
    "tag": "0RMKABS2S5",
    "kind": "definition",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      }
    ]
  }
}