위너와 통계역학 (글 수정했음)
2009.05.02 10:55
지난 시간에는 제 준비가 충실하지 못한 상태에서 모임이 시작되었는데, 그나마 프로젝터마저 말썽이어서 고생이었습니다.
처음부터 칠판을 썼더라면 하는 생각이... 하여튼 기심이라고나 할까요.
지난 모임에서는 주로 통계역학 이야기를 했습니다. 통계역학이라는 것이 확률통계의 방법을 물리학에 원용하는 아주 특이한 분야인데, 이것이 사이버네틱스와 연결되리라고는 흔히 생각하지 못하는 모양입니다. 원래 통계역학은 역사적으로 기체의 열역학적 성질(그러니까 부피, 압력, 온도 같은 것)을 더 미시적인 수준에서 설명하려던 것이었죠. 다시 말해서 기체가 알고 보면 모두 아주아주 작은 입자들(흔히 분자molecules라고 합니다만)로 이루어져 있다고 가정하고, 거시적인 수준에서 드러나는 기체의 성질이 사실상 그 입자들이 서로 충돌하고 에너지를 주고받고 하면서 우리의 관측망 안에 드러나는 것이라고 보는 것입니다. 그 아주아주 작은 입자들이 무지무지 많기 때문에 결국 확률통계의 방법을 사용하지 않을 수 없는 것이죠.
하지만 넓게 보자면 미시적인 것들에 대해 확률통계적 방법을 적용하여 거시적인 주장들을 끌어내는 것은 거의 모든 대상에 대해 가능한 일입니다. 그런 면에서 사이버네틱스가 통계역학을 출발점으로 삼은 것은 현명한 일이었을 것 같기도 합니다.
2장에서 위너가 주로 얘기하는 것은 소위 에르고딕 가설입니다. 요즘은 이 분야가 하나의 연구영역으로 자리를 잡아서 아예 '에르고딕 이론'이라고 부르기도 합니다. 에르고딕ergodic이란 말을 처음 만든 것은 루트비히 볼츠만이었습니다. 단순하게 말하자면 확률통계의 방법을 기쳬분자들의 모임에 적용해도 된다는 근거가 무엇인지를 찾는 과정에서 이런 개념이 등장했습니다. 약간의 전문용어를 동원해서 말하자면, 에르고딕 가설은 시간평균과 공간평균이 같다고 가정하는 것입니다. 여기에서 공간평균은 사실 위상평균을 가리킵니다.
위너가 2장에서 거론하는 두 거인 중 한 명이 윌러드 깁스(Josiah Willard Gibbs)인데, 깁스는 위상평균과 달리 앙상블평균이란 개념을 만들었습니다. 위상평균과 앙상블평균은 개념적으로는 다르지만, 실제로는 언제나 같게 되어 있습니다. (정확하게 말하면, 정준분포나 대정준분포에서 하는 얘기와 미소정준분포에서 하는 얘기가 다르기 때문에 위상평균과 앙상블평균에 차이가 있을 수 있지만, 앙상블의 개념 자체를 미소정준 앙상블, 정준 앙상블, 대정준 앙상블 등과 같이 유연하게 사용하면, 그런 차이도 없앨 수 있습니다. 앙상블(ensemble) 개념에 대해 더 상세한 것은 가령 위키피디어의 항목참조. 여기를 클릭)
문제는 그 위상평균=앙상블평균이 과연 시간평균과 같을 것인가 하는 점입니다. 제가 학부 때 이 개념을 배울 때에만 해도 확률통계를 적용하기 위해 이들을 같다고 가정하는 것에 지나지 않는다고 생각했는데, 위너의 책을 보면서, 그리고 사실은 양자역학의 서울해석을 머리 속에 품고 있다 보니, 이게 단순한 가정이 아님을 새삼 깨닫게 됩니다.
위상평균=앙상블평균은 이론적이고 개념적이고 수학적인 것이고, 소위 '상태서술' 내지 (칸트의 용어로 말하면) 지성(Verstand)영역에 속하는 것입니다. 하지만 시간평균은 실험적이고 실제적이고 경험적인 것이고, 소위 '사건서술' 내지 (칸트의 용어로 말하면) 감성(Sinnlichkeit)영역에 속하는 것입니다. 이 둘이 언제나 같다는 보장은 없습니다. 볼츠만이 이 둘이 같다고 가정한 것은 그렇게 해야만 통계역학에서 사용하는 확률통계적 방법이 정당화될 수 있을 터였기 때문입니다.
흥미롭게도 이 가정은 원론적으로 성립하지 않는다는 것이 수학자들의 노력으로 밝혀집니다. 위너는 이 얘기는 고스란히 빼 놓고 있습니다만, 그 뒤에 버코프(Birkhoff), 코프만(Koopman), 폰노이만(von Neumann) 등이 유사에르고딕 가설을 증명하는 과정을 소개함으로써, 결국은 실패담이 아니라 성공담을 말하게 됩니다. 그리고 그 과정에서 위너가 2장에서 거론하는 두 번째 거인, 앙리 르벡(Henri Léon Lebesgue)이 등장합니다.
르벡은 수학자였고, 적분이론을 아주 세련되게 다듬은 사람입니다. 르벡 적분과 르벡 측도에 대해서는 제가 지난 시간에 별로 얘기를 하지 않았는데, 다음 시간에 시간이 허용되는 한도 안에서 얘기를 더 풀어볼 생각입니다. 그러기 위해서는 도대체 적분이란 게 무엇인가부터 상세하게 얘기하는 게 좋겠습니다. 적분이 들어오는 것은 확률통계의 방법에서 '더하기'가 필요하기 때문인데, 그 적분이 상당히 힘들다는 데에서 흥미로운 얘기가 펼쳐집니다.
자, 여전히 왜 사이버네틱스 2장에서 통계역학을 얘기하고 있는지 제대로 설명을 안 했는데, 일단 여기에서 멈추고 다시 시간이 될 때 이어 보겠습니다. 내일 학술대회 논문발표 때문에 마음에 여유가 하나도 없는 형편이거든요. 늘 이렇게 사네요...^^
날씨~ 좋~~습니다.
댓글 15
-
엘리엇
2009.05.07 20:26
-
自然
2009.05.07 22:21
ㅋ 지난 시간에 제가 위상평균, 공간평균, 시간평균 얘기를 주루룩 하긴 했습니다만, 엘리엇님이 질문을 하시는 것으로 보면, 분명히 제가 제대로 못 한 게 틀림없습니다. 다음 시간에 제대로 (정말 제대로!!!) 다시 상세하게 설명할 작정입니다.
지난 시간에는 괜히 애꿎은 빔프로젝터에 시간만 뺏기는 바람에 정작 해야 할 것은 놓친 것 같습니다. -
엘리엇
2009.05.08 13:36
전공자들은 그냥 넘어갈 것을 귀찮게 해드리는 것 같아
지가 더 죄송합니다. 다음에는 프로젝터가 좀 말을 들었으면
좋겠네요. 써비스를 받아봐야 되는건 아닌지 모르겠네요 헐. -
백두대간
2009.05.08 15:08
아~ 정말정말 흥미로운 이야기들이 오갔겠다는 생각이 절로 들어서, 낼모레 시험 두개가 있음에도 불구하고 문득 이렇게 글을 쓰게 되네요.(길게는 못 쓸 거 같다는--;) 먼저 말씀드릴 것은 시간평균과 공간평균은 절대로 초보적인 개념이 아니므로 전혀 부끄러워하실 필요가 없다는 겁니다^^
일단 엘리엇 님의 질문에 초점을 맞추어서... 쉽게(너무 단순화해서 사실 개념적으로 혼란의 여지가 있습니다만) 주사위 두 개를 생각해 봅시다. 주사위 두 개를 동시에 던져서 나오는 두 눈의 합을 이 시스템의 '에너지'라고 하고, 우리는 각 눈의 수는 모르며 단지 두 눈의 합 즉 에너지만을 안다고 합시다. 그럼 그 에너지는 2부터 12까지 11가지가 되겠죠. 여기서 우리의 관심사는 어떤 에너지값이 가장 확률적으로 높게 나타날까?입니다.
뭐, 이 경우는 깊이 생각할 것도 없이, 에너지 7이 가장 확률적으로 높을 겁니다. 왜냐하면 7을 만드는 두 눈의 합의 배열이 여섯가지 - (1,6), (2,5), (3,4), (4,3), (5,2), (6,1) - 로 제일 많으니까요. 그리고 이 에너지 7의 상태를 통계물리에서는 '평형 상태'라 부릅니다. 이거 정말 당연한 이야기입니다.
그런데 이 당연한 얘기를 엄밀하게 따지자면 당연하지 못하게 받아들이는 사람들이 있으니, 바로 물리학자들과 수학자들입니다. 문제는 '어떻게 우리가 실제로 에너지 값을 얻는가?'에 있습니다. 어떻게 얻냐구요? 당연히 주사위를 던져서 얻죠. 하지만 좀 더 생각해 보면 주사위를 던지는 방법도 두 가지가 있음을 알 수 있습니다.
첫번째는 주사위 한 쌍을 무지무지하게 많이 던져 보는 것입니다. 이렇게 해서 얻은 모든 값들을 던진 횟수로 나누는 것을 '시간 평균'이라고 합니다. 좀 더 풀어 말한다면 '에너지(예컨대 6)의 시간에 대한 평균'이라고 합니다. 두번째는 똑같은 주사위 한 쌍을 무지무지하게 많이 마련해서, 동시에 던지는 것입니다. 이렇게 해서 얻은 모든 값들을 주사위 쌍의 갯수로 나누는 것을 '앙상블 평균'이라고 합니다. 좀 더 풀어 말한다면 '에너지(예컨대 6)의 앙상블에 대한 평균'이 되겠죠. 여기서 주사위 한 쌍 한 쌍을 '앙상블'이라고 부르는 것입니다. (※자연님께서도 말씀하셨지만 여기서 앙상블은 볼츠만이 생각한 개념이 아니라 깁스가 도입한 개념이지만 어차피 같게 되기 때문에 죽 앙상블을 가지고 말씀드리겠습니다.)
아니 이것도 당연히 같지 않겠느냐고 생각하신다면 그것이야말로 정상입니다. 하지만 이것을 정상으로 여기지 않는 사람들이 바로 수학자들과 물리학자들입니다. 왜 이 두 가지 방법을 구분하는가가 바로 문제의 포인트인 것이죠. 두 가지 방법 중에서 현실적으로 가능한 방법은 어떤 것일까요? 당연히 전자 즉 '시간 평균'입니다. 주사위 무한개를 마련해서 동시에 던질 수는 없는 노릇이죠 ㅋ 우리가 실험을 해서 얻는 모든 물리량은 바로 '시간 평균'에 의해 얻어지는 값들입니다. 그러나 이 방법은 우리가 얻는 값들이 유한할 수밖에 없다(뭐 암만 반복 측정한다고 하더라도 늙어 죽을 때까지 할 수는 없는 노릇이니까요)는 단점을 가지고 있습니다.
반면 이론적으로 완벽한 방법은 어떤 것일까요? 후자 즉 '앙상블 평균'입니다. 여기서 완벽하다는 말의 의미는 '수학적으로 정확하게 구할 수 있다'는 의미입니다. 즉 앙상블 평균은 시간 평균과는 달리 대표값들이 원리적으로 무한하다는 장점을 가지고 있습니다. 우리의 볼츠만 할아버지께서 평형 상태와 엔트로피를 연결짓는 업적을 세우셨을 때 그는 '앙상블 평균(실제로는 위상공간 평균)'을 사용하였습니다. 하지만 실제로 실험을 했을 때 우리는 불가피하게 시간 평균을 사용할 수밖에 없고 따라서 볼츠만은 '시간 평균은 앙상블 평균과 같다'는 가정을 하기에 이르렀던 것입니다. 이것은 수학의 견지에서 본다면 분명한 비약입니다. 좀 말도 안 되는 딴지를 건다면, 우리나라 청소년 십만 명의 키를 재서 나온 평균키를 우리나라 청소년 전체의 평균키와 동일시하는 것과 같은 우(?)를 범하는 것이니까요.(물론 앙상블 평균은 청소년의 수가 무한할 때 정확해진다는 것을 상기해야 합니다.)
뭐 이래저래 해서 이렇게 된 건데요(이거 글이 또 길어졌네요--;) 저 주사위의 예를 끊임없이 생각해 보시면 다 이해가 되실 겁니다. 정리를 하자면, 시간 평균은 주사위를 여러 번 굴려서 얻는 평균이고, 공간평균(=위상공간평균=앙상블평균)은 무지 많은(정확하게는 무한개의) 주사위를 굴려서 얻는 평균이라는 겁니다. 에르고딕 가설은 볼츠만이 처음 정식화한 것이고, 그 전에는 물론 시간 평균과 위상공간 평균이라는 개념은 있었지만 이 둘이 같은지 다른지에 대한 관심은 별로 없었습니다. 에르고딕 가설이 중요하게 부각되는 것은 그것이 시간 평균(즉 유한한 범위에서의 값)을 앙상블평균(즉 무한한 범위에서의 값)과 동일시하기 때문에, 그것이 타당한지 아닌지에 대한 논란이 일게 되었다는 뜻입니다.
아 그리고 한 마디만 더 하자면, 이건 정말로 통계역학의 기초에 대한 역사적인 스토리이며 배경지식에 불과하다는 사실입니다. 싸이버네틱스를 이해할 때 크게 문제가 되지는 않을 거니까 걱정은 안 하셔도 될 듯 합니다^^ -
백두대간
2009.05.08 15:17
아참, 또 하나 정말 제 흥미를 끄는 것은 바로 자연님이 말씀하신, 양자역학의 서울해석에 따른 통계역학 개념들의 정리인데요, 특히나 앙상블 평균과 시간 평균 개념의 차이를 칸트의 지성과 오성 개념에 빗대어 말씀하신 것은 정말 흥미롭네요. (제가 요새 철학책을 못 본 지 백만년쯤 된 거 같아서 칸트고 뭐고 하나도 기억나지 않습니다만 ㅠ.ㅠ) 나중에 시간 나시면 더 자세하게 말씀해 주시거나 논문을 소개해 주실 수는 없겠는지요?
아, 이런, 가장 중요한 얘기를 빼먹었네요... 모두들 건강하게 계시죠? 그 때가 그립습니다. -
엘리엇
2009.05.09 00:06
역쉬~ 해결사! 지금 너무 읽고 싶은데 시간이 없네요.
읽고 다시 뭔가 흔적을 남기겠습니다. 건강하세요^^ -
엘리엇
2009.05.09 19:26
분명하진 않지만 뭔가 생각을 옮겨갈 발판은 마련된 것 같습니다
바쁘더라도 종종 들러서 백두대간님의 전공 얘기도 좀 섞어서
글 좀 풍성하게 남겨 주시면 생각에 많은 도움이 되겠습니다.^-^ -
自然
2009.05.11 15:56
백두대간님, 바쁜 와중에 이렇게 훌륭하게 코멘트를 해 주시다니, 고맙습니다. 시험은 잘 치르고 계신가요? ^^
사실 에르고딕 가설에 대해 저의 고민이 충분하지는 않았는데, 이번 기회에 이 생각을 잘 정리해서 논문으로 만들어야지 하고 결심하고 있답니다. 칸트 얘기는 제 독창적인 생각은 아니고, 장회익 선생님께서 작년 가을 학술진흥재단에서 주최한 석학특강에서 얘기하신 것입니다. 그 뒤에 다시 칸트를 읽어보니 정말 그럴싸하더라구요. 다만 굳이 말하면 카시러 계열의 신칸트주의적 해석에 더 가까울 것 같다는 것이 제 생각입니다. -
스퀘어원
2009.06.12 14:54
저는 물리학을 전공하고 철학에 관심이 많은 사람입니다.
<양자역학의 서울해석>에 대한 개략적인 소개를 얻을수 있는지요?
-
自然
2009.06.12 23:03
스퀘어원님/ 물리학을 전공하고 철학에 관심이 많다고 하시니, 저와 비슷하신 것 같습니다.
7월중에 양자역학의 서울해석 강좌를 계획하고 있습니다. http://www.greenacademy.or.kr/xe/2366#1 참조
양자역학의 서울해석은 양자역학의 해석에서 나타나는 여러 난점들을 극복하면서 인식 일반의 문제에 접근할 수 있는 좋은 틀이라 생각하고 있습니다. 다만 완성된 해석이라기보다는 앞으로 더 많은 것을 채워나가야 할 연구틀에 더 가깝습니다.
-
스퀘어원
2009.06.17 11:59
궁금해서 그러는데요, 양자역학의 서울해석은 양자역학의 구조적 문제가 중심주제인가요, 아니면 인식의 문제가 중심주제인가요? 그리고 부암동 공부방의 약도는 어디에서 볼수 있는지요?
-
自然
2009.06.17 13:12
아주 중요한 질문을 하셨네요. 양자역학의 서울해석은 양자역학의 구조적 고찰을 통해 인식의 문제를 해결하려는 시도입니다. 그래서 처음에는 '동역학적 이론구조'라고만 불렀었습니다. 점차 자신감을 얻어가게 되면서, 조심스럽게 '서울해석'이라고 따옴표를넣어 불렀는데, 주창자이신 장회익 선생님께서 강의시간에 다소 농담처럼 그렇게 부른 것이었습니다. 하지만 이후에 굳이 이 이름을 피할 필요도 없겠다는 생각이 들었습니다.
부암동 공부방 약도는 녹색아카데미 소개에 있어야 하는데, 지금 보니 없네요. 작년에 홈페이지에 문제가 생기면서 이전에 수 년을 쓰던 홈페이지에 접근이 안 되고 있는데, 거기에는 잘 소개되어 있던 약도가 아직 없나 봅니다. 곧 다시 만들어질 것입니다. 위치는 지하철 3호선 경복궁역에서 내려 버스를 타고 대여섯 정류장 더 가면 부암동 동사무소(주민센터)에서 내리면 걸어서 5분 정도 거리에 있습니다.
-
황
2009.06.17 16:54
예전에 올려져 있던 지도입니다. 필요한 정보만 담아서 그려볼 생각이었는데 빨리 해야겠네요.
우선 이거라도.. ^^;
-
自然
2009.06.19 00:30
황님~ 최고!!! 고맙습니다~ -
스퀘어원
2009.06.19 09:09
지도 감사합니다. ^^
번호 | 제목 | 글쓴이 | 날짜 | 조회 수 |
---|---|---|---|---|
23 | 생명철학 공부모임을 다시 시작해 볼까요? ^^ | 自硏 自然 | 2013.01.22 | 3470 |
22 | 마지막 모임 24일 7시 | 自然 | 2009.06.22 | 9502 |
21 | 다음 수요일(6월 10일)엔 꼭 모이죠~ [2] | 自然 | 2009.06.05 | 9502 |
20 | 이번 모임 27일 7시 [12] | 自然 | 2009.05.25 | 9072 |
19 | 5월 13일 모임 연기 [2] | 自然 | 2009.05.13 | 7161 |
» | 위너와 통계역학 (글 수정했음) [15] | 自然 | 2009.05.02 | 8601 |
17 | 질문과 사족 [5] | 엘리엇 | 2009.04.27 | 6942 |
16 | 29일 모임 [3] | 自然 | 2009.04.25 | 6723 |
15 | 후생유전학(epigenetics) [2] | 自然 | 2009.04.09 | 8969 |
14 | [책 소개] 기계적 생명의 매력: 사이버네틱스, 인공생명, 새로운 인공지능 | 自然 | 2009.04.02 | 9355 |
13 | 강독 일정 (날짜 포함) [5] | 自然 | 2009.04.02 | 6869 |
12 | 오늘 드디어 사이버네틱스 시작했습니다 [2] | 自然 | 2009.03.26 | 8611 |
11 | 사이버네틱스 강독모임은 3월 25일(수) 7시에 [9] | 自然 | 2009.03.22 | 7305 |
10 | [제안] 앞으로 사이버네틱스 강독모임 얘기를 [2] | 自然 | 2009.03.18 | 7189 |
9 | 창조적 진화는 잠시 중단합니다. [5] | 알바 | 2009.03.17 | 6996 |
8 | 노버트 위너의 사이버네틱스 강독 계획 [14] | 自然 | 2009.03.16 | 7466 |
7 | 사이버네틱스란? (백과사전 항목) [1] | 自然 | 2009.03.12 | 7506 |
6 | 다음 모임은 3월 16일(월) 7시 30분! [6] | 自然 | 2009.03.07 | 6976 |
5 | 위너의 사이버네틱스 복사하실 분? [9] | 自然 | 2009.02.28 | 7613 |
4 | 26일은 다 힘드신가 보군요 [13] | 自然 | 2009.02.26 | 7613 |
그냥 이것이 싸이버네틱스를 설명하는 과정 중이라는 사실 만으로도 멋지게 들립니다. 하지만 내용없는 느낌일 뿐이지요ㅜㅜ 그러고 보면 싸이버네틱스가 뭐하는 학문인지도 모르겠네요. 앞으로 해나가면서 알려나? 진짜 궁금한 것은 -이것 역시 초보적인 것이라서 묻기도 부끄러운데-시간평균과 공간평균이 뭔지요? 그리고 에르고딕가설 이전에는 어땠기에 이둘이 같다는 것이 중요하게 부각되나요? 위상공간은 관심있는 대상계의 운동을 기술하는 공간이라고 알고 있는데, 위상평균은 또 무엇인지 궁금 답답 합니다^^ 아마도 평균이라는 말이 들어갔으니 통계역학과 관련되었다는 느낌은 오는데...