방명록
-
달님 2009/12/17 00:35 수정/삭제 댓글쓰기
Basic Analysis 다운 받아서 공부 하려고 했는데 비밀번호가 있다고 하는데 못받아 보나요?
제가 수학 공부를 하는데 여기 자료가 많은 도움을 주고 있어서요.. 감사합니다. -
hero 2009/12/09 21:43 수정/삭제 댓글쓰기
안녕하세요.
질문이 있어서 들렸습니다. 복소함수에 관한 내용인데요
1.상수함수가 아닌 F(z)가 a>0, b>0에서 F(z+a)=F(z), F(z+bi)=F(z)를 만족할때 F(z)가 0<x<a 0<y<b에서 해석하지않음을 보여라(Liouville`s 정리이용)
2.If we choose that branch of (1+z^3)^1/2 having the value 1 for z=0 show that
1/(1+z^3)^1/2=1-(1/2)z^3+(1*3/2*4)z^6-(1*3*5/2*4*6)z^9+... for |z|<1
3.Liouville`s를 인테그랄|z|=R {(f(z)dz)/(z-a)(z-b)} 를 이용하여 증명하라
|a|<R |b|<R 이고 R이 무한대로 갈때 -
-
이정훈 2009/11/27 00:26 수정/삭제 댓글쓰기
저만 그런가봐요 아무도 이런 애긴하질않네요
몇 몇 파일들이 완전히 받아지지않습니다
받은 파일을 열어보면 손상이되었다고 합니다
저희 집에 인터넷 선로 문제인지...-
엘리스 2009/11/27 10:09 수정/삭제
사용하는 브라우저에서 UTF-8을 제대로 지원하지 않는 경우 파일 전송이 잘 되지 않을 때가 있습니다. 브라우저를 다른 것으로 바꾸어보세요.
Acrobat Reader의 버전이 낮아서 그런 메시지가 나올 수도 있습니다. Acrobat Reader를 더 높은 버전으로 설치해보세요.
-
-
실라칸스 2009/11/20 20:44 수정/삭제 댓글쓰기
아래 댓글 감사합니다. 많은 도움이 되었네요.
한 가지 더 궁금한게 있는데요,
L^p공간을 공부할 때 1<=p<q인 경우 L^q는 모두 L^p에 포함되는 것으로 알고 있거든요. 즉 모든 L^2함수는 L^1함수가 되는데,
푸리에 변환을 공부할 때 새로이 푸리에-플랑슈렐 변환을 도입하는데, 푸리에 변환은 L^1함수인 경우 가능한데 문제는 모든 L^2함수가 L^1이 아니므로 푸리에-플랑슈렐 변환을 도입해야 한다고 하네요.
위에서는 L^2는 L^1에 포함된다고 했는데 왜 뒤에가서는 L^2가 L^1에 포함되지 않는다고 하는건가요?-
엘리스 2009/11/20 23:37 수정/삭제
제가 알기로는, 1 ≤ p < q ≤ ∞일 때 Lp 공간과 Lq 공간의 포함관계는 다음과 같습니다(Wikipedia):
(1) Lq(S, μ) is contained in Lp(S, μ) iff S does not contain sets of arbitrarily large measure.
(2) Lp(S, μ) is contained in Lq(S, μ) iff S does not contain sets of arbitrarily small measure.
푸리에 변환을 깊이 공부하지 않아서 잘 알지는 못하지만, 이러한 이유 때문이라고 생각합니다.
-
-
카모마일
2009/11/20 11:57
수정/삭제
댓글쓰기
안녕하세요~! 처음으로 글을 남겨요~
앨르스 프로젝트를 살펴보다가
방명록에 많은 분들이 질문을 하셨길래 ~
저도 갑자기 생각나서 여쭈어 보는데요~
컴팩트 교집합 폐집합은 무조건 폐집합인가요~?-
엘리스 2009/11/20 17:03 수정/삭제
유클리드 거리공간에서는 성립하지만 일반적인 위상공간에서는 성립하지 않을 수 있습니다.
반례. 집합 X = {1, 2, 3}에 위상 T={φ, {1}, {1, 2}, X}가 주어졌다고 하자. K = {1, 2}는 컴팩트이지만 폐집합은 아니고 개집합이다. F = {2, 3}은 폐집합이다. K ∩ F = {2}인데 {2}는 폐집합이 아니다.
-
-
리스트 2009/11/14 05:36 수정/삭제 댓글쓰기
학교에서 방학 때 졸업하신 선배가 와서 해석학 강의를 해주신다고 하던데
교수님이 말씀하시길, 학부 때 직접 책을 만들었다고 하더라고요. 집합론, 해석학 등
그 말듣고 눈치 챘어요 앨리스님이라는 것을 ㅎㅎ
저는 복수전공자라 듣지 못하겠지만.. 정말 수학교육과 부럽네요ㅠㅠ
후배들을 위한 사랑이 정말 멋지십니다^^-
엘리스 2009/11/18 22:37 수정/삭제
좋은 기회를 갖게 되어 저도 참 기쁘게 생각합니다.
교수님께 말씀드려보세요. 복수전공자도 들을 수 있을 지도 몰라요.
(대상은 제가 결정하는 것이 아니거든요^^)
-
-
입실론 델타 2009/11/13 15:02 수정/삭제 댓글쓰기
혹시 극한의 정의를 입실론 델타를 이용해 증명한 글이 있으신가요?
대학 강의를 듣는데 이부분이 너무 햇갈려서 명확한 설명이 필요한데
자료란 자료를 다 찾아봐도 보이질 않네요ㅠ
먼저 방명록에 글쓰신 분이 여기서 우연히 본 증명법이 많은 도움이 됬다고 해서
혹시라도 도움을 얻울수 있을까 해서 글남깁니다 ^^-
엘리스 2009/11/18 22:35 수정/삭제
"극한의 정의를 입실론 델타를 이용해 증명한다"라고 하셨는데, 정의는 "증명"하지 않습니다. 다만 극한의 정의를 "설명"한 자료를 알려드릴 수는 있습니다.
맛있는 해석학: http://www.designerellis.com/tc/ap/3
다운로드 후 62쪽, 101쪽을 보면 수열의 극한과 함수의 극한이 왜 그렇게 정의가 되어 있는지 설명되어 있는 것을 볼 수 있습니다. 참고하세요.
-
-
실라칸스 2009/11/12 13:46 수정/삭제 댓글쓰기
안녕하세요 엘리스님,
푸리에 급수를 공부하다가 질문이 하나 생겼는데요,
Dirichlet Kernel구하는 부분인데
sum_{k=1}^n cos kx = (sin(nx/2)cos(n+1)x/2)/sin(x/2) = -1/2 + (sin(n+1/2)x)/2sin(x/2)죠.
첫번째 등식은 디리클레 핵을 구할 때 실수부분과 허수부분을 일치시키는 과정에서 나오는건 알겠거든요. 그런데 문제는 두번째 등식이 어떻게 나왔는지가 궁금하네요. 이건 디리클레 핵 자체의 유도라기 보다 그냥 sin과 cos을 이용한 단순계산 같은데 왜 저렇게 쓸 수 있는지 잘 이해가 안되네요.
감사합니다.-
엘리스 2009/11/18 22:29 수정/삭제
s_n (x) = sum _ {k=1} ^n cos(kx) 라고 하고 양변에 2 sin (x/2) 를 곱하면
(2 sin (x/2)) s_n (x) = sum 2 sin(x/2) cos(kx)
= sum[sin(k + 1/2)x - sin(k - 1/2)x]
= sin(n + 1/2)x - sin(x/2)
를 얻습니다. 양변을 2 sin(x/2) 로 나누면 원하는 등식을 얻습니다.
-
-
-
엘리스 2009/11/18 22:19 수정/삭제
그 글은 저의 주관적인 생각이 많이 들어가 있어서, 더 생각해보고 다듬어서 다시 작성하려고 합니다. 다른 분의 블로그에 스크랩된 글이 있습니다: http://wiessen.tistory.com/20
-
-
수렴하는 임의의 수열의 수렴성을 보존하는 함수는 연속함수이다?????? 2009/11/06 09:40 수정/삭제 댓글쓰기
수 f : D → E 가 a∈D 에서 연속일
필요충분조건은 a 에 수렴하고 모든 항이 D 에 속하는 임의의 수열 < a n > 에 대하여 < f ( a n )> 의 극
한이 f ( a ) 에 수렴하는 것이다.
이거잖아요?
그런데 an이 c로 수렴하고, f(an)도 수렴하지만 f(an)이 f(c)로 안갈수도 있잖아요.?
그런경우 수렴성(수렴하는 성질)을 보존함에도 불구하고 f가 연속이라고 말할수 없지 않나요?-
엘리스 2009/11/06 22:18 수정/삭제
한 점에서의 연속성을 따질 때에는 말씀하신 내용이 맞지만 정의역 전체에서의 연속성을 따질 때에는 {f(a_n)}의 수렴성만으로도 연속을 보장할 수 있습니다. 증명은 다음과 같습니다.
명제. f : D → E가 D에서 연속일 필요충분조건은 D에 속하는 임의의 수열 {a_n}에 대하여 {f(a_n)}이 수렴하는 것이다.
증명. f가 연속일 때 {f(a_n)}이 수렴하는 것은 생략하고 그 역만 증명하겠다. 즉 "D에 속하는 임의의 수열 {a_n}에 대하여 {f(a_n)}이 수렴하면 f는 연속이다"를 증명하겠다. 그러나 이 명제를 직접 증명하는 대신 대우 명제를 증명하겠다.
f가 D에서 연속이라는 명제의 부정은 f가 D의 한 점에서 불연속인 것이 된다. f가 a∈D에서 불연속이라고 가정하자. 그러면 적당한 양수 ε이 존재하여 임의의 양수 δ에 대하여 |x-a|<δ임에도 불구하고 |f(x)-f(a)|≥ε인 점 x가 존재한다. 임의의 자연수 n에 대하여 1/n도양수이므로 |x_n - a|<1/n 임에도 불구하고 |f(x_n)-f(a)|≥ε 인 점 x_n이 존재한다. 이때 {x_n}은 a에 수렴하지만 {f(x_n)}은 수렴하지 않는다. 한편 a_n = x_n (n이 홀수), a_n = a (n이 짝수)라고 하면 {a_n}은 a에 수렴하지만 {f(a_n)}은 어떤 값에도 수렴하지 않는다.
-
-
mmkch
2009/11/04 09:06
수정/삭제
댓글쓰기
안녕하세요 ~^^ 처음 글을 남깁니다~
해석학 명제중에서요~
함수열 fn:[0,1]--->R에 대해 무한급수(시그마fk(x)가 평등수렴하면 절대수렴한다.라는 명제가
거짓이라고 하는데 어떤방법으로 증명을 해야하나요?ㅠㅠ-
엘리스 2009/11/06 22:11 수정/삭제
안녕하세요~^^ 처음으로 답글을 납깁니다~
f_n (x) = (-1)^n / n 이라고 정의하면 ∑f_n 은 상수함수열로서 평등수렴하지만 절대수렴하지는 않습니다.
-
