अनुक्रम समष्टि

फलनिक विश्लेषण और गणित के संबंधित क्षेत्रों में, अनुक्रम स्थान एक सदिश समष्टि है जिसका तत्व वास्तविक संख्या या समिश्र संख्या के अनुक्रम हैं। समतुल्य रूप से, यह फलन समष्‍टि है जिसके तत्व प्राकृतिक संख्याओं से लेकर वास्तविक या समिश्र संख्या के क्षेत्र (गणित)  K  तक के फलन हैं। ऐसे सभी फलन का समुच्चय स्वाभाविक रूप से K में तत्वों के साथ सभी संभावित अनंत अनुक्रमों के समुच्चय के साथ पहचाना जाता है, और फलन के बिंदुवार जोड़ और बिंदुवार स्केलर गुणन के संचालन के तहत एक वेक्टर अंतरिक्ष में परिवर्तित किया जा सकता है। सभी अनुक्रम स्थान इस स्थान के रैखिक उप-स्थान हैं। अनुक्रम स्थान आमतौर पर एक आदर्श (गणित) या कम से कम एक स्थलीय वेक्टर अंतरिक्ष की संरचना से लैस होते हैं।

विश्लेषण में सबसे महत्वपूर्ण अनुक्रम स्थान हैं $ℓ$ रिक्त स्थान, से मिलकर $p$-पॉवर समेबल सीक्वेंस, पी-नॉर्म के साथ। ये एलपी स्पेस के विशेष मामले हैं | एलp प्राकृत संख्याओं के समुच्चय पर गणना माप के लिए रिक्त स्थान। अनुक्रमों के अन्य महत्वपूर्ण वर्ग जैसे अभिसरण अनुक्रम या #c, c0 और c00 अनुक्रम स्थान बनाते हैं, क्रमशः c और c को निरूपित करते हैं0, सर्वोच्च मानदंड के साथ। किसी भी अनुक्रम स्थान को बिंदुवार अभिसरण की टोपोलॉजी से भी सुसज्जित किया जा सकता है, जिसके तहत यह एक विशेष प्रकार का फ्रेचेट स्थान बन जाता है जिसे एफके-अंतरिक्ष  कहा जाता है।

परिभाषा
एक क्रम $$x_{\bull} = \left(x_n\right)_{n \in \N}$$ एक समुच्चय में $$X$$ बस एक है $$X$$-मूल्यवान नक्शा $$x_{\bull} : \N \to X$$ जिसका मूल्य पर $$n \in \N$$ द्वारा निरूपित किया जाता है $$x_n$$ सामान्य कोष्ठक संकेतन के बजाय $$x(n).$$

सभी अनुक्रमों का स्थान
होने देना $$\mathbb{K}$$ वास्तविक या सम्मिश्र संख्याओं के क्षेत्र को निरूपित करें। समुच्चय $$\mathbb{K}^{\N}$$ के तत्वों के सभी अनुक्रम (गणित) के $$\mathbb{K}$$ घटकवार संचालन जोड़ के लिए एक सदिश समष्टि है
 * $$\left(x_n\right)_{n \in \N} + \left(y_n\right)_{n \in \N} = \left(x_n + y_n\right)_{n \in \N},$$

और घटकवार अदिश गुणन
 * $$\alpha\left(x_n\right)_{n \in \N} = \left(\alpha x_n\right)_{n \in \N}.$$

