गणनीय संख्या

गणित में, संगणनीय संख्याएँ वास्तविक संख्याएँ होती हैं, जिनकी गणना परिमित, समाप्ति कलन विधि द्वारा किसी भी वांछित परिशुद्धता के भीतर की जा सकती है। उन्हें पुनरावर्ती संख्या, प्रभावी संख्या के रूप में भी जाना जाता है या गणनीय वास्तविक या पुनरावर्ती वास्तविक। उस समय उपलब्ध संगणना की सहज धारणा का उपयोग करते हुए, 1912 में एमिल बोरेल द्वारा एक संगणनीय वास्तविक संख्या की अवधारणा पेश की गई थी। एल्गोरिदम के औपचारिक प्रतिनिधित्व के रूप में μ-पुनरावर्ती कार्यों, ट्यूरिंग मशीनें, या लैम्ब्डा कैलकुलस | λ-कैलकुलस का उपयोग करके समकक्ष परिभाषाएं दी जा सकती हैं। संगणनीय संख्याएं एक वास्तविक बंद क्षेत्र बनाती हैं और कई के लिए वास्तविक संख्याओं के स्थान पर उपयोग की जा सकती हैं, लेकिन सभी गणितीय उद्देश्यों के लिए नहीं।

उदाहरण के रूप में ट्यूरिंग मशीन का उपयोग करके अनौपचारिक परिभाषा
निम्नलिखित में, मार्विन मिंस्की ने 1936 में एलन ट्यूरिंग द्वारा परिभाषित किए गए तरीकों के समान गणना की जाने वाली संख्याओं को परिभाषित किया; यानी, 0 और 1 के बीच दशमलव अंशों के रूप में व्याख्या किए गए अंकों के अनुक्रम के रूप में:

"A computable number [is] one for which there is a Turing machine which, given n on its initial tape, terminates with the nth digit of that number [encoded on its tape]."

परिभाषा में मुख्य धारणाएं हैं (1) कि कुछ n प्रारंभ में निर्दिष्ट हैं, (2) किसी भी n के लिए गणना केवल एक सीमित संख्या में कदम उठाती है, जिसके बाद मशीन वांछित आउटपुट उत्पन्न करती है और समाप्त हो जाती है।

(2) का एक वैकल्पिक रूप - मशीन क्रमिक रूप से अपने टेप पर सभी n अंकों को प्रिंट करती है, nth को प्रिंट करने के बाद रुक जाती है - मिंस्की के अवलोकन पर जोर देती है: (3) कि ट्यूरिंग मशीन के उपयोग से, एक परिमित परिभाषा - के रूप में मशीन की राज्य तालिका - का उपयोग दशमलव अंकों की संभावित अनंत स्ट्रिंग को परिभाषित करने के लिए किया जा रहा है।

हालांकि यह आधुनिक परिभाषा नहीं है जिसके लिए किसी भी सटीकता के भीतर केवल परिणाम की आवश्यकता होती है। उपरोक्त अनौपचारिक परिभाषा एक गोल समस्या के अधीन है जिसे टेबल-मेकर की दुविधा कहा जाता है जबकि आधुनिक परिभाषा नहीं है।

औपचारिक परिभाषा
एक वास्तविक संख्या a 'गणना योग्य' है यदि इसे किसी गणना योग्य फ़ंक्शन द्वारा अनुमानित किया जा सकता है $$f:\mathbb{N}\to\mathbb{Z}$$ निम्नलिखित तरीके से: किसी भी सकारात्मक पूर्णांक n को देखते हुए, फ़ंक्शन एक पूर्णांक f(n) उत्पन्न करता है जैसे कि:


 * $${f(n)-1\over n} \leq a \leq {f(n)+1\over n}.$$

दो समान परिभाषाएँ हैं जो समतुल्य हैं:
 * एक संगणनीय कार्य मौजूद है, जो किसी भी सकारात्मक तर्कसंगत त्रुटि के लिए बाध्य है $$\varepsilon$$, एक परिमेय संख्या r उत्पन्न करता है जैसे कि $$|r - a| \leq \varepsilon.$$
 * परिमेय संख्याओं का एक संगणनीय क्रम है $$q_i$$ में अभिसरण $$a$$ ऐसा है कि $$|q_i - q_{i+1}| < 2^{-i}\,$$ प्रत्येक मैं के लिए

