Domain (mathematical analysis)

Last updated

In mathematical analysis, a domain or region is a non-empty connected open set in a topological space, in particular any non-empty connected open subset of the real coordinate space Rn or the complex coordinate space Cn. A connected open subset of coordinate space is frequently used for the domain of a function, but in general, functions may be defined on sets that are not topological spaces.

Contents

The basic idea of a connected subset of a space dates from the 19th century, but precise definitions vary slightly from generation to generation, author to author, and edition to edition, as concepts developed and terms were translated between German, French, and English works. In English, some authors use the term domain, [1] some use the term region, [2] some use both terms interchangeably, [3] and some define the two terms slightly differently; [4] some avoid ambiguity by sticking with a phrase such as non-empty connected open subset. [5]

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. [6] 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 or bounded region is that which is a bounded set, i.e., having a finite measure. An exterior domain or external domain is the interior of the complement of a bounded domain.

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, the extent of one-, two-, and three-dimensional regions 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, [7] 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. [8] 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. [9]

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, [10] [11] and reserves the term "domain" to identify an internally connected, [12] perfect set, each point of which is an accumulation point of interior points, [10] following his former master Mauro Picone: [13] according to this convention, if a set A is a region then its closure A is a domain. [10]

See also

Notes

  1. ↑ For instance ( Sveshnikov & Tikhonov 1978 , §1.3 pp. 21–22 ).
  2. ↑ 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.
  3. ↑ For instance ( Townsend 1915 , §10, p. 20 ); ( Carrier, Krook & Pearson 1966 , §2.2 p. 32 ).
  4. ↑ For instance ( Churchill 1960 , §1.9 p. 17 ), who does not require that a region be connected or open.
  5. ↑ 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.
  6. ↑ For instance ( Fuchs & Shabat 1964 , §6 pp. 22–23 ); ( Kreyszig 1972 , §11.1 p. 469 ); ( Kwok 2002 , §1.4, p. 23.)
  7. ↑ See ( Hahn 1921 , p. 85 footnote 1 ).
  8. ↑ 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."
  9. ↑ 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.
  10. 1 2 3 See (Miranda  1955 , p. 1, 1970 , p. 2).
  11. ↑ 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".
  12. ↑ An internally connected set is a set whose interior is connected.
  13. ↑ See ( Picone 1923 , p. 66).

Related Research Articles

<span class="mw-page-title-main">Complex analysis</span> Branch of mathematics studying functions of a complex variable

Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is helpful in many branches of mathematics, including algebraic geometry, number theory, analytic combinatorics, and applied mathematics, as well as in physics, including the branches of hydrodynamics, thermodynamics, quantum mechanics, and twistor theory. By extension, use of complex analysis also has applications in engineering fields such as nuclear, aerospace, mechanical and electrical engineering.

<span class="mw-page-title-main">Convex set</span> In geometry, set whose intersection with every line is a single line segment

In geometry, a subset of a Euclidean space, or more generally an affine space over the reals, is convex if, given any two points in the subset, the subset contains the whole line segment that joins them. Equivalently, a convex set or a convex region is a subset that intersects every line into a single line segment . For example, a solid cube is a convex set, but anything that is hollow or has an indent, for example, a crescent shape, is not convex.

<span class="mw-page-title-main">Holomorphic function</span> Complex-differentiable (mathematical) function

In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space Cn. The existence of a complex derivative in a neighbourhood is a very strong condition: it implies that a holomorphic function is infinitely differentiable and locally equal to its own Taylor series (analytic). Holomorphic functions are the central objects of study in complex analysis.

<span class="mw-page-title-main">Riemann mapping theorem</span>

In complex analysis, the Riemann mapping theorem states that if is a non-empty simply connected open subset of the complex number plane which is not all of , then there exists a biholomorphic mapping from onto the open unit disk

In mathematics, the branch of real analysis studies the behavior of real numbers, sequences and series of real numbers, and real functions. Some particular properties of real-valued sequences and functions that real analysis studies include convergence, limits, continuity, smoothness, differentiability and integrability.

<span class="mw-page-title-main">Topology</span> Branch of mathematics

In mathematics, topology is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself.

<span class="mw-page-title-main">Domain of a function</span> Mathematical concept

In mathematics, the domain of a function is the set of inputs accepted by the function. It is sometimes denoted by or , where f is the function. In layman's terms, the domain of a function can generally be thought of as "what x can be".

<span class="mw-page-title-main">Conformal map</span> Mathematical function which preserves angles

In mathematics, a conformal map is a function that locally preserves angles, but not necessarily lengths.

<span class="mw-page-title-main">Analytic function</span> Type of function in mathematics

In mathematics, an analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions. Functions of each type are infinitely differentiable, but complex analytic functions exhibit properties that do not generally hold for real analytic functions. A function is analytic if and only if its Taylor series about converges to the function in some neighborhood for every in its domain. It is important to note that it is a neighborhood and not just at some point , since every differentiable function has at least a tangent line at every point, which is its Taylor series of order 1. So just having a polynomial expansion at singular points is not enough, and the Taylor series must also converge to the function on points adjacent to to be considered an analytic function. As a counterexample see the Fabius function.

