Definition:Region

From ProofWiki
Jump to navigation Jump to search



Definition

Metric Space

Let $M = \struct {A, d}$ be a metric space.

A region of $M$ is a subset $U$ of $M$ such that $U$ is:

$(1): \quad$ non-empty
$(2): \quad$ path-connected.


Complex

Let $D \subseteq \C$ be a subset of the set of complex numbers.

$D$ is a region of $\C$ if and only if:

$(1): \quad$ $D$ is non-empty
$(2): \quad$ $D$ is path-connected.


Region in the Plane

The usual usage of region is in the real number plane or complex plane.


A point set $R$ in the plane is a region if and only if:

$(1): \quad$ Each point of $R$ is the center of a circle all of whose elements consist of points of $R$
$(2): \quad$ Each point of $R$ can be joined by a curve consisting entirely of points of $R$.


Interior

The boundary of a region separates its interior from the exterior.

The interior consists of the points of the plane which are the elements of the region.

Such points are called interior points of the region.


It is "usual" that the interior is the "smaller bit" which is visually apparently on the inside as it appears on the page or screen, but this is of course not necessarily the case.


Also see the definition of interior and boundary from a topological perspective.


Bounded

A region in the the plane is bounded if there is a circle in the plane which encloses it.


Also see the definition of bounded in the context of a metric space.


Also known as

A region is also known as a domain, but that term already has several wider meanings.


Also see

  • Results about regions can be found here.


Internationalization

Region is translated:

In Dutch: gebied  (literally: region)


Sources