|
Oka's Lemma
In mathematics, Oka's lemma, proved by Kiyoshi Oka, states that in a domain of holomorphy In mathematics, in the theory of functions of several complex variables, a domain of holomorphy is a domain which is maximal in the sense that there exists a holomorphic function on this domain which cannot be extended to a bigger domain. For ... in \Complex^n, the function -\log d(z) is plurisubharmonic, where d is the distance to the boundary. This property shows that the domain is pseudoconvex. Historically, this lemma was first shown in the Hartogs domain in the case of two variables, also Oka's lemma is the inverse of the Levi's problem (unramified Riemann domain over \Complex^n). So maybe that's why Oka called Levi's problem as "problème inverse de Hartogs", and the Levi's problem is occasionally called Hartogs' Inverse Problem. References * * * * * Further reading * PDF [...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 ... [...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] |
Domain Of Holomorphy
In mathematics, in the theory of functions of Function of several complex variables, several complex variables, a domain of holomorphy is a domain which is maximal in the sense that there exists a holomorphic function on this domain which cannot be analytic continuation, extended to a bigger domain. Formally, an open set \Omega in the ''n''-dimensional complex space ^n is called a ''domain of holomorphy'' if there do not exist non-empty open sets U \subset \Omega and V \subset ^n where V is connected space, connected, V \not\subset \Omega and U \subset \Omega \cap V such that for every holomorphic function f on \Omega there exists a holomorphic function g on V with f = g on U In the n=1 case, every open set is a domain of holomorphy: we can define a holomorphic function with zeros accumulation point, accumulating everywhere on the boundary (topology), boundary of the domain, which must then be a analytic continuation#Natural boundary, natural boundary for a domain of definit ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Plurisubharmonic Function
In mathematics, plurisubharmonic functions (sometimes abbreviated as psh, plsh, or plush functions) form an important class of functions used in complex analysis. On a Kähler manifold, plurisubharmonic functions form a subset of the subharmonic functions. However, unlike subharmonic functions (which are defined on a Riemannian manifold) plurisubharmonic functions can be defined in full generality on complex analytic spaces. Formal definition A function :f \colon G \to \cup\, with ''domain'' G \subset ^n is called plurisubharmonic if it is upper semi-continuous, and for every complex line :\\subset ^n with a, b \in ^n the function z \mapsto f(a + bz) is a subharmonic function on the set :\. In ''full generality'', the notion can be defined on an arbitrary complex manifold or even a complex analytic space X as follows. An upper semi-continuous function :f \colon X \to \cup \ is said to be plurisubharmonic if and only if for any holomorphic map \varphi\colon\Delta\to X the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pseudoconvexity
In mathematics, more precisely in the theory of functions of several complex variables, a pseudoconvex set is a special type of open set in the ''n''-dimensional complex space C''n''. Pseudoconvex sets are important, as they allow for classification of domains of holomorphy. Let :G\subset ^n be a domain, that is, an open connected subset. One says that G is ''pseudoconvex'' (or '' Hartogs pseudoconvex'') if there exists a continuous plurisubharmonic function \varphi on G such that the set :\ is a relatively compact subset of G for all real numbers x. In other words, a domain is pseudoconvex if G has a continuous plurisubharmonic exhaustion function. Every (geometrically) convex set is pseudoconvex. However, there are pseudoconvex domains which are not geometrically convex. When G has a C^2 (twice continuously differentiable) boundary, this notion is the same as Levi pseudoconvexity, which is easier to work with. More specifically, with a C^2 boundary, it can be shown t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematische Zeitschrift .
''Mathematische Zeitschrift'' (German for ''Mathematical Journal'') is a mathematical journal for pure and applied mathematics published by Springer Verlag. It was founded in 1918 and edited by Leon Lichtenstein together with Konrad Knopp, Erhard Schmidt, and Issai Schur. Past editors include Erich Kamke, Friedrich Karl Schmidt, Rolf Nevanlinna, Helmut Wielandt, and Olivier Debarre Olivier Debarre (born 1959) is a French mathematician who specializes in complex algebraic geometry.Debarr ... External links * * Mathematics journals Publications established in 1918 {{math ...[...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Asian Journal Of Mathematics
''The Asian Journal of Mathematics'' is a peer-reviewed scientific journal covering all areas of pure and theoretical applied mathematics Applied mathematics is the application of mathematical methods by different fields such as physics, engineering, medicine, biology, finance, business, computer science, and industry. Thus, applied mathematics is a combination of mathemati .... It is published by International Press. English-language journals Quarterly journals Mathematics journals Publications established in 1997 International Press academic journals ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Illinois Journal Of Mathematics
The ''Illinois Journal of Mathematics'' is a quarterly peer-reviewed scientific journal of mathematics published by Duke University Press on behalf of the University of Illinois. It was established in 1957 by Reinhold Baer, Joseph L. Doob, Abraham Taub, George W. Whitehead, and Oscar Zariski. The journal published the proof of the four color theorem by Kenneth Appel and Wolfgang Haken, which featured a then-unusual tabulation of computer-generated cases. Abstracting and indexing The journal is indexed and abstracted in: *MathSciNet *Scopus *zbMATH zbMATH Open, formerly Zentralblatt MATH, is a major reviewing service providing reviews and abstracts for articles in pure mathematics, pure and applied mathematics, produced by the Berlin office of FIZ Karlsruhe – Leibniz Institute for Informa ... References External links * Publications established in 1957 Mathematics journals University of Illinois Urbana-Champaign publications Quarterly journals English-language journ ... [...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 -> Theorems In Complex Analysis")