Menu
Home Explore People Places Arts History Plants & Animals Science Life & Culture Technology
On this page
Domain (mathematical analysis)
Connected open subset of a topological space

In mathematical analysis, a domain or region is a non-empty, connected, and open set within a topological space, typically a subset of the real coordinate space ℝⁿ or the complex coordinate space ℂⁿ. Such connected open subsets of coordinate space are often used as the domain of a function. The terminology has evolved since the 19th century, with varying definitions and preferences among authors—some use domain and region interchangeably, while others distinguish them or prefer the explicit phrase non-empty connected open subset to avoid ambiguity.

We don't have any images related to Domain (mathematical analysis) yet.
We don't have any YouTube videos related to Domain (mathematical analysis) yet.
We don't have any PDF documents related to Domain (mathematical analysis) yet.
We don't have any Books related to Domain (mathematical analysis) yet.
We don't have any archived web articles related to Domain (mathematical analysis) yet.

Conventions

One common convention is to define a domain as a connected open set but a region as the union of a domain with none, some, or all of its limit points.7 A closed region or closed domain is the union of a domain and all of its limit points.

Various degrees of smoothness of the boundary of the domain are required for various properties of functions defined on the domain to hold, such as integral theorems (Green's theorem, Stokes theorem), properties of Sobolev spaces, and to define measures on the boundary and spaces of traces (generalized functions defined on the boundary). Commonly considered types of domains are domains with continuous boundary, Lipschitz boundary, C1 boundary, and so forth.

A bounded domain is a domain that is bounded, i.e., contained in some ball. Bounded region is defined similarly. An exterior domain or external domain is a domain whose complement is bounded; sometimes smoothness conditions are imposed on its boundary.

In complex analysis, a complex domain (or simply domain) is any connected open subset of the complex plane C. For example, the entire complex plane is a domain, as is the open unit disk, the open upper half-plane, and so forth. Often, a complex domain serves as the domain of definition for a holomorphic function. In the study of several complex variables, the definition of a domain is extended to include any connected open subset of Cn.

In Euclidean spaces, one-, two-, and three-dimensional regions are curves, surfaces, and solids, whose extent are called, respectively, length, area, and volume.

Historical notes

Definition. An open set is connected if it cannot be expressed as the sum of two open sets. An open connected set is called a domain.

German: 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.

— Constantin Carathéodory, (Carathéodory 1918, p. 222)

According to Hans Hahn,8 the concept of a domain as an open connected set was introduced by Constantin Carathéodory in his famous book (Carathéodory 1918). In this definition, Carathéodory considers obviously non-empty disjoint sets. Hahn also remarks that the word "Gebiet" ("Domain") was occasionally previously used as a synonym of open set.9 The rough concept is older. In the 19th and early 20th century, the terms domain and region were often used informally (sometimes interchangeably) without explicit definition.10

However, the term "domain" was occasionally used to identify closely related but slightly different concepts. For example, in his influential monographs on elliptic partial differential equations, Carlo Miranda uses the term "region" to identify an open connected set,1112 and reserves the term "domain" to identify an internally connected,13 perfect set, each point of which is an accumulation point of interior points,14 following his former master Mauro Picone:15 according to this convention, if a set A is a region then its closure A is a domain.16

See also

Notes

References

  1. Be it noted that, nevertheless, functions may be defined on sets that are not topological spaces: for more details, consult the relevant wikipedia entry. /wiki/Function_(mathematics) ↩

  2. For instance (Sveshnikov & Tikhonov 1978, §1.3 pp. 21–22). - Sveshnikov, Aleksei; Tikhonov, Andrey (1978). The Theory Of Functions Of A Complex Variable. Mir. https://archive.org/details/SveshnikovTikhonovTheTheoryOfFunctionsOfAComplexVariable/ ↩

  3. For instance (Churchill 1948, §1.9 pp. 16–17); (Ahlfors 1953, §2.2 p. 58); (Rudin 1974, §10.1 p. 213) reserves the term domain for the domain of a function; (Carathéodory 1964, p. 97) uses the term region for a connected open set and the term continuum for a connected closed set. - Churchill, Ruel (1948). Introduction to Complex Variables and Applications (1st ed.). McGraw-Hill. https://archive.org/details/introductiontoco00chur/ ↩

  4. For instance (Townsend 1915, §10, p. 20); (Carrier, Krook & Pearson 1966, §2.2 p. 32). - Townsend, Edgar (1915). Functions of a Complex Variable. Holt. https://archive.org/details/functionsofcompl00towniala/?q=region ↩

  5. For instance (Churchill 1960, §1.9 p. 17), who does not require that a region be connected or open. - Churchill, Ruel (1960). Complex Variables and Applications (2nd ed.). McGraw-Hill. ISBN 9780070108530. https://archive.org/details/isbn_9780070108530/ ↩

  6. For instance (Dieudonné 1960, §3.19 pp. 64–67) generally uses the phrase open connected set, but later defines simply connected domain (§9.7 p. 215); Tao, Terence (2016). "246A, Notes 2: complex integration"., also, (Bremermann 1956) called the region an open set and the domain a concatenated open set. - Dieudonné, Jean (1960). Foundations of Modern Analysis. Academic Press. https://archive.org/details/foundationsofmod00dieu/ ↩

  7. For instance (Fuchs & Shabat 1964, §6 pp. 22–23); (Kreyszig 1972, §11.1 p. 469); (Kwok 2002, §1.4, p. 23.) - Fuchs, Boris; Shabat, Boris (1964). Functions of a complex variable and some of their applications, vol. 1. Pergamon. https://archive.org/details/functionsofcompl0001fuks/ ↩

  8. See (Hahn 1921, p. 85 footnote 1). - Hahn, Hans (1921). Theorie der reellen Funktionen. Erster Band [Theory of Real Functions, vol. I] (in German). Springer. JFM 48.0261.09. https://archive.org/details/theoriederreelle01hahnuoft/ ↩

  9. Hahn (1921, p. 61 footnote 3), commenting the just given definition of open set ("offene Menge"), precisely states:-"Vorher war, für diese Punktmengen die Bezeichnung "Gebiet" in Gebrauch, die wir (§ 5, S. 85) anders verwenden werden." (Free English translation:-"Previously, the term "Gebiet" was occasionally used for such point sets, and it will be used by us in (§ 5, p. 85) with a different meaning." - Hahn, Hans (1921). Theorie der reellen Funktionen. Erster Band [Theory of Real Functions, vol. I] (in German). Springer. JFM 48.0261.09. https://archive.org/details/theoriederreelle01hahnuoft/ ↩

  10. For example (Forsyth 1893) uses the term region informally throughout (e.g. §16, p. 21) alongside the informal expression part of the z-plane, and defines the domain of a point a for a function f to be the largest r-neighborhood of a in which f is holomorphic (§32, p. 52). The first edition of the influential textbook (Whittaker 1902) uses the terms domain and region informally and apparently interchangeably. By the second edition (Whittaker & Watson 1915, §3.21, p. 44) define an open region to be the interior of a simple closed curve, and a closed region or domain to be the open region along with its boundary curve. (Goursat 1905, §262, p. 10) defines région [region] or aire [area] as a connected portion of the plane. (Townsend 1915, §10, p. 20) defines a region or domain to be a connected portion of the complex plane consisting only of inner points. - Forsyth, Andrew (1893). Theory of Functions of a Complex Variable. Cambridge. JFM 25.0652.01. https://archive.org/details/theoryoffunction00fors/?q=region ↩

  11. See (Miranda 1955, p. 1, 1970, p. 2). - Miranda, Carlo (1955). Equazioni alle derivate parziali di tipo ellittico (in Italian). Springer. MR 0087853. Zbl 0065.08503. https://mathscinet.ams.org/mathscinet-getitem?mr=0087853 ↩

  12. Precisely, in the first edition of his monograph, Miranda (1955, p. 1) uses the Italian term "campo", meaning literally "field" in a way similar to its meaning in agriculture: in the second edition of the book, Zane C. Motteler appropriately translates this term as "region". - Miranda, Carlo (1955). Equazioni alle derivate parziali di tipo ellittico (in Italian). Springer. MR 0087853. Zbl 0065.08503. https://mathscinet.ams.org/mathscinet-getitem?mr=0087853 ↩

  13. An internally connected set is a set whose interior is connected. /wiki/Interior_(topology) ↩

  14. See (Miranda 1955, p. 1, 1970, p. 2). - Miranda, Carlo (1955). Equazioni alle derivate parziali di tipo ellittico (in Italian). Springer. MR 0087853. Zbl 0065.08503. https://mathscinet.ams.org/mathscinet-getitem?mr=0087853 ↩

  15. See (Picone 1923, p. 66). - Picone, Mauro (1923). "Parte Prima – La Derivazione" (PDF). Lezioni di analisi infinitesimale, vol. I [Lessons in infinitesimal analysis] (in Italian). Circolo matematico di Catania. JFM 49.0172.07. https://matematicaitaliana.sns.it/media/volumi/462/picone_parte_I.pdf ↩

  16. See (Miranda 1955, p. 1, 1970, p. 2). - Miranda, Carlo (1955). Equazioni alle derivate parziali di tipo ellittico (in Italian). Springer. MR 0087853. Zbl 0065.08503. https://mathscinet.ams.org/mathscinet-getitem?mr=0087853 ↩