In geometry and topology, the line at infinity is a projective line that is added to the real (affine) plane in order to give closure to, and remove the exceptional cases from, the incidence properties of the resulting projective plane. The line at infinity is also called the ideal line.
In projective geometry, any pair of lines always intersects at some point, but parallel lines do not intersect in the real plane. The line at infinity is added to the real plane. This completes the plane, because now parallel lines intersect at a point which lies on the line at infinity. Also, if any pair of lines do not intersect at a point on the line, then the pair of lines are parallel.
Every line intersects the line at infinity at some point. The point at which the parallel lines intersect depends only on the slope of the lines, not at all on their y-intercept.
In the affine plane, a line extends in two opposite directions. In the projective plane, the two opposite directions of a line meet each other at a point on the line at infinity. Therefore, lines in the projective plane are closed curves, i.e., they are cyclical rather than linear. This is true of the line at infinity itself; it meets itself at its two endpoints (which are therefore not actually endpoints at all) and so it is actually cyclical.
The line at infinity can be visualized as a circle which surrounds the affine plane. However, diametrically opposite points of the circle are equivalent—they are the same point. The combination of the affine plane and the line at infinity makes the real projective plane, .
A hyperbola can be seen as a closed curve which intersects the line at infinity in two different points. These two points are specified by the slopes of the two asymptotes of the hyperbola. Likewise, a parabola can be seen as a closed curve which intersects the line at infinity in a single point. This point is specified by the slope of the axis of the parabola.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
A conic section, conic or a quadratic curve is a curve obtained from a cone's surface intersecting a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, though it was sometimes called as a fourth type. The ancient Greek mathematicians studied conic sections, culminating around 200 BC with Apollonius of Perga's systematic work on their properties. The conic sections in the Euclidean plane have various distinguishing properties, many of which can be used as alternative definitions.
In geometry, a pencil is a family of geometric objects with a common property, for example the set of lines that pass through a given point in a plane, or the set of circles that pass through two given points in a plane. Although the definition of a pencil is rather vague, the common characteristic is that the pencil is completely determined by any two of its members. Analogously, a set of geometric objects that are determined by any three of its members is called a bundle.
In geometry, a point at infinity or ideal point is an idealized limiting point at the "end" of each line. In the case of an affine plane (including the Euclidean plane), there is one ideal point for each pencil of parallel lines of the plane. Adjoining these points produces a projective plane, in which no point can be distinguished, if we "forget" which points were added. This holds for a geometry over any field, and more generally over any division ring. In the real case, a point at infinity completes a line into a topologically closed curve.
In this thesis, we study the homotopical relations of 2-categories, double categories, and their infinity-analogues. For this, we construct homotopy theories for the objects of interest, and show that there are homotopically full embeddings of 2-categories ...