परिमित प्रतिच्छेदन गुण

सामान्य सांस्थितिक में गणित के समुच्चय $$X$$ के उपसमुच्चय के एक गैर-रिक्त समुच्चय $$A$$ को परिमित प्रतिच्छेदन गुण (एफआईपी) कहा जाता है यदि $$A$$ के किसी भी परिमित उपसमुच्चय पर प्रतिच्छेदित गैर-रिक्त समुच्चय है। यदि $$A$$ के किसी भी परिमित उपसमुच्चय पर प्रतिच्छेदन अनंत है तो इसमें समिश्र परिमित प्रतिच्छेदन गुण (एसएफआईपी) है। परिमित प्रतिच्छेदन गुण वाले समुच्चय को केंद्रित प्रणाली या फ़िल्टर उपसमुच्चय भी कहा जाता है।

परिमित प्रतिच्छेदन गुण का उपयोग सवृत समुच्चय के संदर्भ में सांस्थितिक समानता को सुधारने के लिए किया जा सकता है। यह इसका सबसे प्रमुख अनुप्रयोग है अन्य अनुप्रयोगों में यह सिद्ध करना और अल्ट्राफिल्टर (समुच्चय सिद्धांत) का निर्माण करना सम्मिलित है कि कुछ निश्चित समुच्चय अनंत हैं।

परिभाषा
मान लीजिए कि $X$ एक समुच्चय है और $\mathcal{A}$, $X$  के उपसमुच्चय का एक गैर रिक्त समुच्चय है अर्थात $\mathcal{A}$ , $X$ की घात समुच्चय का एक उपसमुच्चय है तब $\mathcal{A}$  को परिमित प्रतिच्छेदन गुण कहा जाता है यदि प्रत्येक गैर-रिक्त परिमित उपसमुच्चय में गैर-रिक्त प्रतिच्छेदन होता है तो इसे समिश्र परिमित प्रतिच्छेदन गुण कहा जाता है यदि वह प्रतिच्छेदन सदैव अनंत होता है। प्रतीकों में $\mathcal{A}$ के पास एफआईपी होती है यदि $\mathcal{A}$ के किसी परिमित गैर-रिक्त उपसमुच्चय $\mathcal{B}$  के किसी भी विकल्प के लिए एक बिंदु उपस्थित है: $$x\in\bigcap_{B\in \mathcal{B}}{B}\text{.}$$

इसी प्रकार $\mathcal{A}$ के पास एसएफआईपी होती है यदि ऐसे ही $\mathcal{B}$ के प्रत्येक विकल्प के लिए अपरिमित $x$ होते हैं।

फ़िल्टर (समुच्चय सिद्धांत) के अध्ययन में एक समुच्चय के सामान्य प्रतिच्छेदन को कर्नेल कहा जाता है, जिसकी व्युत्पत्ति सूरजमुखी (गणित) के समान ही है। रिक्त कर्नेल वाले समुच्चयों को मुक्त समुच्चय कहा जाता है और गैर-रिक्त कर्नेल वाले समुच्चयों को स्थिर समुच्चय कहा जाता है।

उदाहरणों और गैर-उदाहरणों के समुच्चय
रिक्त समुच्चय परिमित प्रतिच्छेदन गुण वाले किसी भी समुच्चय से संबंधित नहीं हो सकते हैं। एफआईपी प्रतिच्छेदन गुण के लिए एक पर्याप्त गैर-रिक्त कर्नेल अवधारणा है। व्युत्पत्ति सामान्यतः गलत होती है, लेकिन परिमित समुच्चयों के लिए मान्य है अर्थात, यदि $$\mathcal{A}$$ परिमित समुच्चय है तो $$\mathcal{A}$$ के पास परिमित प्रतिच्छेदन गुण होते है यदि और केवल यदि यह निश्चित समुच्चय है तब $$\mathcal{A}$$ के पास परिमित प्रतिच्छेदन गुण नही होते हैं।

