تعریف ۱۳.۲: فضای برداری با بعد نامتناهی (Infinite-Dimensional Vector Space)

۱. درک شهودی و تصویر کلان

جهان ریاضیات پر از ساختارهایی است که هر چه بردار به لیست مولد خود اضافه کنید، باز هم بردارهایی بیرون از گستره آن‌ها باقی می‌مانند! برای مثال، توابع، سیگنال‌ها، سری‌های زمانی و میدان‌های فیزیکی اغلب در فضاهایی زندگی می‌کنند که هیچ مجموعه متناهی از جهات نمی‌تواند تمام حالت‌های ممکن آن‌ها را بازسازی کند. آکسلر با تعریف بسیار ساده و مستقیم از طریق نقیض منطقی بعد متناهی، این فضاها را مرزبندی می‌کند.

۲. متن رسمی ریاضی (کتاب آکسلر)

۳. معیارهای شناخت فضای بعد-نامتناهی

چگونه ثابت کنیم یک فضای برداری بعد-نامتناهی است؟ دو روش کلاسیک وجود دارد: ۱. عدم کفایت هر لیست متناهی: نشان دهیم برای هر لیست دلخواه $v_1, \dots, v_m$، همواره برداری در فضا هست که در گستره آن‌ها قرار نمی‌گیرد (روشی که آکسلر در مثال ۱۴.۲ برای چندجمله‌ای‌ها به کار می‌برد). ۲. وجود دنباله بی‌پایان از بردارهای مستقل خطی: اگر در فضایی بتوان برای هر عدد طبیعی $n$، یک لیست مستقل خطی با طول $n$ پیدا کرد، طبق قضیه ۲۲.۲ طول لیست مستقل نمی‌تواند از طول لیست مولد بیشتر باشد؛ پس هیچ لیست مولد متناهی نمی‌تواند وجود داشته باشد.

۴. مثال‌هایی از فضاهای بعد-نامتناهی

• فضای تمام چندجمله‌ای‌ها $\mathcal{P}(\mathbb{F})$.
• فضای تمام دنباله‌های حقیقی یا مختلط $\mathbb{F}^\infty = \{(x_1, x_2, \dots) : x_j \in \mathbb{F}\}$.
• فضای تمام توابع مشتق‌پذیر $C^\infty(\mathbb{R})$.
• فضاهای هیلبرت و باناخ در آنالیز تابعی مانند $L^2([a, b])$.

۵. ارتباطات و پیوندهای اتمیک

• تعریف مکمل: تعریف ۹.۲: فضای برداری با بعد متناهی
• اثبات اولین مثال بعد-نامتناهی: مثال ۱۴.۲: فضای P(F) با بعد نامتناهی است