एक अनुक्रम स्थान का कोई रैखिक उप-स्थान है $$\mathbb{K}^{\N}.$$ एक टोपोलॉजिकल स्पेस के रूप में, $$\mathbb{K}^{\N}$$ स्वाभाविक रूप से उत्पाद टोपोलॉजी से संपन्न है। इस टोपोलॉजी के तहत $$\mathbb{K}^{\N}$$ फ्रेचेट स्पेस है। फ्रेचेट, जिसका अर्थ है कि यह एक पूर्ण टोपोलॉजिकल वेक्टर स्पेस है, मेट्रिजेबल टोपोलॉजिकल वेक्टर स्पेस, स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस। स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस (टीवीएस)। हालाँकि, यह टोपोलॉजी बल्कि पैथोलॉजिकल है: इसमें कोई निरंतर फलन नॉर्म्स नहीं हैं $$\mathbb{K}^{\N}$$ (और इस प्रकार उत्पाद टोपोलॉजी किसी भी मानदंड (गणित) द्वारा सामान्य स्थान नहीं बना सकता है)। फ्रीचेट रिक्त स्थान के बीच, $$\mathbb{K}^{\N}$$ कोई निरंतर मानदंड नहीं होने में न्यूनतम है:

लेकिन उत्पाद टोपोलॉजी भी अपरिहार्य है: $$\mathbb{K}^{\N}$$ स्थानीय रूप से उत्तल टोपोलॉजी हॉसडॉर्फ टोपोलॉजी की तुलना को स्वीकार नहीं करता है। इस कारण से, अनुक्रमों का अध्ययन रुचि के एक सख्त रैखिक उप-स्थान को खोजने से शुरू होता है, और इसे उप-स्थान टोपोलॉजी से अलग एक टोपोलॉजी के साथ संपन्न करता है।

$ℓ^{p}$ रिक्त स्थान
के लिए $$0 < p < \infty,$$ $$\ell^p$$ का उपक्षेत्र है $$\mathbb{K}^{\N}$$ सभी अनुक्रमों से मिलकर $$x_{\bull} = \left(x_n\right)_{n \in \N}$$ संतुष्टि देने वाला $$\sum_n |x_n|^p < \infty.$$ अगर $$p \geq 1,$$ फिर वास्तविक-मूल्यवान फलन $$\|\cdot\|_p$$ पर $$\ell^p$$ द्वारा परिभाषित $$\|x\|_p ~=~ \left(\sum_n|x_n|^p\right)^{1/p} \qquad \text{ for all } x \in \ell^p$$ एक मानदंड (गणित) को परिभाषित करता है $$\ell^p.$$ वास्तव में, $$\ell^p$$ इस मानदंड के संबंध में एक पूर्ण मीट्रिक स्थान है, और इसलिए यह एक बनच स्थान है।

अगर $$p = 2$$ तब $$\ell^2$$ एक हिल्बर्ट अंतरिक्ष  भी है जब इसके विहित आंतरिक उत्पाद के साथ संपन्न होता है, जिसे कहा जाता है, सभी के लिए परिभाषित $$x_\bull, y_\bull \in \ell^p$$ द्वारा $$\langle x_\bull, y_\bull \rangle ~=~ \sum_n \overline{x_n} y_n.$$ इस आंतरिक उत्पाद द्वारा प्रेरित विहित मानदंड सामान्य है $$\ell^2$$-नॉर्म, जिसका अर्थ है $$\|\mathbf{x}\|_2 = \sqrt{\langle \mathbf{x}, \mathbf{x} \rangle}$$ सभी के लिए $$\mathbf{x} \in \ell^p.$$ अगर $$p = \infty,$$ तब $$\ell^{\infty}$$ मानदंड से संपन्न सभी बंधे हुए अनुक्रमों के स्थान के रूप में परिभाषित किया गया है $$\|x\|_\infty ~=~ \sup_n |x_n|,$$ $$\ell^{\infty}$$ एक बनच स्थान भी है।

अगर $$0 < p < 1,$$ तब $$\ell^p$$ एक मानदंड नहीं रखता है, बल्कि इसके द्वारा परिभाषित एक मीट्रिक स्थान है $$d(x,y) ~=~ \sum_n \left|x_n - y_n\right|^p.\,$$

