|
이산수학 Discrete Mathematics |
||
|
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px; word-break: keep-all" |
이론 | |
| <colbgcolor=#3CC> 기본 대상 | 수학기초론( 수리논리학 · 집합론) · 수열 · 조합 · 알고리즘 · 확률 | |
| 다루는 대상과 주요 토픽 | ||
| 수열 | 등차수열( 뛰어 세기) · 등비수열 · 계차수열 · 조화수열 · 귀납적 정의( 점화식) · 급수 · 규칙과 대응 · 규칙 찾기 · 피보나치 수열 · 읽고 말하기 수열 · 생성함수 | |
| 조합 | 경우의 수( /공식) · 순열( 완전 순열 · 염주 순열) · 치환 · 분할( 분할수) · 최단거리 · 제1종 스털링 수 · 제2종 스털링 수 · 카탈랑 수 · 벨 수 · 라흐 수 · 포함·배제의 원리 · 더블 카운팅 · 조합론 | |
| 그래프 | 수형도(트리) · 인접행렬 · 마방진 · 마법진 · 한붓그리기( 해밀턴 회로) · 쾨니히스베르크 다리 건너기 문제 | |
| 기타 | P-NP 문제미해결 · 4색정리 · 이항정리( 파스칼의 삼각형) · 이산 푸리에 변환 · 비둘기 집의 원리 · 상트페테르부르크의 역설 · 투표의 역설 · 에르고딕 가설미해결 · 콜라츠 추측미해결 · 시행착오 ( 예상과 확인) · 불 논리 · 브라에스 역설 | |
| 관련 문서 | 논리학 관련 정보 · 수학 관련 정보 · 컴퓨터 관련 정보 · 틀:수학기초론 · 틀:통계학 · 틀:이론 컴퓨터 과학 | }}}}}}}}} |
|
'''
열역학 ·
통계역학 ''' |
|||
|
{{{#!wiki style="margin:0 -10px -5px; min-height:calc(1.5em + 5px); word-break:keep-all" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin:-6px -1px -11px" |
기본 개념 | <colbgcolor=#FFF,#111><colcolor=#000,#fff> 열역학 법칙{ 열역학 제1법칙( 열역학 과정) · 열역학 제2법칙( 엔트로피)} · 질량 보존 법칙 · 에너지 · 물질 · 온도( 절대영도) · 압력 · 열( 비열 · 열용량) · 일( 일률) · 계( 반응계 · 고립계) · 상 · 밀도 · 기체 법칙{ 보일 법칙 · 샤를 법칙 · 게이뤼삭 법칙 · 아보가드로 법칙 · 이상 기체 법칙( 이상 기체)} · 기체 분자 운동론 | |
| 통계역학 | 앙상블 · 분배함수 · 맥스웰-볼츠만 분포 · 페르미-디랙 분포 · 보스-아인슈타인 분포 · 맥스웰-볼츠만 통계 · 페르미-디랙 통계 · 보스-아인슈타인 통계 · 페르미온 응집 · 보스-아인슈타인 응집 · 복잡계( 카오스 이론) · 흑체복사 · 브라운 운동 · 역온도 · 위상 공간 | ||
| 열역학 퍼텐셜 | 내부 에너지 · 엔탈피 · 자유 에너지( 헬름홀츠 자유 에너지 · 깁스 자유 에너지) · 란다우 퍼텐셜 · 르장드르 변환 | ||
| 응용 및 현상 | 현상 | 가역성 · 화학 퍼텐셜 · 상전이 · 열전달{ 전도( 열전도율 · 전도체) · 대류 · 복사} · 판데르발스 힘 · 열처리 · 열량( 칼로리) · 네른스트 식 · 물리화학 둘러보기 | |
| 열기관 | 내연기관 · 외연기관 · 열효율( 엑서지) · 열교환기( 히트펌프) · 카르노 기관 · 영구기관 · 열전 소자 | ||
| 관련 문서 | 화학 둘러보기 · 스털링 근사 · 전자친화도 · 이온화 에너지 · 응집물질물리학 · 고체물리학 · 기계공학 · 화학공학 · 정보이론 · 맥스웰의 악마 · 볼츠만 두뇌 · 에르고딕 가설 · 브라질너트 효과 | }}}}}}}}} | |
1. 개요
어느 열역학계의 매우 긴 시간 평균(Time average)이 곧 공간 평균(Space average)과 같을 것이라는 가설이다. 이 성질 자체는 간단히는 "에르고딕성이 성립한다"라고 표현한다. 즉, 모든 체계가 에르고딕성을 가지고 있다는 것이 가설의 내용이다. 이 분야를 연구하는 수학 분야를 에르고딕 이론(Ergodic Theory)이라고 한다.에르고딕성을 설명할 때 빠지지 않고 나오는 비유가 당구대 비유다. 일명 "역학적 당구(dynamical billiards)"로, 수학자 야코프 시나이(Yakov Sinai)가 1963년 도입한 개념으로 유명하다.[1] 당구대 위에서 어떤 당구공이 등속으로 무한히 굴러간다고 생각해 보자. 당구대 벽이 당구공을 에너지 손실 없이 완전 반사시킬 경우, 어떤 당구대를 가져오더라도 당구공이 당구대의 모든 지점을 지나겠냐는 것이 바로 에르고딕 가설이다. 물론 흔히 아는 직사각형 당구대를 가져왔다면 한 루프만을 뺑뺑 돌겠지만,[2] 당구대는 얼마든지 다르게 생겼을 수도 있으므로 (ex: 양옆에 반원이 달려 있음 / 당구대 안에 원 동그라미가 있음[3]) 거의 모든 경우에[4] 당구공이 모든 지점을 지나지 않을까 하는 추측을 해볼 수 있다.
현재 여러 가지 체계들이 에르고딕성을 띤다고 증명되어 있다. 시나이 자신도 역학적 당구를 소개하면서 자신이 구상한 "시나이 당구대"에서는 에르고딕성이 거의 모든 경우 성립함을 증명했다. 다만 시나이는 에르고딕 가설 자체의 증명을 시도했다가 실패했다.
에르고딕 가설을 가정할 경우, 몇 가지 제2종 영구기관이 불가능함을 증명할 수 있다.
2. 에르고딕성(Ergodicity)
어느 확률 프로세스의 확률 변수가 장기적인 평균이 결국 무조건부(Unconditional) 평균과 같아지면 이를 "에르고딕하다"라고 한다. 통계물리에서는 무조건부 평균을 앙상블 평균이라고 한다.[math( \frac{1}{T}\sum{X_t}=\mathbb{E}X_t )]
3. 응용
통계 이론을 증명할 때 가정으로 많이 사용된다. 장기적으로 CLT가 성립함을 보여주기 때문이다.- 통계 물리
- 계량경제학