Math 2.0

definition

Domain in the complex plane

Definition

Let DD be a subset of the complex plane C\mathbb{C}. The set DD is open if for each z0∈Dz_0 \in D there is a real number r>0r > 0 such that each z∈Cz \in \mathbb{C} with ∣z−z0∣<r|z - z_0| < r is in DD. Here ∣z−z0∣|z - z_0| is the modulus of z−z0z - z_0. The set DD is connected if there are no two disjoint nonempty open sets AA and BB with D=A∪BD = A \cup B. A domain in the complex plane is a subset D⊆CD \subseteq \mathbb{C} that is nonempty, open and connected.

Remarks

An open set D⊆CD \subseteq \mathbb{C} is connected if and only if each two points of DD are the end points of a polygonal path in DD. Examples of domains are C\mathbb{C}, each open disc, the upper half-plane {z:Im⁡z>0}\{z : \operatorname{Im} z > 0\} and C∖{0}\mathbb{C} \setminus \{0\}. The union of two disjoint open discs is open but not connected, so it is not a domain. Some authors use the word region for a domain. Other authors use region for a set between a domain and its closure.

Explanations

L1 human

A domain is a set in the plane that has no boundary points in it and that is in one piece. Open means that you can move a little in each direction from each point and stay in the set. Connected means that you can walk from each point of the set to each other point without leaving the set.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 11 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Complex numbers object
  2. Complex plane concept
  3. Real numbers object
  4. Set bounded above definition
  5. Real and imaginary parts definition
  6. Supremum definition
  7. Completeness axiom statement
  8. Existence of square roots of nonnegative reals statement
  9. Square root definition
  10. Modulus of a complex number definition
  11. Domain in the complex plane definition

What depends on this

7 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Domain_(mathematical_analysis), lead section
  2. Web https://en.wikipedia.org/wiki/Domain_(mathematical_analysis), Conventions