|
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 t ... [...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 t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cartan Criterion
In mathematics, Cartan's criterion gives conditions for a Lie algebra in characteristic 0 to be solvable, which implies a related criterion for the Lie algebra to be semisimple. It is based on the notion of the Killing form, a symmetric bilinear form on \mathfrak defined by the formula : B(u,v)=\operatorname(\operatorname(u)\operatorname(v)), where tr denotes the trace of a linear operator. The criterion was introduced by .Cartan, Chapitre IV, Théorème 1 Cartan's criterion for solvability Cartan's criterion for solvability states: :''A Lie subalgebra \mathfrak of endomorphisms of a finite-dimensional vector space over a field of characteristic zero is solvable if and only if \operatorname(ab)=0 whenever a\in\mathfrak,b\in mathfrak,\mathfrak'' The fact that \operatorname(ab)=0 in the solvable case follows from Lie's theorem that puts \mathfrak g in the upper triangular form over the algebraic closure of the ground field (the trace can be computed after extending the groun ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Correspondence
A lie is an assertion that is believed to be false, typically used with the purpose of deceiving or misleading someone. The practice of communicating lies is called lying. A person who communicates a lie may be termed a liar. Lies can be interpreted as deliberately false statements or misleading statements. Lies may also serve a variety of instrumental, interpersonal, or psychological functions for the individuals who use them. Generally, the term "lie" carries a negative connotation, and depending on the context a person who communicates a lie may be subject to social, legal, religious, or criminal sanctions; for instance, perjury, or the act of lying under oath, can result in criminal and civil charges being pressed against the perjurer. Although people in many cultures believe that deception can be detected by observing nonverbal behaviors (e.g. not making eye contact, fidgeting, stuttering) research indicates that people overestimate both the significance of such cues an ... [...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 z^\textsfMz is positive for every nonzero real column vector z, where z^\textsf is the transpose of More generally, a Hermitian matrix (that is, a c ... * 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 the symmetric matrix that defines the quadratic form, and ''S'' is any invertible matrix such that ''D'' = ''SAS''T is diagonal, then the number of negative elements in the diagonal of ''D'' is always the same, for all such ''S''; and the same goes for the number of positive 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 ''n'', where ''S''T is the transpose of ''S''. It is also said that matrices ''A'' and ''B'' are congruent. If ''A'' is the coefficient matrix of some quadratic form of R''n'', then ''B'' is the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Antisymmetric Tensor
In mathematics and theoretical physics, a tensor is antisymmetric 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 components U_ and a ... [...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 tensor 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 ... [...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 related to 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. 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, fluid mechanics, moment of inertia, ...), electrodynamics (electromagnetic tensor, Maxwell tensor, permittivity, magnetic susceptibility, ...), general relativity (stress–energy tensor, c ... [...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 used to explicitly specify the product of two basis vectors in the algebra as a linear combination. Given the structure constants, the resulting product is bilinear 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 algebras in physics, as the basis vectors indicate specific directions in physical space, or correspond to specific particles. Recall that Lie algebras are algebras over a field, with the bilinear product being given by the Lie bracket or commutator. Definition Given a set of basis vectors \ for the underlying vector space of the algebra, the structure constants or structure coefficients c_^ express the multiplication \cdot of pairs of vectors as a linear combination ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Einstein Summation Notation
In mathematics, especially the usage of linear algebra in Mathematical physics, 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 c_i x^i = c_1 x^1 + c_2 x^2 + c_3 x^3 is simplified by the convention to: : y = c_i x^i The upper indices are not exponents but are indices o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orthogonal
In mathematics, orthogonality is the generalization of the geometric notion of '' perpendicularity''. By extension, orthogonality is also used to refer to the separation of specific features of a system. The term also has specialized meanings in other fields including art and chemistry. 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 * In optics, polarization states are said to be orthogonal when they propagate independently of each other, as in vertical and horizontal linear polarization or right- and left-handed circular polarization. * In special relativity, a time axis determined by a rapidity of motion is hyperbolic-orthogonal to a space axi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ideal Of A Lie Algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi identity. The Lie bracket of two vectors x and y is denoted ,y/math>. The vector space \mathfrak g together with this operation is a non-associative algebra, meaning that the Lie bracket is not necessarily associative. Lie algebras are closely related to Lie groups, which are groups that are also smooth manifolds: any Lie group gives rise to a Lie algebra, which is its tangent space at the identity. Conversely, to any finite-dimensional Lie algebra over real or complex numbers, there is a corresponding connected Lie group unique up to finite coverings (Lie's third theorem). This correspondence allows one to study the structure and classification of Lie groups in terms of Lie algebras. In physics, Lie groups appear as symmetry groups of ph ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
