Skip to content

7.5 — Banach Algebra ও Spectral Theorem

এই অধ্যায়ে কী শিখব: Banach algebra (ব্যানাখ অ্যালজেব্রা) কী — একটা Banach space-এর উপর associative গুণফল কীভাবে নতুন কাঠামো তৈরি করে; spectrum (স্পেকট্রাম) ধারণাটা operator-এর বাইরে সব algebraic element-এ কীভাবে বিস্তৃত হয়; Gelfand transform (গেলফ্যান্ড রূপান্তর) — algebra-কে continuous functions হিসেবে দেখার অপূর্ব কৌশল; C-algebra এবং Gelfand–Naimark উপপাদ্য — commutative C-algebra ≅ C(X); এবং এর ফলশ্রুতিতে spectral theorem ও functional calculus।

উৎস (source): Gelfand, Naimark; Banach।


১. কেন শিখব? (Motivation)

আগের অধ্যায়গুলোতে আমরা শিখেছি Hilbert space-এ operator-এর spectrum কী — eigenvalue-এর সাধারণীকরণ। কিন্তু সেই সংজ্ঞা ধরে রাখলে একটা সীমাবদ্ধতা থেকে যায়: আমরা প্রতিবার একটা নির্দিষ্ট Hilbert space এবং তার উপর কাজ করা operator-এর কথা ভাবছি।

এই অধ্যায়ে আমরা অনেক বড় একটা প্রশ্ন জিজ্ঞেস করব: শুধু norm আর গুণফলের নিয়ম জানলে কি spectrum বোঝা সম্ভব? উত্তর হলো হ্যাঁ — এবং এই উপলব্ধি থেকেই জন্ম নিয়েছে Banach algebra (ব্যানাখ অ্যালজেব্রা) তত্ত্ব।

Gelfand (গেলফ্যান্ড) এবং Naimark (নেইমার্ক) দেখিয়েছিলেন যে commutative C*-algebra (C-স্টার অ্যালজেব্রা) আর কিছু নয়, একটা compact Hausdorff space-এর উপর continuous functions-এর algebra — মাঝখানের সব জটিলতা ঘুচে যায়। এই ফলাফল সরাসরি spectral theorem-এর একটা সম্পূর্ণ প্রমাণ দেয়।

মূল স্বজ্ঞা

Banach algebra শেখা মানে হলো: operator-এর বৈশিষ্ট্যগুলো (spectrum, invertibility, functional calculus) শুধু algebraic ও norm-এর নিয়ম থেকেই বেরিয়ে আসে — Hilbert space-এর জ্যামিতি না লাগলেও চলে।


২. মূল ধারণা (Core idea)

Banach Algebra — সংক্ষিপ্ত স্বজ্ঞা

ভাবো একটা সাধারণ Banach space \(A\) যেখানে যোগফল ও scalar গুণ আছে। এখন আমরা তার উপর একটা গুণফল (product) যোগ করলাম যা দুটো শর্ত মানে:

  1. Associative (সংযোজ্য): \((ab)c = a(bc)\) সব \(a, b, c \in A\)-এর জন্য।
  2. Submultiplicative norm (উপগুণনীয় নর্ম): \(\|ab\| \leq \|a\| \cdot \|b\|\)

এই দুটো শর্ত মিলিয়েই হয় Banach algebra। সাধারণত একটা multiplicative identity \(e\) (যেখানে \(ae = ea = a\) এবং \(\|e\| = 1\)) ধরা হয়।

Banach Algebra = Banach Space + Associative Product + Submultiplicative Norm

চিত্র ১: Banach algebra-র তিনটি স্তর — vector space, complete norm (Banach space), এবং associative submultiplicative product। তলার স্তর যোগ হয়ে তৈরি হয় পূর্ণ কাঠামো।

