{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Example\n\nThe *real projective plane* $\\mathbb{RP}^2$ is the set of 1-dimensional linear subspaces of $\\R^3$.\nA point is written in [[homogeneous coordinates|FS9FRJ17D2]] $[x : y : z]$ with $(x, y, z) \\ne (0, 0, 0)$, where $[x : y : z] = [\\lambda x : \\lambda y : \\lambda z]$ for every $\\lambda \\ne 0$.\nA line is the set of points of a 2-dimensional linear subspace of $\\R^3$, that is a set $\\set{[x : y : z] : ax + by + cz = 0}$ with $(a, b, c) \\ne (0, 0, 0)$.\n\nCheck of the axioms of a [[projective plane|DANFNN8C4Y]]:\n\n1. Two distinct points are two distinct lines through $0$ in $\\R^3$; they span exactly one plane through $0$, so they lie on exactly one line.\n2. Two distinct lines are two distinct planes through $0$; their intersection is exactly one line through $0$, so they meet in exactly one point.\n3. The four points $[1 : 0 : 0]$, $[0 : 1 : 0]$, $[0 : 0 : 1]$, $[1 : 1 : 1]$ have no three on a line, since any three of the vectors are linearly independent.\n\n## Remarks\n\nThe points with $z \\ne 0$ form a copy of the plane $\\R^2$ through $[x : y : z] \\mapsto (x/z, y/z)$.\nThe points with $z = 0$ form the line at infinity; two parallel lines of $\\R^2$ meet there, at the point given by their common direction.\nAs a topological space, $\\mathbb{RP}^2$ is the sphere $S^2$ with antipodal points identified, a special case of [[real projective space|1DDYB6VVSR]].\nIt is a compact surface that is not orientable: it contains a [[Möbius strip|04AJE0M271]], and it is obtained by gluing a disc to the boundary circle of a Möbius strip.\nIts [[Euler characteristic|RNDDWDAFJ5]] is $1$, and its fundamental group has order $2$.\nDesargues's theorem holds in $\\mathbb{RP}^2$, as in every projective plane over a field.\n\n## Explanations\n\n### L1 human\n\nThe real projective plane is the ordinary plane with one extra point added for each direction, where parallel lines going that way meet.\nThese extra points form one more line, the line at infinity.\nWith them, any two lines meet in exactly one point, with no exceptions for parallels.\nA picture of it: the set of lines through your eye, each line being one point of the projective plane.\nAs a surface it is strange: it cannot be built in ordinary space without crossing itself, and it has only one side.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "instance_of": [
      "DANFNN8C4Y"
    ],
    "kind": "example",
    "msc": [
      "51N15",
      "51A05"
    ],
    "name": "Real projective plane",
    "same_as": {
      "wikidata": "Q633815",
      "wikipedia": "Real projective plane"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Real_projective_plane"
      }
    ],
    "tag": "MWDB7RACWQ",
    "uses": [
      "FS9FRJ17D2",
      "1DDYB6VVSR",
      "04AJE0M271",
      "RNDDWDAFJ5"
    ]
  },
  "kind": "example",
  "link": "https://tamnd.github.io/math2/node/MWDB7RACWQ/",
  "links": [
    {
      "field": "instance_of",
      "target": "DANFNN8C4Y"
    },
    {
      "field": "uses",
      "target": "FS9FRJ17D2"
    },
    {
      "field": "uses",
      "target": "1DDYB6VVSR"
    },
    {
      "field": "uses",
      "target": "04AJE0M271"
    },
    {
      "field": "uses",
      "target": "RNDDWDAFJ5"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/MWDB7RACWQ.md",
  "msc": [
    "51N15",
    "51A05"
  ],
  "name": "Real projective plane",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/MWD/MWDB7RACWQ.md",
  "status": null,
  "tag": "MWDB7RACWQ",
  "uri": "m2://MWDB7RACWQ",
  "url": "https://tamnd.github.io/math2/wiki/real-projective-plane/",
  "writing": {
    "tag": "MWDB7RACWQ",
    "kind": "example",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}