Hyperoval
Builds on Projective planeOrder of a projective planeOvalFano plane
Definition
Let be a finite projective plane of order . A hyperoval of is a set of points of such that no three of them lie on a line.
Remarks
Every line meets a hyperoval in or points. Suppose a line met in exactly one point . The other lines through would then cover the remaining points of , each at most one of them, which is impossible.
Example: in the Fano plane, of order , let be the four points off a fixed line . Any other line meets in one point, so it has exactly points in ; hence no three points of are collinear, and .
Non-example: has no hyperoval. More generally, a plane of odd order has none. Suppose were a hyperoval, and take a point outside . Every line through meets in or points, so these lines split into pairs. Then is even, while is odd.
For even, the tangents of an oval all pass through one point, its nucleus, and adding the nucleus gives a hyperoval.
Reading path
To understand this page from the ground up, read these 5 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Fano plane object
- Order of a projective plane concept
- Oval concept
- Projective plane concept
- Hyperoval definition
Further reading
About this page
| Tag | 8MGCGZP0E6 |
|---|---|
| URI | m2://8MGCGZP0E6 |
| Kind | definition |
| Writing | W0 stub |
| MSC | 51E21, 51E15 |
| Defines | Hyperoval |
| Uses | Projective plane, Order of a projective plane, Oval, Fano 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.