Math 2.0

Geometry Definition

Oval

Builds on Projective planeProjective conicOrder of a projective plane

Definition

Let Π\Pi be a projective plane. A line is a tangent of a set OO of points at P∈OP \in O if it meets OO only in PP. A set OO of points of Π\Pi is an oval if:

  1. every line of Π\Pi meets OO in at most two points;
  2. for every point P∈OP \in O there is exactly one tangent of OO at PP.

Remarks

If Π\Pi is finite of order nn, a set OO is an oval if and only if OO has n+1n + 1 points and no three of them on a line. Indeed, suppose OO has no three points on a line, and let P∈OP \in O. Of the n+1n + 1 lines through PP, exactly ∣O∣−1\abs{O} - 1 meet OO again. So PP has n+2−∣O∣n + 2 - \abs{O} tangents, and this equals 11 exactly when ∣O∣=n+1\abs{O} = n + 1.

Example: in PG(2,q)PG(2, q) the non-degenerate conic xz=y2xz = y^2 has the q+1q + 1 points [1:t:t2][1 : t : t^2], t∈𝔽qt \in \F_q, and [0:0:1][0 : 0 : 1]. A line ax+by+cz=0ax + by + cz = 0, with (a,b,c)≠0(a, b, c) \ne 0, meets it in the points [1:t:t2][1 : t : t^2] with a+bt+ct2=0a + bt + ct^2 = 0, and in [0:0:1][0 : 0 : 1] exactly when c=0c = 0. If c≠0c \ne 0, the polynomial has at most two roots. If c=0c = 0, it has at most one root, and the line also contains [0:0:1][0 : 0 : 1]. In both cases the line meets the conic in at most two points. So the conic is a set of q+1q + 1 points with no three on a line, hence an oval.

Non-example: three non-collinear points A,B,CA, B, C in PG(2,3)PG(2, 3). No line contains all three, so clause 1 holds. Through AA there are 44 lines, and only ABAB and ACAC meet the set again. So AA has two tangents, and clause 2 fails.

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. Order of a projective plane concept
  2. Projective conic concept
  3. Projective plane concept
  4. Oval definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Oval_(projective_plane)
About this page
TagJXRXV92WN5
URIm2://JXRXV92WN5
Kinddefinition
WritingW0 stub
MSC51E21, 51E15
DefinesOval
UsesProjective plane, Projective conic, Order of a projective plane

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.