|
Hodge Duality
In mathematics, the Hodge star operator or Hodge star is a linear map defined on the exterior algebra of a finite-dimensional oriented vector space endowed with a nondegenerate symmetric bilinear form. Applying the operator to an element of the algebra produces the Hodge dual of the element. This map was introduced by W. V. D. Hodge. For example, in an oriented 3-dimensional Euclidean space, an oriented plane can be represented by the exterior product of two basis vectors, and its Hodge dual is the normal vector given by their cross product; conversely, any vector is dual to the oriented plane perpendicular to it, endowed with a suitable bivector. Generalizing this to an -dimensional vector space, the Hodge star is a one-to-one mapping of -vectors to -vectors; the dimensions of these spaces are the binomial coefficients \tbinom nk = \tbinom. The naturalness of the star operator means it can play a role in differential geometry, when applied to the cotangent bundle of a pseud ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Laplace–Beltrami Operator
In differential geometry, the Laplace–Beltrami operator is a generalization of the Laplace operator to functions defined on submanifolds in Euclidean space and, even more generally, on Riemannian and pseudo-Riemannian manifolds. It is named after Pierre-Simon Laplace and Eugenio Beltrami. For any twice-differentiable real-valued function ''f'' defined on Euclidean space R''n'', the Laplace operator (also known as the ''Laplacian'') takes ''f'' to the divergence of its gradient vector field, which is the sum of the ''n'' pure second derivatives of ''f'' with respect to each vector of an orthonormal basis for R''n''. Like the Laplacian, the Laplace–Beltrami operator is defined as the divergence of the gradient, and is a linear operator taking functions into functions. The operator can be extended to operate on tensors as the divergence of the covariant derivative. Alternatively, the operator can be generalized to operate on differential forms using the divergence and exterio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Determinant
In mathematics, the determinant is a scalar value that is a function of the entries of a square matrix. It characterizes some properties of the matrix and the linear map represented by the matrix. In particular, the determinant is nonzero if and only if the matrix is invertible and the linear map represented by the matrix is an isomorphism. The determinant of a product of matrices is the product of their determinants (the preceding property is a corollary of this one). The determinant of a matrix is denoted , , or . The determinant of a matrix is :\begin a & b\\c & d \end=ad-bc, and the determinant of a matrix is : \begin a & b & c \\ d & e & f \\ g & h & i \end= aei + bfg + cdh - ceg - bdi - afh. The determinant of a matrix can be defined in several equivalent ways. Leibniz formula expresses the determinant as a sum of signed products of matrix entries such that each summand is the product of different entries, and the number of these summands is n!, the factorial of (t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Volume Form
In mathematics, a volume form or top-dimensional form is a differential form of degree equal to the differentiable manifold dimension. Thus on a manifold M of dimension n, a volume form is an n-form. It is an element of the space of sections of the line bundle \textstyle^n(T^*M), denoted as \Omega^n(M). A manifold admits a nowhere-vanishing volume form if and only if it is orientable. An orientable manifold has infinitely many volume forms, since multiplying a volume form by a function yields another volume form. On non-orientable manifolds, one may instead define the weaker notion of a density. A volume form provides a means to define the integral of a function on a differentiable manifold. In other words, a volume form gives rise to a measure with respect to which functions can be integrated by the appropriate Lebesgue integral. The absolute value of a volume form is a volume element, which is also known variously as a ''twisted volume form'' or ''pseudo-volume form''. It als ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orthonormal Basis
In mathematics, particularly linear algebra, an orthonormal basis for an inner product space ''V'' with finite dimension is a basis for V whose vectors are orthonormal, that is, they are all unit vectors and orthogonal to each other. For example, the standard basis for a Euclidean space \R^n is an orthonormal basis, where the relevant inner product is the dot product of vectors. The image of the standard basis under a rotation or reflection (or any orthogonal transformation) is also orthonormal, and every orthonormal basis for \R^n arises in this fashion. For a general inner product space V, an orthonormal basis can be used to define normalized orthogonal coordinates on V. Under these coordinates, the inner product becomes a dot product of vectors. Thus the presence of an orthonormal basis reduces the study of a finite-dimensional inner product space to the study of \R^n under dot product. Every finite-dimensional inner product space has an orthonormal basis, which may be ob ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Academic Press
Academic Press (AP) is an academic book publisher founded in 1941. It was acquired by Harcourt, Brace & World in 1969. Reed Elsevier bought Harcourt in 2000, and Academic Press is now an imprint of Elsevier. Academic Press publishes reference books, serials and online products in the subject areas of: * Communications engineering * Economics * Environmental science * Finance * Food science and nutrition * Geophysics * Life sciences * Mathematics and statistics * Neuroscience * Physical sciences * Psychology Well-known products include the ''Methods in Enzymology'' series and encyclopedias such as ''The International Encyclopedia of Public Health'' and the ''Encyclopedia of Neuroscience''. See also * Akademische Verlagsgesellschaft (AVG) — the German predecessor, founded in 1906 by Leo Jolowicz (1868–1940), the father of Walter Jolowicz Walter may refer to: People * Walter (name), both a surname and a given name * Little Walter, American blues harmonica player Marion Wa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Harley Flanders
Harley M. Flanders (September 13, 1925 – July 26, 2013) was an American mathematician, known for several textbooks and contributions to his fields: algebra and algebraic number theory, linear algebra, electrical networks, scientific computing. Life Flanders was a sophomore calculus student of Lester R. Ford at the Illinois Institute of Technology and asked for more challenging reading. Ford recommended ''A Course in Mathematical Analysis'' by Edouard Goursat, translated by Earle Hedrick, which included challenging exercises. Flanders recalled in 2001 that the final exercise required a proof of a formula for the derivatives of a composite function, generalizing the chain rule, in a form now called the Faa di Bruno formula.H. Flanders (2001) "From Ford to Faa", American Mathematical Monthly 108(6): 558–61 Flanders received his bachelors (1946), masters (1947) and PhD (1949) at the University of Chicago on the dissertation ''Unification of class field theory'' advised by Ott ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gram Determinant
In linear algebra, the Gram matrix (or Gramian matrix, Gramian) of a set of vectors v_1,\dots, v_n in an inner product space is the Hermitian matrix of inner products, whose entries are given by the inner product G_ = \left\langle v_i, v_j \right\rangle., p.441, Theorem 7.2.10 If the vectors v_1,\dots, v_n are the columns of matrix X then the Gram matrix is X^* X in the general case that the vector coordinates are complex numbers, which simplifies to X^\top X for the case that the vector coordinates are real numbers. An important application is to compute linear independence: a set of vectors are linearly independent if and only if the Gram determinant (the determinant of the Gram matrix) is non-zero. It is named after Jørgen Pedersen Gram. Examples For finite-dimensional real vectors in \mathbb^n with the usual Euclidean dot product, the Gram matrix is G = V^\top V, where V is a matrix whose columns are the vectors v_k and V^\top is its transpose whose rows are the vectors v_k ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Multivector
In multilinear algebra, a multivector, sometimes called Clifford number, is an element of the exterior algebra of a vector space . This algebra is graded, associative and alternating, and consists of linear combinations of simple -vectors (also known as decomposable -vectors or -blades) of the form : v_1\wedge\cdots\wedge v_k, where v_1, \ldots, v_k are in . A -vector is such a linear combination that is ''homogeneous'' of degree (all terms are -blades for the same ). Depending on the authors, a "multivector" may be either a -vector or any element of the exterior algebra (any linear combination of -blades with potentially differing values of ). In differential geometry, a -vector is a vector in the exterior algebra of the tangent vector space; that is, it is an antisymmetric tensor obtained by taking linear combinations of the exterior product of tangent vectors, for some integer . A differential -form is a -vector in the exterior algebra of the dual of the tangent spa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exterior Algebra
In mathematics, the exterior algebra, or Grassmann algebra, named after Hermann Grassmann, is an algebra that uses the exterior product or wedge product as its multiplication. In mathematics, the exterior product or wedge product of vectors is an algebraic construction used in geometry to study areas, volumes, and their higher-dimensional analogues. The exterior product of two vectors u and v, denoted by u \wedge v, is called a bivector and lives in a space called the ''exterior square'', a vector space that is distinct from the original space of vectors. The magnitude of u \wedge v can be interpreted as the area of the parallelogram with sides u and v, which in three dimensions can also be computed using the cross product of the two vectors. More generally, all parallel plane surfaces with the same orientation and area have the same bivector as a measure of their oriented area. Like the cross product, the exterior product is anticommutative, meaning t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Closed Manifold
In mathematics, a closed manifold is a manifold without boundary that is compact. In comparison, an open manifold is a manifold without boundary that has only ''non-compact'' components. Examples The only connected one-dimensional example is a circle. The sphere, torus, and the Klein bottle are all closed two-dimensional manifolds. A line is not closed because it is not compact. A closed disk is a compact two-dimensional manifold, but it is not closed because it has a boundary. Open manifolds For a connected manifold, "open" is equivalent to "without boundary and non-compact", but for a disconnected manifold, open is stronger. For instance, the disjoint union of a circle and a line is non-compact since a line is non-compact, but this is not an open manifold since the circle (one of its components) is compact. Abuse of language Most books generally define a manifold as a space that is, locally, homeomorphic to Euclidean space (along with some other technical con ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hodge Decomposition
In mathematics, Hodge theory, named after W. V. D. Hodge, is a method for studying the cohomology groups of a smooth manifold ''M'' using partial differential equations. The key observation is that, given a Riemannian metric on ''M'', every cohomology class has a canonical representative, a differential form that vanishes under the Laplacian operator of the metric. Such forms are called harmonic. The theory was developed by Hodge in the 1930s to study algebraic geometry, and it built on the work of Georges de Rham on de Rham cohomology. It has major applications in two settings: Riemannian manifolds and Kähler manifolds. Hodge's primary motivation, the study of complex projective varieties, is encompassed by the latter case. Hodge theory has become an important tool in algebraic geometry, particularly through its connection to the study of algebraic cycles. While Hodge theory is intrinsically dependent upon the real and complex numbers, it can be applied to questions ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
