(توريت) مقرر

(توريت) مقرر ڪيل هڪ topological تارن جي ڪپڙا جنهن مائرن subcover آهي ۾ بيان ڪيو ويو آهي. سندن مالن جي topology ۾ انجام خال جي لاڳاپيل نظريو ۾ مائرن بيان جي هڪ نظام سوچيان ٿي سگھي ٿو.

(توريت) مقرر ڪيل يا سي ڊي - هڪ topological تارن جي هڪ subset، جنهن جي انجام تارن جي قسم جي induced آهي.

نسبتا (توريت) (precompact) رڳو ھڪ (توريت) جو گهيرو جي صورت ۾ قائم آهي. هڪ convergent subsequence ۾ تارن جي allocating جڏهن ان sequentially (توريت) سڏيو وڃي ٿو ٿي سگھي ٿو.

(توريت) مقرر ڪيل مخصوص مال ڪيو آهي:

- هڪ انجام کپي ڪنهن به مسلسل ڏيون ٿا؛

- بند subset هميشه هڪ انجام ڪيو آهي؛

- مسلسل bijection، جنهن کي ڪنهن انجام تي بيان ڪيو ويو آهي homeomorphism وهم.

مثال (توريت) مقرر ڪيل آھن:

- محدود ۽ بيان بند Rn؛

- خال ته divisibility T1 جي axiom ميچ ۾ مائرن subsets؛

- اثباتي Ascoli Arzela ڪجهه فعلي خال لاء انجام مقرر characterizing؛

- پٿر تارن جي Boolean جو ؟: نواب سان تعلق رکندڙ؛

- هڪ topological تارن جي compactification.

چيڪلو سان آفاقي مقرر حيثيت سٺن، هڪ دليل ڪري سگهو ٿا ته هن جي هڪ سيٽ جنهن مخصوص مال سان عنصرن جي هڪ plurality هئا آهي. ٻئي hypothetical سيٽ سان گڏ شامل مختلف حصن ۾ ڏي وٺ جو تصور موجود آهي. تنهن هوندي به، ان جي مال جي سيٽ جي تمام ذات جي ابتڙ آهي.

پرائمري arithmetic آفاقي سيٽ جي ميدان ۾ integers جي هڪ سيٽ سان ظاھر ڪئي آهي. تنهن هوندي به، ڪو خاص ڪردار ادا مقرر نظريو ۾ هن سيٽ سان تعلق رکي ٿو.

integers جي مقرر ڪيل آهي ته ڳڻپ دوران قدرتي طالع ڪري سگهون ٿا عنصرن (انگ) جي هڪ سيٽ شامل آهن. نه ته قدرتي انگ determining ۾ ٻن اچي رهيا آهن:

- اسم (پهريون، ٻيو، وغيره) جي منتقلي؛

- رعيت جي انگ (هڪ، ٻه، وغيره).

هن حالت ۾، مختلف غير integers ۽ نمبر جي قدرتي قسم کي منفي integers لاڳو نه ڪندا آھن. قدرتي انگ جي سيٽ جي رياضياتي ميدان ۾ اتر اهو تصور آهي کٽ، قدرتي فطري پهرين کان تمام وڏي تعداد جي ٻين قسمن جي ڪنهن به نمبر جي موجودگي کي شڪر آھي.

قدرتي وسنديون، سڄي نمبر تي رياضياتي عملن جي عمل ڪرائڻ جي حاصل ڪري رهيا آهن ته قدرتي انگ ان کان سواء يا subtraction جيئن. رياضيات ۾ integers جي سيٽ نامزد آهي Z. کان سواء ۽ ٻه نمبر جي ضرب جي نتيجن subtracting قسم فقط هڪ ئي قسم جي هڪ قسم جي تعداد ۾ آهي. ٻه integers جي وچ ۾ فرق جو تعين ڪرڻ جي صلاحيت جي کوٽ سبب ايندڙ انگ جي هن قسم جي ضرورت. اهو انجنيئر Stifel منفي انگ رياضي کي متعارف ڪرايو آهي.

اهو انجام تارن جي طور تي جيئن ته نظريا کي محتاط غور جي ضرورت آهي. هيء مدت پي ايس متعارف ڪرايو آهي Alexandrov هڪ انجام تارن جي تصور کي reinforce کي Frechet جي رياضي ۾ رائج آهي. مائرن subcovering جي صورت ۾ topological قسم انجام تارن جي هر کليل پردو جو پورو ڌيان. رياضي جي پوء جي ترقي ۾، جي مدت compactness ان جي ماتحت منصب کان ڊ جو حڪم اعلي مقرر ٿيو. ۽ هاڻي ان جي compactness compactness جي سمجهڻ آهي، ۽ ان جي مدت جي پراڻي احساس جي عنوان ۾ آهي "countably (توريت)." تنهن هوندي به، ٻئي نظريا جي برابر آهي جڏهن Metric خال ۾ استعمال ڪيو آهي.