🔢 mathematics

Perfect Sets of Liouville Numbers with Controlled Self-Powers

यह शोध पत्र निरंतरता कार्डिनैलिटी (continuum cardinality) वाले लिउविल संख्याओं (Liouville numbers) के एक पूर्ण समुच्चय का निर्माण करता है जो परिमित योग, परिमित गुणन और स्व-घात संक्रिया $x \mapsto x^x$ के अंतर्गत संवृत (closed) है, जो यह प्रदर्शित करता है कि इन अंकगणितीय रूपांतरणों के अंतर्गत लिउविल ब्रह्मांड के भीतर समृद्ध बीजगणितीय और टोपोलॉजिकल संरचनाएँ बनी रहती हैं।

मूल लेखक: Sidney A. Morris, Marcelo O. Ribeiro, Diego Marques

प्रकाशित 2026-03-27

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Sidney A. Morris, Marcelo O. Ribeiro, Diego Marques

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

यहाँ "परफेक्ट सेट्स ऑफ लिउविल नंबर्स विद कंट्रोल्ड सेल्फ-पावर्स" (Perfect Sets of Liouville Numbers with Controlled Self-Powers) शोध पत्र का सरल भाषा में अनुवाद दिया गया है:

बड़ी तस्वीर: "जंगली" और "पालतू"

संख्याओं की दुनिया की कल्पना एक विशाल महासागर के रूप में करें।

परिमेय संख्याएँ (Rational numbers) (जैसे 1/2 या 3/4) शांत, अनुमानित द्वीपों की तरह हैं। आप उन्हें सटीक रूप से लिख सकते हैं।
अपरिमेय संख्याएँ (Irrational numbers) (जैसे $\pi$ या $\sqrt{2}$ ) गहरे, रहस्यमय जल के समान हैं। आप उन्हें सटीक रूप से नहीं लिख सकते, लेकिन वे आमतौर पर "सामान्य" व्यवहार करती हैं।
लिउविल संख्याएँ (Liouville numbers) इस महासागर के दानव (monsters) हैं। ये इस प्रकार की एक विशेष अपरिमेय संख्याएँ हैं जो परिमेय संख्याओं के अनंत करीब होती हैं। यदि आप उन्हें एक भिन्न (fraction) के साथ अनुमानित करने का प्रयास करते हैं, तो आप किसी भी अन्य अपरिमेय संख्या की तुलना में बहुत तेज़ी से उनके और करीब पहुँच सकते हैं। वे "जंगली" हैं क्योंकि वे संख्याओं के एक-दूसरे के करीब आने के सामान्य नियमों को तोड़ देती हैं।

लंबे समय तक, गणितज्ञों को पता था कि ये दानव अस्तित्व में हैं, लेकिन उन्हें समूहों में ढूँढना कठिन था। वे बिखरे हुए, अकेले राक्षसों की तरह थे।

मुख्य प्रश्न: क्या होता है जब एक दानव खुद को खाता है?

यह शोध पत्र एक पेचीदा सवाल पूछता है: यदि आप इन जंगली लिउविल दानवों में से एक ( $x$ ) को लेते हैं और उसकी "स्व-शक्ति" (self-power, $x^x$ ) की गणना करते हैं, तो आपको क्या मिलता है?

क्या यह एक सामान्य, पालतू संख्या में बदल जाता है?
क्या यह एक जंगली दानव बना रहता है?
क्या यह कुछ पूरी तरह से नया बन जाता है?

पहले, हम जानते थे कि इन दानवों में से कुछ के लिए, $x^x$ एक "ट्रांसेंडेंटल" (transcendental) संख्या (एक बहुत ही जटिल, गैर-दोहराने वाली संख्या) बन जाती है। लेकिन लेखक यह जानना चाहते थे: क्या हम इन दानवों का एक पूरा परिवार बना सकते हैं जहाँ $x^x$ एक दानव (लिउविल संख्या) ही बना रहे?

समाधान: एक "दानव चिड़ियाघर" (Monster Zoo) बनाना

