|
Montel's Theorem
In complex analysis, an area of mathematics, Montel's theorem refers to one of two theorems about families of holomorphic functions. These are named after French mathematician Paul Montel, and give conditions under which a family of holomorphic functions is normal. Locally uniformly bounded families are normal The first, and simpler, version of the theorem states that a family of holomorphic functions defined on an open subset of the complex numbers is normal if and only if it is locally uniformly bounded. This theorem has the following formally stronger corollary. Suppose that \mathcal is a family of meromorphic functions on an open set D. If z_0\in D is such that \mathcal is not normal at z_0, and U\subset D is a neighborhood of z_0, then \bigcup_f(U) is dense in the complex plane. Functions omitting two values The stronger version of Montel's Theorem (occasionally referred to as the Fundamental Normality Test) states that a family of holomorphic functions, all of which omit t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Analysis
Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates Function (mathematics), functions of complex numbers. It is helpful in many branches of mathematics, including algebraic geometry, number theory, analytic combinatorics, applied mathematics; as well as in physics, including the branches of hydrodynamics, thermodynamics, and particularly quantum mechanics. By extension, use of complex analysis also has applications in engineering fields such as nuclear engineering, nuclear, aerospace engineering, aerospace, mechanical engineering, mechanical and electrical engineering. As a differentiable function of a complex variable is equal to its Taylor series (that is, it is Analyticity of holomorphic functions, analytic), complex analysis is particularly concerned with analytic functions of a complex variable (that is, holomorphic functions). History Complex analysis is one of the classical ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thomas Joannes Stieltjes
Thomas Joannes Stieltjes (, 29 December 1856 – 31 December 1894) was a Dutch mathematician. He was a pioneer in the field of moment problems and contributed to the study of continued fractions. The Thomas Stieltjes Institute for Mathematics at Leiden University, dissolved in 2011, was named after him, as is the Riemann–Stieltjes integral. Biography Stieltjes was born in Zwolle on 29 December 1856. His father (who had the same first names) was a civil engineer and politician. Stieltjes Sr. was responsible for the construction of various harbours around Rotterdam, and also seated in the Dutch parliament. Stieltjes Jr. went to university at the Polytechnical School in Delft in 1873. Instead of attending lectures, he spent his student years reading the works of Gauss and Jacobi — the consequence of this being he failed his examinations. There were 2 further failures (in 1875 and 1876), and his father despaired. His father was friends with H. G. van de Sande Bakhuyzen (who was t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Montel Space
In functional analysis and related areas of mathematics, a Montel space, named after Paul Montel, is any topological vector space (TVS) in which an analog of Montel's theorem holds. Specifically, a Montel space is a barrelled topological vector space in which every closed and bounded subset is compact. Definition A topological vector space (TVS) has the if every closed and bounded subset is compact. A is a barrelled topological vector space with the Heine–Borel property. Equivalently, it is an infrabarrelled semi-Montel space where a Hausdorff locally convex topological vector space is called a or if every bounded subset is relatively compact.A subset S of a topological space X is called relatively compact is its closure in X is compact. A subset of a TVS is compact if and only if it is complete and totally bounded. A is a Fréchet space that is also a Montel space. Characterizations A separable Fréchet space is a Montel space if and only if each weak-* ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Liouville's Theorem (complex Analysis)
In complex analysis, Liouville's theorem, named after Joseph Liouville (although the theorem was first proven by Cauchy in 1844), states that every bounded entire function must be constant. That is, every holomorphic function f for which there exists a positive number M such that , f(z), \leq M for all z in \Complex is constant. Equivalently, non-constant holomorphic functions on \Complex have unbounded images. The theorem is considerably improved by Picard's little theorem, which says that every entire function whose image omits two or more complex numbers must be constant. Proof This important theorem has several proofs. A standard analytical proof uses the fact that holomorphic functions are analytic. Another proof uses the mean value property of harmonic functions. The proof can be adapted to the case where the harmonic function f is merely bounded above or below. See Harmonic function#Liouville's theorem. Corollaries Fundamental theorem of algebra There is a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bloch's Principle
Bloch's Principle is a philosophical principle in mathematics stated by André Bloch. Bloch states the principle in Latin as: ''Nihil est in infinito quod non prius fuerit in finito,'' and explains this as follows: Every proposition in whose statement the actual infinity occurs can be always considered a consequence, almost immediate, of a proposition where it does not occur, a proposition in ''finite terms''. Bloch mainly applied this principle to the theory of functions of a complex variable. Thus, for example, according to this principle, Picard's theorem corresponds to Schottky's theorem, and Valiron's theorem corresponds to Bloch's theorem. Based on his Principle, Bloch was able to predict or conjecture several important results such as the Ahlfors's Five Islands theorem, Cartan's theorem on holomorphic curves omitting hyperplanes, Hayman's result that an exceptional set of radii is unavoidable in Nevanlinna theory. In the more recent times several general theorems w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Picard's Theorem
In complex analysis, Picard's great theorem and Picard's little theorem are related theorems about the range of an analytic function. They are named after Émile Picard. The theorems Little Picard Theorem: If a function f: \mathbb \to\mathbb is entire and non-constant, then the set of values that f(z) assumes is either the whole complex plane or the plane minus a single point. Sketch of Proof: Picard's original proof was based on properties of the modular lambda function, usually denoted by λ, and which performs, using modern terminology, the holomorphic universal covering of the twice punctured plane by the unit disc. This function is explicitly constructed in the theory of elliptic functions. If ''f'' omits two values, then the composition of ''f'' with the inverse of the modular function maps the plane into the unit disc which implies that ''f'' is constant by Liouville's theorem. This theorem is a significant strengthening of Liouville's theorem which states that the im ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Elliptic Modular Function
In mathematics, Felix Klein's -invariant or function, regarded as a function of a complex variable , is a modular function of weight zero for defined on the upper half-plane of complex numbers. It is the unique such function which is holomorphic away from a simple pole at the cusp such that :j\left(e^\right) = 0, \quad j(i) = 1728 = 12^3. Rational functions of are modular, and in fact give all modular functions. Classically, the -invariant was studied as a parameterization of elliptic curves over , but it also has surprising connections to the symmetries of the Monster group (this connection is referred to as monstrous moonshine). Definition The -invariant can be defined as a function on the upper half-plane :j(\tau) = 1728 \frac = 1728 \frac = 1728 \frac with the third definition implying j(\tau) can be expressed as a cube, also since 1728 = 12^3. The given functions are the modular discriminant \Delta(\tau) = g_2(\tau)^3 - 27g_3(\tau)^2 = (2\pi)^\,\eta^(\tau) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Twice Punctured
In topology, puncturing a manifold is removing a finite set of points from that manifold. The set of points can be small as a single point. In this case, the manifold is known as once-punctured. With the removal of a second point, it becomes twice-punctured, and so on. Examples of punctured manifolds include the open disk (which is a sphere with a single puncture), the cylinder (which is a sphere with two punctures), and the Möbius strip (which is a projective plane In mathematics, a projective plane is a geometric structure that extends the concept of a plane. In the ordinary Euclidean plane, two lines typically intersect in a single point, but there are some pairs of lines (namely, parallel lines) that do ... with a single puncture). References Topology {{topology-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Universal Covering
A covering of a topological space X is a continuous map \pi : E \rightarrow X with special properties. Definition Let X be a topological space. A covering of X is a continuous map : \pi : E \rightarrow X such that there exists a discrete space D and for every x \in X an Neighbourhood (mathematics), open neighborhood U \subset X, such that \pi^(U)= \displaystyle \bigsqcup_ V_d and \pi, _:V_d \rightarrow U is a homeomorphism for every d \in D . Often, the notion of a covering is used for the covering space E as well as for the map \pi : E \rightarrow X. The open sets V_ are called sheets, which are uniquely determined up to a homeomorphism if U is Connected space, connected. For each x \in X the discrete subset \pi^(x) is called the fiber of x. The degree of a covering is the cardinality of the space D. If E is Path connected, path-connected, then the covering \pi : E \rightarrow X is denoted as a path-connected covering. Examples * For every topological space X there exi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
William Fogg Osgood
William Fogg Osgood (March 10, 1864, Boston – July 22, 1943, Belmont, Massachusetts) was an American mathematician. Education and career In 1886, he graduated from Harvard, where, after studying at the universities of Göttingen (1887–1889) and Erlangen (Ph.D., 1890), he was instructor (1890–1893), assistant professor (1893–1903), and thenceforth professor of mathematics. From 1918 to 1922, he was chairman of the department of mathematics at Harvard. He became professor emeritus in 1933. From 1934 to 1936, he was visiting professor of mathematics at Peking University. From 1899 to 1902, he served as editor of the ''Annals of Mathematics'', and in 1905–1906 was president of the American Mathematical Society, whose ''Transactions'' he edited in 1909–1910. Contributions The works of Osgood dealt with complex analysis, in particular conformal mapping and uniformization of analytic functions, and calculus of variations. He was invited by Felix Klein to write an article ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cauchy's Integral Formula
In mathematics, Cauchy's integral formula, named after Augustin-Louis Cauchy, is a central statement in complex analysis. It expresses the fact that a holomorphic function defined on a disk is completely determined by its values on the boundary of the disk, and it provides integral formulas for all derivatives of a holomorphic function. Cauchy's formula shows that, in complex analysis, "differentiation is equivalent to integration": complex differentiation, like integration, behaves well under uniform limits – a result that does not hold in real analysis. Theorem Let be an open subset of the complex plane , and suppose the closed disk defined as :D = \bigl\ is completely contained in . Let be a holomorphic function, and let be the circle, oriented counterclockwise, forming the boundary of . Then for every in the interior of , :f(a) = \frac \oint_\gamma \frac\,dz.\, The proof of this statement uses the Cauchy integral theorem and like that theorem, it only requires t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