উদাহরণ:

  • \(B(H)\) — Hilbert space \(H\)-এর উপর সব bounded operator (bounded operator, সীমাবদ্ধ অপারেটর); গুণফল = composition।
  • \(C(X)\) — compact Hausdorff space \(X\)-এর উপর সব continuous complex-valued functions (continuous function, ক্রমাগত ফাংশন); গুণফল = pointwise multiplication।
  • \(L^1(G)\) — locally compact group \(G\)-এর উপর \(L^1\); গুণফল = convolution।

Spectrum — Algebra-তে

যেকোনো Banach algebra \(A\)-এ element \(a \in A\)-এর spectrum (স্পেকট্রাম) সংজ্ঞা:

\[\sigma(a) = \{\lambda \in \mathbb{C} : (a - \lambda e) \text{ invertible নয়}\}\]

এটা operator-এর spectrum-এর হুবহু সাধারণীকরণ — শুধু matrix বা operator নয়, যেকোনো algebraic element-এর জন্য।

Spectrum sigma(a) in C: resolvent complement

চিত্র ২: Spectrum \(\sigma(a) \subset \mathbb{C}\) (লাল) হলো সেই \(\lambda\)-মানগুলো যেখানে \((a - \lambda e)\) invertible নয়। বাইরের রঙিন অঞ্চল হলো resolvent set \(\rho(a)\) — সেখানে \((a - \lambda e)^{-1}\) exists করে।


৩. সংজ্ঞা ও উপপাদ্য (Definitions & Theorems)

Normed ও Banach Algebra

সংজ্ঞা: Normed Algebra ও Banach Algebra

একটা algebra \(A\) (over \(\mathbb{C}\)) কে normed algebra (নর্মযুক্ত অ্যালজেব্রা) বলা হয় যদি এতে একটা norm \(\|\cdot\|\) থাকে যা:

\[\|xy\| \leq \|x\|\,\|y\| \quad \forall\, x, y \in A\]

শর্তটি পূরণ করে। Identity ধরা হয়: \(\|e\| = 1\)

যদি \(A\) এই norm-এর অধীনে complete (সম্পূর্ণ) হয় (অর্থাৎ একটা Banach space হয়), তাহলে \(A\)-কে Banach algebra বলা হয়।

Sternberg (ch. 9) থেকে: বলা হয়েছে submultiplicative নয় এমন norm নিলেও equivalent norm-এ সবসময় \(\|e\| = 1\) করা যায় — তাই শর্তটা কোনো সীমাবদ্ধতা নয়।

Invertible Elements

উপপাদ্য (Sternberg 9.3.1–9.3.2): Invertible Elements একটা Open Set

Banach algebra \(A\)-এ invertible elements-এর সেটটি একটা open set (উন্মুক্ত সেট)। আরো নির্দিষ্টভাবে:

(a) যদি \(\|x\| < 1\) হয়, তাহলে \((e - x)\) invertible এবং:

\[(e-x)^{-1} = e + x + x^2 + x^3 + \cdots = \sum_{n=0}^{\infty} x^n\]

(b) যদি \(y\) invertible হয় এবং \(\|x\| < \frac{1}{\|y^{-1}\|}\) হয়, তাহলে \(y + x\) invertible।

প্রমাণ-স্কেচ (a): \(\|x\| < 1\) হলে \(\sum_{n=0}^\infty \|x^n\| \leq \sum_{n=0}^\infty \|x\|^n = \frac{1}{1 - \|x\|} < \infty\)। Banach space complete হওয়ায় এই partial sums converge করে একটা limit \(s\)-এ। তখন \((e-x)s = s(e-x) = e\) — অর্থাৎ \(s = (e-x)^{-1}\)\(\square\)

স্বজ্ঞা: এটা geometric series — \(1 + r + r^2 + \cdots = \frac{1}{1-r}\) (\(|r| < 1\)) — এর operator সংস্করণ।

Spectrum-এর Compactness

উপপাদ্য: Spectrum Compact ও Non-empty

