আমরা যে বস্তুগুলি সংজ্ঞায়িত করেছি সেগুলি কিছু মৌলিক ধর্ম মেনে চলে। হিলবার্ট স্থানের মাত্রা যাই হোক এবং অপারেটরগুলি সীমাবদ্ধ হোক বা না হোক, এই ধর্মগুলি প্রযোজ্য। শেষের ক্ষেত্রেও সংযুক্ত সংজ্ঞায়িত করা যায়, তবে তার গাণিতিক দিক আরও সূক্ষ্ম; রৈখিক অপারেটর তত্ত্বের পরের থিমে আমরা তাতে ফিরব। সারা বিশ্ব ডিরাকের প্রতীকরীতি ব্যবহার করে বলে এই ধর্মগুলি কার্যত কোয়ান্টাম গণনার বীজগাণিতিক নিয়ম, তাই সেগুলি আয়ত্ত করা অপরিহার্য।
এই পাঠে এতক্ষণ দেখা সব দরকারি সূত্র, প্রয়োজনে পুনরাবৃত্তি করে, একত্র করা হয়েছে এবং কয়েকটি নতুন সূত্র যোগ করা হয়েছে। প্রথমে যেকোনো মাত্রায় প্রযোজ্য সূত্রগুলি, তারপর সসীম মাত্রার সূত্রগুলি দেওয়া হয়েছে; সেখানে ডিরাকের প্রতীকরীতি সুস্পষ্ট ম্যাট্রিক্স গণনায় পরিণত হয়।
1. যেকোনো মাত্রায় গণনার নিয়ম
অন্তর্গুণের ধর্ম।
ধরা যাক (∣φ⟩,∣ψ⟩)∈H2 হিলবার্ট স্থানের দুটি ভেক্টর এবং (λ,μ)∈C2 দুটি স্কেলার। অন্তর্গুণ নিচের ধর্মগুলি মেনে চলে:
হার্মিটীয় প্রতিসাম্য:
⟨φ∣ψ⟩=⟨ψ∣φ⟩∗.
(1)
বাঁ দিকে প্রতিরৈখিকতা: λ∣ψ⟩-এর সঙ্গে যুক্ত ব্রা হল λ∗⟨ψ∣, অর্থাৎ:
(λ∣ψ⟩)†=λ∗⟨ψ∣এবং⟨λψ∣φ⟩=λ∗⟨ψ∣φ⟩
(2)
ডান দিকে রৈখিকতা:
⟨φ∣λψ⟩=λ⟨φ∣ψ⟩.
(3)
রৈখিক সমন্বয়: আগের ধর্মগুলি দিয়ে নিচের মতো জটিল রাশি স্বাভাবিকভাবে বিস্তার করা যায়। যেকোনো α,β,γ,δ∈C-এর জন্য:
একটি ব্র্যাকেট একটি সংখ্যা, কিন্তু একটি কেট-ব্রা একটি অপারেটর, যাকে বহির্গুণ বলা হয় (অন্তরকলনীয় ফর্মের বহির্গুণের সঙ্গে এর সম্পর্ক নেই)। দুটি ভেক্টর ∣φ⟩ ও ∣ψ⟩-এর সঙ্গে আমরা অপারেটর ∣φ⟩⟨ψ∣ যুক্ত করি, যার সংজ্ঞা:
∣φ⟩⟨ψ∣:H→H,∣χ⟩↦∣φ⟩⟨ψ∣χ⟩.
অভেদ অপারেটরের বিভাজন।
H-এর অভেদ অপারেটরকে 1 লেখা হয়; এর সহজ সংজ্ঞা 1x=x,∀x∈H। একটি গণনাযোগ্য হিলবার্টীয় ভিত্তি {∣ei⟩}i∈I-এ, যেখানে I সসীম অথবা গণনাযোগ্য অসীম, অভেদ অপারেটর 1 লেখা যায়:
1=i∈I∑∣ei⟩⟨ei∣
(9)
ব্যবহারিক গণনায় এই সূত্র অত্যন্ত উপযোগী। একে অভেদের রেজোলিউশন বা পূর্ণতা সম্পর্কও বলে। ডান দিকটি সসীম মাত্রায় একটি যোগফল, অথবা গণনাযোগ্য অসীম মাত্রায় একটি অভিসারী শ্রেণি। অগণনাযোগ্য মাত্রায় সূত্রটি ভুল।
হিলবার্টীয় বিভাজন।
যেমন, ∣ei⟩ বরাবর কেট ∣ψ⟩-এর উপাংশকে ψi সংজ্ঞায়িত করলে আগের সূত্র থেকে সরাসরি প্রথম পাঠের বিভাজন উপপাদ্য ফিরে পাওয়া যায়:
∣ψ⟩=1∣ψ⟩=i∈I∑⟨ei∣ψ⟩∣ei⟩=i∈I∑ψi∣ei⟩
(10)
মাত্রা অনুযায়ী এটি একটি যোগফল বা একটি শ্রেণি। কেটের বিভাজনের অনুরূপ ব্রার জন্যও রয়েছে:
⟨ψ∣=⟨ψ∣1=i∈I∑ψi∗⟨ei∣
(11)
তখন নর্ম লেখা যায়:
∥∣ψ⟩∥2=⟨ψ∣ψ⟩=i∈I∑ψi∗ψi=i∈I∑∣ψi∣2
(12)
মন্তব্য 1 (ক্রমের দিকে খেয়াল করুন!)
কেটের উপাংশগুলি হল ψi=⟨ei∣ψ⟩,⟨ψ∣ei⟩নয়; পরেরটির মান ψi∗। হার্মিটীয় অন্তর্গুণ বিনিময়যোগ্য নয়, তাই ক্রমের দিকে খেয়াল রাখতে হবে। প্রচলিত ইউক্লিডীয় অন্তর্গুণসহ Rn-এ একটি ভেক্টর v-এর উপাংশ vi পাওয়া যায় vi=v⋅ei থেকে। তাই মনে হতে পারে কোয়ান্টাম সূত্রটি হবে ψi=⟨ψ∣ei⟩, কিন্তু তা নয়!
কয়েকটি বিশেষ অপারেটর।
পরের থিমে হিলবার্ট স্থানের ওপর রৈখিক অপারেটরের তত্ত্ব বিশদে আলোচনা করা হবে। তবে পরের আলোচনার জন্য কয়েকটি অতি প্রচলিত ক্ষেত্র এখানে উল্লেখ করি। H→H অপারেটরগুলির মধ্যে বিশেষভাবে পাব:
A^,হার্মিটীয় বা স্বসংযুক্ত, যদি A^†=A^,
U^, এককীয়, যদি U^†=U^−1,
P^, প্রক্ষেপক, যদি P^2=P^,
P^, লম্ব প্রক্ষেপক: একটি স্বসংযুক্ত প্রক্ষেপক।
এককীয় অপারেটরগুলি একৈক-সার্বিক, রৈখিক এবং অন্তর্গুণ সংরক্ষণ করে। তাই আমরা আগেই তাদের দেখেছি: এগুলি সমদূরত্বীয় সমরূপতা (এখানে সমদূরত্বীয় স্বসমরূপতা, কারণ শুধু H থেকে নিজের মধ্যে রৈখিক অপারেটর নিয়ে কথা হচ্ছে)।
2. সসীম মাত্রার সূত্রাবলি
হিলবার্ট স্থান সসীম মাত্রা n-এর হলে কোয়ান্টাম গণনার নিয়ম আরও নির্দিষ্ট করা যায়। আগের অনুচ্ছেদের সব সূত্রই প্রযোজ্য; সেখানে দেখা যোগফলগুলি সসীম যোগফল হিসেবে লিখতে হবে: ∑i⟶∑i=1n।
এছাড়া, একটি লম্ব-একক ভিত্তি B=(∣ei⟩)i=1n বেছে নিলে ডিরাকের প্রতীকরীতি সুস্পষ্ট ম্যাট্রিক্স গণনার সমতুল্য হয়। এখন তা বিশদে দেখব (সতর্কতা: নিচের আলোচনার অসীম মাত্রায় কোনো অর্থ নেই)।
স্তম্ভ ভেক্টর হিসেবে কেট।
ভিত্তি B-এর কেটগুলিকে স্বাভাবিকভাবে (n,1) ম্যাট্রিক্স, অর্থাৎ স্তম্ভ ভেক্টর দিয়ে প্রকাশ করি:
∣ei⟩=0⋮010⋮0B
এখানে 1 আছে i-তম অবস্থানে। বীজগাণিতিক বিভাজন ব্যবহার করে:
∣v⟩=i=1∑nvi∣ei⟩,
সব কেটকে স্তম্ভ ভেক্টর হিসেবে লেখা যায়: ∣v⟩∈H-এর জন্য লিখি:
∣v⟩=v1v2⋮vnB∈Cn,
এখানে প্রয়োজন না হলে কোন ভিত্তি B-এ বিস্তার করা হয়েছে তা উল্লেখ করব না। তাছাড়া উপাংশগুলি লম্ব প্রক্ষেপণের মাধ্যমে পাওয়া যায়:
vi=⟨ei∣v⟩
(13)
অনুবন্ধী সারি ভেক্টর হিসেবে ব্রা।
ভেক্টর u-এর সঙ্গে যুক্ত রৈখিক ফর্ম φu-কে যেকোনো ভেক্টর v-এর জন্য মেনে চলতে হবে:
φu(v)=⟨u,v⟩=i=1∑nui∗vi,
কারণ হার্মিটীয় অন্তর্গুণ বাঁ দিকে প্রতিরৈখিক। এই যোগফলকে ম্যাট্রিক্স গুণন হিসেবে পেতে ⟨u∣-কে u-এর অনুবন্ধী স্থানাঙ্কগুলির সারি ভেক্টর হতে হবে:
⟨u∣=(u1∗,u2∗,⋯,un∗),
কারণ তখন অন্তর্গুণ ⟨u∣v⟩ প্রচলিত ম্যাট্রিক্স গুণন হিসেবে পাওয়া যায়:
তাই দেখা যায়, ব্রা ⟨u∣ হল কেট ∣u⟩-এর অনুবন্ধী ট্রান্সপোজ। সুতরাং সসীম মাত্রায় ড্যাগার ক্রিয়া মানে অনুবন্ধী ট্রান্সপোজ নেওয়া:
∣u⟩†=∣u⟩∗⊤=⟨u∣
(14)
অসীম মাত্রায় এটি ভুল, এমনকি অর্থহীন, কারণ ট্রান্সপোজ সংজ্ঞায়িত নয়1।
টীকা 1: বড়জোর, ℓ2(N) স্থানে এবং অনুচ্ছেদ 3.2 (বিষয় 2, পাঠ 1)-এ বিশদে আলোচিত তার প্রাকৃতিক ভিত্তিতে, অসীম স্তম্ভ বা সারি ভেক্টর নিয়ে এবং সসীম যোগফলের বদলে অভিসারী শ্রেণি বসিয়ে অনেকটা একইভাবে কাজ করা যায়। অন্তর্দৃষ্টি গড়তে এটি উপকারী হতে পারে, কিন্তু কঠোর অর্থে এগুলি ম্যাট্রিক্স নয়। L2(R)-এ এর আর কোনো অর্থই থাকে না, যদিও সেখানেও একটি সমাকলনভিত্তিক অনুরূপ রূপ আছে; পরের পাঠ দেখুন।
অপারেটরের ম্যাট্রিক্স উপস্থাপন।
সসীম মাত্রায় একটি লম্ব-একক ভিত্তি {∣ei⟩}i=1n-এ যেকোনো রৈখিক অপারেটর A^-এর বিভাজন:
A^=i,j=1∑nAij∣ei⟩⟨ej∣,
(15)
সসীম মাত্রায় এটি রৈখিক অপারেটর A^ (টুপি চিহ্নসহ) ও তার ম্যাট্রিক্স A-কে (টুপি চিহ্ন ছাড়া) স্বাভাবিকভাবে অভিন্ন করতে দেয়। উপরের সূত্রটি আসলে ডিরাকের রীতিতে ম্যাট্রিক্স বিস্তার A=∑ijAijEij-এর প্রতিরূপ, যেখানে Eij হল মৌলিক ম্যাট্রিক্স যার (i,j) অবস্থানে 1 এবং অন্য সব স্থানে শূন্য। তাই এখানে Eij হল অপারেটর ∣ei⟩⟨ej∣-এর প্রতিনিধিত্বকারী ম্যাট্রিক্স। সহগ Aij-গুলিকে স্বাভাবিকভাবেই ভিত্তি {∣ei⟩}-এ অপারেটর A^-এর ম্যাট্রিক্স উপাদান বলা হয়। এদের মান:
Aij=⟨ei∣A^ej⟩
তবে লিখনকে সুন্দর রাখতে সাধারণত এভাবে লিখব:
Aij=⟨ei∣A^∣ej⟩.
(16)
অবশ্যই অভেদ অপারেটরের ম্যাট্রিক্স হল অভেদ ম্যাট্রিক্স এবং তার ম্যাট্রিক্স উপাদানগুলি হল δij (ক্রোনেকার প্রতীক)।
অপারেটরের ট্রেস।
পরবর্তীতে প্রায়ই একটি অপারেটর A^-এর ট্রেস বিবেচনা করতে হবে। ডিরাকের প্রতীকরীতিতে এটি গণনা করা হয়:
Tr(A^)=i=1∑n⟨ei∣A^∣ei⟩=i=1∑nAii.
(17)
এই রাশি লম্ব-একক ভিত্তির নির্বাচনের ওপর নির্ভর করে না।
সংযুক্ত ও অনুবন্ধী ট্রান্সপোজ।
সসীম মাত্রায় সংযুক্ত A^†-এর প্রতিনিধিত্বকারী ম্যাট্রিক্স হল অপারেটর A^-এর প্রতিনিধিত্বকারী ম্যাট্রিক্সের অনুবন্ধী ট্রান্সপোজ:
A†=(A∗)⊤.
(18)
এখানে একটি সংক্ষিপ্ত প্রমাণ দিই, কারণ এতে উপরের গণনার নিয়মগুলি বাস্তবে কীভাবে ব্যবহার করা হয় তা বোঝা যায়। সংজ্ঞা অনুসারে A^†-এর ম্যাট্রিক্স উপাদানগুলি হল:
(A^†)ij=⟨eiA^†ej⟩.
কিন্তু সংযুক্তের সংজ্ঞা অনুসারে:
⟨eiA^†ej⟩=⟨A^ei∣ej⟩
হার্মিটীয় প্রতিসাম্য ব্যবহার করে পাই ⟨A^ei∣ej⟩=⟨ej∣A^ei⟩∗, আর এটি ম্যাট্রিক্স উপাদান Aji∗ ছাড়া কিছুই নয়। তাই:
(A†)ij=Aji∗=(A∗⊤)ij
এতে ধর্মটি প্রমাণিত হল। তাই সসীম মাত্রায় ম্যাট্রিক্স গণনা করে সরাসরি যাচাই করা যাবে কোনো অপারেটর হার্মিটীয়, এককীয় ইত্যাদি কি না।