|
Abstract Index Notation
Abstract index notation (also referred to as slot-naming index notation) is a mathematical notation for tensors and spinors that uses indices to indicate their types, rather than their components in a particular basis. The indices are mere placeholders, not related to any basis and, in particular, are non-numerical. Thus it should not be confused with the Ricci calculus. The notation was introduced by Roger Penrose as a way to use the formal aspects of the Einstein summation convention to compensate for the difficulty in describing contractions and covariant differentiation in modern abstract tensor notation, while preserving the explicit covariance of the expressions involved. Let V be a vector space, and V^* its dual space. Consider, for example, an order-2 covariant tensor h \in V^*\otimes V^*. Then h can be identified with a bilinear form on V. In other words, it is a function of two arguments in V which can be represented as a pair of ''slots'': : h = h(-,-). Abstract in ... [...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, cur ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Group
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group \mathrm_n defined over a finite set of n symbols consists of the permutations that can be performed on the n symbols. Since there are n! (n factorial) such permutation operations, the order (number of elements) of the symmetric group \mathrm_n is n!. Although symmetric groups can be defined on infinite sets, this article focuses on the finite symmetric groups: their applications, their elements, their conjugacy classes, a finite presentation, their subgroups, their automorphism groups, and their representation theory. For the remainder of this article, "symmetric group" will mean a symmetric group on a finite set. The symmetric group is important to diverse areas of mathematics such as Galois theory, invariant theory, the representatio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Raising And Lowering Indices
In mathematics and mathematical physics, raising and lowering indices are operations on tensors which change their type. Raising and lowering indices are a form of index manipulation in tensor expressions. Vectors, covectors and the metric Mathematical formulation Mathematically vectors are elements of a vector space V over a field K, and for use in physics V is usually defined with K=\mathbb or \mathbb. Concretely, if the dimension n=\text(V) of V is finite, then, after making a choice of basis, we can view such vector spaces as \mathbb^n or \mathbb^n. The dual space is the space of linear functionals mapping V\rightarrow K. Concretely, in matrix notation these can be thought of as row vectors, which give a number when applied to column vectors. We denote this by V^*:= \text(V,K), so that \alpha \in V^* is a linear map \alpha:V\rightarrow K. Then under a choice of basis \, we can view vectors v\in V as an K^n vector with components v^i (vectors are taken by convention to have ... [...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 ... [...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, cur ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Index Notation
In mathematics and computer programming, index notation is used to specify the elements of an array of numbers. The formalism of how indices are used varies according to the subject. In particular, there are different methods for referring to the elements of a list, a vector, or a matrix, depending on whether one is writing a formal mathematical paper for publication, or when one is writing a computer program. In mathematics It is frequently helpful in mathematics to refer to the elements of an array using subscripts. The subscripts can be integers or variables. The array takes the form of tensors in general, since these can be treated as multi-dimensional arrays. Special (and more familiar) cases are vectors (1d arrays) and matrices (2d arrays). The following is only an introduction to the concept: index notation is used in more detail in mathematics (particularly in the representation and manipulation of tensor operations). See the main article for further details. One-d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Einstein 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 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Penrose Graphical Notation
In mathematics and physics, Penrose graphical notation or tensor diagram notation is a (usually handwritten) visual depiction of multilinear functions or tensors proposed by Roger Penrose in 1971. A diagram in the notation consists of several shapes linked together by lines. The notation has been studied extensively by Predrag Cvitanović, who used it, Feynman's diagrams and other related notations in developing birdtracks (a group-theoretical version of Feynman diagrams) to classify the classical Lie groups. Penrose's notation has also been generalized using representation theory to spin networks in physics, and with the presence of matrix groups to trace diagrams in linear algebra. The notation widely appears in modern quantum theory, particularly in matrix product states and quantum circuits. Interpretations Multilinear algebra In the language of multilinear algebra, each shape represents a multilinear function. The lines attached to shapes represent the inputs or ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lexicographic Order
In mathematics, the lexicographic or lexicographical order (also known as lexical order, or dictionary order) is a generalization of the alphabetical order of the dictionaries to sequences of ordered symbols or, more generally, of elements of a totally ordered set. There are several variants and generalizations of the lexicographical ordering. One variant applies to sequences of different lengths by comparing the lengths of the sequences before considering their elements. Another variant, widely used in combinatorics, orders subsets of a given finite set by assigning a total order to the finite set, and converting subsets into increasing sequences, to which the lexicographical order is applied. A generalization defines an order on a Cartesian product of partially ordered sets; this order is a total order if and only if all factors of the Cartesian product are totally ordered. Motivation and definition The words in a lexicon (the set of words used in some language) have a co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemann Curvature Tensor
In the mathematical field of differential geometry, the Riemann curvature tensor or Riemann–Christoffel tensor (after Bernhard Riemann and Elwin Bruno Christoffel) is the most common way used to express the curvature of Riemannian manifolds. It assigns a tensor to each point of a Riemannian manifold (i.e., it is a tensor field). It is a local invariant of Riemannian metrics which measures the failure of the second covariant derivatives to commute. A Riemannian manifold has zero curvature if and only if it is ''flat'', i.e. locally isometric to the Euclidean space. The curvature tensor can also be defined for any pseudo-Riemannian manifold, or indeed any manifold equipped with an affine connection. It is a central mathematical tool in the theory of general relativity, the modern theory of gravity, and the curvature of spacetime is in principle observable via the geodesic deviation equation. The curvature tensor represents the tidal force experienced by a rigid body moving al ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bianchi Identity
In differential geometry, the curvature form describes curvature of a connection on a principal bundle. The Riemann curvature tensor in Riemannian geometry can be considered as a special case. Definition Let ''G'' be a Lie group with Lie algebra \mathfrak g, and ''P'' → ''B'' be a principal ''G''-bundle. Let ω be an Ehresmann connection on ''P'' (which is a \mathfrak g-valued one-form on ''P''). Then the curvature form is the \mathfrak g-valued 2-form on ''P'' defined by :\Omega=d\omega + omega \wedge \omega= D \omega. (In another convention, 1/2 does not appear.) Here d stands for exterior derivative, cdot \wedge \cdot/math> is defined in the article " Lie algebra-valued form" and ''D'' denotes the exterior covariant derivative. In other terms, :\,\Omega(X, Y)= d\omega(X,Y) + omega(X),\omega(Y)/math> where ''X'', ''Y'' are tangent vectors to ''P''. There is also another expression for Ω: if ''X'', ''Y'' are horizontal vector fields on ''P'', thenProof: \sigma\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Geometry
Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries. Since the late 19th century, differential geometry has grown into a field concerned more generally with geometric structures on differentiable manifolds. A geometric structure is one which defines some notion of size, distance, shape, volume, or other rigidifying structu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