Banach algebra \(A\)-এর যেকোনো \(x \in A\)-এর জন্য:

(a) \(\sigma(x)\) একটা compact (compact) non-empty subset of \(\mathbb{C}\)

(b) \(\sigma(x) \subseteq \{\lambda : |\lambda| \leq \|x\|\}\) (অর্থাৎ spectral radius \(\leq\) norm)।

প্রমাণ-স্কেচ: যদি \(|\lambda| > \|x\|\) হয়, তাহলে \(\|x/\lambda\| < 1\) তাই \((e - x/\lambda)\) invertible, তাই \(\lambda \notin \sigma(x)\)। Closedness: resolvent map \(\lambda \mapsto (x - \lambda e)^{-1}\) analytic, তাই \(\sigma(x)\) closed। Non-emptiness: Liouville-theorem দিয়ে — যদি \(\sigma(x) = \emptyset\) হতো, তাহলে ওই analytic function bounded entire হতো, তাই constant, contradiction। \(\square\)

Gelfand Transform (গেলফ্যান্ড রূপান্তর)

এখন আসছে সবচেয়ে বড় ধারণা।

Character (চরিত্র): Banach algebra \(A\)-এর একটা character হলো একটা continuous homomorphism \(h: A \to \mathbb{C}\) যা nonzero — অর্থাৎ \(h(xy) = h(x)h(y)\) এবং \(h(e) = 1\)

সব character-এর সেটকে বলা হয় maximal ideal space (সর্বোচ্চ ideal স্পেস) বা Gelfand space: \(\Delta = \Delta(A)\)

সংজ্ঞা: Gelfand Transform

প্রতিটা \(a \in A\)-এর জন্য Gelfand transform \(\hat{a}: \Delta \to \mathbb{C}\) সংজ্ঞায়িত:

\[\hat{a}(h) := h(a) \quad \forall\, h \in \Delta\]

Map \(\Gamma: A \to C(\Delta)\), \(a \mapsto \hat{a}\) হলো Gelfand representation — একটা norm-decreasing algebra homomorphism।

Sternberg (9.3.1): \(\Delta\) হলো \(A^*\) (dual space)-এর weak topology-তে compact, এবং \(|\hat{a}|_\infty \leq \|a\|\)

Gelfand Transform: algebra A থেকে C(Delta)-তে map

চিত্র ৩: বামে abstract Banach algebra \(A\) — elements \(a, b, ab, \ldots\)। ডানে \(C(\Delta)\) — character space \(\Delta\)-এর উপর continuous functions। Gelfand transform \(a \mapsto \hat{a}\) algebraic structure preserve করে এবং norm কমায়।

Maximal Ideals ≅ Characters

উপপাদ্য (Sternberg 9.1.4, Gelfand–Mazur)

(a) Commutative Banach algebra \(A\)-এ প্রতিটা maximal ideal (সর্বোচ্চ ideal) হলো কোনো character \(h\)-এর kernel:

\[M_h = \ker(h) = \{a \in A : h(a) = 0\}\]

(b) (Gelfand–Mazur theorem) যেকোনো normed division algebra over \(\mathbb{C}\) হলো isometrically isomorphic to \(\mathbb{C}\)

স্বজ্ঞা: \(C(X)\)-এ প্রতিটা maximal ideal হলো \(M_p = \{f : f(p) = 0\}\) — এর character হলো evaluation at \(p\): \(h_p(f) = f(p)\)। Gelfand–Mazur এটাই বলে: বড় field বানাতে পারবে না, সবসময় \(\mathbb{C}\)-তেই ফিরে আসতে হয়।

Maximal Ideals = Characters: compact space S ↔ Mspec(C(S))

চিত্র ৪: বামে compact space \(S\)-এর points \(p_1, \ldots, p_5\); ডানে \(C(S)\)-এর maximal ideals \(M_{p_1}, \ldots, M_{p_5}\)। এই দুই সেটের মধ্যে bijection — Gelfand's great insight।