युग्म प्रतिच्छेदन
परिमित प्रतिच्छेदन गुण युग्म प्रतिच्छेदन की तुलना में अधिक समिश्र होते है जो समुच्चय $$\{\{1,2\}, \{2,3\}, \{1,3\}\}$$ में युग्म प्रतिच्छेदित है, लेकिन एफआईपी मे युग्म प्रतिच्छेदित नहीं होते है। सामान्यतः माना कि $n \in \N\setminus\{1\}$ इकाई $[n]=\{1,\dots,n\}$ और $\mathcal{A}=\{[n]\setminus\{j\}:j\in[n]\}$ से बड़ा एक धनात्मक पूर्णांक है जब $n$  से कम तत्वों वाले $$\mathcal{A}$$ के किसी भी उपसमुच्चय में गैर-रिक्त प्रतिच्छेदन होता है, लेकिन $\mathcal{A}$  में परिमित प्रतिच्छेदन गुणों का अभाव होता है।

अनंत-प्रकार के निर्माण
यदि $$A_1 \supseteq A_2 \supseteq A_3 \cdots$$ गैर-रिक्त समुच्चयों का घटता क्रम है तो समुच्चय $\mathcal{A} = \left\{A_1, A_2, A_3, \ldots\right\}$ में परिमित प्रतिच्छेदन गुण है और यह एक $\pi$-प्रणाली भी है। यदि समुच्चय $$A_1 \supseteq A_2 \supseteq A_3 \cdots$$ समिश्र उपसमुच्चय हैं, तो $\mathcal{A}$  समिश्र परिमित प्रतिच्छेदन गुण को भी स्वीकृत करता है। अधिक सामान्यतः किसी भी समुच्चय $\mathcal{A}$  को पूरी तरह से सम्मिलित करने का क्रम दिया जाता है, जिसमें एफआईपी होता है।उसी समय समुच्चय $\mathcal{A}$  का कर्नेल रिक्त हो सकता है यदि $A_j=\{j,j+1,j+2,\dots\}$, तो कर्नेल $$\mathcal{A}$$ रिक्त समुच्चय है। इसी प्रकार अंतरालों के समुच्चय $$\left\{[r, \infty) : r \in \R\right\}$$ में भी परिमित प्रतिच्छेदन गुण होते हैं लेकिन समुच्चय रिक्त कर्नेल समुच्चय होता है।

सामान्य समुच्चय और गुण
लेबेस्ग माप $1$ के साथ $$[0, 1]$$ के सभी बोरेल उपसमुच्चय के पास परिमित प्रतिच्छेदन गुण होते हैं जैसे कि कॉमेग्रे समुच्चय के समुच्चय के पास परिमित प्रतिच्छेदन गुण होते हैं। यदि $X$  एक अनंत समुच्चय है तब फ़्रेचेट फ़िल्टर $\{X\setminus C:C\text{ finite}\}$ ) में परिमित प्रतिच्छेदन गुण होते है। ये सभी मुक्त फ़िल्टर समुच्चय हैं, वे ऊपर की ओर सवृत और रिक्त अनंत प्रतिच्छेदित समुच्चय हैं।

यदि $$X = (0, 1)$$ प्रत्येक धनात्मक पूर्णांक $$i$$ के लिए उपसमुच्चय $$X_i$$ मे $$i$$ दशमलव के स्थान पर अंक $$0$$ वाले $$X$$ के सभी तत्व हैं, तो $$X_i$$ का कोई भी परिमित प्रतिच्छेदन गैर-रिक्त हो सकता है यदि कुछ स्थान पर $$0$$ और कुछ स्थान पर $$1$$ मान लिया जाए, लेकिन सभी $$i \geq 1$$ के लिए $$X_i$$ का प्रतिच्छेदन रिक्त होता है क्योंकि $$(0, 1)$$ के किसी भी तत्व में सभी शून्य अंक नहीं होता है।

परिमित समुच्चय का विस्तार
परिमित प्रतिच्छेदन समुच्चय की एक विशेषता समुच्चय $\mathcal{A}$ है न कि समुच्चय $X$ है यदि समुच्चय $X$ पर एक समुच्चय $\mathcal{A}$  और $X\subseteq Y$ को स्वीकृत करता है तो $\mathcal{A}$  भी समुच्चय $Y$  पर परिमित प्रतिच्छेदन गुण वाला एक समुच्चय है।

