The minimal and the maximal sections $\wedge_f,\vee\!_f:X\to\overline{\mathbb R}$ of a function $f:X\times Y\to\overline{\mathbb R}$ are defined by $\wedge_f(x)=\inf\limits_{y\in Y}f(x,y)$ and $\vee\!\!_f(x)=\sup\limits_{y\in Y}f(x,y)$ for any $x\in X$.
A pair $(g,h)$ of functions on $X$ is called a stable pair of Hahn if there exists a sequence of continuous functions $u_n$ on $X$ such that $h(x)=\min\limits_{n\in\mathbb{N}}u_n(x)$ and $g(x)=\max\limits_{n\in\mathbb{N}}u_n(x)$ for any $x\in X$. Evidently, every stable pair of Hahn is a countable pair of Hahn, and hence a pair of Hahn. We prove that for any separately continuous function $f$ on the product of compact spaces $X$ and $Y$ such that $Y$ is scattered and at least one of them has the countable chain property, the pair $(\wedge_f,\vee\!_f)$ is a stable pair of Hahn. We prove that for any stable pair of Hahn $(g,h)$ on the product of a topological space $X$ and an infinity completely regular space $Y$ there exists a separately continuous function $f$ on $X\times Y$ such that $\wedge_f=g$ and $\vee\!_f=h$.
- পত্রিকা ID: 2501.01261
- শিরোনাম: হ্যান্ন স্থিতিশীল জোড় এবং বিক্ষিপ্ত গুণক সহ পণ্যগুলিতে পৃথকভাবে ক্রমাগত ফাংশনের চরম বিভাগ সম্পর্কে
- লেখক: Oleksandr Maslyuchenko, Anastasiia Lianha
- শ্রেণীবিভাগ: math.GN (সাধারণ টপোলজি)
- প্রকাশনার সময়: ২০২৫ সালের ১ জানুয়ারি
- পত্রিকা লিঙ্ক: https://arxiv.org/abs/2501.01261
এই পত্রিকাটি ফাংশনের চরম বিভাগ এবং হ্যান্ন জোড়ের সম্পর্ক অধ্যয়ন করে। ফাংশন f:X×Y→R এর জন্য, ন্যূনতম এবং সর্বোচ্চ বিভাগ যথাক্রমে ∧f(x)=infy∈Yf(x,y) এবং ∨f(x)=supy∈Yf(x,y) হিসাবে সংজ্ঞায়িত করা হয়। লেখকরা স্থিতিশীল হ্যান্ন জোড়ের ধারণা প্রবর্তন করেছেন এবং প্রমাণ করেছেন যে নির্দিষ্ট শর্তের অধীনে, পৃথকভাবে ক্রমাগত ফাংশনের চরম বিভাগ স্থিতিশীল হ্যান্ন জোড় গঠন করে, এবং একই সাথে স্থিতিশীল হ্যান্ন জোড়গুলি পৃথকভাবে ক্রমাগত ফাংশন দ্বারা বাস্তবায়িত হওয়ার জন্য পর্যাপ্ত শর্ত প্রদান করে।
- ঐতিহাসিক পটভূমি: বিংশ শতাব্দীর প্রাথমিকে, H. Hahn প্রমাণ করেছিলেন যে মেট্রিক স্পেসে, ফাংশনের একটি জোড়ার জন্য, যদি ছোট ফাংশনটি উপরের দিক থেকে অর্ধ-ক্রমাগত হয় এবং বৃহত্তর ফাংশনটি নিচের দিক থেকে অর্ধ-ক্রমাগত হয়, তবে তাদের মধ্যে একটি ক্রমাগত ফাংশন বিদ্যমান। এই ফলাফলটি পরবর্তীতে আরও বিস্তৃত স্পেস বিভাগে সাধারণীকৃত হয়েছিল।
- মূল সমস্যা: V.K. Maslyuchenko 2-তে হ্যান্ন জোড়ের ধারণা প্রস্তাব করেছিলেন এবং পৃথকভাবে ক্রমাগত ফাংশনের চরম বিভাগ বিবেচনা করেছিলেন। মূল সমস্যা হল: টপোলজিক্যাল স্পেস X এবং Y-তে হ্যান্ন জোড় (g,h) দেওয়া হলে, কোন শর্তে পৃথকভাবে ক্রমাগত ফাংশন f:X×Y→R বিদ্যমান থাকে যাতে g=∧f এবং h=∨f হয়?
- বিদ্যমান সীমাবদ্ধতা: পূর্ববর্তী গবেষণা প্রধানত বিশেষ ক্ষেত্রে সীমাবদ্ধ ছিল, যেমন ব্যবধান বা নির্দিষ্ট বৈশিষ্ট্য সহ স্পেস, সাধারণ বিক্ষিপ্ত কমপ্যাক্ট স্পেসের ক্ষেত্রে সিস্টেমেটিক ফলাফলের অভাব রয়েছে।
- গবেষণা প্রেরণা: এই পত্রিকাটি বিক্ষিপ্ত কমপ্যাক্ট স্পেসের ক্ষেত্রে সমস্যার সমাধান করার লক্ষ্য রাখে, যা টপোলজিতে একটি গুরুত্বপূর্ণ স্পেস বিভাগ যার সমৃদ্ধ কাঠামোগত বৈশিষ্ট্য রয়েছে।
- স্থিতিশীল হ্যান্ন জোড়ের ধারণা প্রবর্তন: হ্যান্ন জোড়ের একটি বিশেষ উপবর্গ হিসাবে স্থিতিশীল হ্যান্ন জোড় সংজ্ঞায়িত করা হয়েছে, যেখানে ফাংশনগুলি ক্রমাগত ফাংশনের ক্রমের ন্যূনতম এবং সর্বোচ্চ হিসাবে প্রতিনিধিত্ব করা যায়।
- চরম বিভাগের স্থিতিশীলতা প্রতিষ্ঠা: প্রমাণ করা হয়েছে যে কমপ্যাক্ট স্পেসের পণ্যে, যখন একটি ফ্যাক্টর বিক্ষিপ্ত এবং কমপক্ষে একটি ফ্যাক্টর গণনাযোগ্য শৃঙ্খল শর্ত পূরণ করে, তখন পৃথকভাবে ক্রমাগত ফাংশনের চরম বিভাগ স্থিতিশীল হ্যান্ন জোড় গঠন করে।
- গঠনমূলক অস্তিত্ব ফলাফল: প্রমাণ করা হয়েছে যে যেকোনো স্থিতিশীল হ্যান্ন জোড়ের জন্য, উপযুক্ত স্পেস শর্তের অধীনে, সর্বদা একটি পৃথকভাবে ক্রমাগত ফাংশন বিদ্যমান থাকে যা সেই জোড়টিকে তার চরম বিভাগ হিসাবে বাস্তবায়ন করে।
- প্রযুক্তিগত সরঞ্জামের উন্নয়ন: বিক্ষিপ্ত স্পেস এবং পৃথকভাবে ক্রমাগত ফাংশন পরিচালনার জন্য নতুন প্রযুক্তিগত পদ্ধতি বিকশিত করা হয়েছে।
এই পত্রিকাটি দুটি পারস্পরিক সম্পর্কিত সমস্যা অধ্যয়ন করে:
- সামনের দিকের সমস্যা: পৃথকভাবে ক্রমাগত ফাংশন দেওয়া হলে, এর চরম বিভাগ কখন স্থিতিশীল হ্যান্ন জোড় গঠন করে?
- বিপরীত সমস্যা: স্থিতিশীল হ্যান্ন জোড় দেওয়া হলে, কখন একটি পৃথকভাবে ক্রমাগত ফাংশন বিদ্যমান থাকে যা সেই জোড়টিকে চরম বিভাগ হিসাবে বাস্তবায়ন করে?
স্থিতিশীল হ্যান্ন জোড়: ফাংশন জোড় (g,h) কে স্থিতিশীল হ্যান্ন জোড় বলা হয়, যদি ক্রমাগত ফাংশনের একটি ক্রম {un} বিদ্যমান থাকে যাতে:
h(x)=minn∈Nun(x),g(x)=maxn∈Nun(x)
বিক্ষিপ্ত স্পেস: টপোলজিক্যাল স্পেস X কে বিক্ষিপ্ত বলা হয়, যদি X-এর প্রতিটি অ-খালি উপসেট তার আপেক্ষিক টপোলজিতে একটি বিচ্ছিন্ন বিন্দু থাকে।
গণনাযোগ্য কমপ্যাক্ট স্পেস Y এবং যেকোনো স্পেস X এর জন্য, পৃথকভাবে ক্রমাগত ফাংশন f:X×Y→R এর চরম বিভাগ (∧f,∨f) স্থিতিশীল হ্যান্ন জোড় গঠন করে।
প্রমাণের রূপরেখা: Y-এর গণনাযোগ্যতা ব্যবহার করে, চরম অপারেশনকে সীমিত সংখ্যক ফাংশন মানের ন্যূনতম এবং সর্বোচ্চে রূপান্তরিত করা হয়।
ধরুন X একটি বিভাজ্য স্পেস, Y একটি বিক্ষিপ্ত কমপ্যাক্ট স্পেস, এবং f:X×Y→R একটি পৃথকভাবে ক্রমাগত ফাংশন, তাহলে (∧f,∨f) একটি স্থিতিশীল হ্যান্ন জোড়।
প্রমাণের কৌশল:
- X-এর বিভাজ্যতা এবং Lemma 3.1 ব্যবহার করে, X-এর ঘন গণনাযোগ্য উপসেটের প্রতিটি বিন্দুর জন্য, সংশ্লিষ্ট বিভাগ ফাংশন Y-এর একটি গণনাযোগ্য উপসেটের বাইরে ধ্রুবক প্রমাণ করা হয়
- ক্রমাগত যুক্তির মাধ্যমে, সম্পূর্ণ X-এ প্রসারিত করা হয়
- সমস্যাটি গণনাযোগ্য কমপ্যাক্ট স্পেসের ক্ষেত্রে হ্রাস করা হয়
ধরুন X এবং Y উভয়ই কমপ্যাক্ট স্পেস, Y বিক্ষিপ্ত, এবং X বা Y গণনাযোগ্য শৃঙ্খল শর্ত পূরণ করে, তাহলে পৃথকভাবে ক্রমাগত ফাংশন f:X×Y→R এর জন্য, (∧f,∨f) একটি স্থিতিশীল হ্যান্ন জোড়।
ধরুন X একটি টপোলজিক্যাল স্পেস, Y একটি অসীম সম্পূর্ণ নিয়মিত স্পেস, এবং (g,h) X-এ একটি স্থিতিশীল হ্যান্ন জোড়, তাহলে একটি পৃথকভাবে ক্রমাগত ফাংশন f:X×Y→R বিদ্যমান থাকে যাতে ∧f=g এবং ∨f=h।
নির্মাণ পদ্ধতি:
- স্থিতিশীল হ্যান্ন জোড়ের সংজ্ঞা ব্যবহার করে, ক্রমাগত ফাংশনের ক্রম {un} প্রাপ্ত করা হয়
- Hilbert ঘনকে ম্যাপিং করার জন্য ক্রমাগত ফাংশন নির্মাণ করা হয়
- Schwartz ফাংশন এবং বিশেষ বিচ্ছিন্নকরণ কৌশল ব্যবহার করে প্রয়োজনীয় পৃথকভাবে ক্রমাগত ফাংশন নির্মাণ করা হয়
প্রস্তাব 2.4: স্থিতিশীল হ্যান্ন জোড় এবং প্রথম স্থিতিশীল Baire শ্রেণী ফাংশনের মধ্যে সমতুল্যতা প্রতিষ্ঠা করা হয়েছে:
- স্থিতিশীল হ্যান্ন জোড় গণনাযোগ্য হ্যান্ন জোড়ের সমতুল্য এবং ফাংশন প্রথম স্থিতিশীল Baire শ্রেণীতে রয়েছে
- সাধারণ স্পেসে, এটি σ-ক্রমাগততার সমতুল্যও
Lemma 3.1: Alexandroff কমপ্যাক্টিফিকেশন αT এর জন্য, যেকোনো Baire এক শ্রেণী ফাংশন একটি গণনাযোগ্য সেটের বাইরে ধ্রুবক। এই ফলাফল বিক্ষিপ্ত স্পেস পরিচালনার জন্য একটি মূল সরঞ্জাম প্রদান করে।
- Lemma 6.2: সম্পূর্ণ নিয়মিত স্পেসের অসীম খোলা সেটে বিশেষ ক্রমাগত ফাংশন নির্মাণের পদ্ধতি
- Lemma 7.1: Schwartz ফাংশন ব্যবহার করে নির্দিষ্ট চরম সহ পৃথকভাবে ক্রমাগত ফাংশন নির্মাণ করা
এই পত্রিকাটি বিশুদ্ধ তাত্ত্বিক গবেষণা, প্রধানত গাণিতিক প্রমাণের মাধ্যমে ফলাফল যাচাই করা হয়। মূল যাচাইকরণে অন্তর্ভুক্ত রয়েছে:
উদাহরণ 3.2: X=Y=αT (অগণনীয় বিচ্ছিন্ন স্পেসের Alexandroff কমপ্যাক্টিফিকেশন) এ একটি পৃথকভাবে ক্রমাগত ফাংশন নির্মাণ করা হয়েছে, যার চরম বিভাগ Baire এক শ্রেণী ফাংশন নয়, যা নির্দিষ্ট শর্তের প্রয়োজনীয়তা দেখায়।
একাধিক Lemma এবং প্রস্তাবের প্রমাণের মাধ্যমে, প্রধান উপপাদ্যের প্রযুক্তিগত বিবরণ যাচাই করা হয়েছে:
- স্থিতিশীল সংমিশ্রণের বৈশিষ্ট্য
- ফাংশন স্পেসের টপোলজিক্যাল বৈশিষ্ট্য
- নির্মাণ পদ্ধতির কার্যকারিতা
- সম্পূর্ণ বৈশিষ্ট্য: বিক্ষিপ্ত কমপ্যাক্ট স্পেসের ক্ষেত্রে, নির্দিষ্ট শর্তের অধীনে Problem 1.1 সম্পূর্ণভাবে সমাধান করা হয়েছে।
- শর্তের অপ্টিমাইজেশন: প্রমাণ করা হয়েছে যে বিভাজ্যতা বা গণনাযোগ্য শৃঙ্খল শর্ত স্থিতিশীলতা প্রাপ্তির জন্য পর্যাপ্ত শর্ত।
- নির্মাণের সার্বজনীনতা: প্রমাণ করা হয়েছে যে স্থিতিশীল হ্যান্ন জোড়গুলি সর্বদা পৃথকভাবে ক্রমাগত ফাংশন দ্বারা বাস্তবায়িত হতে পারে।
- বিক্ষিপ্ততার ভূমিকা: বিক্ষিপ্ত বৈশিষ্ট্য ফাংশনের আচরণকে একটি নির্দিষ্ট অর্থে "সহজ" করে তোলে, যা গণনাযোগ্য ক্ষেত্রে হ্রাস করা যায়।
- স্থিতিশীলতার গুরুত্ব: স্থিতিশীল হ্যান্ন জোড়গুলি সাধারণ হ্যান্ন জোড়ের তুলনায় আরও ভাল বৈশিষ্ট্য রয়েছে, এবং পৃথকভাবে ক্রমাগত ফাংশনের চরম বিভাগ অধ্যয়নের জন্য একটি উপযুক্ত কাঠামো।
- Hahn উপপাদ্য 1: ক্লাসিক্যাল ইন্টারপোলেশন উপপাদ্য
- সাধারণীকরণ কাজ: Dieudonne (প্যারাকমপ্যাক্ট স্পেস), Tong এবং Katetov (সাধারণ স্পেস) এর সাধারণীকরণ
- Tong উপপাদ্য 3: সম্পূর্ণ সাধারণ স্পেসে, হ্যান্ন জোড় গণনাযোগ্য হ্যান্ন জোড়ের সমতুল্য
- Maslyuchenko এবং অন্যরা 2: হ্যান্ন জোড়ের ধারণা প্রবর্তন, ব্যবধান ক্ষেত্র সমাধান
- লেখকের পূর্ববর্তী কাজ 6: অ-বিক্ষিপ্ত কমপ্যাক্টিফিকেশন ক্ষেত্রে সমাধান
এই পত্রিকাটি বিক্ষিপ্ত কমপ্যাক্ট স্পেসের ক্ষেত্রে শূন্যতা পূরণ করে, পূর্ববর্তী কাজের সাথে পরিপূরক গঠন করে, এবং মূলত কমপ্যাক্ট স্পেস ক্ষেত্রে Problem 1.1 সমাধান সম্পন্ন করে।
- তাত্ত্বিক সম্পূর্ণতা: এই পত্রিকাটি মূলত পৃথকভাবে ক্রমাগত ফাংশনের চরম বিভাগের স্থিতিশীলতা সমস্যা সমাধান করে, এই গবেষণা দিকের জন্য একটি সম্পূর্ণ তাত্ত্বিক কাঠামো প্রদান করে।
- পদ্ধতির কার্যকারিতা: স্থিতিশীল হ্যান্ন জোড়ের ধারণা প্রবর্তন সফল প্রমাণিত হয়েছে, এটি গুরুত্বপূর্ণ বিশেষ ক্ষেত্র অন্তর্ভুক্ত করে এবং ভাল গঠনমূলক বৈশিষ্ট্য রয়েছে।
- প্রযুক্তির উদ্ভাবনী: বিক্ষিপ্ত স্পেস এবং পৃথকভাবে ক্রমাগত ফাংশন পরিচালনার জন্য বিকশিত প্রযুক্তিগত পদ্ধতি স্বাধীন মূল্য রয়েছে।
- শর্তের প্রয়োজনীয়তা: নির্দিষ্ট প্রযুক্তিগত শর্তের (যেমন বিভাজ্যতা, গণনাযোগ্য শৃঙ্খল শর্ত) প্রয়োজনীয়তা এখনও সম্পূর্ণভাবে স্পষ্ট করা হয়নি।
- অ-কমপ্যাক্ট স্পেস: অ-কমপ্যাক্ট স্পেসের ক্ষেত্রে, তত্ত্ব এখনও অসম্পূর্ণ।
- গণনামূলক জটিলতা: নির্মাণ পদ্ধতি বিদ্যমান থাকলেও, ব্যবহারিক প্রয়োগে গণনামূলক জটিলতার সমস্যার সম্মুখীন হতে পারে।
- শর্ত অপ্টিমাইজেশন: গবেষণা করা যে প্রযুক্তিগত শর্তগুলি আরও শিথিল করা যায় কিনা।
- প্রয়োগ সম্প্রসারণ: ফলাফলগুলি আরও সাধারণ ফাংশন স্পেস এবং টপোলজিক্যাল কাঠামোতে প্রসারিত করা।
- অ্যালগরিদম বাস্তবায়ন: নির্মাণ পদ্ধতির কার্যকর অ্যালগরিদম বিকাশ করা।
- তাত্ত্বিক গভীরতা: পত্রিকাটি একটি গুরুত্বপূর্ণ তাত্ত্বিক সমস্যা সমাধান করে, উল্লেখযোগ্য গাণিতিক মূল্য রয়েছে।
- প্রযুক্তিগত উদ্ভাবন: প্রবর্তিত স্থিতিশীল হ্যান্ন জোড়ের ধারণা এবং সম্পর্কিত প্রযুক্তিগত পদ্ধতি উদ্ভাবনী।
- ফলাফলের সম্পূর্ণতা: সামনের দিকের ফলাফল এবং বিপরীত নির্মাণ উভয়ই রয়েছে, একটি সম্পূর্ণ তাত্ত্বিক সিস্টেম গঠন করে।
- প্রমাণের কঠোরতা: গাণিতিক প্রমাণ কঠোর এবং নিয়মিত, যুক্তি স্পষ্ট।
- প্রয়োগ পটভূমি: পত্রিকাটি ব্যবহারিক প্রয়োগ পটভূমির আলোচনার অভাব রয়েছে।
- স্বজ্ঞাত ব্যাখ্যা: নির্দিষ্ট প্রযুক্তিগত ফলাফলে স্বজ্ঞাত জ্যামিতিক বা বিশ্লেষণাত্মক ব্যাখ্যার অভাব রয়েছে।
- গণনামূলক দিক: নির্মাণ পদ্ধতির গণনামূলক জটিলতার বিশ্লেষণের অভাব রয়েছে।
- একাডেমিক অবদান: সাধারণ টপোলজি এবং ফাংশন তত্ত্বের ক্রস-ডিসিপ্লিনারি ক্ষেত্রে গুরুত্বপূর্ণ অবদান।
- তাত্ত্বিক মূল্য: সম্পর্কিত গবেষণার জন্য গুরুত্বপূর্ণ তাত্ত্বিক সরঞ্জাম এবং পদ্ধতি প্রদান করে।
- পরবর্তী গবেষণা: সম্পর্কিত ক্ষেত্রের আরও উন্নয়ন চালিত করার প্রত্যাশা করা হয়।
এই পত্রিকার ফলাফল প্রধানত প্রযোজ্য:
- সাধারণ টপোলজির তাত্ত্বিক গবেষণা
- ফাংশন তত্ত্বে চরম সমস্যা
- পৃথকভাবে ক্রমাগত ফাংশন তত্ত্বের উন্নয়ন
- বিক্ষিপ্ত স্পেস তত্ত্বের প্রয়োগ
পত্রিকাটি এই ক্ষেত্রের গুরুত্বপূর্ণ সাহিত্য উদ্ধৃত করেছে, যার মধ্যে রয়েছে:
- 1 Hahn H. এর ক্লাসিক্যাল কাজ
- 2 Maslyuchenko V.K. এবং অন্যদের মৌলিক কাজ
- 3 Tong H. এর গুরুত্বপূর্ণ উপপাদ্য
- 6 লেখকের পূর্ববর্তী সম্পর্কিত কাজ
- 9 Kannan V., Venktaraman M. বিক্ষিপ্ত স্পেস সম্পর্কে গবেষণা
এই তথ্যসূত্রগুলি পত্রিকার তাত্ত্বিক ভিত্তি এবং গবেষণা প্রসঙ্গকে ভালভাবে সমর্থন করে।