Hyperplane at infinity (original) (raw)
In geometry, any hyperplane H of a projective space P may be taken as a hyperplane at infinity. Then the set complement P ∖ H is called an affine space. For instance, if (x1, ..., xn, xn+1) are homogeneous coordinates for n-dimensional projective space, then the equation xn+1 = 0 defines a hyperplane at infinity for the n-dimensional affine space with coordinates (x1, ..., xn). H is also called the ideal hyperplane. In the projective space, each projective subspace of dimension k intersects the ideal hyperplane in a projective subspace "at infinity" whose dimension is k − 1.
| Property | Value |
|---|---|
| dbo:abstract | In geometry, any hyperplane H of a projective space P may be taken as a hyperplane at infinity. Then the set complement P ∖ H is called an affine space. For instance, if (x1, ..., xn, xn+1) are homogeneous coordinates for n-dimensional projective space, then the equation xn+1 = 0 defines a hyperplane at infinity for the n-dimensional affine space with coordinates (x1, ..., xn). H is also called the ideal hyperplane. Similarly, starting from an affine space A, every class of parallel lines can be associated with a point at infinity. The union over all classes of parallels constitute the points of the hyperplane at infinity. Adjoining the points of this hyperplane (called ideal points) to A converts it into an n-dimensional projective space, such as the real projective space RPn. By adding these ideal points, the entire affine space A is completed to a projective space P, which may be called the projective completion of A. Each affine subspace S of A is completed to a projective subspace of P by adding to S all the ideal points corresponding to the directions of the lines contained in S. The resulting projective subspaces are often called affine subspaces of the projective space P, as opposed to the infinite or ideal subspaces, which are the subspaces of the hyperplane at infinity (however, they are projective spaces, not affine spaces). In the projective space, each projective subspace of dimension k intersects the ideal hyperplane in a projective subspace "at infinity" whose dimension is k − 1. A pair of non-parallel affine hyperplanes intersect at an affine subspace of dimension n − 2, but a parallel pair of affine hyperplanes intersect at a projective subspace of the ideal hyperplane (the intersection lies on the ideal hyperplane). Thus, parallel hyperplanes, which did not meet in the affine space, intersect in the projective completion due to the addition of the hyperplane at infinity. (en) |
| dbo:wikiPageID | 713946 (xsd:integer) |
| dbo:wikiPageLength | 2731 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1113900213 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cambridge_University_Press dbr:Projective_space dbr:Geometry dbr:Parallel_(geometry) dbr:Line_at_infinity dbr:Affine_space dbc:Projective_geometry dbr:Hyperplane dbc:Infinity dbr:Homogeneous_coordinates dbr:Union_(set_theory) dbr:Plane_at_infinity dbr:Point_at_infinity dbr:Affine_subspace dbr:Set_complement |
| dbp:wikiPageUsesTemplate | dbt:ISBN dbt:Short_description |
| dcterms:subject | dbc:Projective_geometry dbc:Infinity |
| rdfs:comment | In geometry, any hyperplane H of a projective space P may be taken as a hyperplane at infinity. Then the set complement P ∖ H is called an affine space. For instance, if (x1, ..., xn, xn+1) are homogeneous coordinates for n-dimensional projective space, then the equation xn+1 = 0 defines a hyperplane at infinity for the n-dimensional affine space with coordinates (x1, ..., xn). H is also called the ideal hyperplane. In the projective space, each projective subspace of dimension k intersects the ideal hyperplane in a projective subspace "at infinity" whose dimension is k − 1. (en) |
| rdfs:label | Hyperplane at infinity (en) |
| owl:sameAs | freebase:Hyperplane at infinity wikidata:Hyperplane at infinity dbpedia-ro:Hyperplane at infinity https://global.dbpedia.org/id/4nfmb |
| prov:wasDerivedFrom | wikipedia-en:Hyperplane_at_infinity?oldid=1113900213&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Hyperplane_at_infinity |
| is dbo:wikiPageWikiLink of | dbr:List_of_algebraic_geometry_topics dbr:Barycentric_coordinate_system dbr:List_of_geometry_topics dbr:Erlangen_program dbr:Singularity_theory dbr:Line_at_infinity dbr:Affine_group dbr:Affine_space dbr:Affine_transformation dbr:Hypersurface dbr:Affine_geometry dbr:Affine_sphere dbr:Infinity dbr:Plane_at_infinity dbr:Point_at_infinity |
| is foaf:primaryTopic of | wikipedia-en:Hyperplane_at_infinity |