|
Killing Form
In mathematics, the Killing form, named after Wilhelm Killing, is a symmetric bilinear form that plays a basic role in the theories of Lie groups and Lie algebras. Cartan's criteria (criterion of solvability and criterion of semisimplicity) show that Killing form has a close relationship to the semisimplicity of the Lie algebras. History and name The Killing form was essentially introduced into Lie algebra theory by in his thesis. In a historical survey of Lie theory, has described how the term ''"Killing form"'' first occurred in 1951 during one of his own reports for the Séminaire Bourbaki; it arose as a misnomer, since the form had previously been used by Lie theorists, without a name attached. Some other authors now employ the term ''"Cartan-Killing form"''. At the end of the 19th century, Killing had noted that the coefficients of the characteristic equation of a regular semisimple element of a Lie algebra are invariant under the adjoint group, from which it follows th ... [...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] |
Semisimple Lie Algebra
In mathematics, a Lie algebra is semisimple if it is a direct sum of modules, direct sum of Simple Lie algebra, simple Lie algebras. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper Lie algebra#Subalgebras.2C ideals and homomorphisms, ideals.) Throughout the article, unless otherwise stated, a Lie algebra is a finite-dimensional Lie algebra over a field of Characteristic (algebra), characteristic 0. For such a Lie algebra \mathfrak g, if nonzero, the following conditions are equivalent: *\mathfrak g is semisimple; *the Killing form \kappa(x, y) = \operatorname(\operatorname(x)\operatorname(y)) is non-degenerate; *\mathfrak g has no non-zero abelian ideals; *\mathfrak g has no non-zero solvable Lie algebra, solvable ideals; * the Radical of a Lie algebra, radical (maximal solvable ideal) of \mathfrak g is zero. Significance The significance of semisimplicity comes firstly from the Levi decomposition, which states that every finite dimensional Lie al ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Negative Definite
In mathematics, negative definiteness is a property of any object to which a bilinear form may be naturally associated, which is negative-definite. See, in particular: * Negative-definite bilinear form * Negative-definite quadratic form * Negative-definite matrix In mathematics, a symmetric matrix M with real entries is positive-definite if the real number \mathbf^\mathsf M \mathbf is positive for every nonzero real column vector \mathbf, where \mathbf^\mathsf is the row vector transpose of \mathbf. Mo ... * Negative-definite function {{Set index article, mathematics Quadratic forms ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sylvester's Law Of Inertia
Sylvester's law of inertia is a theorem in matrix algebra about certain properties of the coefficient matrix of a real quadratic form that remain invariant under a change of basis. Namely, if A is a symmetric matrix, then for any invertible matrix S, the number of positive, negative and zero eigenvalues (called the inertia of the matrix) of D=SAS^\mathrm is constant. This result is particularly useful when D is diagonal, as the inertia of a diagonal matrix can easily be obtained by looking at the sign of its diagonal elements. This property is named after James Joseph Sylvester who published its proof in 1852. Statement Let A be a symmetric square matrix of order n with real entries. Any non-singular matrix S of the same size is said to transform A into another symmetric matrix , also of order , where S^\mathrm is the transpose of . It is also said that matrices A and B are congruent. If A is the coefficient matrix of some quadratic form of , then B is the matrix fo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dual Coxeter Number
In mathematics, a Coxeter element is an element of an irreducible Coxeter group which is a product of all simple reflections. The product depends on the order in which they are taken, but different orderings produce conjugate elements, which have the same order. This order is known as the Coxeter number. They are named after British-Canadian geometer H.S.M. Coxeter, who introduced the groups in 1934 as abstractions of reflection groups. Definitions Note that this article assumes a finite Coxeter group. For infinite Coxeter groups, there are multiple conjugacy classes of Coxeter elements, and they have infinite order. There are many different ways to define the Coxeter number of an irreducible root system. *The Coxeter number is the order of any Coxeter element;. *The Coxeter number is where is the rank, and is the number of reflections. In the crystallographic case, is half the number of roots; and is the dimension of the corresponding semisimple Lie algebra. *If the hi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dynkin Index
In mathematics, the Dynkin index I() of finite-dimensional highest-weight representations of a compact simple Lie algebra \mathfrak g relates their trace forms via \frac= \frac. In the particular case where \lambda is the highest root, so that V_\lambda is the adjoint representation, the Dynkin index I(\lambda) is equal to the dual Coxeter number. The notation \text_V is the trace form on the representation \rho: \mathfrak \rightarrow \text(V). By Schur's lemma, since the trace forms are all invariant forms, they are related by constants, so the index is well-defined. Since the trace forms are bilinear forms, we can take traces to obtain :I(\lambda)=\frac(\lambda, \lambda +2\rho) where the Weyl vector :\rho=\frac\sum_ \alpha is equal to half of the sum of all the positive roots of \mathfrak g. The expression (\lambda, \lambda +2\rho) is the value of the quadratic Casimir in the representation V_\lambda. See also * Killing form In mathematics, the Killing form, na ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Antisymmetric Tensor
In mathematics and theoretical physics, a tensor is antisymmetric or alternating on (or with respect to) an index subset if it alternates sign (+/−) when any two indices of the subset are interchanged. section §7. The index subset must generally either be all ''covariant'' or all ''contravariant''. For example, T_ = -T_ = T_ = -T_ = T_ = -T_ holds when the tensor is antisymmetric with respect to its first three indices. If a tensor changes sign under exchange of ''each'' pair of its indices, then the tensor is completely (or totally) antisymmetric. A completely antisymmetric covariant tensor field of order k may be referred to as a differential k-form, and a completely antisymmetric contravariant tensor field may be referred to as a k-vector field. Antisymmetric and symmetric tensors A tensor A that is antisymmetric on indices i and j has the property that the contraction with a tensor B that is symmetric on indices i and j is identically 0. For a general tensor U with co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metric Tensor
In the mathematical field of differential geometry, a metric tensor (or simply metric) is an additional structure on a manifold (such as a surface) that allows defining distances and angles, just as the inner product on a Euclidean space allows defining distances and angles there. More precisely, a metric tensor at a point of is a bilinear form defined on the tangent space at (that is, a bilinear function that maps pairs of tangent vectors to real numbers), and a metric field on consists of a metric tensor at each point of that varies smoothly with . A metric tensor is ''positive-definite'' if for every nonzero vector . A manifold equipped with a positive-definite metric tensor is known as a Riemannian manifold. Such a metric tensor can be thought of as specifying ''infinitesimal'' distance on the manifold. On a Riemannian manifold , the length of a smooth curve between two points and can be defined by integration, and the distance between and can be defined as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tensor
In mathematics, a tensor is an algebraic object that describes a multilinear relationship between sets of algebraic objects associated with a vector space. Tensors may map between different objects such as vectors, scalars, and even other tensors. There are many types of tensors, including scalars and vectors (which are the simplest tensors), dual vectors, multilinear maps between vector spaces, and even some operations such as the dot product. Tensors are defined independent of any basis, although they are often referred to by their components in a basis related to a particular coordinate system; those components form an array, which can be thought of as a high-dimensional matrix. Tensors have become important in physics because they provide a concise mathematical framework for formulating and solving physics problems in areas such as mechanics ( stress, elasticity, quantum mechanics, fluid mechanics, moment of inertia, ...), electrodynamics ( electromagnetic ten ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Structure Constants
In mathematics, the structure constants or structure coefficients of an algebra over a field are the coefficients of the basis expansion (into linear combination of basis vectors) of the products of basis vectors. Because the product operation in the algebra is bilinear, by linearity knowing the product of basis vectors allows to compute the product of any elements (just like a matrix allows to compute the action of the linear operator on any vector by providing the action of the operator on basis vectors). Therefore, the structure constants can be used to specify the product operation of the algebra (just like a matrix defines a linear operator). Given the structure constants, the resulting product is obtained by bilinearity and can be uniquely extended to all vectors in the vector space, thus uniquely determining the product for the algebra. Structure constants are used whenever an explicit form for the algebra must be given. Thus, they are frequently used when discussing Lie alg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Einstein Summation Notation
In mathematics, especially the usage of linear algebra in mathematical physics and differential geometry, Einstein notation (also known as the Einstein summation convention or Einstein summation notation) is a notational convention that implies summation over a set of indexed terms in a formula, thus achieving brevity. As part of mathematics it is a notational subset of Ricci calculus; however, it is often used in physics applications that do not distinguish between tangent and cotangent spaces. It was introduced to physics by Albert Einstein in 1916. Introduction Statement of convention According to this convention, when an index variable appears twice in a single term and is not otherwise defined (see Free and bound variables), it implies summation of that term over all the values of the index. So where the indices can range over the set , y = \sum_^3 x^i e_i = x^1 e_1 + x^2 e_2 + x^3 e_3 is simplified by the convention to: y = x^i e_i The upper indices are not exponent ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orthogonal
In mathematics, orthogonality (mathematics), orthogonality is the generalization of the geometric notion of ''perpendicularity''. Although many authors use the two terms ''perpendicular'' and ''orthogonal'' interchangeably, the term ''perpendicular'' is more specifically used for lines and planes that intersect to form a right angle, whereas ''orthogonal'' is used in generalizations, such as ''orthogonal vectors'' or ''orthogonal curves''. ''Orthogonality'' is also used with various meanings that are often weakly related or not related at all with the mathematical meanings. Etymology The word comes from the Ancient Greek ('), meaning "upright", and ('), meaning "angle". The Ancient Greek (') and Classical Latin ' originally denoted a rectangle. Later, they came to mean a right triangle. In the 12th century, the post-classical Latin word ''orthogonalis'' came to mean a right angle or something related to a right angle. Mathematics Physics Optics In optics, polarization ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
