आदर्श (समुच्चय सिद्धांत)

सेट सिद्धांत के गणितीय क्षेत्र में, आदर्श सेट (गणित) का आंशिक क्रम संग्रह है जिसे छोटा या नगण्य माना जाता है। आदर्श के तत्व के प्रत्येक उपसमुच्चय को भी आदर्श में होना चाहिए (यह इस विचार को संहिताबद्ध करता है कि एक आदर्श लघुता की धारणा है), और आदर्श के किन्हीं दो तत्वों का संघ (सेट सिद्धांत) भी आदर्श में होना चाहिए।

अधिक औपचारिक रूप से, एक सेट X दिया है, X पर एक आदर्श I, $$X,$$ के पावरसेट का एक गैर-रिक्त उपसमुच्चय है, जैसे कि.

कुछ लेखक चौथी शर्त जोड़ते हुए कहते हैं कि $$X$$ स्वयं में $$I$$ नहीं है ; ऐसे अतिरिक्त गुण वाले आदर्श उचित आदर्श कहलाते हैं
 * 1) $$\varnothing \in I,$$
 * 2) अगर $$A \in I$$ और $$B \subseteq A,$$ तब $$B \in I,$$ और
 * 3) अगर $$A, B \in I$$ तब $$A \cup B \in I.$$

जहां प्रासंगिक आदेश शामिल किया गया है वहां सेट-सैद्धांतिक अर्थों में आदर्श (आदेश सिद्धांत) अर्थों में बिल्कुल आदर्श हैं। इसके अलावा,अंतर्निहित सेट के पॉवरसेट द्वारा गठित बूलियन रिंग पर रिंग-सैद्धांतिक अर्थों में बिल्कुल आदर्श हैं। आदर्श की दोहरी धारणा एक फ़िल्टर (सेट सिद्धांत) है।

शब्दावली
आदर्श का तत्व $$I$$,  या  बताया गया, या केवल  या  होगा, यदि आदर्श $$I$$ को संदर्भ से समझा जाए।। अगर $$I$$,$$X,$$ पर आदर्श है तो $$X$$ का एक उपसमुच्चय $$I$$-सकारात्मक (या सिर्फ सकारात्मक) कहा जाता है, यदि यह $$I$$ का तत्व नहीं है । $$X$$ के सभी $$I$$-धनात्मक उपसमूहों के संग्रह को $$I^+.$$ निरूपित किया जाता है

अगर $$X$$ पर $$I$$ उचित आदर्श है और प्रत्येक के लिए $$A \subseteq X$$ दोनों में से एक $$A \in I$$ या $$X \setminus A \in I,$$ तब $$I$$ एक प्रमुख आदर्श है।

सामान्य उदाहरण

 * किसी भी सेट $$X$$ और और मनमाने ढंग से चुने गए उपसमुच्चय के लिए $$B \subseteq X,$$ $$B$$ के उपसमुच्चय $$X$$ पर एक आदर्श बनाते हैं। परिमित $$X$$ के लिए, सभी आदर्श इसी रूप के हैं।
 * किसी समुच्चय $$X$$ के परिमित उपसमुच्चय $$X$$ पर एक आदर्श बनाते हैं।
 * किसी भी माप स्थान के लिए, माप शून्य के सेट के सबसेट है।
 * किसी भी माप स्थान के लिए, परिमित माप के सेट है। इसमें परिमित उपसमुच्चय (गणना माप का उपयोग करके) और नीचे छोटे सेट शामिल हैं।
 * सेट $$X$$ पर जन्म विज्ञान एक आदर्श है जो $$X$$ को आवरण करता है।
 * $$X$$ के सबसेट का एक गैर-खाली परिवार $$\mathcal{B}$$ पर उचित $$X$$ आदर्श है,अगर इसकी  $$X$$ में  जिसे निरूपित और परिभाषित किया गया है $$X \setminus \mathcal{B} := \{X \setminus B : B \in \mathcal{B}\},$$ एक उचित फ़िल्टर (सेट सिद्धांत) चालू है $$X$$ (फ़िल्टर है  अगर यह बराबर नहीं है $$\wp(X)$$).  सत्ता स्थापित का दोहरा $$\wp(X)$$ स्वयं है; वह है, $$X \setminus \wp(X) = \wp(X).$$ इस प्रकार एक गैर-खाली परिवार $$\mathcal{B} \subseteq \wp(X)$$ पर आदर्श है $$X$$ अगर और केवल अगर यह दोहरी है $$X \setminus \mathcal{B}$$ पर दोहरा आदर्श है $$X$$ (जो परिभाषा के अनुसार या तो पावर सेट है $$\wp(X)$$ या फिर एक उचित फ़िल्टर चालू करें $$X$$).

