|
Clifford Bundle
In mathematics, a Clifford bundle is an algebra bundle whose fibers have the structure of a Clifford algebra and whose local trivializations respect the algebra structure. There is a natural Clifford bundle associated to any (pseudo) Riemannian manifold ''M'' which is called the Clifford bundle of ''M''. This is commonly referred to as the Hopf fibration of S3, a topological construction pointed out by Heinz Hopf (1931). But Hopf’s procedure was explicitly based (with due reference) on an earlier geometrical construction of ‘ Clifford parallels’. General construction Let ''V'' be a ( real or complex) vector space together with a symmetric bilinear form . The Clifford algebra ''Cℓ''(''V'') is a natural ( unital associative) algebra generated by ''V'' subject only to the relation :v^2 = \langle v,v\rangle for all ''v'' in ''V''. One can construct ''Cℓ''(''V'') as a quotient of the tensor algebra of ''V'' by the ideal generated by the above relation. Like other tensor ope ... [...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] |
Vector Bundle
In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space X (for example X could be a topological space, a manifold, or an algebraic variety): to every point x of the space X we associate (or "attach") a vector space V(x) in such a way that these vector spaces fit together to form another space of the same kind as X (e.g. a topological space, manifold, or algebraic variety), which is then called a vector bundle over X. The simplest example is the case that the family of vector spaces is constant, i.e., there is a fixed vector space V such that V(x)=V for all x in X: in this case there is a copy of V for each x in X and these copies fit together to form the vector bundle X\times V over X. Such vector bundles are said to be ''trivial''. A more complicated (and prototypical) class of examples are the tangent bundles of smooth (or differentiable) manifolds: to every point of such a mani ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orientability
In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "anticlockwise". A space is orientable if such a consistent definition exists. In this case, there are two possible definitions, and a choice between them is an orientation of the space. Real vector spaces, Euclidean spaces, and spheres are orientable. A space is non-orientable if "clockwise" is changed into "counterclockwise" after running through some loops in it, and coming back to the starting point. This means that a geometric shape, such as , that moves continuously along such a loop is changed into its own mirror image . A Möbius strip is an example of a non-orientable space. Various equivalent formulations of orientability can be given, depending on the desired application and level of generality. Formulations applicable to general topological manifolds oft ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Superalgebra
In mathematics and theoretical physics, a superalgebra is a Z2-graded algebra. That is, it is an algebra over a commutative ring or field with a decomposition into "even" and "odd" pieces and a multiplication operator that respects the grading. The prefix ''super-'' comes from the theory of supersymmetry in theoretical physics. Superalgebras and their representations, supermodules, provide an algebraic framework for formulating supersymmetry. The study of such objects is sometimes called super linear algebra. Superalgebras also play an important role in related field of supergeometry where they enter into the definitions of graded manifolds, supermanifolds and superschemes. Formal definition Let ''K'' be a commutative ring. In most applications, ''K'' is a field of characteristic 0, such as R or C. A superalgebra over ''K'' is a ''K''-module ''A'' with a direct sum decomposition :A = A_0\oplus A_1 together with a bilinear multiplication ''A'' × ''A'' → ''A'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Structure Group
In mathematics, and particularly topology, a fiber bundle ( ''Commonwealth English'': fibre bundle) is a space that is a product space, but may have a different topological structure. Specifically, the similarity between a space E and a product space B \times F is defined using a continuous surjective map, \pi : E \to B, that in small regions of E behaves just like a projection from corresponding regions of B \times F to B. The map \pi, called the projection or submersion of the bundle, is regarded as part of the structure of the bundle. The space E is known as the total space of the fiber bundle, B as the base space, and F the fiber. In the '' trivial'' case, E is just B \times F, and the map \pi is just the projection from the product space to the first factor. This is called a trivial bundle. Examples of non-trivial fiber bundles include the Möbius strip and Klein bottle, as well as nontrivial covering spaces. Fiber bundles, such as the tangent bundle of a man ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orthonormal Frame Bundle
In mathematics, a frame bundle is a principal fiber bundle F(E) associated with any vector bundle ''E''. The fiber of F(E) over a point ''x'' is the set of all ordered bases, or ''frames'', for ''E_x''. The general linear group acts naturally on F(E) via a change of basis, giving the frame bundle the structure of a principal ''\mathrm(k,\mathbb)''-bundle (where ''k'' is the rank of ''E''). The frame bundle of a smooth manifold is the one associated with its tangent bundle. For this reason it is sometimes called the tangent frame bundle. Definition and construction Let ''E \to X'' be a real vector bundle of rank ''k'' over a topological space ''X''. A frame at a point ''x \in X'' is an ordered basis for the vector space ''E_x''. Equivalently, a frame can be viewed as a linear isomorphism :p : \mathbf^k \to E_x. The set of all frames at ''x'', denoted ''F_x'', has a natural right action by the general linear group ''\mathrm(k,\mathbb)'' of invertible ''k \times k'' matrices: a gr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Automorphism
In mathematics, an automorphism is an isomorphism from a mathematical object to itself. It is, in some sense, a symmetry of the object, and a way of mapping the object to itself while preserving all of its structure. The set of all automorphisms of an object forms a group, called the automorphism group. It is, loosely speaking, the symmetry group of the object. Definition In an algebraic structure such as a group, a ring, or vector space, an ''automorphism'' is simply a bijective homomorphism of an object into itself. (The definition of a homomorphism depends on the type of algebraic structure; see, for example, group homomorphism, ring homomorphism, and linear operator.) More generally, for an object in some category, an automorphism is a morphism of the object to itself that has an inverse morphism; that is, a morphism f: X\to X is an automorphism if there is a morphism g: X\to X such that g\circ f= f\circ g = \operatorname _X, where \operatorname _X is the identity ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orthogonal Group
In mathematics, the orthogonal group in dimension , denoted , is the Group (mathematics), group of isometry, distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by Function composition, composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of orthogonal matrix, orthogonal matrices, where the group operation is given by matrix multiplication (an orthogonal matrix is a real matrix whose invertible matrix, inverse equals its transpose). The orthogonal group is an algebraic group and a Lie group. It is compact group, compact. The orthogonal group in dimension has two connected component (topology), connected components. The one that contains the identity element is a normal subgroup, called the special orthogonal group, and denoted . It consists of all orthogonal matrices of determinant ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclidean Metric
In mathematics, the Euclidean distance between two points in Euclidean space is the length of the line segment between them. It can be calculated from the Cartesian coordinates of the points using the Pythagorean theorem, and therefore is occasionally called the Pythagorean distance. These names come from the ancient Greek mathematicians Euclid and Pythagoras. In the Greek deductive geometry exemplified by Euclid's ''Elements'', distances were not represented as numbers but line segments of the same length, which were considered "equal". The notion of distance is inherent in the compass tool used to draw a circle, whose points all have the same distance from a common center point. The connection from the Pythagorean theorem to distance calculation was not made until the 18th century. The distance between two objects that are not points is usually defined to be the smallest distance among pairs of points from the two objects. Formulas are known for computing distances betw ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nondegenerate Form
In mathematics, specifically linear algebra, a degenerate bilinear form on a vector space ''V'' is a bilinear form such that the map from ''V'' to ''V''∗ (the dual space of ''V'') given by is not an isomorphism. An equivalent definition when ''V'' is finite-dimensional is that it has a non-trivial kernel: there exist some non-zero ''x'' in ''V'' such that :f(x,y)=0\, for all \,y \in V. Nondegenerate forms A nondegenerate or nonsingular form is a bilinear form that is not degenerate, meaning that v \mapsto (x \mapsto f(x,v)) is an isomorphism, or equivalently in finite dimensions, if and only if :f(x,y)=0 for all y \in V implies that x = 0. Using the determinant If ''V'' is finite-dimensional then, relative to some basis for ''V'', a bilinear form is degenerate if and only if the determinant of the associated matrix is zero – if and only if the matrix is ''singular'', and accordingly degenerate forms are also called singular forms. Likewise, a nondegenerate form is one for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Definite Bilinear Form
In mathematics, a definite quadratic form is a quadratic form over some real vector space that has the same sign (always positive or always negative) for every non-zero vector of . According to that sign, the quadratic form is called positive-definite or negative-definite. A semidefinite (or semi-definite) quadratic form is defined in much the same way, except that "always positive" and "always negative" are replaced by "never negative" and "never positive", respectively. In other words, it may take on zero values for some non-zero vectors of . An indefinite quadratic form takes on both positive and negative values and is called an isotropic quadratic form. More generally, these definitions apply to any vector space over an ordered field. Associated symmetric bilinear form Quadratic forms correspond one-to-one to symmetric bilinear forms over the same space.This is true only over a field of characteristic other than 2, but here we consider only ordered fields, which necessaril ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Associated Bundle
*
{{dab ...
Associated may refer to: *Associated, former name of Avon, Contra Costa County, California *Associated Hebrew Schools of Toronto, a school in Canada *Associated Newspapers, former name of DMG Media, a British publishing company See also *Association (other) *Associate (other) Associate may refer to: Academics * Associate degree, a two-year educational degree in the United States, and some areas of Canada * Associate professor, an academic rank at a college or university * Technical associate or Senmonshi, a Japa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