Spectral Radius Formula

উপপাদ্য (Sternberg 9.3.4): Spectral Radius

Banach algebra \(A\)-এ \(x \in A\)-এর spectral radius (স্পেকট্রাল ব্যাসার্ধ) \(|x|_{\rm sp} := \max_{\lambda \in \sigma(x)} |\lambda|\) সন্তুষ্ট করে:

\[|x|_{\rm sp} = \lim_{n \to \infty} \|x^n\|^{1/n}\]

Commutative \(A\)-তে: \(\|\hat{x}\|_\infty = |x|_{\rm sp}\)

প্রমাণ-স্কেচ: Upper bound সহজ: \(|x|_{\rm sp} \leq \|x^n\|^{1/n}\) সব \(n\)-এর জন্য। Lower bound-এর জন্য: \(|\mu| < 1/|x|_{\rm sp}\) হলে \((e - \mu x)^{-1}\) exists — এর Laurent expansion এবং uniform boundedness principle দিয়ে lim sup-এর bound পাওয়া যায়। \(\square\)

C*-Algebra ও Gelfand–Naimark Theorem

একটা Banach algebra \(A\)-তে যদি একটা involution (ইনভোলিউশন) \(*: A \to A\) থাকে যা সন্তুষ্ট করে:

  • \((a^*)^* = a\), \((ab)^* = b^* a^*\), \((\alpha a)^* = \bar{\alpha} a^*\)
  • C*-identity: \(\|aa^*\| = \|a\|^2\)

তাহলে \(A\)-কে বলা হয় C*-algebra (C-স্টার অ্যালজেব্রা)

উপপাদ্য: Gelfand–Naimark Theorem (1943)

প্রতিটা commutative C-algebra \(A\) (with identity) isometrically -isomorphic** একটা \(C(X)\)-এর সাথে, যেখানে \(X = \Delta(A)\) হলো \(A\)-এর character space (compact Hausdorff)।

\[A \cong C(\Delta(A))\]

এই isomorphism-টাই Gelfand transform \(\Gamma: a \mapsto \hat{a}\)

প্রমাণ-স্কেচ (Sternberg 9.4.2): C*-identity \(\|aa^*\| = \|a\|^2\) ব্যবহার করে দেখানো যায় \(\|\hat{a}\|_\infty = \|a\|\) (isometry)। Stone–Weierstrass theorem দিয়ে \(\hat{A}\) dense in \(C(\Delta)\), আর isometry দিয়ে closed — তাই surjective। \(\square\)

Commutative C*-algebra ≅ C(X): Gelfand–Naimark

চিত্র ৫: বামে commutative C-algebra \(A\) — তিনটি শর্ত (Banach, involution, C-identity)। ডানে \(C(X)\) — compact Hausdorff space \(X\)-এর উপর continuous functions। Gelfand–Naimark বলে এই দুটো algebraically ও norm-এ identical।


৪. উদাহরণ ও Analogy

উদাহরণ ১: \(C([0,1])\)

\(A = C([0,1])\) (real-valued continuous functions on \([0,1]\), uniform norm)।

  • \(\Delta(A) \cong [0,1]\) — প্রতিটা maximal ideal হলো \(M_t = \{f : f(t) = 0\}\), character হলো \(h_t(f) = f(t)\)
  • Gelfand transform: \(\hat{f} = f\) — একদম সরল।
  • \(\sigma(f) = f([0,1])\) (image of \(f\))।

উদাহরণ ২: Normal Operator থেকে C*-Algebra

\(T\) যদি Hilbert space \(H\)-এ normal operator (স্বাভাবিক অপারেটর) (\(TT^* = T^*T\)) হয়, তাহলে \(T\)\(T^*\) দিয়ে generate করা commutative C*-algebra \(A_T\) consider করো।

