|
Schwarz Lemma
In mathematics, the Schwarz lemma, named after Hermann Amandus Schwarz, is a result in complex analysis about holomorphic functions from the open unit disk to itself. The lemma is less celebrated than deeper theorems, such as the Riemann mapping theorem, which it helps to prove. It is, however, one of the simplest results capturing the rigidity of holomorphic functions. Statement Let \mathbf = \ be the open unit disk in the complex plane \mathbb centered at the origin, and let f : \mathbf\rightarrow \mathbb be a holomorphic map such that f(0) = 0 and , f(z), \leq 1 on \mathbf. Then , f(z), \leq , z, for all z \in \mathbf, and , f'(0), \leq 1. Moreover, if , f(z), = , z, for some non-zero z or , f'(0), = 1, then f(z) = az for some a \in \mathbb with , a, = 1.Theorem 5.34 in Proof The proof is a straightforward application of the maximum modulus principle on the function :g(z) = \begin \frac\, & \mbox z \neq 0 \\ f'(0) & \mbox z = 0, \end which is holomorphic ... [...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 t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hyperbolic Geometry
In mathematics, hyperbolic geometry (also called Lobachevskian geometry or Bolyai–Lobachevskian geometry) is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with: :For any given line ''R'' and point ''P'' not on ''R'', in the plane containing both line ''R'' and point ''P'' there are at least two distinct lines through ''P'' that do not intersect ''R''. (Compare the above with Playfair's axiom, the modern version of Euclid's parallel postulate.) Hyperbolic plane geometry is also the geometry of pseudospherical surfaces, surfaces with a constant negative Gaussian curvature. Saddle surfaces have negative Gaussian curvature in at least some regions, where they locally resemble the hyperbolic plane. A modern use of hyperbolic geometry is in the theory of special relativity, particularly the Minkowski model. When geometers first realised they were working with something other than the standard Euclidean geometry, they described their ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lemmas In Analysis
Lemma may refer to: Language and linguistics * Lemma (morphology), the canonical, dictionary or citation form of a word * Lemma (psycholinguistics), a mental abstraction of a word about to be uttered Science and mathematics * Lemma (botany), a part of a grass plant * Lemma (mathematics), a type of proposition Other uses * ''Lemma'' (album), by John Zorn (2013) * Lemma (logic), an informal contention See also *Analemma, a diagram showing the variation of the position of the Sun in the sky *Dilemma A dilemma ( grc-gre, δίλημμα "double proposition") is a problem offering two possibilities, neither of which is unambiguously acceptable or preferable. The possibilities are termed the ''horns'' of the dilemma, a clichéd usage, but dist ... * Lema (other) * Lemmatisation * Neurolemma, part of a neuron {{Disambiguation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemann Surfaces
In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed versions of the complex plane: locally near every point they look like patches of the complex plane, but the global topology can be quite different. For example, they can look like a sphere or a torus or several sheets glued together. The main interest in Riemann surfaces is that holomorphic functions may be defined between them. Riemann surfaces are nowadays considered the natural setting for studying the global behavior of these functions, especially multi-valued functions such as the square root and other algebraic functions, or the logarithm. Every Riemann surface is a two-dimensional real analytic manifold (i.e., a surface), but it contains more structure (specifically a complex structure) which is needed for the unambiguous defin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nevanlinna–Pick Interpolation
In complex analysis, given ''initial data'' consisting of n points \lambda_1, \ldots, \lambda_n in the complex unit disc \mathbb and ''target data'' consisting of n points z_1, \ldots, z_n in \mathbb, the Nevanlinna–Pick interpolation problem is to find a holomorphic function \varphi that interpolates the data, that is for all i \in \, :\varphi(\lambda_i) = z_i, subject to the constraint \left\vert \varphi(\lambda) \right\vert \le 1 for all \lambda \in \mathbb. Georg Pick and Rolf Nevanlinna solved the problem independently in 1916 and 1919 respectively, showing that an interpolating function exists if and only if a matrix defined in terms of the initial and target data is positive semi-definite. Background The Nevanlinna–Pick theorem represents an n-point generalization of the Schwarz lemma. The invariant form of the Schwarz lemma states that for a holomorphic function f:\mathbb\to\mathbb, for all \lambda_1, \lambda_2 \in \mathbb, : \left, \frac\ \leq \left, \frac\. Set ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Koebe 1/4 Theorem
In complex analysis, a branch of mathematics, the Koebe 1/4 theorem states the following: Koebe Quarter Theorem. The image of an injective analytic function f:\mathbf\to\mathbb from the unit disk \mathbf onto a subset of the complex plane contains the disk whose center is f(0) and whose radius is , f'(0), /4. The theorem is named after Paul Koebe, who conjectured the result in 1907. The theorem was proven by Ludwig Bieberbach in 1916. The example of the Koebe function shows that the constant 1/4 in the theorem cannot be improved (increased). A related result is the Schwarz lemma, and a notion related to both is conformal radius. Grönwall's area theorem Suppose that :g(z) = z +b_1z^ + b_2 z^ + \cdots is univalent in , z, >1. Then :\sum_ n, b_n, ^2 \le 1. In fact, if r > 1, the complement of the image of the disk , z, >r is a bounded domain X(r). Its area is given by : \int_ dx\,dy = \int_\overline\,dz = \int_\overline\,dg=\pi r^2 - \pi\sum n, b_n, ^2 r^. Since the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Univalent Mapping
In mathematics, in the branch of complex analysis, a holomorphic function on an open subset of the complex plane is called univalent if it is injective. Examples The function f \colon z \mapsto 2z + z^2 is univalent in the open unit disc, as f(z) = f(w) implies that f(z) - f(w) = (z-w)(z+w+2) = 0. As the second factor is non-zero in the open unit disc, f must be injective. Basic properties One can prove that if G and \Omega are two open connected sets in the complex plane, and :f: G \to \Omega is a univalent function such that f(G) = \Omega (that is, f is surjective), then the derivative of f is never zero, f is invertible, and its inverse f^ is also holomorphic. More, one has by the chain rule :(f^)'(f(z)) = \frac for all z in G. Comparison with real functions For real analytic functions, unlike for complex analytic (that is, holomorphic) functions, these statements fail to hold. For example, consider the function :f: (-1, 1) \to (-1, 1) \, given by ''ƒ''( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Injective
In mathematics, an injective function (also known as injection, or one-to-one function) is a function that maps distinct elements of its domain to distinct elements; that is, implies . (Equivalently, implies in the equivalent contrapositive statement.) In other words, every element of the function's codomain is the image of one element of its domain. The term must not be confused with that refers to bijective functions, which are functions such that each element in the codomain is an image of exactly one element in the domain. A homomorphism between algebraic structures is a function that is compatible with the operations of the structures. For all common algebraic structures, and, in particular for vector spaces, an is also called a . However, in the more general context of category theory, the definition of a monomorphism differs from that of an injective homomorphism. This is thus a theorem that they are equivalent for algebraic structures; see for more details. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
De Branges' Theorem
In complex analysis, de Branges's theorem, or the Bieberbach conjecture, is a theorem that gives a necessary condition on a holomorphic function in order for it to map the open unit disk of the complex plane injectively to the complex plane. It was posed by and finally proven by . The statement concerns the Taylor coefficients a_n of a univalent function, i.e. a one-to-one holomorphic function that maps the unit disk into the complex plane, normalized as is always possible so that a_0=0 and a_1=1. That is, we consider a function defined on the open unit disk which is holomorphic and injective ('' univalent'') with Taylor series of the form :f(z)=z+\sum_ a_n z^n. Such functions are called ''schlicht''. The theorem then states that : , a_n, \leq n \quad \textn\geq 2. The Koebe function (see below) is a function in which a_n=n for all n, and it is schlicht, so we cannot find a stricter limit on the absolute value of the nth coefficient. Schlicht functions The normaliza ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Schwarz–Ahlfors–Pick Theorem
In mathematics, the Schwarz–Ahlfors–Pick theorem is an extension of the Schwarz lemma for hyperbolic geometry, such as the Poincaré half-plane model. The Schwarz–Pick lemma states that every holomorphic function from the unit disk ''U'' to itself, or from the upper half-plane ''H'' to itself, will not increase the Poincaré distance between points. The unit disk ''U'' with the Poincaré metric has negative Gaussian curvature −1. In 1938, Lars Ahlfors generalised the lemma to maps from the unit disk to other negatively curved surfaces: Theorem ( Schwarz– Ahlfors– Pick). Let ''U'' be the unit disk with Poincaré metric \rho; let ''S'' be a Riemann surface endowed with a Hermitian metric \sigma whose Gaussian curvature is ≤ −1; let f:U\rightarrow S be a holomorphic function. Then :\sigma(f(z_1),f(z_2)) \leq \rho(z_1,z_2) for all z_1,z_2 \in U. A generalization of this theorem was proved by Shing-Tung Yau Shing-Tung Yau (; ; born April 4, 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cayley Transform
In mathematics, the Cayley transform, named after Arthur Cayley, is any of a cluster of related things. As originally described by , the Cayley transform is a mapping between skew-symmetric matrices and special orthogonal matrices. The transform is a homography used in real analysis, complex analysis, and quaternionic analysis. In the theory of Hilbert spaces, the Cayley transform is a mapping between linear operators . Real homography The Cayley transform is an automorphism of the real projective line that permutes the elements of in sequence. For example, it maps the positive real numbers to the interval ��1, 1 Thus the Cayley transform is used to adapt Legendre polynomials for use with functions on the positive real numbers with Legendre rational functions. As a real homography, points are described with projective coordinates, and the mapping is : ,\ 1= \left frac ,\ 1\right\thicksim - 1, \ x + 1= ,\ 1begin1 & 1 \\ -1 & 1 \end . Complex homography On the Riemann ... [...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 λ = ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
