Math 2.0

example

Cayley transform

Example

Let H={z∈C:Im⁡z>0}\mathbb{H} = \{ z \in \mathbb{C} : \operatorname{Im} z > 0 \} be the upper half-plane and D={w∈C:∣w∣<1}\mathbb{D} = \{ w \in \mathbb{C} : |w| < 1 \} the open unit disc. The Cayley transform is W(z)=z−iz+i.W(z) = \frac{z - i}{z + i}. It is a Möbius transformation with a=1a = 1, b=−ib = -i, c=1c = 1, d=id = i, and ad−bc=2i≠0ad - bc = 2i \neq 0. For z∈Cz \in \mathbb{C}, ∣W(z)∣<1|W(z)| < 1 holds exactly when zz is nearer to ii than to −i-i, that is, when Im⁡z>0\operatorname{Im} z > 0. The map WW is a bijection from H\mathbb{H} onto D\mathbb{D}, with inverse w↦i1+w1−ww \mapsto i \frac{1 + w}{1 - w}.

Remarks

Some values are W(i)=0W(i) = 0, W(0)=−1W(0) = -1, W(1)=−iW(1) = -i, W(−1)=iW(-1) = i and W(∞)=1W(\infty) = 1. The map WW sends the real line together with ∞\infty onto the unit circle. It is an explicit case of the Riemann mapping theorem for H\mathbb{H}. In hyperbolic geometry, it connects the half-plane model and the disc model.

Explanations

L1 human

The Cayley transform turns the upper half-plane into the unit disc. A point of H\mathbb{H} is nearer to ii than to −i-i, so the quotient of the two distances is less than 11. It lets you move a problem on the half-plane to the disc, where it can be easier.

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 5 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. Riemann sphere definition
  4. Möbius transformation definition
  5. Cayley transform example

Sources

  1. Web https://en.wikipedia.org/wiki/Cayley_transform, Complex homography