mathematical analysis Analysis is the branch of mathematics dealing with continuous functions, limit (mathematics), limits, and related theories, such as Derivative, differentiation, Integral, integration, measure (mathematics), measure, infinite sequences, series (m ...

, a domain or region is a

non-empty In mathematics, the empty set is the unique set having no elements; its size or cardinality (count of elements in a set) is zero. Some axiomatic set theories ensure that the empty set exists by including an axiom of empty set, while in other ...

connected Connected may refer to: Film and television * ''Connected'' (2008 film), a Hong Kong remake of the American movie ''Cellular'' * '' Connected: An Autoblogography About Love, Death & Technology'', a 2011 documentary film * ''Connected'' (2015 TV ...

open set In mathematics, open sets are a generalization of open intervals in the real line. In a metric space (a set along with a distance defined between any two points), open sets are the sets that, with every point , contain all points that a ...

in a

topological space In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called po ...

, in particular any non-empty connected open subset of the

real coordinate space In mathematics, the real coordinate space of dimension , denoted ( ) or is the set of the -tuples of real numbers, that is the set of all sequences of real numbers. With component-wise addition and scalar multiplication, it is a real vecto ...

or the

complex coordinate space In mathematics, the ''n''-dimensional complex coordinate space (or complex ''n''-space) is the set of all ordered ''n''-tuples of complex numbers. It is denoted \Complex^n, and is the ''n''-fold Cartesian product of the complex plane \Complex w ...

. This is a different concept than the

domain of a function In mathematics, the domain of a function is the set of inputs accepted by the function. It is sometimes denoted by \operatorname(f) or \operatornamef, where is the function. More precisely, given a function f\colon X\to Y, the domain of is ...

, though it is often used for that purpose, for example in

partial differential equations In mathematics, a partial differential equation (PDE) is an equation which imposes relations between the various partial derivatives of a multivariable function. The function is often thought of as an "unknown" to be solved for, similarly to ...

and

Sobolev space In mathematics, a Sobolev space is a vector space of functions equipped with a norm that is a combination of ''Lp''-norms of the function together with its derivatives up to a given order. The derivatives are understood in a suitable weak sense ...

s. 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'', some use the term ''region'', some use both terms interchangeably, and some define the two terms slightly differently; some avoid ambiguity by sticking with a phrase such as ''non-empty connected open subset''. One common convention is to define a ''domain'' as a connected open set but a ''region'' as the

union Union commonly refers to: * Trade union, an organization of workers * Union (set theory), in mathematics, a fundamental operation on sets Union may also refer to: Arts and entertainment Music * Union (band), an American rock group ** ''Un ...

of a domain with none, some, or all of its

limit point In mathematics, a limit point, accumulation point, or cluster point of a set S in a topological space X is a point x that can be "approximated" by points of S in the sense that every neighbourhood of x with respect to the topology on X also conta ...

s. 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 In vector calculus, Green's theorem relates a line integral around a simple closed curve to a double integral over the plane region bounded by . It is the two-dimensional special case of Stokes' theorem. Theorem Let be a positively ori ...

Stokes theorem In vector calculus and differential geometry the generalized Stokes theorem (sometimes with apostrophe as Stokes' theorem or Stokes's theorem), also called the Stokes–Cartan theorem, is a statement about the integration of differential forms ...

), properties of

s, and to define

measures Measure may refer to: * Measurement, the assignment of a number to a characteristic of an object or event Law * Ballot measure, proposed legislation in the United States * Church of England Measure, legislation of the Church of England * Mea ...

on the boundary and spaces of

traces Traces may refer to: Literature * ''Traces'' (book), a 1998 short-story collection by Stephen Baxter * ''Traces'' series, a series of novels by Malcolm Rose Music Albums * ''Traces'' (Classics IV album) or the title song (see below), 1969 * ''Tra ...

(generalized functions defined on the boundary). Commonly considered types of domains are domains with

continuous Continuity or continuous may refer to: Mathematics * Continuity (mathematics), the opposing concept to discreteness; common examples include ** Continuous probability distribution or random variable in probability and statistics ** Continuous g ...

boundary,

Lipschitz boundary In mathematics, a Lipschitz domain (or domain with Lipschitz boundary) is a domain in Euclidean space whose boundary is "sufficiently regular" in the sense that it can be thought of as locally being the graph of a Lipschitz continuous function. The ...

, boundary, and so forth. A bounded domain is a domain which is a

bounded set :''"Bounded" and "boundary" are distinct concepts; for the latter see boundary (topology). A circle in isolation is a boundaryless bounded set, while the half plane is unbounded yet has a boundary. In mathematical analysis and related areas of ...

, while an exterior or external domain is the

interior Interior may refer to: Arts and media * ''Interior'' (Degas) (also known as ''The Rape''), painting by Edgar Degas * ''Interior'' (play), 1895 play by Belgian playwright Maurice Maeterlinck * ''The Interior'' (novel), by Lisa See * Interior de ...

of the

complement A complement is something that completes something else. Complement may refer specifically to: The arts * Complement (music), an interval that, when added to another, spans an octave ** Aggregate complementation, the separation of pitch-clas ...

of a bounded domain. In

complex analysis 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 algebra ...

, a complex domain (or simply domain) is any connected open subset of the

complex plane In mathematics, the complex plane is the plane formed by the complex numbers, with a Cartesian coordinate system such that the -axis, called the real axis, is formed by the real numbers, and the -axis, called the imaginary axis, is formed by th ...

. For example, the entire complex plane is a domain, as is the open

unit disk In mathematics, the open unit disk (or disc) around ''P'' (where ''P'' is a given point in the plane), is the set of points whose distance from ''P'' is less than 1: :D_1(P) = \.\, The closed unit disk around ''P'' is the set of points whose ...

, the open

upper half-plane In mathematics, the upper half-plane, \,\mathcal\,, is the set of points in the Cartesian plane with > 0. Complex plane Mathematicians sometimes identify the Cartesian plane with the complex plane, and then the upper half-plane corresponds to ...

, and so forth. Often, a complex domain serves as the domain of definition for a

holomorphic 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 . The existence of a complex de ...

. In the study of

several complex variables The theory of functions of several complex variables is the branch of mathematics dealing with complex number, complex-valued functions. The name of the field dealing with the properties of function of several complex variables is called several ...

, the definition of a domain is extended to include any connected open subset of .

Historical notes

, multiline=yes , sign=

Constantin Carathéodory Constantin Carathéodory ( el, Κωνσταντίνος Καραθεοδωρή, Konstantinos Karatheodori; 13 September 1873 – 2 February 1950) was a Greek mathematician who spent most of his professional career in Germany. He made significant ...

, source= According to Hans Hahn, the concept of a domain as an open connected set was introduced by

in his famous book . In this definition, Carathéodory considers obviously

disjoint Disjoint may refer to: *Disjoint sets, sets with no common elements *Mutual exclusivity, the impossibility of a pair of propositions both being true See also *Disjoint union *Disjoint-set data structure {{disambig * * * * * * Translated as * * * * English translation of * *
{{cite book , title=A Course Of Modern Analysis , last1=Whittaker , first1=Edmund , last2=Watson , first2=George , author-link2=George Neville Watson , date=1915 , publisher=Cambridge , edition=2nd , url=https://archive.org/details/courseofmodernan00whituoft/?q=region Mathematical analysis Partial differential equations Topology