निर्मित फ़िल्टर और सांस्थितिक समुच्चय
यदि $$K \subseteq X$$ को $$K \neq \varnothing$$ के साथ समुच्चय किया गया है तो समुच्चय $$\mathcal{A}=\{S \subseteq X : K \subseteq S\}$$ के पास परिमित प्रतिच्छेदन गुण होते है यदि इस समुच्चय को $X$ द्वारा उत्पन्न $K$ पर प्रमुख फ़िल्टर समुच्चय कहा जाता है। उपसमुच्चय ⊆ और एक विवृत अंतराल $$\mathcal{B} = \{I \subseteq \R : K \subseteq I \text{ and } I \text{ an open interval}\}$$ में परिमित प्रतिच्छेदन गुण होते है लगभग इसी कारण से कर्नेल में गैर-रिक्त समुच्चय $K$ होता है यदि $K$  एक विवृत अंतराल है, तो समुच्चय $K$  वास्तव में $\mathcal{A}$  या $\mathcal{B}$ के कर्नेल के बराबर है और प्रत्येक फ़िल्टर समुच्चय का एक तत्व भी है लेकिन सामान्यतः फ़िल्टर के कर्नेल को फ़िल्टर समुच्चय का एक तत्व होना आवश्यक नहीं होता है।

किसी समुच्चय पर एक उपयुक्त फ़िल्टर समुच्चय में परिमित प्रतिच्छेदन गुण होते है यदि सांस्थितिक समष्टि में एक बिंदु पर प्रत्येक निकटम उपसमुच्चय में परिमित प्रतिच्छेदन गुण है और यही विशेषता प्रत्येक निकटम उपसमुच्चय के आधार और एक बिंदु पर प्रत्येक निकटम फिल्टर समुच्चय के लिए भी प्रयुक्त होती है क्योंकि प्रत्येक समुच्चय विशेष रूप से एक निकटम उपसमुच्चय भी होते हैं।

π-प्रणाली और फिल्टर समुच्चय मे संबंध
एक π-प्रणाली समुच्चयों का एक गैर-रिक्त समुच्चय है जो परिमित प्रतिच्छेदन के अंतर्गत सवृत समुच्चय है: $$\pi(\mathcal{A}) = \left\{A_1 \cap \cdots \cap A_n : 1 \leq n < \infty \text{ and } A_1, \ldots, A_n \in \mathcal{A}\right\}$$एक या अधिक समुच्चयों के सभी परिमित प्रतिच्छेदनों को $\mathcal{A}$, द्वारा उत्पन्न π-प्रणाली कहा जाता है, क्योंकि यह उपसमुच्चय के रूप में $\mathcal{A}$ , वाली सबसे छोटा π-प्रणाली है और $X$  , $$\pi(\mathcal{A})$$ का विवृत समुच्चय है:

$$\pi(\mathcal{A})^{\uparrow X} = \left\{S \subseteq X : P \subseteq S \text{ for some } P \in \pi(\mathcal{A})\right\}\text{.}$$

किसी भी समुच्चय के लिए $\mathcal{A}$, परिमित प्रतिच्छेदन गुण निम्नलिखित में से किसी के बराबर है:

$$\mathcal{A}$$ द्वारा उत्पन्न π-प्रणाली में तत्व के रूप में रिक्त समुच्चय नहीं है जो कि $$\varnothing \notin \pi(\mathcal{A}).$$ है।  समुच्चय $$\pi(\mathcal{A})$$ परिमित प्रतिच्छेदन गुण है। समुच्चय $$\pi(\mathcal{A})$$ एक (उचित) प्रीफ़िल्टर है।  समुच्चय $$\mathcal{A}$$ कुछ (उचित) प्रीफ़िल्टर का एक उपसमूह है। ऊपर की ओर सवृत होने वाला $\pi(\mathcal{A})^{\uparrow X}$ पर एक (उचित) फ़िल्टर है। इस मामले में $X$. को $$\pi(\mathcal{A})^{\uparrow X}$$ द्वारा उत्पन्न $X$ पर फ़िल्टर कहा जाता है क्योंकि यह न्यूनतम $$X$$ पर $$\,\subseteq\,$$ फ़िल्टर के संबंध में जिसमें उपसमुच्चय के रूप में $$\mathcal{A}$$ सम्मिलित है। $$\mathcal{A}$$ कुछ (उचित) फ़िल्टर का एक उपसमूह है। 

