# Monthly Archives: June 2015

## Equivalent condition for bounded linear operator and continuity

오늘 실해석학 시험을 쳤는데, 다른 건 답변을 했지만(다른 것도 마이너한 실수들이 있긴 하다) 이 한 문제만 답변을 제대로 못했다.
쉬운건 알고 있었는데, 증명이 생각이 나질 않았다. 바로 증명을 보고 내 큰 실수를 또 발견했는데, ‘정의’에 충실하지 않았다는 것이다.
언제나 블로그에는 내 부끄러움도 올려야 한다고 생각하기 때문에, 못 풀었던 문제의 증명도 실어 놓는다.

Theorem. Let be a linear operator from to . Then the following are equivalent:

1. is continuous on
2. is continuous at
3. is bounded

Proof. (1) implies (2): clear.
(2) implies (3): Assume is continuous at . Then there is such that if , then we have

Then for all nonzero , we have

Since was arbitrary chosen nonzero vector, is bounded.
(3) implies (1): Assume is bounded. Choose in . Then we have

So this is Lipschitz continuous on . So it is continuous on

## Calculation of Integral with log term and some lessons

Problem. Evaluate

이 값을 구하는 과정에서 다음과 같은 결과가 필요하다.

Proposition. We have

Proof. Define where and . Consider the following contour:

Here . Then inside the contour, has simple pole at . So

So by Residue theorem, we get

First, note that

Also, we have

Note that as and as . Hence, as and , we have

Since , we get .

이제 본격적으로 문제의 적분을 계산해보도록 하자.

Solution to Problem. Define where and . Consider the following contour:

Here . Then inside the contour, has simple pole at . So

Hence, by Residue theorem, we get

(1)

Note that

(2)

Also, we have

So the essential part of our calculation is calculating

since .
Similarly,

So as and , from (1) and (2) and by Proposition, we get

Since , we get

이 문제가 오늘 시험문제에 나왔었는데, 나는 간단한 극한 계산 마무리를 그때 당시에 잘못 했었다. Estimate를 정교하지 못하게 했나라는 생각이 들었었는데, 쓸데없는 생각이 나를 막았던 것 같다.

## Application of Urysohn’s metrization theorem

Theorem. Let be a compact metric space, a Hausdorff space, and a continuous function from onto . Then is metrizable.

Proof. Note that since and is continuous and is compact, is compact. Since is Hausdorff space, is . So is . It suffices to show is second
countable. Since is compact, it is second countable. Let be a countable basis for . Define

Clearly, is countable. For , define . Since is open, is closed. Since is closed map, is open. So if we collect these , say , we claim that is basis for .

Let be an open set in and let . Then is open and is closed. So is closed since is continuous. Since is compact space, is compact. So there is a finite collection of such that

since is a basis for and is open in . Let . Then by definition and . Moreover, . For any point , . So . This shows . Since , then . This implies for each open set in and , there is a member of such that

The second condition of basis easily comes from . This shows is a countable basis for So by Urysohn’s metrization theorem, is metrizable.

## Baire Category Theorem and its application

Baire Category Theorem은 해석학에서 꽤나 중요한 비중을 차지하는 정리다. 어떤 구조가 어느정도로 존재하는지에 대해서 잘 알려주는 정리다. Baire Space의 정의는 알고 있다는 전제 하에 이야기를 시작한다.

Theorem. Let be a complete metric space or locally compact Hausdorff space. Then is Baire space.

Proof. 본격적으로 증명하기 전에 complete metric space와 locally compact Hausdorff가 라는 것을 기억하자. 에서의 open dense set들을 모은 countable collection이라 하자. 보이고자 하는 것은 에서 dense하다는 것만 보이면 된다. 이를 보이기 위해 nonempty open set
하나 잡자.
이 dense set이므로 이다. 을 잡자. 그러면 의 open neighborhood이다. 그런데 이므로 , 인 nonempty open subset 가 존재한다. 또한 nonempty open set이고 도 dense in 이므로 이다. 여기서 를 고르자. 그러면 의 open neighborhood이고 라는 사실로부터 , 인 nonempty open subset 가 존재한다. 이와 같은 과정을 반복하면 다음과 같은 을 만들었다.

