Oval
Builds on Projective planeProjective conicOrder of a projective plane
Definition
Let be a projective plane. A line is a tangent of a set of points at if it meets only in . A set of points of is an oval if:
- every line of meets in at most two points;
- for every point there is exactly one tangent of at .
Remarks
If is finite of order , a set is an oval if and only if has points and no three of them on a line. Indeed, suppose has no three points on a line, and let . Of the lines through , exactly meet again. So has tangents, and this equals exactly when .
Example: in the non-degenerate conic has the points , , and . A line , with , meets it in the points with , and in exactly when . If , the polynomial has at most two roots. If , it has at most one root, and the line also contains . In both cases the line meets the conic in at most two points. So the conic is a set of points with no three on a line, hence an oval.
Non-example: three non-collinear points in . No line contains all three, so clause 1 holds. Through there are lines, and only and meet the set again. So 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
- no evidence level
- Order of a projective plane concept
- Projective conic concept
- Projective plane concept
- Oval definition
Further reading
About this page
| Tag | JXRXV92WN5 |
|---|---|
| URI | m2://JXRXV92WN5 |
| Kind | definition |
| Writing | W0 stub |
| MSC | 51E21, 51E15 |
| Defines | Oval |
| Uses | Projective 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.