|
Branching Theorem
In mathematics, the branching theorem is a theorem about Riemann surfaces. Intuitively, it states that every non-constant holomorphic function is locally a polynomial. Statement of the theorem Let X and Y be Riemann surfaces, and let f : X \to Y be a non-constant holomorphic map. Fix a point a \in X and set b := f(a) \in Y. Then there exist k \in \N and charts \psi_ : U_ \to V_ on X and \psi_ : U_ \to V_ on Y such that * \psi_ (a) = \psi_ (b) = 0; and * \psi_ \circ f \circ \psi_^ : V_ \to V_ is z \mapsto z^. This theorem gives rise to several definitions: * We call k the '' multiplicity '' of f at a. Some authors denote this \nu (f, a). * If k > 1, the point a is called a ''branch point'' of f. * If f has no branch points, it is called ''unbranched''. See also unramified morphism In algebraic geometry, an unramified morphism is a morphism f: X \to Y of schemes such that (a) it is locally of finite presentation and (b) for each x \in X and y = f(x), we have that # The residue f ... [...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] |
Theorem
In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems. In the mainstream of mathematics, the axioms and the inference rules are commonly left implicit, and, in this case, they are almost always those of Zermelo–Fraenkel set theory with the axiom of choice, or of a less powerful theory, such as Peano arithmetic. A notable exception is Wiles's proof of Fermat's Last Theorem, which involves the Grothendieck universes whose existence requires the addition of a new axiom to the set theory. Generally, an assertion that is explicitly called a theorem is a proved result that is not an immediate consequence of other known theorems. Moreover, many authors qualify as ''theorems'' only the most important results, and use the terms ''lemma'', ''proposition'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemann Surface
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 defi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Holomorphic Function
In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space . The existence of a complex derivative in a neighbourhood is a very strong condition: it implies that a holomorphic function is infinitely differentiable and locally equal to its own Taylor series (''analytic''). Holomorphic functions are the central objects of study in complex analysis. Though the term ''analytic function'' is often used interchangeably with "holomorphic function", the word "analytic" is defined in a broader sense to denote any function (real, complex, or of more general type) that can be written as a convergent power series in a neighbourhood of each point in its domain. That all holomorphic functions are complex analytic functions, and vice versa, is a major theorem in complex analysis. Holomorphic functions are also sometimes referred to as ''reg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally
In mathematics, a mathematical object is said to satisfy a property locally, if the property is satisfied on some limited, immediate portions of the object (e.g., on some ''sufficiently small'' or ''arbitrarily small'' neighborhoods of points). Properties of a point on a function Perhaps the best-known example of the idea of locality lies in the concept of local minimum (or local maximum), which is a point in a function whose functional value is the smallest (resp., largest) within an immediate neighborhood of points. This is to be contrasted with the idea of global minimum (or global maximum), which corresponds to the minimum (resp., maximum) of the function across its entire domain. Properties of a single space A topological space is sometimes said to exhibit a property locally, if the property is exhibited "near" each point in one of the following ways: # Each point has a neighborhood exhibiting the property; # Each point has a neighborhood base of sets exhibiting the prope ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Polynomial
In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An example of a polynomial of a single indeterminate is . An example with three indeterminates is . Polynomials appear in many areas of mathematics and science. For example, they are used to form polynomial equations, which encode a wide range of problems, from elementary word problems to complicated scientific problems; they are used to define polynomial functions, which appear in settings ranging from basic chemistry and physics to economics and social science; they are used in calculus and numerical analysis to approximate other functions. In advanced mathematics, polynomials are used to construct polynomial rings and algebraic varieties, which are central concepts in algebra and algebraic geometry. Etymology The word ''polynomial'' joins tw ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chart (topology)
In mathematics, particularly topology, one describes a manifold using an atlas. An atlas consists of individual ''charts'' that, roughly speaking, describe individual regions of the manifold. If the manifold is the surface of the Earth, then an atlas has its more common meaning. In general, the notion of atlas underlies the formal definition of a manifold and related structures such as vector bundles and other fiber bundles. Charts The definition of an atlas depends on the notion of a ''chart''. A chart for a topological space ''M'' (also called a coordinate chart, coordinate patch, coordinate map, or local frame) is a homeomorphism \varphi from an open subset ''U'' of ''M'' to an open subset of a Euclidean space. The chart is traditionally recorded as the ordered pair (U, \varphi). Formal definition of atlas An atlas for a topological space M is an indexed family \ of charts on M which covers M (that is, \bigcup_ U_ = M). If the codomain of each chart is the ''n''-dime ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Multiplicity (mathematics)
In mathematics, the multiplicity of a member of a multiset is the number of times it appears in the multiset. For example, the number of times a given polynomial has a root at a given point is the multiplicity of that root. The notion of multiplicity is important to be able to count correctly without specifying exceptions (for example, ''double roots'' counted twice). Hence the expression, "counted with multiplicity". If multiplicity is ignored, this may be emphasized by counting the number of ''distinct'' elements, as in "the number of distinct roots". However, whenever a set (as opposed to multiset) is formed, multiplicity is automatically ignored, without requiring use of the term "distinct". Multiplicity of a prime factor In prime factorization, the multiplicity of a prime factor is its p-adic valuation. For example, the prime factorization of the integer is : the multiplicity of the prime factor is , while the multiplicity of each of the prime factors and is . ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Branch Point
In the mathematical field of complex analysis, a branch point of a multi-valued function (usually referred to as a "multifunction" in the context of complex analysis) is a point such that if the function is n-valued (has n values) at that point, all of its neighborhoods contain a point that has more than n values. Multi-valued functions are rigorously studied using Riemann surfaces, and the formal definition of branch points employs this concept. Branch points fall into three broad categories: algebraic branch points, transcendental branch points, and logarithmic branch points. Algebraic branch points most commonly arise from functions in which there is an ambiguity in the extraction of a root, such as solving the equation ''w''2 = ''z'' for ''w'' as a function of ''z''. Here the branch point is the origin, because the analytic continuation of any solution around a closed loop containing the origin will result in a different function: there is non-trivial monodromy. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unramified Morphism
In algebraic geometry, an unramified morphism is a morphism f: X \to Y of schemes such that (a) it is locally of finite presentation and (b) for each x \in X and y = f(x), we have that # The residue field k(x) is a separable algebraic extension of k(y). # f^(\mathfrak_y) \mathcal_ = \mathfrak_x, where f^: \mathcal_ \to \mathcal_ and \mathfrak_y, \mathfrak_x are maximal ideals of the local rings. A flat unramified morphism is called an étale morphism. Less strongly, if f satisfies the conditions when restricted to sufficiently small neighborhoods of x and y, then f is said to be unramified near x. Some authors prefer to use weaker conditions, in which case they call a morphism satisfying the above a G-unramified morphism. Simple example Let A be a ring and ''B'' the ring obtained by adjoining an integral element to ''A''; i.e., B = A (F) for some monic polynomial ''F''. Then \operatorname(B) \to \operatorname(A) is unramified if and only if the polynomial ''F'' is separable (i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theorems In Complex Analysis
In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems. In the mainstream of mathematics, the axioms and the inference rules are commonly left implicit, and, in this case, they are almost always those of Zermelo–Fraenkel set theory with the axiom of choice, or of a less powerful theory, such as Peano arithmetic. A notable exception is Wiles's proof of Fermat's Last Theorem, which involves the Grothendieck universes whose existence requires the addition of a new axiom to the set theory. Generally, an assertion that is explicitly called a theorem is a proved result that is not an immediate consequence of other known theorems. Moreover, many authors qualify as ''theorems'' only the most important results, and use the terms ''lemma'', ''proposition'' and ' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.PNG "Click for more on -> Theorem")