संगणनीय Dedekind कटौती के माध्यम से संगणनीय संख्याओं की एक और समतुल्य परिभाषा है। एक 'कम्प्यूटेबल डेडेकाइंड कट' एक कम्प्यूटेशनल फंक्शन है $$D\;$$ जो जब एक परिमेय संख्या के साथ प्रदान किया जाता है $$r$$ इनपुट रिटर्न के रूप में $$D(r)=\mathrm{true}\;$$ या $$D(r)=\mathrm{false}\;$$, निम्नलिखित शर्तों को पूरा करना:
 * $$\exists r D(r)=\mathrm{true}\;$$
 * $$\exists r D(r)=\mathrm{false}\;$$
 * $$(D(r)=\mathrm{true}) \wedge (D(s)=\mathrm{false}) \Rightarrow rr, D(s)=\mathrm{true}.\;$$

एक प्रोग्राम D द्वारा एक उदाहरण दिया गया है जो 3 के घनमूल को परिभाषित करता है। मान लीजिए $$q>0\;$$ यह द्वारा परिभाषित किया गया है:
 * $$p^3<3 q^3 \Rightarrow D(p/q)=\mathrm{true}\;$$
 * $$p^3>3 q^3 \Rightarrow D(p/q)=\mathrm{false}.\;$$

एक वास्तविक संख्या की गणना तभी की जा सकती है जब और केवल तभी जब कोई संगणनीय Dedekind कट D इसके अनुरूप हो। फ़ंक्शन डी प्रत्येक गणना योग्य संख्या के लिए अद्वितीय है (हालांकि निश्चित रूप से दो अलग-अलग प्रोग्राम समान फ़ंक्शन प्रदान कर सकते हैं)।

एक सम्मिश्र संख्या को संगणनीय कहा जाता है यदि उसके वास्तविक और काल्पनिक भाग संगणनीय हों।

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

जबकि वास्तविक संख्याओं का समुच्चय बेशुमार है, संगणनीय संख्याओं का समूह शास्त्रीय रूप से गणना योग्य है और इस प्रकार लगभग सभी वास्तविक संख्याएँ संगणनीय नहीं हैं। यहाँ, किसी भी गणना योग्य संख्या के लिए $$x,$$ सुव्यवस्थित सिद्धांत प्रदान करता है कि इसमें एक न्यूनतम तत्व है $$S$$ जो मेल खाता है $$x$$, और इसलिए न्यूनतम तत्वों से युक्त एक उपसमुच्चय मौजूद है, जिस पर मानचित्र एक आक्षेप है। इस आक्षेप का व्युत्क्रम संगणनीय संख्याओं की प्राकृतिक संख्याओं में एक विशेषण कार्य है, यह साबित करता है कि वे गणनीय हैं। लेकिन, फिर से, यह उपसमुच्चय संगणनीय नहीं है, भले ही संगणनीय वास्तविक स्वयं आदेशित हैं।

क्षेत्र के रूप में गुण
संगणनीय संख्याओं पर अंकगणितीय संक्रियाएँ स्वयं इस अर्थ में संगणनीय हैं कि जब भी वास्तविक संख्याएँ a और b संगणनीय होती हैं तो निम्नलिखित वास्तविक संख्याएँ भी संगणनीय होती हैं: a + b, a - b, ab, और a/b यदि b अशून्य है। ये ऑपरेशन वास्तव में समान रूप से संगणनीय हैं; उदाहरण के लिए, एक ट्यूरिंग मशीन है जो इनपुट (ए, बी,$$\epsilon$$) आउटपुट आर का उत्पादन करता है, जहां ए अनुमानित ट्यूरिंग मशीन का विवरण है, बी अनुमानित ट्यूरिंग मशीन का विवरण है, और आर एक है $$\epsilon$$ ए + बी का अनुमान।

तथ्य यह है कि संगणनीय वास्तविक संख्याएँ एक क्षेत्र (गणित) बनाती हैं, पहली बार 1954 में हेनरी गॉर्डन राइस द्वारा सिद्ध किया गया था। संगणनीय वास्तविक हालांकि एक संगणनीय बीजगणित नहीं बनाते हैं, क्योंकि एक संगणनीय क्षेत्र की परिभाषा के लिए प्रभावी समानता की आवश्यकता होती है।

