বার্ট্রান্ডের স্বতঃসিদ্ধ

সংখ্যা তত্ত্বে, **বার্ট্রান্ডের স্বতঃসিদ্ধ** হলো একটি উপপাদ্য যা বিবৃত করে যে,যেকোনো পূর্ণসংখ্যা n > 3 এর জন্য, অন্তত একটি মৌলিক সংখ্যা  p বিদ্যমান যাতে

: n 

একটি কম সীমাবদ্ধ প্রণয়ন হল: প্রত্যেক n > 1 এর জন্য, সর্বদা কমপক্ষে একটি মৌলিক সংখ্যা p থাকে যাতে

: n 

আরেকটি সূত্র, যেখানে p_nহলো n - তম প্রাইম, : সেখানে

:  p_{n+1} 

এই বিবৃতিটি প্রথম অনুমান করেছিলেন ১৮৪৫ সালে জোসেফ বার্ট্রান্ড । বার্ট্রান্ড নিজেই সমস্ত ( 2 \le n \le 3\,000\,000 )  পূর্ণসংখ্যার জন্য তার বক্তব্য যাচাই করেছিলেন।

তাঁর অনুমান পাফনুতি লভোভিচ চেবিশেভ ১৮৫২ সালে সম্পূর্ণরূপে প্রমাণ করেন  এবং তাই অনুমানটিকে **বার্ট্রান্ড-চেবিশেভ উপপাদ্য** বা **চেবিশেভের উপপাদ্যও** বলা হয়। চেবিশেভের তত্ত্বের সাথে সম্পর্ক হিসাবেও বলা যেতে পারে \pi(x), প্রাইম-কাউন্টিং ফাংশন (এর থেকে কম বা সমান প্রাইমের সংখ্যা x ):

: \pi(x) - \pi\bigl(\tfrac{x}{2}\bigr) \ge 1, \text{ for all } x \ge 2.

## মৌলিক সংখ্যা উপপাদ্য
মৌলিক সংখ্যা উপপাদ্য  (PNT) নির্দেশ করে যে x পর্যন্ত প্রাইম সংখ্যার সংখ্যা, π(x), প্রায় x/log(x)-এর সমান। সুতরাং, যদি আমরা x-এর স্থলে 2x ব্যবহার করি, তবে দেখতে পাই যে 2x পর্যন্ত প্রাইম সংখ্যার সংখ্যা x পর্যন্ত প্রাইম সংখ্যার সংখ্যার তুলনায় আনুপাতিকভাবে দ্বিগুণ (কারণ log(2x) এবং log(x) প্রায় সমান)। সুতরাং, n এবং 2n এর মধ্যে মৌলিক সংখ্যার সংখ্যা প্রায় n/log(n)-এর সমান, যখন n বড়।

ফলে, এই ব্যবধানের মধ্যে অনেক বেশি  সংখ্যা থাকে যা বার্ট্রান্ডের উপপাদ্যের দ্বারা নিশ্চিত করা সম্ভব নয়। সুতরাং বার্ট্রান্ডের উপপাদ্য তুলনামূলকভাবে PNT-এর চেয়ে দুর্বল। তবে, PNT একটি গভীর থিয়োরেম, যেখানে বার্ট্রান্ডের উপপাদ্য তুলনামূলকভাবে সহজে প্রমাণিত হতে পারে এবং এটি ছোট n-এর জন্য সুনির্দিষ্ট দাবি করে। (এছাড়াও, চেবিশেভের উপপাদ্য PNT-এর আগে প্রমাণিত হয়েছিল এবং তাই এর ঐতিহাসিক গুরুত্ব রয়েছে।)

লেজঁন্দ্রের অনুমান প্রশ্ন করে যে প্রতিটি n ≥ 1-এর জন্য এমন একটি প্রাইম সংখ্যা p আছে কিনা, যাতে n²  0-এর জন্য, এমন একটি S থাকে যাতে x > S হলে:
:  (1-\varepsilon)\frac {x^2}{2\log x} \; 
:  (1-\varepsilon)\frac {(x+1)^2}{2\log (x+1)} \; 

নিম্নসীমা π((x+1)²) এবং ঊর্ধ্বসীমা π(x²)-এর অনুপাত হল:
:  \frac {(x+1)^2}{x^2}\cdot \frac {\log x}{\log (x+1)} \cdot \frac {1-\varepsilon}{1+\varepsilon} \; .

