領域 (解析学)

数学の解析学の分野における領域（りょういき、英: domain, region）とは、有限次元ベクトル空間の開部分集合で連結なもののことを言う。

概要

例えば偏微分方程式論やソボレフ空間論などにおいて、定義域（domain of definition）の意味で領域 (domain) という語を用いることがあるが、それとは異なる。

領域の境界の滑らかさについては、その領域上で定義される関数が満足する様々な性質に応じて、様々な要求がなされる。

例えば、積分定理（グリーンの定理やストークスの定理）やソボレフ空間の性質、あるいは境界上の測度や(トレース)（英語版）の空間（境界上で定義される滑らかな関数の空間）を定義するために、そのような要求がなされる。

広く扱われている領域としては、連続な境界を備える領域、リプシッツ領域、C¹-級の境界を備える領域などがある。

有界領域（bounded domain）とは有界集合であるような領域のことを言い、対して有界領域の補集合の内部のことを外部（exterior）あるいは外部領域（external domain）と言う。

複素解析の分野における複素領域（complex domain）あるいは単純に領域（domain）とは、複素平面 ℂ 内の任意の連結開部分集合のことを言う。

例えば、複素平面全体も複素領域であり、開単位円や開上半平面なども複素領域である。正則関数に対しては、しばしば、複素領域が定義域の役割を担うことがある。

多変数複素関数の研究においては、ℂⁿ の任意の連結開部分集合を含むように、定義域の拡張が行われる。

用語の変遷

Definition. Eine offene Punktmenge heißt zusammenhängend, wenn man sie nicht als Summe von zwei offenen Punktmengen darstellen kann. Eine offene zusammenhängende Punktmenge heißt ein Gebiet.^{[* 1]}

Hahn (1921, p. 85 foonote 1) によれば、連結開集合としての領域の概念を導入したのはコンスタンチン・カラテオドリの有名な著作 (Carathéodory 1918) においてである。ハーンはまた、"Gebiet" ("領域") の語はそれ以前より時折開集合の同義語として用いられていたことも注意している^{[* 2]}

しかしながら、"domain" の語は時折、近しい関係にあるが僅かに異なる概念を意味するためにも用いられる。(カルロ・ミランダ)（英語版） は自身の楕円型偏微分方程式に関する権威あるモノグラフにおいて、（以前の師(マウロ・ピコーネ)（英語版）に倣って^[1]）連結開集合を表すのに "region" の語を用い^{[2][* 3]}、"domain" の語は内部連結 (internally connected)^{[* 4]}な完全集合^{[* 5]}を表すために用いている。この規約に基づけば、集合 A が region ならばその閉包 A は domain である^[2]。

関連項目

• (解析的多面体)（英語版）
• (カチョッポリ集合)（英語版）
• ハルトークス領域
• リプシッツ領域

注

1. ^ 訳文: "開集合が連結であるとは、それが二つの開集合の和に表すことができないときをいう。連結開集合を領域と称す"。注意: 開集合の和 (sum) という部分で、カラテオドリは明らかに空でない交わりを持たない集合を意図している。
2. ^ Hahn (1921, p. 61 foonote 3) は開集合 ("offene Menge") の定義を与えたところで、以下のように述べている: "Vorher war, für diese Punktmengen die Bezeichnung "Gebiet" in Gebrauch, die wir (§ 5, S. 85) anders verwenden werden." (訳文: "以前は "Gebiet" の語をこのような点集合を表すのにしばしば用いられていた、そして我々はその語を (§ 5, p. 85) において別な意味で用いている。"
3. ^ 正確には、モノグラフの初版 Miranda (1955, p. 1) ではイタリア語の "campo"（意味は農場とかで言うのと同様の意味での「場」("field")）を用いており、第二版において Zane C. Motteler が適当な訳語としてこの "region" を用いたのである。
4. ^ 集合が内部連結であるとは、その集合の内部が連結集合となることを言う。
5. ^ その集合の各点が、内点の集積点となっているような集合のこと。^[2]

出典

1. ^ See (Picone 1922, p. 66).
2. ^ ^{a b c} See (Miranda 1955, p. 1, 1970, p. 2).

参考文献

• (Carathéodory, Constantin) (1918) (German), Vorlesungen über reelle Funktionen (1st ed.), (Leipzig) und Berlin: (B. G. Teubner Verlag), pp. X+704, JFM 46.0376.12, MR0225940  (the (MR) review refers to the third corrected edition).
• (Hahn, Hans) (1921) (German), Theorie der reellen Funktionen. Erster Band, Vienna: Springer-Verlag, pp. VII+600, doi:10.1007/978-3-642-52624-4, ISBN (978-3-642-52570-4), JFM 48.0261.09, https://archive.org/details/theoriederreell00hahngoog  (freely available at the Internet Archive).
• (Steven G. Krantz) & (Harold R. Parks) (1999) The Geometry of Domains in Space, (Birkhäuser) (ISBN 0-8176-4097-5).
• (Miranda, Carlo) (1955) (Italian), Equazioni alle derivate parziali di tipo ellittico, (Ergebnisse der Mathematik und ihrer Grenzgebiete) – Neue Folge, Heft 2 (1st ed.), Berlin – (Göttingen) – New York: Springer Verlag, pp. VIII+222, MR0087853, Zbl 0065.08503 .
• (Miranda, Carlo) (1970) [1955], Partial Differential Equations of Elliptic Type, (Ergebnisse der Mathematik und ihrer Grenzgebiete) – 2 Folge, Band 2 (2nd Revised ed.), Berlin – Heidelberg – New York: Springer Verlag, pp. XII+370, ISBN (978-3-540-04804-6), MR0284700, Zbl 0198.14101 , translated from the Italian by Zane C. Motteler.
• (Picone, Mauro) (1923) (Italian), Lezioni di analisi infinitesimale, Volume 1, Parte Prima – La Derivazione, Catania: (Circolo matematico di Catania), pp. xii+351, JFM 49.0172.07, http://mathematica.sns.it/media/volumi/462/picone_parte_I.pdf  (Review of the whole volume I) (available from the "Edizione Nazionale Mathematica Italiana").