Picard's Little Theorem
   HOME





Picard's Little 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 \lambda, 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 image ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Complex Analysis
Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is helpful in many branches of mathematics, including algebraic geometry, number theory, analytic combinatorics, and applied mathematics, as well as in physics, including the branches of hydrodynamics, thermodynamics, quantum mechanics, and twistor theory. By extension, use of complex analysis also has applications in engineering fields such as nuclear, aerospace, mechanical and electrical engineering. As a differentiable function of a complex variable is equal to the sum function given by its Taylor series (that is, it is analytic), complex analysis is particularly concerned with analytic functions of a complex variable, that is, '' holomorphic functions''. The concept can be extended to functions of several complex variables. Complex analysis is contrasted with real analysis, which dea ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Punctured Neighborhood
In topology and related areas of mathematics, a neighbourhood (or neighborhood) is one of the basic concepts in a topological space. It is closely related to the concepts of open set and interior. Intuitively speaking, a neighbourhood of a point is a set of points containing that point where one can move some amount in any direction away from that point without leaving the set. Definitions Neighbourhood of a point If X is a topological space and p is a point in X, then a neighbourhood of p is a subset V of X that includes an open set U containing p, p \in U \subseteq V \subseteq X. This is equivalent to the point p \in X belonging to the topological interior of V in X. The neighbourhood V need not be an open subset of X. When V is open (resp. closed, compact, etc.) in X, it is called an (resp. closed neighbourhood, compact neighbourhood, etc.). Some authors require neighbourhoods to be open, so it is important to note their conventions. A set that is a neighbourhood o ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Meromorphic Function
In the mathematical field of complex analysis, a meromorphic function on an open subset ''D'' of the complex plane is a function that is holomorphic on all of ''D'' ''except'' for a set of isolated points, which are ''poles'' of the function. The term comes from the Greek ''meros'' ( μέρος), meaning "part". Every meromorphic function on ''D'' can be expressed as the ratio between two holomorphic functions (with the denominator not constant 0) defined on ''D'': any pole must coincide with a zero of the denominator. Heuristic description Intuitively, a meromorphic function is a ratio of two well-behaved (holomorphic) functions. Such a function will still be well-behaved, except possibly at the points where the denominator of the fraction is zero. If the denominator has a zero at ''z'' and the numerator does not, then the value of the function will approach infinity; if both parts have a zero at ''z'', then one must compare the multiplicity of these zeros. From an algeb ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Removable Singularity
In complex analysis, a removable singularity of a holomorphic function is a point at which the function is Undefined (mathematics), undefined, but it is possible to redefine the function at that point in such a way that the resulting function is analytic function, regular in a Neighbourhood (mathematics), neighbourhood of that point. For instance, the (unnormalized) sinc function, as defined by : \text(z) = \frac has a singularity at . This singularity can be removed by defining \text(0) := 1, which is the Limit of a function, limit of as tends to 0. The resulting function is holomorphic. In this case the problem was caused by being given an indeterminate form. Taking a power series expansion for \frac around the singular point shows that : \text(z) = \frac\left(\sum_^ \frac \right) = \sum_^ \frac = 1 - \frac + \frac - \frac + \cdots. Formally, if U \subset \mathbb C is an open subset of the complex plane \mathbb C, a \in U a point of U, and f: U\setminus \ \rightarrow \mat ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Connected Space
In topology and related branches of mathematics, a connected space is a topological space that cannot be represented as the union (set theory), union of two or more disjoint set, disjoint Empty set, non-empty open (topology), open subsets. Connectedness is one of the principal topological properties that distinguish topological spaces. A subset of a topological space X is a if it is a connected space when viewed as a Subspace topology, subspace of X. Some related but stronger conditions are #Path connectedness, path connected, Simply connected space, simply connected, and N-connected space, n-connected. Another related notion is Locally connected space, locally connected, which neither implies nor follows from connectedness. Formal definition A topological space X is said to be if it is the union of two disjoint non-empty open sets. Otherwise, X is said to be connected. A subset of a topological space is said to be connected if it is connected under its subspace topology. So ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Punctured Disk
In mathematics, an annulus (: annuli or annuluses) is the region between two concentric circles. Informally, it is shaped like a ring or a hardware washer. The word "annulus" is borrowed from the Latin word ''anulus'' or ''annulus'' meaning 'little ring'. The adjectival form is ''annular'' (as in annular eclipse). The open annulus is topologically equivalent to both the open cylinder and the punctured plane. Area The area of an annulus is the difference in the areas of the larger circle of radius and the smaller one of radius : :A = \pi R^2 - \pi r^2 = \pi\left(R^2 - r^2\right) = \pi (R+r)(R-r) . The area of an annulus is determined by the length of the longest line segment within the annulus, which is the chord tangent to the inner circle, in the accompanying diagram. That can be shown using the Pythagorean theorem since this line is tangent to the smaller circle and perpendicular to its radius at that point, so and are sides of a right-angled triangle with hypotenus ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Fundamental Theorem Of Calculus
The fundamental theorem of calculus is a theorem that links the concept of derivative, differentiating a function (mathematics), function (calculating its slopes, or rate of change at every point on its domain) with the concept of integral, integrating a function (calculating the area under its graph, or the cumulative effect of small contributions). Roughly speaking, the two operations can be thought of as inverses of each other. The first part of the theorem, the first fundamental theorem of calculus, states that for a continuous function , an antiderivative or indefinite integral can be obtained as the integral of over an interval with a variable upper bound. Conversely, the second part of the theorem, the second fundamental theorem of calculus, states that the integral of a function over a fixed Interval (mathematics), interval is equal to the change of any antiderivative between the ends of the interval. This greatly simplifies the calculation of a definite integral pr ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Bloch's Theorem (complex Variables)
In complex analysis, a branch of mathematics, Bloch's theorem describes the behaviour of holomorphic functions defined on the unit disk. It gives a lower bound on the size of a disk in which an inverse to a holomorphic function exists. It is named after André Bloch. Statement Let ''f'' be a holomorphic function in the unit disk , ''z'',  ≤ 1 for which :, f'(0), =1 Bloch's theorem states that there is a disk S ⊂ D on which f is biholomorphic and f(S) contains a disk with radius 1/72. Landau's theorem If ''f'' is a holomorphic function in the unit disk with the property , ''f′''(0), = 1, then let ''Lf'' be the radius of the largest disk contained in the image of ''f''. Landau's theorem states that there is a constant ''L'' defined as the infimum of ''Lf'' over all such functions ''f'', and that ''L'' is greater than Bloch's constant ''L'' ≥ ''B''. This theorem is named after Edmund Landau. Valiron's theorem Bloch's theorem was inspired by the following the ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Complex Number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form a + bi, where and are real numbers. Because no real number satisfies the above equation, was called an imaginary number by René Descartes. For the complex number is called the , and is called the . The set of complex numbers is denoted by either of the symbols \mathbb C or . Despite the historical nomenclature, "imaginary" complex numbers have a mathematical existence as firm as that of the real numbers, and they are fundamental tools in the scientific description of the natural world. Complex numbers allow solutions to all polynomial equations, even those that have no solutions in real numbers. More precisely, the fundamental theorem of algebra asserts that every non-constant polynomial equation with real or complex coefficie ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Quadratic Formula
In elementary algebra, the quadratic formula is a closed-form expression describing the solutions of a quadratic equation. Other ways of solving quadratic equations, such as completing the square, yield the same solutions. Given a general quadratic equation of the form , with representing an unknown, and coefficients , , and representing known real number, real or complex number, complex numbers with , the values of satisfying the equation, called the Zero of a function, ''roots'' or ''zeros'', can be found using the quadratic formula, x = \frac, where the plus–minus sign, plus–minus symbol "" indicates that the equation has two roots. Written separately, these are: x_1 = \frac, \qquad x_2 = \frac. The quantity is known as the discriminant of the quadratic equation. If the coefficients , , and are real numbers then when , the equation has two distinct real number, real roots; when , the equation has one repeated root, repeated real root; and when , the equation h ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Complex Logarithm
In mathematics, a complex logarithm is a generalization of the natural logarithm to nonzero complex numbers. The term refers to one of the following, which are strongly related: * A complex logarithm of a nonzero complex number z, defined to be any complex number w for which e^w = z.Ahlfors, Section 3.4.Sarason, Section IV.9. Such a number w is denoted by \log z. If z is given in polar form as z = re^, where r and \theta are real numbers with r>0, then \ln r + i \theta is one logarithm of z, and all the complex logarithms of z are exactly the numbers of the form \ln r + i\left(\theta + 2\pi k\right) for integers k. These logarithms are equally spaced along a vertical line in the complex plane. * A complex-valued function \log \colon U \to \mathbb, defined on some subset U of the set \mathbb^* of nonzero complex numbers, satisfying e^ = z for all z in U. Such complex logarithm functions are analogous to the real logarithm function \ln \colon \mathbb_ \to \mathbb, which is t ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Simply Connected Space
In topology, a topological space is called simply connected (or 1-connected, or 1-simply connected) if it is path-connected and every path between two points can be continuously transformed into any other such path while preserving the two endpoints in question. Intuitively, this corresponds to a space that has no disjoint parts and no holes that go completely through it, because two paths going around different sides of such a hole cannot be continuously transformed into each other. The fundamental group of a topological space is an indicator of the failure for the space to be simply connected: a path-connected topological space is simply connected if and only if its fundamental group is trivial. Definition and equivalent formulations A topological space X is called if it is path-connected and any loop in X defined by f : S^1 \to X can be contracted to a point: there exists a continuous map F : D^2 \to X such that F restricted to S^1 is f. Here, S^1 and D^2 denotes the unit c ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]