যেহেতু  \frac {(x+1)^2}{x^2} \rightarrow 1 যখন  x \rightarrow \infty,  \frac {\log x}{\log (x+1)}  প্রতিটি *x > 0*-এর জন্য, এবং  \frac {1-\varepsilon}{1+\varepsilon}  একটি নির্দিষ্ট *ε*-এর জন্য, এমন একটি *R* বিদ্যমান যা উপরের অনুপাতটি প্রতিটি *x > R*-এর জন্য 1-এর চেয়ে ছোট। সুতরাং, এটি নিশ্চিত করে না যে *π(x<sup>2</sup>)* এবং *π((x+1)<sup>2</sup>)*-এর মধ্যে কোনো মৌলিক সংখ্যা বিদ্যমান। আরো সাধারণভাবে বলতে গেলে, এই সাধারণ সীমাগুলি যথেষ্ট নয় এটি প্রমাণ করার জন্য যে *π(x<sup>n</sup>)* এবং *π((x+1)<sup>n</sup>)*-এর মধ্যে একটি মৌলিক সংখ্যা বিদ্যমান, যেখানে *n > 1* একটি ধনাত্মক পূর্ণসংখ্যা।

## সাধারণীকরণ
১৯১৯ সালে, শ্রীনিবাস রামানুজন চেবিশেভের চেয়ে সহজ প্রমাণ দেওয়ার জন্য গামা ফাংশনের ব্যবহার করেছিলেন।  তাঁর সংক্ষিপ্ত গবেষণাপত্রে এই পোস্টুলেটের একটি সাধারণীকরণ অন্তর্ভুক্ত ছিল, যেখান থেকে পরবর্তীতে রামানুজন মৌলিক  ধারণার উদ্ভব হবে। রামানুজন প্রাইমগুলির আরও সাধারণীকরণও আবিষ্কৃত হয়েছে; উদাহরণস্বরূপ, একটি প্রমাণ আছে যে

: 2p_{i-n} > p_i \text{ for } i>k \text{ where } k=\pi(p_k)=\pi(R_n)\, ,

যেক্ষেত্রে *p* *k* হলো *k* তম মৌলিক সংখ্যা এবং *R* *n* হলো n *তম* রামানুজন মৌলিক।

বার্ট্রান্ডের পোস্টুলেটের অন্যান্য সাধারণীকরণ প্রাথমিক পদ্ধতি ব্যবহার করে পাওয়া যায়। ১৯৭৩ সালে, ডেনিস হ্যানসন প্রমাণ করেছিলেন যে 3 *n* এবং 4 *n এর* মধ্যে একটি মৌলিক সংখ্যা রয়েছে।  ২০০৬ সালে এল বাচরাউই একটি প্রমাণ প্রস্তাব করেছিলেন যে 2 *n* এবং 3 *n এর* মধ্যে একটি মৌলিক সংখ্যা রয়েছে।  এল বাচরাউই-এর প্রমাণ হলো n এবং 2n-এর মধ্যে অবস্থিত মৌলিক সংখ্যার জন্য Erdős-এর যুক্তির সম্প্রসারণ। শেভেলেভ, গ্রিটহাউস, এবং মোসেস অনুরূপ ব্যবধানের জন্য সম্পর্কিত ফলাফল নিয়ে আলোচনা করেছিলেন। 

গাউসিয়ান পূর্ণসংখ্যার উপর বার্ট্রান্ডের অনুমান হল মৌলিক সংখ্যার বন্টনের ধারণার একটি সম্প্রসারণ, তবে এই ক্ষেত্রে জটিল সমতলে। এইভাবে, যেহেতু গাউসিয়ান মৌলিকগুলি সমতলের উপর প্রসারিত হয় এবং কেবল একটি রেখা বরাবর নয়, এবং একটি জটিল সংখ্যাকে দ্বিগুণ করা কেবল 2 দ্বারা গুণ করা নয় বরং এর আদর্শকে দ্বিগুণ করে (1+i দ্বারা গুণ করা)। বিভিন্ন সংজ্ঞা ভিন্ন ভিন্ন ফলাফলের দিকে পরিচালিত করে, এর মধ্যে কিছু এখনও অনুমান, কিছু প্রমাণিত। 

## সিলভেস্টারের উপপাদ্য

