|
Holonomy
In differential geometry, the holonomy of a connection on a smooth manifold is the extent to which parallel transport around closed loops fails to preserve the geometrical data being transported. Holonomy is a general geometrical consequence of the curvature of the connection. For flat connections, the associated holonomy is a type of monodromy and is an inherently global notion. For curved connections, holonomy has nontrivial local and global features. Any kind of connection on a manifold gives rise, through its parallel transport maps, to some notion of holonomy. The most common forms of holonomy are for connections possessing some kind of symmetry. Important examples include: holonomy of the Levi-Civita connection in Riemannian geometry (called Riemannian holonomy), holonomy of connections in vector bundles, holonomy of Cartan connections, and holonomy of connections in principal bundles. In each of these cases, the holonomy of the connection can be identified with a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ambrose–Singer Theorem
In differential geometry, the holonomy of a connection (mathematics), connection on a smooth manifold is the extent to which parallel transport around closed loops fails to preserve the geometrical data being transported. Holonomy is a general geometrical consequence of the curvature of the connection. For flat connections, the associated holonomy is a type of monodromy and is an inherently global notion. For curved connections, holonomy has nontrivial local and global features. Any kind of connection on a manifold gives rise, through its parallel transport maps, to some notion of holonomy. The most common forms of holonomy are for connections possessing some kind of symmetry. Important examples include: holonomy of the Levi-Civita connection in Riemannian geometry (called Riemannian holonomy), holonomy of connection (vector bundle), connections in vector bundles, holonomy of Cartan connections, and holonomy of connection (principal bundle), connections in principal bundles ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parallel Transport
In differential geometry, parallel transport (or parallel translation) is a way of transporting geometrical data along smooth curves in a manifold. If the manifold is equipped with an affine connection (a covariant derivative or connection on the tangent bundle), then this connection allows one to transport vectors of the manifold along curves so that they stay '' parallel'' with respect to the connection. The parallel transport for a connection thus supplies a way of, in some sense, moving the local geometry of a manifold along a curve: that is, of ''connecting'' the geometries of nearby points. There may be many notions of parallel transport available, but a specification of one way of connecting up the geometries of points on a curve is tantamount to providing a ''connection''. In fact, the usual notion of connection is the infinitesimal analog of parallel transport. Or, ''vice versa'', parallel transport is the local realization of a connection. As parallel transport suppl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Space
In mathematics, a symmetric space is a Riemannian manifold (or more generally, a pseudo-Riemannian manifold) whose group of isometries contains an inversion symmetry about every point. This can be studied with the tools of Riemannian geometry, leading to consequences in the theory of holonomy; or algebraically through Lie theory, which allowed Cartan to give a complete classification. Symmetric spaces commonly occur in differential geometry, representation theory and harmonic analysis. In geometric terms, a complete, simply connected Riemannian manifold is a symmetric space if and only if its curvature tensor is invariant under parallel transport. More generally, a Riemannian manifold (''M'', ''g'') is said to be symmetric if and only if, for each point ''p'' of ''M'', there exists an isometry of ''M'' fixing ''p'' and acting on the tangent space T_pM as minus the identity (every symmetric space is complete, since any geodesic can be extended indefinitely via symmetri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Marcel Berger
Marcel Berger (14 April 1927 – 15 October 2016) was a French mathematician, doyen of French differential geometry, and a former director of the Institut des Hautes Études Scientifiques (IHÉS), France. Biography After studying from 1948 to 1951 at the École normale supérieure in Paris, Berger obtained in 1954 his PhD from the University of Paris, with thesis written under the direction of André Lichnerowicz. From 1958 to 1964 he taught at the University of Strasbourg and had visiting positions at the Massachusetts Institute of Technology and the University of California, Berkeley. From 1964 to 1966 he taught at the University of Nice, after which he joined the University of Paris VII. From 1985 to 1993 he served as director of the IHÉS. Formerly residing in Le Castera in Lasseube, Berger was instrumental in Mikhail Gromov's accepting positions both at the University of Paris and at the IHÉS. Awards and honors *1956 Prix Peccot, Collège de France *1962 Prix Maurice ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Georges De Rham
Georges de Rham (; 10 September 1903 – 9 October 1990) was a Swiss mathematician, known for his contributions to differential topology. Biography Georges de Rham was born on 10 September 1903 in Roche, a small village in the canton of Vaud in Switzerland. He was the fifth born of the six children in the family of Léon de Rham, a constructions engineer. Georges de Rham grew up in Roche but went to school in nearby Aigle, the main town of the district, travelling daily by train. By his own account, he was not an extraordinary student in school, where he mainly enjoyed painting and dreamed of becoming a painter. In 1919 he moved with his family to Lausanne in a rented apartment in Beaulieu Castle, where he would live for the rest of his life. Georges de Rham started the Gymnasium in Lausanne with a focus on humanities, following his passion for literature and philosophy but learning little mathematics. On graduating from the Gymnasium in 1921 however, he decided not to continu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Up To
Two Mathematical object, mathematical objects and are called "equal up to an equivalence relation " * if and are related by , that is, * if holds, that is, * if the equivalence classes of and with respect to are equal. This figure of speech is mostly used in connection with expressions derived from equality, such as uniqueness or count. For example, " is unique up to " means that all objects under consideration are in the same equivalence class with respect to the relation . Moreover, the equivalence relation is often designated rather implicitly by a generating condition or transformation. For example, the statement "an integer's prime factorization is unique up to ordering" is a concise way to say that any two lists of prime factors of a given integer are equivalent with respect to the relation that relates two lists if one can be obtained by reordering (permutation, permuting) the other. As another example, the statement "the solution to an indefinite integral is , up ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pointed Space
In mathematics, a pointed space or based space is a topological space with a distinguished point, the basepoint. The distinguished point is just simply one particular point, picked out from the space, and given a name, such as x_0, that remains unchanged during subsequent discussion, and is kept track of during all operations. Maps of pointed spaces (based maps) are continuous maps preserving basepoints, i.e., a map f between a pointed space X with basepoint x_0 and a pointed space Y with basepoint y_0 is a based map if it is continuous with respect to the topologies of X and Y and if f\left(x_0\right) = y_0. This is usually denoted :f : \left(X, x_0\right) \to \left(Y, y_0\right). Pointed spaces are important in algebraic topology, particularly in homotopy theory, where many constructions, such as the fundamental group, depend on a choice of basepoint. The pointed set concept is less important; it is anyway the case of a pointed discrete space. Pointed spaces are often taken a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Connected Space
In topology and related branches of mathematics, a connected space is a topological space that cannot be represented as the union (set theory), union of two or more disjoint set, disjoint Empty set, non-empty open (topology), open subsets. Connectedness is one of the principal topological properties that distinguish topological spaces. A subset of a topological space X is a if it is a connected space when viewed as a Subspace topology, subspace of X. Some related but stronger conditions are #Path connectedness, path connected, Simply connected space, simply connected, and N-connected space, n-connected. Another related notion is Locally connected space, locally connected, which neither implies nor follows from connectedness. Formal definition A topological space X is said to be if it is the union of two disjoint non-empty open sets. Otherwise, X is said to be connected. A subset of a topological space is said to be connected if it is connected under its subspace topology. So ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Contractible
In mathematics, a topological space ''X'' is contractible if the identity map on ''X'' is null-homotopic, i.e. if it is homotopic to some constant map. Intuitively, a contractible space is one that can be continuously shrunk to a point within that space. Properties A contractible space is precisely one with the homotopy type of a point. It follows that all the homotopy groups of a contractible space are trivial. Therefore any space with a nontrivial homotopy group cannot be contractible. Similarly, since singular homology is a homotopy invariant, the reduced homology groups of a contractible space are all trivial. For a nonempty topological space ''X'' the following are all equivalent: *''X'' is contractible (i.e. the identity map is null-homotopic). *''X'' is homotopy equivalent to a one-point space. *''X'' deformation retracts onto a point. (However, there exist contractible spaces which do not ''strongly'' deformation retract to a point.) *For any path-connected space ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
General Linear Group
In mathematics, the general linear group of degree n is the set of n\times n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, and the inverse of an invertible matrix is invertible, with the identity matrix as the identity element of the group. The group is so named because the columns (and also the rows) of an invertible matrix are linearly independent, hence the vectors/points they define are in general linear position, and matrices in the general linear group take points in general linear position to points in general linear position. To be more precise, it is necessary to specify what kind of objects may appear in the entries of the matrix. For example, the general linear group over \R (the set of real numbers) is the group of n\times n invertible matrices of real numbers, and is denoted by \operatorname_n(\R) or \operatorname(n,\R). More generally ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Loop (topology)
In mathematics, a loop in a topological space is a continuous function from the unit interval to such that In other words, it is a path whose initial point is equal to its terminal point.. A loop may also be seen as a continuous map from the pointed unit circle into , because may be regarded as a quotient of under the identification of 0 with 1. The set of all loops in forms a space called the loop space of . See also * Free loop * Loop group * Loop space * Loop algebra *Fundamental group *Quasigroup In mathematics, especially in abstract algebra, a quasigroup is an algebraic structure that resembles a group in the sense that " division" is always possible. Quasigroups differ from groups mainly in that the associative and identity element pro ... References Topology es:Grupo fundamental#Lazo {{topology-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Piecewise
In mathematics, a piecewise function (also called a piecewise-defined function, a hybrid function, or a function defined by cases) is a function whose domain is partitioned into several intervals ("subdomains") on which the function may be defined differently. Piecewise definition is actually a way of specifying the function, rather than a characteristic of the resulting function itself, as every function whose domain contains at least two points can be rewritten as a piecewise function. The first three paragraphs of this article only deal with this first meaning of "piecewise". Terms like piecewise linear, piecewise smooth, piecewise continuous, and others are also very common. The meaning of a function being piecewise P, for a property P is roughly that the domain of the function can be partitioned into pieces on which the property P holds, but is used slightly differently by different authors. Unlike the first meaning, this is a property of the function itself and not on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
