Segre's theorem (original) (raw)
Der Satz von Segre, benannt nach dem italienischen Mathematiker Beniamino Segre, ist in der projektiven Geometrie die Aussage: * In einer endlichen pappusschen projektiven Ebene ungerader Ordnung ist jedes Oval ein Kegelschnitt. Die Aussage wurde 1949 von den finnischen Mathematikern G. Järnefelt und P. Kustaanheimo vermutet und ihr Beweis 1955 von B. Segre publiziert.
| Property | Value |
|---|---|
| dbo:abstract | Der Satz von Segre, benannt nach dem italienischen Mathematiker Beniamino Segre, ist in der projektiven Geometrie die Aussage: * In einer endlichen pappusschen projektiven Ebene ungerader Ordnung ist jedes Oval ein Kegelschnitt. Die Aussage wurde 1949 von den finnischen Mathematikern G. Järnefelt und P. Kustaanheimo vermutet und ihr Beweis 1955 von B. Segre publiziert. Eine endliche pappussche projektive Ebene kann man sich in inhomogenen Koordinaten wie die reelle projektive Ebene beschrieben denken, nur dass man statt der reellen Zahlen einen endlichen Körper benutzt. Ungerader Ordnung bedeutet, dass ungerade ist. Ein Oval ist eine kreisähnliche Kurve (s. u.): Eine Gerade schneidet höchstens 2-mal und in jedem Punkt gibt es genau eine Tangente. Die Standardbeispiele von Ovalen sind die nicht ausgearteten (projektiven) Kegelschnitte. Der Satz von Segre hat für endliche Ovale eine sehr große Bedeutung, da es im pappusschen ungeraden Fall außer den Kegelschnitten keine weiteren Ovale geben kann. Im Gegensatz zu geraden pappussche Ebenen: Hier gibt es Ovale, die keine Kegelschnitte sind (s. Satz von Qvist). In unendlichen pappusschen Ebenen gibt es Ovale, die keine Kegelschnitte sind. Im Reellen muss man nur einen Halbkreis glatt mit einer geeigneten Halbellipse zusammensetzen. Der Beweis des Satzes für den Nachweis, dass das gegebene Oval ein Kegelschnitt ist, wird mit Hilfe der 3-Punkte-Ausartung des Satzes von Pascal geführt. Dabei wird die für Körper ungerader Ordnung typische Eigenschaft, dass das Produkt aller Elemente, die nicht 0 sind, gleich −1 ist, verwendet. (de) In projective geometry, Segre's theorem, named after the Italian mathematician Beniamino Segre, is the statement: * Any oval in a finite pappian projective plane of odd order is a nondegenerate projective conic section. This statement was assumed 1949 by the two Finnish mathematicians and and its proof was published in 1955 by B. Segre. A finite pappian projective plane can be imagined as the projective closure of the real plane (by a line at infinity), where the real numbers are replaced by a finite field K. Odd order means that |K |
| dbo:thumbnail | wiki-commons:Special:FilePath/Oval-def-fin.svg?width=300 |
| dbo:wikiPageExternalLink | http://www-ma4.upc.es/~simeon/IFG.pdf |
| dbo:wikiPageID | 49713321 (xsd:integer) |
| dbo:wikiPageLength | 9948 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 963217497 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Projective_geometry dbr:Projective_plane dbr:Beniamino_Segre dbc:Articles_containing_proofs dbr:Conic_section dbr:Circle dbr:Ellipse dbr:Bijective dbr:Pappus's_hexagon_theorem dbr:Collinear dbr:Smoothness dbc:Projective_geometry dbr:Finite_field dbc:Conic_sections dbr:Oval_(projective_plane) dbr:Peter_Dembowski dbc:Incidence_geometry dbr:Characteristic_(algebra) dbr:Albrecht_Beutelspacher dbc:Theorems_in_projective_geometry dbr:Homogeneous_coordinates dbr:Real_numbers dbr:Gustaf_Järnefelt dbr:Pascal_theorem dbr:Paul_Kustaanheimo dbr:File:Oval-def-fin.svg dbr:File:Pascal-3p-proof.svg dbr:File:Pascal-3p.svg dbr:File:Segre-proof.svg |
| dbp:wikiPageUsesTemplate | dbt:! dbt:ISBN dbt:Main dbt:Math dbt:More_footnotes dbt:Mvar dbt:Reflist |
| dct:subject | dbc:Articles_containing_proofs dbc:Projective_geometry dbc:Conic_sections dbc:Incidence_geometry dbc:Theorems_in_projective_geometry |
| rdfs:comment | Der Satz von Segre, benannt nach dem italienischen Mathematiker Beniamino Segre, ist in der projektiven Geometrie die Aussage: * In einer endlichen pappusschen projektiven Ebene ungerader Ordnung ist jedes Oval ein Kegelschnitt. Die Aussage wurde 1949 von den finnischen Mathematikern G. Järnefelt und P. Kustaanheimo vermutet und ihr Beweis 1955 von B. Segre publiziert. (de) In projective geometry, Segre's theorem, named after the Italian mathematician Beniamino Segre, is the statement: * Any oval in a finite pappian projective plane of odd order is a nondegenerate projective conic section. This statement was assumed 1949 by the two Finnish mathematicians and and its proof was published in 1955 by B. Segre. In pappian projective planes of even order greater than four there are ovals which are not conics. In an infinite plane there exist ovals, which are not conics. In the real plane one just glues a half of a circle and a suitable ellipse smoothly. (en) |
| rdfs:label | Satz von Segre (Projektive Geometrie) (de) Segre's theorem (en) |
| owl:sameAs | yago-res:Segre's theorem wikidata:Segre's theorem dbpedia-de:Segre's theorem https://global.dbpedia.org/id/2B72b |
| prov:wasDerivedFrom | wikipedia-en:Segre's_theorem?oldid=963217497&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Oval-def-fin.svg wiki-commons:Special:FilePath/Pascal-3p-proof.svg wiki-commons:Special:FilePath/Pascal-3p.svg wiki-commons:Special:FilePath/Segre-proof.svg |
| foaf:isPrimaryTopicOf | wikipedia-en:Segre's_theorem |
| is dbo:knownFor of | dbr:Beniamino_Segre__Beniamino_Segre__1 |
| is dbo:wikiPageWikiLink of | dbr:Beniamino_Segre dbr:Arc_(projective_geometry) dbr:Galois_geometry dbr:Oval_(projective_plane) dbr:Ovoid_(projective_geometry) dbr:Non-Desarguesian_plane |
| is dbp:knownFor of | dbr:Beniamino_Segre |
| is foaf:primaryTopic of | wikipedia-en:Segre's_theorem |