लेखकों ने केवल एक या दो उदाहरण नहीं खोजे; उन्होंने एक परफेक्ट सेट (Perfect Set) बनाया। गणित में, एक "परफेक्ट सेट" कैंटर सेट (Cantor set) की तरह होता है (एक ऐसे फ्रैक्टल धूल की कल्पना करें जो कभी समाप्त नहीं होती)। यह संख्याओं का एक संग्रह है जो है:

अनगिनत बड़ा (Uncountably large): इसमें उतनी ही संख्याएँ हैं जितनी एक रेखा पर बिंदु होते हैं ("continuum")।
सघन और जुड़ा हुआ (Dense and connected): आप किसी एक को बिना उसके पास के अनंत पड़ोसियों को खोजे अलग नहीं कर सकते।

उन्होंने इन तीन अद्भुत गुणों वाले इन संख्याओं का एक "चिड़ियाघर" बनाया:

1. "स्व-शक्ति" का कमाल (The "Self-Power" Trick)

उन्होंने लिउविल संख्याओं का एक विशिष्ट समूह पाया जहाँ, यदि आप समूह से कोई भी संख्या $x$ लेते हैं और $x^x$ की गणना करते हैं, तो परिणाम अभी भी एक लिउविल संख्या ही रहता है।

उपमा: कल्पना कीजिए कि गिरगिटों का एक समूह है। आमतौर पर, यदि आप गिरगिट को पेंट करते हैं, तो उसका रंग बदल जाता है। लेकिन इस विशिष्ट समूह में, आप उन्हें चाहे कैसे भी पेंट करें (उन्हें अपनी शक्ति से ऊपर उठाएं), वे बिल्कुल उसी रंग के बने रहते हैं। वे "स्व-संरक्षित" (self-preserving) हैं।

2. "बीजगणितीय सुरक्षा जाल" (The "Algebraic Safety Net")

यह समूह "बीजगणितीय रूप से लिउविल-बंद" (algebraically Liouville-closed) है। यह कहने का एक फैंसी तरीका है कि: यदि आप इस समूह से किन्हीं दो (या अधिक) संख्याओं को लेते हैं और उन्हें मानक गणितीय क्रियाओं (जोड़, गुणा, या बहुपद समीकरण में डालना) का उपयोग करके मिलाते हैं, तो परिणाम या तो एक सरल भिन्न (fraction) होता है या एक अन्य लिउविल दानव होता है।

उपमा: एक ऐसे क्लब की कल्पना करें जहाँ सदस्य सभी एक विशेष, अस्थिर सामग्री से बने हैं। यदि आप दो सदस्यों को आपस में टकराते हैं, तो वे सामान्य स्टील नहीं बनते; वे या तो एक हानिरहित कंकड़ (एक परिमेय संख्या) बन जाते हैं या वे और अधिक अस्थिर सामग्री (एक अन्य लिउविल संख्या) में विस्फोट हो जाते हैं। वे गलती से कभी "सामान्य" नहीं बनते।

3. "युग्म शक्ति" की महाशक्ति (The "Pairwise Power" Superpower)

सबसे प्रभावशाली हिस्सा अंतिम खंड है। उन्होंने अपने चिड़ियाघर को एक छोटे, और भी विशेष समूह ( $W$ ) बनाने के लिए परिष्कृत किया। इस समूह में, यदि आप किन्हीं दो संख्याओं $x$ और $y$ को लेते हैं (वे अलग हो सकते हैं!), और $x^y$ ( $x$ की घात $y$ ) की गणना करते हैं, तो परिणाम अभी भी एक लिउविल संख्या ही रहता है।

उपमा: अधिकांश समूहों में, यदि हम दो अलग-अलग दानवों को मिलाते हैं, तो हमें एक सामान्य जानवर मिल सकता है। लेकिन इस विशिष्ट समूह में, दो दानवों को मिलाने से हमेशा एक और दानव ही प्राप्त होता है। यह एक "केवल-दानव" पारिस्थितिकी तंत्र है।

उन्होंने यह कैसे किया? ("ट्यून्ड" निर्माण)