Gelfand–Naimark দেয়: \(A_T \cong C(\sigma(T))\)। তাহলে \(T\)-এর উপর যেকোনো Borel function \(f: \sigma(T) \to \mathbb{C}\) apply করা যায় — এটাই functional calculus (ফাংশনাল ক্যালকুলাস)

\[f(T) = \int_{\sigma(T)} f(\lambda)\, dE_\lambda\]

যেখানে \(E_\lambda\) হলো \(T\)-এর spectral measure।

Functional Calculus: f(T) via spectrum

চিত্র ৬: বামে \(T\)-এর spectrum (real line-এ বিন্দু), মাঝে Borel function \(f\) spectrum-এর উপর, ডানে \(f(T)\) — operator। Functional calculus হলো এই তিনটির মধ্যে সংযোগ।

Analogy: Diagonalization-এর সাধারণীকরণ

সাধারণ linear algebra-তে diagonalizable matrix \(T\) = \(PDP^{-1}\) — eigenvalue \(\lambda_i\)-তে \(f(T) = P\, \text{diag}(f(\lambda_i))\, P^{-1}\)। Gelfand transform এটাকে অসীম মাত্রায় নিয়ে যায়: discrete \(\lambda_i\)-এর জায়গায় continuous spectrum, sum-এর জায়গায় integral।


৫. Spectral Radius এবং Gelfand Formula

Spectral Radius: |x|_sp = lim ||x^n||^{1/n}

চিত্র ৭: বামে \(\sigma(x)\) complex plane-এ — spectral radius হলো সবচেয়ে বড় \(|\lambda|\) (নীল বৃত্তের radius)। ডানে \(\|x^n\|^{1/n}\) sequence যা spectral radius-এ converge করে (Gelfand formula)।


৬. সাধারণ ভুল (Common Mistakes)

সাবধান

ভুল ১: Banach algebra মানেই Hilbert space — তা নয়। \(C(X)\), \(L^1(G)\) উভয়ই Banach algebra কিন্তু সাধারণত Hilbert space নয়।

ভুল ২: Spectrum empty হতে পারে — পারে না (complex Banach algebra-তে সবসময় non-empty)। Real algebra-তে empty হতে পারে।

ভুল ৩: Gelfand transform সবসময় injective — তা নয়। \(\hat{a} = 0\) হতে পারে যদি \(a\) সব maximal ideal-এ থাকে (generalized nilpotent)।

ভুল ৪: C*-identity \(\|aa^*\| = \|a\|^2\) শুধু technical condition — এটা আসলে অত্যন্ত শক্তিশালী: এর থেকেই Gelfand–Naimark-এর isometry বেরিয়ে আসে।


৭. এক্সারসাইজ (Exercises)

সমস্যা ১। দেখাও যে \(L^1(\mathbb{R})\) (convolution product সহ) একটা commutative Banach algebra কিন্তু identity নেই। (\(L^1(\mathbb{R})\)-এ identity থাকলে সেটা কেমন দেখাতো? কেন সম্ভব নয়?)

সমস্যা ২। \(A = M_2(\mathbb{C})\) (2×2 complex matrices, operator norm)। \(a = \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}\) element-টার spectrum কী? \(\sigma(a)\) কি empty?

সমস্যা ৩। প্রমাণ করো: commutative Banach algebra \(A\)-তে \(|x|_{\rm sp} \leq \|x\|\) সবসময়। এছাড়া কোনো \(x\) দিয়ে উদাহরণ দাও যেখানে \(|x|_{\rm sp} < \|x\|\)

সমস্যা ৪। \(C([0,1])\)-এ \(f(t) = t\) element-এর spectral radius কত? Gelfand formula থেকে confirm করো।

সমস্যা ৫। ধরো \(A\) একটা commutative Banach algebra এবং \(a, b \in A\)। প্রমাণ করো \(\sigma(ab) \setminus \{0\} = \sigma(ba) \setminus \{0\}\)

