Liouville's Theorem (conformal Mappings)
In mathematics, Liouville's theorem, proved by Joseph Liouville in 1850, is a rigidity (mathematics), rigidity theorem about conformal mappings in Euclidean space. It states that every smooth function, smooth conformal mapping on a domain of R, where ''n'' > 2, can be expressed as a composition of translation (geometry), translations, similarity (geometry), similarities, orthogonal matrix, orthogonal transformations and inversive geometry#In higher dimensions, inversions: they are Möbius transformation#Higher dimensions, Möbius transformations (in ''n'' dimensions).Philip Hartman (1947Systems of Total Differential Equations and Liouville's theorem on Conformal MappingAmerican Journal of Mathematics 69(2);329–332. This theorem severely limits the variety of possible conformal mappings in R and higher-dimensional spaces. By contrast, conformal mappings in R can be much more complicated – for example, all simply connected planar domains are conformally equivalent, by the Riemann ... [...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]   |
|
Cauchy–Riemann Equations
In the field of complex analysis in mathematics, the Cauchy–Riemann equations, named after Augustin-Louis Cauchy, Augustin Cauchy and Bernhard Riemann, consist of a system of differential equations, system of two partial differential equations which form a necessary and sufficient condition for a complex function of a complex variable to be complex differentiable. These equations are and where and are real differentiable function#Differentiability in higher dimensions, bivariate differentiable functions. Typically, and are respectively the real part, real and imaginary parts of a complex number, complex-valued function of a single complex variable where and are real variables; and are real differentiable functions of the real variables. Then is complex differentiable at a complex point if and only if the partial derivatives of and satisfy the Cauchy–Riemann equations at that point. A holomorphic function is a complex function that is differentiable at eve ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Conformal Killing Equation
In conformal geometry, a conformal Killing vector field on a manifold of dimension ''n'' with (pseudo) Riemannian metric g (also called a conformal Killing vector, CKV, or conformal colineation), is a vector field X whose (locally defined) flow defines conformal transformations, that is, preserve g up to scale and preserve the conformal structure. Several equivalent formulations, called the conformal Killing equation, exist in terms of the Lie derivative of the flow e.g. \mathcal_g = \lambda g for some function \lambda on the manifold. For n \ne 2 there are a finite number of solutions, specifying the conformal symmetry of that space, but in two dimensions, there is an infinity of solutions. The name Killing refers to Wilhelm Killing, who first investigated Killing vector fields. Densitized metric tensor and Conformal Killing vectors A vector field X is a Killing vector field if and only if its flow preserves the metric tensor g (strictly speaking for each compact subsets of ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Lie Algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi identity. In other words, a Lie algebra is an algebra over a field for which the multiplication operation (called the Lie bracket) is alternating and satisfies the Jacobi identity. The Lie bracket of two vectors x and y is denoted ,y/math>. A Lie algebra is typically a non-associative algebra. However, every associative algebra gives rise to a Lie algebra, consisting of the same vector space with the commutator Lie bracket, ,y= xy - yx . Lie algebras are closely related to Lie groups, which are groups that are also smooth manifolds: every Lie group gives rise to a Lie algebra, which is the tangent space at the identity. (In this case, the Lie bracket measures the failure of commutativity for the Lie group.) Conversely, to any finite-di ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Projective Space
In mathematics, the concept of a projective space originated from the visual effect of perspective, where parallel lines seem to meet ''at infinity''. A projective space may thus be viewed as the extension of a Euclidean space, or, more generally, an affine space with points at infinity, in such a way that there is one point at infinity of each direction of parallel lines. This definition of a projective space has the disadvantage of not being isotropic, having two different sorts of points, which must be considered separately in proofs. Therefore, other definitions are generally preferred. There are two classes of definitions. In synthetic geometry, ''point'' and ''line'' are primitive entities that are related by the incidence relation "a point is on a line" or "a line passes through a point", which is subject to the axioms of projective geometry. For some such set of axioms, the projective spaces that are defined have been shown to be equivalent to those resulting from the f ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
N Sphere
In mathematics, an -sphere or hypersphere is an - dimensional generalization of the -dimensional circle and -dimensional sphere to any non-negative integer . The circle is considered 1-dimensional and the sphere 2-dimensional because a point within them has one and two degrees of freedom respectively. However, the typical embedding of the 1-dimensional circle is in 2-dimensional space, the 2-dimensional sphere is usually depicted embedded in 3-dimensional space, and a general -sphere is embedded in an -dimensional space. The term ''hyper''sphere is commonly used to distinguish spheres of dimension which are thus embedded in a space of dimension , which means that they cannot be easily visualized. The -sphere is the setting for -dimensional spherical geometry. Considered extrinsically, as a hypersurface embedded in -dimensional Euclidean space, an -sphere is the locus of points at equal distance (the ''radius'') from a given '' center'' point. Its interior, consisting of all ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Riemannian Manifold
In differential geometry, a Riemannian manifold is a geometric space on which many geometric notions such as distance, angles, length, volume, and curvature are defined. Euclidean space, the N-sphere, n-sphere, hyperbolic space, and smooth surfaces in three-dimensional space, such as ellipsoids and paraboloids, are all examples of Riemannian manifold, manifolds. Riemannian manifolds are named after German mathematician Bernhard Riemann, who first conceptualized them. Formally, a Riemannian metric (or just a metric) on a smooth manifold is a choice of inner product for each tangent space of the manifold. A Riemannian manifold is a smooth manifold together with a Riemannian metric. The techniques of differential and integral calculus are used to pull geometric data out of the Riemannian metric. For example, integration leads to the Riemannian distance function, whereas differentiation is used to define curvature and parallel transport. Any smooth surface in three-dimensional Eucl ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Conformal Manifold
In mathematics, conformal geometry is the study of the set of angle-preserving ( conformal) transformations on a space. In a real two dimensional space, conformal geometry is precisely the geometry of Riemann surfaces. In space higher than two dimensions, conformal geometry may refer either to the study of conformal transformations of what are called "flat spaces" (such as Euclidean spaces or spheres), or to the study of conformal manifolds which are Riemannian or pseudo-Riemannian manifolds with a class of metrics that are defined up to scale. Study of the flat structures is sometimes termed Möbius geometry, and is a type of Klein geometry. Conformal manifolds A conformal manifold is a Riemannian manifold (or pseudo-Riemannian manifold) equipped with an equivalence class of metric tensors, in which two metrics ''g'' and ''h'' are equivalent if and only if :h = \lambda^2 g , where ''λ'' is a real-valued smooth function defined on the manifold and is called the conformal facto ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Quasiconformal Map
In mathematical complex analysis, a quasiconformal mapping is a (weakly differentiable) homeomorphism between plane domains which to first order takes small circles to small ellipses of bounded eccentricity. Quasiconformal mappings are a generalization of conformal mappings that permit the bounded distortion of angles locally. Quasiconformal mappings were introduced by and named by , Intuitively, let ''f'' : ''D'' → ''D''′ be an orientation-preserving homeomorphism between open sets in the plane. If ''f'' is continuously differentiable, it is ''K''-quasiconformal if, at every point, its derivative maps circles to ellipses with the ratio of the major to minor axis bounded by ''K''. Definition Suppose ''f'' : ''D'' → ''D''′ where ''D'' and ''D''′ are two domains in C. There are a variety of equivalent definitions, depending on the required smoothness of ''f''. If ''f'' is assumed to have continuous partial derivatives, then ''f'' is quasiconformal ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Householder Transformation
In linear algebra, a Householder transformation (also known as a Householder reflection or elementary reflector) is a linear transformation that describes a reflection (mathematics), reflection about a plane (mathematics), plane or hyperplane containing the origin. The Householder transformation was used in a 1958 paper by Alston Scott Householder. Definition Operator and transformation The Householder Operator (mathematics), operator may be defined over any finite-dimensional inner product space V with inner product \langle \cdot, \cdot \rangle and unit vector u\in V as : H_u(x) := x - 2\,\langle x,u \rangle\,u\,. It is also common to choose a non-unit vector q \in V, and normalize it directly in the Householder operator's expression: :H_q \left ( x \right ) = x - 2\, \frac\, q \,. Such an operator is Linear operator, linear and self-adjoint. If V=\mathbb^n, note that the reflection hyperplane can be defined by its ''normal vector'', a unit vector \vec v\in V (a vector wit ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Rotation Matrix
In linear algebra, a rotation matrix is a transformation matrix that is used to perform a rotation (mathematics), rotation in Euclidean space. For example, using the convention below, the matrix :R = \begin \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end rotates points in the plane counterclockwise through an angle about the origin of a two-dimensional Cartesian coordinate system. To perform the rotation on a plane point with standard coordinates , it should be written as a column vector, and matrix multiplication, multiplied by the matrix : : R\mathbf = \begin \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end \begin x \\ y \end = \begin x\cos\theta-y\sin\theta \\ x\sin\theta+y\cos\theta \end. If and are the coordinates of the endpoint of a vector with the length ''r'' and the angle \phi with respect to the -axis, so that x = r \cos \phi and y = r \sin \phi, then the above equations become the List of trigonometric identities#Angle sum and ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Almost Everywhere
In measure theory (a branch of mathematical analysis), a property holds almost everywhere if, in a technical sense, the set for which the property holds takes up nearly all possibilities. The notion of "almost everywhere" is a companion notion to the concept of measure zero, and is analogous to the notion of '' almost surely'' in probability theory. More specifically, a property holds almost everywhere if it holds for all elements in a set except a subset of measure zero, or equivalently, if the set of elements for which the property holds is conull. In cases where the measure is not complete, it is sufficient that the set be contained within a set of measure zero. When discussing sets of real numbers, the Lebesgue measure is usually assumed unless otherwise stated. The term ''almost everywhere'' is abbreviated ''a.e.''; in older literature ''p.p.'' is used, to stand for the equivalent French language phrase ''presque partout''. A set with full measure is one whose complement ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |