|
Oka–Weil Theorem
In mathematics, especially the theory of several complex variables, the Oka–Weil theorem is a result about the uniform convergence of holomorphic functions on Stein spaces due to Kiyoshi Oka and André Weil. Statement The Oka–Weil theorem states that if ''X'' is a Stein space and ''K'' is a compact \mathcal(X)-convex subset of ''X'', then every holomorphic function in an open neighborhood of ''K'' can be approximated uniformly on ''K'' by holomorphic functions on \mathcal(X) (i.e. by polynomials). Applications Since Runge's theorem may not hold for several complex variables, the Oka–Weil theorem is often used as an approximation theorem for several complex variables. The Behnke–Stein theorem was originally proved using the Oka–Weil theorem. See also * Oka coherence theorem References Bibliography * * * * * * Further reading * – An example where Runge's theorem In complex analysis, Runge's theorem (also known as Runge's approximation theorem) is named after t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Function Of Several Complex Variables
The theory of functions of several complex variables is the branch of mathematics dealing with complex-valued functions. The name of the field dealing with the properties of function of several complex variables is called several complex variables (and analytic space), that has become a common name for that whole field of study and Mathematics Subject Classification has, as a top-level heading. A function f:(z_1,z_2, \ldots, z_n) \rightarrow f(z_1,z_2, \ldots, z_n) is -tuples of complex numbers, classically studied on the complex coordinate space \Complex^n. As in complex analysis of functions of one variable, which is the case , the functions studied are ''holomorphic'' or ''complex analytic'' so that, locally, they are power series in the variables . Equivalently, they are locally uniform limits of polynomials; or locally square-integrable solutions to the -dimensional Cauchy–Riemann equations. For one complex variable, every domainThat is an open connected subset. (D \subs ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Uniform Convergence
In the mathematical field of analysis, uniform convergence is a mode of convergence of functions stronger than pointwise convergence. A sequence of functions (f_n) converges uniformly to a limiting function f on a set E if, given any arbitrarily small positive number \epsilon, a number N can be found such that each of the functions f_N, f_,f_,\ldots differs from f by no more than \epsilon ''at every point'' x ''in'' E. Described in an informal way, if f_n converges to f uniformly, then the rate at which f_n(x) approaches f(x) is "uniform" throughout its domain in the following sense: in order to guarantee that f_n(x) falls within a certain distance \epsilon of f(x), we do not need to know the value of x\in E in question — there can be found a single value of N=N(\epsilon) ''independent of x'', such that choosing n\geq N will ensure that f_n(x) is within \epsilon of f(x) ''for all x\in E''. In contrast, pointwise convergence of f_n to f merely guarantees that for any x\in E given ... [...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 ''regular fu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stein Space
In mathematics, in the theory of several complex variables and complex manifolds, a Stein manifold is a complex submanifold of the vector space of ''n'' complex dimensions. They were introduced by and named after . A Stein space is similar to a Stein manifold but is allowed to have singularities. Stein spaces are the analogues of affine varieties or affine schemes in algebraic geometry. Definition Suppose X is a complex manifold of complex dimension n and let \mathcal O(X) denote the ring of holomorphic functions on X. We call X a Stein manifold if the following conditions hold: * X is holomorphically convex, i.e. for every compact subset K \subset X, the so-called ''holomorphically convex hull'', ::\bar K = \left \, :is also a ''compact'' subset of X. * X is holomorphically separable, i.e. if x \neq y are two points in X, then there exists f \in \mathcal O(X) such that f(x) \neq f(y). Non-compact Riemann surfaces are Stein manifolds Let ''X'' be a connected, non-compact R ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kiyoshi Oka
was a Japanese mathematician who did fundamental work in the theory of several complex variables. Biography Oka was born in Osaka. He went to Kyoto Imperial University in 1919, turning to mathematics in 1923 and graduating in 1924. He was in Paris for three years from 1929, returning to Hiroshima University. He published solutions to the first and second Cousin problems, and work on domains of holomorphy, in the period 1936–1940. He received his Doctor of Science degree from Kyoto Imperial University in 1940. These were later taken up by Henri Cartan and his school, playing a basic role in the development of sheaf theory. The Oka–Weil theorem is due to a work of André Weil in 1935 and Oka's work in 1937. Oka continued to work in the field, and proved Oka's coherence theorem in 1950. Oka's lemma is also named after him. He was a professor at Nara Women's University from 1949 to retirement at 1964. He received many honours in Japan. Honors * 1951 Japan Academy Pri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
André Weil
André Weil (; ; 6 May 1906 – 6 August 1998) was a French mathematician, known for his foundational work in number theory and algebraic geometry. He was a founding member and the ''de facto'' early leader of the mathematical Bourbaki group. The philosopher Simone Weil was his sister. The writer Sylvie Weil is his daughter. Life André Weil was born in Paris to agnostic Alsatian Jewish parents who fled the annexation of Alsace-Lorraine by the German Empire after the Franco-Prussian War in 1870–71. Simone Weil, who would later become a famous philosopher, was Weil's younger sister and only sibling. He studied in Paris, Rome and Göttingen and received his doctorate in 1928. While in Germany, Weil befriended Carl Ludwig Siegel. Starting in 1930, he spent two academic years at Aligarh Muslim University in India. Aside from mathematics, Weil held lifelong interests in classical Greek and Latin literature, in Hinduism and Sanskrit literature: he had taught himself Sanskrit in 1 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compact Space
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i.e. that the space not exclude any ''limiting values'' of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval ,1would be compact. Similarly, the space of rational numbers \mathbb is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers \mathbb is not compact either, because it excludes the two limiting values +\infty and -\infty. However, the ''extended'' real number line ''would'' be compact, since it contains both infinities. There are many ways to make this heuristic notion precise. These ways usually agree in a metric space, but may not be equivalent in other topologic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Open 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 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 also equivalent to the point p \in X belonging to the topological interior of V in X. The neighbourhood V need be an open subset X, but when V is open in X then it is called an . Some authors have been known to require neighbourhoods to be open, so it is important to note conventions. A set that is a neighbourhood of each of its points is open since it can be expressed as the union of open sets ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer Nature
Springer Nature or the Springer Nature Group is a German-British academic publishing company created by the May 2015 merger of Springer Science+Business Media and Holtzbrinck Publishing Group's Nature Publishing Group, Palgrave Macmillan, and Macmillan Education. History The company originates from a number of journals and publishing houses, notably Springer-Verlag, which was founded in 1842 by Julius Springer in Berlin (the grandfather of Bernhard Springer who founded Springer Publishing in 1950 in New York), Nature Publishing Group which has published ''Nature (journal) , Nature'' since 1869, and Macmillan Education, which goes back to Macmillan Publishers founded in 1843. Springer Nature was formed in 2015 by the merger of Nature Publishing Group, Palgrave Macmillan and Macmillan Education (held by Holtzbrinck Publishing Group) with Springer Science+Business Media (held by BC Partners). Plans for the merger were first announced on 15 January 2015. The transaction was concluded ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Runge's Theorem
In complex analysis, Runge's theorem (also known as Runge's approximation theorem) is named after the German mathematician Carl Runge who first proved it in the year 1885. It states the following: Denoting by C the set of complex numbers, let ''K'' be a compact set, compact subset of C and let ''f'' be a function (mathematics), function which is holomorphic function, holomorphic on an open set containing ''K''. If ''A'' is a set containing Existential quantification, at least one complex number from every bounded set, bounded connected set, connected component of C\''K'' then there exists a sequence (r_n)_ of rational functions which uniform convergence, converges uniformly to ''f'' on ''K'' and such that all the pole (complex analysis), poles of the functions (r_n)_ are in ''A.'' Note that not every complex number in ''A'' needs to be a pole of every rational function of the sequence (r_n)_. We merely know that for all members of (r_n)_ that do have poles, those poles lie in ''A' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Behnke–Stein Theorem
In mathematics, especially several complex variables, the Behnke–Stein theorem states that a union of an increasing sequence G_k \subset \mathbb^n (i.e., G_k \subset G_) of domains of holomorphy is again a domain of holomorphy. It was proved by Heinrich Behnke and Karl Stein in 1938. This is related to the fact that an increasing union of pseudoconvex domains is pseudoconvex and so it can be proven using that fact and the solution of the Levi problem. Though historically this theorem was in fact used to solve the Levi problem, and the theorem itself was proved using the Oka–Weil theorem In mathematics, especially the theory of several complex variables, the Oka–Weil theorem is a result about the uniform convergence of holomorphic functions on Stein spaces due to Kiyoshi Oka and André Weil. Statement The Oka–Weil theorem .... This theorem again holds for Stein manifolds, but it is not known if it holds for Stein space. References * * Several complex variable ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Oka Coherence Theorem
In mathematics, the Oka coherence theorem, proved by , states that the sheaf \mathcal := \mathcal_ of germs of holomorphic functions on \mathbb^n over a complex manifold is coherent.In paper it was called the idéal de domaines indéterminés. See also * Cartan's theorems A and B * Several complex variables * GAGA * Oka–Weil theorem * Weierstrass preparation theorem In mathematics, the Weierstrass preparation theorem is a tool for dealing with analytic functions of several complex variables, at a given point ''P''. It states that such a function is, up to multiplication by a function not zero at ''P'', a p ... Note References * * * * * Theorems in complex analysis Theorems in complex geometry {{mathanalysis-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