বার্ট্রান্ডের উপপাদ্য পারমুটেশন গ্রুপ-এর প্রয়োগের জন্য প্রস্তাবিত হয়েছিল। সিলভেস্টার (১৮১৪–১৮৯৭) এই দুর্বল বক্তব্যটি সাধারণীকরণ করে বলেছিলেন: *k*-এর চেয়ে বড় *k* ধারাবাহিক পূর্ণসংখ্যার গুণফল বিভাজ্য একটি মৌলিক সংখ্যা দ্বারা, যা *k*-এর চেয়ে বড়।

বার্ট্রান্ডের (দুর্বল) উপপাদ্যটি এখান থেকে প্রমাণিত হয়, যখন *k* = *n* নেওয়া হয় এবং *n* + 1, *n* + 2 থেকে শুরু করে *n* + *k* = 2*n* পর্যন্ত *k* সংখ্যাগুলিকে বিবেচনা করা হয়, যেখানে *n* > 1। সিলভেস্টারের সাধারণীকরণের মতে, এই সংখ্যাগুলোর মধ্যে একটির একটি মৌলিক উৎপাদক থাকে যা *k*-এর চেয়ে বড়। যেহেতু এই সব সংখ্যা 2(*k* + 1)-এর চেয়ে ছোট, তাই *k*-এর চেয়ে বড় মৌলিক উৎপাদক সহ সংখ্যা কেবল একটি মৌলিক সংখ্যা।

উল্লেখ্য, 2*n* মৌলিক নয়, এবং সুতরাং আমরা জানি যে এমন একটি মৌলিক সংখ্যা *p* বিদ্যমান, যেখানে *n* \vartheta ব্যবহার করে একটি সহজতর প্রমাণ প্রকাশ করেন, যা নিম্নরূপ সংজ্ঞায়িত:

:\vartheta(x) = \sum_{p=2}^x \log(p)

যেখানে *p* ≤ *x*-এর জন্য *p* শুধু মৌলিক সংখ্যাগুলির উপর প্রযোজ্য।

১৯৩৪ সালে এর্ডশ প্রমাণ করেন যে, যে কোনো ধনাত্মক পূর্ণসংখ্যা *k*-এর জন্য একটি স্বাভাবিক সংখ্যা *N* বিদ্যমান, যাতে সমস্ত *n* > *N*-এর ক্ষেত্রে *n* এবং 2*n*-এর মধ্যে অন্তত *k* সংখ্যক মৌলিক সংখ্যা থাকে।

## বিশেষ ফলাফল
এটি মৌলিক সংখ্যা উপপাদ্য থেকে অনুসরণ করে যে যেকোনো বাস্তব সংখ্যা \varepsilon > 0  এর জন্য একটি n_0 > 0   আছে যাতে সকল n > n_0 এর জন্য একটি মৌলিক সংখ্যা p আছে যাতে n  । এটা দেখানো যেতে পারে, উদাহরণস্বরূপ, যে

: \lim_{n \to \infty}\frac{\pi((1+\varepsilon)n)-\pi(n)}{n/\log n} = \varepsilon,

যা বোঝায় যে  \pi (( 1 + \varepsilon ) n) - \pi (n)  অসীম হতে পারে।

অ-অসিম্পোটিক সীমানাও প্রমাণিত হয়েছে। ১৯৫২ সালে, জিৎসুরো নাগুরা প্রমাণ করেছিলেন যে সকল n \ge 25  এর জন্য n এবং \bigl(1+\tfrac{1}{5} \bigr) n এর মধ্যে একটি মৌলিক সংখ্যা থাকে।

১৯৭৬ সালে, Lowell Schoenfeld দেখান যে সকলn \ge 2\,010\,760 এর জন্য খোলা ব্যবধানে n  এর মধ্যে মৌলিক সংখ্যা p থাকে। 

তার ১৯৯৮ সালের ডক্টরাল থিসিসে, পিয়েরে দুসার্ত  উপরোক্ত ফলাফলের উন্নতি করেন, যা দেখায় k \ge 463, p_{k+1} \le \left( 1 + \frac{1}{2 \log^2{p_k}} \right) p_k, এবং বিশেষত x \ge 3\,275 এর জন্য একটি মৌলিক সংখ্যা p  x  ব্যবধানে বিদ্যমান আছে। 

## তথ্যসূত্র

## গ্রন্থপঞ্জী
* 
* 
* Chris Caldwell, ''Bertrand's postulate'' at Prime Pages glossary.
* 
* 
* 

বিষয়শ্রেণী:বীজগণিতের উপপাদ্য
বিষয়শ্রেণী:মৌলিক সংখ্যা
বিষয়শ্রেণী:সংখ্যাতত্ত্ব