Oka's lemma
http://dbpedia.org/resource/Oka's_lemma an entity of type: Agent
In mathematics, Oka's lemma, proved by Kiyoshi Oka, states that in a domain of holomorphy in , the function is plurisubharmonic, where 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 Levi's problem (unramified Riemann domain ). Therefore, Oka himself calls Levi's problem "problème inverse de Hartogs", and Levi's problem is occasionally called Hartogs' Inverse Problem.
rdf:langString
数学における岡の補題（おかのほだい、英: Oka's lemma）とは、岡潔によって証明されたある補題のことを言う。その補題では、Cn 内のある正則領域において、函数 –log d(z) は多重劣調和であると述べられている。ここで d は境界からの距離を表す。この性質により、そのような領域は擬凸であることが示される。
rdf:langString
Inom matematiken är Okas lemma, bevisad av , ett resultat som säger att i en i Cn är funktionen –log d(z) , där d betecknar avståndet till randen. Detta bevisar att domänen är .
rdf:langString
rdf:langString
Oka's lemma
rdf:langString
岡の補題
rdf:langString
Okas lemma
xsd:integer
34637995
xsd:integer
1029474292
rdf:langString
In mathematics, Oka's lemma, proved by Kiyoshi Oka, states that in a domain of holomorphy in , the function is plurisubharmonic, where 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 Levi's problem (unramified Riemann domain ). Therefore, Oka himself calls Levi's problem "problème inverse de Hartogs", and Levi's problem is occasionally called Hartogs' Inverse Problem.
rdf:langString
数学における岡の補題（おかのほだい、英: Oka's lemma）とは、岡潔によって証明されたある補題のことを言う。その補題では、Cn 内のある正則領域において、函数 –log d(z) は多重劣調和であると述べられている。ここで d は境界からの距離を表す。この性質により、そのような領域は擬凸であることが示される。
rdf:langString
Inom matematiken är Okas lemma, bevisad av , ett resultat som säger att i en i Cn är funktionen –log d(z) , där d betecknar avståndet till randen. Detta bevisar att domänen är .
xsd:nonNegativeInteger
3289