|
Bianchi Identity
In differential geometry, the curvature form describes curvature of a connection on a principal bundle. The Riemann curvature tensor in Riemannian geometry can be considered as a special case. Definition Let ''G'' be a Lie group with Lie algebra \mathfrak g, and ''P'' → ''B'' be a principal ''G''-bundle. Let ω be an Ehresmann connection on ''P'' (which is a \mathfrak g-valued one-form on ''P''). Then the curvature form is the \mathfrak g-valued 2-form on ''P'' defined by :\Omega=d\omega + omega \wedge \omega= D \omega. (In another convention, 1/2 does not appear.) Here d stands for exterior derivative, cdot \wedge \cdot/math> is defined in the article " Lie algebra-valued form" and ''D'' denotes the exterior covariant derivative. In other terms, :\,\Omega(X, Y)= d\omega(X,Y) + omega(X),\omega(Y)/math> where ''X'', ''Y'' are tangent vectors to ''P''. There is also another expression for Ω: if ''X'', ''Y'' are horizontal vector fields on ''P'', thenProof: \sigma\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Geometry
Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries. Since the late 19th century, differential geometry has grown into a field concerned more generally with geometric structures on differentiable manifolds. A geometric structure is one which defines some notion of size, distance, shape, volume, or other rigidifying structu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemannian Manifold
In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real manifold, real, smooth manifold ''M'' equipped with a positive-definite Inner product space, inner product ''g''''p'' on the tangent space ''T''''p''''M'' at each point ''p''. The family ''g''''p'' of inner products is called a metric tensor, Riemannian metric (or Riemannian metric tensor). Riemannian geometry is the study of Riemannian manifolds. A common convention is to take ''g'' to be Smoothness, smooth, which means that for any smooth coordinate chart on ''M'', the ''n''2 functions :g\left(\frac,\frac\right):U\to\mathbb are smooth functions. These functions are commonly designated as g_. With further restrictions on the g_, one could also consider Lipschitz continuity, Lipschitz Riemannian metrics or Measurable function, measurable Riemannian metrics, among many other possibilities. A Riemannian metric (tensor) makes it possible to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Contracted Bianchi Identities
In general relativity and tensor calculus, the contracted Bianchi identities are: : \nabla_\rho _\mu = \nabla_ R where _\mu is the Ricci tensor, R the scalar curvature, and \nabla_\rho indicates covariant differentiation. These identities are named after Luigi Bianchi, although they had been already derived by Aurel Voss in 1880. In the Einstein field equations, the contracted Bianchi identity ensures consistency with the vanishing divergence of the matter stress–energy tensor. Proof Start with the Bianchi identity : R_ + R_ + R_ = 0. Contract both sides of the above equation with a pair of metric tensors: : g^ g^ (R_ + R_ + R_) = 0, : g^ (R^m _ - R^m _ + R^m _) = 0, : g^ (R_ - R_ - R_b ^m _) = 0, : R^n _ - R^n _ - R^ _ = 0. The first term on the left contracts to yield a Ricci scalar, while the third term contracts to yield a mixed Ricci tensor, : R_ - R^n _ - R^m _ = 0. The last two terms are the same (changing dummy index ''n'' to ''m'') and can be combined into a sing ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Basic Introduction To The Mathematics Of Curved Spacetime
The mathematics of general relativity is complex. In Newton's theories of motion, an object's length and the rate at which time passes remain constant while the object accelerates, meaning that many problems in Newtonian mechanics may be solved by algebra alone. In relativity, however, an object's length and the rate at which time passes both change appreciably as the object's speed approaches the speed of light, meaning that more variables and more complicated mathematics are required to calculate the object's motion. As a result, relativity requires the use of concepts such as vectors, tensors, pseudotensors and curvilinear coordinates. For an introduction based on the example of particles following circular orbits about a large mass, nonrelativistic and relativistic treatments are given in, respectively, Newtonian motivations for general relativity and Theoretical motivation for general relativity. Vectors and tensors Vectors In mathematics, physics, and engineering, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Connection (principal Bundle)
In mathematics, and especially differential geometry and gauge theory, a connection is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. A principal ''G''-connection on a principal G-bundle ''P'' over a smooth manifold ''M'' is a particular type of connection which is compatible with the action of the group ''G''. A principal connection can be viewed as a special case of the notion of an Ehresmann connection, and is sometimes called a principal Ehresmann connection. It gives rise to (Ehresmann) connections on any fiber bundle associated to ''P'' via the associated bundle construction. In particular, on any associated vector bundle the principal connection induces a covariant derivative, an operator that can differentiate sections of that bundle along tangent directions in the base manifold. Principal connections generalize to arbitrary principal bundles the concept of a linear connection on the f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wiley Interscience
John Wiley & Sons, Inc., commonly known as Wiley (), is an American multinational publishing company founded in 1807 that focuses on academic publishing and instructional materials. The company produces books, journals, and encyclopedias, in print and electronically, as well as online products and services, training materials, and educational materials for undergraduate, graduate, and continuing education students. History The company was established in 1807 when Charles Wiley opened a print shop in Manhattan. The company was the publisher of 19th century American literary figures like James Fenimore Cooper, Washington Irving, Herman Melville, and Edgar Allan Poe, as well as of legal, religious, and other non-fiction titles. The firm took its current name in 1865. Wiley later shifted its focus to scientific, technical, and engineering subject areas, abandoning its literary interests. Wiley's son John (born in Flatbush, New York, October 4, 1808; died in East Orange, New Jers ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Foundations Of Differential Geometry
''Foundations of Differential Geometry'' is an influential 2-volume mathematics book on differential geometry written by Shoshichi Kobayashi and Katsumi Nomizu. The first volume was published in 1963 and the second in 1969, by Interscience Publishers. Both were published again in 1996 as Wiley Classics Library. The first volume considers manifolds, fiber bundles, tensor analysis, connections in bundles, and the role of Lie groups. It also covers holonomy, the de Rham decomposition theorem and the Hopf–Rinow theorem. According to the review of James Eells, it has a "fine expositional style" and consists of a "special blend of algebraic, analytic, and geometric concepts". Eells says it is "essentially a textbook (even though there are no exercises)". An advanced text, it has a "pace geared to a neterm graduate course". The second volume considers submanifolds of Riemannian manifolds, the Gauss map, and the second fundamental form. It continues with geodesics on Riemannian man ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Katsumi Nomizu
was a Japanese-American mathematician known for his work in differential geometry. Life and career Nomizu was born in Osaka, Japan on the first day of December, 1924. He studied mathematics at Osaka University, graduating in 1947 with a Master of Science then traveled to the United States on a U.S. Army Fulbright Scholarship. He studied first at Columbia University and then at the University of Chicago where in 1953 he became the first student to earn a Ph.D. under the thesis direction of Shiing-Shen Chern. The subject was affine differential geometry, a topic to which he would return much later in his career. He presented his thesis, ''Invariant affine connections on homogeneous spaces'' in 1953. Returning to Japan, he studied at Nagoya University, obtaining a doctor of science in 1955. He published his first volume, ''Lie Groups and Differential Geometry'' dedicated to his wife Kimiko whom he had married that same year. Nomizu taught at Nagoya University until 1958 when ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Shoshichi Kobayashi
was a Japanese mathematician. He was the eldest brother of electrical engineer and computer scientist Hisashi Kobayashi. His research interests were in Riemannian and complex manifolds, transformation groups of geometric structures, and Lie algebras. Biography Kobayashi graduated from the University of Tokyo in 1953. In 1956, he earned a Ph.D. from the University of Washington under Carl B. Allendoerfer. His dissertation was ''Theory of Connections''. He then spent two years at the Institute for Advanced Study and two years at MIT. He joined the faculty of the University of California, Berkeley in 1962 as an assistant professor, was awarded tenure the following year, and was promoted to full professor in 1966. Kobayashi served as chairman of the Berkeley Mathematics Department for a three-year term from 1978 to 1981 and for the 1992 Fall semester. He chose early retirement under the VERIP plan in 1994. The two-volume book ''Foundations of Differential Geometry'', which he coau ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
General Theory Of Relativity
General relativity, also known as the general theory of relativity and Einstein's theory of gravity, is the differential geometry, geometric scientific theory, theory of gravitation published by Albert Einstein in 1915 and is the current description of gravitation in modern physics. General theory of relativity, relativity generalizes special relativity and refines Newton's law of universal gravitation, providing a unified description of gravity as a geometric property of space and time in physics, time or four-dimensional space, four-dimensional spacetime. In particular, the ' is directly related to the energy and momentum of whatever matter and radiation are present. The relation is specified by the Einstein field equations, a system of second order partial differential equations. Newton's law of universal gravitation, which describes classical gravity, can be seen as a prediction of general relativity for the almost flat spacetime geometry around stationary mass distribution ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Einstein Field Equations
In the general theory of relativity, the Einstein field equations (EFE; also known as Einstein's equations) relate the geometry of spacetime to the distribution of matter within it. The equations were published by Einstein in 1915 in the form of a tensor equation which related the local ' (expressed by the Einstein tensor) with the local energy, momentum and stress within that spacetime (expressed by the stress–energy tensor). Analogously to the way that electromagnetic fields are related to the distribution of charges and currents via Maxwell's equations, the EFE relate the spacetime geometry to the distribution of mass–energy, momentum and stress, that is, they determine the metric tensor of spacetime for a given arrangement of stress–energy–momentum in the spacetime. The relationship between the metric tensor and the Einstein tensor allows the EFE to be written as a set of nonlinear partial differential equations when used in this way. The solutions of the EFE are t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Einstein Tensor
In differential geometry, the Einstein tensor (named after Albert Einstein; also known as the trace-reversed Ricci tensor) is used to express the curvature of a pseudo-Riemannian manifold. In general relativity, it occurs in the Einstein field equations for gravitation that describe spacetime curvature in a manner that is consistent with conservation of energy and momentum. Definition The Einstein tensor \mathbf is a tensor of order 2 defined over pseudo-Riemannian manifolds. In index-free notation it is defined as \mathbf=\mathbf-\frac\mathbfR, where \mathbf is the Ricci tensor, \mathbf is the metric tensor and R is the scalar curvature, which is computed as the trace of the Ricci Tensor R_ by R = g^R_ = R_\mu^\mu. In component form, the previous equation reads as G_ = R_ - g_R . The Einstein tensor is symmetric G_ = G_ and, like the on shell stress–energy tensor, and has zero divergence: \nabla_\mu G^ = 0\,. Explicit form The Ricci tensor depends only on the metric ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