সমস্যা ৬। Normal operator \(T\) on \(H\) নাও। দেখাও যে \(T\)-এর C*-identity \(\|T^*T\| = \|T\|^2\) hold করে।

সমস্যা ৭। \(A\) একটা commutative C*-algebra এবং \(X = \Delta(A)\)। যদি \(X\) finite হয়, \(A\) কেমন দেখায়?

সমস্যা ৮। Polynomial spectral mapping theorem (Sternberg Prop. 9.0.2): প্রমাণ করো \(P(\sigma(x)) = \sigma(P(x))\) যেকোনো polynomial \(P\)-এর জন্য।

১-নং সমাধান দেখাও

\(L^1(\mathbb{R})\)-এ identity \(e\) থাকলে হতো \(e * f = f\) সব \(f\)-এর জন্য। Fourier transform নিলে \(\hat{e}(\xi) \cdot \hat{f}(\xi) = \hat{f}(\xi)\) সব \(\xi\)-এর জন্য, অর্থাৎ \(\hat{e}(\xi) = 1\) সব \(\xi\)-এর জন্য। কিন্তু Riemann–Lebesgue lemma বলে \(L^1\)-function-এর Fourier transform \(\to 0\) as \(|\xi| \to \infty\) — contradiction। তাই \(L^1(\mathbb{R})\)-এ identity নেই। (Approximate identity \(\{k_\varepsilon\}\) ব্যবহার করা যায় — কিন্তু সেগুলো limit, exact identity নয়।)

২-নং সমাধান দেখাও

\(a = \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}\)\((a - \lambda I) = \begin{pmatrix} -\lambda & 1 \\ 0 & -\lambda \end{pmatrix}\)\(\det(a - \lambda I) = \lambda^2\)। Invertible হতে \(\det \neq 0\) দরকার, তাই \(\lambda^2 = 0 \Rightarrow \lambda = 0\)। সুতরাং \(\sigma(a) = \{0\}\)। Spectrum non-empty — complex Banach algebra-তে সবসময়।

৩-নং সমাধান দেখাও

\(|x|_{\rm sp} \leq \|x\|\): যদি \(|\lambda| > \|x\|\) হয়, তাহলে \(\|x/\lambda\| < 1\) তাই \((e - x/\lambda)\) invertible (geometric series), অর্থাৎ \((x - \lambda e) = -\lambda(e - x/\lambda)\) invertible। তাই \(\lambda \notin \sigma(x)\)

উদাহরণ \(|x|_{\rm sp} < \|x\|\): \(A = M_2(\mathbb{C})\), \(x = \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}\)\(\sigma(x) = \{0\}\) তাই \(|x|_{\rm sp} = 0\), কিন্তু \(\|x\| = 1\)

৪-নং সমাধান দেখাও

\(f(t) = t \in C([0,1])\)\(\sigma(f) = f([0,1]) = [0,1]\) (image of \(f\))। তাই \(|f|_{\rm sp} = \max_{t \in [0,1]} |t| = 1\)। Gelfand formula: \(\|f^n\|_\infty = \max_{t \in [0,1]} t^n = 1\) সব \(n\)-এর জন্য (maximum at \(t=1\))। \(\|f^n\|^{1/n} = 1^{1/n} = 1 \to 1 = |f|_{\rm sp}\)। ✓

৫-নং সমাধান দেখাও

ধরো \(\lambda \neq 0\) এবং \(\lambda \in \sigma(ab)\), অর্থাৎ \((ab - \lambda e)\) invertible নয়। \((ab - \lambda e) = a(b) - \lambda e\)। Suppose \((ba - \lambda e)\) invertible, set \(c = (ba - \lambda e)^{-1}\)। তখন \(bcb\) কে ব্যবহার করে দেখানো যায় \((ab - \lambda e)(I + \frac{1}{\lambda}abcb) =\) something, আর এর থেকে \((ab - \lambda e)\) invertible — contradiction। Symmetry argument দিয়ে দুই দিকই।

