틀린건 없는데 z0가 특이점이라는 얘기는 없었으니까
z0에서도 해석적이면 int f = 0 (Morera thm)
z0에서 특이점이면 리만 정리 (본문 풀이 그대로)
이라고 쓰는게 더 깔끔하지 않나
ALTa(tladud123)2021-09-27 19:16
답글
ㄱㅅㄱㅅ - dc App
익명(211.215)2021-09-27 19:16
문제도 C가 D내부의 곡선임을 명시를 안했네.. 일단 그렇다 치고
z0가 f의 해석점인 경우와 아닌 경우로 나눠야겠는디 (z0외에서 해석적이라고 해서 z0가 특이점인건 아니니까)
또, 7째 줄에서 z0가 특이점인 경우라 쳐도 제거가능 특이점이니까 해석적이다라고 쓰면 틀림. 단지 z0에서 해석적이도록 f(z0)를 새롭게 정의하여 그 함수를 g라 둘 순 있음
망령(ulckmj)2021-09-27 19:19
답글
ㄱㅅㄱㅅ - dc App
익명(211.215)2021-09-27 19:20
답글
z0에서 해석적인 경우는 너가 한대로 진행
z0에서 비해석적인 경우는 제거가능 특이점이니 로랑급수의 1/z항이 없으므로 유수정리에 의해 0
망령(ulckmj)2021-09-27 19:20
답글
ㄱㅅㄱㅅ - dc App
익명(211.215)2021-09-27 19:21
답글
근데 제거가능인데 비해석적인 경우가 있어? - dc App
익명(211.215)2021-09-27 19:24
답글
고립특이점의 정의가 비해석점이지만 해석적인 빠진근방이 존재하는거라, 그 점은 당연히 비해석점임. 제거가능 특이점은 고립특이점 중 하나라 비해석점임.
하지만 그 제거가능 특이점z0은 f가 z0에서 '해석적이 되도록 새로 f(z0)를 정의할 수 있다' 는게 익히 아는 그 정리임
망령(ulckmj)2021-09-27 19:26
답글
ㅇㅇ 그렇긴한데 제거가능특이점 이다 라고 하면 해석적이라고 생각해도 되지않나 그냥? 자명하게 - dc App
익명(211.215)2021-09-27 19:27
답글
오 그러네 ㄱㅅㄱㅅ - dc App
익명(211.215)2021-09-27 19:29
답글
댓글 합치느라 댓삭한거 일단 여기다 붙여둠
z^2/z는 0에서 해석적이지 않지만 제거가능 특이점이라 z=0에서 따로 정의하면 해석적이 됨.
z^2/z를 0에서 그냥 해석적이라고 치진 않잖어
틀린건 없는데 z0가 특이점이라는 얘기는 없었으니까 z0에서도 해석적이면 int f = 0 (Morera thm) z0에서 특이점이면 리만 정리 (본문 풀이 그대로) 이라고 쓰는게 더 깔끔하지 않나
ㄱㅅㄱㅅ - dc App
문제도 C가 D내부의 곡선임을 명시를 안했네.. 일단 그렇다 치고 z0가 f의 해석점인 경우와 아닌 경우로 나눠야겠는디 (z0외에서 해석적이라고 해서 z0가 특이점인건 아니니까) 또, 7째 줄에서 z0가 특이점인 경우라 쳐도 제거가능 특이점이니까 해석적이다라고 쓰면 틀림. 단지 z0에서 해석적이도록 f(z0)를 새롭게 정의하여 그 함수를 g라 둘 순 있음
ㄱㅅㄱㅅ - dc App
z0에서 해석적인 경우는 너가 한대로 진행 z0에서 비해석적인 경우는 제거가능 특이점이니 로랑급수의 1/z항이 없으므로 유수정리에 의해 0
ㄱㅅㄱㅅ - dc App
근데 제거가능인데 비해석적인 경우가 있어? - dc App
고립특이점의 정의가 비해석점이지만 해석적인 빠진근방이 존재하는거라, 그 점은 당연히 비해석점임. 제거가능 특이점은 고립특이점 중 하나라 비해석점임. 하지만 그 제거가능 특이점z0은 f가 z0에서 '해석적이 되도록 새로 f(z0)를 정의할 수 있다' 는게 익히 아는 그 정리임
ㅇㅇ 그렇긴한데 제거가능특이점 이다 라고 하면 해석적이라고 생각해도 되지않나 그냥? 자명하게 - dc App
오 그러네 ㄱㅅㄱㅅ - dc App
댓글 합치느라 댓삭한거 일단 여기다 붙여둠 z^2/z는 0에서 해석적이지 않지만 제거가능 특이점이라 z=0에서 따로 정의하면 해석적이 됨. z^2/z를 0에서 그냥 해석적이라고 치진 않잖어