ऑर्डरिंग की गैर-संगणनीयता
गणनीय संख्याओं पर क्रम संबंध संगणनीय नहीं है। बता दें कि A संख्या का अनुमान लगाने वाली ट्यूरिंग मशीन का विवरण है $$a$$. फिर कोई ट्यूरिंग मशीन नहीं है जो इनपुट A पर YES को आउटपुट करती है $$a > 0$$ और नहीं अगर $$a \le 0.$$ यह देखने के लिए, मान लीजिए कि ए द्वारा वर्णित मशीन 0 को आउटपुट करती रहती है $$\epsilon$$ सन्निकटन। यह स्पष्ट नहीं है कि यह तय करने से पहले कितना समय इंतजार करना है कि मशीन कभी भी एक अनुमान का उत्पादन नहीं करेगी जो सकारात्मक होने के लिए बाध्य करती है। इस प्रकार मशीन को अंततः यह अनुमान लगाना होगा कि आउटपुट का उत्पादन करने के लिए संख्या 0 के बराबर होगी; अनुक्रम बाद में 0 से भिन्न हो सकता है। इस विचार का उपयोग यह दिखाने के लिए किया जा सकता है कि मशीन कुछ अनुक्रमों पर गलत है यदि यह कुल फ़ंक्शन की गणना करती है। इसी तरह की समस्या तब होती है जब गणना करने योग्य वास्तविकताओं को डेडेकिंड कटौती के रूप में दर्शाया जाता है। समानता संबंध के लिए भी यही है: समानता परीक्षण गणना योग्य नहीं है।

जबकि पूर्ण क्रम संबंध संगणनीय नहीं है, असमान संख्याओं के जोड़े के लिए इसका प्रतिबंध संगणनीय है। यही है, एक प्रोग्राम है जो इनपुट के रूप में दो ट्यूरिंग मशीन ए और बी अनुमानित संख्या लेता है $$ a$$ और $$ b$$, कहाँ $$a \ne b$$, और आउटपुट करता है या नहीं $$a < b$$ या $$a > b.$$ यह प्रयोग करने के लिए पर्याप्त है $$\epsilon$$- सन्निकटन जहां $$ \epsilon < |b-a|/2,$$ इसलिए तेजी से छोटा करके $$\epsilon$$ (0 के निकट), अंतत: कोई यह तय कर सकता है कि क्या $$a < b$$ या $$a > b.$$

अन्य गुण
गणना योग्य वास्तविक संख्याएँ विश्लेषण में प्रयुक्त वास्तविक संख्याओं के सभी गुणों को साझा नहीं करती हैं। उदाहरण के लिए, संगणनीय वास्तविक संख्याओं के परिबद्ध बढ़ते संगणनीय अनुक्रम की कम से कम ऊपरी सीमा संगणनीय वास्तविक संख्या नहीं होनी चाहिए। इस संपत्ति के साथ एक अनुक्रम को स्पेकर अनुक्रम के रूप में जाना जाता है, क्योंकि पहला निर्माण 1949 में अर्नस्ट स्पेकर के कारण हुआ था। इस तरह के प्रति-उदाहरणों के अस्तित्व के बावजूद, गणना योग्य संख्याओं के क्षेत्र में कलन और वास्तविक विश्लेषण के कुछ हिस्सों को विकसित किया जा सकता है, जिससे गणना योग्य विश्लेषण का अध्ययन किया जा सकता है।

प्रत्येक गणनीय संख्या निश्चित संख्या है # अंकगणित में निश्चितता, लेकिन इसके विपरीत नहीं। कई अंकगणितीय निश्चित, गैर-गणना योग्य वास्तविक संख्याएँ हैं, जिनमें शामिल हैं: ये दोनों उदाहरण वास्तव में प्रत्येक यूनिवर्सल ट्यूरिंग मशीन के लिए निश्चित, अगणनीय संख्याओं के एक अनंत सेट को परिभाषित करते हैं। एक वास्तविक संख्या की गणना की जा सकती है यदि और केवल तभी जब प्राकृतिक संख्याओं का वह सेट (जब बाइनरी में लिखा जाता है और एक विशिष्ट कार्य के रूप में देखा जाता है) गणना योग्य होता है।
 * कोई भी संख्या जो किसी चुनी हुई एन्कोडिंग योजना के अनुसार हॉल्टिंग समस्या (या किसी अन्य अनिर्णीत समस्या) के समाधान को एनकोड करती है।
 * चैटिन स्थिरांक, $$\Omega$$, जो एक प्रकार की वास्तविक संख्या है जो हॉल्टिंग समस्या के लिए ट्यूरिंग डिग्री है।

