{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Definition\n\nLet $V$ and $W$ be vector spaces of the same finite dimension over a field $k$.\nLet $\\mathbb{P}(V)$ and $\\mathbb{P}(W)$ be their [[projective spaces|ZT9A6JK8QF]].\nFor a nonzero vector $v$, write $[v]$ for the point spanned by $v$.\nA *projective transformation* (or *homography*) from $\\mathbb{P}(V)$ to $\\mathbb{P}(W)$ is a map of the form\n$$[v] \\mapsto [T v],$$\nwhere $T \\colon V \\to W$ is an invertible linear map.\n\n## Remarks\n\nThe map is well defined, since $T(\\lambda v) = \\lambda T v$, and it is a bijection.\nIn coordinates, a projective transformation of $\\mathbb{P}^n(k)$ is $[x] \\mapsto [A x]$ for an [[invertible matrix|0EB9N0S33C]] $A$ of size $n + 1$.\nTwo matrices give the same map exactly when they differ by a nonzero scalar factor.\nSo the projective transformations of $\\mathbb{P}^n(k)$ form the group $\\mathrm{PGL}(n + 1, k) = \\mathrm{GL}(n + 1, k) / k^{\\times}$, a quotient of the [[general linear group|0FCHE902D7]].\n\nExample: on $\\mathbb{P}^1(\\C)$, with $z = x_0 / x_1$, the matrix $\\begin{pmatrix} a \u0026 b \\\\ c \u0026 d \\end{pmatrix}$ with $ad - bc \\ne 0$ gives $z \\mapsto (az + b)/(cz + d)$.\nCheck: $[x_0 : x_1] \\mapsto [a x_0 + b x_1 : c x_0 + d x_1]$, and dividing gives $(az + b)/(cz + d)$.\n\nNon-example: on $\\mathbb{P}^2(\\C)$ the map $[x_0 : x_1 : x_2] \\mapsto [\\bar x_0 : \\bar x_1 : \\bar x_2]$ is a bijection that maps lines to lines, but it is not a projective transformation.\nIt fixes the four points $[1:0:0]$, $[0:1:0]$, $[0:0:1]$, $[1:1:1]$ without being the identity.\nA projective transformation of the plane that fixes four points in general position is the identity, so this map is not one.\n\nEvery projective transformation maps projective subspaces to projective subspaces of the same dimension and preserves the [[cross-ratio|09ASMRMD67]].\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "defines": "P1MKTF7MWQ",
    "kind": "definition",
    "msc": [
      "51N15",
      "51A10"
    ],
    "name": "Projective transformation",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Homography"
      }
    ],
    "tag": "T7B1WJVT9Z",
    "uses": [
      "ZT9A6JK8QF",
      "0EB9N0S33C",
      "0FCHE902D7"
    ]
  },
  "kind": "definition",
  "link": "https://tamnd.github.io/math2/node/T7B1WJVT9Z/",
  "links": [
    {
      "field": "defines",
      "target": "P1MKTF7MWQ"
    },
    {
      "field": "uses",
      "target": "ZT9A6JK8QF"
    },
    {
      "field": "uses",
      "target": "0EB9N0S33C"
    },
    {
      "field": "uses",
      "target": "0FCHE902D7"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/T7B1WJVT9Z.md",
  "msc": [
    "51N15",
    "51A10"
  ],
  "name": "Projective transformation",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/T7B/T7B1WJVT9Z.md",
  "status": null,
  "tag": "T7B1WJVT9Z",
  "uri": "m2://T7B1WJVT9Z",
  "url": "https://tamnd.github.io/math2/wiki/projective-transformation-definition/",
  "writing": {
    "tag": "T7B1WJVT9Z",
    "kind": "definition",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}