数学の解析学の分野における領域（りょういき、英: domain, region）とは、有限次元ベクトル空間の開部分集合で連結なもののことを言う。 例えば偏微分方程式論やソボレフ空間論などにおいて、定義域（domain of definition）の意味で領域 (domain) という語を用いることがあるが、それとは異なる。 領域の境界の滑らかさについては、その領域上で定義される関数が満足する様々な性質に応じて、様々な要求がなされる。
概要
広く扱われている領域としては、連続な境界を備える領域、リプシッツ領域、C1-級の境界を備える領域などがある。
有界領域（bounded domain）とは有界であるような領域のことを言い、対して有界領域の補集合の内部のことを外部（exterior）あるいは外部領域（external domain）と言う。
複素解析の分野における複素領域（complex domain）あるいは単純に領域（domain）とは、複素平面 ? 内の任意の連結開部分集合のことを言う。
例えば、複素平面全体も複素領域であり、開単位円や開上半平面なども複素領域である。正則関数に対しては、しばしば、複素領域が定義域の役割を担うことがある。
多変数複素関数の研究においては、?n の任意の連結開部分集合を含むように、定義域の拡張が行われる。
用語の変遷Definition. Eine offene Punktmenge heist zusammenhangend, wenn man sie nicht als Summe von zwei offenen Punktmengen darstellen kann. Eine offene zusammenhangende Punktmenge heist ein Gebiet.[* 1]
Hahn (1921, p. 85 foonote 1) によれば、連結開集合としての領域の概念を導入したのはコンスタンチン・カラテオドリの有名な著作 (Caratheodory 1918) においてである。ハーンはまた、"Gebiet" ("領域") の語はそれ以前より時折開集合の同義語として用いられていたことも注意している[* 2]
しかしながら、"domain" の語は時折、近しい関係にあるが僅かに異なる概念を意味するためにも用いられる。カルロ・ミランダ（英語版） は自身の楕円型偏微分方程式に関する権威あるモノグラフにおいて、（以前の師マウロ・ピコーネ（英語版）に倣って[1]）連結開集合を表すのに region の語を用い[2][* 3]、domain の語は内部連結 (internally connected)[* 4]な完全集合[* 5]を表すために用いている。この規約に基づけば、集合 A が region ならばその閉包 A は domain である[2]。
関連項目
解析的多面体（英語版）
カチョッポリ集合（英語版）
ハルトークス領域
リプシッツ領域
注^ 訳文: "開集合が連結であるとは、それが二つの開集合の和に表すことができないときをいう。連結開集合を領域と称す"。注意: 開集合の和 (sum) という部分で、カラテオドリは明らかに空でない交わりを持たない集合を意図している。
^ Hahn (1921, p. 61 foonote 3) は開集合 ("offene Menge") の定義を与えたところで、以下のように述べている: "Vorher war, fur diese Punktmengen die Bezeichnung "Gebiet" in Gebrauch, die wir (§ 5, S. 85) anders verwenden werden." (訳文: "以前は "Gebiet" の語をこのような点集合を表すのにしばしば用いられていた、そして我々はその語を (§ 5, p. 85) において別な意味で用いている。"
^ 正確には、モノグラフの初版 Miranda (1955, p. 1) ではイタリア語の "campo"（意味は農場とかで言うのと同様の意味での「場」("field")）を用いており、第二版において Zane C. Motteler が適当な訳語としてこの "region" を用いたのである。
^ 集合が内部連結であるとは、その集合の内部が連結集合となることを言う。
^ その集合の各点が、内点の集積点となっているような集合のこと。[2]
出典^ See (Picone 1922, p. 66).
^ a b c See (Miranda 1955, p. 1, 1970, p. 2).
参考文献
Caratheodory, Constantin (1918) (German), Vorlesungen uber reelle Funktionen (1st ed.), Leipzig und Berlin: B. G. Teubner Verlag, pp. X+704, .mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}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, Birkhauser 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 ? Gottingen ? 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").