Tangent Cone
In geometry, the tangent cone is a generalization of the notion of the tangent space to a manifold to the case of certain spaces with singularities. Definitions in nonlinear analysis In nonlinear analysis, there are many definitions for a tangent cone, including the adjacent cone, Bouligand's contingent cone, and the Clarke tangent cone. These three cones coincide for a convex set, but they can differ on more general sets. Clarke tangent cone Let A be a nonempty closed subset of the Banach space X. The Clarke's tangent cone to A at x_0\in A, denoted by \widehat_A(x_0) consists of all vectors v\in X, such that for any sequence \_\subset\mathbb tending to zero, and any sequence \_\subset A tending to x_0, there exists a sequence \_\subset X tending to v, such that for all n\ge 1 holds x_n+t_nv_n\in A Clarke's tangent cone is always subset of the corresponding contingent cone (and coincides with it, when the set in question is convex). It has the important property of being a c ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is called a ''geometer''. Until the 19th century, geometry was almost exclusively devoted to Euclidean geometry, which includes the notions of point, line, plane, distance, angle, surface, and curve, as fundamental concepts. During the 19th century several discoveries enlarged dramatically the scope of geometry. One of the oldest such discoveries is Carl Friedrich Gauss' ("remarkable theorem") that asserts roughly that the Gaussian curvature of a surface is independent from any specific embedding in a Euclidean space. This implies that surfaces can be studied ''intrinsically'', that is, as stand-alone spaces, and has been expanded into the theory of manifolds and Riemannian geometry. Later in the 19th century, it appeared that geometries ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Node (algebraic Geometry)
In the mathematical field of 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 ..., 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 flatness, 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 Power series#Order of a power series, order at least ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Monge Cone
In the mathematical theory of partial differential equations (PDE), the Monge cone is a geometrical object associated with a first-order equation. It is named for Gaspard Monge. In two dimensions, let :F(x,y,u,u_x,u_y) = 0\qquad\qquad (1) be a PDE for an unknown real-valued function ''u'' in two variables ''x'' and ''y''. Assume that this PDE is non-degenerate in the sense that F_ and F_ are not both zero in the domain of definition. Fix a point (''x''0, ''y''0, ''z''0) and consider solution functions ''u'' which have :z_0 = u(x_0, y_0).\qquad\qquad (2) Each solution to (1) satisfying (2) determines the tangent plane to the graph :z = u(x,y)\, through the point x_0,y_0,z_0. As the pair (''u''''x'', ''u''''y'') solving (1) varies, the tangent planes envelope a cone in R3 with vertex at x_0, y_0, z_0, called the Monge cone. When ''F'' is quasilinear, the Monge cone degenerates to a single line called the Monge axis. Otherwise, the Monge cone is a proper cone since a nontrivial ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cone
A cone is a three-dimensional geometric shape that tapers smoothly from a flat base (frequently, though not necessarily, circular) to a point called the apex or vertex. A cone is formed by a set of line segments, half-lines, or lines connecting a common point, the apex, to all of the points on a base that is in a plane that does not contain the apex. Depending on the author, the base may be restricted to be a circle, any one-dimensional quadratic form in the plane, any closed one-dimensional figure, or any of the above plus all the enclosed points. If the enclosed points are included in the base, the cone is a solid object; otherwise it is a two-dimensional object in three-dimensional space. In the case of a solid object, the boundary formed by these lines or partial lines is called the ''lateral surface''; if the lateral surface is unbounded, it is a conical surface. In the case of line segments, the cone does not extend beyond the base, while in the case of half-lin ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Completion (ring Theory)
In abstract algebra, a completion is any of several related functors on rings and modules that result in complete topological rings and modules. Completion is similar to localization, and together they are among the most basic tools in analysing commutative rings. Complete commutative rings have a simpler structure than general ones, and Hensel's lemma applies to them. In algebraic geometry, a completion of a ring of functions ''R'' on a space ''X'' concentrates on a formal neighborhood of a point of ''X'': heuristically, this is a neighborhood so small that ''all'' Taylor series centered at the point are convergent. An algebraic completion is constructed in a manner analogous to completion of a metric space with Cauchy sequences, and agrees with it in the case when ''R'' has a metric given by a non-Archimedean absolute value. General construction Suppose that ''E'' is an abelian group with a descending filtration : E = F^0 E \supset F^1 E \supset F^2 E \supset \cdots \, of s ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Associated Graded Ring
In mathematics, the associated graded ring of a ring ''R'' with respect to a proper ideal ''I'' is the graded ring: :\operatorname_I R = \oplus_^\infty I^n/I^. Similarly, if ''M'' is a left ''R''-module, then the associated graded module is the graded module over \operatorname_I R: :\operatorname_I M = \oplus_^\infty I^n M/ I^ M. Basic definitions and properties For a ring ''R'' and ideal ''I'', multiplication in \operatorname_IR is defined as follows: First, consider homogeneous elements a \in I^i/I^ and b \in I^j/I^ and suppose a' \in I^i is a representative of ''a'' and b' \in I^j is a representative of ''b''. Then define ab to be the equivalence class of a'b' in I^/I^. Note that this is well-defined modulo I^. Multiplication of inhomogeneous elements is defined by using the distributive property. A ring or module may be related to its associated graded ring or module through the initial form map. Let ''M'' be an ''R''-module and ''I'' an ideal of ''R''. Given f \in M, the ini ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Spectrum Of A Ring
In commutative algebra, the prime spectrum (or simply the spectrum) of a ring ''R'' is the set of all prime ideals of ''R'', and is usually denoted by \operatorname; in algebraic geometry it is simultaneously a topological space equipped with the sheaf of rings \mathcal. Zariski topology For any ideal ''I'' of ''R'', define V_I to be the set of prime ideals containing ''I''. We can put a topology on \operatorname(R) by defining the collection of closed sets to be :\. This topology is called the Zariski topology. A basis for the Zariski topology can be constructed as follows. For ''f'' ∈ ''R'', define ''D''''f'' to be the set of prime ideals of ''R'' not containing ''f''. Then each ''D''''f'' is an open subset of \operatorname(R), and \ is a basis for the Zariski topology. \operatorname(R) is a compact space, but almost never Hausdorff: in fact, the maximal ideals in ''R'' are precisely the closed points in this topology. By the same reasoning, it is not, in general, a ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Local Ring
In abstract algebra, more specifically ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on varieties or manifolds, or of algebraic number fields examined at a particular place, or prime. Local algebra is the branch of commutative algebra that studies commutative local rings and their modules. In practice, a commutative local ring often arises as the result of the localization of a ring at a prime ideal. The concept of local rings was introduced by Wolfgang Krull in 1938 under the name ''Stellenringe''. The English term ''local ring'' is due to Zariski. Definition and first consequences A ring ''R'' is a local ring if it has any one of the following equivalent properties: * ''R'' has a unique maximal left ideal. * ''R'' has a unique maximal right ideal. * 1 ≠ 0 and the sum of any two non-units in ''R'' is a non-unit. * 1 ≠ 0 and if ''x'' is any element of ''R ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Algebraic Variety
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition. Conventions regarding the definition of an algebraic variety differ slightly. For example, some definitions require an algebraic variety to be irreducible, which means that it is not the union of two smaller sets that are closed in the Zariski topology. Under this definition, non-irreducible algebraic varieties are called algebraic sets. Other conventions do not require irreducibility. The fundamental theorem of algebra establishes a link between algebra and geometry by showing that a monic polynomial (an algebraic object) in one variable with complex number coefficients is determined ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Scheme (mathematics)
In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities (the equations ''x'' = 0 and ''x''2 = 0 define the same algebraic variety but different schemes) and allowing "varieties" defined over any commutative ring (for example, Fermat curves are defined over the integers). Scheme theory was introduced by Alexander Grothendieck in 1960 in his treatise "Éléments de géométrie algébrique"; one of its aims was developing the formalism needed to solve deep problems of algebraic geometry, such as the Weil conjectures (the last of which was proved by Pierre Deligne). Strongly based on commutative algebra, scheme theory allows a systematic use of methods of topology and homological algebra. Scheme theory also unifies algebraic geometry with much of number theory, which eventually led to Wiles's proof of Fermat's Last Theorem. Formally, a scheme is a topological space together with ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Noetherian
In mathematics, the adjective Noetherian is used to describe Category_theory#Categories.2C_objects.2C_and_morphisms, objects that satisfy an ascending chain condition, ascending or descending chain condition on certain kinds of subobjects, meaning that certain ascending or descending sequences of subobjects must have finite length. Noetherian objects are named after Emmy Noether, who was the first to study the ascending and descending chain conditions for rings. Specifically: * Noetherian group, a Group (mathematics), group that satisfies the ascending chain condition on subgroups. * Noetherian ring, a Ring (mathematics), ring that satisfies the ascending chain condition on ideals. * Noetherian module, a Module (mathematics), module that satisfies the ascending chain condition on submodules. * More generally, an object in a Category (mathematics), category is said to be Noetherian if there is no infinitely increasing filtration of it by subobjects. A category is Noetherian if every ob ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Zariski Tangent Space
In algebraic geometry, the Zariski tangent space is a construction that defines a tangent space at a point ''P'' on an algebraic variety ''V'' (and more generally). It does not use differential calculus, being based directly on abstract algebra, and in the most concrete cases just the theory of a system of linear equations. Motivation For example, suppose given a plane curve ''C'' defined by a polynomial equation :''F''(''X,Y'') ''= 0'' and take ''P'' to be the origin (0,0). Erasing terms of higher order than 1 would produce a 'linearised' equation reading :''L''(''X,Y'') ''= 0'' in which all terms ''XaYb'' have been discarded if ''a + b > 1''. We have two cases: ''L'' may be 0, or it may be the equation of a line. In the first case the (Zariski) tangent space to ''C'' at (0,0) is the whole plane, considered as a two-dimensional affine space. In the second case, the tangent space is that line, considered as affine space. (The question of the origin comes up, when we take ''P' ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |