Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
General position
Summary
In algebraic geometry and computational geometry, general position is a notion of genericity for a set of points, or other geometric objects. It means the general case situation, as opposed to some more special or coincidental cases that are possible, which is referred to as special position. Its precise meaning differs in different settings.
For example, generically, two lines in the plane intersect in a single point (they are not parallel or coincident). One also says "two generic lines intersect in a point", which is formalized by the notion of a generic point. Similarly, three generic points in the plane are not collinear; if three points are collinear (even stronger, if two coincide), this is a degenerate case.
This notion is important in mathematics and its applications, because degenerate cases may require an exceptional treatment; for example, when stating general theorems or giving precise statements thereof, and when writing computer programs (see generic complexity).
A set of points in a d-dimensional affine space (d-dimensional Euclidean space is a common example) is in general linear position (or just general position) if no k of them lie in a (k − 2)-dimensional flat for k = 2, 3, ..., d + 1. These conditions contain considerable redundancy since, if the condition holds for some value k0 then it also must hold for all k with 2 ≤ k ≤ k0. Thus, for a set containing at least d + 1 points in d-dimensional affine space to be in general position, it suffices that no hyperplane contains more than d points – i.e. the points do not satisfy any more linear relations than they must.
A set of at most d + 1 points in general linear position is also said to be affinely independent (this is the affine analog of linear independence of vectors, or more precisely of maximal rank), and d + 1 points in general linear position in affine d-space are an affine basis. See affine transformation for more.
Similarly, n vectors in an n-dimensional vector space are linearly independent if and only if the points they define in projective space (of dimension n − 1) are in general linear position.
Official source
About this result
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.
Ontological neighbourhood
Related courses (2)
MATH-213: Differential geometry
Ce cours est une introduction à la géométrie différentielle classique des courbes et des surfaces, principalement dans le plan et l'espace euclidien.
MATH-328: Algebraic geometry I - Curves
Algebraic geometry is the common language for many branches of modern research in mathematics. This course gives an introduction to this field by studying algebraic curves and their intersection theor
Related publications (18)
Related people (1)
Related concepts (12)
Conic section
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.
Bézout's theorem
Bézout's theorem is a statement in algebraic geometry concerning the number of common zeros of n polynomials in n indeterminates. In its original form the theorem states that in general the number of common zeros equals the product of the degrees of the polynomials. It is named after Étienne Bézout. In some elementary texts, Bézout's theorem refers only to the case of two variables, and asserts that, if two plane algebraic curves of degrees and have no component in common, they have intersection points, counted with their multiplicity, and including points at infinity and points with complex coordinates.
Five points determine a conic
In Euclidean and projective geometry, five points determine a conic (a degree-2 plane curve), just as two (distinct) points determine a line (a degree-1 plane curve). There are additional subtleties for conics that do not exist for lines, and thus the statement and its proof for conics are both more technical than for lines. Formally, given any five points in the plane in general linear position, meaning no three collinear, there is a unique conic passing through them, which will be non-degenerate; this is true over both the Euclidean plane and any pappian projective plane.