양자역학의 수학적 형식화 - 편집 역사

2021년 2월 17일 (수) 12:53에 Pythagoras0님의 편집

2021-02-17T12:53:09Z

Pythagoras0: /* 메타데이터 */ 새 문단

2020-12-28T13:19:56Z

메타데이터: 새 문단

2020년 12월 28일 (월) 10:43에 Pythagoras0님의 편집

2020-12-28T10:43:16Z

2020년 11월 16일 (월) 15:28에 Pythagoras0님의 편집

2020-11-16T15:28:47Z

2020년 11월 13일 (금) 04:21에 Pythagoras0님의 편집

2020-11-13T04:21:36Z

Pythagoras0: section '메모' updated

2016-05-18T07:50:03Z

section '메모' updated

Pythagoras0: /* 관련논문 */

2015-08-28T08:24:34Z

2015년 3월 4일 (수) 14:28에 Pythagoras0님의 편집

2015-03-04T14:28:36Z

Pythagoras0: /* 리뷰논문, 에세이, 강의노트 */

2015-03-04T14:28:03Z

리뷰논문, 에세이, 강의노트

2013년 3월 24일 (일) 23:00에 Pythagoras0님의 편집

2013-03-24T23:00:36Z

@@ 91번째 줄: / 91번째 줄: @@
 [[분류:수리물리학]]
