সসীম মাত্রার ভেক্টর স্পেসে সমস্ত নর্ম সমতুল্য, একক গোলক সর্বদা কম্প্যাক্ট এবং যেকোনো রৈখিক রূপান্তরকে ম্যাট্রিক্স আকারে প্রকাশ করা যায়। কিন্তু অসীম মাত্রার জগতে পা রাখা মাত্রই এই পরিচিত স্বজ্ঞাত ধারণাগুলো ভেঙে পড়ে। বিংশ শতাব্দীর প্রারম্ভে ডেভিড হিলবার্ট, স্টিফান ব্যানাক এবং জন ভন নিউম্যান ফাংশন স্পেসের আচরণ বিশ্লেষণের জন্য গড়ে তোলেন ফাংশনাল অ্যানালাইসিস (Functional Analysis)। রৈখিক বীজগণিত এবং মেট্রিক টপোলজির এই অপূর্ব সমন্বয়ই কোয়ান্টাম বলবিজ্ঞান এবং আংশিক অন্তরক সমীকরণের গাণিতিক ভিত্তি।

১. ব্যানাক স্পেস ও সম্পূর্ণ নর্মড স্পেস

একটি নর্মড ভেক্টর স্পেস $(V, |cdot|)$ যদি মেট্রিক স্পেস হিসেবে পূর্ণ (complete) হয়, তবে তাকে ব্যানাক স্পেস (Banach Space) বলা হয়। অর্থাৎ এর প্রতিটি কশি অনুক্রম একটি নির্দিষ্ট সীমায় অভিসারী হয়।

ব্যানাক স্পেসের গঠন নিয়ন্ত্রিত হয় ফাংশনাল অ্যানালাইসিসের তিনটি স্তম্ভ দ্বারা:

  1. হান-ব্যানাক উপপাদ্য (Hahn-Banach Theorem): কোনো সাবস্পেসে সংজ্ঞায়িত বাউন্ডেড লিনিয়ার ফাংশনালকে নর্ম অপরিবর্তিত রেখে সমগ্র স্পেসে সম্প্রসারিত করা যায়।
  2. ব্যানাক-স্টাইনহাউস উপপাদ্য: বিন্দুভিত্তিক সীমাবদ্ধ অপারেটর পরিবার সার্বিকভাবে সুষম বাউন্ডেড হয়।
  3. ওপেন ম্যাপিং থিওরেম: ব্যানাক স্পেসের মধ্যবর্তী যেকোনো সারজেক্টিভ অবিচ্ছিন্ন লিনিয়ার অপারেটর একটি উন্মুক্ত চিত্রায়ন।

২. হিলবার্ট স্পেস ও রিয়েস উপস্থাপন উপপাদ্য

একটি হিলবার্ট স্পেস $mathcal{H}$ হলো এমন একটি ব্যানাক স্পেস যার নর্ম একটি ইনার প্রোডাক্ট বা অভ্যন্তরীণ গুণফল থেকে উদ্ভূত: $|x| = sqrt{langle x, x rangle}$।

হিলবার্ট স্পেসের মূল সৌন্দর্য হলো এর লম্ব বা অর্থোগোনাল জ্যামিতি। রিয়েস উপস্থাপন উপপাদ্য (Riesz Representation Theorem) প্রমাণ করে যে হিলবার্ট স্পেসের ডুয়াল স্পেস $mathcal{H}^*$ স্বয়ং $mathcal{H}$-এর সাথে আইসোমরফিক। অর্থাৎ যেকোনো অবিচ্ছিন্ন লিনিয়ার ফাংশনাল $phi$-কে একটি অনন্য ভেক্টর $y_phi$-এর সাথে ইনার প্রোডাক্ট হিসেবে প্রকাশ করা যায়:

phi(x) = langle x, y_phi rangle

কোয়ান্টাম মেকানিক্সে ডিরাকের ব্রা-কেট নোটেশনের গাণিতিক বৈধতা এই উপপাদ্য থেকেই আসে।

৩. অপারেটর ও স্পেকট্রাল থিওরেম (Spectral Theorem)

কোয়ান্টাম বলবিদ্যায় অবস্থান ও ভরবেগের মতো ভৌত রাশিগুলোকে অসীম মাত্রার হিলবার্ট স্পেসে সেলফ-অ্যাডজয়েন্ট অপারেটর দ্বারা উপস্থাপন করা হয়। এই অপারেটরগুলোর বর্ণালী বা স্পেকট্রাম $sigma(T)$ বিচ্ছিন্ন আইগেনমান অথবা অবিচ্ছিন্ন রেঞ্জ হতে পারে।

ঐতিহাসিক স্পেকট্রাল থিওরেম প্রমাণ করে যে যেকোনো সেলফ-অ্যাডজয়েন্ট অপারেটরকে প্রজেকশন-ভ্যালুড মেজারের সমাকলন হিসেবে প্রকাশ করা সম্ভব:

T = int_{sigma(T)} lambda , dE(lambda)

এই সূত্রের মাধ্যমেই কোয়ান্টাম অপারেটরের যেকোনো ফাংশন $f(T) = int f(lambda) dE(lambda)$ নির্ণয় করা সম্ভব হয়, যা শ্রোডিঙ্গার সমীকরণের তরঙ্গ বিবর্তন $e^{-iHt/hbar}$-কে নিখুঁত গাণিতিক দৃঢ়তা দেয়।