लेखकों ने एक निर्माण पद्धति का उपयोग किया जो एक फ्रैक्टल (जैसे प्रसिद्ध कैंटर सेट) बनाने के समान है।

ब्लूप्रिंट: उन्होंने एक मानक फ्रैक्टल पैटर्न से शुरुआत की जहाँ संख्याएँ एक विशिष्ट आधार (बेस 3) में छोटे टुकड़ों (अंकों) को जोड़कर बनाई जाती हैं।
"स्पिफी" स्थिरांक (The "Spiffy" Constants): उन्होंने इन टुकड़ों को जोड़ने के लिए एक विशेष नियम बनाया। उन्होंने इन स्थिरांकों को "स्पिफी स्थिरांक" कहा। ये संख्याएँ इस तरह से डिज़ाइन की गई हैं कि वे भिन्नों के बहुत करीब हों, लेकिन एक बहुत ही विशिष्ट और नियंत्रित तरीके से।
"ट्यूनिंग" (The "Tuning"): उन्होंने एक "ट्यूनिंग" तंत्र जोड़ा। कल्पना कीजिए कि आप ब्लॉकों का एक टावर बना रहे हैं। आमतौर पर, ब्लॉक डगमगा सकते हैं। इन लेखकों ने "ट्यून्ड स्पिफी स्थिरांक" जोड़े जो शॉक एब्जॉर्बर (झटका सहने वाले यंत्र) की तरह काम करते हैं। उन्होंने सुनिश्चित किया कि जब आप $x^x$ की गणना करते हैं, तो "डगमगाहट" (त्रुटि) इतनी कम हो और "हर" (denominator - भिन्न का आकार) ठीक उसी तरह बढ़े कि परिणाम एक लिउविल संख्या बना रहे।

यह क्यों मायने रखता है?

यह शोध पत्र टोपोलॉजिकल नंबर थ्योरी (Topological Number Theory) में एक उत्कृष्ट कार्य है।

टोपोलॉजिकल आकार: यह दिखाता है कि ये "दानव" केवल दुर्लभ, अलग-थлл पड़े विचित्र जीव नहीं हैं। वे विशाल, संरचित, अनंत परिवारों (परफेक्ट सेट्स) के रूप में बन सकते हैं।
बीजगणितीय संरचना: यह सिद्ध करता है कि लिउविल संख्याओं का "जंगली" व्यवहार मजबूत है। यहाँ तक कि जब आप स्व-शक्ति या विभिन्न सदस्यों को मिलाने जैसी जटिल क्रियाएं करते हैं, तब भी "जंगलीपन" जीवित रहता है।
विपरीत अंतर्ज्ञान (Counter-Intuition): आमतौर पर, जटिल क्रियाएं जंगली संख्याओं को "सुचारू" (smooth out) बनाने की कोशिश करती हैं। यह शोध पत्र दिखाता है कि सही निर्माण के साथ, आप अराजकता को एक संरचित, अनंत सेट में भी जीवित रख सकते हैं।

एक वाक्य में सारांश

लेखकों ने "जंगली" संख्याओं (लिउविल संख्याओं) का एक विशाल, अनंत परिवार बनाया जो इतनी पूर्णता से निर्मित है कि आप उन्हें चाहे कैसे भी मिलाएं, जोड़ें, या उनकी अपनी शक्ति से ऊपर उठाएं, वे अपना "जंगली" स्वभाव कभी नहीं खोते और हमेशा लिउविल संख्या ही बने रहते हैं।

यहाँ सिडनी ए. मॉरिस, मार्सेलो ओ. रिबेरो और डिएगो मार्केस के शोध पत्र "Perfect Sets of Liouville Numbers with Controlled Self-Powers" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या का विवरण और संदर्भ

यह शोध पत्र स्व-घातों ( $x^x$ ) के अंकगणितीय व्यवहार की जांच करता है जब $x$ एक लियोविल संख्या (Liouville number) हो।