प्राकृतिक संख्या पर आदर्श

 * प्राकृतिक संख्याओं के सभी परिमित समुच्चयों के आदर्श को फिन द्वारा निरूपित किया जाता है।
 * प्राकृतिक संख्या पर योग योग्य आदर्श जिसे  $$\mathcal{I}_{1/n},$$ निरूपित किया जाता है, प्राकृतिक संख्याओं के सभी समुच्चय A का संग्रह है जैसे कि योग $$\sum_{n\in A}\frac{1}{n+1}$$ परिमित है।
 * छोटा सेट (कॉम्बिनेटरिक्स) देखें।
 * स्पर्शोन्मुख रूप से शून्य-घनत्व का आदर्श प्राकृतिक संख्याओं पर सेट होता है, जिसे $$\mathcal{Z}_0,$$ निरूपित किया जाता है,प्राकृतिक संख्याओं के सभी समुच्चय A का संग्रह है जैसे कि n से कम प्राकृतिक संख्या का अंश जो A से संबंधित है, शून्य की ओर जाता है क्योंकि n अनंत की ओर जाता है।। (अर्थात, स्पर्शोन्मुख घनत्व $$A$$ शून्य है।)

वास्तविक संख्या पर आदर्श

 * माप आदर्श वास्तविक संख्याओं के सभी सेट $$A$$ का संग्रह है जैसे कि $$A$$ का लेबेस्ग माप( Lebesgue measure ) शून्य है।
 * मामूली आदर्श वास्तविक संख्याओं के सभी अल्प सेटों का संग्रह है।

अन्य सेटों पर आदर्श

 * अगर $$\lambda$$ अगणनीय सह-अस्तित्व की एक क्रमिक संख्या है, अस्थिर आदर्श पर $$\lambda$$ के सभी उपसमूहों का संग्रह है $$\lambda$$ जो स्थिर समुच्चय नहीं हैं। डब्ल्यू ह्यूग वुडिन द्वारा इस आदर्श का व्यापक अध्ययन किया गया है।

आदर्शों पर संचालन
अंतर्निहित सेट $X$ और $Y$ पर आदर्श $I$ और $J$ क्रमशः दिए गए हैं, कार्टेशियन उत्पाद $$X \times Y,$$पर $$I \times J$$ एक उत्पाद बनाता है इस प्रकार किसी भी उपसमुच्चय के लिए

$$A \subseteq X \times Y,$$ $$A \in I \times J \quad \text{ if and only if } \quad \{ x \in X \; : \; \{y : \langle x, y \rangle \in A\} \not\in J \} \in I$$ अर्थात्,उत्पाद आदर्श में एक सेट नगण्य है यदि $x$-निर्देशांक का केवल एक नगण्य संग्रह $y$-दिशा में $A$ के गैर-नगण्य टुकड़े के अनुरूप है।(शायद स्पष्ट: उत्पाद आदर्श में एक सेट सकारात्मक है यदि सकारात्मक रूप से कई $x$-निर्देशांक सकारात्मक स्लाइस के अनुरूप हैं।)

आदर्श $I$ एक सेट पर $X$ एक तुल्यता संबंध को प्रेरित करता है $$\wp(X),$$ का पावरसेट $X$, मानते हुए $A$ और $B$ समकक्ष होना (के लिए $$A, B$$ के उपसमुच्चय $X$) अगर और केवल अगर के सममित अंतर $A$ और $B$ का एक तत्व $I$ है. का भागफल सेट $$\wp(X)$$ इस तुल्यता संबंध से एक बूलियन बीजगणित (संरचना) है, जिसे निरूपित किया गया है $$\wp(X) / I$$ (पी का पी पढ़ें $X$ ख़िलाफ़ $I$ ).

सभी आदर्श के लिए एक संबंधित फ़िल्टर (सेट सिद्धांत) होता है, जिसे इसका  कहा जाता है । अगर $X$  पर एक आदर्श $I$ है, $I$ का  सभी सेट  $$X \setminus A,$$ का संग्रह है, जहाँ $A$ का एक  $I$ तत्व है. (यहाँ $$X \setminus A$$, $X$ में $A$ के सापेक्ष पूरक को दर्शाता है, अर्थात्, $X$  के सभी तत्वों का संग्रह जो $A$ में नहीं हैं).

आदर्शों के बीच संबंध
अगर $$X$$ और $$Y$$ पर क्रमश: $$I$$ और $$J$$  आदर्श हैं, $$I$$ और $$J$$   हैं ,यदि वे अपने अंतर्निहित सेटों के तत्वों के नाम बदलने के अलावा  (नगण्य सेटों को अनदेखा कर) समान आदर्श हैं। अधिक औपचारिक रूप से, आवश्यकता यह है कि सेट हों $$A$$ और $$B,$$ घटक $$I$$ और $$J$$ क्रमशः, और एक आक्षेप $$\varphi : X \setminus A \to Y \setminus B,$$ ऐसा कि किसी भी उपसमुच्चय के लिए $$C \setminus X,$$ $$C \in I$$ अगर और केवल अगर की छवि (गणित)। $$C$$ अंतर्गत $$\varphi \in J.$$ अगर $$I$$ और $$J$$ रुडिन-कीस्लर आइसोमॉर्फिक हैं, फिर $$\wp(X) / I$$ और $$\wp(Y) / J$$ बूलियन बीजगणित के रूप में आइसोमोर्फिक हैं। आदर्शों के रुडिन-कीस्लर समरूपता द्वारा प्रेरित भागफल बूलियन बीजगणित की समरूपता कहलाती है.