「領域 (解析学)」の版間の差分
編集の要約なし |
en:Domain (mathematical analysis) 16:15, 25 January 2015 |
||
1行目: | 1行目: | ||
[[数学]]の[[解析学]]の分野における'''領域'''(りょういき、{{Lang-en-short|domain}})とは、有限次元ベクトル空間の[[開集合|開部分集合]]で[[連結空間|連結]]なもののことを言う。例えば[[偏微分方程式]]論や[[ソボレフ空間]]論などにおいて、[[定義域]](domain of definition)の意味で領域 (domain) という語を用いることがあるが、それとは異なる。 |
[[数学]]の[[解析学]]の分野における'''領域'''(りょういき、{{Lang-en-short|domain, region}})とは、有限次元ベクトル空間の[[開集合|開部分集合]]で[[連結空間|連結]]なもののことを言う。例えば[[偏微分方程式]]論や[[ソボレフ空間]]論などにおいて、[[定義域]](domain of definition)の意味で領域 (domain) という語を用いることがあるが、それとは異なる。 |
||
領域の境界の滑らかさについては、その領域上で定義される関数が満足する様々な性質に応じて、様々な要求がなされる。例えば、積分定理([[グリーンの定理]]や[[ストークスの定理]])や[[ソボレフ空間]]の性質、あるいは境界上の[[測度]]や{{仮リンク|トレース作用素|label=トレース|en|trace operator}}の空間(境界上で定義される滑らかな関数の空間)を定義するために、そのような要求がなされる。広く扱われている領域としては、[[連続 (数学)|連続]]な境界を備える領域、[[リプシッツ領域]]、[[滑らかな関数|''C''<sup>1</sup>-級]]の境界を備える領域などがある。 |
領域の境界の滑らかさについては、その領域上で定義される関数が満足する様々な性質に応じて、様々な要求がなされる。例えば、積分定理([[グリーンの定理]]や[[ストークスの定理]])や[[ソボレフ空間]]の性質、あるいは境界上の[[測度]]や{{仮リンク|トレース作用素|label=トレース|en|trace operator}}の空間(境界上で定義される滑らかな関数の空間)を定義するために、そのような要求がなされる。広く扱われている領域としては、[[連続 (数学)|連続]]な境界を備える領域、[[リプシッツ領域]]、[[滑らかな関数|''C''<sup>1</sup>-級]]の境界を備える領域などがある。 |
||
8行目: | 8行目: | ||
[[多変数複素関数]]の研究においては、{{math|ℂ''<sup>n</sup>''}} の任意の連結開部分集合を含むように、定義域の拡張が行われる。 |
[[多変数複素関数]]の研究においては、{{math|ℂ''<sup>n</sup>''}} の任意の連結開部分集合を含むように、定義域の拡張が行われる。 |
||
== 用語の変遷 == |
|||
{{quotation |
|||
|1='''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.<ref group="*">訳文: "開集合が連結であるとは、それが二つの開集合の和に荒らすことができないときをいう。連結開集合を領域と称す"。注意: 開集合の和 (sum) という部分で、カラテオドリは明らかに[[空集合|空でない]][[素集合|交わりを持たない]]集合を意図している。</ref> |
|||
|sign= [[Constantin Carathéodory]] |
|||
|source={{Harv|Carathéodory|1918|p=222}} |
|||
}} |
|||
{{harvtxt|Hahn|1921|loc=p. 85 foonote 1}} によれば、連結開集合としての領域の概念を導入したのは[[コンスタンティン・カラテオドリ|コンスタンチン・カラテオドリ]]の有名な著作 {{harv|Carathéodory|1918}} においてである。ハーンはまた、"''Gebiet''" ("領域") の語はそれ以前より時折[[開集合]]の[[同義語]]として用いられていたことも注意している<ref group="*">{{harvtxt|Hahn|1921|loc=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) において別な意味で用いている。"</ref> |
|||
しかしながら、"domain" の語は時折、近しい関係にあるが僅かに異なる概念を意味するためにも用いられる。{{仮リンク|カルロ・ミランダ|en|Carlo Miranda}} は自身の[[楕円型偏微分方程式]]に関する権威あるモノグラフにおいて、(以前の師{{仮リンク|マウロ・ピコーネ|en|Mauro Picone}}に倣って<ref>See {{harv|Picone|1922|p=66}}.</ref>)連結開集合を表すのに "region" の語を用い<ref name="M&Mp1">See {{harvs|last= Miranda|year1=1955|year2=1970|loc1=p. 1|loc2=p. 2}}.</ref><ref group="*">正確には、モノグラフの初版 {{harvtxt|Miranda|1955|p=1}} ではイタリア語の "''campo''"(意味は[[農場]]とかで言うのと同様の意味での「場」("field"))を用いており、第二版において Zane C. Motteler が適当な訳語としてこの "region" を用いたのである。</ref>、"domain" の語は内部連結 (internally connected)<ref group="*">集合が内部連結であるとは、その集合の内部が連結集合となることを言う。</ref>な{{仮リンク|完全集合|en|perfect set}}{{refnest|group="*"|その集合の各点が、内点の集積点となっているような集合のこと。<ref name="M&Mp1"/>}}を表すために用いている。この規約に基づけば、集合 {{math|''A''}} が region ならばその[[閉包 (位相空間論)|閉包]] {{math|''{{overline|A}}''}} は domain である<ref name="M&Mp1" />。 |
|||
== 関連項目 == |
== 関連項目 == |
||
14行目: | 25行目: | ||
* [[擬凸性|ハルトークス領域]] |
* [[擬凸性|ハルトークス領域]] |
||
* [[リプシッツ領域]] |
* [[リプシッツ領域]] |
||
== 注 == |
|||
{{reflist|group="*"}} |
|||
== 出典 == |
|||
{{reflist}} |
|||
== 参考文献 == |
|||
*{{Citation |
|||
| last = Carathéodory |
|||
| first = Constantin |
|||
| author-link = Constantin Carathéodory |
|||
| title = Vorlesungen über reelle Funktionen |
|||
| place = [[Leipzig]] und Berlin |
|||
| publisher = [[Vieweg+Teubner Verlag|B. G. Teubner Verlag]] |
|||
| series = |
|||
| volume = |
|||
| year = 1918 |
|||
| edition = 1st |
|||
| pages = X+704 |
|||
| language = German |
|||
| url = |
|||
| doi = |
|||
| id = |
|||
| isbn = |
|||
| mr = 0225940 |
|||
| jfm = 46.0376.12 |
|||
}} (the [[Mathematics Reviews|MR]] review refers to the third corrected edition). |
|||
*{{Citation |
|||
| last = Hahn |
|||
| first = Hans |
|||
| author-link = Hans Hahn (mathematician) |
|||
| title = Theorie der reellen Funktionen. Erster Band |
|||
| place =[[Vienna]] |
|||
| publisher =[[Springer-Verlag]] |
|||
| year =1921 |
|||
| pages =VII+600 |
|||
| language =German |
|||
| url = https://archive.org/details/theoriederreell00hahngoog |
|||
| doi =10.1007/978-3-642-52624-4 |
|||
| id = |
|||
| isbn =978-3-642-52570-4 |
|||
| jfm = 48.0261.09 |
|||
}} (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. |
|||
*{{Citation |
|||
| last = Miranda |
|||
| first = Carlo |
|||
| author-link = Carlo Miranda |
|||
| title = Equazioni alle derivate parziali di tipo ellittico |
|||
| place = Berlin – [[Göttingen]] – New York |
|||
| publisher = [[Springer Verlag]] |
|||
| series = [[Ergebnisse der Mathematik und ihrer Grenzgebiete]] – Neue Folge |
|||
| volume = Heft 2 |
|||
| year = 1955 |
|||
| edition = 1st |
|||
| pages = VIII+222 |
|||
| language = Italian |
|||
| url = |
|||
| doi = |
|||
| id = |
|||
| isbn = |
|||
| mr = 0087853 |
|||
| zbl = 0065.08503 |
|||
}}. |
|||
*{{Citation |
|||
| last = Miranda |
|||
| first = Carlo |
|||
| author-link = Carlo Miranda |
|||
| title = Partial Differential Equations of Elliptic Type |
|||
| place = Berlin – Heidelberg – New York |
|||
| publisher = [[Springer Verlag]] |
|||
| series = [[Ergebnisse der Mathematik und ihrer Grenzgebiete]] – 2 Folge |
|||
| volume = Band 2 |
|||
| origyear = 1955 |
|||
| year = 1970 |
|||
| edition = 2nd Revised |
|||
| pages = XII+370 |
|||
| url = |
|||
| doi = |
|||
| id = |
|||
| isbn = 978-3-540-04804-6 |
|||
| mr = 0284700 |
|||
| zbl = 0198.14101 |
|||
}}, translated from the Italian by Zane C. Motteler. |
|||
*{{Citation |
|||
| last = Picone |
|||
| first = Mauro |
|||
| author-link = Mauro Picone |
|||
| title = Lezioni di analisi infinitesimale |
|||
| place = [[Catania]] |
|||
| publisher = [[Circolo matematico di Catania]] |
|||
| series = Volume 1 |
|||
| volume = Parte Prima – La Derivazione |
|||
| year = 1923 |
|||
| pages = xii+351 |
|||
| language = Italian |
|||
| url = http://mathematica.sns.it/media/volumi/462/picone_parte_I.pdf |
|||
| doi = |
|||
| id = |
|||
| isbn = |
|||
| jfm = 49.0172.07}} (Review of the whole volume I) (available from the "''[http://mathematica.sns.it/ Edizione Nazionale Mathematica Italiana]''"). |
|||
{{DEFAULTSORT:りよういきかいせきかく}} |
{{DEFAULTSORT:りよういきかいせきかく}} |
||
19行目: | 132行目: | ||
[[Category:微分方程式]] |
[[Category:微分方程式]] |
||
[[Category:数学に関する記事]] |
[[Category:数学に関する記事]] |
||
{{Math-stub}} |
2015年4月14日 (火) 20:34時点における版
数学の解析学の分野における領域(りょういき、英: domain, region)とは、有限次元ベクトル空間の開部分集合で連結なもののことを言う。例えば偏微分方程式論やソボレフ空間論などにおいて、定義域(domain of definition)の意味で領域 (domain) という語を用いることがあるが、それとは異なる。
領域の境界の滑らかさについては、その領域上で定義される関数が満足する様々な性質に応じて、様々な要求がなされる。例えば、積分定理(グリーンの定理やストークスの定理)やソボレフ空間の性質、あるいは境界上の測度やトレースの空間(境界上で定義される滑らかな関数の空間)を定義するために、そのような要求がなされる。広く扱われている領域としては、連続な境界を備える領域、リプシッツ領域、C1-級の境界を備える領域などがある。
有界領域(bounded domain)とは有界集合であるような領域のことを言い、対して有界領域の補集合の内部のことを外部(exterior)あるいは外部領域(external domain)と言う。
複素解析の分野における複素領域(complex domain)あるいは単純に領域(domain)とは、複素平面 ℂ 内の任意の連結開部分集合のことを言う。例えば、複素平面全体も複素領域であり、開単位円や開上半平面なども複素領域である。正則関数に対しては、しばしば、複素領域が定義域の役割を担うことがある。
多変数複素関数の研究においては、ℂn の任意の連結開部分集合を含むように、定義域の拡張が行われる。
用語の変遷
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]。
関連項目
注
- ^ 訳文: "開集合が連結であるとは、それが二つの開集合の和に荒らすことができないときをいう。連結開集合を領域と称す"。注意: 開集合の和 (sum) という部分で、カラテオドリは明らかに空でない交わりを持たない集合を意図している。
- ^ 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) において別な意味で用いている。"
- ^ 正確には、モノグラフの初版 Miranda (1955, p. 1) ではイタリア語の "campo"(意味は農場とかで言うのと同様の意味での「場」("field"))を用いており、第二版において Zane C. Motteler が適当な訳語としてこの "region" を用いたのである。
- ^ 集合が内部連結であるとは、その集合の内部が連結集合となることを言う。
- ^ その集合の各点が、内点の集積点となっているような集合のこと。[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 (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 (Review of the whole volume I) (available from the "Edizione Nazionale Mathematica Italiana").