visualizing maximal elements

Although the mathematical definitions of the terms “greatest element” and “maximal element” are straightforward enough, one may easily confuse these two terms when one first encounters them, especially since they are not distinguished in the natural language usage of the words. Here we give a graphical example that should help visualize the concept:

Consider the complex logarithm, which is a multi-valued function on $\mathbb{C}\setminus\{0\}$ . (Or equivalently, the angle function $\theta$ on $\mathbb{R}^{2}\setminus\{0\}$ .) If $U$ is any simply-connected open set in $\mathbb{C}\setminus\{0\}$ , then it is possible to define a single-valued branch $f\colon U\to\mathbb{C}$ of the complex logarithm. For example, $U=\mathbb{C}\setminus\{x\colon x\leq 0\}$ . This is a maximal set (with set inclusion as the partial ordering) for the domain of $f$ : $f$ becomes discontinuous if we attempt to add more points to $U$ . But it is certainly not the largest set on which we can define $f$ : the set $U=\mathbb{C}\setminus\{iy\colon y\geq 0\}$ works also. Indeed, it is clearly seen that there is no such thing as the largest set for the domain of $f$ . And there are obviously infinitely many maximal sets for the domain of $f$ .

(Nevertheless, some people will loosely say that there is “a largest domain” for the single-valued branch of the logarithm.)

Title	visualizing maximal elements
Canonical name	VisualizingMaximalElements
Date of creation	2013-03-22 15:39:36
Last modified on	2013-03-22 15:39:36
Owner	stevecheng (10074)
Last modified by	stevecheng (10074)
Numerical id	6
Author	stevecheng (10074)
Entry type	Example
Classification	msc 03E04