Problem 4

Question

Let $D \subset \mathbb{C}$ be an open set. Show: For a subset $M \subset D$ the following properties are equivalent: (a) $M$ is discrete in $D$, i.e. no accumulation point of $M$ lies in $D$. (b) For each $p \in M$ there exists an $\varepsilon>0$, such that $U_{\varepsilon}(p) \cap M=\\{p\\}$, and $M$ is closed in $D$ (i.e. there exists a closed set $A \subset \mathbb{C}$ with $M=A \cap D)$. (c) For each compact subset $K \subset D$ the intersection $M \cap K$ is finite. (d) $M$ is locally finite in $D$, i.e. each point $z \in D$ has an $\varepsilon$-neighborhood $U_{\varepsilon}(z) \subset D$, such that $M \cap U_{\varepsilon}(z)$ is finite.

Step-by-Step Solution

Verified

Answer

The properties (a)-(d) are equivalent as they all describe non-accumulating, isolated subsets, forming a discrete set.

1Step 1: Understanding Discreteness in D

We want to show that four properties (a)-(d) regarding a subset $M$ are equivalent. We start by understanding what it means for $M$ to be discrete in $D$. Property (a) states: for a subset $M \subset D$, no point $p$ in $D$ can be an accumulation point of $M$. This means each point in $M$ stands alone in $D$, without any cluster of points nearby.

2Step 2: Examining Existence of Isolated Points and Closedness

Property (b) suggests two conditions for $M$: for each $p \in M$, there's an $\varepsilon > 0$ such that $U_{\varepsilon}(p)$ only includes $p$. Additionally, $M$ needs to be closed in $D$, implying $M = A \cap D$ with $A$ closed in $\mathbb{C}$. Each point in $M$ having a neighborhood that excludes other points of $M$ indicates $M$ is discrete.

3Step 3: Analyzing Compact Sets and Finite Intersections

For property (c), consider any compact subset $K \subset D$. $M \cap K$ must be finite. Since compact sets in $\mathbb{C}$ are closed and bounded, if $M$ were not discrete, $M \cap K$ could be infinite due to accumulation points, a contradiction if $M$ is discrete.

4Step 4: Understanding Local Finiteness

Property (d) asserts $M$ is locally finite in $D$. For any $z \in D$, there is an $\varepsilon$-neighborhood $U_{\varepsilon}(z)$ within $D$ where $M \cap U_{\varepsilon}(z)$ is finite. This also restricts accumulation of points around any $z $, aligning with being discrete.

5Step 5: Showing Equivalence between Properties

We need to show that each property implies the others. Begin with property (a): if $M$ is discrete, then every point $p \in M$ has a neighborhood excluding other points, satisfying (b). This separation prevents accumulating points in compact sets, making (c) true. For (d), any localized neighborhood remains sparse, hence $M$ is locally finite. Conversely, start with (b): isolated points and closedness imply discreteness, supporting (a). (b) also means $M \cap K$ is finite, securing (c), and if neighborhoods are finite, (d) holds. Each property naturally leads to the next, confirming their equivalence.

Key Concepts

Complex AnalysisOpen SetsCompact SetsLocally Finite

Complex Analysis

Complex analysis deals with functions of complex numbers. A complex number is of the form $ z = x + yi $, where $ x $ and $ y $ are real numbers, and $ i $ is the imaginary unit with the property $ i^2 = -1 $. This branch of mathematics extends the ideas of calculus and differential equations to the complex plane, enriching the analysis with geometric interpretation and complex potential functions.

Some important aspects of complex analysis are the analytical functions, which are differentiable over complex numbers. These functions exhibit properties like the Cauchy-Riemann equations, which ensure the function is holomorphic. Additionally, complex analysis explores conformal mappings, which preserve angles and shapes at infinitesimally small scales.

Complex integration allows calculations around curves in the complex plane, introducing powerful results like Cauchy's integral theorem.
Applications span from fluid dynamics to quantum physics, making complex analysis a foundational mathematical tool.

Open Sets

In topology, an open set is a fundamental concept that describes a set where every point has a surrounding region entirely contained within the set. When delving into complex analysis, open sets are essential for defining neighborhoods in the complex plane.

A subset $ U $ of the complex plane $ \mathbb{C} $ is open if for every point $ p $ in $ U $, there exists a $\varepsilon > 0$ such that the $ \varepsilon $-neighborhood $ U_{\varepsilon}(p) $ lies entirely within $ U $. Open sets allow us to formalize continuous, smooth surfaces where analysis functions are well-behaved.

Open sets help us understand convergence and limits as they are used to define continuity on the complex plane.
In metric spaces, they are made up of points not on the boundary of the set. This property is used in defining properties like discreteness.

Compact Sets

Compact sets play a significant role in many areas of mathematics including analysis. In the complex plane, a subset is considered compact if it is closed and bounded. This means all sequences within the set have a convergent subsequence that also lies within the set.

In the context of complex analysis, compactness helps manage space and point containment within functions, making them easier to analyze. Due to the Heine-Borel theorem, in $ \mathbb{C} $, a set is compact if every open cover has a finite subcover.

Compact sets are crucial when discussing continuous functions because these functions attain maximum and minimum values on compact sets.
The property that compact sets absorb local properties (closedness and boundedness) makes them essential to understanding function behavior globally.

Locally Finite

A collection of subsets is termed locally finite within a space if every point has a neighborhood that intersects only a finite number of subsets. In complex analysis, this concept helps in understanding how sets like $ M \subset D $ behave under different conditions.

For a set $ M $ to be locally finite in an open set $ D $, each point $ z \in D $ must have an $ \varepsilon $-neighborhood $ U_{\varepsilon}(z) $ where the intersection $ M \cap U_{\varepsilon}(z) $ is finite.

This property lends itself to simplifications in dealing with potentially infinite structures by breaking them into manageable pieces around each point.
It is a local condition and focuses on managing density of points, making the concept a powerful tool in discrete set analysis.

Problem 4

Other exercises in this chapter

Problem 4

Show that the series $$ \sum_{\nu=1}^{\infty} \frac{z^{2 \nu}}{1-z^{\nu}} $$ converges normally in the unit disk \(\mathbb{E}=\\{z \in \mathbb{C} ; \quad|z|

View solution

Problem 4

A power series with positive radius of convergence \(r

View solution

Problem 4

Which of the following functions have a removable singularity at $a=0 ?$ (a) $\frac{\exp (z)}{z^{17}}$, (b) $\frac{(\exp (z)-1)^{2}}{z^{2}}$, (c) \(\frac{

View solution

Problem 4

Does the following "identity" contradict to the uniqueness of the LAURENT expansion $$ \begin{aligned} 0 &=\frac{1}{z-1}+\frac{1}{1-z}=\frac{1}{z} \cdot \frac{1

View solution