सघनता
परिमित प्रतिच्छेदन गुण सघनता की वैकल्पिक परिभाषा तैयार करने में उपयोगी है:

$$

समानता के इस सूत्रीकरण का उपयोग टाइकोनॉफ़ के प्रमेय के कुछ प्रमाणों में किया जाता है।

पूर्ण स्थानों की अनंतता
एक अन्य सामान्य अनुप्रयोग यह साबित करना है कि वास्तविक संख्याएँ बेशुमार सेट हैं। $$प्रमेय के कथन में सभी शर्तें आवश्यक हैं:
 * 1) हम हॉसडॉर्फ स्थिति को समाप्त नहीं कर सकते हैं, अविभाज्य सांस्थितिक के साथ एक गणनीय समुच्चय (कम से कम दो बिंदुओं के साथ) कॉम्पैक्ट है, एक से अधिक बिंदु हैं, और इस गुण को संतुष्ट करता है कि कोई भी एक बिंदु समुच्चय खुला नहीं है, लेकिन अनंत नहीं है।
 * 2) हम सघनता की स्थिति को ख़त्म नहीं कर सकते, जैसा कि परिमेय संख्याओं के समुच्चय से पता चलता है।
 * 3) हम इस शर्त को समाप्त नहीं कर सकते कि एक बिंदु समुच्चय खुला नहीं हो सकता, जैसा कि असतत सांस्थितिक के साथ कोई भी सीमित स्थान दिखाता है।

$$$$

$$

$$

अल्ट्राफिल्टर
मान लीजिए कि X गैर-रिक्त $$F \subseteq 2^X$$ है, $$F$$ में परिमित प्रतिच्छेदन गुण है। फिर एक $$U$$ अल्ट्राफिल्टर $$2^X$$ मौजूद होता है जैसे कि $$F \subseteq U$$ इस परिणाम को अल्ट्राफिल्टर लेम्मा के रूप में जाना जाता है।

सामान्य स्रोत

 * (सांस्थितिक और मीट्रिक समष्टि में फ़िल्टर की परिचयात्मक समीक्षा प्रदान करता है।)
 * (सांस्थितिक और मीट्रिक समष्टि में फ़िल्टर की परिचयात्मक समीक्षा प्रदान करता है।)
 * (सांस्थितिक और मीट्रिक समष्टि में फ़िल्टर की परिचयात्मक समीक्षा प्रदान करता है।)
 * (सांस्थितिक और मीट्रिक समष्टि में फ़िल्टर की परिचयात्मक समीक्षा प्रदान करता है।)
 * (सांस्थितिक और मीट्रिक समष्टि में फ़िल्टर की परिचयात्मक समीक्षा प्रदान करता है।)
 * (सांस्थितिक और मीट्रिक समष्टि में फ़िल्टर की परिचयात्मक समीक्षा प्रदान करता है।)
 * (सांस्थितिक और मीट्रिक समष्टि में फ़िल्टर की परिचयात्मक समीक्षा प्रदान करता है।)
 * (सांस्थितिक और मीट्रिक समष्टि में फ़िल्टर की परिचयात्मक समीक्षा प्रदान करता है।)
 * (सांस्थितिक और मीट्रिक समष्टि में फ़िल्टर की परिचयात्मक समीक्षा प्रदान करता है।)
 * (सांस्थितिक और मीट्रिक समष्टि में फ़िल्टर की परिचयात्मक समीक्षा प्रदान करता है।)