Skip to main content
added 385 characters in body
Source Link
Alexandre Eremenko
  • 91.8k
  • 9
  • 259
  • 429

Such maps are conformal. A theorem of Liouville says that if $n\geq 3$, the only conformal maps (defined in some region in $R^n$) are Mobius. A Mobius map is a composition of inversions in spheres. For example $x\mapsto x/|x^2|$ is the inversion in the unit sphere. Inversions in all spheres generate the Mobius group.

Derivative of a conformal map is a constant times orthogonal. So if you require it to be orthogonal, you obtain only affine maps.

Liouville's theorem does not hold in dimension $2$. Conformal maps in dimension $2$ are complex analytic function whose derivative is not equal to zero. Your condition implies that the complex derivative has constant absolute value, so it is constant, and again you obtain an affine map.

Usually they include orientation-reversing maps to the Mobius group, so conformal maps can be preserving or reversing orientation.

EDIT. Of course Liouville proved his theorem for sufficiently smooth functions, and the proof is essentially the same as in the answer of David Speyer. However this theorem holds under much les restrictive assumptions (for some maps differentiable almost everywhere), and this is one of the subjects discussed in the book of Reshetnyak, Stability theorems in geometry and Analysis.

Such maps are conformal. A theorem of Liouville says that if $n\geq 3$, the only conformal maps (defined in some region in $R^n$) are Mobius. A Mobius map is a composition of inversions in spheres. For example $x\mapsto x/|x^2|$ is the inversion in the unit sphere. Inversions in all spheres generate the Mobius group.

Derivative of a conformal map is a constant times orthogonal. So if you require it to be orthogonal, you obtain only affine maps.

Liouville's theorem does not hold in dimension $2$. Conformal maps in dimension $2$ are complex analytic function whose derivative is not equal to zero. Your condition implies that the complex derivative has constant absolute value, so it is constant, and again you obtain an affine map.

Usually they include orientation-reversing maps to the Mobius group, so conformal maps can be preserving or reversing orientation.

Such maps are conformal. A theorem of Liouville says that if $n\geq 3$, the only conformal maps (defined in some region in $R^n$) are Mobius. A Mobius map is a composition of inversions in spheres. For example $x\mapsto x/|x^2|$ is the inversion in the unit sphere. Inversions in all spheres generate the Mobius group.

Derivative of a conformal map is a constant times orthogonal. So if you require it to be orthogonal, you obtain only affine maps.

Liouville's theorem does not hold in dimension $2$. Conformal maps in dimension $2$ are complex analytic function whose derivative is not equal to zero. Your condition implies that the complex derivative has constant absolute value, so it is constant, and again you obtain an affine map.

Usually they include orientation-reversing maps to the Mobius group, so conformal maps can be preserving or reversing orientation.

EDIT. Of course Liouville proved his theorem for sufficiently smooth functions, and the proof is essentially the same as in the answer of David Speyer. However this theorem holds under much les restrictive assumptions (for some maps differentiable almost everywhere), and this is one of the subjects discussed in the book of Reshetnyak, Stability theorems in geometry and Analysis.

added 276 characters in body
Source Link
Alexandre Eremenko
  • 91.8k
  • 9
  • 259
  • 429

Such maps are called conformal. A theorem of Liouville says that if $n\geq 3$, the only conformal maps (defined in some region in $R^n$) are Mobius. A Mobius map is a composition of inversions in spheres. For example $x\mapsto x/|x^2|$ is the inversion in the unit sphere. Inversions in all spheres generate the Mobius group.

ThisDerivative of a conformal map is a constant times orthogonal. So if you require it to be orthogonal, you obtain only affine maps.

Liouville's theorem does not sohold in dimension $2$. AnyConformal maps in dimension $2$ are complex analytic function whose derivative is not equal to zero defines a conformal. Your condition implies that the complex derivative has constant absolute value, so it is constant, and again you obtain an affine map in dimension 2.

Usually they include orientation-reversing maps to the Mobius group, so conformal maps can be preserving or reversing orientation.

Such maps are called conformal. A theorem of Liouville says that if $n\geq 3$, the only conformal maps (defined in some region in $R^n$) are Mobius. A Mobius map is a composition of inversions in spheres. For example $x\mapsto x/|x^2|$ is the inversion in the unit sphere. Inversions in all spheres generate the Mobius group.

This is not so in dimension $2$. Any complex analytic function whose derivative is not equal to zero defines a conformal map in dimension 2.

Such maps are conformal. A theorem of Liouville says that if $n\geq 3$, the only conformal maps (defined in some region in $R^n$) are Mobius. A Mobius map is a composition of inversions in spheres. For example $x\mapsto x/|x^2|$ is the inversion in the unit sphere. Inversions in all spheres generate the Mobius group.

Derivative of a conformal map is a constant times orthogonal. So if you require it to be orthogonal, you obtain only affine maps.

Liouville's theorem does not hold in dimension $2$. Conformal maps in dimension $2$ are complex analytic function whose derivative is not equal to zero. Your condition implies that the complex derivative has constant absolute value, so it is constant, and again you obtain an affine map.

Usually they include orientation-reversing maps to the Mobius group, so conformal maps can be preserving or reversing orientation.

Source Link
Alexandre Eremenko
  • 91.8k
  • 9
  • 259
  • 429

Such maps are called conformal. A theorem of Liouville says that if $n\geq 3$, the only conformal maps (defined in some region in $R^n$) are Mobius. A Mobius map is a composition of inversions in spheres. For example $x\mapsto x/|x^2|$ is the inversion in the unit sphere. Inversions in all spheres generate the Mobius group.

This is not so in dimension $2$. Any complex analytic function whose derivative is not equal to zero defines a conformal map in dimension 2.