लियोविल संख्याएँ ( $\mathcal{L}$ ): एक वास्तविक संख्या $x$ लियोविल कहलाती है यदि उसे परिमेय संख्याओं $p/q$ द्वारा अत्यंत अच्छी तरह से अनुमानित किया जा सके, विशेष रूप से $|x - p/q| < q^{-N}$ किसी भी $N \in \mathbb{N}$ के लिए। $\mathcal{L}$ एक सघन (dense) $G_\delta$ सेट है जिसका लेबेग माप (Lebesgue measure) शून्य है।
अंतराल (The Gap): हालांकि यह ज्ञात है कि $\mathcal{L}$ $L$ बीजगणितीय रूप से समृद्ध है (उदाहरण के लिए, लियोविल संख्याओं के योग और गुणनफल $\mathbb{R}$ $R$ को कवर कर सकते हैं), लेकिन $\mathcal{L}$ $L$ पर मानचित्र $x \mapsto x^x$ $x \mapsto x^{x}$ का व्यवहार स्पष्ट नहीं था।
- एक हालिया परिणाम (2023) ने दिखाया कि "मजबूत" (strong) लियोविल संख्याओं के लिए, $x^x$ अपरिमेय (transcendental) होता है।
- हालाँकि, यह अज्ञात था कि क्या $x \in \mathcal{L}$ के लिए $x^x$ एक लियोविल संख्या बना रह सकता है, और क्या ऐसे बड़े (परफेक्ट) सेट मौजूद हैं जो इस ऑपरेशन के तहत बंद (closed) हैं।
लक्ष्य: लियोविल संख्याओं के परफेक्ट सेट्स (कार्डिनैलिटी $\mathfrak{c}$ ) का निर्माण करना जहाँ स्व-घात $x^x$ (और यहाँ तक कि युग्मवार घात $x^y$ ) लियोविल गुण को बनाए रखता है, साथ ही उन सेट्स का लक्षण वर्णन करना जहाँ $x^x$ अपरिमेय है लेकिन लियोविल नहीं है।

2. कार्यप्रणाली (Methodology)

लेखक कैंटर-प्रकार के निर्माण (Cantor-type constructions), डायोफेंटाइन सन्निकटन (Diophantine approximation), और टोपोलॉजिकल तर्कों के संयोजन का उपयोग करते हैं।

A. "Spiffy" और "Tuned" स्थिरांक

मुख्य निर्माण मध्य-तिहाई कैंटर सेट (middle-third Cantor set) के एक विशिष्ट उपसमुच्चय पर आधारित है।

Spiffy Constants: इन्हें एक श्रेणी $x_a = \sum_{n=1}^\infty a_n 3^{-e_n}$ के माध्यम से परिभाषित किया गया है जहाँ $a_n \in \{0, 2\}$ और घातांक (exponents) सुपर-एक्सपोनेंशियल रूप से बढ़ते हैं ( $e_{n+1} = 3e_n$ )। इन संख्याओं को $\epsilon$ -स्ट्रॉन्ग लियोविल संख्याओं (एक उपवर्ग जिसमें और भी तेज़ सन्निकटन दरें होती हैं) के रूप में दिखाया गया है।
Tuned Spiffy Constants: एक परिशोधन (refinement) जहाँ लेखक $\log(x)$ और $x \log x$ के परिमेय सन्निकटन पर अतिरिक्त बाधाएं लागू करते हैं। इसमें $\log(x)$ के अंकों के विशिष्ट ब्लॉक्स का चयन करना शामिल है ताकि यह सुनिश्चित हो सके कि $x \log x$ के पास $U_j/V_j$ जैसे परिमेय सन्निकटन हों जिनका हर (denominator) का विकास नियंत्रित हो, जिससे $e^{x \log x} = x^x$ को लियोविल-गुणवत्ता वाले त्रुटि सीमाओं के साथ परिमेय संख्याओं द्वारा अनुमानित किया जा सके।

B. Bi-Lipschitz विश्लेषण

फलन $f(x) = x^x$ को संभालने के लिए, लेखक इसके अवकलज (derivative) $f'(x) = x^x(\log x + 1)$ का विश्लेषण करते हैं।

