통근 관측용 전체 세트

Complete set of commuting observables

양자역학에서, 통근 관측 가능성의 완전한 집합(CSCO)은 공통의 고유 벡터를 어떤 양자 상태를 나타내는 기초로 사용할 수 있는 통근 운영자의 집합이다.이산 스펙트럼을 가진 연산자의 경우 CSCO는 동시 에겐스페이스가 힐버트 공간에 걸쳐 있는 통근 관측 가능성의 집합이므로, 해당 에겐벡터가 해당 고유값 집합에 의해 고유하게 지정된다.

집합 통근에 있는 각 관측 가능성의 쌍은 모두 호환되므로 관측 가능한 한 관측 가능성의 측정이 집합에서 관측 가능한 다른 관측 가능성의 측정 결과에 영향을 미치지 않도록 한다.따라서 서로 다른 관측치를 측정하는 순서를 지정할 필요는 없다.관측 가능성의 전체 집합의 측정은 시스템의 양자 상태를 연산자 집합에 의해 정의된 기초로 고유하고 알려진 벡터에 투영한다는 점에서 완전한 측정을 구성한다.즉, 완전히 지정된 상태를 준비하기 위해서는 임의로 어떤 상태를 취한 다음, 힐버트 공간에서 고유하게 지정된 벡터가 될 때까지(상까지) 집합의 모든 관측 가능성에 해당하는 측정을 연속적으로 수행해야 한다.

호환성 정리

