|
Dupin's Theorem
In differential geometry Dupin's theorem, named after the French mathematician Charles Dupin, is the statement:W. Blaschke: ''Vorlesungen über Differentialgeometrie 1'', Springer-Verlag, 1921, S. 63 * The intersection curve of any pair of surfaces of different pencils of a threefold orthogonal system is a curvature line. A ''threefold orthogonal system'' of surfaces consists of three pencils of surfaces such that any pair of surfaces out of different pencils intersect orthogonally. The most simple example of a threefold orthogonal system consists of the coordinate planes and their parallels. But this example is of no interest, because a plane has no curvature lines. A simple example with at least one pencil of curved surfaces: 1) all right circular cylinders with the z-axis as axis, 2) all planes, which contain the z-axis, 3) all horizontal planes (see diagram). A ''curvature line'' is a curve on a surface, which has at any point the direction of a principal curvature (maxim ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ludwig Schläfli
Ludwig Schläfli (15 January 1814 – 20 March 1895) was a Swiss mathematician, specialising in geometry and complex analysis (at the time called function theory) who was one of the key figures in developing the notion of higher-dimensional spaces. The concept of multidimensionality is pervasive in mathematics, has come to play a pivotal role in physics, and is a common element in science fiction. Life and career Youth and education Ludwig spent most of his life in Switzerland. He was born in Grasswil (now part of Seeberg), his mother's hometown. The family then moved to the nearby Burgdorf, where his father worked as a tradesman. His father wanted Ludwig to follow in his footsteps, but Ludwig was not cut out for practical work. In contrast, because of his mathematical gifts, he was allowed to attend the Gymnasium in Bern in 1829. By that time he was already learning differential calculus from Abraham Gotthelf Kästner's ''Mathematische Anfangsgründe der Analysis des Un ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Felix Klein
Christian Felix Klein (; 25 April 1849 – 22 June 1925) was a German mathematician and mathematics educator, known for his work with group theory, complex analysis, non-Euclidean geometry, and on the associations between geometry and group theory. His 1872 Erlangen program, classifying geometries by their basic symmetry groups, was an influential synthesis of much of the mathematics of the time. Life Felix Klein was born on 25 April 1849 in Düsseldorf, to Prussian parents. His father, Caspar Klein (1809–1889), was a Prussian government official's secretary stationed in the Rhine Province. His mother was Sophie Elise Klein (1819–1890, née Kayser). He attended the Gymnasium in Düsseldorf, then studied mathematics and physics at the University of Bonn, 1865–1866, intending to become a physicist. At that time, Julius Plücker had Bonn's professorship of mathematics and experimental physics, but by the time Klein became his assistant, in 1866, Plücker's interes ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Second Fundamental Form
In differential geometry, the second fundamental form (or shape tensor) is a quadratic form on the tangent plane of a smooth surface in the three-dimensional Euclidean space, usually denoted by \mathrm (read "two"). Together with the first fundamental form, it serves to define extrinsic invariants of the surface, its principal curvatures. More generally, such a quadratic form is defined for a smooth immersed submanifold in a Riemannian manifold. Surface in R3 Motivation The second fundamental form of a parametric surface in was introduced and studied by Gauss. First suppose that the surface is the graph of a twice continuously differentiable function, , and that the plane is tangent to the surface at the origin. Then and its partial derivatives with respect to and vanish at (0,0). Therefore, the Taylor expansion of ''f'' at (0,0) starts with quadratic terms: : z=L\frac + Mxy + N\frac + \text\,, and the second fundamental form at the origin in the coordinates is the qu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
First Fundamental Form
In differential geometry, the first fundamental form is the inner product on the tangent space of a surface in three-dimensional Euclidean space which is induced canonically from the dot product of . It permits the calculation of curvature and metric properties of a surface such as length and area in a manner consistent with the ambient space. The first fundamental form is denoted by the Roman numeral , \mathrm(x,y)= \langle x,y \rangle. Definition Let be a parametric surface. Then the inner product of two tangent vectors is \begin & \quad \mathrm(aX_u+bX_v,cX_u+dX_v) \\ & = ac \langle X_u,X_u \rangle + (ad+bc) \langle X_u,X_v \rangle + bd \langle X_v,X_v \rangle \\ & = Eac + F(ad+bc) + Gbd, \end where , , and are the coefficients of the first fundamental form. The first fundamental form may be represented as a symmetric matrix. \mathrm(x,y) = x^\mathsf \begin E & F \\ F & G \endy Further notation When the first fundamental form is written with only one argumen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Independence
In the theory of vector spaces, a set of vectors is said to be if there is a nontrivial linear combination of the vectors that equals the zero vector. If no such linear combination exists, then the vectors are said to be . These concepts are central to the definition of dimension. A vector space can be of finite dimension or infinite dimension depending on the maximum number of linearly independent vectors. The definition of linear dependence and the ability to determine whether a subset of vectors in a vector space is linearly dependent are central to determining the dimension of a vector space. Definition A sequence of vectors \mathbf_1, \mathbf_2, \dots, \mathbf_k from a vector space is said to be ''linearly dependent'', if there exist scalars a_1, a_2, \dots, a_k, not all zero, such that :a_1\mathbf_1 + a_2\mathbf_2 + \cdots + a_k\mathbf_k = \mathbf, where \mathbf denotes the zero vector. This implies that at least one of the scalars is nonzero, say a_1\ne 0, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cross Product
In mathematics, the cross product or vector product (occasionally directed area product, to emphasize its geometric significance) is a binary operation on two vectors in a three-dimensional oriented Euclidean vector space (named here E), and is denoted by the symbol \times. Given two linearly independent vectors and , the cross product, (read "a cross b"), is a vector that is perpendicular to both and , and thus normal to the plane containing them. It has many applications in mathematics, physics, engineering, and computer programming. It should not be confused with the dot product (projection product). If two vectors have the same direction or have the exact opposite direction from each other (that is, they are ''not'' linearly independent), or if either one has zero length, then their cross product is zero. More generally, the magnitude of the product equals the area of a parallelogram with the vectors for sides; in particular, the magnitude of the product of two per ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cylinder Coordinates
A cylindrical coordinate system is a three-dimensional coordinate system that specifies point positions by the distance from a chosen reference axis ''(axis L in the image opposite)'', the direction from the axis relative to a chosen reference direction ''(axis A)'', and the distance from a chosen reference plane perpendicular to the axis ''(plane containing the purple section)''. The latter distance is given as a positive or negative number depending on which side of the reference plane faces the point. The ''origin'' of the system is the point where all three coordinates can be given as zero. This is the intersection between the reference plane and the axis. The axis is variously called the ''cylindrical'' or ''longitudinal'' axis, to differentiate it from the ''polar axis'', which is the ray that lies in the reference plane, starting at the origin and pointing in the reference direction. Other directions perpendicular to the longitudinal axis are called ''radial lines''. The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dupin Cyclide
In mathematics, a Dupin cyclide or cyclide of Dupin is any geometric inversion of a standard torus, cylinder or double cone. In particular, these latter are themselves examples of Dupin cyclides. They were discovered by (and named after) Charles Dupin in his 1803 dissertation under Gaspard Monge. The key property of a Dupin cyclide is that it is a channel surface (envelope of a one-parameter family of spheres) in two different ways. This property means that Dupin cyclides are natural objects in Lie sphere geometry. Dupin cyclides are often simply known as ''cyclides'', but the latter term is also used to refer to a more general class of quartic surfaces which are important in the theory of separation of variables for the Laplace equation in three dimensions. Dupin cyclides were investigated not only by Dupin, but also by A. Cayley, J.C. Maxwell and Mabel M. Young. Dupin cyclides are used in computer-aided design because cyclide patches have rational representations and are ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Umbilic Point
In the differential geometry of surfaces in three dimensions, umbilics or umbilical points are points on a surface that are locally spherical. At such points the normal curvatures in all directions are equal, hence, both principal curvatures are equal, and every tangent vector is a ''principal direction''. The name "umbilic" comes from the Latin ''umbilicus'' ( navel). Umbilic points generally occur as isolated points in the elliptical region of the surface; that is, where the Gaussian curvature is positive. The sphere is the only surface with non-zero curvature where every point is umbilic. A flat umbilic is an umbilic with zero Gaussian curvature. The monkey saddle is an example of a surface with a flat umbilic and on the plane every point is a flat umbilic. A torus can have no umbilics, but every closed surface of nonzero Euler characteristic, embedded smoothly into Euclidean space, has at least one umbilic. An unproven conjecture of Constantin Carathéodory states th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
