|
Ovoid (projective Geometry)
In projective geometry an ovoid is a sphere like pointset (surface) in a projective space of dimension . Simple examples in a real projective space are hyperspheres (quadrics). The essential geometric properties of an ovoid \mathcal O are: # Any line intersects \mathcal O in at most 2 points, # The tangents at a point cover a hyperplane (and nothing more), and # \mathcal O contains no lines. Property 2) excludes degenerated cases (cones,...). Property 3) excludes ruled surfaces (hyperboloids of one sheet, ...). An ovoid is the spatial analog of an oval in a projective plane. An ovoid is a special type of a ''quadratic set.'' Ovoids play an essential role in constructing examples of Möbius planes and higher dimensional Möbius geometries. Definition of an ovoid * In a projective space of dimension a set \mathcal O of points is called an ovoid, if : (1) Any line meets \mathcal O in at most 2 points. In the case of , g\cap\mathcal O, =0, the line is called a ''passing'' (o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quadric
In mathematics, a quadric or quadric surface (quadric hypersurface in higher dimensions), is a generalization of conic sections (ellipses, parabolas, and hyperbolas). It is a hypersurface (of dimension ''D'') in a -dimensional space, and it is defined as the zero set of an irreducible polynomial of degree two in ''D'' + 1 variables; for example, in the case of conic sections. When the defining polynomial is not absolutely irreducible, the zero set is generally not considered a quadric, although it is often called a ''degenerate quadric'' or a ''reducible quadric''. In coordinates , the general quadric is thus defined by the algebraic equationSilvio LevQuadricsin "Geometry Formulas and Facts", excerpted from 30th Edition of ''CRC Standard Mathematical Tables and Formulas'', CRC Press, from The Geometry Center at University of Minnesota : \sum_^ x_i Q_ x_j + \sum_^ P_i x_i + R = 0 which may be compactly written in vector and matrix notation as: : x Q x^\mathrm + P x^\mathrm + ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Oval (projective Plane)
In projective geometry an oval is a point set in a plane that is defined by incidence properties. The standard examples are the nondegenerate conics. However, a conic is only defined in a pappian plane, whereas an oval may exist in any type of projective plane. In the literature, there are many criteria which imply that an oval is a conic, but there are many examples, both infinite and finite, of ovals in pappian planes which are not conics. As mentioned, in projective geometry an oval is defined by incidence properties, but in other areas, ovals may be defined to satisfy other criteria, for instance, in differential geometry by differentiability conditions in the real plane. The higher dimensional analog of an oval is an ovoid in a projective space. A generalization of the oval concept is an abstract oval, which is a structure that is not necessarily embedded in a projective plane. Indeed, there exist abstract ovals which can not lie in any projective plane. Definition of a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quadratic Set
In mathematics, a quadratic set is a set of points in a projective space that bears the same essential incidence properties as a quadric (conic section in a projective plane, sphere or cone or hyperboloid in a projective space). Definition of a quadratic set Let \mathfrak P=(,,\in) be a projective space. A quadratic set is a non-empty subset of for which the following two conditions hold: :(QS1) Every line g of intersects in at most two points or is contained in . ::(g is called exterior to if , g\cap , =0, tangent to if either , g\cap , =1 or g\cap =g, and secant to if , g\cap , =2.) :(QS2) For any point P\in the union _P of all tangent lines through P is a hyperplane or the entire space . A quadratic set is called non-degenerate if for every point P\in , the set _P is a hyperplane. A Pappian projective space is a projective space in which Pappus's hexagon theorem holds. The following result, due to Francis Buekenhout, is an astonishing statement for finite projective ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Möbius Plane
In mathematics, a Möbius plane (named after August Ferdinand Möbius) is one of the Benz planes: Möbius plane, Laguerre plane and Minkowski plane. The classical example is based on the geometry of lines and circles in the real affine plane. A second name for Möbius plane is inversive plane. It is due to the existence of ''inversions'' in the classical Möbius plane. An inversion is an involutory mapping which leaves the points of a circle or line fixed (see below). Relation to affine planes Affine planes are systems of points and lines that satisfy, amongst others, the property that two points determine exactly one line. This concept can be generalized to systems of points and circles, with each circle being determined by three non-collinear points. However, three collinear points determine a line, not a circle. This drawback can be removed by adding a point at infinity to every line. If we call both circles and such completed lines ''cycles'', we get an incidence structure in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Collinear
In geometry, collinearity of a set of points is the property of their lying on a single line. A set of points with this property is said to be collinear (sometimes spelled as colinear). In greater generality, the term has been used for aligned objects, that is, things being "in a line" or "in a row". Points on a line In any geometry, the set of points on a line are said to be collinear. In Euclidean geometry this relation is intuitively visualized by points lying in a row on a "straight line". However, in most geometries (including Euclidean) a line is typically a primitive (undefined) object type, so such visualizations will not necessarily be appropriate. A model for the geometry offers an interpretation of how the points, lines and other object types relate to one another and a notion such as collinearity must be interpreted within the context of that model. For instance, in spherical geometry, where lines are represented in the standard model by great circles of a spher ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Smoothness
In mathematical analysis, the smoothness of a function is a property measured by the number of continuous derivatives it has over some domain, called ''differentiability class''. At the very minimum, a function could be considered smooth if it is differentiable everywhere (hence continuous). At the other end, it might also possess derivatives of all orders in its domain, in which case it is said to be infinitely differentiable and referred to as a C-infinity function (or C^ function). Differentiability classes Differentiability class is a classification of functions according to the properties of their derivatives. It is a measure of the highest order of derivative that exists and is continuous for a function. Consider an open set U on the real line and a function f defined on U with real values. Let ''k'' be a non-negative integer. The function f is said to be of differentiability class ''C^k'' if the derivatives f',f'',\dots,f^ exist and are continuous on U. If f is k-differ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Francis Buekenhout
Francis Buekenhout (born 23 April 1937 in Ixelles near Brussels) is a Belgian mathematician who introduced Buekenhout geometries and the concept of quadratic sets. Career Buekenhout studied at the University of Brussels under Jacques Tits and Paul Libois. Together with his teacher Jacques Tits, he developed concepts with the diagram geometries, also called Buekenhout geometries or Buekenhout–Tits geometries. These largely disregard the concrete axiom systems of a projective or affine geometry and put these and many other incidence geometries into a common framework. He worked at the ULB from 1960 to 1969 as an assistant to Libois. He was then appointed as extraordinary professor 1969 to 1998, and as ordinary professor from 1977 until his retirement in 2002. He has been a member of the Académie Royale des Sciences The French Academy of Sciences (French: ''Académie des sciences'') is a learned society, founded in 1666 by Louis XIV at the suggestion of Jean-Baptiste C ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Characteristic (field)
In mathematics, the characteristic of a ring (mathematics), ring , often denoted , is defined to be the smallest number of times one must use the ring's identity element, multiplicative identity (1) in a sum to get the additive identity (0). If this sum never reaches the additive identity the ring is said to have characteristic zero. That is, is the smallest positive number such that: :\underbrace_ = 0 if such a number exists, and otherwise. Motivation The special definition of the characteristic zero is motivated by the equivalent definitions characterized in the next section, where the characteristic zero is not required to be considered separately. The characteristic may also be taken to be the exponent (group theory), exponent of the ring's additive group, that is, the smallest positive integer such that: :\underbrace_ = 0 for every element of the ring (again, if exists; otherwise zero). Some authors do not include the multiplicative identity element in their r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jacques Tits
Jacques Tits () (12 August 1930 – 5 December 2021) was a Belgian-born French mathematician who worked on group theory and incidence geometry. He introduced Tits buildings, the Tits alternative, the Tits group, and the Tits metric. Life and career Tits was born in Uccle to Léon Tits, a professor, and Lousia André. Jacques attended the Athénée of Uccle and the Free University of Brussels. His thesis advisor was Paul Libois, and Tits graduated with his doctorate in 1950 with the dissertation ''Généralisation des groupes projectifs basés sur la notion de transitivité''. His academic career includes professorships at the Free University of Brussels (now split into the Université Libre de Bruxelles and the Vrije Universiteit Brussel) (1962–1964), the University of Bonn (1964–1974) and the Collège de France in Paris, until becoming emeritus in 2000. He changed his citizenship to French in 1974 in order to teach at the Collège de France, which at that point required ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Segre's Theorem
In projective geometry, Segre's theorem, named after the Italian mathematician Beniamino Segre, is the statement: *Any oval in a ''finite pappian'' projective plane of ''odd'' order is a nondegenerate projective conic section. This statement was assumed 1949 by the two Finnish mathematicians G. Järnefelt and P. Kustaanheimo and its proof was published in 1955 by B. Segre. A finite pappian projective plane can be imagined as the projective closure of the real plane (by a line at infinity), where the real numbers are replaced by a finite field . ''Odd order'' means that is odd. An oval is a curve similar to a circle (see definition below): any line meets it in at most 2 points and through any point of it there is exactly one tangent. The standard examples are the nondegenerate projective conic sections. In pappian projective planes of ''even'' order greater than four there are ovals which are not conics. In an infinite plane there exist ovals, which are not conics. In the real ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hermitian Form
In mathematics, a sesquilinear form is a generalization of a bilinear form that, in turn, is a generalization of the concept of the dot product of Euclidean space. A bilinear form is linear in each of its arguments, but a sesquilinear form allows one of the arguments to be "twisted" in a semilinear manner, thus the name; which originates from the Latin numerical prefix ''sesqui-'' meaning "one and a half". The basic concept of the dot product – producing a scalar from a pair of vectors – can be generalized by allowing a broader range of scalar values and, perhaps simultaneously, by widening the definition of a vector. A motivating special case is a sesquilinear form on a complex vector space, . This is a map that is linear in one argument and "twists" the linearity of the other argument by complex conjugation (referred to as being antilinear in the other argument). This case arises naturally in mathematical physics applications. Another important case allows the scalars to co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Smoothness")