संगणनीय वास्तविक संख्याओं का सेट (साथ ही प्रत्येक गणनीय, सघन रूप से बिना सिरों के संगणनीय वास्तविकों का सबसेट) तर्कसंगत संख्याओं के सेट के लिए आदेश-समरूपी है।

डिजिट स्ट्रिंग्स और कैंटर और बायर स्पेस
ट्यूरिंग के मूल पेपर में गणना योग्य संख्याओं को निम्नानुसार परिभाषित किया गया है:

"A real number is computable if its digit sequence can be produced by some algorithm or Turing machine. The algorithm takes an integer $n \ge 1$ as input and produces the $n$-th digit of the real number's decimal expansion as output."

(a का दशमलव विस्तार केवल दशमलव बिंदु के बाद वाले अंकों को संदर्भित करता है।)

ट्यूरिंग जानते थे कि यह परिभाषा इसके समकक्ष है $$\epsilon$$-अनुमान परिभाषा ऊपर दी गई है। तर्क इस प्रकार आगे बढ़ता है: यदि कोई संख्या ट्यूरिंग अर्थ में गणना योग्य है, तो यह भी गणना योग्य है $$\epsilon$$ भावार्थ: यदि $$n > \log_{10} (1/\epsilon)$$, तो a के लिए दशमलव प्रसार के पहले n अंक a प्रदान करते हैं $$\epsilon$$ ए का अनुमान। बातचीत के लिए, हम एक चुनते हैं $$\epsilon$$ गणना योग्य वास्तविक संख्या a और दशमलव बिंदु के बाद n वें अंक तक निश्चित रूप से सटीक सन्निकटन उत्पन्न करते हैं। यह हमेशा एक के बराबर एक दशमलव विस्तार उत्पन्न करता है लेकिन यह 9 के अनंत अनुक्रम में अनुचित रूप से समाप्त हो सकता है, इस मामले में इसका एक परिमित (और इस प्रकार गणना योग्य) उचित दशमलव विस्तार होना चाहिए।

जब तक वास्तविक संख्याओं के कुछ सामयिक गुण प्रासंगिक नहीं होते हैं, तब तक के तत्वों से निपटना अक्सर अधिक सुविधाजनक होता है $$2^{\omega}$$ (कुल 0,1 मूल्यवान फ़ंक्शन) वास्तविक संख्याओं के बजाय $$[0,1]$$. के सदस्य $$2^{\omega}$$ बाइनरी दशमलव विस्तार के साथ पहचाना जा सकता है, लेकिन दशमलव विस्तार के बाद से $$.d_1d_2\ldots d_n0111\ldots$$ और $$.d_1d_2\ldots d_n10$$ एक ही वास्तविक संख्या, अंतराल को निरूपित करें $$[0,1]$$ के उपसमुच्चय के साथ पहचाने जाने पर केवल जैविक रूप से (और उपसमुच्चय टोपोलॉजी के तहत होमोमोर्फिक रूप से) हो सकता है $$2^{\omega}$$ सभी 1 में समाप्त नहीं हो रहा है।

ध्यान दें कि दशमलव विस्तार की इस संपत्ति का मतलब है कि दशमलव विस्तार के संदर्भ में परिभाषित संगणनीय वास्तविक संख्याओं की प्रभावी ढंग से पहचान करना असंभव है और जो दशमलव विस्तार में परिभाषित हैं $$\epsilon$$ सन्निकटन भाव। हिस्ट ने दिखाया है कि ऐसा कोई एल्गोरिदम नहीं है जो इनपुट के रूप में एक ट्यूरिंग मशीन का विवरण लेता है जो उत्पादन करता है $$\epsilon$$ गणना योग्य संख्या a के लिए सन्निकटन, और आउटपुट के रूप में एक ट्यूरिंग मशीन उत्पन्न करता है जो ट्यूरिंग की परिभाषा के अर्थ में a के अंकों की गणना करता है। इसी तरह, इसका अर्थ है कि गणना योग्य वास्तविक पर अंकगणितीय संचालन दशमलव संख्याओं को जोड़ते समय उनके दशमलव निरूपण पर प्रभावी नहीं होते हैं। एक अंक का उत्पादन करने के लिए, यह निर्धारित करने के लिए कि क्या वर्तमान स्थान पर कोई कैरी है, मनमाने ढंग से दाईं ओर देखना आवश्यक हो सकता है। एकरूपता की यह कमी एक कारण है कि गणना योग्य संख्याओं की समकालीन परिभाषा का उपयोग क्यों किया जाता है $$\epsilon$$ दशमलव विस्तार के बजाय सन्निकटन।