• 는 공집합이 아닌 열린집합이다.
• 모든 에 대하여 은 공집합이 아닌 열린집합이며,
open neighborhood다.
• 모든 에 대하여

또 하나 주목할 것은 라는 사실이다. 이 것이 왜 성립하냐면, for all 이므로 이다. 이것이 보여주는 것은

이라는 소리이며, 이 공집합이 아닌것만 보이면 가 Baire space라는 것을 보인다는 말이다.
이제 경우를 분리해서 증명을 시작하자.

Case 1. is complete metric space

위의 건설과정으로부터 모든 에 대하여 을 만족하는 이 존재한다고 가정할 수 있다. 그러면 모든 에 대하여 을 만족하는 수열 을 생각하면, 이는 코시수열이 된다. 왜냐하면 이라 할 때, 이므로 이 성립한다. 임의로 이 주어진다면, 이때 아르키메데스의 원리에 의하여 을 만족하는 적당한 자연수 이 존재한다. 그러므로 이라 하면 이다. 따라서 은 코시수열이다. 그런데 가 complete metric space이므로 가 존재한다. 임의의 에 대하여 에 있는 수열이다. 그러므로 이므로 이다.

Case 2. is locally compact Hausdorff space

위의 건설과정에서 에서 이 모두 compact set이라 가정하자. 왜냐하면 locally compact Hausdorff space에서는 compact neighorbhood가 local base를 이루기 때문이다. 임의의 에 대하여 이므로 는 finite intersection property를 갖는 closed set들의 모임이다. 에 대하여 라 하면, 이므로 finite intersection property를 갖는다. 그리고 가 compact set이므로 이다. 그러므로 증명이 끝났다.

Baire category theorem에는 다양한 종류의 application이 있다. 함수해석학에서 중요하게 사용되는 성질들을 증명할 수 있다. 간단한 예로는 uniform boundedness principle이다. 이는 Banach-Steinhaus theorem이라고도 불리기도 한다. 이 정리는 pointwise estimate를 갖는 continuous linear operator family에 대해서 global uniform estimate를 주는 정리다.

Theorem (Uniform boundedness principle). Let and be two Banach spaces and let be a family of continuous linear operators from into . Assume that for all . Then
. That is, there is a constant such that

for all and for all .

Proof. 임의의 에 대하여

이라 하자. 가 continuous linear operator이므로 는 closed다. 그러므로 는 closed set in 다. 이제 보이고자 하는 것은 다. 라 하면, 이므로 모든 에 대하여 적당한 자연수 이 존재한다. 이는 임을 보인다. 그런데 는 complete metric space이므로 Baire category theorem에 의하여 이 nowhere dense인 이 존재한다. 이제 를 잡으면 이 존재한다. 그러면 임의의 와 모든 에 대하여

이다. 이로부터 operator norm의 정의에 의해 이다. 에 대한 supremum을 취하면, 증명이 끝난다.

위 정리에 대한 application으로 라고 해서 continuous function이라고 해서 convergent Fourier series를 갖는 것은 아니다라는 걸 보일 수 있다. 그리고 그런 함수들이 어떤 의미로 많다는 걸 보일 수 있다. 그러나 이 글의 목적보다 더 큰 이야기이므로 내용을 차후에 쓰도록 한다.

고등미적분학 1 (또는 해석학1)에서 다음과 같은 함수를 연습문제로 만나봤을 것이다: 인 함수를 다음과 같이 정의하자:

여기서 는 기약분수다. 그러면 이 함수는 모든 유리수점에서 불연속이고, 모든 무리수점에서 연속이다. 이 사실은 아르키메데스의 원리로 나오는 결과다. 이제 역으로 물어보기를, 과연 모든 유리수점에서 연속이고, 모든 무리수점에서 불연속인 함수가 있을까?

