We prove that every open connected region of relativistic spacetime $(M,\textbf{g})$ that encloses a $b$-incomplete half-curve has an open connected subregion that encloses a $b$-incomplete half-curve and is also 'small' in the following sense: it is the image, under the bundle projection map, of some open region in the (connected) orthonormal frame bundle $O^+M$ over that spacetime which is bounded, and whose closure is Cauchy incomplete, with respect to any 'natural' distance function on $O^+M$. As a corollary, it follows that every $b$-incomplete half-curve can be covered by a sequence of singular regions which are images of a sequence of bounded subsets of $O^+M$ whose diameter, with respect to any 'natural' distance function on $O^+M$, tends to zero. We discuss to what extent these results can be interpreted in favour of the claim that singular structure in classical general relativity is 'localizable'.
এই প্রবন্ধটি প্রমাণ করে যে আপেক্ষিক সময়-স্থান (M,g) এর প্রতিটি খোলা সংযুক্ত অঞ্চল যা b-অসম্পূর্ণ অর্ধ-বক্ররেখা ধারণ করে, তার একটি খোলা সংযুক্ত উপ-অঞ্চল রয়েছে যা একইভাবে b-অসম্পূর্ণ অর্ধ-বক্ররেখা ধারণ করে এবং এই উপ-অঞ্চলটি নিম্নলিখিত অর্থে "ছোট": এটি অর্থোগোনাল ফ্রেম বান্ডেল O+M এর একটি খোলা অঞ্চলের বান্ডেল প্রজেকশন ম্যাপের অধীনে প্রতিবিম্ব, যেখানে খোলা অঞ্চলটি যেকোনো "প্রাকৃতিক" দূরত্ব ফাংশনের অধীনে সীমাবদ্ধ এবং এর ক্লোজার Cauchy অসম্পূর্ণ। একটি ফলাফল হিসাবে, প্রতিটি b-অসম্পূর্ণ অর্ধ-বক্ররেখা বিশেষ অঞ্চলের একটি সিরিজ দ্বারা আবৃত হতে পারে, যা O+M এ সীমাবদ্ধ উপসেটের সিরিজের প্রতিবিম্ব এবং সেই সিরিজের ব্যাস (যেকোনো প্রাকৃতিক দূরত্ব ফাংশনের সাপেক্ষে) শূন্যের দিকে প্রবণ। নিবন্ধটি আলোচনা করে যে এই ফলাফলগুলি কোন পরিমাণে ধ্রুপদী সাধারণ আপেক্ষিকতায় বিশেষ কাঠামো "স্থানীয়করণযোগ্য" এই দৃষ্টিভঙ্গিকে সমর্থন করে।
ধ্রুপদী সাধারণ আপেক্ষিকতায়, সময়-স্থানের বিশেষত্ব সাধারণত কোনো অর্থে অসম্পূর্ণ বক্ররেখা দ্বারা সংজ্ঞায়িত হয়। কিন্তু এই সংজ্ঞার একটি ধারণাগত সমস্যা রয়েছে: বিশেষ কাঠামো কি সময়-স্থানের কোনো "ছোট" অঞ্চলে স্থানীয়করণ করা যায়?
ভৌত অন্তর্দৃষ্টি: Kruskal-Schwarzschild সময়-স্থানকে উদাহরণ হিসাবে নিয়ে, স্বজ্ঞাগতভাবে অঞ্চল I বিশেষ নয়, যখন অঞ্চল II বিশেষ। এটি নির্দেশ করে যে বিশেষত্ব সম্পূর্ণ সময়-স্থানের একটি বৈশ্বিক সম্পত্তির পরিবর্তে নির্দিষ্ট অঞ্চলের সম্পত্তি হওয়া উচিত।
তাত্ত্বিক সম্পূর্ণতা: একটি সফল বিশেষত্ব বিশ্লেষণ বিশেষ কাঠামো কোথায় ঘটে তা বলতে সক্ষম হওয়া উচিত, অর্থাৎ "স্থানীয়করণযোগ্যতা" থাকা উচিত।
কিছু ঐতিহ্যবাহী পদ্ধতি কোনো গাণিতিক স্থানের সীমানায় সংজ্ঞায়িত ভাল পয়েন্টের মাধ্যমে বিশেষত্ব প্রতিনিধিত্ব করার চেষ্টা করে (যেমন Schmidt এর b-সীমানা, Geroch-Kronheimer-Penrose এর আদর্শ পয়েন্ট ইত্যাদি)
এই পদ্ধতিগুলি গুরুতর বাধার সম্মুখীন হয়:
সীমানা পয়েন্ট এবং সময়-স্থানের অভ্যন্তরীণ পয়েন্টগুলি যথাযথভাবে আলাদা করতে পারে না
স্বজ্ঞাত বিশেষ ক্ষেত্রগুলি ভুলভাবে শ্রেণীবদ্ধ করে
যথেষ্ট কঠোর কার্যকারণ শর্ত প্রয়োজন
সরাসরি "ছোট" অঞ্চল সংজ্ঞায়িত করার অসুবিধা:
Lorentz মেট্রিক একটি মান দূরত্ব ফাংশন প্রবর্তন করে না, "সীমাবদ্ধ অঞ্চল" সংজ্ঞায়িত করা যায় না
আপেক্ষিক সংক্ষিপ্ততা প্রযোজ্য নয়: একটি নির্বিচারে ছোট খোলা অঞ্চল থেকে একটি পয়েন্ট খনন করা পরিমাপযোগ্য অসম্পূর্ণতা এবং আপেক্ষিক সংক্ষিপ্ততার ব্যর্থতার দিকে পরিচালিত করে (যেমন Minkowski সময়-স্থান একটি পয়েন্ট খনন করা)
সীমানা নির্মাণের উপর নির্ভর না করে বিশেষ অঞ্চলের "ছোট"তা সংজ্ঞায়িত করার একটি উপায় খুঁজে বের করা, সময়-স্থান অঞ্চলগুলিকে ফ্রেম বান্ডেলে সীমাবদ্ধ অঞ্চলগুলির সাথে সংযুক্ত করে, বিশেষ কাঠামো স্থানীয়করণযোগ্যতার একটি নতুন দৃষ্টিভঙ্গি প্রদান করা।
১. প্রধান উপপাদ্য (Proposition 1): প্রমাণ করে যে b-অসম্পূর্ণ অর্ধ-বক্ররেখা ধারণ করে এমন যেকোনো সময়-স্থান অঞ্চলের একটি "ছোট" বিশেষ উপ-অঞ্চল রয়েছে, যেটি অর্থোগোনাল ফ্রেম বান্ডেলে কোনো সীমাবদ্ধ এবং ক্লোজার Cauchy অসম্পূর্ণ খোলা অঞ্চলের প্রজেকশন প্রতিবিম্ব।
२. ফলাফল (Corollary 2): প্রমাণ করে যে প্রতিটি b-অসম্পূর্ণ অর্ধ-বক্ররেখা বিশেষ অঞ্চলের একটি সিরিজ দ্বারা আবৃত হতে পারে, যা ফ্রেম বান্ডেল উপসেটের সাথে সামঞ্জস্যপূর্ণ যার ব্যাস শূন্যের দিকে প্রবণ, "বিশেষত্ব স্কেল শূন্যের দিকে প্রবণ" এর একটি নির্ভুল গাণিতিক প্রকাশ প্রদান করে।
३. বিপরীত উপপাদ্য (Proposition 4): প্রমাণ করে যে ফ্রেম বান্ডেলে ক্লোজার Cauchy অসম্পূর্ণ খোলা সংযুক্ত উপসেটের প্রজেকশন সময়-স্থানে অবশ্যই একটি b-অসম্পূর্ণ বিশেষ অঞ্চল, দ্বিমুখী সামঞ্জস্য স্থাপন করে।
४. ধারণাগত অবদান: বিশেষ কাঠামোর "স্থানীয়করণযোগ্যতার" জন্য একটি নতুন গাণিতিক চিত্রায়ন প্রদান করে, সীমানা নির্মাণ পদ্ধতির অসুবিধা এড়িয়ে যায়, ফ্রেম বান্ডেলের জ্যামিতিক কাঠামোর মাধ্যমে "ছোট" অঞ্চলের একটি স্পষ্ট সংজ্ঞা প্রদান করে।
সময়-স্থানে বক্ররেখা γ এর জন্য, এর O+M এ উত্তোলন γˉ (সমান্তরাল পরিবহনের মাধ্যমে নির্মিত) সন্তুষ্ট করে:
γˉএরচাপদৈর্ঘ্য (hএরসাপেক্ষে)=γএরসাধারণীকৃতঅ্যাফাইনদৈর্ঘ্য
এটি সময়-স্থান জ্যামিতি এবং ফ্রেম বান্ডেল মেট্রিক সংযোগের মূল সেতু।
१. Lorentz মেট্রিকের সীমাবদ্ধতা এড়িয়ে যাওয়া: সরাসরি সময়-স্থানে "ছোট" সংজ্ঞায়িত না করে, বরং ফ্রেম বান্ডেলের Riemannian কাঠামো ব্যবহার করা
२. প্রাকৃতিক মেট্রিকের সামঞ্জস্যপূর্ণ সমতুল্যতা: সমস্ত ফলাফল Euclidean অভ্যন্তরীণ পণ্যের নির্দিষ্ট পছন্দ থেকে স্বাধীন, সংজ্ঞার শক্তিশালীতা নিশ্চিত করে
३. বক্ররেখা উত্তোলনের চাপ দৈর্ঘ্য সামঞ্জস্য: সমান্তরাল পরিবহন ব্যবহার করে সময়-স্থানে সাধারণীকৃত অ্যাফাইন দৈর্ঘ্য ফ্রেম বান্ডেলে চাপ দৈর্ঘ্যের সাথে সামঞ্জস্যপূর্ণ করা
४. Cauchy অসম্পূর্ণতার জ্যামিতিক অর্থ: প্রতিফলন দ্বারা বক্ররেখার শেষ বিন্দু অনুপস্থিতি মেট্রিক স্থানের টপোলজিক্যাল বৈশিষ্ট্যে রূপান্তরিত করা
Proposition 1 (প্রধান উপপাদ্য):
(M,g) একটি আপেক্ষিক সময়-স্থান, U⊆M খোলা সেট, O+M অর্থোগোনাল ফ্রেম বান্ডেলের ধনাত্মক সংযুক্ত উপাদান। যদি বক্ররেখা γ:[0,a)→M বিদ্যমান থাকে যা সন্তুষ্ট করে:
সাধারণীকৃত অ্যাফাইন দৈর্ঘ্য সীমাবদ্ধ
শেষ বিন্দু নেই
প্রতিবিম্ব U এ অন্তর্ভুক্ত
তাহলে b-অসম্পূর্ণ বিশেষ অঞ্চল V⊆U এবং খোলা সেট V~⊆O+M বিদ্যমান যেমন:
१. V~ সীমাবদ্ধ (যেকোনো প্রাকৃতিক দূরত্ব ফাংশনের সাপেক্ষে)
२. cl(V~) Cauchy অসম্পূর্ণ
३. π[V~]=V
Corollary 2 (ফলাফল):
Proposition 1 এর শর্তে, যদি {tn}→a, তাহলে খোলা সেট সিরিজ {V~n}n∈N⊆O+M বিদ্যমান যেমন যেকোনো প্রাকৃতিক দূরত্ব ফাংশন d এর জন্য:
१. প্রতিটি V~n সীমাবদ্ধ এবং cl(V~n) Cauchy অসম্পূর্ণ
२. Vn:=π(V~n) বিশেষ অঞ্চল যা γ∣[tn,a) এর প্রতিবিম্ব ধারণ করে
३. V~n এর ব্যাস শূন্যের দিকে প্রবণ
Proposition 4 (বিপরীত উপপাদ্য):
যদি V~O+M এর খোলা সংযুক্ত উপসেট এবং cl(V~) কোনো প্রাকৃতিক দূরত্ব ফাংশনের সাপেক্ষে Cauchy অসম্পূর্ণ, তাহলে π[V~]M এর b-অসম্পূর্ণ বিশেষ অঞ্চল।
Schmidt এর b-সীমানা6,7: পরিমাপযোগ্য রেখা বান্ডেলের নির্মাণের উপর ভিত্তি করে, কিন্তু কিছু ক্ষেত্রে সীমানা পয়েন্ট আলাদা করতে পারে না (Bosshard 20; Johnson 21)
Geroch-Kronheimer-Penrose আদর্শ পয়েন্ট17: কার্যকারণ কাঠামো ব্যবহার করে, শক্তিশালী কার্যকারণ শর্ত প্রয়োজন
বিমূর্ত সীমানা18: Scott-Szekeres পদ্ধতি, Hausdorff বিচ্ছিন্নতা সমস্যা (Flores ইত্যাদি 19)
সাধারণ সমস্যা: Geroch ইত্যাদি 22 এই পদ্ধতিগুলির মৌলিক অসুবিধা নির্দেশ করে
ফ্রেম বান্ডেলে প্রাকৃতিক Riemannian মেট্রিকের ভৌত অর্থ এখনও অস্পষ্ট
যদিও এই মেট্রিকগুলি ভৌতিকভাবে অর্থবহ Levi-Civita সংযোগ থেকে উদ্ভূত, তাদের বিস্তৃত তাত্ত্বিক এবং ব্যবহারিক প্রযোজ্যতা এখনও সম্পূর্ণভাবে অন্বেষণ করা হয়নি
"ছোট" অঞ্চল গাণিতিকভাবে স্পষ্ট কিন্তু ভৌতিকভাবে কী অর্থ রাখে তা অস্পষ্ট
२. আপেক্ষিক সংক্ষিপ্ততা নিশ্চয়তা নেই:
প্রজেকশন প্রতিবিম্ব V=π[V~] অপরিহার্যভাবে আপেক্ষিকভাবে সংক্ষিপ্ত নয়
কারণ O+M এর Cauchy অসম্পূর্ণতা মানে এটি Heine-Borel সম্পত্তি নেই
ফ্রেম বান্ডেলের বন্ধ এবং সীমাবদ্ধ অঞ্চল অপরিহার্যভাবে সংক্ষিপ্ত নয়, তাই তাদের ক্রমাগত প্রজেকশন প্রতিবিম্ব অপরিহার্যভাবে আপেক্ষিকভাবে সংক্ষিপ্ত নয়
३. b-অসম্পূর্ণতার সীমাবদ্ধতা:
এই প্রবন্ধটি শুধুমাত্র b-অসম্পূর্ণতা পরিচালনা করে, যা সবচেয়ে দুর্বল বিশেষত্ব সংজ্ঞা
আরও শক্তিশালী বিশেষত্ব ধারণার জন্য (যেমন পরিমাপযোগ্য অসম্পূর্ণতা), ফলাফল সম্ভবত সংশোধন প্রয়োজন
४. প্রযুক্তিগত অনুমান:
সময়-স্থান অভিমুখী হওয়া প্রয়োজন (O+M সংজ্ঞায়িত করতে)
যদিও প্রমাণ F+M (সাধারণ ফ্রেম বান্ডেল) এর জন্যও কাজ করে, প্রধান ফলাফল অর্থোগোনাল ফ্রেম বান্ডেলের উপর নির্ভর করে
প্রমাণ সম্পূর্ণভাবে মান ডিফারেনশিয়াল জ্যামিতি এবং মেট্রিক স্থান তত্ত্বের উপর ভিত্তি করে
যুক্তি স্পষ্ট, প্রতিটি পদক্ষেপ যথাযথ ভিত্তি রয়েছে
ফাইবার বান্ডেল, সংযোগ, মেট্রিক স্থান ইত্যাদি উন্নত সরঞ্জাম সঠিকভাবে ব্যবহার করে
२. ধারণাগত উদ্ভাবনী:
মূল উদ্ভাবন: ফ্রেম বান্ডেল জ্যামিতির মাধ্যমে সময়-স্থান অঞ্চলের "ছোট"তা সংজ্ঞায়িত করা, Lorentz জ্যামিতির প্রাকৃতিক দূরত্ব ফাংশন অনুপস্থিতির মৌলিক অসুবিধা এড়িয়ে যায়
বৈশ্বিক উপপাদ্য (Schmidt-Hawking-Ellis) স্থানীয়করণ এবং পরিমার্জন করে
"ব্যাস শূন্যের দিকে প্রবণ" বিশেষত্ব "স্কেল" এর গতিশীল চিত্রায়ন প্রদান করে
३. প্রযুক্তিগত কমনীয়তা:
সামঞ্জস্যপূর্ণ সমতুল্যতা নিশ্চিত করে ফলাফল মেট্রিক পছন্দ থেকে স্বাধীন
বক্ররেখা উত্তোলনের চাপ দৈর্ঘ্য সামঞ্জস্য মূল প্রযুক্তিগত অন্তর্দৃষ্টি
প্রতিফলন দ্বারা Cauchy অসম্পূর্ণতা প্রমাণ সংক্ষিপ্ত এবং শক্তিশালী
४. দার্শনিক গভীরতা:
স্থানীয়করণযোগ্যতার দার্শনিক সমস্যা গুরুত্বের সাথে গ্রহণ করে
ভৌত অর্থের অনিশ্চয়তা সৎভাবে আলোচনা করে
প্রযুক্তিগত ফলাফল এবং ধারণাগত সমস্যা ঘনিষ্ঠভাবে সংযুক্ত করে
५. লেখার স্পষ্টতা:
কাঠামো ভাল: প্রাক-জ্ঞান → প্রধান ফলাফল → দার্শনিক আলোচনা
প্রেরণা ব্যাখ্যা যথাযথ (যেমন Kruskal-Schwarzschild উদাহরণ)
প্রযুক্তিগত বিস্তারিত এবং স্বজ্ঞাত ব্যাখ্যা ভারসাম্যপূর্ণ
সারসংক্ষেপ: এই প্রবন্ধটি প্রযুক্তিগতভাবে সফল, একটি গুরুত্বপূর্ণ ধারণাগত সমস্যার জন্য নতুন সরঞ্জাম প্রদান করে, কিন্তু এর চূড়ান্ত মূল্য ভবিষ্যত কাজ তার ভৌত অর্থ স্পষ্ট করতে পারে কিনা তার উপর নির্ভর করে। এটি একটি মনোযোগ দেওয়ার যোগ্য কিন্তু এর সম্পূর্ণ সম্ভাবনা উপলব্ধি করতে পরবর্তী বিকাশ প্রয়োজন এমন প্রবন্ধ।