|
Veronese Surface
In mathematics, the Veronese surface is an algebraic surface in five-dimensional projective space, and is realized by the Veronese embedding, the embedding of the projective plane given by the complete linear system of conics. It is named after Giuseppe Veronese (1854–1917). Its generalization to higher dimension is known as the Veronese variety. The surface admits an embedding in the four-dimensional projective space defined by the projection from a general point in the five-dimensional space. Its general projection to three-dimensional projective space is called a Steiner surface. Definition The Veronese surface is the image of the mapping :\nu:\mathbb^2\to \mathbb^5 given by :\nu: :y:z\mapsto ^2:y^2:z^2:yz:xz:xy/math> where :\cdots/math> denotes homogeneous coordinates. The map \nu is known as the Veronese embedding. Motivation The Veronese surface arises naturally in the study of conics. A conic is a degree 2 plane curve, thus defined by an equation: :Ax^2 + Bxy + Cy^2 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field (mathematics)
In mathematics, a field is a set (mathematics), set on which addition, subtraction, multiplication, and division (mathematics), division are defined and behave as the corresponding operations on rational number, rational and real numbers. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics. The best known fields are the field of rational numbers, the field of real numbers and the field of complex numbers. Many other fields, such as field of rational functions, fields of rational functions, algebraic function fields, algebraic number fields, and p-adic number, ''p''-adic fields are commonly used and studied in mathematics, particularly in number theory and algebraic geometry. Most cryptographic protocols rely on finite fields, i.e., fields with finitely many element (set), elements. The theory of fields proves that angle trisection and squaring the circle cannot be done with a compass and straighte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Surfaces
In mathematics, an algebraic surface is an algebraic variety of dimension two. In the case of geometry over the field of complex numbers, an algebraic surface has complex dimension two (as a complex manifold, when it is non-singular) and so of dimension four as a smooth manifold. The theory of algebraic surfaces is much more complicated than that of algebraic curves (including the compact Riemann surfaces, which are genuine surfaces of (real) dimension two). Many results were obtained, but, in the Italian school of algebraic geometry , and are up to 100 years old. Classification by the Kodaira dimension In the case of dimension one, varieties are classified by only the topological genus, but, in dimension two, one needs to distinguish the arithmetic genus p_a and the geometric genus p_g because one cannot distinguish birationally only the topological genus. Then, irregularity is introduced for the classification of varieties. A summary of the results (in detail, for each ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Varieties
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 In algebraic geometry and commutative algebra, the Zariski topology is a topology defined on geometric objects called varieties. It is very different from topologies that are commonly used in real or complex analysis; in particular, it is not .... Under this definition, non-irreducible algebraic varieties are called algebraic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scorza Variety
In mathematics, a ''k''-Scorza variety is a smooth projective variety, of maximal dimension among those whose ''k''–1 secant varieties are not the whole of projective space. Scorza varieties were introduced and classified by , who named them after Gaetano Scorza. The special case of 2-Scorza varieties are sometimes called Severi varieties, after Francesco Severi. Classification Zak showed that ''k''-Scorza varieties are the projective varieties of the rank 1 matrices of rank ''k'' simple Jordan algebras. Severi varieties The Severi varieties are the non-singular varieties of dimension ''n'' (even) in P''N'' that can be isomorphically projected to a hyperplane and satisfy ''N''=3''n''/2+2. *Severi showed in 1901 that the only Severi variety with ''n''=2 is the Veronese surface in P5. *The only Severi variety with ''n''=4 is the Segre embedding of P2×P2 into P8, found by Scorza in 1908. *The only Segre variety with ''n''=8 is the 8-dimensional Grassmannian ''G''(1,5) of lines ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Zariski Topology
In algebraic geometry and commutative algebra, the Zariski topology is a topology defined on geometric objects called varieties. It is very different from topologies that are commonly used in real or complex analysis; in particular, it is not Hausdorff. This topology was introduced primarily by Oscar Zariski and later generalized for making the set of prime ideals of a commutative ring (called the spectrum of the ring) a topological space. The Zariski topology allows tools from topology to be used to study algebraic varieties, even when the underlying field is not a topological field. This is one of the basic ideas of scheme theory, which allows one to build general algebraic varieties by gluing together affine varieties in a way similar to that in manifold theory, where manifolds are built by gluing together charts, which are open subsets of real affine spaces. The Zariski topology of an algebraic variety is the topology whose closed sets are the algebraic subsets of t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Open Set
In mathematics, an open set is a generalization of an Interval (mathematics)#Definitions_and_terminology, open interval in the real line. In a metric space (a Set (mathematics), set with a metric (mathematics), distance defined between every two points), an open set is a set that, with every point in it, contains all points of the metric space that are sufficiently near to (that is, all points whose distance to is less than some value depending on ). More generally, an open set is a member of a given Set (mathematics), collection of Subset, subsets of a given set, a collection that has the property of containing every union (set theory), union of its members, every finite intersection (set theory), intersection of its members, the empty set, and the whole set itself. A set in which such a collection is given is called a topological space, and the collection is called a topology (structure), topology. These conditions are very loose, and allow enormous flexibility in the choice ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Regular Function
In algebraic geometry, a morphism between algebraic varieties is a function between the varieties that is given locally by polynomials. It is also called a regular map. A morphism from an algebraic variety to the affine line is also called a regular function. A regular map whose inverse is also regular is called biregular, and the biregular maps are the isomorphisms of algebraic varieties. Because regular and biregular are very restrictive conditions – there are no non-constant regular functions on projective varieties – the concepts of rational and birational maps are widely used as well; they are partial functions that are defined locally by rational fractions instead of polynomials. An algebraic variety has naturally the structure of a locally ringed space; a morphism between algebraic varieties is precisely a morphism of the underlying locally ringed spaces. Definition If ''X'' and ''Y'' are closed subvarieties of \mathbb^n and \mathbb^m (so they are affine vari ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Constructible Set (topology)
In topology, constructible sets are a class of subsets of a topological space that have a relatively "simple" structure. They are used particularly in algebraic geometry and related fields. A key result known as ''Chevalley's theorem'' in algebraic geometry shows that the image of a constructible set is constructible for an important class of map (mathematics), mappings (more specifically morphism of schemes, morphisms) of algebraic varieties (or more generally scheme (mathematics), schemes). In addition, a large number of "local" geometric properties of schemes, morphisms and sheaves are (locally) constructible. Constructible sets also feature in the definition of various types of constructible sheaf, constructible sheaves in algebraic geometry and intersection cohomology. Definitions A simple definition, adequate in many situations, is that a constructible set is a finite union (set theory), union of locally closed sets. (A set is locally closed if it is the intersection (set the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Twisted Cubic
In mathematics, a twisted cubic is a smooth, rational curve ''C'' of degree three in projective 3-space P3. It is a fundamental example of a skew curve. It is essentially unique, up to projective transformation (''the'' twisted cubic, therefore). In algebraic geometry, the twisted cubic is a simple example of a projective variety that is not linear or a hypersurface, in fact not a complete intersection. It is the three-dimensional case of the rational normal curve, and is the image of a Veronese map of degree three on the projective line. Definition The twisted cubic is most easily given parametrically as the image of the map :\nu:\mathbf^1\to\mathbf^3 which assigns to the homogeneous coordinate :T/math> the value :\nu: :T\mapsto ^3:S^2T:ST^2:T^3 In one coordinate patch of projective space, the map is simply the moment curve :\nu:x \mapsto (x,x^2,x^3) That is, it is the closure by a single point at infinity of the affine curve (x,x^2,x^3). The twisted cubic is a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parabola
In mathematics, a parabola is a plane curve which is Reflection symmetry, mirror-symmetrical and is approximately U-shaped. It fits several superficially different Mathematics, mathematical descriptions, which can all be proved to define exactly the same curves. One description of a parabola involves a Point (geometry), point (the Focus (geometry), focus) and a Line (geometry), line (the Directrix (conic section), directrix). The focus does not lie on the directrix. The parabola is the locus (mathematics), locus of points in that plane that are equidistant from the directrix and the focus. Another description of a parabola is as a conic section, created from the intersection of a right circular conical surface and a plane (geometry), plane Parallel (geometry), parallel to another plane that is tangential to the conical surface. The graph of a function, graph of a quadratic function y=ax^2+bx+ c (with a\neq 0 ) is a parabola with its axis parallel to the -axis. Conversely, every ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