৬-নং সমাধান দেখাও

Normal operator \(T\): \(T^*T = TT^*\)\(\|T^*T\| \leq \|T^*\| \|T\| = \|T\|^2\) (submultiplicativity + \(\|T^*\| = \|T\|\))। অন্যদিকে \(\|T\|^2 = \sup_{\|\psi\|=1} \|T\psi\|^2 = \sup (T\psi, T\psi) = \sup (T^*T\psi, \psi) \leq \|T^*T\|\)। তাই \(\|T^*T\| = \|T\|^2\)

৭-নং সমাধান দেখাও

\(X = \Delta(A)\) finite মানে \(X = \{x_1, \ldots, x_n\}\)। তখন \(C(X) = \{f: X \to \mathbb{C}\}\) — এটা শুধুমাত্র \(n\)-tuple-এর space। Gelfand–Naimark: \(A \cong C(X) \cong \mathbb{C}^n\)। অর্থাৎ \(A\) finite-dimensional commutative C*-algebra।

৮-নং সমাধান দেখাও

ধরো \(P(t) = c \prod_i (t - \mu_i)\)। তাহলে \(P(x) - \lambda e = c \prod_i (x - \mu_i e)\)\((P(x) - \lambda e)\) invertible হওয়ার শর্ত: প্রতিটা \((x - \mu_i e)\) invertible, অর্থাৎ \(\mu_i \notin \sigma(x)\)। আর \(P(\mu) = \lambda\) হওয়ার সমাধানগুলোই হলো \(\mu_i\)। তাই \(\lambda \in \sigma(P(x)) \Leftrightarrow \exists\, \mu_i\) s.t. \(P(\mu_i) = \lambda\) এবং \(\mu_i \in \sigma(x)\), অর্থাৎ \(\lambda \in P(\sigma(x))\)


৮. সারসংক্ষেপ ও Checklist

  • [ ] Banach algebra সংজ্ঞা: Banach space + associative product + submultiplicative norm \(\|ab\| \leq \|a\| \|b\|\)
  • [ ] Spectrum: \(\sigma(a) = \{\lambda \in \mathbb{C} : (a - \lambda e) \text{ না invertible}\}\) — compact, non-empty।
  • [ ] Invertible elements একটা open set; geometric series \((e-x)^{-1} = \sum x^n\) যদি \(\|x\| < 1\)
  • [ ] Character / maximal ideal: \(h: A \to \mathbb{C}\) homomorphism; \(\Delta = \Delta(A)\) character space।
  • [ ] Gelfand transform: \(\hat{a}(h) = h(a)\); norm-decreasing homomorphism \(A \to C(\Delta)\)
  • [ ] Gelfand–Mazur: নরমড division algebra over \(\mathbb{C}\) হলো \(\mathbb{C}\) নিজেই।
  • [ ] C*-algebra: \(\|aa^*\| = \|a\|^2\) — এই শর্তটাই সব শক্তির উৎস।
  • [ ] Gelfand–Naimark: commutative C*-algebra \(\cong C(X)\) — spectral theorem-এর বীজগাণিতিক মূল।
  • [ ] Spectral radius formula: \(|x|_{\rm sp} = \lim_{n\to\infty} \|x^n\|^{1/n}\)
  • [ ] Functional calculus: \(f(T) = \int f(\lambda)\,dE_\lambda\) — Gelfand–Naimark থেকে সরাসরি।

➡️ পরের অধ্যায়: 7.6 — Stone's Theorem — one-parameter unitary group \(U(t)\) এবং তার generator \(A\): Stone-এর theorem বলে \(U(t) = e^{itA}\) একটা unique self-adjoint \(A\) দিয়ে, যার সরাসরি প্রয়োগ quantum mechanics-এ।