{와) 되는 두 개의 관측치를 사용합시다 그러면 다음 문장이 동등하다.

  1. 은(는) 호환 가능한 관찰 대상이다.
  2. ^{\(와)B {\{\ {은(는) 공통의 고유기반을 가지고 있다.
  3. 연산자 {\ {(와)B {\은(는) 통근 즉 [ = {\ {A

교정쇄

호환되는 관찰물이 통근한다는 증거

Let be a complete set of common orthonormal eigenkets of the two compatible observables and (both are self-adjoint operator), corresponding to the sets of real-valued eigenvalues and각각 n {\\{그러면 우리는 쓸 수 있다.

이제 전체 세트{ 에 임의 상태 케트 }을(를) 확장하면 된다.

그래서 위의 결과를 통해서 우리는 그 결과를 알 수 있다.

이것은[ , = 을 의미하며 이는 두 운영자가 통근한다는 것을 의미한다.

통근 관측용품이 완전한 공통 고유 기능을 가지고 있다는 증거

에 소멸되지 않는 고유값있는 경우:


Let be a complete set of orthonormal eigenkets of the self-adjoint operator corresponding to the set of real-valued eigenvalues . If the self-adjoint operators and 통근, 우리는 글을 쓸 수 있다.

So, if , we can say that is an eigenket of corresponding to the eigenvalue . Since both and (는) 과(와) 동일한 비분산 고유값과 연관된 고유개체로서 최대 승수 상수로 차이를 보일 수 있다.우리는 이것을 b라고 부른다 그래서

= b B

즉, 은(는) 의 고유켓이므로 A( B {\ 고유켓이다. = 0 B=의 경우 0이 아닌 벡터 n = 0 의 고유켓이다


에 퇴보 고유값있는 경우:


n{\ g g폴드 퇴화라고 가정해 보십시오.Let the corresponding orthonormal eigenkets be . Since , we reason as above to find that is an eigenket of c n 의 퇴행성 고유값에 반응하는 경우 n {\}}의 퇴행성 고유개킷을 으로 B r을(를) 확장할 수 있다

팽창 계수다.The coefficients form a self-adjoint matrix, since . Next step would be to diagonalize the matrix . To do so, we sum over all 상수 을(를) 사용하여 . .

r= 1 n _}}}}은(는) bn {\n}과(는)의 고유값 될 것이다

이것은 상수 r g 선형 방정식의 시스템을 구성한다 비종교적 솔루션은 다음과 같은 경우에 존재한다.

은 b {\ g{\}의 으로 g{\ g 가지고 있다.For each root we have a non-trivial solution , say, . Due to the self-adjoint of , all solutions are linearly independen그러므로 그들은 새로운 기초를 형성한다.

( _{n}^{}}은(는 n {\displaystyle 의 고유값을 갖는 에 A {\ B 고유값이다.

토론

We consider the two above observables and . Suppose there exists a complete set of kets whose every element is simultaneously an eigenket of and . Then we say that (와) (가) 호환된다. 에 해당하는 }에 해당하는 A {\ {n의 고유값을 나타내면 쓸 수 있다

만일 시스템이 고유 상태(예: 중 하나에 있다면, 을(를) 임의의 정밀도로 동시에 측정할 수 있으며, 이다 이 아이디어는 두 개 이상의 관찰 대상으로 확장될 수 있다.

호환 가능한 관측 가능성의 예

위치 연산자 의 데카르트 구성 요소는 x z z이다이 부품들은 모두 호환이 된다.마찬가지로 모멘텀 연산자 p z 의 데카르트 구성 요소도 호환된다.

형식 정의

관측할 수 있는 C . 다음과 같은 경우[1]}을(를) CSCO라고 한다.

  1. 모든 관측소는 2인 1조로 통근한다.
  2. CSCO에 있는 모든 연산자의 고유값을 지정하면 시스템의 Hilbert 공간에서 고유 고유 고유 벡터(최대 위상)를 식별한다.

CSCO가 주어진다면 해당 연산자의 공통 고유 벡터로 만들어진 상태 공간의 근거를 선택할 수 있다.우리는 각각의 고유 벡터를 그것이 대응하는 고유값의 집합에 의해 고유하게 식별할 수 있다.

토론

관측 가능한 연산자 A (를) 두자 모든 비감발성 고유값이{ 그 결과 각 고유값에 해당하는 고유한 고유 상태가 있어 각각의 고유값으로 라벨을 표시할 수 있다.예를 들어, 하는 A{\의 고유 상태는 로 라벨을 표시할 수 있다 이러한 관찰 가능은 그 자체로 충분한 CSCO이다.

단, {\의 고유값 중 일부가 퇴보(예: 에너지 레벨이 퇴보하는 경우)되면 위의 결과는 더 이상 유지되지 않는다.이런 경우에는 동일한 고유값에 해당하는 고유특성을 구별할 필요가 있다.이를 위해 두 번째 관측 가능( 이라 함)이 도입되며, A 과(와) 호환된다.호환성 정리를 통해 (와) 의 고유특성의 공통적인 근거를 찾을 수 있음을 알 수 있다.Now if each pair of the eigenvalues uniquely specifies a state vector of this basis, we claim to have formed a CSCO: the set . The degeneracy in is completely removed.

그럼에도 불구하고 그런 일이 일어나면 퇴폐가 완전히 풀리지 않는다.즉, 하나 이상의 고유 벡터를 고유하게 식별하지 않는 하나 이상의 쌍, n) 이 존재한다. 경우 는 A^ 및 B ) 모두 호환되는 관찰 한 C 을(를) 하나 더 추가함으로써 위의 과정을 반복한다 A^ {\ ^ ^. is unique, that is, uniquely specified by the set of eigenvalues , then we have formed a CSCO: . If not, we add one more compatible observable and continue the process till a CSCO is obtained.

동일한 벡터 공간은 통근 운전자의 완전한 집합이 구별될 수 있다.

우리에게 유한 CSCO{ , , C,. 가) 주어진다고 가정해 보자. 그러면 우리는 힐버트 공간에 있는 어떤 일반 상태라도 다음과 같이 확장할 수 있다.

b . . . . (는) C^ {\ {A {BC의 고유 항목으로 기본 공간을 형성한다.그것은

우리가 상태 {\에서 ... ... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .(는) .. . {\k,....

완전한 통근 운전자의 경우, 우리는 그들 모두를 동시에 대각선으로 만드는 단일 변형을 찾을 수 있다.

전자나 양성자 스핀이 없는 수소 원자

각운동량 연산자 의 두 구성 요소는 통근하지 않지만 정류 관계를 만족한다.

따라서 어떤 CSCO도 둘 이상의 구성요소를 포함할 수 없다 각운동량 L 2 L}}의은 L{\ {과(와)로 통한다는 것을 알 수 있다

Also, the Hamiltonian is a function of only and has rotational invariance, where is the reduced mass of the system. 의 성분은 회전 생성기이므로 다음과 같이 나타낼 수 있다.

Therefore, a commuting set consists of , one component of (which is taken to be ) and . The solution of the problem tells us that disregarding spin of the electrons, the set 디스플레이 은(는) CSCO를 형성한다.E , , 을(를) 수소 원자의 힐버트 공간에 있는 어떤 기본 상태가 되도록 한다.그러면

즉 고유값 집합{, , 또는 그 이상 단순하게{, {\\{은(는) 수소 원자의 고유 상태를 완전히 지정한다.

자유 입자

자유 입자의 경우 해밀턴 = - 2 }}:00는 번역 시 불변이다.번역은 해밀턴어:[, = 그러나 해밀턴어를 번역 연산자 기준으로 표현하면 이(가) 두 배로 퇴보하는 고유값을 갖는다는 것을 알게 될 것이다.It can be shown that to make the CSCO in this case, we need another operator called the parity operator , such that . forms a CSCO.

Again, let and be the degenerate eigenstates of corresponding the eigenvalue , i.e.

의 변질성은 모멘텀 연산자 에 의해 제거된다

따라서{ 은(는) CSCO를 형성한다.

각도 모멘트의 추가

We consider the case of two systems, 1 and 2, with respective angular momentum operators and . We can write the eigenstates of and as 과(와) 2 m_{2}}\

그런 다음 전체 시스템의 기본 상태는 j 1 }m_{2}에 의해 주어진다.

Therefore, for the complete system, the set of eigenvalues completely specifies a unique basis state, and forms a CSCO.Equivalently, there exists another set of basis states for the system, in terms of the total angular momentum operator . The eigenvalues of are where takes on the values , and those of are where The basis states of the operators and are . Thus we may also specify a unique basis state in the Hilbert space of the complete system by the set of eigenvalues 해당하는 CSCO는{ ,2, z },},J2}, 입니다

참고 항목

참조

  1. ^ Cohen-Tannoudji, Claude; Diu, Bernard; Laloë, Franck (1977). Quantum mechanics. Vol. 1. New York: Wiley. pp. 143–144. ISBN 978-0-471-16433-3. OCLC 2089460.