हालाँकि, एक संगणनीयता सिद्धांत या माप सिद्धांत के दृष्टिकोण से, दो संरचनाएँ $$2^{\omega}$$ और $$[0,1]$$ मूलतः समान हैं। इस प्रकार, कम्प्यूटेबिलिटी सिद्धांतकार अक्सर सदस्यों को संदर्भित करते हैं $$2^{\omega}$$ वास्तविक के रूप में। जबकि $$2^{\omega}$$ के बारे में सवालों के लिए पूरी तरह से डिस्कनेक्ट किया गया स्थान है $$\Pi^0_1$$ कक्षाओं या यादृच्छिकता में काम करना आसान होता है $$2^{\omega}$$.

के तत्व $$\omega^{\omega}$$ कभी-कभी वास्तविक भी कहा जाता है और यद्यपि इसमें होमियोमोर्फिज्म की छवि होती है $$\mathbb{R}$$, $$\omega^{\omega}$$ स्थानीय रूप स्थानीय रूप से कॉम्पैक्ट स्थान भी नहीं है (पूरी तरह से डिस्कनेक्ट होने के अलावा)। इससे कम्प्यूटेशनल गुणों में वास्तविक अंतर होता है। उदाहरण के लिए $$x \in \mathbb{R}$$ संतुष्टि देने वाला $$\forall(n \in \omega)\phi(x,n)$$, साथ $$\phi(x,n)$$ क्वांटिफायर मुक्त, अद्वितीय होने पर गणना योग्य होना चाहिए $$x \in \omega^{\omega}$$ एक सार्वभौमिक सूत्र को संतुष्ट करने से हाइपरअरिथमेटिक पदानुक्रम में मनमाने ढंग से उच्च स्थान हो सकता है।

वास्तविक
के स्थान पर प्रयोग करें

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

सटीक अंकगणित
का कार्यान्वयन

सन्निकटन की गणना करने वाले कार्यक्रमों के रूप में वास्तविक संख्याओं का प्रतिनिधित्व करने वाले कंप्यूटर पैकेजों को सटीक अंकगणित नाम के तहत 1985 की शुरुआत में प्रस्तावित किया गया है। आधुनिक उदाहरणों में CoRN लाइब्रेरी (Coq) शामिल है, और रीयललिब पैकेज (सी ++)। कार्य की एक संबंधित रेखा एक वास्तविक रैम प्रोग्राम लेने और पर्याप्त सटीकता के तर्कसंगत या फ्लोटिंग-पॉइंट नंबरों के साथ चलाने पर आधारित है, जैसे iRRAM पैकेज।

यह भी देखें

 * रचनात्मक संख्या
 * निश्चित संख्या
 * अर्धगणना योग्य कार्य
 * ट्रांसकंप्यूटेशनल समस्या

संदर्भ

 * Computable numbers (and Turing's a-machines) were introduced in this paper; the definition of computable numbers uses infinite decimal sequences.
 * Computable numbers (and Turing's a-machines) were introduced in this paper; the definition of computable numbers uses infinite decimal sequences.
 * Computable numbers (and Turing's a-machines) were introduced in this paper; the definition of computable numbers uses infinite decimal sequences.
 * Computable numbers (and Turing's a-machines) were introduced in this paper; the definition of computable numbers uses infinite decimal sequences.
 * Computable numbers (and Turing's a-machines) were introduced in this paper; the definition of computable numbers uses infinite decimal sequences.
 * Computable numbers (and Turing's a-machines) were introduced in this paper; the definition of computable numbers uses infinite decimal sequences.
 * Computable numbers (and Turing's a-machines) were introduced in this paper; the definition of computable numbers uses infinite decimal sequences.

आगे की पढाई

 * This paper describes the development of the calculus over the computable number field.
 * §1.3.2 introduces the definition by nested sequences of intervals converging to the singleton real. Other representations are discussed in §4.1.
 * §1.3.2 introduces the definition by nested sequences of intervals converging to the singleton real. Other representations are discussed in §4.1.
 * §1.3.2 introduces the definition by nested sequences of intervals converging to the singleton real. Other representations are discussed in §4.1.