Baire Category Theorem에 의하면 이러한 함수는 없다는 걸 보일 수 있다.

Theorem. There is no function such that is continuous at every rational point but not continuous at every irrational point.

Proof. 에서 연속이라는 표현을 조금 다른 언어로 말을 해보도록 하자. 이라 정의하자. 이라는 것과 에서 연속이라는 것과 동치다. 이는 쉽게 보일 수 있다. 이 아이디어로부터 임의의 자연수 에 대하여

라 정의하자. 이제 에서 가 연속인 점이라고 정의를 하면, 다. 이는 에서 연속이라는 것과 동치이기 때문이다. 이제 이 열린집합이라는 것을 보이도록 하자. 을 하나 잡으면, 정의에 의하여 implies 가 존재한다. 이제 보이고자 하는 건 이다. 라 하면, 이 존재한다. 이제 라 잡으면 이고 이는 이다. 따라서 집합의 정의에 의하여 이며 이는 이 열린 집합임을 보인 것이다. 그러므로 -set이다.

이제 본격적으로 증명을 시작하도록 하자. 라 가정하자. -set이므로 -set이고 는 dense set이다. 그런데 -set이다. 은 Baire space이므로 가 모두 dense subset이면 많아야 하나가 -set이다. 이는 전제에 모순이다.

이제 실변수 함수론으로 넘어가보도록 하자. Lebesgue measure space에서 finite measure space에서는 일 때,함수는 임이 잘 알려져있다. 그러나 이라고 는 아님이 잘 알려진 결과다. 예를 들어 이지만 는 아니다. 그럼 이면서 인 함수는 어느정도로 있을까? 어떤 의미로 거의 없다. 이는 다음 정리가 알려주고 있다.

Theorem. Consider with Lebesgue measure. Note that if with , then . Then the set of so that is generic.

Proof. 다음과 같은 집합을 정의하자:

임의의 자연수 에 대하여

라 정의하자.

첫번째로 은 닫힌집합이다. 의 limit point라 하자. such that as 인 sequence가 존재한다. 이 주어졌다고 하자. 그러면 implies 를 만족하는 이 존재한다. 그러므로 임의의 interval 에 대하여 다음과 같은 계산을 통해

를 얻으며, 엡실론의 여지만큼 잘 남겼으므로, 이다. 여기서 는 임의로 택해졌기 때문에, 이다. 또 이면 이다. 왜냐하면 이기 때문이다.러므로 . 그렇기 때문에 t 인 자연수 이 존재하므로 이다. 이는임을 보인 것이다. 이제 모든 에 대하여 임을 보이자. 그런 집합이 없다고 가정하자. 즉 이 nowhere dense이라고 하자. 이제 를 하나 고르면 이 되는 이 존재한다. 에 대하여

이다. 그러므로 이제 가 되도록 를 잘 잡으면, 이다. 그러나 이다. 왜냐하면

인데, 이는 라는 것에 모순이다.

그러므로 라는 소리는 이 generic이라는 것과 같다.

그 외에도 많은 응용이 있을 정도로 Baire Category Theorem은 강력한 응용성을 가진 정리다.

## Holomorphic Injection and the its derivatives

Stein 책의 증명을 웬만해서는 좋아하지만, 몇몇 개의 증명은 너무 말로만 넘긴 느낌이 들어서, 논리를 채워야 하는 경우가 종종 발생한다.
복소변수 함수를 공부하다보면, 실변수 함수와는 다른 성질을 갖는 경우가 종종 발생한다. 대표적인 예가 다음과 같은 경우가 아닐까 싶다.

Theorem. If is holomorphic and injective, then for all .

Proof. Suppose for some . Then note that and are analytic at . So there is such that and for all .
Let . Then for , we note that

By definition of , for all with , we have

So by Rouché’s theorem, and have same number of zeros counting with multiplicities inside .

Write in . Then in . Since , this shows that
where and is holomorphic at and .
So has zeros by definition of and the previous observation. Since and for all , the zeros of are all simple. But is injective, a contradiction.