viewimage.php?id=20bcc42ee0df39b267bcc5&no=24b0d769e1d32ca73cef81fa11d0283127709d21227bb049fff2f62433c0352f6b9928fa06b8871888e5bc4df4575cd359f5f5c200f18b659a11d5d0ed23b241e02a


Conformal Mapping 이란 holomorphic 하고 bijective 한 함수에요. 

그렇다면 선형대수에서 배웠던 것처럼 자연스레 isomorphism 을 떠올릴 수 있는데, 

Complex Plane 에서 isomorphic(혹은 automorphic)한 함수는



viewimage.php?id=20bcc42ee0df39b267bcc5&no=24b0d769e1d32ca73cef81fa11d0283127709d21227bb049fff2f62433c0352f6b9928fa06b8871888e5bc09a70c36d5e241b4564e222f3509beb482c5ee66574e9167b45376


Mobius transformation 으로 나타낼 수 있어요.

Mobius transformation 은 참고로


(translation) * (dilation) * (inversion) * (translation) 


와 같은 좀 더 단순한 기하학적인 변환으로 분해가 가능해요.


그렇다면 여기서 

"Complex Plane 에서의 Open mapping 은 어떻게 나타낼까?"

라는 의문이 자연스럽게 드는데요,



viewimage.php?id=20bcc42ee0df39b267bcc5&no=24b0d769e1d32ca73cef81fa11d0283127709d21227bb049fff2f62433c0352f6b9928fa06b8871888e5bc09a70c36d5e241b4564e222f3509bee38791bc63518b77a6cb837d


이런 형식으로 나타낼 수 있다고 본 것 같습니다.

그렇다면 이것을 토대로 어떤 성질들을 알아볼 수가 있냐고 하면



viewimage.php?id=20bcc42ee0df39b267bcc5&no=24b0d769e1d32ca73cef81fa11d0283127709d21227bb049fff2f62433c0352f6b9928fa06b8871888e5bc09a70c36d5e241b4564e222f3509beb3d3c3ec6e51e3d9238353ee


Schwart's lemma 에 따라 위와 같은 성질들을 보일 수가 있는데요,

이것은 Maximum Modulus theorem 에 따라, 

만약 f(z) / z 가 open disk D 내에서 최댓값을 갖는다면 그 함수는 상수함수이고, f(z) = cz 의 형태로 나타낼 수가 있어서 그렇습니다.


위의 정리를 가만히 들여다 보면 abs(f(z) / z) 같은, 함수 norm 의 형태를 볼 수가 있는데요,


 sup     |f(z) / z|

z in D


가 1 로 잡혔기 때문에, bounded operator 로 볼 수가 있고, 

정리 조건에서 f(0) = 0 이라는 fixed point 또한 보였기 때문에 뭔가 함수해석적인 것을 할 수 있지 않나 싶었는데



viewimage.php?id=20bcc42ee0df39b267bcc5&no=24b0d769e1d32ca73cef81fa11d0283127709d21227bb049fff2f62433c0352f6b9928fa06b8871888e5bc09a70c36d5e241b4564e222f3509bee181c1eb3556b591e29e774e


Schwartz-Pick lemma 가 있더라구요.

다만 여기서는 metric 을 poincare metric 으로 정의했구요,

Contraction 이 성립하는지 여부를 f 가 automorphism 인지 아닌지에서 판가름 하더랍니다.


뭔가 이해에 틀린 것이 있나요?