Lecture 11 — Topology Definitions

Definition. The boundary of \Omega, denoted \partial \Omega, is defined as \{z \in \mathbb C : z \text{ is a boundary point}\}.

Recall that interior points are in \Omega and exterior points are in \Omega^c. What about the boundary points?

Let’s look at a circle \Omega = \{z : |z| = 1\}. In this case, we have \partial \Omega = \Omega. Let’s consider a blob:

image-20200326163437855

Here, z_1 is an interior point, z_2 is an exterior point, z_3 is a boundary point in \Omega, and z_4 is a boundary point not in \Omega.

Definition. \operatorname{Int}\Omega is the interior of \Omega, the set of all interior points. \operatorname{Ext}\Omega is the exterior of \Omega, the set of all exterior points.

Definition. \Omega is open if \Omega = \operatorname{Int}\Omega, and \Omega is closed if \partial \Omega \subseteq \Omega.

Examples:

Note that \Omega_1 is open and \Omega_1^c is closed. \Omega_2 is closed and \Omega_2^c is open. Both \Omega_3 and \Omega_3^c are neither open nor closed.

Definition. A set which is both closed and open is called clopen.

Definition. A set \Omega \subseteq \mathbb C is called connected if there do not exist non-empty, open, disjoint sets \Omega' and \Omega'' such that \Omega \subseteq \Omega' \cup \Omega'' and \Omega' \cap \Omega \ne \emptyset and \Omega'' \cap \Omega \ne \emptyset.

That is, we can’t find two ‘separated’ sets which together contain all of \Omega and each contain parts of \Omega.

image-20200326165016594

Above, \Omega_1 is disconnected because we can find such \Omega' and \Omega''. However, \Omega_2 is connected.