वे अपने डोमेन को $[\delta, 1]$ अंतराल तक सीमित करते हैं जहाँ $\delta > e^{-1}$ है। इस क्षेत्र में, $f'(x)$ शून्य से दूर रहता है, जिससे $f$ बाय-लिप्सचिट्ज़ (bi-Lipschitz) बन जाता है।
यह गुण डोमेन से इमेज (image) में टोपोलॉजिकल गुणों (जैसे घनत्व और $G_\delta$ स्थिति) और माप-सैद्धांतिक गुणों (हाउस्डॉर्फ आयाम/Hausdorff dimension) को स्थानांतरित करने के लिए महत्वपूर्ण है।

C. संभाव्य और आयामी तर्क (Probabilistic and Dimensional Arguments)

यह दिखाने के लिए कि ऐसी लियोविल संख्याएँ मौजूद हैं जिनके स्व-घात लियोविल संख्याएँ नहीं हैं, लेखक हाउस्डॉर्फ आयाम का तर्क उपयोग करते हैं। वे $\epsilon$ -स्ट्रॉन्ग लियोविल संख्याओं का एक कैंटर सेट $C$ निर्मित करते हैं और दिखाते हैं कि "खराब" सन्निकटन (गैर-लियोविल) की ओर जाने वाले बिंदुओं का हाउस्डॉर्फ आयाम छोटा है, जिससे निरंतरता कार्डिनैलिटी (continuum cardinality) का एक अवशेष सेट (residual set) बचता है।

D. सिंक्रोनाइज्ड ट्रंकेशन (Synchronized Truncations)

युग्मवार घातों ( $x^y$ ) के लिए बंद सेट्स के निर्माण के लिए, लेखक सेट के सभी तत्वों के ट्रंकेशन शेड्यूल को सिंक्रोनाइज़ करते हैं। यह सुनिश्चित करने के लिए कि $x, y \in \text{set}$ विशिष्ट विरल स्तरों (sparse levels) पर एक ही "एंकर" परिमेय सन्निकटन साझा करें, वे $y \log x$ को एक परिमेय एंकर के समान रूप से करीब रखते हैं, जिससे $x^y$ के लियोविल सन्निकटन की सुविधा होती है।

3. मुख्य योगदान और परिणाम

A. लियोविल स्व-घातों वाले परफेक्ट सेट्स का अस्तित्व

प्रमेय 2.4 (Theorem 2.4): Tuned spiffy constants का एक परफेक्ट सेट मौजूद है जिससे इस सेट के प्रत्येक $x$ के लिए, $x^x$ एक लियोविल संख्या है।
प्रमेय 5.5 (Theorem 5.5): $\mathcal{C}$ (कैंटर सेट) का एक कार्डिनैलिटी $\mathfrak{c}$ वाला परफेक्ट सेट $T$ मौजूद है जो बीजगणितीय रूप से लियोविल-बंद (algebraically Liouville-closed) है। इसका अर्थ है कि किसी भी $x_1, \dots, x_t \in T$ और किसी भी गैर-स्थिर बहुपद $P \in \mathbb{Z}[X_1, \dots, X_t]$ के लिए, $P(x_1, \dots, x_t)$ या तो परिमेय है या एक लियोविल संख्या है। इसके अलावा, प्रत्येक $x \in T$ के लिए, $x^x \in \mathcal{L}$ है।

B. गैर-लियोविल स्व-घातों वाले परफेक्ट सेट्स का अस्तित्व

प्रमेय 3.1 (Theorem 3.1): $\epsilon$ -स्ट्रॉन्ग लियोविल संख्याओं के निरंतर (continuum) अनेक $x$ मौजूद हैं जहाँ $x^x$ अपरिमेय (transcendental) है लेकिन लियोविल संख्या नहीं है। यह एक द्वंद्व (dichotomy) को प्रदर्शित करता है: स्व-घात मानचित्र या तो लियोविल गुण को बनाए रख सकता है या संख्या को "अपरिमेय लेकिन गैर-लियोविल" शासन में धकेल सकता है।

C. सेट्स की टोपोलॉजिकल संरचना

