|
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: ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mobius Frame Bundle
Moebius, Mœbius, Möbius or Mobius may refer to: People * August Ferdinand Möbius (1790–1868), German mathematician and astronomer * Friedrich Möbius (art historian) (1928–2024), German art historian and architectural historian * Theodor Möbius (1821–1890), German philologist, son of August Ferdinand * Karl Möbius (1825–1908), German zoologist and ecologist * Paul Julius Möbius (1853–1907), German neurologist, grandson of August Ferdinand * Dieter Moebius (1944–2015), Swiss-born German musician * Mark Mobius (born 1936), emerging markets investments pioneer * Jean Giraud (1938–2012), French comics artist who used the pseudonym Mœbius Fictional characters * Mobius M. Mobius, a character in Marvel Comics * Mobius, also known as the Anti-Monitor, a supervillain in DC Comics * Johann Wilhelm Möbius, a character in the play '' The Physicists'' * Moebius, the main antagonistic faction in the video game '' Xenoblade Chronicles 3'' * Mobius, or Dr. Ignatio Mob ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Disjoint Union
In mathematics, the disjoint union (or discriminated union) A \sqcup B of the sets and is the set formed from the elements of and labelled (indexed) with the name of the set from which they come. So, an element belonging to both and appears twice in the disjoint union, with two different labels. A disjoint union of an indexed family of sets (A_i : i\in I) is a set A, often denoted by \bigsqcup_ A_i, with an injective function, injection of each A_i into A, such that the image (mathematics), images of these injections form a Partition (set theory), partition of A (that is, each element of A belongs to exactly one of these images). A disjoint union of a family of pairwise disjoint sets is their Union (set theory), union. In category theory, the disjoint union is the coproduct of the category of sets, and thus defined up to a bijection. In this context, the notation \coprod_ A_i is often used. The disjoint union of two sets A and B is written with infix notation as A \sq ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dual Representation
In mathematics, if is a group and is a linear representation of it on the vector space , then the dual representation is defined over the dual vector space as follows: : is the transpose of , that is, = for all . The dual representation is also known as the contragredient representation. If is a Lie algebra and is a representation of it on the vector space , then the dual representation is defined over the dual vector space as follows: : = for all . The motivation for this definition is that Lie algebra representation associated to the dual of a Lie group representation is computed by the above formula. But the definition of the dual of a Lie algebra representation makes sense even if it does not come from a Lie group representation. In both cases, the dual representation is a representation in the usual sense. Properties Irreducibility and second dual If a (finite-dimensional) representation is irreducible, then the dual representation is also irreducible—bu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dual Bundle
In mathematics, the dual bundle is an operation on vector bundles extending the operation of duality for vector spaces. Definition The dual bundle of a vector bundle \pi: E \to X is the vector bundle \pi^*: E^* \to X whose fibers are the dual spaces to the fibers of E. Equivalently, E^* can be defined as the Hom bundle ''\mathrm(E,\mathbb \times X),'' that is, the vector bundle of morphisms from ''E'' to the trivial line bundle ''\R \times X \to X.'' Constructions and examples Given a local trivialization of ''E'' with transition functions t_, a local trivialization of E^* is given by the same open cover of ''X'' with transition functions t_^* = (t_^T)^ (the inverse of the transpose). The dual bundle E^* is then constructed using the fiber bundle construction theorem. As particular cases: * The dual bundle of an associated bundle is the bundle associated to the dual representation of the structure group. * The dual bundle of the tangent bundle of a differentiable manifold i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Well-defined
In mathematics, a well-defined expression or unambiguous expression is an expression (mathematics), expression whose definition assigns it a unique interpretation or value. Otherwise, the expression is said to be ''not well defined'', ill defined or ''ambiguous''. A function is well defined if it gives the same result when the representation of the input is changed without changing the value of the input. For instance, if f takes real numbers as input, and if f(0.5) does not equal f(1/2) then f is not well defined (and thus not a function). The term ''well-defined'' can also be used to indicate that a logical expression is unambiguous or uncontradictory. A function that is not well defined is not the same as a function that is undefined (mathematics), undefined. For example, if f(x)=\frac, then even though f(0) is undefined, this does not mean that the function is ''not'' well defined; rather, 0 is not in the Domain of a function, domain of f. Example Let A_0,A_1 be sets, let A = ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Naturally Isomorphic
In category theory, a branch of mathematics, a natural transformation provides a way of transforming one functor into another while respecting the internal structure (i.e., the composition of morphisms) of the categories involved. Hence, a natural transformation can be considered to be a "morphism of functors". Informally, the notion of a natural transformation states that a particular map between functors can be done consistently over an entire category. Indeed, this intuition can be formalized to define so-called functor categories. Natural transformations are, after categories and functors, one of the most fundamental notions of category theory and consequently appear in the majority of its applications. Definition If F and G are functors between the categories C and D (both from C to D), then a natural transformation \eta from F to G is a family of morphisms that satisfies two requirements. # The natural transformation must associate, to every object X in C, a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Equivalence Relation
In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric, and transitive. The equipollence relation between line segments in geometry is a common example of an equivalence relation. A simpler example is equality. Any number a is equal to itself (reflexive). If a = b, then b = a (symmetric). If a = b and b = c, then a = c (transitive). Each equivalence relation provides a partition of the underlying set into disjoint equivalence classes. Two elements of the given set are equivalent to each other if and only if they belong to the same equivalence class. Notation Various notations are used in the literature to denote that two elements a and b of a set are equivalent with respect to an equivalence relation R; the most common are "a \sim b" and "", which are used when R is implicit, and variations of "a \sim_R b", "", or "" to specify R explicitly. Non-equivalence may be written "" or "a \not\equiv b". Definitions A binary relation \,\si ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linear Representation
Representation theory is a branch of mathematics that studies abstract algebraic structures by ''representing'' their elements as linear transformations of vector spaces, and studies modules over these abstract algebraic structures. In essence, a representation makes an abstract algebraic object more concrete by describing its elements by matrices and their algebraic operations (for example, matrix addition, matrix multiplication). The algebraic objects amenable to such a description include groups, associative algebras and Lie algebras. The most prominent of these (and historically the first) is the representation theory of groups, in which elements of a group are represented by invertible matrices such that the group operation is matrix multiplication. Representation theory is a useful method because it reduces problems in abstract algebra to problems in linear algebra, a subject that is well understood. There are many textbooks on vector spaces and linear algebra. Fo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fiber Bundle Construction Theorem
In mathematics, the fiber bundle construction theorem is a theorem which constructs a fiber bundle from a given base space, fiber and a suitable set of Transition map, transition functions. The theorem also gives conditions under which two such bundles are isomorphic. The theorem is important in the associated bundle construction where one starts with a given bundle and surgically replaces the fiber with a new space while keeping all other data the same. Formal statement Let ''X'' and ''F'' be topological spaces and let ''G'' be a topological group with a continuous group action, continuous left action on ''F''. Given an open cover of ''X'' and a set of continuous function (topology), continuous functions :t_ : U_i \cap U_j \to G defined on each nonempty overlap, such that the ''cocycle condition'' :t_(x) = t_(x)t_(x) \qquad \forall x \in U_i \cap U_j \cap U_k holds, there exists a fiber bundle ''E'' → ''X'' with fiber ''F'' and structure group ''G'' that is trivializable over ... [...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] |
Transition Map
In mathematics, particularly topology, an atlas is a concept used to describe a manifold. An atlas consists of individual ''charts'' that, roughly speaking, describe individual regions of the manifold. In general, the notion of atlas underlies the formal definition of a manifold and related structures such as vector bundles and other fiber bundles. Charts The definition of an atlas depends on the notion of a ''chart''. A chart for a topological space ''M'' is a homeomorphism \varphi from an open subset ''U'' of ''M'' to an open subset of a Euclidean space. The chart is traditionally recorded as the ordered pair (U, \varphi). When a coordinate system is chosen in the Euclidean space, this defines coordinates on U: the coordinates of a point P of U are defined as the coordinates of \varphi(P). The pair formed by a chart and such a coordinate system is called a local coordinate system, coordinate chart, coordinate patch, coordinate map, or local frame. Formal definition of ... [...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] |
