Complex numbers · Definition
Topology of the complex plane
Before you start you need to know
It provides the vocabulary of sets (open, closed, domain) in which limits, continuity and complex differentiability are stated.
Definition
The structure that open disks \(D\) of center \(z_0\) and radius \(r\) give to \(\mathbb{C}\); with them one defines when a set of points \(z\) is open, closed, bounded or connected.
Since \(|z-w|\) is the distance between two complex numbers, \(\mathbb{C}\) behaves like the plane \(\mathbb{R}^2\). A set \(U\) is open if each of its points is the center of some disk \(D(z_0,r)\) contained in \(U\); it is closed if its complement is open, or equivalently, if it contains all of its boundary points. A disk \(|z-z_0|<r\) is open; with \(\le\) it is closed.
The boundary of a set consists of the points with both points of the set and points outside arbitrarily close: that of the disk \(|z|<1\) is the circle \(|z|=1\). A set is bounded if it fits in a disk \(|z|<R\) for some \(R\). Open and closed are not opposites: \(\mathbb{C}\) and the empty set are both, and a set like \(\{|z|<1\}\cup\{1\}\) is neither.
An open set is connected if any two of its points can be joined by a polygonal path inside it. A connected open set is called a domain (or region), and it is the usual setting of the theory: the annulus \(1<|z|<2\) and the half-plane \(\operatorname{Re}z>0\) are domains; \(\operatorname{Re}z\neq0\) is open but not connected.
A typical mistake is to think a closed set is «one that is not open». Another is forgetting that the sign \(<\) or \(\le\) decides whether the circle belongs. This notion is used right away to say where a complex function is defined and what it means to approach a point.
Think about it
Is the complex plane \(\mathbb{C}\) open, closed, or both?
Both: every point has a disk inside \(\mathbb{C}\), and its complement, the empty set, is open.
Is \(\mathbb{C}\setminus\{0\}\) a domain?
Yes: it is open (removing one point does not break disks around the others) and connected, since any two points are joined by a polygonal path avoiding the origin.
Exercises 10
- Which of these points lies in the open disk \(D(1+i,2)\)?
- The set \(\{z:|z+2i|<3\}\) is an open disk. What are its center and radius?
- Which of these sets is open?
- Which of these sets is closed?
- What is the boundary of the disk \(\{z:|z|<1\}\)?
- Which of these sets is bounded?
- Which of these sets is NOT connected?
- Which of these sets is a domain (open and connected)?
- How many points does the intersection of the open disks \(D(1,1)\) and \(D(-1,1)\) have?
- Which statement is true?
What comes next
References
- Elias M. Stein, Rami Shakarchi, Complex Analysis, 1st edition, Princeton University Press, 2003. Cap. 1, §1.2
- James Ward Brown, Ruel V. Churchill, Complex Variables and Applications, 9th edition, McGraw-Hill, 2014. §11