प्रमेय 4.1 और 4.3 (Theorem 4.1 & 4.3): $x > 0$ का सेट जहाँ $x^x$ अपरिमेय है, एक पूर्ण लेबेग माप वाला सघन $G_\delta$ सेट है। इसी प्रकार, $x \in \mathcal{L}$ का सेट जहाँ $x^x \in \mathcal{L}$ है, $(0, \infty)$ का एक सघन $G_\delta$ उपसमुच्चय है।
यह पुष्टि करता है कि लियोविल-संरक्षण (Liouville-preserving) व्यवहार धनात्मक वास्तविक संख्याओं के स्थान के भीतर टोपोलॉजिकल रूप से जेनेरिक (generic) है, भले ही $\mathcal{L}$ का अंकगणितीय माप शून्य हो।

D. युग्मवार पावर क्लोजर (Pairwise Power Closure)

प्रमेय 6.1 (Theorem 6.1): लेखक कार्डिनैलिटी $\mathfrak{c}$ का एक परफेक्ट सेट $W$ निर्मित करते हैं ताकि सभी जोड़ों $x, y \in W$ के लिए, घात $x^y$ एक लियोविल संख्या हो।
उपप्रमेय 6.1 (Corollary 6.1): $W$ के भीतर, $\mathfrak{c}$ लंबाई का एक सख्ती से घटता हुआ (strictly descending) परफेक्ट सेट्स का श्रृंखला $\{W_t\}_{t \in (0,1)}$ मौजूद है, जो सभी युग्मवार पावर-लियोविल गुण को बनाए रखते हैं।

4. महत्व

खुले प्रश्नों का समाधान: यह शोध पत्र इस प्रश्न को हल करता है कि क्या $x \in \mathcal{L}$ के लिए $x^x$ लियोविल हो सकता है, यह सिद्ध करते हुए कि न केवल ऐसा $x$ मौजूद है, बल्कि उनके एक पूरे परफेक्ट सेट भी मौजूद हैं।
बीजगणितीय समापन (Algebraic Closure): यह "बीजगणितीय रूप से लियोविल-बंद" परफेक्ट सेट्स के अस्तित्व को स्थापित करता है। यह एक मजबूत संरचनात्मक परिणाम है, जो दिखाता है कि लियोविल ब्रह्मांड (universe) जटिल बीजगणितीय संक्रियाओं (बहुपद) और अपरिमेय संक्रियाओं (स्व-घात) को बिना लियोविल वर्ग से बाहर निकले (सिवाय परिमेय परिणामों के) सहारा देने के लिए पर्याप्त रूप से सुदृढ़ है।
टोपोलॉजी और अंकगणित का अंतर्संबंध: यह कार्य एक दिलचस्प तनाव को उजागर करता है: जबकि लियोविल संख्याएँ "अंकगणितीय रूप से पतली" (माप शून्य) हैं, वे "टोपोलॉजिकल रूप से बड़ी" (सघन $G_\delta$ ) हैं। लेखक दिखाते हैं कि इस टोपोलॉजिकल विशालता के भीतर, वे अत्यधिक संरचित उपसमुच्चय पा सकते हैं जो $x \mapsto x^x$ जैसे गैर-रैखिक मानचित्रों के तहत विशिष्ट अंकगणितीय गुणों को बनाए रखते हैं।
कार्यप्रणालीगत नवाचार: "Tuned spiffy constants" का परिचय और सिंक्रोनाइज़्ड ट्रंकेशन शेड्यूल का उपयोग सटीक डायोफेंटाइन गुणों वाले सेट्स के निर्माण के लिए नए उपकरण प्रदान करता है, जो अपरिमेयता और सन्निकटन से संबंधित अन्य समस्याओं में भी लागू हो सकते हैं।

संक्षेप में, यह शोध पत्र प्रदर्शित करता है कि लियोविल संख्याओं का वर्ग केवल असामान्य उदाहरणों का संग्रह नहीं है, बल्कि इसमें समृद्ध, परफेक्ट उप-संरचनाएं हैं जो योग, गुणन और स्व-घात मानचित्र $x \mapsto x^x$ के तहत स्थिर रहती हैं।