|
Polar Curve
In algebraic geometry, the first polar, or simply polar of an algebraic plane curve ''C'' of degree ''n'' with respect to a point ''Q'' is an algebraic curve of degree ''n''−1 which contains every point of ''C'' whose tangent line passes through ''Q''. It is used to investigate the relationship between the curve and its dual, for example in the derivation of the Plücker formulas. Definition Let ''C'' be defined in homogeneous coordinates by ''f''(''x, y, z'') = 0 where ''f'' is a homogeneous polynomial of degree ''n'', and let the homogeneous coordinates of ''Q'' be (''a'', ''b'', ''c''). Define the operator :\Delta_Q = a+b+c. Then Δ''Q''''f'' is a homogeneous polynomial of degree ''n''−1 and Δ''Q''''f''(''x, y, z'') = 0 defines a curve of degree ''n''−1 called the ''first polar'' of ''C'' with respect of ''Q''. If ''P''=(''p'', ''q'', ''r'') is a non-singular point on the curve ''C'' then the equation of the t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical problems about these sets of zeros. The fundamental objects of study in algebraic geometry are algebraic varieties, which are geometric manifestations of solutions of systems of polynomial equations. Examples of the most studied classes of algebraic varieties are: plane algebraic curves, which include lines, circles, parabolas, ellipses, hyperbolas, cubic curves like elliptic curves, and quartic curves like lemniscates and Cassini ovals. A point of the plane belongs to an algebraic curve if its coordinates satisfy a given polynomial equation. Basic questions involve the study of the points of special interest like the singular points, the inflection points and the points at infinity. More advanced questions involve the topology of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Plane Curve
In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane curve can be completed in a projective algebraic plane curve by homogenizing its defining polynomial. Conversely, a projective algebraic plane curve of homogeneous equation can be restricted to the affine algebraic plane curve of equation . These two operations are each inverse to the other; therefore, the phrase algebraic plane curve is often used without specifying explicitly whether it is the affine or the projective case that is considered. More generally, an algebraic curve is an algebraic variety of dimension one. Equivalently, an algebraic curve is an algebraic variety that is birationally equivalent to an algebraic plane curve. If the curve is contained in an affine space or a projective space, one can take a projection for such ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dual Curve
In projective geometry, a dual curve of a given plane curve is a curve in the dual projective plane consisting of the set of lines tangent to . There is a map from a curve to its dual, sending each point to the point dual to its tangent line. If is algebraic then so is its dual and the degree of the dual is known as the ''class'' of the original curve. The equation of the dual of , given in line coordinates, is known as the ''tangential equation'' of . Duality is an involution: the dual of the dual of is the original curve . The construction of the dual curve is the geometrical underpinning for the Legendre transformation in the context of Hamiltonian mechanics. Equations Let be the equation of a curve in homogeneous coordinates on the projective plane. Let be the equation of a line, with being designated its line coordinatesin a dual projective plane. The condition that the line is tangent to the curve can be expressed in the form which is the tangential equation of th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Plücker Formula
In mathematics, a Plücker formula, named after Julius Plücker, is one of a family of formulae, of a type first developed by Plücker in the 1830s, that relate certain numeric invariants of algebraic curves to corresponding invariants of their dual curves. The invariant called the genus, common to both the curve and its dual, is connected to the other invariants by similar formulae. These formulae, and the fact that each of the invariants must be a positive integer, place quite strict limitations on their possible values. Plücker invariants and basic equations A curve in this context is defined by a non-degenerate algebraic equation in the complex projective plane. Lines in this plane correspond to points in the dual projective plane and the lines tangent to a given algebraic curve ''C'' correspond to points in an algebraic curve ''C''* called the dual curve. In the correspondence between the projective plane and its dual, points on ''C'' correspond to lines tangent ''C''*, so the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homogeneous Coordinates
In mathematics, homogeneous coordinates or projective coordinates, introduced by August Ferdinand Möbius in his 1827 work , are a system of coordinates used in projective geometry, just as Cartesian coordinates are used in Euclidean geometry. They have the advantage that the coordinates of points, including points at infinity, can be represented using finite coordinates. Formulas involving homogeneous coordinates are often simpler and more symmetric than their Cartesian counterparts. Homogeneous coordinates have a range of applications, including computer graphics and 3D computer vision, where they allow affine transformations and, in general, projective transformations to be easily represented by a matrix. If homogeneous coordinates of a point are multiplied by a non-zero scalar then the resulting coordinates represent the same point. Since homogeneous coordinates are also given to points at infinity, the number of coordinates required to allow this extension is one more than ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homogeneous Polynomial
In mathematics, a homogeneous polynomial, sometimes called quantic in older texts, is a polynomial whose nonzero terms all have the same degree. For example, x^5 + 2 x^3 y^2 + 9 x y^4 is a homogeneous polynomial of degree 5, in two variables; the sum of the exponents in each term is always 5. The polynomial x^3 + 3 x^2 y + z^7 is not homogeneous, because the sum of exponents does not match from term to term. The function defined by a homogeneous polynomial is always a homogeneous function. An algebraic form, or simply form, is a function defined by a homogeneous polynomial. A binary form is a form in two variables. A ''form'' is also a function defined on a vector space, which may be expressed as a homogeneous function of the coordinates over any basis. A polynomial of degree 0 is always homogeneous; it is simply an element of the field or ring of the coefficients, usually called a constant or a scalar. A form of degree 1 is a linear form. A form of degree 2 is a quadratic fo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Singular Point Of An Algebraic Variety
In the mathematical field of algebraic geometry, a singular point of an algebraic variety is a point that is 'special' (so, singular), in the geometric sense that at this point the tangent space at the variety may not be regularly defined. In case of varieties defined over the reals, this notion generalizes the notion of local non-flatness. A point of an algebraic variety which is not singular is said to be regular. An algebraic variety which has no singular point is said to be non-singular or smooth. Definition A plane curve defined by an implicit equation :F(x,y)=0, where is a smooth function is said to be ''singular'' at a point if the Taylor series of has order at least at this point. The reason for this is that, in differential calculus, the tangent at the point of such a curve is defined by the equation :(x-x_0)F'_x(x_0,y_0) + (y-y_0)F'_y(x_0,y_0)=0, whose left-hand side is the term of degree one of the Taylor expansion. Thus, if this term is zero, the tangent may ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bézout's Theorem
Bézout's theorem is a statement in algebraic geometry concerning the number of common zeros of polynomials in 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 d_1 and d_2 have no component in common, they have d_1d_2 intersection points, counted with their multiplicity, and including points at infinity and points with complex coordinates. In its modern formulation, the theorem states that, if is the number of common points over an algebraically closed field of projective hypersurfaces defined by homogeneous polynomials in indeterminates, then is either infinite, or equals the product of the degrees of the polynomials. Moreover, the finite case occurs almost always. In the case of two var ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Taylor Series
In mathematics, the Taylor series or Taylor expansion of a function is an infinite sum of terms that are expressed in terms of the function's derivatives at a single point. For most common functions, the function and the sum of its Taylor series are equal near this point. Taylor series are named after Brook Taylor, who introduced them in 1715. A Taylor series is also called a Maclaurin series, when 0 is the point where the derivatives are considered, after Colin Maclaurin, who made extensive use of this special case of Taylor series in the mid-18th century. The partial sum formed by the first terms of a Taylor series is a polynomial of degree that is called the th Taylor polynomial of the function. Taylor polynomials are approximations of a function, which become generally better as increases. Taylor's theorem gives quantitative estimates on the error introduced by the use of such approximations. If the Taylor series of a function is convergent, its sum is the limit of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hessian Matrix
In mathematics, the Hessian matrix or Hessian is a square matrix of second-order partial derivatives of a scalar-valued function, or scalar field. It describes the local curvature of a function of many variables. The Hessian matrix was developed in the 19th century by the German mathematician Ludwig Otto Hesse and later named after him. Hesse originally used the term "functional determinants". Definitions and properties Suppose f : \R^n \to \R is a function taking as input a vector \mathbf \in \R^n and outputting a scalar f(\mathbf) \in \R. If all second-order partial derivatives of f exist, then the Hessian matrix \mathbf of f is a square n \times n matrix, usually defined and arranged as follows: \mathbf H_f= \begin \dfrac & \dfrac & \cdots & \dfrac \\ .2ex \dfrac & \dfrac & \cdots & \dfrac \\ .2ex \vdots & \vdots & \ddots & \vdots \\ .2ex \dfrac & \dfrac & \cdots & \dfrac \end, or, by stating an equation for the coefficients using indices i and j, (\mathbf H_f)_ = \fra ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Polar Hypersurface
In algebraic geometry, given a projective algebraic hypersurface In geometry, a hypersurface is a generalization of the concepts of hyperplane, plane curve, and surface. A hypersurface is a manifold or an algebraic variety of dimension , which is embedded in an ambient space of dimension , generally a Euclidean ... C described by the homogeneous equation : f(x_0,x_1,x_2,\dots) = 0 \, and a point : a = (a_0:a_1:a_2: \dots), its polar hypersurface ''P''''a''(''C'') is the hypersurface : a_0 f_0 + a_1 f_1 + a_2 f_2+\cdots = 0, \, where ''ƒ''''i'' are the partial derivatives. The intersection of ''C'' and ''P''''a''(''C'') is the set of points ''p'' such that the tangent at ''p'' to ''C'' meets ''a''. References *{{citation, authorlink=Igor Dolgachev, last=Dolgachev, first=Igor, url=http://www.math.lsa.umich.edu/~idolga/lecturenotes.html, title=Topics in classical algebraic geometry Projective geometry ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
