|
Lie Groupoid
In mathematics, a Lie groupoid is a groupoid where the set \operatorname of objects and the set \operatorname of morphisms are both manifolds, all the category operations (source and target, composition, identity-assigning map and inversion) are smooth, and the source and target operations :s,t : \operatorname \to \operatorname are submersions. A Lie groupoid can thus be thought of as a "many-object generalization" of a Lie group, just as a groupoid is a many-object generalization of a group. Accordingly, while Lie groups provide a natural model for (classical) continuous symmetries, Lie groupoids are often used as model for (and arise from) generalised, point-dependent symmetries. Extending the correspondence between Lie groups and Lie algebras, Lie groupoids are the global counterparts of Lie algebroids. Lie groupoids were introduced by Charles Ehresmann under the name ''differentiable groupoids''. Definition and basic concepts A Lie groupoid consists of * two smooth m ... [...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] |
Inverse Element
In mathematics, the concept of an inverse element generalises the concepts of opposite () and reciprocal () of numbers. Given an operation denoted here , and an identity element denoted , if , one says that is a left inverse of , and that is a right inverse of . (An identity element is an element such that and for all and for which the left-hand sides are defined.) When the operation is associative, if an element has both a left inverse and a right inverse, then these two inverses are equal and unique; they are called the ''inverse element'' or simply the ''inverse''. Often an adjective is added for specifying the operation, such as in additive inverse, multiplicative inverse, and functional inverse. In this case (associative operation), an invertible element is an element that has an inverse. In a ring, an ''invertible element'', also called a unit, is an element that is invertible under multiplication (this is not ambiguous, as every element is invertible under ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Groupoid
In mathematics, especially in category theory and homotopy theory, a groupoid (less often Brandt groupoid or virtual group) generalises the notion of group in several equivalent ways. A groupoid can be seen as a: * '' Group'' with a partial function replacing the binary operation; * '' Category'' in which every morphism is invertible. A category of this sort can be viewed as augmented with a unary operation on the morphisms, called ''inverse'' by analogy with group theory. A groupoid where there is only one object is a usual group. In the presence of dependent typing, a category in general can be viewed as a typed monoid, and similarly, a groupoid can be viewed as simply a typed group. The morphisms take one from one object to another, and form a dependent family of types, thus morphisms might be typed , , say. Composition is then a total function: , so that . Special cases include: * '' Setoids'': sets that come with an equivalence relation, * '' G-sets'': sets equippe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Embedding
In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group (mathematics), group that is a subgroup. When some object X is said to be embedded in another object Y, the embedding is given by some Injective function, injective and structure-preserving map f:X\rightarrow Y. The precise meaning of "structure-preserving" depends on the kind of mathematical structure of which X and Y are instances. In the terminology of category theory, a structure-preserving map is called a morphism. The fact that a map f:X\rightarrow Y is an embedding is often indicated by the use of a "hooked arrow" (); thus: f : X \hookrightarrow Y. (On the other hand, this notation is sometimes reserved for inclusion maps.) Given X and Y, several different embeddings of X in Y may be possible. In many cases of interest there is a standard (or "canonical") embedding, like those of the natural numbers in the integers, the integers i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Diffeomorphism
In mathematics, a diffeomorphism is an isomorphism of differentiable manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are continuously differentiable. Definition Given two differentiable manifolds M and N, a Differentiable manifold#Differentiability of mappings between manifolds, continuously differentiable map f \colon M \rightarrow N is a diffeomorphism if it is a bijection and its inverse f^ \colon N \rightarrow M is differentiable as well. If these functions are r times continuously differentiable, f is called a C^r-diffeomorphism. Two manifolds M and N are diffeomorphic (usually denoted M \simeq N) if there is a diffeomorphism f from M to N. Two C^r-differentiable manifolds are C^r-diffeomorphic if there is an r times continuously differentiable bijective map between them whose inverse is also r times continuously differentiable. Diffeomorphisms of subsets of manifolds Given a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Submanifold
In mathematics, a submanifold of a manifold M is a subset S which itself has the structure of a manifold, and for which the inclusion map S \rightarrow M satisfies certain properties. There are different types of submanifolds depending on exactly which properties are required. Different authors often have different definitions. Formal definition In the following we assume all manifolds are differentiable manifolds of class C^r for a fixed r\geq 1, and all morphisms are differentiable of class C^r. Immersed submanifolds An immersed submanifold of a manifold M is the image S of an immersion map f: N\rightarrow M; in general this image will not be a submanifold as a subset, and an immersion map need not even be injective (one-to-one) – it can have self-intersections. More narrowly, one can require that the map f: N\rightarrow M be an injection (one-to-one), in which we call it an injective immersion, and define an immersed submanifold to be the image subset S together with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rank (differential Topology)
In mathematics, the rank of a differentiable map f:M\to N between differentiable manifolds at a point p\in M is the rank of the derivative of f at p. Recall that the derivative of f at p is a linear map :d_p f : T_p M \to T_N\, from the tangent space at ''p'' to the tangent space at ''f''(''p''). As a linear map between vector spaces it has a well-defined rank, which is just the dimension of the image in ''T''''f''(''p'')''N'': :\operatorname(f)_p = \dim(\operatorname(d_p f)). Constant rank maps A differentiable map ''f'' : ''M'' → ''N'' is said to have constant rank if the rank of ''f'' is the same for all ''p'' in ''M''. Constant rank maps have a number of nice properties and are an important concept in differential topology. Three special cases of constant rank maps occur. A constant rank map ''f'' : ''M'' → ''N'' is *an immersion if rank ''f'' = dim ''M'' (i.e. the derivative is everywhere injective), *a submersion if rank ''f'' = dim ''N'' (i.e. the derivativ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Second-countable Space
In topology, a second-countable space, also called a completely separable space, is a topological space whose topology has a countable base. More explicitly, a topological space T is second-countable if there exists some countable collection \mathcal = \_^ of open subsets of T such that any open subset of T can be written as a union of elements of some subfamily of \mathcal. A second-countable space is said to satisfy the second axiom of countability. Like other countability axioms, the property of being second-countable restricts the number of open subsets that a space can have. Many "well-behaved" spaces in mathematics are second-countable. For example, Euclidean space (R''n'') with its usual topology is second-countable. Although the usual base of open balls is uncountable, one can restrict this to the collection of all open balls with rational radii and whose centers have rational coordinates. This restricted collection is countable and still forms a basis. Properties ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hausdorff Space
In topology and related branches of mathematics, a Hausdorff space ( , ), T2 space or separated space, is a topological space where distinct points have disjoint neighbourhoods. Of the many separation axioms that can be imposed on a topological space, the "Hausdorff condition" (T2) is the most frequently used and discussed. It implies the uniqueness of limits of sequences, nets, and filters. Hausdorff spaces are named after Felix Hausdorff, one of the founders of topology. Hausdorff's original definition of a topological space (in 1914) included the Hausdorff condition as an axiom. Definitions Points x and y in a topological space X can be '' separated by neighbourhoods'' if there exists a neighbourhood U of x and a neighbourhood V of y such that U and V are disjoint (U\cap V=\varnothing). X is a Hausdorff space if any two distinct points in X are separated by neighbourhoods. This condition is the third separation axiom (after T0 and T1), which is why Hausdorff ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nerve (category Theory)
In category theory, a discipline within mathematics, the nerve ''N''(''C'') of a small category ''C'' is a simplicial set constructed from the objects and morphisms of ''C''. The geometric realization of this simplicial set is a topological space, called the classifying space of the category ''C''. These closely related objects can provide information about some familiar and useful categories using algebraic topology, most often homotopy theory. Motivation The nerve of a category is often used to construct topological versions of moduli spaces. If ''X'' is an object of ''C'', its moduli space should somehow encode all objects isomorphic to ''X'' and keep track of the various isomorphisms between all of these objects in that category. This can become rather complicated, especially if the objects have many non-identity automorphisms. The nerve provides a combinatorial way of organizing this data. Since simplicial sets have a good homotopy theory, one can ask questions about the mean ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Category Of Manifolds
In mathematics, the category of manifolds, often denoted Man''p'', is the category whose objects are manifolds of smoothness class ''C''''p'' and whose morphisms are ''p''-times continuously differentiable maps. This forms a category because the composition of two ''C''''p'' maps is again continuous and of class ''C''''p''. One is often interested only in ''C''''p''-manifolds modeled on spaces in a fixed category ''A'', and the category of such manifolds is denoted Man''p''(''A''). Similarly, the category of ''C''''p''-manifolds modeled on a fixed space ''E'' is denoted Man''p''(''E''). One may also speak of the category of smooth manifolds, Man∞, or the category of analytic manifolds, Man''ω''. Man''p'' is a concrete category Like many categories, the category Man''p'' is a concrete category, meaning its objects are sets with additional structure (i.e. a topology and an equivalence class of atlases of charts defining a ''C''''p''-differentiable structure) and its morphisms ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
