|
Killing Vectors
In mathematics, a Killing vector field (often called a Killing field), named after Wilhelm Killing, is a vector field on a Riemannian manifold (or pseudo-Riemannian manifold) that preserves the metric. Killing fields are the infinitesimal generators of isometries; that is, flows generated by Killing fields are continuous isometries of the manifold. More simply, the flow generates a symmetry, in the sense that moving each point of an object the same distance in the direction of the Killing vector will not distort distances on the object. Definition Specifically, a vector field ''X'' is a Killing field if the Lie derivative with respect to ''X'' of the metric ''g'' vanishes: :\mathcal_ g = 0 \,. In terms of the Levi-Civita connection, this is :g\left(\nabla_Y X, Z\right) + g\left(Y, \nabla_Z X\right) = 0 \, for all vectors ''Y'' and ''Z''. In local coordinates, this amounts to the Killing equation :\nabla_\mu X_\nu + \nabla_ X_\mu = 0 \,. This condition is expressed in c ... [...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] |
Riemann Curvature Tensor
In the mathematical field of differential geometry, the Riemann curvature tensor or Riemann–Christoffel tensor (after Bernhard Riemann and Elwin Bruno Christoffel) is the most common way used to express the curvature of Riemannian manifolds. It assigns a tensor to each point of a Riemannian manifold (i.e., it is a tensor field). It is a local invariant of Riemannian metrics which measures the failure of the second covariant derivatives to commute. A Riemannian manifold has zero curvature if and only if it is ''flat'', i.e. locally isometric to the Euclidean space. The curvature tensor can also be defined for any pseudo-Riemannian manifold, or indeed any manifold equipped with an affine connection. It is a central mathematical tool in the theory of general relativity, the modern theory of gravity, and the curvature of spacetime is in principle observable via the geodesic deviation equation. The curvature tensor represents the tidal force experienced by a rigid body moving al ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pull Back
In mathematics, a pullback is either of two different, but related processes: precomposition and fiber-product. Its dual is a pushforward. Precomposition Precomposition with a function probably provides the most elementary notion of pullback: in simple terms, a function f of a variable y, where y itself is a function of another variable x, may be written as a function of x. This is the pullback of f by the function y. f(y(x)) \equiv g(x) It is such a fundamental process that it is often passed over without mention. However, it is not just functions that can be "pulled back" in this sense. Pullbacks can be applied to many other objects such as differential forms and their cohomology classes; see * Pullback (differential geometry) * Pullback (cohomology) Fiber-product The pullback bundle is an example that bridges the notion of a pullback as precomposition, and the notion of a pullback as a Cartesian square. In that example, the base space of a fiber bundle is pulled back, in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Coordinate Chart
In topology, a branch of mathematics, a topological manifold is a topological space that locally resembles real ''n''-dimensional Euclidean space. Topological manifolds are an important class of topological spaces, with applications throughout mathematics. All manifolds are topological manifolds by definition. Other types of manifolds are formed by adding structure to a topological manifold (e.g. differentiable manifolds are topological manifolds equipped with a differential structure). Every manifold has an "underlying" topological manifold, obtained by simply "forgetting" the added structure. However, not every topological manifold can be endowed with a particular additional structure. For example, the E8 manifold is a topological manifold which cannot be endowed with a differentiable structure. Formal definition A topological space ''X'' is called locally Euclidean if there is a non-negative integer ''n'' such that every point in ''X'' has a neighborhood which is homeomorphic t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
SO(3)
In mechanics and geometry, the 3D rotation group, often denoted SO(3), is the group of all rotations about the origin of three-dimensional Euclidean space \R^3 under the operation of composition. By definition, a rotation about the origin is a transformation that preserves the origin, Euclidean distance (so it is an isometry), and orientation (i.e., ''handedness'' of space). Composing two rotations results in another rotation, every rotation has a unique inverse rotation, and the identity map satisfies the definition of a rotation. Owing to the above properties (along composite rotations' associative property), the set of all rotations is a group under composition. Every non-trivial rotation is determined by its axis of rotation (a line through the origin) and its angle of rotation. Rotations are not commutative (for example, rotating ''R'' 90° in the x-y plane followed by ''S'' 90° in the y-z plane is not the same as ''S'' followed by ''R''), making the 3D rotation group a non ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sphere Killing Field Z-rotation
A sphere () is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. A sphere is the set of points that are all at the same distance from a given point in three-dimensional space.. That given point is the centre of the sphere, and is the sphere's radius. The earliest known mentions of spheres appear in the work of the ancient Greek mathematicians. The sphere is a fundamental object in many fields of mathematics. Spheres and nearly-spherical shapes also appear in nature and industry. Bubbles such as soap bubbles take a spherical shape in equilibrium. The Earth is often approximated as a sphere in geography, and the celestial sphere is an important concept in astronomy. Manufactured items including pressure vessels and most curved mirrors and lenses are based on spheres. Spheres roll smoothly in any direction, so most balls used in sports and toys are spherical, as are ball bearings. Basic terminology As mentioned earlier is the sphere's r ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Special Conformal Transformation
In projective geometry, a special conformal transformation is a linear fractional transformation that is ''not'' an affine transformation. Thus the generation of a special conformal transformation involves use of multiplicative inversion, which is the generator of linear fractional transformations that is not affine. In mathematical physics, certain conformal maps known as spherical wave transformations are special conformal transformations. Vector presentation A special conformal transformation can be written : x'^\mu = \frac = \frac(x^\mu-b^\mu x^2)\,. It is a composition of an inversion (''x''''μ'' → ''x''''μ''/x2 = ''y''''μ''), a translation (''y''''μ'' → ''y''''μ'' − ''b''''μ'' = ''z''''μ''), and another inversion (''z''''μ'' → ''z''''μ''/z2 = ''x''′''μ'') : \frac = \frac - b^\mu \,. Its infinitesimal generator is : K_\mu = -i(2x_\mu x^\nu\partial_\nu - x^2\partial_\mu) \,. Alternative presentation The i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Poincaré Half-plane Model
In non-Euclidean geometry, the Poincaré half-plane model is the upper half-plane, denoted below as H = \, together with a metric, the Poincaré metric, that makes it a model of two-dimensional hyperbolic geometry. Equivalently the Poincaré half-plane model is sometimes described as a complex plane where the imaginary part (the ''y'' coordinate mentioned above) is positive. The Poincaré half-plane model is named after Henri Poincaré, but it originated with Eugenio Beltrami who used it, along with the Klein model and the Poincaré disk model, to show that hyperbolic geometry was equiconsistent with Euclidean geometry. This model is conformal which means that the angles measured at a point are the same in the model as they are in the actual hyperbolic plane. The Cayley transform provides an isometry between the half-plane model and the Poincaré disk model. This model can be generalized to model an n+1 dimensional hyperbolic space by replacing the real number ''x'' by a v ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Poincaré Metric
In mathematics, the Poincaré metric, named after Henri Poincaré, is the metric tensor describing a two-dimensional surface of constant negative curvature. It is the natural metric commonly used in a variety of calculations in hyperbolic geometry or Riemann surfaces. There are three equivalent representations commonly used in two-dimensional hyperbolic geometry. One is the Poincaré half-plane model, defining a model of hyperbolic space on the upper half-plane. The Poincaré disk model defines a model for hyperbolic space on the unit disk. The disk and the upper half plane are related by a conformal map, and isometries are given by Möbius transformations. A third representation is on the punctured disk, where relations for ''q''-analogues are sometimes expressed. These various forms are reviewed below. Overview of metrics on Riemann surfaces A metric on the complex plane may be generally expressed in the form :ds^2=\lambda^2(z,\overline)\, dz\,d\overline where λ is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Upper Half-plane
In mathematics, the upper half-plane, \,\mathcal\,, is the set of points in the Cartesian plane with > 0. Complex plane Mathematicians sometimes identify the Cartesian plane with the complex plane, and then the upper half-plane corresponds to the set of complex numbers with positive imaginary part: :\mathcal \equiv \ ~. The term arises from a common visualization of the complex number as the point in the plane endowed with Cartesian coordinates. When the axis is oriented vertically, the "upper half-plane" corresponds to the region above the axis and thus complex numbers for which > 0. It is the domain of many functions of interest in complex analysis, especially modular forms. The lower half-plane, defined by 0. Proposition: Let ''A'' and ''B'' be semicircles in the upper half-plane with centers on the boundary. Then there is an affine mapping that takes ''A'' to ''B''. :Proof: First shift the center of ''A'' to (0,0). Then take λ = (diame ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Special Conformal Transformation Generator
Special or specials may refer to: Policing * Specials, Ulster Special Constabulary, the Northern Ireland police force * Specials, Special Constable, an auxiliary, volunteer, or temporary; police worker or police officer Literature * ''Specials'' (novel), a novel by Scott Westerfeld * ''Specials'', the comic book heroes, see ''Rising Stars'' (comic) Film and television * Special (lighting), a stage light that is used for a single, specific purpose * ''Special'' (film), a 2006 scifi dramedy * ''The Specials'' (2000 film), a comedy film about a group of superheroes * ''The Specials'' (2019 film), a film by Olivier Nakache and Éric Toledano * Television special, television programming that temporarily replaces scheduled programming * ''Special'' (TV series), a 2019 Netflix Original TV series * ''Specials'' (TV series), a 1991 TV series about British Special Constables * ''The Specials'' (TV series), an internet documentary series about 5 friends with learning disabilities ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Indefinite Orthogonal Group
In mathematics, the indefinite orthogonal group, is the Lie group of all linear transformations of an ''n''-dimension of a vector space, dimensional real vector space that leave invariant a nondegenerate form, nondegenerate, symmetric bilinear form of signature of a quadratic form, signature , where . It is also called the pseudo-orthogonal group or generalized orthogonal group. The dimension of the group is . The indefinite special orthogonal group, is the subgroup of consisting of all elements with determinant 1. Unlike in the definite case, is not connected – it has 2 components – and there are two additional finite index subgroups, namely the connected and , which has 2 components – see ' for definition and discussion. The signature of the form determines the group up to isomorphism; interchanging ''p'' with ''q'' amounts to replacing the metric by its negative, and so gives the same group. If either ''p'' or ''q'' equals zero, then the group is isomorphic to the ord ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