<span class="mw-page-title-main">Meromorphic function</span> Class of mathematical function

In the mathematical field of complex analysis, a meromorphic function on an open subset D of the complex plane is a function that is holomorphic on all of Dexcept for a set of isolated points, which are poles of the function. The term comes from the Greek meros, meaning "part".

The theory of functions of several complex variables is the branch of mathematics dealing with functions defined on the complex coordinate space , that is, n-tuples of complex numbers. The name of the field dealing with the properties of these functions is called several complex variables, which the Mathematics Subject Classification has as a top-level heading.

In mathematics, the total variation identifies several slightly different concepts, related to the (local or global) structure of the codomain of a function or a measure. For a real-valued continuous function f, defined on an interval [a, b] ⊂ R, its total variation on the interval of definition is a measure of the one-dimensional arclength of the curve with parametric equation x ↦ f(x), for x ∈ [a, b]. Functions whose total variation is finite are called functions of bounded variation.

In mathematics, with special application to complex analysis, a normal family is a pre-compact subset of the space of continuous functions. Informally, this means that the functions in the family are not widely spread out, but rather stick together in a somewhat "clustered" manner. Note that a compact family of continuous functions is automatically a normal family. Sometimes, if each function in a normal family F satisfies a particular property , then the property also holds for each limit point of the set F.

In mathematics, Carathéodory's theorem is a theorem in complex analysis, named after Constantin Carathéodory, which extends the Riemann mapping theorem. The theorem, first proved in 1913, states that any conformal mapping sending the unit disk to some region in the complex plane bounded by a Jordan curve extends continuously to a homeomorphism from the unit circle onto the Jordan curve. The result is one of Carathéodory's results on prime ends and the boundary behaviour of univalent holomorphic functions.

In mathematics, precisely in the theory of functions of several complex variables, a pluriharmonic function is a real valued function which is locally the real part of a holomorphic function of several complex variables. Sometimes such a function is referred to as n-harmonic function, where n ≥ 2 is the dimension of the complex domain where the function is defined. However, in modern expositions of the theory of functions of several complex variables it is preferred to give an equivalent formulation of the concept, by defining pluriharmonic function a complex valued function whose restriction to every complex line is a harmonic function with respect to the real and imaginary part of the complex line parameter.

In mathematics, more precisely in the theory of functions of several complex variables, a pseudoconvex set is a special type of open set in the n-dimensional complex space Cn. Pseudoconvex sets are important, as they allow for classification of domains of holomorphy.

<span class="mw-page-title-main">Biholomorphism</span> Bijective holomorphic function with a holomorphic inverse

In the mathematical theory of functions of one or more complex variables, and also in complex algebraic geometry, a biholomorphism or biholomorphic function is a bijective holomorphic function whose inverse is also holomorphic.

In the theory of functions of several complex variables, Hartogs's extension theorem is a statement about the singularities of holomorphic functions of several variables. Informally, it states that the support of the singularities of such functions cannot be compact, therefore the singular set of a function of several complex variables must 'go off to infinity' in some direction. More precisely, it shows that an isolated singularity is always a removable singularity for any analytic function of n > 1 complex variables. A first version of this theorem was proved by Friedrich Hartogs, and as such it is known also as Hartogs's lemma and Hartogs's principle: in earlier Soviet literature, it is also called Osgood–Brown theorem, acknowledging later work by Arthur Barton Brown and William Fogg Osgood. This property of holomorphic functions of several variables is also called Hartogs's phenomenon: however, the locution "Hartogs's phenomenon" is also used to identify the property of solutions of systems of partial differential or convolution equations satisfying Hartogs type theorems.

In complex analysis of one and several complex variables, Wirtinger derivatives, named after Wilhelm Wirtinger who introduced them in 1927 in the course of his studies on the theory of functions of several complex variables, are partial differential operators of the first order which behave in a very similar manner to the ordinary derivatives with respect to one real variable, when applied to holomorphic functions, antiholomorphic functions or simply differentiable functions on complex domains. These operators permit the construction of a differential calculus for such functions that is entirely analogous to the ordinary differential calculus for functions of real variables.

In mathematics, a planar Riemann surface is a Riemann surface sharing the topological properties of a connected open subset of the Riemann sphere. They are characterized by the topological property that the complement of every closed Jordan curve in the Riemann surface has two connected components. An equivalent characterization is the differential geometric property that every closed differential 1-form of compact support is exact. Every simply connected Riemann surface is planar. The class of planar Riemann surfaces was studied by Koebe who proved in 1910, as a generalization of the uniformization theorem, that every such surface is conformally equivalent to either the Riemann sphere or the complex plane with slits parallel to the real axis removed.

References

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.