|
Non-abelian Gauge Transformation
In theoretical physics, a non-abelian gauge transformation means a gauge transformation taking values in some group ''G'', the elements of which do not obey the commutative law when they are multiplied. By contrast, the original choice of gauge group in the physics of electromagnetism had been U(1), which is commutative. For a non-abelian Lie group ''G'', its elements do not commute, i.e. they in general do ''not'' satisfy :a*b=b*a \,. The quaternions marked the introduction of non-abelian structures in mathematics. In particular, its generators t^a, which form a basis for the vector space of infinitesimal transformations (the Lie algebra), have a commutation rule: :\left ^a,t^b\right= t^a t^b - t^b t^a = C^ t_c. The structure constants C^ quantify the lack of commutativity, and do not vanish. We can deduce that the structure constants are antisymmetric in the first two indices and real. The normalization is usually chosen (using the Kronecker delta) as :Tr(t^at^b) = \ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theoretical Physics
Theoretical physics is a branch of physics that employs mathematical models and abstractions of physical objects and systems to rationalize, explain and predict natural phenomena. This is in contrast to experimental physics, which uses experimental tools to probe these phenomena. The advancement of science generally depends on the interplay between experimental studies and theory. In some cases, theoretical physics adheres to standards of mathematical rigour while giving little weight to experiments and observations.There is some debate as to whether or not theoretical physics uses mathematics to build intuition and illustrativeness to extract physical insight (especially when normal experience fails), rather than as a tool in formalizing theories. This links to the question of it using mathematics in a less formally rigorous, and more intuitive or heuristic way than, say, mathematical physics. For example, while developing special relativity, Albert Einstein was concerned wit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Infinitesimal Transformation
In mathematics, an infinitesimal transformation is a limiting form of ''small'' transformation. For example one may talk about an infinitesimal rotation of a rigid body, in three-dimensional space. This is conventionally represented by a 3×3 skew-symmetric matrix ''A''. It is not the matrix of an actual rotation in space; but for small real values of a parameter ε the transformation :T=I+\varepsilon A is a small rotation, up to quantities of order ε2. History A comprehensive theory of infinitesimal transformations was first given by Sophus Lie. This was at the heart of his work, on what are now called Lie groups and their accompanying Lie algebras; and the identification of their role in geometry and especially the theory of differential equations. The properties of an abstract Lie algebra are exactly those definitive of infinitesimal transformations, just as the axioms of group theory embody symmetry. The term "Lie algebra" was introduced in 1934 by Hermann Weyl, for what ha ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unitary Matrix
In linear algebra, a complex square matrix is unitary if its conjugate transpose is also its inverse, that is, if U^* U = UU^* = UU^ = I, where is the identity matrix. In physics, especially in quantum mechanics, the conjugate transpose is referred to as the Hermitian adjoint of a matrix and is denoted by a dagger (†), so the equation above is written U^\dagger U = UU^\dagger = I. The real analogue of a unitary matrix is an orthogonal matrix. Unitary matrices have significant importance in quantum mechanics because they preserve norms, and thus, probability amplitudes. Properties For any unitary matrix of finite size, the following hold: * Given two complex vectors and , multiplication by preserves their inner product; that is, . * is normal (U^* U = UU^*). * is diagonalizable; that is, is unitarily similar to a diagonal matrix, as a consequence of the spectral theorem. Thus, has a decomposition of the form U = VDV^*, where is unitary, and is diagonal and uni ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unitary Representation
In mathematics, a unitary representation of a group ''G'' is a linear representation π of ''G'' on a complex Hilbert space ''V'' such that π(''g'') is a unitary operator for every ''g'' ∈ ''G''. The general theory is well-developed in case ''G'' is a locally compact ( Hausdorff) topological group and the representations are strongly continuous. The theory has been widely applied in quantum mechanics since the 1920s, particularly influenced by Hermann Weyl's 1928 book ''Gruppentheorie und Quantenmechanik''. One of the pioneers in constructing a general theory of unitary representations, for any group ''G'' rather than just for particular groups useful in applications, was George Mackey. Context in harmonic analysis The theory of unitary representations of topological groups is closely connected with harmonic analysis. In the case of an abelian group ''G'', a fairly complete picture of the representation theory of ''G'' is given by Pontryagin duality. In general, the unitary equ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compact Group
In mathematics, a compact (topological) group is a topological group whose topology realizes it as a compact topological space (when an element of the group is operated on, the result is also within the group). Compact groups are a natural generalization of finite groups with the discrete topology and have properties that carry over in significant fashion. Compact groups have a well-understood theory, in relation to group actions and representation theory. In the following we will assume all groups are Hausdorff spaces. Compact Lie groups Lie groups form a class of topological groups, and the compact Lie groups have a particularly well-developed theory. Basic examples of compact Lie groups include * the circle group T and the torus groups T''n'', * the orthogonal group O(''n''), the special orthogonal group SO(''n'') and its covering spin group Spin(''n''), * the unitary group U(''n'') and the special unitary group SU(''n''), * the compact forms of the exceptional Lie gr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Identity Element
In mathematics, an identity element, or neutral element, of a binary operation operating on a set is an element of the set that leaves unchanged every element of the set when the operation is applied. This concept is used in algebraic structures such as groups and rings. The term ''identity element'' is often shortened to ''identity'' (as in the case of additive identity and multiplicative identity) when there is no possibility of confusion, but the identity implicitly depends on the binary operation it is associated with. Definitions Let be a set equipped with a binary operation ∗. Then an element of is called a if for all in , and a if for all in . If is both a left identity and a right identity, then it is called a , or simply an . An identity with respect to addition is called an (often denoted as 0) and an identity with respect to multiplication is called a (often denoted as 1). These need not be ordinary additi ... [...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] |
Kronecker Delta
In mathematics, the Kronecker delta (named after Leopold Kronecker) is a function of two variables, usually just non-negative integers. The function is 1 if the variables are equal, and 0 otherwise: \delta_ = \begin 0 &\text i \neq j, \\ 1 &\text i=j. \end or with use of Iverson brackets: \delta_ = =j, where the Kronecker delta is a piecewise function of variables and . For example, , whereas . The Kronecker delta appears naturally in many areas of mathematics, physics and engineering, as a means of compactly expressing its definition above. In linear algebra, the identity matrix has entries equal to the Kronecker delta: I_ = \delta_ where and take the values , and the inner product of vectors can be written as \mathbf\cdot\mathbf = \sum_^n a_\delta_b_ = \sum_^n a_ b_. Here the Euclidean vectors are defined as -tuples: \mathbf = (a_1, a_2, \dots, a_n) and \mathbf= (b_1, b_2, ..., b_n) and the last step is obtained by using the values of the Kronecker delta ... [...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] |
Lie Algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an Binary operation, operation called the Lie bracket, an Alternating multilinear map, 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 [x,y]. The vector space \mathfrak g together with this operation is a non-associative algebra, meaning that the Lie bracket is not necessarily associative property, associative. Lie algebras are closely related to Lie groups, which are group (mathematics), 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 space, connected Lie group unique up to finite coverings (Lie's third theorem). This Lie group–Lie algebra correspondence, correspondence allows one ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Vector Space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can be complex numbers or, more generally, elements of any field. The operations of vector addition and scalar multiplication must satisfy certain requirements, called ''vector axioms''. The terms real vector space and complex vector space are often used to specify the nature of the scalars: real coordinate space or complex coordinate space. Vector spaces generalize Euclidean vectors, which allow modeling of physical quantities, such as forces and velocity, that have not only a magnitude, but also a direction. The concept of vector spaces is fundamental for linear algebra, together with the concept of matrix, which allows computing in vector spaces. This provides a concise and synthetic way for manipulating and studying systems of linear eq ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gauge Transformation
In physics, a gauge theory is a type of field theory in which the Lagrangian (and hence the dynamics of the system itself) does not change (is invariant) under local transformations according to certain smooth families of operations (Lie groups). The term ''gauge'' refers to any specific mathematical formalism to regulate redundant degrees of freedom in the Lagrangian of a physical system. The transformations between possible gauges, called ''gauge transformations'', form a Lie group—referred to as the ''symmetry group'' or the ''gauge group'' of the theory. Associated with any Lie group is the Lie algebra of group generators. For each group generator there necessarily arises a corresponding field (usually a vector field) called the ''gauge field''. Gauge fields are included in the Lagrangian to ensure its invariance under the local group transformations (called ''gauge invariance''). When such a theory is quantized, the quanta of the gauge fields are called ''gauge bosons' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
