Math 2.0

Geometry Definition

Steiner conic

Builds on Projective planePerspectivityProjective space

Definition

Let Π\Pi be a projective plane. For a point UU, let B(U)B(U) be the pencil of all lines through UU. For a line gg, let R(g)R(g) be the range of all points on gg. For a point UU and a line gg not through UU, the maps B(U)→R(g)B(U) \to R(g), m↦m∩gm \mapsto m \cap g, and its inverse R(g)→B(U)R(g) \to B(U), P↦PUP \mapsto PU, are perspectivities. A projectivity B(U)→B(V)B(U) \to B(V) is a composition of finitely many such perspectivities. Let UU and VV be distinct points and let π ⁣:B(U)→B(V)\pi \colon B(U) \to B(V) be a projectivity with π(UV)≠UV\pi(UV) \ne UV. The Steiner conic of π\pi is the set of points C={m∩π(m):m∈B(U)}.C = \set{m \cap \pi(m) : m \in B(U)}.

Remarks

The condition π(UV)≠UV\pi(UV) \ne UV makes mm and π(m)\pi(m) distinct lines for every mm, so each intersection is a single point. The points UU and VV lie on CC: UV∩π(UV)=VUV \cap \pi(UV) = V, and the line mm with π(m)=UV\pi(m) = UV gives m∩UV=Um \cap UV = U.

Example: in the projective plane over a field FF, let U=[1:0:0]U = [1 : 0 : 0] and V=[0:0:1]V = [0 : 0 : 1]. The lines through UU are by+cz=0by + cz = 0 and the lines through VV are ax+by=0ax + by = 0, with (b,c)(b, c) and (a,b)(a, b) up to scaling. Let π\pi send by+cz=0by + cz = 0 to bx+cy=0bx + cy = 0; this map is linear in the parameters, and over a field such maps are projectivities. The line UVUV is y=0y = 0, and π\pi sends it to x=0x = 0, so π(UV)≠UV\pi(UV) \ne UV. Solving by+cz=0by + cz = 0 and bx+cy=0bx + cy = 0 with t=−c/bt = -c/b gives the points [t2:t:1][t^2 : t : 1], and b=0b = 0 gives UU. So CC is the conic xz=y2xz = y^2.

Non-example: let aa be a line through neither UU nor VV, and let π(m)\pi(m) be the line joining VV to m∩am \cap a. Then π(UV)=UV\pi(UV) = UV, so the condition fails. For m≠UVm \ne UV the point m∩π(m)m \cap \pi(m) is m∩am \cap a, so these points are the points of the line aa other than a∩UVa \cap UV, not a conic.

In a plane over a field, Steiner's theorem says that the Steiner conics are exactly the non-degenerate projective conics.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Perspectivity concept
  2. Projective plane concept
  3. Projective space concept
  4. Steiner conic definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Steiner_conic
About this page
TagZAZFMK7C67
URIm2://ZAZFMK7C67
Kinddefinition
WritingW0 stub
MSC51A30, 51N15
DefinesSteiner conic
UsesProjective plane, Perspectivity, Projective space

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.