सी, सी0 और सी00
ए कोई अनुक्रम है $$x_{\bull} \in \mathbb{K}^{\N}$$ ऐसा है कि $$\lim_{n \to \infty} x_n$$ मौजूद। समुच्चय {{visible anchor|c|text= $$c$$}सभी अभिसरण अनुक्रमों की एक सदिश उपसमष्टि है $$\mathbb{K}^{\N}$$ सी स्पेस कहा जाता है |. चूँकि प्रत्येक अभिसारी क्रम परिबद्ध है, $$c$$ की एक रेखीय उपसमष्टि है $$\ell^{\infty}.$$ इसके अलावा, यह अनुक्रम स्थान एक बंद उप-स्थान है $$\ell^{\infty}$$ सर्वोच्च मानदंड के संबंध में, और इसलिए यह इस मानदंड के संबंध में एक बानाच स्थान है।

एक अनुक्रम जो अभिसरण करता है $$0$$ ए कहा जाता है और कहा जाता है. अभिसरण करने वाले सभी अनुक्रमों का समुच्चय $$0$$ की एक बंद सदिश उपसमष्टि है $$c$$ कि जब सर्वोच्च मानदंड के साथ संपन्न किया जाता है, तो वह बनच स्थान बन जाता है जिसे निरूपित किया जाता है और कहा जाता है  या. वह, की उपसमष्टि है $$c_0$$ सभी अनुक्रमों से मिलकर जिसमें केवल बहुत से अशून्य तत्व होते हैं। यह एक बंद उप-स्थान नहीं है और इसलिए अनंत मानक के संबंध में एक बैनच स्थान नहीं है। उदाहरण के लिए, अनुक्रम $$\left(x_{nk}\right)_{k \in \N}$$ कहाँ $$x_{nk} = 1/k$$ पहले के लिए $$n$$ प्रविष्टियां (के लिए $$k = 1, \ldots, n$$) और हर जगह शून्य है (अर्थात, $$\left(x_{nk}\right)_{k \in \N} = \left(1, 1/2, \ldots, 1/(n-1), 1/n, 0, 0, \ldots\right)$$) एक कॉशी अनुक्रम है लेकिन यह एक अनुक्रम में परिवर्तित नहीं होता है $$c_{00}.$$

सभी परिमित अनुक्रमों का स्थान
होने देना
 * $$\mathbb{K}^{\infty}=\left\{\left(x_1, x_2,\ldots\right)\in\mathbb{K}^{\N}:\text{all but finitely many }x_i\text{ equal }0\right\}

$$,

परिमित अनुक्रमों के स्थान को निरूपित करें $$\mathbb{K}$$. सदिश समष्टि के रूप में, $$\mathbb{K}^{\infty}$$ के बराबर है $$c_{00}$$, लेकिन $$\mathbb{K}^{\infty}$$ एक अलग टोपोलॉजी है।

प्रत्येक प्राकृतिक संख्या के लिए $n \in \N$, होने देना $$\mathbb{K}^n$$ यूक्लिडियन टोपोलॉजी के साथ संपन्न सामान्य यूक्लिडियन अंतरिक्ष को निरूपित करें और जाने दें $$\operatorname{In}_{\mathbb{K}^n} : \mathbb{K}^n \to \mathbb{K}^{\infty}$$ कैनोनिकल समावेशन को निरूपित करें
 * $$\operatorname{In}_{\mathbb{K}^n}\left(x_1, \ldots, x_n\right) = \left(x_1, \ldots, x_n, 0, 0, \ldots \right)$$.

प्रत्येक समावेशन की छवि (गणित) है
 * $$\operatorname{Im} \left( \operatorname{In}_{\mathbb{K}^n} \right)

= \left\{ \left(x_1, \ldots, x_n, 0, 0, \ldots \right) : x_1, \ldots, x_n \in \mathbb{K} \right\} = \mathbb{K}^n \times \left\{ (0, 0, \ldots) \right\}$$ और इसके परिणामस्वरूप,
 * $$\mathbb{K}^{\infty} = \bigcup_{n \in \N} \operatorname{Im} \left( \operatorname{In}_{\mathbb{K}^n} \right).$$ समावेशन का यह परिवार देता है $$\mathbb{K}^{\infty}$$ एक अंतिम टोपोलॉजी $$\tau^{\infty}$$, पर टोपोलॉजी की तुलना के रूप में परिभाषित किया गया $$\mathbb{K}^{\infty}$$ जैसे कि सभी समावेशन निरंतर हैं (सुसंगत टोपोलॉजी का एक उदाहरण)। इस टोपोलॉजी के साथ, $$\mathbb{K}^{\infty}$$ एक पूर्ण टोपोलॉजिकल वेक्टर स्पेस बन जाता है, हॉसडॉर्फ स्पेस, स्थानीय रूप से उत्तल टोपोलॉजिकल वेक्टर स्पेस, अनुक्रमिक स्पेस, टोपोलॉजिकल वेक्टर स्पेस जो है फ्रेचेट-यूरीसोहन स्पेस|फ्रेचेट-उरीसोहन। टोपोलॉजी $$\tau^{\infty}$$ प्रेरित उप-स्थान टोपोलॉजी की तुलना में टोपोलॉजी की तुलना भी है $$\mathbb{K}^{\infty}$$ द्वारा $$\mathbb{K}^{\N}$$.

में अभिसरण $$\tau^{\infty}$$ एक प्राकृतिक विवरण है: यदि $$v \in \mathbb{K}^{\infty}$$ और $$v_{\bull}$$ में क्रम है $$\mathbb{K}^{\infty}$$ तब $$v_{\bull} \to v$$ में $$\tau^{\infty}$$ अगर और केवल $$v_{\bull}$$ अंततः एक छवि में समाहित है $$\operatorname{Im} \left( \operatorname{In}_{\mathbb{K}^n} \right)$$ और $$v_{\bull} \to v$$ उस छवि की प्राकृतिक टोपोलॉजी के तहत।

अक्सर, प्रत्येक छवि $$\operatorname{Im} \left( \operatorname{In}_{\mathbb{K}^n} \right)$$ अनुरूप से पहचाना जाता है $$\mathbb{K}^n$$; स्पष्ट रूप से, तत्व $$\left( x_1, \ldots, x_n \right) \in \mathbb{K}^n$$ और $$\left( x_1, \ldots, x_n, 0, 0, 0, \ldots \right)$$ पहचाने जाते हैं। यह इस तथ्य से सुगम है कि उप-स्थान टोपोलॉजी चालू है $$\operatorname{Im} \left( \operatorname{In}_{\mathbb{K}^n} \right)$$, मानचित्र से भागफल टोपोलॉजी $$\operatorname{In}_{\mathbb{K}^n}$$, और यूक्लिडियन टोपोलॉजी चालू $$\mathbb{K}^n$$ सभी मेल खाते हैं। इस पहचान से, $$\left( \left(\mathbb{K}^{\infty}, \tau^{\infty}\right), \left(\operatorname{In}_{\mathbb{K}^n}\right)_{n \in \N}\right)$$ निर्देशित प्रणाली की प्रत्यक्ष सीमा है $$\left( \left(\mathbb{K}^n\right)_{n \in \N}, \left(\operatorname{In}_{\mathbb{K}^m\to\mathbb{K}^n}\right)_{m \leq n\in\N},\N \right),$$ जहां हर समावेशन अनुगामी शून्य जोड़ता है:
 * $$\operatorname{In}_{\mathbb{K}^m\to\mathbb{K}^n}\left(x_1, \ldots, x_m\right) = \left(x_1, \ldots, x_m, 0, \ldots, 0 \right)$$.

यह दर्शाता है कि $$\left(\mathbb{K}^{\infty}, \tau^{\infty}\right)$$ एक एलबी-स्पेस है।

अन्य अनुक्रम रिक्त स्थान
बंधी हुई श्रृंखला (गणित) का स्थान, Bs स्थान द्वारा निरूपित, अनुक्रमों का स्थान है $$x$$ जिसके लिए
 * $$\sup_n \left\vert \sum_{i=0}^n x_i \right\vert < \infty.$$

यह स्थान, जब आदर्श से सुसज्जित है
 * $$\|x\|_{bs} = \sup_n \left\vert \sum_{i=0}^n x_i \right\vert,$$

एक Banach स्थान isometrically isomorphic है $$\ell^{\infty},$$ रेखीय मानचित्रण के माध्यम से
 * $$(x_n)_{n \in \N} \mapsto \left(\sum_{i=0}^n x_i\right)_{n \in \N}.$$

सभी अभिसरण श्रृंखलाओं से युक्त उपसमष्टि cs एक उपसमष्टि है जो इस तुल्याकारिता के अंतर्गत स्थान c में जाती है।

अंतरिक्ष Φ या $$c_{00}$$ को सभी अनंत अनुक्रमों के स्थान के रूप में परिभाषित किया गया है जिसमें केवल गैर-शून्य शब्दों की सीमित संख्या (सीमित समर्थन वाले अनुक्रम) हैं। यह समुच्चय कई सीक्वेंस स्पेस में घना समुच्चय है।

ℓ के गुणp स्पेस और स्पेस c0
अंतरिक्ष ℓ2 केवल ℓ हैp स्थान जो एक हिल्बर्ट स्थान है, क्योंकि किसी आंतरिक उत्पाद द्वारा प्रेरित किसी भी मानक को समांतर चतुर्भुज नियम को पूरा करना चाहिए


 * $$\|x+y\|_p^2 + \|x-y\|_p^2= 2\|x\|_p^2 + 2\|y\|_p^2.$$

एक्स और वाई के लिए दो अलग-अलग यूनिट वैक्टरों को प्रतिस्थापित करने से सीधे पता चलता है कि पहचान तब तक सत्य नहीं है जब तक कि p = 2।

प्रत्येक $ℓ^{p}$ अलग है, उसमें $ℓ^{p}$ का सख्त उपसमुच्चय है $ℓ^{s}$ जब भी p < s; आगे, $ℓ^{p}$ रैखिक रूप से समरूप नहीं है $ℓ^{s}$ कब$p ≠ s$. वास्तव में, पिट के प्रमेय द्वारा, प्रत्येक परिबद्ध रैखिक संचालिका से $ℓ^{s}$ को $ℓ^{p}$ कॉम्पैक्ट ऑपरेटर है जब $p < s$. ऐसा कोई संकारक तुल्याकारिता नहीं हो सकता; और आगे, यह किसी अनंत-आयामी उपसमष्टि पर एक तुल्याकारिता नहीं हो सकता $ℓ^{s}$, और इस प्रकार इसे सख्ती से एकवचन कहा जाता है।

अगर 1 < p < ∞, तो दोहरी जगह|(निरंतर) ℓ की दोहरी जगहp isometrically isomorphic to ℓ हैq, जहाँ q, p: 1/p + 1/q = 1 का होल्डर संयुग्मी है। विशिष्ट समरूपता एक तत्व x से संबद्ध है $ℓ^{q}$ फलनिक $$L_x(y) = \sum_n x_n y_n$$ में वाई के लिए $ℓ^{p}$. होल्डर की असमानता का अर्थ है कि एलx एक परिबद्ध रेखीय फलनिक है $ℓ^{p}$, और वास्तव में $$|L_x(y)| \le \|x\|_q\,\|y\|_p$$ ताकि ऑपरेटर मानदंड संतुष्ट हो
 * $$\|L_x\|_{(\ell^p)^*} \stackrel{\rm{def}}{=}\sup_{y\in\ell^p, y\not=0} \frac{|L_x(y)|}{\|y\|_p} \le \|x\|_q.$$

वास्तव में, y का अवयव लेना $ℓ^{p}$ साथ
 * $$y_n = \begin{cases}

0&\text{if}\ x_n=0\\ x_n^{-1}|x_n|^q &\text{if}~ x_n \neq 0 \end{cases}$$ एल देता हैx(वाई) = ||x||q, ताकि वास्तव में
 * $$\|L_x\|_{(\ell^p)^*} = \|x\|_q.$$

इसके विपरीत, एक परिबद्ध रैखिक फलनिक L पर दिया गया है $ℓ^{p}$, द्वारा परिभाषित अनुक्रम $x_{n} = L(e_{n})$ ℓ में स्थित हैक्ष. इस प्रकार मानचित्रण $$x\mapsto L_x$$ एक आइसोमेट्री देता है $$\kappa_q : \ell^q \to (\ell^p)^*.$$ वो नक्शा
 * $$\ell^q\xrightarrow{\kappa_q}(\ell^p)^*\xrightarrow{(\kappa_q^*)^{-1}}$$

κ की रचना करके प्राप्त कियाp इसके दोहरे स्थान के व्युत्क्रम के साथ # एक निरंतर रैखिक मानचित्र का स्थानान्तरण रिफ्लेक्टिव स्थान के साथ मेल खाता है # ℓ की परिभाषाएँq अपने दोहरे दोहरे में। परिणामस्वरूप ℓq एक प्रतिवर्त स्थान  है। अंकन के दुरुपयोग से, ℓ की पहचान करना विशिष्ट हैq दोहरे ℓ के साथपी: (ℓपी)* = ℓ क्ष. फिर रिफ्लेक्सिविटी को पहचान के अनुक्रम से समझा जाता है (ℓपी)** = (ℓ क्ष) * = ℓ पी.

अंतरिक्ष सी0 को सभी अनुक्रमों के स्थान के रूप में परिभाषित किया गया है, जो शून्य में परिवर्तित हो रहा है, जिसका मानक ||x|| के समान है∞. यह ℓ की बंद उपसमष्टि है∞, इसलिए बनच स्पेस। सी की दोहरी जगह0 ℓ है1; ℓ का दोहरा1 ℓ है∞. प्राकृतिक संख्या सूचकांक समुच्चय के मामले में, ℓपी और सी0 वियोज्य स्थान हैं, ℓ के एकमात्र अपवाद के साथ∞. ℓ का दोहरा∞ बा अंतरिक्ष  है।

रिक्त स्थान सी0 और ℓp (1 ≤ p < ∞ के लिए) एक प्रामाणिक बिना शर्त Schauder आधार है {ei| i = 1, 2,...}, जहां ईi अनुक्रम है जो शून्य है लेकिन i में 1 के लिएवें प्रविष्टि।

अंतरिक्ष ℓ1 में शूर की संपत्ति है: ℓ में1, कोई भी अनुक्रम जो कमजोर अभिसरण (हिल्बर्ट स्पेस) है वह भी कमजोर अभिसरण (हिल्बर्ट स्पेस) है. हालांकि, अनंत-आयामी रिक्त स्थान पर कमजोर टोपोलॉजी मजबूत टोपोलॉजी से सख्ती से कमजोर है, ℓ में नेट (गणित) हैं1 जो कमजोर अभिसरण हैं लेकिन मजबूत अभिसरण नहीं हैं।

द ℓp स्पेस को कई Banach स्पेस में एम्बेडिंग किया जा सकता है। सवाल यह है कि क्या हर अनंत-आयामी बैनच स्पेस में कुछ ℓ का आइसोमोर्फ होता हैपी या सी का0, बोरिस त्सिरेलसन सो गया|बी द्वारा नकारात्मक उत्तर दिया गया। 1974 में एस. त्सिरेलसन द्वारा त्सिरेलसन अंतरिक्ष का निर्माण। दोहरा कथन, कि प्रत्येक वियोज्य बनच स्थान ℓ के भागफल स्थान (रैखिक बीजगणित) के लिए रैखिक रूप से सममितीय है।1, द्वारा सकारात्मक उत्तर दिया गया था. यही है, प्रत्येक वियोज्य बनच स्थान X के लिए, एक भागफल मानचित्र मौजूद है $$Q:\ell^1 \to X$$, ताकि X के लिए आइसोमोर्फिक हो $$\ell^1 / \ker Q$$. सामान्य तौर पर, केर क्यू ℓ में पूरक नहीं है1, अर्थात, ℓ की उपसमष्टि Y मौजूद नहीं है1 ऐसा कि $$\ell^1 = Y \oplus \ker Q$$. वास्तव में, ℓ1 में बेशुमार रूप से कई अपूर्ण उप-स्थान हैं जो एक दूसरे के लिए आइसोमोर्फिक नहीं हैं (उदाहरण के लिए, लें $$X=\ell^p$$; चूँकि अनगिनत ऐसे एक्स हैं's, और चूंकि कोई ℓ नहीं हैp किसी भी अन्य के लिए आइसोमोर्फिक है, इस प्रकार बेशुमार रूप से कई ker Q हैं'एस)।

तुच्छ परिमित-आयामी मामले को छोड़कर, ℓ की एक असामान्य विशेषताp यह है कि यह बहुपद रूप से प्रतिवर्ती स्थान नहीं है।

ℓp रिक्त स्थान p
में बढ़ रहे हैं के लिए $$p\in[1,\infty]$$, रिक्त स्थान $$\ell^p$$ में बढ़ रहे हैं $$p$$, समावेशन ऑपरेटर निरंतर होने के साथ: के लिए $$1\le pp$$. लेकिन अगर $$\|x\|_p = 1$$, तब $$|x_i|\le 1$$ सभी के लिए $$i$$, और तब $$\textstyle\sum |x_i|^q \le \textstyle\sum |x_i|^p = 1$$.

ℓ2 सभी वियोज्य, अनंत आयामी हिल्बर्ट रिक्त स्थान
के लिए समरूप है H को एक हिल्बर्ट स्पेस # वियोज्य स्पेस होने दें। एच में प्रत्येक ऑर्थोगोनल समुच्चय सबसे अधिक गणना योग्य है (यानी सीमित हिल्बर्ट स्पेस # हिल्बर्ट आयाम है या $$\,\aleph_0\,$$). निम्नलिखित दो आइटम संबंधित हैं:
 * यदि H अनंत विमीय है, तो यह ℓ के समतुल्य है 2
 * अगर $dim(H) = N$, तो H तुल्याकारी है $$\Complex^N$$

ℓ के गुण1 स्पेस
ℓ में तत्वों का एक क्रम1 जटिल अनुक्रम ℓ के स्थान में अभिसरित होता है1 यदि और केवल यदि यह इस स्थान में कमजोर रूप से अभिसरित होता है। यदि K इस स्थान का उपसमुच्चय है, तो निम्नलिखित समतुल्य हैं: यहाँ K के 'इक्विस्मॉल एट इनफिनिटी' होने का अर्थ है कि प्रत्येक के लिए $$\varepsilon > 0$$, एक प्राकृतिक संख्या मौजूद है $$n_{\varepsilon} \geq 0$$ ऐसा है कि $\sum_{n = n_{\epsilon}}^{\infty} | s_n | < \varepsilon$ सभी के लिए $$s = \left( s_n \right)_{n=1}^{\infty} \in K$$.
 * 1) के कॉम्पैक्ट है;
 * 2) के कमजोर रूप से कॉम्पैक्ट है;
 * 3) K अनंत पर परिबद्ध, बंद और समसूक्ष्म है।

यह भी देखें

 * एलपी स्पेस|एल पी  स्थान
 * त्सिरेलसन स्पेस
 * बीटा-डुअल स्पेस
 * ऑरलिज़ सीक्वेंस स्पेस
 * हिल्बर्ट अंतरिक्ष