|
Parallelizable
In mathematics, a differentiable manifold M of dimension ''n'' is called parallelizable if there exist smooth vector fields \ on the manifold, such that at every point p of M the tangent vectors \ provide a basis of the tangent space at p. Equivalently, the tangent bundle is a trivial bundle, so that the associated principal bundle of linear frames has a global section on M. A particular choice of such a basis of vector fields on M is called a parallelization (or an absolute parallelism) of M. Examples *An example with n = 1 is the circle: we can take ''V''1 to be the unit tangent vector field, say pointing in the anti-clockwise direction. The torus of dimension n is also parallelizable, as can be seen by expressing it as a cartesian product of circles. For example, take n = 2, and construct a torus from a square of graph paper with opposite edges glued together, to get an idea of the two tangent directions at each point. More generally, every Lie group ''G'' is parallelizable, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parallelization (mathematics)
In mathematics, a parallelization of a manifold M\, of dimension ''n'' is a set of ''n'' global smooth linearly independent vector fields. Formal definition Given a manifold M\, of dimension ''n'', a parallelization of M\, is a set \ of ''n'' smooth vector fields defined on ''all'' of M\, such that for every p\in M\, the set \ is a basis of T_pM\,, where T_pM\, denotes the fiber over p\, of the tangent vector bundle TM\,. A manifold is called parallelizable whenever it admits a parallelization. Examples *Every Lie group is a parallelizable manifold. *The product of parallelizable manifolds is parallelizable. *Every affine space, considered as manifold, is parallelizable. Properties Proposition. A manifold M\, is parallelizable iff there is a diffeomorphism \phi \colon TM \longrightarrow M\times \, such that the first projection of \phi\, is \tau_\colon TM \longrightarrow M\, and for each p\in M\, the second factor—restricted to T_pM\,—is a linear map \phi_ \colon T_pM \righ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tangent Bundle
In differential geometry, the tangent bundle of a differentiable manifold M is a manifold TM which assembles all the tangent vectors in M . As a set, it is given by the disjoint unionThe disjoint union ensures that for any two points and of manifold the tangent spaces and have no common vector. This is graphically illustrated in the accompanying picture for tangent bundle of circle , see tangent bundle#Examples, Examples section: all tangents to a circle lie in the plane of the circle. In order to make them disjoint it is necessary to align them in a plane perpendicular to the plane of the circle. of the tangent spaces of M . That is, : \begin TM &= \bigsqcup_ T_xM \\ &= \bigcup_ \left\ \times T_xM \\ &= \bigcup_ \left\ \\ &= \left\ \end where T_x M denotes the tangent space to M at the point x . So, an element of TM can be thought of as a ordered pair, pair (x,v), where x is a point in M and v is a tangent vector to M at x . There i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Frame Bundle
In mathematics, a frame bundle is a principal fiber bundle F(''E'') associated to 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 GL(''k'', R)-bundle (where ''k'' is the rank of ''E''). The frame bundle of a smooth manifold is the one associated to its tangent bundle. For this reason it is sometimes called the tangent frame bundle. Definition and construction Let ''E'' → ''X'' be a real vector bundle of rank ''k'' over a topological space ''X''. A frame at a point ''x'' ∈ ''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 GL(''k'', R) of invertible ''k'' × ''k'' matrices: a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Group
In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additional properties it must have to be thought of as a "transformation" in the abstract sense, for instance multiplication and the taking of inverses (division), or equivalently, the concept of addition and the taking of inverses (subtraction). Combining these two ideas, one obtains a continuous group where multiplying points and their inverses are continuous. If the multiplication and taking of inverses are smooth (differentiable) as well, one obtains a Lie group. Lie groups provide a natural model for the concept of continuous symmetry, a celebrated example of which is the rotational symmetry in three dimensions (given by the special orthogonal group \text(3)). Lie groups are widely used in many parts of modern mathematics and physics. Lie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Principal Bundle
In mathematics, a principal bundle is a mathematical object that formalizes some of the essential features of the Cartesian product X \times G of a space X with a group G. In the same way as with the Cartesian product, a principal bundle P is equipped with # An action of G on P, analogous to (x, g)h = (x, gh) for a product space. # A projection onto X. For a product space, this is just the projection onto the first factor, (x,g) \mapsto x. Unlike a product space, principal bundles lack a preferred choice of identity cross-section; they have no preferred analog of (x,e). Likewise, there is not generally a projection onto G generalizing the projection onto the second factor, X \times G \to G that exists for the Cartesian product. They may also have a complicated topology that prevents them from being realized as a product space even if a number of arbitrary choices are made to try to define such a structure by defining it on smaller pieces of the space. A common example of a principal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Michel Kervaire
Michel André Kervaire (26 April 1927 – 19 November 2007) was a French mathematician who made significant contributions to topology and algebra. He introduced the Kervaire semi-characteristic. He was the first to show the existence of topological ''n''-manifolds with no differentiable structure (using the Kervaire invariant), and (with John Milnor) computed the number of exotic spheres in dimensions greater than four. He is also well known for fundamental contributions to high-dimensional knot theory. The solution of the Kervaire invariant problem was announced by Michael Hopkins in Edinburgh on 21 April 2009. Education He was the son of André Kervaire (a French industrialist) and Nelly Derancourt. After completing high school in France, Kervaire pursued his studies at ETH Zurich (1947–1952), receiving a Ph.D. in 1955. His thesis, entitled ''Courbure intégrale généralisée et homotopie'', was written under the direction of Heinz Hopf and Beno Eckmann. Career Kervaire w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Raoul Bott
Raoul Bott (September 24, 1923 – December 20, 2005) was a Hungarian-American mathematician known for numerous basic contributions to geometry in its broad sense. He is best known for his Bott periodicity theorem, the Morse–Bott functions which he used in this context, and the Borel–Bott–Weil theorem. Early life Bott was born in Budapest, Hungary, the son of Margit Kovács and Rudolph Bott. His father was of Austrian descent, and his mother was of Hungarian Jewish descent; Bott was raised a Catholic by his mother and stepfather. Bott grew up in Czechoslovakia and spent his working life in the United States. His family emigrated to Canada in 1938, and subsequently he served in the Canadian Army in Europe during World War II. Career Bott later went to college at McGill University in Montreal, where he studied electrical engineering. He then earned a PhD in mathematics from Carnegie Mellon University in Pittsburgh in 1949. His thesis, titled ''Electrical Network Theory'', ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Milnor
John Willard Milnor (born February 20, 1931) is an American mathematician known for his work in differential topology, algebraic K-theory and low-dimensional holomorphic dynamical systems. Milnor is a distinguished professor at Stony Brook University and one of the five mathematicians to have won the Fields Medal, the Wolf Prize, and the Abel Prize (the others being Serre, Thompson, Deligne, and Margulis.) Early life and career Milnor was born on February 20, 1931, in Orange, New Jersey. His father was J. Willard Milnor and his mother was Emily Cox Milnor. As an undergraduate at Princeton University he was named a Putnam Fellow in 1949 and 1950 and also proved the Fáry–Milnor theorem when he was only 19 years old. Milnor graduated with an A.B. in mathematics in 1951 after completing a senior thesis, titled "Link groups", under the supervision of Robert H. Fox. He remained at Princeton to pursue graduate studies and received his Ph.D. in mathematics in 1954 after completi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Normed Division Algebra
In mathematics, Hurwitz's theorem is a theorem of Adolf Hurwitz (1859–1919), published posthumously in 1923, solving the Hurwitz problem for finite-dimensional unital real non-associative algebras endowed with a positive-definite quadratic form. The theorem states that if the quadratic form defines a homomorphism into the positive real numbers on the non-zero part of the algebra, then the algebra must be isomorphic to the real numbers, the complex numbers, the quaternions, or the octonions. Such algebras, sometimes called Hurwitz algebras, are examples of composition algebras. The theory of composition algebras has subsequently been generalized to arbitrary quadratic forms and arbitrary fields. Hurwitz's theorem implies that multiplicative formulas for sums of squares can only occur in 1, 2, 4 and 8 dimensions, a result originally proved by Hurwitz in 1898. It is a special case of the Hurwitz problem, solved also in . Subsequent proofs of the restrictions on the dimension have be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quaternion
In mathematics, the quaternion number system extends the complex numbers. Quaternions were first described by the Irish mathematician William Rowan Hamilton in 1843 and applied to mechanics in three-dimensional space. Hamilton defined a quaternion as the quotient of two '' directed lines'' in a three-dimensional space, or, equivalently, as the quotient of two vectors. Multiplication of quaternions is noncommutative. Quaternions are generally represented in the form :a + b\ \mathbf i + c\ \mathbf j +d\ \mathbf k where , and are real numbers; and , and are the ''basic quaternions''. Quaternions are used in pure mathematics, but also have practical uses in applied mathematics, particularly for calculations involving three-dimensional rotations, such as in three-dimensional computer graphics, computer vision, and crystallographic texture analysis. They can be used alongside other methods of rotation, such as Euler angles and rotation matrices, or as an alternative to them ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
SU(2)
In mathematics, the special unitary group of degree , denoted , is the Lie group of unitary matrices with determinant 1. The more general unitary matrices may have complex determinants with absolute value 1, rather than real 1 in the special case. The group operation is matrix multiplication. The special unitary group is a normal subgroup of the unitary group , consisting of all unitary matrices. As a compact classical group, is the group that preserves the standard inner product on \mathbb^n. It is itself a subgroup of the general linear group, \operatorname(n) \subset \operatorname(n) \subset \operatorname(n, \mathbb ). The groups find wide application in the Standard Model of particle physics, especially in the electroweak interaction and in quantum chromodynamics. The groups are important in quantum computing, as they represent the possible quantum logic gate operations in a quantum circuit with n qubits and thus 2^n basis states. (Alternatively, the more genera ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