-== 메타데이터 ==
+==메타데이터==
 ===위키데이터===
 * ID :  [https://www.wikidata.org/wiki/Q606855 Q606855]

← 이전 판		2020년 12월 28일 (월) 13:19 판
90번째 줄:		90번째 줄:
	[[분류:양자역학]]		[[분류:양자역학]]
	[[분류:수리물리학]]		[[분류:수리물리학]]
		+
		+	== 메타데이터 ==
		+
		+	===위키데이터===
		+	* ID : [https://www.wikidata.org/wiki/Q606855 Q606855]

@@ 7번째 줄: / 7번째 줄: @@
 ** 유니타리 evolution 연산자
-−
-−
 ==양자역학의 공리==
@@ 15번째 줄: / 15번째 줄: @@
 * 폰 노이만의 연구에 따르면 양자역학의 수학적 뼈대는 다음과 같은 공리들로 이루어져 있음.
-* 어떤 물리계(physical system)가 주어졌고, 그 계는 분리가능 복소 힐버트 내적공간으로 이해할 수 있다. 이를 <math>\mathcal{H}</math> 라고 표기하기로 한다. (분리가능하다는 조건을 넣은 이유는 셀 수 있는 만큼의 횟수(countably many)의 관측만 수행하면 상태를 유일하게 결정하기 위해 충분하기 때문이다.)
+* 어떤 물리계(physical system)가 주어졌고, 그 계는 분리가능 복소 힐버트 내적공간으로 이해할 수 있다. 이를 <math>\mathcal{H}</math> 라고 표기하기로 한다. (분리가능하다는 조건을 넣은 이유는 셀 수 있는 만큼의 횟수(countably many)의 관측만 수행하면 상태를 유일하게 결정하기 위해 충분하기 때문이다.)
 * 계의 상태는 <math>\mathcal{H}</math> 의 일차원 부분공간(ray)으로 나타낸다. 즉, <math>\mathcal{H}</math> 의 일차원 부분공간 각각은 물리계가 취할 수 있는 각 상태들과 일대일 대응관계가 있다. (혹은 규격화했을 때 같아지는 벡터들끼리 모아서 equivalence class 를 만들고 이를 상태의 정의로 사용해도 좋다.)
 * 복합계의 상태는 복합계를 이루는 개별 힐버트공간의 텐서곱으로 이해할 수 있다.
 * 양자상태에 작용하는 대칭성은 모두 유니타리 연산자이거나 반유니타리 연산자로 표현된다.(위그너의 정리)
-* 물리적 관측가능량은 <math>\mathcal{H}</math> 의 densely-defined self-adjoint operator 들로 표현된다.
+* 물리적 관측가능량은 <math>\mathcal{H}</math> 의 densely-defined self-adjoint operator 들로 표현된다.
-* <math>| \psi \rangle \in \mathcal{H}</math> 로 표현되는 양자상태에 관해 이 상태가 연산자 <math>A</math>  에 대응하는 물리량을 얼마나 가질 것인가에 관해 그 기대값은 <math>\langle \psi | A | \psi \rangle</math> 로 주어진다.
+* <math>| \psi \rangle \in \mathcal{H}</math> 로 표현되는 양자상태에 관해 이 상태가 연산자 <math>A</math>  에 대응하는 물리량을 얼마나 가질 것인가에 관해 그 기대값은 <math>\langle \psi | A | \psi \rangle</math> 로 주어진다.
 * Spectral 이론에 따르면 상태 <math>| \psi \rangle</math> 에 대한 관측가능량 A 에 대해 확률측도를 부여할 수 있다. 또한 임의의 상태에 대해서 관측가능량 A 가 취할 수 있는 값은 반드시 A 의 스펙트럼에 속해야 한다는 것을 보일 수 있다. A 가 오직 불연속 스펙트럼을 가질 뿐인 특별한 상황에서 관측되는 A 값은 A 의 고유치이다.
 * 보다 일반적으로, 어떤 상태는 소위 density operator 라고 하는 것으로 표현될 수 있다. density operator 는 trace class 로서 규격화 가능한 음이 아닌 self-adjoint operator 를 의미한다. 이를 rho 라고 쓰자. 그러면 관측가능량 A 가 상태 rho 에 대해 가지는 기대값은 <math>\operatorname{tr}(A\rho)</math>이다. 만약 \rho \psi 가 \psi 에 의해 스팬되는 1차원 부분공간으로의 orthogonal projector 라면 <math>\operatorname{tr}(A \rho \psi) = \langle \psi |A|\psi\rangle</math>이다. 밀도연산자는 1차원 orthogonal projectoor 들의 convex hull 에 속하는 연산자들이다. 역으로, 1차원 orthogonal projector 들은 밀도연산자들의 집합의 극점들이다. 물리학자들은 이러한 1차원 직교투영 연산자들을 순수상태라고 부르고 나머지 밀도연산자들을 혼합상태라고 부르기도 한다.
-−
-−
 ==하이젠베르크의 불확정성 원리==
@@ 32번째 줄: / 32번째 줄: @@
 * 이 명제들을 공리로 인정하고나면 이것을 바탕으로 하이젠베르크의 불확정성의 원리를 이끌어낼 수 있다.
-−
-−
 ==동역학==
@@ 47번째 줄: / 47번째 줄: @@
 ** 고전역학의 해밀턴 picture 에 대응됨
-−
-−
 ==메모==
@@ 58번째 줄: / 58번째 줄: @@
 * Math Overflow http://mathoverflow.net/search?q=
-−
-−
 ==관련된 항목들==
-−
-−
-==사전 형태의 자료==
+==사전 형태의 자료==
 * http://ko.wikipedia.org/wiki/
@@ 76번째 줄: / 76번째 줄: @@
 * [http://eqworld.ipmnet.ru/ The World of Mathematical Equations]
-−
-−
 ==리뷰, 에세이, 강의노트==

← 이전 판		2020년 11월 16일 (월) 15:28 판
46번째 줄:		46번째 줄:
	** 하이젠베르크 운동방정식:<math>i\hbar{d\over dt}A(t) = [A(t),H]</math>		** 하이젠베르크 운동방정식:<math>i\hbar{d\over dt}A(t) = [A(t),H]</math>
	** 고전역학의 해밀턴 picture 에 대응됨		** 고전역학의 해밀턴 picture 에 대응됨
−
−
−
−
−
−	~~==역사==~~
−
−
−
−	* http://www.google.com/search?hl=en&tbs=tl:1&q=
−	* [[수학사 연표]]

@@ 2번째 줄: / 2번째 줄: @@
 * 많은 부분은 영문 Wikipedia 의 [http://en.wikipedia.org/wiki/Mathematical_formulation_of_quantum_mechanics Mathematical Formulation of Quantum Mechanics] 의 번역임
-*  양자역학의 수학적인 틀은 크게 세 가지<br>
+*  양자역학의 수학적인 틀은 크게 세 가지
 ** 양자 상태의 힐버트 공간
 ** 관측가능량 - 허미션 연산자
@@ 39번째 줄: / 39번째 줄: @@
 * quantum system 의 time evolution 은 관측가능량의 하나인 해밀토니안 연산자에 의해 결정된다
-*  슈뢰딩거 picture<br>
+*  슈뢰딩거 picture
-** [[슈뢰딩거 방정식]]:<math> i\hbar\frac{d}{d t}\left|\psi(t)\right\rangle=H\left|\psi(t)\right\rangle</math><br>
+** [[슈뢰딩거 방정식]]:<math> i\hbar\frac{d}{d t}\left|\psi(t)\right\rangle=H\left|\psi(t)\right\rangle</math>
-**  time evolution 연산자 <math>U(t)=e^{-i Ht/\hbar}</math> 를 사용하면,:<math>\left|\psi(t)\right\rangle=U(t)|\psi(0)</math> 로 표현된다<br>
+**  time evolution 연산자 <math>U(t)=e^{-i Ht/\hbar}</math> 를 사용하면,:<math>\left|\psi(t)\right\rangle=U(t)|\psi(0)</math> 로 표현된다
 ** 고전역학의 리우빌 picture 에 대응됨
-*  하이젠베르크 picture<br>
+*  하이젠베르크 picture
-**  하이젠베르크 운동방정식:<math>i\hbar{d\over dt}A(t) = [A(t),H]</math><br>
+**  하이젠베르크 운동방정식:<math>i\hbar{d\over dt}A(t) = [A(t),H]</math>
 ** 고전역학의 해밀턴 picture 에 대응됨

← 이전 판		2016년 5월 18일 (수) 07:50 판
63번째 줄:		63번째 줄:

	==메모==		==메모==
		+	* Stefano Gogioso, Fabrizio Genovese, Infinite-dimensional Categorical Quantum Mechanics, arXiv:1605.04305 [quant-ph], May 12 2016, http://arxiv.org/abs/1605.04305

	* The important mathematical requirement that observables be represented by Hermitian matrices (operators) in the formalism of matrix mechanics is due to the physical requirement that measured values of observable quantities must be real. http://www.worldscibooks.com/etextbook/7271/7271_chap02.pdf		* The important mathematical requirement that observables be represented by Hermitian matrices (operators) in the formalism of matrix mechanics is due to the physical requirement that measured values of observable quantities must be real. http://www.worldscibooks.com/etextbook/7271/7271_chap02.pdf

@@ 90번째 줄: / 90번째 줄: @@
-==관련논문==
+==리뷰, 에세이, 강의노트==
 * Heydari, Hoshang. “Geometric Formulation of Quantum Mechanics.” arXiv:1503.00238 [math-Ph, Physics:quant-Ph], March 1, 2015. http://arxiv.org/abs/1503.00238.
 ==관련도서==

← 이전 판		2015년 3월 4일 (수) 14:28 판
90번째 줄:		90번째 줄:


−	==~~리뷰논문~~, ~~에세이~~, ~~강의노트==~~	+	==관련논문==
		+	* Heydari, Hoshang. “Geometric Formulation of Quantum Mechanics.” arXiv:1503.00238 [math-Ph, Physics:quant-Ph], March 1, 2015. http://arxiv.org/abs/1503.00238.
		+

← 이전 판		2013년 3월 24일 (일) 23:00 판
107번째 줄:		107번째 줄:

	* 폰 노이만, 1932 , Mathematische Grundlageen der Quantenmechanik (Mathematical Foundations of Quantum Mechanics, 1955)		* 폰 노이만, 1932 , Mathematische Grundlageen der Quantenmechanik (Mathematical Foundations of Quantum Mechanics, 1955)
		+	[[분류:수리물리학]]