TheoremBase

The Complex Plane as ℝ²: Standing Notation

Standing notation for reading a function on an open subset of the complex plane as a map between subsets of the Euclidean plane: the identification of ℝ² with ℂ, the corresponding subset of ℝ², the function in real coordinates with its two component maps, and the notation for partial derivatives.

Statement

Base. This setting extends Complex Analysis: Standing Notation and Multivariable Calculus: Notation, the latter with n=m=2n=m=2: their conventions and notation are in force, except that UU denotes the subset of C\mathbb{C} fixed in (iii).

The identification. Φ:R2→C\Phi:\mathbb{R}^{2}\to\mathbb{C} is the map of The Complex Plane as R2\mathbb{R}^2: the Map (x,y)↦x+iy(x,y)\mapsto x+iy Is a Real-Linear Isometric Bijection, Φ(x,y)=x+iy\Phi(x,y)=x+iy.

Domains. Unless stated otherwise, UU denotes an open subset of (C,dC)(\mathbb{C},d_{\mathbb{C}}), and

V={p∈R2:Φ(p)∈U}V=\{p\in\mathbb{R}^{2}:\Phi(p)\in U\}

is the corresponding subset of R2\mathbb{R}^{2}; VV plays the role of UU in Multivariable Calculus: Notation (ii).

A function read in real coordinates. For a function f:U→Cf:U\to\mathbb{C}, FF denotes the function

F:V→R2,F(p)=Φ−1(f(Φ(p)))=(Re⁡f(Φ(p)),Im⁡f(Φ(p)))F:V\to\mathbb{R}^{2},\qquad F(p)=\Phi^{-1}\bigl(f(\Phi(p))\bigr)=\bigl(\operatorname{Re}f(\Phi(p)),\operatorname{Im}f(\Phi(p))\bigr)

(Values, Restriction and Equality of a Map, and the Map u↦t(u)u\mapsto t(u) as a Defined Set Symbol (v)), and u=F1u=F_{1} and v=F2v=F_{2} are its component maps.

Partial derivatives. For a function g:V→Rg:V\to\mathbb{R} and p∈Vp\in V, ∂g∂x(p)\dfrac{\partial g}{\partial x}(p) and ∂g∂y(p)\dfrac{\partial g}{\partial y}(p) denote the partial derivatives ∂1g(p)\partial_{1}g(p) and ∂2g(p)\partial_{2}g(p), when they exist.

Background. The following are used without further citation. Φ\Phi is a real-linear isometric bijection with inverse Φ−1(z)=(Re⁡z,Im⁡z)\Phi^{-1}(z)=(\operatorname{Re}z,\operatorname{Im}z), and a subset of C\mathbb{C} is open in (C,dC)(\mathbb{C},d_{\mathbb{C}}) exactly when its preimage under Φ\Phi is open in (R2,dE)(\mathbb{R}^{2},d_{E}), by The Complex Plane as R2\mathbb{R}^2: the Map (x,y)↦x+iy(x,y)\mapsto x+iy Is a Real-Linear Isometric Bijection (i), The Complex Plane as R2\mathbb{R}^2: the Map (x,y)↦x+iy(x,y)\mapsto x+iy Is a Real-Linear Isometric Bijection (ii), The Complex Plane as R2\mathbb{R}^2: the Map (x,y)↦x+iy(x,y)\mapsto x+iy Is a Real-Linear Isometric Bijection (iii) and The Complex Plane as R2\mathbb{R}^2: the Map (x,y)↦x+iy(x,y)\mapsto x+iy Is a Real-Linear Isometric Bijection (iv); in particular VV is open in (R2,dE)(\mathbb{R}^{2},d_{E}). Since both the earlier and the current versions of the definitions of metric spaces, open sets and continuity are in force here, they are used interchangeably: they agree, by The Earlier and the New Versions of the Definitions of Metric Spaces, Convergence, Continuity and Compactness Agree (i), The Earlier and the New Versions of the Definitions of Metric Spaces, Convergence, Continuity and Compactness Agree (v) and The Earlier and the New Versions of the Definitions of Metric Spaces, Convergence, Continuity and Compactness Agree (vii).

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…