फ़िल्टर (गणित): Difference between revisions

Latest revision as of 17:26, 13 July 2023

समुच्चय की पावर समुच्चय फिल्टर

{1, 2, 3, 4}

, ऊपरी समुच्चय के साथ

↑{1, 4}

गहरे हरे रंग का। यह ऊपरी समुच्चय फिल्टर है, और यहां तक कि प्रमुख फ़िल्टर. यह नहीं है अल्ट्रा फिल्टर, क्योंकि इसमें हल्के हरे रंग के तत्व भी सम्मिलित हैं जो इसे बड़े गैर-तुच्छ फिल्टर तक विस्तारित करते हैं

↑{1}

. चूँकि उत्तरार्द्ध को आगे नहीं बढ़ाया जा सकता है,

↑{1}

अल्ट्राफिल्टर है.

गणित में, फ़िल्टर या ऑर्डर फ़िल्टर आंशिक रूप से ऑर्डर किए गए उपसमुच्चय (पोसमुच्चय) का विशेष उपसमुच्चय है, जो बड़े या अंतिम तत्वों का वर्णन करता है। फ़िल्टर ऑर्डर सिद्धांत और फिल्टर सिद्धांत में दिखाई देते हैं, अपितु टोपोलॉजी में भी, जहां से उनकी उत्पत्ति होती है। इस प्रकार फिल्टर के लिए द्वैत (आदेश सिद्धांत) की धारणा आदर्श (आदेश सिद्धांत) है।

फिल्टर की विशेष स्थितियों में अल्ट्राफ़िल्टर सम्मिलित है, जो ऐसे फिल्टर हैं जिन्हें बड़ा नहीं किया जा सकता है, और गणितीय तर्क में गैर-रचनात्मक तकनीकों का वर्णन करते हैं।

फ़िल्टर (समुच्चय सिद्धांत) 1937 में हेनरी कर्तन द्वारा प्रस्तुत किया गया था। इस प्रकार निकोलस बॉर्बकी ने अपनी पुस्तक टोपोलोगी जेनरल में ई. एच. मूर और हरमन एल. स्मिथ की 1922 की नेट (टोपोलॉजी) की धारणा के विकल्प के रूप में फिल्टर को लोकप्रिय बनाया गया हैं, इस प्रकार ऑर्डर फ़िल्टर इस धारणा को समावेशन (समुच्चय सिद्धांत) के अनुसार असेम्बली स्थापित के विशिष्ट स्थितियों से लेकर मनमाने ढंग से आंशिक रूप से ऑर्डर किए गए समुच्चय तक सामान्यीकृत करते हैं। फिर भी फ़िल्टर के समुच्चय सिद्धांत या पावर-समुच्चय फ़िल्टर का सिद्धांत टोपोलॉजी में पर्याप्त फ़िल्टर के लिए, अपने आप में रुचि निरंतर रखता है।

प्रेरणा

आंशिक रूप से ऑर्डर किए गए समुच्चय को ठीक करें या आंशिक रूप से ऑर्डर किए गए समुच्चय (पोसमुच्चय) को $P$ द्वारा ठीक करते हैं। इस प्रकार सहजता से, फ़िल्टर $F$ का उपसमुच्चय $P$ है, इस प्रकार जिनके सदस्य किसी मानदंड को पूरा करने के लिए पर्याप्त बड़े तत्व हैं।^[1] उदाहरण के लिए, यदि $x \in P$ , फिर उपरोक्त तत्वों का समुच्चय $x$ फिल्टर है, जिसे प्रिंसिपल फिल्टर को $x$ कहा जाता है, इस प्रकार यदि $x$ और $y$ तुलनीयता तत्व $P$ हैं, इस प्रकार न तो प्रिंसिपल फ़िल्टर पर $x$ और न $y$ दूसरे में समाहित है।

इसी प्रकार समुच्चय पर फिल्टर $S$ में इस प्रकार के उपसमुच्चय सम्मिलित रहते हैं जो दिए गए कुछ को सम्मिलित करने के लिए पर्याप्त रूप से बड़े हैं, उदाहरण के लिए, यदि $S$ वास्तविक रेखा है और $x \in S$ , फिर समुच्चय समूह के लिए $x$ भी सम्मिलित है, इनके आंतरिक (टोपोलॉजी) में फिल्टर होता है, जिसे नेबरहुड फिल्टर एट $x$ कहा जाता है, इस प्रकार इस स्थिति में इससे $x$ का मान थोड़ा अधिक रहता है, अपितु इसमें अभी भी रेखा का कोई अन्य विशिष्ट बिंदु सम्मिलित नहीं होते है।

उपरोक्त विचार फ़िल्टर (गणित) परिभाषा में ऊपर की ओर बंद होने की आवश्यकता को प्रेरित करते हैं: इसके लिए पर्याप्त वस्तुओं को सदैव बड़ा बनाया जा सकता है।

अन्य दो स्थितियों को समझने के लिए भूमिकाओं को व्युत्क्रम करके और इसके अतिरिक्त इस प्रकार इस पर विचार करें तो $F$ को खोजने के लिए स्थान निर्धारण योजना के रूप में $x$ के लिए इस व्याख्या में व्यक्ति किसी स्थान में $X$ को खोजा जाता है, और इस प्रकार $F$ की अपेक्षा करता है, जिसके लिए उन उपसमुच्चय का वर्णन करने के लिए $X$ जिसमें लक्ष्य सम्मिलित है। इस प्रकार यह लक्ष्य कहीं न कहीं स्थित होना चाहिए, इस प्रकार रिक्त समुच्चय $\emptyset$ कभी भी $F$ के अंदर नहीं आ सकता, और यदि दो उपसमूहों में लक्ष्य सम्मिलित है, तो उन्हें उनके सामान्य क्षेत्र पर ज़ूम करना चाहिए।

एक अल्ट्राफिल्टर आदर्श स्थान निर्धारण योजना का वर्णन करता है जहां प्रत्येक योजना घटक नई जानकारी देता है। इसके कारण कॉम्पैक्टनेस ऑर्डर्ड स्पेस वह गुण है जिसके कारण प्रत्येक खोज लाभकारी होती है, या, इसे दूसरे तरीके से कहें तो, प्रत्येक पता लगाने की योजना खोज परिणाम में समाप्त होती है।

फ़िल्टर का सामान्य उपयोग उन गुणों को परिभाषित करना है जो कुछ टोपोलॉजिकल स्पेस के सामान्य तत्वों से संतुष्ट होते हैं।^[2] यह एप्लिकेशन उन बिंदुओं को ढूंढने के लिए स्थान निर्धारण योजना को सामान्यीकृत करता है जिन्हें स्पष्ट रूप से लिखना कठिन हो सकता है।

परिभाषा

उपसमुच्चय $F$ आंशिक रूप से ऑर्डर किए गए समुच्चय का $(P, \leq)$ फ़िल्टर या दोहरा आदर्श है यदि:

गैर-तुच्छता: समुच्चय $F$ रिक्त समुच्चय है।
निर्देशित समुच्चय: प्रत्येक के लिए $x, y \in F$ , वहाँ कुछ $z \in F$ ऐसा है कि $z \leq x$ और $z \leq y$ के समान हों।
उच्च समुच्चय: प्रत्येक के लिए $x \in F$ और $p \in P$ , स्थिति $x \leq p$ तात्पर्य $p \in F$ के समान हैं।:इस प्रकार यदि $F \neq P$ फिर भी $F$ को उचित फ़िल्टर कहा जाता है। समुच्चय सिद्धांत और गणितीय तर्क में लेखकों को अधिकांशतः सभी फ़िल्टर उचित होने की आवश्यकता होती है, यह लेख उस परंपरा को त्याग देता हैं।^[3] इस प्रकार अल्ट्राफ़िल्टर ऐसा फ़िल्टर है जो किसी अन्य उचित फ़िल्टर में सम्मिलित नहीं होता है।

फ़िल्टर का आधार

उपसमुच्चय $S$ का $F$ का आधार या आधार $F$ है, इस प्रकार यदि ऊपरी समुच्चय द्वारा $S$ उत्पन्न होता है, अर्थात, सबसे छोटा ऊपर की ओर बंद युक्त $S$ ) सब है $F$ . प्रत्येक फ़िल्टर अपने लिए आधार है।

इसके अतिरिक्त, यदि $B \subseteq P$ तो फिर रिक्त नहीं है, और नीचे की ओर $B$ निर्देशित है, इसका ऊपरी समुच्चय $F$ का मान उत्पन्न करता है, जो इसका मुख्य फ़िल्टर है, जिसके लिए $B$ आधार है, ऐसे समुच्चय को प्रीफ़िल्टर कहा जाता है, इसके साथ ही उपरोक्त फ़िल्टर बेस/आधार भी कहा जाता है, जिसके लिए $F$ द्वारा उत्पन्न या फैला हुआ $B$ कहा जाता है, इस प्रकार प्रीफ़िल्टर तभी उचित है जब यह उचित फ़िल्टर उत्पन्न करता है।

इसके कारण दिए गए $p \in P$ , समुच्चय ${x : p \leq x}$ सबसे छोटा फ़िल्टर $p$ है, और कभी-कभी इसे $↑ p$ द्वारा भी लिखा जाता है, ऐसे फ़िल्टर को प्रिंसिपल फ़िल्टर $p$ कहा जाता है, जिसका प्रमुख तत्व $F$ कहा जाता है , जो $F$ का मान उत्पन्न करता हैं।

परिष्कार

कल्पना करना $B$ और $C$ दो प्रीफ़िल्टर $P$ हैं, और, प्रत्येक के लिए $c \in C$ , $b \in B$ , का मान इस प्रकार हैं कि $b \leq c$ . तो फिर हम कहते हैं कि $B$ फाइनर हैं। इससे बहिष्कृत या परिष्कृत $C$ , वैसे ही, $C$ से अधिक मोटा $B$ है, इसके लिए प्रीफ़िल्टर के समुच्चय पर शोधन पूर्व आदेश है। इस प्रकार यदि $C$ परिष्कृत भी $B$ द्वारा करता है, तब $B$ और $C$ समतुल्य कहलाते हैं, क्योंकि वे समान फ़िल्टर उत्पन्न करते हैं। इस प्रकार प्रीफ़िल्टर से फ़िल्टर तक का मार्ग प्रीऑर्डरिंग से संबद्ध आंशिक ऑर्डरिंग तक जाने का उदाहरण है।

विशेष स्थिति

ऐतिहासिक रूप से, फ़िल्टर को इससे आंशिक आदेशों से पहले फिल्टर (आदेश) या ऑर्डर-सैद्धांतिक लैटिस के लिए सामान्यीकृत किया गया है। इस प्रकार फिल्टर की इस स्थिति में नीचे की दिशा को परिमित मीट (गणित) के अनुसार समापन के रूप में लिखा जा सकता है: इस प्रकार सभी $x, y \in F$ के लिए किसी के पास $x \land y \in F$ का मान रहता हैं।^[4]

रैखिक फिल्टर

इसके रैखिक (अल्ट्रा) फिल्टर किसी दिए गए सदिश स्थल के वेक्टर उप-स्थान के फिल्टर (क्रम) पर (अल्ट्रा) फिल्टर है, जो समावेशन द्वारा क्रमबद्ध है। इस प्रकार स्पष्ट रूप से, सदिश स्थान पर रैखिक फ़िल्टर $X$ समूह है $B$ सदिश उप-स्थानों का $X$ ऐसे कि यदि $A, B \in B$ और $C$ का सदिश उपसमष्टि $X$ है, इस प्रकार इसमें $A$ का मान सम्मिलित है, इस स्थिति में $A \cap B \in B$ और $C \in B$ के समान हैं।^[5]

यदि इसमें सम्मिलित नहीं है तो रैखिक फ़िल्टर ${0}$ उचित है।^[5]

एक समुच्चय पर फ़िल्टर, उपआधार

Families ${\mathcal {F}}$ of sets over $\Omega$ v t e
Is necessarily true of ${\mathcal {F}}\colon$ or, is ${\mathcal {F}}$ closed under:	Directed by $\,\supseteq$	$A\cap B$	$A\cup B$	$B\setminus A$	$\Omega \setminus A$	$A_{1}\cap A_{2}\cap \cdots$	$A_{1}\cup A_{2}\cup \cdots$	$\Omega \in {\mathcal {F}}$	$\varnothing \in {\mathcal {F}}$	F.I.P.
[[pi-system\| $π$ -system]]
Semiring										Never
[[Semialgebra\|Semialgebra (Semifield)]]										Never
[[Monotone class\|Monotone class]]						only if $A_{i}\searrow$	only if $A_{i}\nearrow$
[[Dynkin system\|𝜆-system (Dynkin System)]]				only if $A\subseteq B$			only if $A_{i}\nearrow$ or they are disjoint			Never
[[Ring of sets\|Ring (Order theory)]]
[[Ring of sets\|Ring (Measure theory)]]										Never
[[Delta-ring\|δ-Ring]]										Never
[[Sigma-ring\|𝜎-Ring]]										Never
[[Field of sets\|Algebra (Field)]]										Never
[[σ-algebra\|𝜎-Algebra (𝜎-Field)]]										Never
[[Dual ideal\|Dual ideal]]
[[Filter (set theory)\|Filter]]				Never	Never				$\varnothing \not \in {\mathcal {F}}$
[[Prefilter\|Prefilter (Filter base)]]				Never	Never				$\varnothing \not \in {\mathcal {F}}$
[[Filter subbase\|Filter subbase]]				Never	Never				$\varnothing \not \in {\mathcal {F}}$
[[Topology (structure)\|Open Topology]]							(even arbitrary $\cup$ )			Never
[[Topology (structure)\|Closed Topology]]						(even arbitrary $\cap$ )				Never
Is necessarily true of ${\mathcal {F}}\colon$ or, is ${\mathcal {F}}$ closed under:	directed downward	finite intersections	finite unions	relative complements	complements in $\Omega$	countable intersections	countable unions	contains $\Omega$	contains $\varnothing$	Finite Intersection Property
Additionally, a *semiring* is a [[pi-system\| $π$ -system]] where every complement $B\setminus A$ is equal to a finite disjoint union of sets in ${\mathcal {F}}.$ A *semialgebra* is a semiring that contains $\Omega .$ $A,B,A_{1},A_{2},\ldots$ are arbitrary elements of ${\mathcal {F}}$ and it is assumed that ${\mathcal {F}}\neq \varnothing .$

$S$ द्वारा दिया गया समुच्चय मुख्य रूप से $P (S)$ पावर समुच्चय को आंशिक रूप से समुच्चय समावेशन द्वारा निर्धारित आदेश देता है, इस पोसमुच्चय पर फ़िल्टर को अधिकांशतः केवल फ़िल्टर ऑन $S$ कहा जाता है, ऐसे पोसमुच्चय के लिए, नीचे की दिशा और ऊपर की ओर बंद होना कम हो जाता है:^[3]

परिमित प्रतिच्छेदन के अंतर्गत समापन: यदि $A, B \in F$ , तो भी $A \cap B \in F$ का मान ऐसा ही है।
आइसोटोनी^[6]: इस प्रकार यदि $A \in F$ और $A \subseteq B \subseteq S$ , तब $B \in F$ के समान हैं। :इसके लिए उचित^[7]/गैर पतित^[8]फ़िल्टर वह है जिसमें $\emptyset$ सम्मिलित नहीं है, और इस प्रकार ये तीन स्थितियाँ (गैर-अध: पतन सहित) हेनरी कार्टन की फ़िल्टर की मूल परिभाषा हैं।^[9]^[10] यह सामान्य है - चूंकि सार्वभौमिक नहीं - समुच्चय पर फ़िल्टर को उचित होना आवश्यक है, इस प्रकार पोसमुच्चय फ़िल्टर पर किसी का रुख चाहे जो भी हो, हम फिर से इस सम्मेलन से बचेंगे।

किसी समुच्चय पर प्रीफ़िल्टर तभी उचित होते हैं जब उनमें ऐसा न हो $\emptyset$ दोनों में से एक हैं।

प्रत्येक उपसमुच्चय के लिए $T$ का $P (S)$ , सबसे छोटा फ़िल्टर है, इस प्रकार $F$ युक्त $T$ प्रीफ़िल्टर के समान $T$ उत्पन्न होने वाला $F$ कहा जाता है, जिसके लिए आधार $F$ समुच्चय है, जहाँ $U$ के सभी परिमित प्रतिच्छेदनों में से $T$ को समुच्चय $T$ के लिए फ़िल्टर सबबेस कहा जाता है जब $F$ और इस प्रकार $U$ का मान उचित रहता हैं।

समुच्चय पर उचित फ़िल्टर में परिमित प्रतिच्छेदन गुण होता है।

अगर $S = \emptyset$ , तब $S$ केवल अनुचित फ़िल्टर ${\emptyset}$ को स्वीकार करता है।

निःशुल्क फ़िल्टर

एक फ़िल्टर को मुफ़्त कहा जाता है, यदि उसके सदस्यों का प्रतिच्छेदन रिक्त है। उचित प्रिंसिपल फ़िल्टर निःशुल्क नहीं है।

चूँकि फ़िल्टर के सदस्यों की किसी भी सीमित संख्या का प्रतिच्छेदन भी सदस्य है, परिमित समुच्चय पर कोई भी उचित फ़िल्टर मुफ़्त नहीं है, और वास्तव में इसके सभी सदस्यों के सामान्य प्रतिच्छेदन द्वारा उत्पन्न प्रमुख फ़िल्टर है। अपितु अनंत समुच्चय पर गैर-प्रमुख फ़िल्टर इस प्रकार आवश्यक रूप से मुफ़्त नहीं है: इस प्रकार फ़िल्टर तभी रिक्त है जब इसमें फ़्रेचेट फ़िल्टर के लिए § Examples सम्मिलित रहता हैं।

उदाहरण

परिमित पोसमुच्चय पर फ़िल्टर के सरल उदाहरण के लिए इस आलेख के शीर्ष पर $P ({1, 2, 3, 4})$ की छवि देखें।

इसके आधार पर आंशिक रूप से ऑर्डर $ℝ \to ℝ$ करें, जहाँ वास्तविक मूल्यवान कार्यों का स्थान $ℝ$ , बिन्दुवार तुलना द्वारा प्राप्त होता हैं। फिर इसके पश्चात अनंत पर बड़े फलनों का समुच्चय इस प्रकार प्राप्त होता हैं-

\left\{f:\lim _{x\to \pm \infty }{f(x)}=\infty \right\}{\text{,}}

एक फ़िल्टर चालू है $ℝ \to ℝ$ . कोई इस निर्माण को डोमेन को कॉम्पेक्टिफिकेशन (गणित) और कोडोमेन को पूरा करने (ऑर्डर सिद्धांत) द्वारा अधिकांशतः सामान्यीकृत कर सकता है: यदि $X$ विशिष्ट उपसमुच्चय वाला समुच्चय है, इस प्रकार $S$ और $Y$ विशिष्ट तत्व वाले पोसमुच्चय $m$ है, तब इस स्थिति में ${f : f | S \geq m}$ फिल्टर $X \to Y$ है, जहाँ समुच्चय ${{k : k \geq N} : N \in ℕ}$ फिल्टर $P (ℕ)$ है, इस प्रकार सामान्यतः यदि $D$ सामान्य हो तो इस स्थिति में निर्देशित समुच्चय इस प्रकार होगा-

\{\{k:k\geq N\}:N\in D\}

जिसमें फिल्टर $P (D)$ है, जिसे टेल फिल्टर कहा जाता है। इसी प्रकार कोई भी नेट (टोपोलॉजी) ${x α} α\inΑ$ संभावितता फ़िल्टर ${{x β : α \leq β} : α \in Α}$ उत्पन्न करता है, इस प्रकार टेल फ़िल्टर इसके लिए संभावित फ़िल्टर $x α = α$ है, इसके आधार पर अनंत समुच्चय पर फ़्रेचेट फ़िल्टर $X$ है-

\{A:X\setminus A{\text{ finite}}\}{\text{.}}

यदि $(X, μ)$ माप स्थान है, इस स्थिति में संग्रह ${A : μ(A) > 0}$ फ़िल्टर है, यहाँ पर यदि $μ(X) = \infty$ , तब ${A : μ(X ∖ A) < \infty}$ भी फ़िल्टर है, इस प्रकार फ़्रेचेट फ़िल्टर ऐसी स्थिति है जहां $μ$ गिनती की माप को प्रदर्शित करता है।

इस प्रकार इस आदेश के लिए $a$ का उपसमुच्चय $a$ को क्लब समुच्चय कहा जाता है, यदि इसे ऑर्डर टोपोलॉजी में बंद किया जाता है, तो $a$ नेट-सैद्धांतिक सीमा $a$ को प्रदर्शित करती है, जिसके क्लब $a$ फ़िल्टर बनाएं जाते हैं: जो क्लब फ़िल्टर, $♣(a)$ के द्वारा प्रदर्शित किये जाते हैं।

इस प्रकार निम्नानुसार यह इसे सामान्यीकृत करता है: जहाँ पर क्लब $C$ भी सघन उपसमुच्चय क्रमिक टोपोलॉजी में इसका संग्रह करता है, यहाँ पर $a$ , और $♣(a)$ के प्रत्येक तत्व से मिलता है, जहाँ $C$ के स्थान पर $C$ के संग्रह के साथ $C̃$ सघन समुच्चय (आदेश) के लिए इसके ऑर्डर में सामान्यतः प्रत्येक तत्व को पूरा करने वाला फ़िल्टर उपस्थित होता है, यहाँ पर इस प्रकार $C̃$ , जिसे सामान्य फ़िल्टर कहा जाता है। इसकी गणना के लिए $C̃$ , रसियोवा-सिकोरस्की लेम्मा का तात्पर्य है कि ऐसा फ़िल्टर उपस्थित होना चाहिए, इस प्रकार कम मान वाले समुच्चय के लिए $C̃$ , ऐसे फिल्टर का अस्तित्व मार्टिन के स्वयंसिद्ध के माध्यम से अनुपयोगी हो सकता है।

इसके आधार पर $P$ इस ब्रह्मांड के आंशिक क्रम (गणित), मोडुलो (गणित) समरूपता (बीजगणित) के समुच्चय को निरूपित करता हैं। यहाँ पर आंशिक रूप से $P$ ऑर्डर द्वारा उक्त मान प्राप्त होता हैं।

A \leq B

यदि यह

f : A \to B

से वृद्धि को सम्मिलित करता है।

फिर परमाणु का उपसमुच्चय आदेश सिद्धांत या गैर-परमाणु आंशिक आदेश फ़िल्टर बनाता है। इसी प्रकार यदि $I$ सीमित कार्डिनैलिटी, मॉड्यूलो आइसोमोर्फिज्म के कुछ दिए गए क्रमविनिमेय वलय पर इंजेक्शन मॉड्यूल का समुच्चय है, फिर आंशिक क्रम $I$ है:

A \leq B

यदि कोई इंजेक्शन फलन मॉड्यूल समरूपता

f : A \to B

उपस्थित है,^[11] किसी अनंत कार्डिनल को देखते हुए

κ

, मॉड्यूल में

I

जो इससे कम से उत्पन्न नहीं किया जा सकता

κ

तत्व फिल्टर बनाते हैं।

समुच्चय पर हर समान संरचना $X$ फ़िल्टर $X \times X$ . है।

आदर्शों से संबंध

एक फिल्टर के लिए द्वंद्व गणित अर्थात, सभी को व्युत्क्रम करके इसके द्वारा प्राप्त की गई अवधारणा $\leq$ और आदान-प्रदान $\land$ साथ $\lor$ — ऑर्डर आदर्श है। इस प्रकार इस द्वंद्व के कारण, फ़िल्टर के किसी भी प्रश्न को यांत्रिक रूप से आदर्शों के बारे में प्रश्न में अनुवादित किया जा सकता है और इसके विपरीत, विशेष रूप से, अभाज्य या अधिकतम फ़िल्टर ऐसा फ़िल्टर होता है, जिसका संगत आदर्श (क्रमशः) इस प्रकार अभाज्य या अधिकतम होता है।

यहाँ पर फिल्टर अल्ट्राफिल्टर है, जिसके कारण यदि इससे संबंधित आदर्श न्यूनतम होता हैं।

मॉडल सिद्धांत में

प्रत्येक फ़िल्टर के लिए $F$ समुच्चय पर $S$ द्वारा परिभाषित समुच्चय फलन इस प्रकार होगा-

m(A)={\begin{cases}1&{\text{if }}A\in F\\0&{\text{if }}S\smallsetminus A\in F\\{\text{is undefined}}&{\text{otherwise}}\end{cases}}

यहाँ पर परिमित रूप से माप (गणित) का मान योगात्मक है , इस प्रकार यदि उस शब्द का अर्थ शिथिल रूप से लगाया जाए तो इसके अतिरिक्त, इस प्रकार बनाए गए उपाय हर स्थान पर परिभाषित किए जाते हैं, यहाँ पर इस प्रकार $F$ अल्ट्राफिल्टर है, इस प्रकार उक्त कथन के अनुसार-

\left\{\,x\in S:\varphi (x)\,\right\}\in F

इस सीमा के लिए इसे उक्त कथन के अनुरूप माना जा सकता है, जहाँ

φ

लगभग हर स्थान पर उपस्थित रहता है। यहाँ पर फ़िल्टर में सदस्यता की व्याख्या का उपयोग किया जाता है, जहाँ इस प्रेरणा के लिए, वास्तविक प्रमाण नहीं हैं। इसके गणितीय तर्क की शाखा, मॉडल सिद्धांत में अल्ट्राप्रोडक्ट के सिद्धांत में प्रदर्शित होती हैं।

टोपोलॉजी में

सामान्य टोपोलॉजी और विश्लेषण में, मीट्रिक स्थान में अनुक्रम की भूमिका के समान अभिसरण को परिभाषित करने के लिए फ़िल्टर का उपयोग किया जाता है। वे विभिन्न प्रकार के मनमाने टोपोलॉजिकल स्पेस में सीमा (गणित) की अवधारणा को एकीकृत करते हैं।

फ़िल्टर की आवश्यकता को समझने के लिए, नेट (गणित) की समकक्ष अवधारणा से प्रारंभ करते हैं। इस अनुक्रम के लिए सामान्यतः प्राकृतिक संख्याओं द्वारा अनुक्रमित किया जाता है, इस प्रकार इसके आधार पर $ℕ$ , जो पूर्ण रूप से ऑर्डर किया गया समुच्चय है। इसके आधार पर नेट अनुक्रम की धारणा को प्रतिस्थापित करके सामान्यीकृत करते हैं, जिसके आधार पर $ℕ$ द्वारा निर्देशित समुच्चय के साथ टोपोलॉजिकल स्पेस की कुछ श्रेणियों में, जैसे कि प्रथम-गणनीय रिक्त स्थान, अनुक्रम अधिकांश टोपोलॉजिकल गुणों की विशेषता बताते हैं, अपितु यह सामान्य रूप से सच नहीं है। चूंकि इस प्रकार नेट को साथ ही फिल्टर के लिए सदैव उन टोपोलॉजिकल गुणों की विशेषता बताते हैं।

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

समीपस्थ आधार

किसी $x$ के टोपोलॉजिकल स्पेस में $X$ के समीपस्थ आधार को $N x$ द्वारा परिभाषित करते है: अर्थात् इस प्रकार सभी समुच्चयों का समूह $x$ इसके इंटीरियर (टोपोलॉजी) में सम्मिलित होता हैं। इस प्रकार समुच्चय $N$ के समीपस्थ $x$ इसका समीपस्थ आधार है, इस प्रकार $x$ के लिए यदि $N$ उत्पन्न करता है, जो $N x$ मान प्राप्त होता हैं। जहाँ समान्य रूप से, $S \subseteq X$ का समीपस्थ मान $x$ है, इस प्रकार यदि इसका मान $N \in N$ के समान हैं तो $N \subseteq S$ प्राप्त होता हैं।

अभिसरण फ़िल्टर और क्लस्टर बिंदु

एक प्रीफ़िल्टर $B$ बिंदु पर अभिसरण प्रीफ़िल्टर $x$ का मान $B \to x$ होता हैं। इस कारण यदि $B$ फ़िल्टर $F$ उत्पन्न करता है, जो समीपस्थ फ़िल्टर $N x$ में सम्मिलित रहता है, इस कारण स्पष्ट रूप से प्रत्येक पड़ोस के लिए $U$ का मान $x$ रहता हैं, जहाँ $V \in B$ का मान इस प्रकार हैं कि $V \subseteq U$ का मान कम होता हैं और यह स्पष्ट रूप से, $B \to x$ के लिए $B$ का मान $N x$ के लिए परिष्कृत करता है, और इस प्रकार किसी भी समीपस्थ मान के आधार पर $x$ को $N x$ द्वारा प्रतिस्थापित कर सकता है। इस प्रकार यह प्रदर्शित होता हैं कि हर समीपस्थ आधार $x$ में $x$ का मान एकत्रित हो जाता है।

यहाँ पर फ़िल्टर $F$ जो स्वयं उत्पन्न होता है, जिसमें $x$ का मान परिवर्तित हो जाता है, यदि $N x \subseteq F$ . के लिए इसका समीपस्थ फ़िल्टर को चिह्नित करने के लिए उपरोक्त को व्युत्क्रम भी किया जा सकता है, जहाँ इस प्रकार $N x$ : $N x$ प्रत्येक फ़िल्टर की तुलना में उत्तम फ़िल्टर $x$ प्राप्त होता हैं।

यदि $B \to x$ के समान हैं तब इस स्थिति में $x$ को फ़िल्टर (बिंदु) की सीमा $B$ कहा जाता है, इस प्रकार इसके कारण प्रीफ़िल्टर $B$ को क्लस्टर $x$ कहा जाता है, जो या $x$ फ़िल्टर के क्लस्टर बिंदु के रूप में प्रदर्शित होता हैं। जिसके लिए यदि प्रत्येक तत्व $B$ के प्रत्येक समीपस्थ होने के साथ गैर-रिक्त प्रतिच्छेदन $x$ के समान होता है। इसके लिए प्रत्येक सीमा बिंदु क्लस्टर बिंदु है, अपितु इसका विपरीत सामान्य रूप से सत्य नहीं है। चूंकि प्रत्येक क्लस्टर बिंदु ultra फ़िल्टर सीमा बिंदु को दर्शाता है।

यह भी देखें

निस्पंदन (गणित)
निस्पंदन (संभावना सिद्धांत)
निस्पंदन (अमूर्त बीजगणित)
सामान्य फ़िल्टर
आदर्श (समुच्चय सिद्धांत) – Non-empty family of sets that is closed under finite unions and subsets

↑ Koutras et al. 2021.
↑ Igarashi, Ayumi; Zwicker, William S. (16 February 2021). "ग्राफ़ और उलझे हुए केक का उचित विभाजन". arXiv:2102.08560 [math.CO].
↑ ^3.0 ^3.1 Dugundji 1966, pp. 211–213.
↑ Davey, B. A.; Priestley, H. A. (1990). लैटिस और ऑर्डर का परिचय. Cambridge Mathematical Textbooks. Cambridge University Press. p. 184.
↑ ^5.0 ^5.1 Bergman & Hrushovski 1998.
↑ Dolecki & Mynard 2016, pp. 27–29.
↑ Goldblatt, R. Lectures on the Hyperreals: an Introduction to Nonstandard Analysis. p. 32.
↑ Narici & Beckenstein 2011, pp. 2–7.
↑ Cartan 1937a.
↑ Cartan 1937b.
↑ Bumby, R. T. (1965-12-01). "मॉड्यूल जो एक दूसरे के सबमॉड्यूल के समरूपी होते हैं". Archiv der Mathematik (in English). 16 (1): 184–185. doi:10.1007/BF01220018. ISSN 1420-8938.

संदर्भ

Nicolas Bourbaki, General Topology (Topologie Générale), ISBN 0-387-19374-X (Ch. 1-4): Provides a good reference for filters in general topology (Chapter I) and for Cauchy filters in uniform spaces (Chapter II)
Bourbaki, Nicolas (1987) [1981]. Topological Vector Spaces: Chapters 1–5. Éléments de mathématique. Translated by Eggleston, H.G.; Madan, S. Berlin New York: Springer-Verlag. ISBN 3-540-13627-4. OCLC 17499190.
Burris, Stanley; Sankappanavar, Hanamantagouda P. (2012). A Course in Universal Algebra (PDF). Springer-Verlag. ISBN 978-0-9880552-0-9. Archived from the original on 1 April 2022.
Cartan, Henri (1937a). "Théorie des filtres". Comptes rendus hebdomadaires des séances de l'Académie des sciences. 205: 595–598.
Cartan, Henri (1937b). "Filtres et ultrafiltres". Comptes rendus hebdomadaires des séances de l'Académie des sciences. 205: 777–779.
Dolecki, Szymon; Mynard, Frederic (2016). Convergence Foundations Of Topology. New Jersey: World Scientific Publishing Company. ISBN 978-981-4571-52-4. OCLC 945169917.
Dugundji, James (1966). Topology. Boston: Allyn and Bacon. ISBN 978-0-697-06889-7. OCLC 395340485.
Koutras, Costas D.; Moyzes, Christos; Nomikos, Christos; Tsaprounis, Konstantinos; Zikos, Yorgos (20 October 2021). "On Weak Filters and Ultrafilters: Set Theory From (and for) Knowledge Representation". Logic Journal of the IGPL. doi:10.1093/jigpal/jzab030.
MacIver R., David (1 July 2004). "Filters in Analysis and Topology" (PDF). Archived from the original (PDF) on 2007-10-09. (Provides an introductory review of filters in topology and in metric spaces.)
Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
Willard, Stephen (2004) [1970]. General Topology. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-43479-7. OCLC 115240.
Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.

अग्रिम पठन

Bergman, George M.; Hrushovski, Ehud (1998). "Linear ultrafilters". Communications in Algebra. 26 (12): 4079–4113. CiteSeerX 10.1.1.54.9927. doi:10.1080/00927879808826396.

[FOOTNOTEKoutrasMoyzesNomikosTsaprounis2021-1] Koutras et al. 2021.

[2] Igarashi, Ayumi; Zwicker, William S. (16 February 2021). "ग्राफ़ और उलझे हुए केक का उचित विभाजन". arXiv:2102.08560 [math.CO].

[FOOTNOTEDugundji1966211–213-3] 3.0 ^3.1 Dugundji 1966, pp. 211–213.

[4] Davey, B. A.; Priestley, H. A. (1990). लैटिस और ऑर्डर का परिचय. Cambridge Mathematical Textbooks. Cambridge University Press. p. 184.

[FOOTNOTEBergmanHrushovski1998-5] 5.0 ^5.1 Bergman & Hrushovski 1998.

[FOOTNOTEDoleckiMynard201627–29-6] Dolecki & Mynard 2016, pp. 27–29.

[7] Goldblatt, R. Lectures on the Hyperreals: an Introduction to Nonstandard Analysis. p. 32.

[FOOTNOTENariciBeckenstein20112–7-8] Narici & Beckenstein 2011, pp. 2–7.

[FOOTNOTECartan1937a-9] Cartan 1937a.

[FOOTNOTECartan1937b-10] Cartan 1937b.

[11] Bumby, R. T. (1965-12-01). "मॉड्यूल जो एक दूसरे के सबमॉड्यूल के समरूपी होते हैं". Archiv der Mathematik (in English). 16 (1): 184–185. doi:10.1007/BF01220018. ISSN 1420-8938.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

@@ Line 1: / Line 1: @@
 {{short description|In mathematics, a special subset of a partially ordered set}}
-{{for|filters on sets|Filter (set theory)}}
+{{for|समुच्चय पर फ़िल्टर|फ़िल्टर (समुच्चय सिद्धांत)}}
-{{other uses|Filter (disambiguation)}}
+{{other uses|फ़िल्टर (बहुविकल्पी)}}
-{{more footnotes|date=June 2017}}
+[[File:Filter vs ultrafilter.svg|thumb|समुच्चय की पावर समुच्चय फिल्टर {{Math|{{brace|1, 2, 3, 4}}}}, [[ऊपरी सेट|ऊपरी समुच्चय]] के साथ {{Math|&uparrow;{{brace|1, 4}}}} गहरे हरे रंग का। यह ऊपरी समुच्चय फिल्टर है, और यहां तक कि {{em|प्रमुख फ़िल्टर}}. यह नहीं है {{em|अल्ट्रा फिल्टर}}, क्योंकि इसमें हल्के हरे रंग के तत्व भी सम्मिलित हैं जो इसे बड़े गैर-तुच्छ फिल्टर तक विस्तारित करते हैं {{Math|&uparrow;{{brace|1}}}}. चूँकि उत्तरार्द्ध को आगे नहीं बढ़ाया जा सकता है, {{Math|&uparrow;{{brace|1}}}} अल्ट्राफिल्टर है.]]गणित में, '''फ़िल्टर''' या ऑर्डर फ़िल्टर आंशिक रूप से ऑर्डर किए गए [[सबसेट|उपसमुच्चय]] (पोसमुच्चय) का विशेष उपसमुच्चय है, जो बड़े या अंतिम तत्वों का वर्णन करता है। फ़िल्टर ऑर्डर सिद्धांत और [[जाली सिद्धांत|फिल्टर सिद्धांत]] में दिखाई देते हैं, अपितु [[टोपोलॉजी]] में भी, जहां से उनकी उत्पत्ति होती है। इस प्रकार फिल्टर के लिए द्वैत ([[आदेश सिद्धांत]]) की धारणा [[आदर्श (आदेश सिद्धांत)]] है।
-[[File:Filter vs ultrafilter.svg|thumb|सेट की पावर सेट जाली {{Math|{{brace|1, 2, 3, 4}}}}, [[ऊपरी सेट]] के साथ {{Math|&uparrow;{{brace|1, 4}}}} गहरे हरे रंग का। यह ऊपरी सेट एक है {{em|filter}}, और यहां तक कि ए {{em|principal filter}}. यह एक नहीं है {{em|ultrafilter}}, क्योंकि इसमें हल्के हरे रंग के तत्व भी शामिल हैं जो इसे बड़े गैर-तुच्छ फिल्टर तक विस्तारित करते हैं {{Math|&uparrow;{{brace|1}}}}. चूँकि उत्तरार्द्ध को आगे नहीं बढ़ाया जा सकता है, {{Math|&uparrow;{{brace|1}}}} एक अल्ट्राफिल्टर है.]]गणित में, फ़िल्टर या ऑर्डर फ़िल्टर आंशिक रूप से ऑर्डर किए गए [[सबसेट]] (पोसेट) का एक विशेष उपसमुच्चय है, जो बड़े या अंतिम तत्वों का वर्णन करता है। फ़िल्टर ऑर्डर सिद्धांत और [[जाली सिद्धांत]] में दिखाई देते हैं, लेकिन [[टोपोलॉजी]] में भी, जहां से उनकी उत्पत्ति होती है। एक फिल्टर के लिए द्वैत ([[आदेश सिद्धांत]]) की धारणा एक [[आदर्श (आदेश सिद्धांत)]] है।
-फिल्टर के विशेष मामलों में [[ अल्ट्राफ़िल्टर ]] शामिल है, जो ऐसे फिल्टर हैं जिन्हें बड़ा नहीं किया जा सकता है, और [[गणितीय तर्क]] में गैर-रचनात्मक तकनीकों का वर्णन करते हैं।
+फिल्टर की विशेष स्थितियों में [[ अल्ट्राफ़िल्टर |अल्ट्राफ़िल्टर]] सम्मिलित है, जो ऐसे फिल्टर हैं जिन्हें बड़ा नहीं किया जा सकता है, और [[गणितीय तर्क]] में गैर-रचनात्मक तकनीकों का वर्णन करते हैं।
-[[फ़िल्टर (सेट सिद्धांत)]] 1937 में [[ हेनरी कर्तन ]] द्वारा पेश किया गया था। [[निकोलस बॉर्बकी]] ने अपनी पुस्तक ''टोपोलोगी जेनरल'' में ई. एच. मूर और हरमन एल. स्मिथ की 1922 की [[नेट (टोपोलॉजी)]] की धारणा के विकल्प के रूप में फिल्टर को लोकप्रिय बनाया; ऑर्डर फ़िल्टर इस धारणा को [[समावेशन (सेट सिद्धांत)]] के तहत [[ सत्ता स्थापित ]] के विशिष्ट मामले से लेकर मनमाने ढंग से आंशिक रूप से ऑर्डर किए गए सेट तक सामान्यीकृत करते हैं। फिर भी, फ़िल्टर (सेट सिद्धांत) | पावर-सेट फ़िल्टर का सिद्धांत टोपोलॉजी में पर्याप्त फ़िल्टर के लिए, अपने आप में रुचि बरकरार रखता है।
+[[फ़िल्टर (सेट सिद्धांत)|फ़िल्टर (समुच्चय सिद्धांत)]] 1937 में [[ हेनरी कर्तन |हेनरी कर्तन]] द्वारा प्रस्तुत किया गया था। इस प्रकार [[निकोलस बॉर्बकी]] ने अपनी पुस्तक ''टोपोलोगी जेनरल'' में ई. एच. मूर और हरमन एल. स्मिथ की 1922 की [[नेट (टोपोलॉजी)]] की धारणा के विकल्प के रूप में फिल्टर को लोकप्रिय बनाया गया हैं, इस प्रकार ऑर्डर फ़िल्टर इस धारणा को [[समावेशन (सेट सिद्धांत)|समावेशन (समुच्चय सिद्धांत)]] के अनुसार [[ सत्ता स्थापित |असेम्बली स्थापित]] के विशिष्ट स्थितियों से लेकर मनमाने ढंग से आंशिक रूप से ऑर्डर किए गए समुच्चय तक सामान्यीकृत करते हैं। फिर भी फ़िल्टर के समुच्चय सिद्धांत या पावर-समुच्चय फ़िल्टर का सिद्धांत टोपोलॉजी में पर्याप्त फ़िल्टर के लिए, अपने आप में रुचि निरंतर रखता है।
 ==प्रेरणा==
-आंशिक रूप से ऑर्डर किए गए सेट को ठीक करें|आंशिक रूप से ऑर्डर किए गए सेट (पोसेट) को ठीक करें{{Mvar|P}}. सहज रूप से, एक फ़िल्टर{{Mvar|F}} का एक उपसमुच्चय है {{Mvar|P}} जिनके सदस्य किसी मानदंड को पूरा करने के लिए पर्याप्त बड़े तत्व हैं।{{sfn|Koutras|Moyzes|Nomikos|Tsaprounis|2021|p=}} उदाहरण के लिए, यदि {{Math|''x'' &isin; ''P''}}, फिर उपरोक्त तत्वों का सेट {{Mvar|x}} एक फिल्टर है, जिसे प्रिंसिपल फिल्टर कहा जाता है {{Mvar|x}}. (अगर {{Mvar|x}} और {{Mvar|y}} तुलनीयता तत्व हैं {{Mvar|P}}, तो न तो प्रिंसिपल फ़िल्टर पर {{Mvar|x}} और न {{Mvar|y}} दूसरे में समाहित है।)
+आंशिक रूप से ऑर्डर किए गए समुच्चय को ठीक करें या आंशिक रूप से ऑर्डर किए गए समुच्चय (पोसमुच्चय) को {{Mvar|P}} द्वारा ठीक करते हैं। इस प्रकार सहजता से, फ़िल्टर{{Mvar|F}} का उपसमुच्चय {{Mvar|P}} है, इस प्रकार जिनके सदस्य किसी मानदंड को पूरा करने के लिए पर्याप्त बड़े तत्व हैं।{{sfn|Koutras|Moyzes|Nomikos|Tsaprounis|2021|p=}} उदाहरण के लिए, यदि {{Math|''x'' &isin; ''P''}}, फिर उपरोक्त तत्वों का समुच्चय {{Mvar|x}} फिल्टर है, जिसे प्रिंसिपल फिल्टर को {{Mvar|x}} कहा जाता है, इस प्रकार यदि {{Mvar|x}} और {{Mvar|y}} तुलनीयता तत्व {{Mvar|P}} हैं, इस प्रकार न तो प्रिंसिपल फ़िल्टर पर {{Mvar|x}} और न {{Mvar|y}} दूसरे में समाहित है।
-इसी तरह, एक सेट पर एक फिल्टर{{Mvar|S}} में वे उपसमुच्चय शामिल हैं जो दिए गए कुछ को शामिल करने के लिए पर्याप्त रूप से बड़े हैं {{em|thing}}. उदाहरण के लिए, यदि {{Mvar|S}} वास्तविक रेखा है और {{Math|''x'' &isin; ''S''}}, फिर सेट का परिवार भी शामिल है {{Mvar|x}} इनके [[ आंतरिक (टोपोलॉजी) ]] में एक फिल्टर होता है, जिसे नेबरहुड फिल्टर एट कहा जाता है {{Mvar|x}}. वह {{em|thing}} इस मामले में इससे थोड़ा बड़ा है {{Mvar|x}}, लेकिन इसमें अभी भी रेखा का कोई अन्य विशिष्ट बिंदु शामिल नहीं है।
+इसी प्रकार समुच्चय पर फिल्टर {{Mvar|S}} में इस प्रकार के उपसमुच्चय सम्मिलित रहते हैं जो दिए गए कुछ को सम्मिलित करने के लिए पर्याप्त रूप से बड़े हैं, उदाहरण के लिए, यदि {{Mvar|S}} वास्तविक रेखा है और {{Math|''x'' &isin; ''S''}}, फिर समुच्चय समूह के लिए {{Mvar|x}} भी सम्मिलित है, इनके [[ आंतरिक (टोपोलॉजी) |आंतरिक (टोपोलॉजी)]] में फिल्टर होता है, जिसे नेबरहुड फिल्टर एट {{Mvar|x}} कहा जाता है, इस प्रकार इस स्थिति में इससे {{Mvar|x}} का मान थोड़ा अधिक रहता है, अपितु इसमें अभी भी रेखा का कोई अन्य विशिष्ट बिंदु सम्मिलित नहीं होते है।
-उपरोक्त विचार फ़िल्टर (गणित)#परिभाषा में ऊपर की ओर बंद होने की आवश्यकता को प्रेरित करते हैं: पर्याप्त बड़ी वस्तुओं को हमेशा बड़ा बनाया जा सकता है।
+उपरोक्त विचार फ़िल्टर (गणित) परिभाषा में ऊपर की ओर बंद होने की आवश्यकता को प्रेरित करते हैं: इसके लिए पर्याप्त वस्तुओं को सदैव बड़ा बनाया जा सकता है।
-अन्य दो स्थितियों को समझने के लिए भूमिकाओं को उल्टा करें और इसके बजाय विचार करें {{Mvar|F}} खोजने के लिए एक स्थान निर्धारण योजना के रूप में {{Mvar|x}}. इस व्याख्या में व्यक्ति किसी स्थान में खोज करता है{{Mvar|X}}, और अपेक्षा करता है {{Mvar|F}} के उन सबसेट का वर्णन करने के लिए {{Mvar|X}} जिसमें लक्ष्य शामिल है। लक्ष्य कहीं न कहीं स्थित होना चाहिए; इस प्रकार [[खाली सेट]]{{Math|&emptyset;}} कभी भी अंदर नहीं आ सकता {{Mvar|F}}. और यदि दो उपसमूहों में लक्ष्य शामिल है, तो उन्हें उनके सामान्य क्षेत्र पर ज़ूम करना चाहिए।
+अन्य दो स्थितियों को समझने के लिए भूमिकाओं को व्युत्क्रम करके और इसके अतिरिक्त इस प्रकार इस पर विचार करें तो {{Mvar|F}} को खोजने के लिए स्थान निर्धारण योजना के रूप में {{Mvar|x}} के लिए इस व्याख्या में व्यक्ति किसी स्थान में {{Mvar|X}} को खोजा जाता है, और इस प्रकार {{Mvar|F}} की अपेक्षा करता है, जिसके लिए उन उपसमुच्चय का वर्णन करने के लिए {{Mvar|X}} जिसमें लक्ष्य सम्मिलित है। इस प्रकार यह लक्ष्य कहीं न कहीं स्थित होना चाहिए, इस प्रकार [[खाली सेट|रिक्त समुच्चय]] {{Math|&emptyset;}} कभी भी {{Mvar|F}} के अंदर नहीं आ सकता, और यदि दो उपसमूहों में लक्ष्य सम्मिलित है, तो उन्हें उनके सामान्य क्षेत्र पर ज़ूम करना चाहिए।
-एक अल्ट्राफिल्टर एक आदर्श स्थान निर्धारण योजना का वर्णन करता है जहां प्रत्येक योजना घटक नई जानकारी देता है (या तो यहां देखें या कहीं और देखें)। कॉम्पैक्टनेस#ऑर्डर्ड स्पेस वह गुण है जिसके कारण प्रत्येक खोज फलदायी होती है, या, इसे दूसरे तरीके से कहें तो, प्रत्येक पता लगाने की योजना एक खोज परिणाम में समाप्त होती है।
+एक अल्ट्राफिल्टर आदर्श स्थान निर्धारण योजना का वर्णन करता है जहां प्रत्येक योजना घटक नई जानकारी देता है। इसके कारण कॉम्पैक्टनेस ऑर्डर्ड स्पेस वह गुण है जिसके कारण प्रत्येक खोज लाभकारी होती है, या, इसे दूसरे तरीके से कहें तो, प्रत्येक पता लगाने की योजना खोज परिणाम में समाप्त होती है।
-फ़िल्टर का एक सामान्य उपयोग उन गुणों को परिभाषित करना है जो कुछ टोपोलॉजिकल स्पेस के सामान्य तत्वों से संतुष्ट होते हैं।<ref>{{cite arXiv|last1=Igarashi|first1=Ayumi|last2=Zwicker|first2=William S.|date=16 February 2021|title=ग्राफ़ और उलझे हुए केक का उचित विभाजन|class=math.CO|eprint=2102.08560}}</ref> यह एप्लिकेशन उन बिंदुओं को ढूंढने के लिए स्थान निर्धारण योजना को सामान्यीकृत करता है जिन्हें स्पष्ट रूप से लिखना मुश्किल हो सकता है।
+फ़िल्टर का सामान्य उपयोग उन गुणों को परिभाषित करना है जो कुछ टोपोलॉजिकल स्पेस के सामान्य तत्वों से संतुष्ट होते हैं।<ref>{{cite arXiv|last1=Igarashi|first1=Ayumi|last2=Zwicker|first2=William S.|date=16 February 2021|title=ग्राफ़ और उलझे हुए केक का उचित विभाजन|class=math.CO|eprint=2102.08560}}</ref> यह एप्लिकेशन उन बिंदुओं को ढूंढने के लिए स्थान निर्धारण योजना को सामान्यीकृत करता है जिन्हें स्पष्ट रूप से लिखना कठिन हो सकता है।
 ==परिभाषा==
-{{anchor|Filter on a partially ordered set|directed downward|order filter}}
+उपसमुच्चय {{Mvar|F}} आंशिक रूप से ऑर्डर किए गए समुच्चय का{{Math|(''P'', &leq;)}} फ़िल्टर या दोहरा आदर्श है यदि:
-उपसमुच्चय{{Mvar|F}} आंशिक रूप से ऑर्डर किए गए सेट का{{Math|(''P'', &leq;)}} एक फ़िल्टर या दोहरा आदर्श है यदि:
-; गैर-तुच्छता: सेट {{Mvar|F}} खाली सेट है|गैर-खाली।
+; गैर-तुच्छता: समुच्चय {{Mvar|F}} रिक्त समुच्चय है।
-; [[निर्देशित सेट]]: प्रत्येक के लिए {{Math|''x'', ''y'' &isin; ''F''}}, वहाँ कुछ {{Math|''z'' &isin; ''F''}} ऐसा है कि {{Math|''z'' &leq; ''x''}} और {{Math|''z'' &leq; ''y''}}.
+; [[निर्देशित सेट|निर्देशित समुच्चय]]: प्रत्येक के लिए {{Math|''x'', ''y'' &isin; ''F''}}, वहाँ कुछ {{Math|''z'' &isin; ''F''}} ऐसा है कि {{Math|''z'' &leq; ''x''}} और {{Math|''z'' &leq; ''y''}} के समान हों।
-; ऊपरी सेट: प्रत्येक के लिए {{Math|''x'' &isin; ''F''}} और {{Math|''p'' &isin; ''P''}}, स्थिति {{Math|''x'' &leq; ''p''}} तात्पर्य {{Math|''p'' &isin; ''F''}}.
+; उच्च समुच्चय: प्रत्येक के लिए {{Math|''x'' &isin; ''F''}} और {{Math|''p'' &isin; ''P''}}, स्थिति {{Math|''x'' &leq; ''p''}} तात्पर्य  {{Math|''p'' &isin; ''F''}} के समान हैं।:इस प्रकार यदि {{Math|''F'' &NotEqual; ''P''}} फिर भी {{Mvar|F}} को उचित फ़िल्टर कहा जाता है। समुच्चय सिद्धांत और गणितीय तर्क में लेखकों को अधिकांशतः सभी फ़िल्टर उचित होने की आवश्यकता होती है, यह लेख उस परंपरा को ''त्याग'' देता हैं।{{sfn|Dugundji|1966|pp=211-213}} इस प्रकार अल्ट्राफ़िल्टर ऐसा फ़िल्टर है जो किसी अन्य उचित फ़िल्टर में सम्मिलित नहीं होता है।
-अगर {{Math|''F'' &NotEqual; ''P''}} फिर भी {{Mvar|F}} को एक उचित फ़िल्टर कहा जाता है। सेट सिद्धांत और गणितीय तर्क में लेखकों को अक्सर सभी फ़िल्टर उचित होने की आवश्यकता होती है; यह लेख उस परंपरा को ''त्याग'' देगा।{{sfn|Dugundji|1966|pp=211-213}} अल्ट्राफ़िल्टर एक ऐसा फ़िल्टर है जो किसी अन्य उचित फ़िल्टर में शामिल नहीं होता है।
+=== फ़िल्टर का आधार ===
+उपसमुच्चय {{Mvar|S}} का {{Mvar|F}} का आधार या आधार {{Mvar|F}} है, इस प्रकार यदि ऊपरी समुच्चय द्वारा {{Mvar|S}} उत्पन्न होता है, अर्थात, सबसे छोटा ऊपर की ओर बंद युक्त {{Mvar|S}}) सब है {{Mvar|F}}. प्रत्येक फ़िल्टर अपने लिए आधार है।
-=== फ़िल्टर आधार ===
+इसके अतिरिक्त, यदि {{Math|''B'' &subseteq; ''P''}} तो फिर रिक्त नहीं है, और नीचे की ओर {{Mvar|B}} निर्देशित है,  इसका ऊपरी समुच्चय {{Mvar|F}} का मान उत्पन्न करता है, जो इसका मुख्य फ़िल्टर है, जिसके लिए {{Mvar|B}} आधार है, ऐसे समुच्चय को प्रीफ़िल्टर कहा जाता है, इसके साथ ही उपरोक्त फ़िल्टर बेस/आधार भी कहा जाता है, जिसके लिए {{Mvar|F}} द्वारा उत्पन्न या फैला हुआ {{Mvar|B}} कहा जाता है, इस प्रकार प्रीफ़िल्टर तभी उचित है जब यह उचित फ़िल्टर उत्पन्न करता है।
-{{anchor|Filter base|Prefilter|Filter subbase}}
-उपसमुच्चय{{Mvar|S}} का {{Mvar|F}} का आधार या आधार है {{Mvar|F}} यदि ऊपरी सेट द्वारा उत्पन्न होता है {{Mvar|S}} (अर्थात, सबसे छोटा ऊपर की ओर बंद युक्त {{Mvar|S}}) सब है {{Mvar|F}}. प्रत्येक फ़िल्टर अपने लिए एक आधार है।
-इसके अलावा, यदि {{Math|''B'' &subseteq; ''P''}} तो फिर, खाली नहीं है और नीचे की ओर निर्देशित है {{Mvar|B}} एक ऊपरी सेट उत्पन्न करता है{{Mvar|F}} वह एक फ़िल्टर है (जिसके लिए {{Mvar|B}} एक आधार है). ऐसे सेट को प्रीफ़िल्टर कहा जाता है, साथ ही उपरोक्त फ़िल्टर बेस/आधार भी कहा जाता है {{Mvar|F}} द्वारा उत्पन्न या फैला हुआ कहा जाता है {{Mvar|B}}. एक प्रीफ़िल्टर तभी उचित है जब यह एक उचित फ़िल्टर उत्पन्न करता है।
+इसके कारण दिए गए {{Math|''p'' &isin; ''P''}}, समुच्चय {{Math|{{brace|''x'' : ''p'' &leq; ''x''}}}} सबसे छोटा फ़िल्टर {{Math|''p''}} है, और कभी-कभी इसे {{Math|&uparrow; ''p''}} द्वारा भी लिखा जाता है, ऐसे फ़िल्टर को प्रिंसिपल फ़िल्टर {{Math|''p''}} कहा जाता है,  जिसका प्रमुख तत्व {{Mvar|F}} कहा जाता है , जो {{Mvar|F}} का मान उत्पन्न करता हैं।
-दिया गया {{Math|''p'' &isin; ''P''}}, सेट {{Math|{{brace|''x'' : ''p'' &leq; ''x''}}}} सबसे छोटा फ़िल्टर है {{Math|''p''}}, और कभी-कभी लिखा जाता है {{Math|&uparrow; ''p''}}. ऐसे फ़िल्टर को प्रिंसिपल फ़िल्टर कहा जाता है; {{Math|''p''}} का प्रमुख तत्व कहा जाता है {{Mvar|F}}, या उत्पन्न करें {{Mvar|F}}.
 ==== परिष्कार ====
-कल्पना करना {{Mvar|B}} और {{Mvar|C}} दो प्रीफ़िल्टर चालू हैं {{Mvar|P}}, और, प्रत्येक के लिए {{Mvar|''c'' &isin; ''C''}}, वहां एक है {{Math|''b'' &isin; ''B''}}, ऐसा है कि {{Math|''b'' &leq; ''c''}}. तो फिर हम कहते हैं {{Mvar|B}} है{{visible anchor|finer}} से (या परिष्कृत) {{Mvar|C}}; वैसे ही, {{Mvar|C}} (या मोटे) से अधिक मोटा है {{Mvar|B}}. प्रीफ़िल्टर के सेट पर शोधन एक [[पूर्व आदेश]] है। वास्तव में, यदि {{Mvar|C}} परिष्कृत भी करता है {{Mvar|B}}, तब {{Mvar|B}} और {{Mvar|C}} समतुल्य कहलाते हैं, क्योंकि वे समान फ़िल्टर उत्पन्न करते हैं। इस प्रकार प्रीफ़िल्टर से फ़िल्टर तक का मार्ग प्रीऑर्डरिंग से संबद्ध आंशिक ऑर्डरिंग तक जाने का एक उदाहरण है।
+कल्पना करना {{Mvar|B}} और {{Mvar|C}} दो प्रीफ़िल्टर {{Mvar|P}} हैं, और, प्रत्येक के लिए {{Mvar|''c'' &isin; ''C''}},  {{Math|''b'' &isin; ''B''}}, का मान इस प्रकार हैं कि {{Math|''b'' &leq; ''c''}}. तो फिर हम कहते हैं कि {{Mvar|B}} फाइनर हैं। इससे बहिष्कृत या परिष्कृत {{Mvar|C}}, वैसे ही, {{Mvar|C}} से अधिक मोटा {{Mvar|B}} है, इसके लिए प्रीफ़िल्टर के समुच्चय पर शोधन [[पूर्व आदेश]] है। इस प्रकार यदि {{Mvar|C}} परिष्कृत भी {{Mvar|B}} द्वारा करता है, तब {{Mvar|B}} और {{Mvar|C}} समतुल्य कहलाते हैं, क्योंकि वे समान फ़िल्टर उत्पन्न करते हैं। इस प्रकार प्रीफ़िल्टर से फ़िल्टर तक का मार्ग प्रीऑर्डरिंग से संबद्ध आंशिक ऑर्डरिंग तक जाने का उदाहरण है।
-== विशेष मामले ==
+== विशेष स्थिति ==
-ऐतिहासिक रूप से, फ़िल्टर को मनमाने ढंग से आंशिक आदेशों से पहले [[ जाली (आदेश) ]] | ऑर्डर-सैद्धांतिक लैटिस के लिए सामान्यीकृत किया गया है। जाली के मामले में, नीचे की दिशा को परिमित मीट (गणित) के तहत समापन के रूप में लिखा जा सकता है: सभी के लिए {{Math|''x'', ''y'' &isin; ''F''}}, किसी के पास {{Math|''x'' &and; ''y'' &isin; ''F''}}.<ref>{{cite book |last1=Davey |first1=B. A. |title=लैटिस और ऑर्डर का परिचय|title-link=लैटिस और ऑर्डर का परिचय|last2=Priestley |first2=H. A. |publisher=Cambridge University Press |year=1990 |series=Cambridge Mathematical Textbooks |page=184}}</ref>
+ऐतिहासिक रूप से, फ़िल्टर को इससे आंशिक आदेशों से पहले [[ जाली (आदेश) |फिल्टर (आदेश)]] या ऑर्डर-सैद्धांतिक लैटिस के लिए सामान्यीकृत किया गया है। इस प्रकार फिल्टर की इस स्थिति में नीचे की दिशा को परिमित मीट (गणित) के अनुसार समापन के रूप में लिखा जा सकता है: इस प्रकार सभी {{Math|''x'', ''y'' &isin; ''F''}} के लिए किसी के पास {{Math|''x'' &and; ''y'' &isin; ''F''}} का मान रहता हैं।<ref>{{cite book |last1=Davey |first1=B. A. |title=लैटिस और ऑर्डर का परिचय|title-link=लैटिस और ऑर्डर का परिचय|last2=Priestley |first2=H. A. |publisher=Cambridge University Press |year=1990 |series=Cambridge Mathematical Textbooks |page=184}}</ref>
 === रैखिक फिल्टर ===
-एक रैखिक (अल्ट्रा) फिल्टर किसी दिए गए [[सदिश स्थल]] के वेक्टर उप-स्थान के जाली (क्रम) पर एक (अल्ट्रा) फिल्टर है, जो समावेशन द्वारा क्रमबद्ध है। स्पष्ट रूप से, एक सदिश स्थान पर एक रैखिक फ़िल्टर{{Mvar|X}} एक परिवार है{{Math|{{mathcal|B}}}} सदिश उप-स्थानों का {{Mvar|X}} ऐसे कि यदि {{Math|''A'', ''B'' &isin; {{mathcal|B}}}} और {{Mvar|C}} का एक सदिश उपसमष्टि है {{Mvar|X}} उसमें सम्मिलित है {{Mvar|A}}, तब {{Math|''A'' &cap; ''B'' &isin; {{mathcal|B}}}} और {{Math|''C'' &isin; {{mathcal|B}}}}.{{sfn|Bergman|Hrushovski|1998|p=}}
+इसके रैखिक (अल्ट्रा) फिल्टर किसी दिए गए [[सदिश स्थल]] के वेक्टर उप-स्थान के फिल्टर (क्रम) पर (अल्ट्रा) फिल्टर है, जो समावेशन द्वारा क्रमबद्ध है। इस प्रकार स्पष्ट रूप से, सदिश स्थान पर रैखिक फ़िल्टर{{Mvar|X}} समूह है{{Math|{{mathcal|B}}}} सदिश उप-स्थानों का {{Mvar|X}} ऐसे कि यदि {{Math|''A'', ''B'' &isin; {{mathcal|B}}}} और {{Mvar|C}} का सदिश उपसमष्टि {{Mvar|X}} है, इस प्रकार इसमें {{Mvar|A}} का मान सम्मिलित है, इस स्थिति में {{Math|''A'' &cap; ''B'' &isin; {{mathcal|B}}}} और {{Math|''C'' &isin; {{mathcal|B}}}} के समान हैं।{{sfn|Bergman|Hrushovski|1998|p=}}
-यदि इसमें शामिल नहीं है तो एक रैखिक फ़िल्टर उचित है {{Math|{{brace|0}}}}.{{sfn|Bergman|Hrushovski|1998|p=}}
+यदि इसमें सम्मिलित नहीं है तो रैखिक फ़िल्टर {{Math|{{brace|0}}}} उचित है।{{sfn|Bergman|Hrushovski|1998|p=}}
-=== एक सेट पर फ़िल्टर; उपआधार ===
+=== एक समुच्चय पर फ़िल्टर, उपआधार ===
-{{Main|Filter (set theory)}}
+{{Main|फिल्टर (समुच्चय सिद्धांत)}}
 {{Families of sets}}
-एक सेट दिया गया{{Mvar|S}}, पावर सेट{{Math|{{mathcal|P}}(''S'')}} आंशिक रूप से सेट समावेशन द्वारा निर्धारित आदेश दिया गया है; इस पोसेट पर फ़िल्टर को अक्सर केवल फ़िल्टर ऑन कहा जाता है {{Mvar|S}}, शब्दावली के दुरुपयोग में। ऐसे पोसेट के लिए, नीचे की दिशा और ऊपर की ओर बंद होना कम हो जाता है:{{sfn|Dugundji|1966|pp=211-213}}
+{{Mvar|S}} द्वारा दिया गया समुच्चय मुख्य रूप से {{Math|{{mathcal|P}}(''S'')}} पावर समुच्चय को आंशिक रूप से समुच्चय समावेशन द्वारा निर्धारित आदेश देता है, इस पोसमुच्चय पर फ़िल्टर को अधिकांशतः केवल फ़िल्टर ऑन {{Mvar|S}} कहा जाता है, ऐसे पोसमुच्चय के लिए, नीचे की दिशा और ऊपर की ओर बंद होना कम हो जाता है:{{sfn|Dugundji|1966|pp=211-213}}
-; परिमित चौराहों के अंतर्गत समापन: यदि {{Math|''A'', ''B'' &isin; ''F''}}, तो भी ऐसा ही है {{Math|''A'' &cap; ''B'' &isin; ''F''}}.
+; परिमित प्रतिच्छेदन के अंतर्गत समापन: यदि {{Math|''A'', ''B'' &isin; ''F''}}, तो भी {{Math|''A'' &cap; ''B'' &isin; ''F''}} का मान ऐसा ही है।
-; आइसोटोनी{{sfn|Dolecki|Mynard| 2016|pp=27-29}}: अगर {{Math|''A'' &isin; ''F''}} और {{Math|''A'' &subseteq; ''B'' &subseteq; ''S''}}, तब {{Math|''B'' &isin; ''F''}}.
+; आइसोटोनी{{sfn|Dolecki|Mynard| 2016|pp=27-29}}: इस प्रकार यदि {{Math|''A'' &isin; ''F''}} और {{Math|''A'' &subseteq; ''B'' &subseteq; ''S''}}, तब {{Math|''B'' &isin; ''F''}} के समान हैं। :इसके लिए उचित<ref>{{cite book |last1=Goldblatt |first1=R |url=https://archive.org/stream/springer_10.1007-978-1-4612-0615-6/10.1007-978-1-4612-0615-6#page/n31/mode/2up/search/proper+filter |title=Lectures on the Hyperreals: an Introduction to Nonstandard Analysis |page=32}}</ref>/गैर पतित{{sfn|Narici|Beckenstein|2011|pp=2-7}}फ़िल्टर वह है जिसमें {{Math|&emptyset;}} सम्मिलित नहीं है, और इस प्रकार ये तीन स्थितियाँ (गैर-अध: पतन सहित) हेनरी कार्टन की फ़िल्टर की मूल परिभाषा हैं।{{sfn|Cartan|1937a|p=}}{{sfn|Cartan|1937b|p=}} यह सामान्य है - चूंकि सार्वभौमिक नहीं - समुच्चय पर फ़िल्टर को उचित होना आवश्यक है, इस प्रकार पोसमुच्चय फ़िल्टर पर किसी का रुख चाहे जो भी हो, हम फिर से इस सम्मेलन से बचेंगे।
-एक उचित<ref>{{cite book |last1=Goldblatt |first1=R |url=https://archive.org/stream/springer_10.1007-978-1-4612-0615-6/10.1007-978-1-4612-0615-6#page/n31/mode/2up/search/proper+filter |title=Lectures on the Hyperreals: an Introduction to Nonstandard Analysis |page=32}}</ref>/गैर पतित{{sfn|Narici|Beckenstein|2011|pp=2-7}}फ़िल्टर वह है जिसमें शामिल नहीं है {{Math|&emptyset;}}, और ये तीन स्थितियाँ (गैर-अध: पतन सहित) हेनरी कार्टन की फ़िल्टर की मूल परिभाषा हैं।{{sfn|Cartan|1937a|p=}}{{sfn|Cartan|1937b|p=}} यह सामान्य है - हालांकि सार्वभौमिक नहीं - सेट पर फ़िल्टर को उचित होना आवश्यक है (पोसेट फ़िल्टर पर किसी का रुख चाहे जो भी हो); हम फिर से इस सम्मेलन से बचेंगे।
+किसी समुच्चय पर प्रीफ़िल्टर तभी उचित होते हैं जब उनमें ऐसा न हो {{Math|&emptyset;}} दोनों में से एक हैं।
-किसी सेट पर प्रीफ़िल्टर तभी उचित होते हैं जब उनमें ऐसा न हो {{Math|&emptyset;}} दोनों में से एक।
+प्रत्येक उपसमुच्चय के लिए{{Mvar|T}} का {{Math|{{mathcal|P}}(''S'')}}, सबसे छोटा फ़िल्टर है, इस प्रकार {{Mvar|F}} युक्त {{Mvar|T}} प्रीफ़िल्टर के समान {{Mvar|T}} उत्पन्न होने वाला {{Mvar|F}} कहा जाता है, जिसके लिए आधार {{Mvar|F}} समुच्चय है, जहाँ {{Mvar|U}} के सभी परिमित प्रतिच्छेदनों में से {{Mvar|T}} को समुच्चय {{Mvar|T}} के लिए फ़िल्टर सबबेस कहा जाता है जब {{Mvar|F}} और इस प्रकार {{Mvar|U}} का मान उचित रहता हैं।
-प्रत्येक उपसमुच्चय के लिए{{Mvar|T}} का {{Math|{{mathcal|P}}(''S'')}}, एक सबसे छोटा फ़िल्टर है{{Mvar|F}} युक्त {{Mvar|T}}. प्रीफ़िल्टर की तरह, {{Mvar|T}} उत्पन्न या फैला हुआ कहा जाता है {{Mvar|F}}; के लिए एक आधार {{Mvar|F}} सेट है{{Mvar|U}} के सभी परिमित प्रतिच्छेदनों में से {{Mvar|T}}. सेट {{Mvar|T}} को फ़िल्टर सबबेस कहा जाता है जब {{Mvar|F}} (और इस तरह {{Mvar|U}}) उचित है.
+समुच्चय पर उचित फ़िल्टर में परिमित प्रतिच्छेदन गुण होता है।
-सेट पर उचित फ़िल्टर में परिमित प्रतिच्छेदन गुण होता है।
+अगर {{Math|''S'' {{=}} &emptyset;}}, तब {{Mvar|S}} केवल अनुचित फ़िल्टर {{Math|{{brace|&emptyset;}}}} को स्वीकार करता है।
-अगर {{Math|''S'' {{=}} &emptyset;}}, तब {{Mvar|S}} केवल अनुचित फ़िल्टर को स्वीकार करता है {{Math|{{brace|&emptyset;}}}}.
 ==== निःशुल्क फ़िल्टर ====
-एक फ़िल्टर को मुफ़्त कहा जाता है यदि उसके सदस्यों का प्रतिच्छेदन खाली है। एक उचित प्रिंसिपल फ़िल्टर निःशुल्क नहीं है.
+एक फ़िल्टर को मुफ़्त कहा जाता है, यदि उसके सदस्यों का प्रतिच्छेदन रिक्त है। उचित प्रिंसिपल फ़िल्टर निःशुल्क नहीं है।
-चूँकि फ़िल्टर के सदस्यों की किसी भी सीमित संख्या का प्रतिच्छेदन भी एक सदस्य है, परिमित सेट पर कोई भी उचित फ़िल्टर मुफ़्त नहीं है, और वास्तव में इसके सभी सदस्यों के सामान्य प्रतिच्छेदन द्वारा उत्पन्न प्रमुख फ़िल्टर है। लेकिन एक अनंत सेट पर एक गैर-प्रमुख फ़िल्टर आवश्यक रूप से मुफ़्त नहीं है: एक फ़िल्टर तभी मुफ़्त है जब इसमें फ़्रेचेट फ़िल्टर शामिल हो (देखें) {{Slink||Examples}}).
+चूँकि फ़िल्टर के सदस्यों की किसी भी सीमित संख्या का प्रतिच्छेदन भी सदस्य है, परिमित समुच्चय पर कोई भी उचित फ़िल्टर मुफ़्त नहीं है, और वास्तव में इसके सभी सदस्यों के सामान्य प्रतिच्छेदन द्वारा उत्पन्न प्रमुख फ़िल्टर है। अपितु अनंत समुच्चय पर गैर-प्रमुख फ़िल्टर इस प्रकार आवश्यक रूप से मुफ़्त नहीं है: इस प्रकार फ़िल्टर तभी रिक्त है जब इसमें फ़्रेचेट फ़िल्टर के लिए {{Slink||Examples}} सम्मिलित रहता हैं।
 == उदाहरण ==
-परिमित पोसेट पर फ़िल्टर के सरल उदाहरण के लिए इस आलेख के शीर्ष पर छवि देखें{{Math|{{mathcal|P}}({1, 2, 3, 4})}}.
+परिमित पोसमुच्चय पर फ़िल्टर के सरल उदाहरण के लिए इस आलेख के शीर्ष पर {{Math|{{mathcal|P}}({1, 2, 3, 4})}} की छवि देखें।
-आंशिक रूप से ऑर्डर करें {{Math|{{mathbb|R}} &rarr; {{mathbb|R}}}}, वास्तविक-मूल्यवान कार्यों का स्थान {{Math|{{mathbb|R}}}}, बिन्दुवार तुलना द्वारा। फिर अनंत पर बड़े फलनों का समुच्चय,<math display="block">\left\{f:\lim_{x\to\pm\infty}{f(x)}=\infty\right\}\text{,}</math>एक फ़िल्टर चालू है {{Math|{{mathbb|R}} &rarr; {{mathbb|R}}}}. कोई इस निर्माण को डोमेन को कॉम्पेक्टिफिकेशन (गणित) और कोडोमेन को पूरा करने (ऑर्डर सिद्धांत) द्वारा काफी हद तक सामान्यीकृत कर सकता है: यदि {{Mvar|X}} विशिष्ट उपसमुच्चय वाला एक समुच्चय है{{Mvar|S}} और {{Mvar|Y}} विशिष्ट तत्व वाला एक पोसेट है{{Mvar|m}}, तब {{Math|{{brace|''f'' : ''f''&thinsp;&verbar;<sub>''S''</sub> &geq; ''m''}}}} एक फिल्टर है {{Math|''X'' &rarr; ''Y''}}.
+इसके आधार पर आंशिक रूप से ऑर्डर {{Math|{{mathbb|R}} &rarr; {{mathbb|R}}}} करें, जहाँ वास्तविक मूल्यवान कार्यों का स्थान {{Math|{{mathbb|R}}}}, बिन्दुवार तुलना द्वारा प्राप्त होता हैं। फिर इसके पश्चात अनंत पर बड़े फलनों का समुच्चय इस प्रकार प्राप्त होता हैं-<math display="block">\left\{f:\lim_{x\to\pm\infty}{f(x)}=\infty\right\}\text{,}</math>
-सेट {{Math|{{brace|{{brace|''k'' : ''k'' &geq; ''N''}} : ''N'' &isin; {{mathbb|N}}}}}} एक फिल्टर है {{Math|{{mathcal|P}}({{mathbb|N}})}}. अधिक सामान्यतः, यदि {{Mvar|D}} तो फिर, कोई निर्देशित सेट है<math display="block">\{\{k:k\geq N\}:N\in D\}</math>में एक फिल्टर है {{Math|{{mathcal|P}}(''D'')}}, जिसे टेल फिल्टर कहा जाता है। इसी प्रकार कोई भी नेट (टोपोलॉजी){{Math|{{brace|''x''<sub>&alpha;</sub>}}<sub>&alpha;&isin;&Alpha;</sub>}}संभावितता फ़िल्टर उत्पन्न करता है {{Math|{{brace|{{brace|''x''<sub>&beta;</sub> : &alpha; &leq; &beta;}} : &alpha; &isin; &Alpha;}}}}. एक टेल फ़िल्टर इसके लिए संभावित फ़िल्टर है {{Math|''x''<sub>&alpha;</sub> {{=}} &alpha;}}.
-अनंत सेट पर फ़्रेचेट फ़िल्टर{{Mvar|X}} है<math display="block">\{A:X\setminus A\text{ finite}\}\text{.}</math>अगर {{Math|(''X'', &mu;)}} एक माप स्थान है, फिर संग्रह {{Math|{{brace|''A'' : &mu;(''A'') > 0}}}} एक फ़िल्टर है. अगर {{Math|&mu;(''X'') {{=}} &infin;}}, तब {{Math|{{brace|''A'' : &mu;(''X'' &setminus; ''A'') < &infin;}}}} भी एक फ़िल्टर है; फ़्रेचेट फ़िल्टर ऐसा मामला है जहां {{Math|&mu;}} [[गिनती का माप]] है.
+एक फ़िल्टर चालू है {{Math|{{mathbb|R}} &rarr; {{mathbb|R}}}}. कोई इस निर्माण को डोमेन को कॉम्पेक्टिफिकेशन (गणित) और कोडोमेन को पूरा करने (ऑर्डर सिद्धांत) द्वारा अधिकांशतः सामान्यीकृत कर सकता है: यदि {{Mvar|X}} विशिष्ट उपसमुच्चय वाला समुच्चय है, इस प्रकार {{Mvar|S}} और {{Mvar|Y}} विशिष्ट तत्व वाले पोसमुच्चय {{Mvar|m}} है, तब इस स्थिति में {{Math|{{brace|''f'' : ''f''&thinsp;&verbar;<sub>''S''</sub> &geq; ''m''}}}} फिल्टर {{Math|''X'' &rarr; ''Y''}} है, जहाँ समुच्चय {{Math|{{brace|{{brace|''k'' : ''k'' &geq; ''N''}} : ''N'' &isin; {{mathbb|N}}}}}} फिल्टर {{Math|{{mathcal|P}}({{mathbb|N}})}} है, इस प्रकार सामान्यतः यदि {{Mvar|D}}  सामान्य हो तो इस स्थिति में निर्देशित समुच्चय इस प्रकार होगा-<math display="block">\{\{k:k\geq N\}:N\in D\}</math>
-एक आदेश दिया गया{{Mvar|a}}, का एक उपसमुच्चय {{Mvar|a}} को [[क्लब सेट]] कहा जाता है यदि इसे [[ऑर्डर टोपोलॉजी]] में बंद किया जाता है {{Mvar|a}} लेकिन नेट-सैद्धांतिक सीमा है {{Mvar|a}}. के क्लब {{Mvar|a}} एक फ़िल्टर बनाएं: [[क्लब फ़िल्टर]],{{Math|&clubs;(''a'')}}.
-पिछला निर्माण निम्नानुसार सामान्यीकरण करता है: कोई भी क्लब{{Mvar|C}} भी सघन उपसमुच्चय (क्रमिक टोपोलॉजी में) का एक संग्रह है {{Mvar|a}}, और {{Math|&clubs;(''a'')}} के प्रत्येक तत्व से मिलता है {{Mvar|C}}. की जगह {{Mvar|C}} एक मनमाना संग्रह के साथ{{Mvar|C&#771;}} [[सघन सेट (आदेश)]]ऑर्डर) में, आम तौर पर प्रत्येक तत्व को पूरा करने वाला एक फ़िल्टर मौजूद होता है {{Mvar|C&#771;}}, जिसे [[सामान्य फ़िल्टर]] कहा जाता है। गणनीय के लिए {{Mvar|C&#771;}}, रसियोवा-सिकोरस्की लेम्मा का तात्पर्य है कि ऐसा फ़िल्टर मौजूद होना चाहिए; छोटे [[बेशुमार सेट]] के लिए {{Mvar|C&#771;}}, ऐसे फिल्टर का अस्तित्व मार्टिन के स्वयंसिद्ध के माध्यम से मजबूर (गणित) हो सकता है।
+जिसमें फिल्टर {{Math|{{mathcal|P}}(''D'')}} है, जिसे टेल फिल्टर कहा जाता है। इसी प्रकार कोई भी नेट (टोपोलॉजी){{Math|{{brace|''x''<sub>&alpha;</sub>}}<sub>&alpha;&isin;&Alpha;</sub>}}संभावितता फ़िल्टर {{Math|{{brace|{{brace|''x''<sub>&beta;</sub> : &alpha; &leq; &beta;}} : &alpha; &isin; &Alpha;}}}} उत्पन्न करता है, इस प्रकार टेल फ़िल्टर इसके लिए संभावित फ़िल्टर {{Math|''x''<sub>&alpha;</sub> {{=}} &alpha;}} है, इसके आधार पर अनंत समुच्चय पर फ़्रेचेट फ़िल्टर {{Mvar|X}}  है-<math display="block">\{A:X\setminus A\text{ finite}\}\text{.}</math>
-होने देना {{Math|''P''}} ब्रह्मांड के आंशिक क्रम (गणित), [[मोडुलो (गणित)]] [[समरूपता (बीजगणित)]] के सेट को निरूपित करें। आंशिक रूप से ऑर्डर करें {{Mvar|P}} द्वारा:
-:{{Math|''A'' &leq; ''B''}} यदि सख्ती से वृद्धि मौजूद है {{Math|''f'' : ''A'' &rarr; ''B''}}.
-फिर परमाणु का उपसमुच्चय (आदेश सिद्धांत)|गैर-परमाणु आंशिक आदेश एक फ़िल्टर बनाता है। इसी प्रकार यदि {{Mvar|I}} सीमित कार्डिनैलिटी, मॉड्यूलो आइसोमोर्फिज्म के कुछ दिए गए [[ क्रमविनिमेय वलय ]] पर [[ इंजेक्शन मॉड्यूल ]] का सेट है, फिर एक आंशिक क्रम {{Mvar|I}} है:
-:{{Math|''A'' &leq; ''B''}} यदि कोई [[इंजेक्शन समारोह]] [[मॉड्यूल समरूपता]] मौजूद है {{Math|''f'' : ''A'' &rarr; ''B''}}.<ref>{{Cite journal |last=Bumby |first=R. T. |date=1965-12-01 |title=मॉड्यूल जो एक दूसरे के सबमॉड्यूल के समरूपी होते हैं|url=https://doi.org/10.1007/BF01220018 |journal=Archiv der Mathematik |language=en |volume=16 |issue=1 |pages=184–185 |doi=10.1007/BF01220018 |issn=1420-8938}}</ref> किसी अनंत कार्डिनल को देखते हुए{{Math|&kappa;}}, मॉड्यूल में {{Mvar|I}} जो इससे कम से उत्पन्न नहीं किया जा सकता {{Math|&kappa;}} तत्व एक फिल्टर बनाते हैं।
-सेट पर हर एक समान संरचना{{Mvar|X}} एक फ़िल्टर चालू है {{Math|''X'' &times; ''X''}}.
+यदि {{Math|(''X'', &mu;)}} माप स्थान है, इस स्थिति में संग्रह {{Math|{{brace|''A'' : &mu;(''A'') > 0}}}} फ़िल्टर है, यहाँ पर यदि {{Math|&mu;(''X'') {{=}} &infin;}}, तब {{Math|{{brace|''A'' : &mu;(''X'' &setminus; ''A'') < &infin;}}}} भी फ़िल्टर है, इस प्रकार फ़्रेचेट फ़िल्टर ऐसी स्थिति है जहां {{Math|&mu;}} [[गिनती का माप|गिनती की माप]] को प्रदर्शित करता है।
+इस प्रकार इस आदेश के लिए {{Mvar|a}} का उपसमुच्चय {{Mvar|a}} को [[क्लब सेट|क्लब समुच्चय]] कहा जाता है, यदि इसे [[ऑर्डर टोपोलॉजी]] में बंद किया जाता है, तो {{Mvar|a}} नेट-सैद्धांतिक सीमा {{Mvar|a}} को प्रदर्शित करती है, जिसके क्लब {{Mvar|a}} फ़िल्टर बनाएं जाते हैं: जो [[क्लब फ़िल्टर]],{{Math|&clubs;(''a'')}} के द्वारा प्रदर्शित किये जाते हैं।
+इस प्रकार निम्नानुसार यह इसे सामान्यीकृत करता है: जहाँ पर क्लब{{Mvar|C}} भी सघन उपसमुच्चय क्रमिक टोपोलॉजी में इसका संग्रह करता है, यहाँ पर {{Mvar|a}}, और {{Math|&clubs;(''a'')}} के प्रत्येक तत्व से मिलता है, जहाँ {{Mvar|C}} के स्थान पर {{Mvar|C}} के संग्रह के साथ{{Mvar|C&#771;}} [[सघन सेट (आदेश)|सघन समुच्चय (आदेश)]] के लिए इसके ऑर्डर में सामान्यतः प्रत्येक तत्व को पूरा करने वाला फ़िल्टर उपस्थित होता है, यहाँ पर इस प्रकार {{Mvar|C&#771;}}, जिसे [[सामान्य फ़िल्टर]] कहा जाता है। इसकी गणना के लिए {{Mvar|C&#771;}}, रसियोवा-सिकोरस्की लेम्मा का तात्पर्य है कि ऐसा फ़िल्टर उपस्थित होना चाहिए, इस प्रकार कम मान वाले [[बेशुमार सेट|समुच्चय]] के लिए {{Mvar|C&#771;}}, ऐसे फिल्टर का अस्तित्व मार्टिन के स्वयंसिद्ध के माध्यम से अनुपयोगी हो सकता है।
+इसके आधार पर {{Math|''P''}} इस ब्रह्मांड के आंशिक क्रम (गणित), [[मोडुलो (गणित)]] [[समरूपता (बीजगणित)]] के समुच्चय को निरूपित करता हैं। यहाँ पर आंशिक रूप से {{Mvar|P}} ऑर्डर द्वारा उक्त मान प्राप्त होता हैं।
+:{{Math|''A'' &leq; ''B''}} यदि यह {{Math|''f'' : ''A'' &rarr; ''B''}} से वृद्धि को सम्मिलित करता है।
+फिर परमाणु का उपसमुच्चय आदेश सिद्धांत या गैर-परमाणु आंशिक आदेश फ़िल्टर बनाता है। इसी प्रकार यदि {{Mvar|I}} सीमित कार्डिनैलिटी, मॉड्यूलो आइसोमोर्फिज्म के कुछ दिए गए [[ क्रमविनिमेय वलय |क्रमविनिमेय वलय]] पर [[ इंजेक्शन मॉड्यूल |इंजेक्शन मॉड्यूल]] का समुच्चय है, फिर आंशिक क्रम {{Mvar|I}} है:
+:{{Math|''A'' &leq; ''B''}} यदि कोई [[इंजेक्शन समारोह|इंजेक्शन फलन]] [[मॉड्यूल समरूपता]] {{Math|''f'' : ''A'' &rarr; ''B''}} उपस्थित है,<ref>{{Cite journal |last=Bumby |first=R. T. |date=1965-12-01 |title=मॉड्यूल जो एक दूसरे के सबमॉड्यूल के समरूपी होते हैं|url=https://doi.org/10.1007/BF01220018 |journal=Archiv der Mathematik |language=en |volume=16 |issue=1 |pages=184–185 |doi=10.1007/BF01220018 |issn=1420-8938}}</ref> किसी अनंत कार्डिनल को देखते हुए {{Math|&kappa;}}, मॉड्यूल में {{Mvar|I}} जो इससे कम से उत्पन्न नहीं किया जा सकता {{Math|&kappa;}} तत्व फिल्टर बनाते हैं।
+समुच्चय पर हर समान संरचना{{Mvar|X}} फ़िल्टर {{Math|''X'' &times; ''X''}}. है।
 ==आदर्शों से संबंध==
-{{Main|Ideal (order theory)}}
+{{Main|आदर्श (आदेश सिद्धांत)}}
-एक फिल्टर के लिए द्वंद्व (गणित) - अर्थात, सभी को उलट कर प्राप्त की गई अवधारणा {{Math|&leq;}} और आदान-प्रदान {{Math|&and;}} साथ {{Math|&or;}}— एक ऑर्डर आदर्श है। इस द्वंद्व के कारण, फ़िल्टर के किसी भी प्रश्न को यांत्रिक रूप से आदर्शों के बारे में प्रश्न में अनुवादित किया जा सकता है और इसके विपरीत; विशेष रूप से, एक अभाज्य या अधिकतम फ़िल्टर एक ऐसा फ़िल्टर होता है जिसका संगत आदर्श (क्रमशः) अभाज्य या अधिकतम होता है।
+एक फिल्टर के लिए द्वंद्व गणित अर्थात, सभी को व्युत्क्रम करके इसके द्वारा प्राप्त की गई अवधारणा {{Math|&leq;}} और आदान-प्रदान {{Math|&and;}} साथ {{Math|&or;}}— ऑर्डर आदर्श है। इस प्रकार इस द्वंद्व के कारण, फ़िल्टर के किसी भी प्रश्न को यांत्रिक रूप से आदर्शों के बारे में प्रश्न में अनुवादित किया जा सकता है और इसके विपरीत, विशेष रूप से, अभाज्य या अधिकतम फ़िल्टर ऐसा फ़िल्टर होता है, जिसका संगत आदर्श (क्रमशः) इस प्रकार अभाज्य या अधिकतम होता है।
-एक फिल्टर एक अल्ट्राफिल्टर है यदि और केवल तभी जब संबंधित आदर्श न्यूनतम हो।
+यहाँ पर फिल्टर अल्ट्राफिल्टर है, जिसके कारण यदि इससे संबंधित आदर्श न्यूनतम होता हैं।
 ==मॉडल सिद्धांत में==
-{{See also|Filter quantifier}}
+{{See also|फ़िल्टर परिमाणक}}
-प्रत्येक फ़िल्टर के लिए{{Mvar|F}} एक सेट पर{{Mvar|S}}, द्वारा परिभाषित सेट फ़ंक्शन<math display=block>m(A) = \begin{cases}
+प्रत्येक फ़िल्टर के लिए {{Mvar|F}} समुच्चय पर {{Mvar|S}} द्वारा परिभाषित समुच्चय फलन इस प्रकार होगा-<math display=block>m(A) = \begin{cases}
 & \text{if }A \in F \\
 & \text{if }S \smallsetminus A \in F \\
 \text{is undefined} & \text{otherwise}
-\end{cases}</math>परिमित रूप से योगात्मक है - एक [[माप (गणित)]], यदि उस शब्द का अर्थ शिथिल रूप से लगाया जाए। इसके अलावा, इस प्रकार बनाए गए उपाय हर जगह परिभाषित किए जाते हैं {{mvar|F}} एक अल्ट्राफिल्टर है. इसलिए, कथन<math display="block">\left\{\,x \in S : \varphi(x)\,\right\} \in F</math>को कुछ हद तक उस कथन के अनुरूप माना जा सकता है {{math|&phi;}}लगभग हर जगह कायम है। फ़िल्टर में सदस्यता की व्याख्या का उपयोग किया जाता है (प्रेरणा के लिए, वास्तविक नहीं {{em|proofs}}) गणितीय तर्क की एक शाखा, [[मॉडल सिद्धांत]] में [[अल्ट्राप्रोडक्ट]]्स के सिद्धांत में।
+\end{cases}</math>
+यहाँ पर परिमित रूप से [[माप (गणित)]] का मान योगात्मक है , इस प्रकार यदि उस शब्द का अर्थ शिथिल रूप से लगाया जाए तो इसके अतिरिक्त, इस प्रकार बनाए गए उपाय हर स्थान पर परिभाषित किए जाते हैं, यहाँ पर इस प्रकार {{mvar|F}} अल्ट्राफिल्टर है, इस प्रकार उक्त कथन के अनुसार-<math display="block">\left\{\,x \in S : \varphi(x)\,\right\} \in F</math>इस सीमा के लिए इसे उक्त कथन के अनुरूप माना जा सकता है, जहाँ {{math|&phi;}}लगभग हर स्थान पर उपस्थित रहता है। यहाँ पर फ़िल्टर में सदस्यता की व्याख्या का उपयोग किया जाता है, जहाँ इस प्रेरणा के लिए, वास्तविक प्रमाण नहीं हैं। इसके गणितीय तर्क की शाखा, [[मॉडल सिद्धांत]] में [[अल्ट्राप्रोडक्ट]] के सिद्धांत में प्रदर्शित होती हैं।
 ==टोपोलॉजी में==
-{{Main|Filters in topology}}
+{{Main|टोपोलॉजी में फ़िल्टर}}
-[[सामान्य टोपोलॉजी]] और विश्लेषण में, [[मीट्रिक स्थान]] में [[अनुक्रम]]ों की भूमिका के समान अभिसरण को परिभाषित करने के लिए फ़िल्टर का उपयोग किया जाता है। वे विभिन्न प्रकार के मनमाने [[टोपोलॉजिकल स्पेस]] में एक [[सीमा (गणित)]] की अवधारणा को एकीकृत करते हैं।
+[[सामान्य टोपोलॉजी]] और विश्लेषण में, [[मीट्रिक स्थान]] में [[अनुक्रम]] की भूमिका के समान अभिसरण को परिभाषित करने के लिए फ़िल्टर का उपयोग किया जाता है। वे विभिन्न प्रकार के मनमाने [[टोपोलॉजिकल स्पेस]] में [[सीमा (गणित)]] की अवधारणा को एकीकृत करते हैं।
-फ़िल्टर की आवश्यकता को समझने के लिए, [[नेट (गणित)]] की समकक्ष अवधारणा से शुरुआत करें। एक अनुक्रम आमतौर पर [[प्राकृतिक संख्या]]ओं द्वारा अनुक्रमित किया जाता है{{Math|{{mathbb|N}}}}, जो [[पूरी तरह से ऑर्डर किया गया सेट]] है। नेट अनुक्रम की धारणा को प्रतिस्थापित करके सामान्यीकृत करते हैं {{Math|{{mathbb|N}}}} एक मनमाना निर्देशित सेट के साथ। टोपोलॉजिकल स्पेस की कुछ श्रेणियों में, जैसे कि प्रथम-गणनीय रिक्त स्थान, अनुक्रम अधिकांश टोपोलॉजिकल गुणों की विशेषता बताते हैं, लेकिन यह सामान्य रूप से सच नहीं है। हालाँकि, नेट — साथ ही फिल्टर — हमेशा उन टोपोलॉजिकल गुणों की विशेषता बताते हैं।
+फ़िल्टर की आवश्यकता को समझने के लिए, [[नेट (गणित)]] की समकक्ष अवधारणा से प्रारंभ करते हैं। इस अनुक्रम के लिए सामान्यतः [[प्राकृतिक संख्या|प्राकृतिक संख्याओं]] द्वारा अनुक्रमित किया जाता है, इस प्रकार इसके आधार पर {{Math|{{mathbb|N}}}}, जो [[पूरी तरह से ऑर्डर किया गया सेट|पूर्ण रूप से ऑर्डर किया गया समुच्चय]] है। इसके आधार पर नेट अनुक्रम की धारणा को प्रतिस्थापित करके सामान्यीकृत करते हैं, जिसके आधार पर {{Math|{{mathbb|N}}}} द्वारा निर्देशित समुच्चय के साथ टोपोलॉजिकल स्पेस की कुछ श्रेणियों में, जैसे कि प्रथम-गणनीय रिक्त स्थान, अनुक्रम अधिकांश टोपोलॉजिकल गुणों की विशेषता बताते हैं, अपितु यह सामान्य रूप से सच नहीं है। चूंकि इस प्रकार नेट को साथ ही फिल्टर के लिए सदैव उन टोपोलॉजिकल गुणों की विशेषता बताते हैं।
-फ़िल्टर में टोपोलॉजिकल स्पेस के बाहर कोई भी सेट शामिल नहीं होता है{{Mvar|X}}, जबकि अनुक्रम और जाल अन्य निर्देशित सेटों पर निर्भर करते हैं। इस कारण से, सभी फ़िल्टर का संग्रह चालू है {{Mvar|X}} हमेशा एक [[सेट (गणित)]] होता है, जबकि सभी का संग्रह {{Mvar|X}}-मूल्यवान जाल एक [[उचित वर्ग]] है।
+फ़िल्टर में टोपोलॉजिकल स्पेस के बाहर कोई भी समुच्चय सम्मिलित नहीं होता है, इस कारण {{Mvar|X}} के लिए इसके अनुक्रम और फिल्टर अन्य निर्देशित समुच्चयों पर निर्भर करते हैं। इस कारण सभी फ़िल्टर का संग्रह {{Mvar|X}} को निरूपित करते है, जहाँ सदैव [[सेट (गणित)|समुच्चय (गणित)]] होता है, जबकि सभी का संग्रह {{Mvar|X}}-मूल्यवान फिल्टर [[उचित वर्ग]] है।
-=== पड़ोस के आधार ===
+=== समीपस्थ आधार ===
-कोई बात{{Mvar|x}} टोपोलॉजिकल स्पेस में{{Mvar|X}} पड़ोस प्रणाली को परिभाषित करता है{{Math|{{mathcal|N}}<sub>''x''</sub>}}: अर्थात्, सभी सेटों का परिवार {{Mvar|x}} उनके इंटीरियर (टोपोलॉजी) में। एक सेट{{Math|{{mathcal|N}}}} के पड़ोस के {{Mvar|x}} एक [[पड़ोस का आधार]] है {{Mvar|x}} अगर {{Math|{{mathcal|N}}}} उत्पन्न करता है {{Math|{{mathcal|N}}<sub>''x''</sub>}}. समान रूप से, {{Math|''S'' &subseteq; ''X''}} का पड़ोस है {{Mvar|x}} यदि और केवल यदि अस्तित्व है {{Math|''N'' &isin; {{mathcal|N}}}} ऐसा है कि {{Math|''N'' &subseteq; ''S''}}.
+किसी {{Mvar|x}} के टोपोलॉजिकल स्पेस में {{Mvar|X}} के समीपस्थ आधार को {{Math|{{mathcal|N}}<sub>''x''</sub>}} द्वारा परिभाषित करते है: अर्थात् इस प्रकार सभी समुच्चयों का समूह {{Mvar|x}} इसके इंटीरियर (टोपोलॉजी) में सम्मिलित होता हैं। इस प्रकार समुच्चय{{Math|{{mathcal|N}}}} के समीपस्थ {{Mvar|x}} इसका [[पड़ोस का आधार|समीपस्थ आधार]] है, इस प्रकार {{Mvar|x}} के लिए यदि {{Math|{{mathcal|N}}}} उत्पन्न करता है, जो {{Math|{{mathcal|N}}<sub>''x''</sub>}} मान प्राप्त होता हैं। जहाँ समान्य रूप से, {{Math|''S'' &subseteq; ''X''}} का समीपस्थ मान {{Mvar|x}} है, इस प्रकार यदि इसका मान {{Math|''N'' &isin; {{mathcal|N}}}}  के समान हैं तो {{Math|''N'' &subseteq; ''S''}} प्राप्त होता हैं।
 ==== अभिसरण फ़िल्टर और क्लस्टर बिंदु ====
-एक प्रीफ़िल्टर{{Mvar|B}} एक बिंदु पर [[अभिसरण प्रीफ़िल्टर]]{{Mvar|x}}, लिखा हुआ {{Math|''B'' &rarr; ''x''}}, अगर और केवल अगर {{Mvar|B}} एक फ़िल्टर उत्पन्न करता है{{Mvar|F}} जिसमें पड़ोस फ़िल्टर शामिल है {{Math|{{mathcal|N}}<sub>''x''</sub>}}—स्पष्ट रूप से, प्रत्येक पड़ोस के लिए{{Mvar|U}} का {{Mvar|x}}, वहाँ कुछ {{Math|''V'' &isin; ''B''}} ऐसा है कि {{Math|''V'' &subseteq; ''U''}}. कम स्पष्ट रूप से, {{Math|''B'' &rarr; ''x''}} अगर और केवल अगर {{Mvar|B}} परिष्कृत करता है {{Math|{{mathcal|N}}<sub>''x''</sub>}}, और किसी भी पड़ोस के आधार पर {{Mvar|x}} प्रतिस्थापित कर सकता है {{Math|{{mathcal|N}}<sub>''x''</sub>}} हालत में। जाहिर है, हर पड़ोस का आधार {{Mvar|x}} में एकत्रित हो जाता है {{Mvar|x}}.
+एक प्रीफ़िल्टर {{Mvar|B}} बिंदु पर [[अभिसरण प्रीफ़िल्टर]] {{Mvar|x}} का मान {{Math|''B'' &rarr; ''x''}} होता हैं। इस कारण यदि {{Mvar|B}} फ़िल्टर {{Mvar|F}} उत्पन्न करता है, जो समीपस्थ फ़िल्टर {{Math|{{mathcal|N}}<sub>''x''</sub>}} में सम्मिलित रहता है, इस कारण स्पष्ट रूप से प्रत्येक पड़ोस के लिए{{Mvar|U}} का मान {{Mvar|x}} रहता हैं, जहाँ {{Math|''V'' &isin; ''B''}} का मान इस प्रकार हैं कि {{Math|''V'' &subseteq; ''U''}} का मान कम होता हैं और यह स्पष्ट रूप से, {{Math|''B'' &rarr; ''x''}} के लिए {{Mvar|B}} का मान {{Math|{{mathcal|N}}<sub>''x''</sub>}} के लिए परिष्कृत करता है, और इस प्रकार किसी भी समीपस्थ मान के आधार पर {{Mvar|x}} को {{Math|{{mathcal|N}}<sub>''x''</sub>}} द्वारा प्रतिस्थापित कर सकता है। इस प्रकार यह प्रदर्शित होता हैं कि हर समीपस्थ आधार {{Mvar|x}} में {{Mvar|x}} का मान एकत्रित हो जाता है।
-एक फ़िल्टर{{Mvar|F}} (जो स्वयं उत्पन्न होता है) में परिवर्तित हो जाता है {{Mvar|x}} अगर {{Math|{{mathcal|N}}<sub>''x''</sub> &subseteq; ''F''}}. पड़ोस फ़िल्टर को चिह्नित करने के लिए उपरोक्त को उलटा भी किया जा सकता है {{Math|{{mathcal|N}}<sub>''x''</sub>}}: {{Math|{{mathcal|N}}<sub>''x''</sub>}} प्रत्येक फ़िल्टर की तुलना में बेहतरीन फ़िल्टर मोटा है {{Mvar|x}}.
+यहाँ पर फ़िल्टर {{Mvar|F}} जो स्वयं उत्पन्न होता है, जिसमें {{Mvar|x}} का मान परिवर्तित हो जाता है, यदि {{Math|{{mathcal|N}}<sub>''x''</sub> &subseteq; ''F''}}. के लिए इसका समीपस्थ फ़िल्टर को चिह्नित करने के लिए उपरोक्त को व्युत्क्रम भी किया जा सकता है, जहाँ इस प्रकार {{Math|{{mathcal|N}}<sub>''x''</sub>}}: {{Math|{{mathcal|N}}<sub>''x''</sub>}} प्रत्येक फ़िल्टर की तुलना में उत्तम फ़िल्टर {{Mvar|x}} प्राप्त होता हैं।
-अगर {{Math|''B'' &rarr; ''x''}}, तब {{Mvar|x}} को फ़िल्टर (बिंदु) की सीमा कहा जाता है {{Mvar|B}}. प्रीफ़िल्टर {{Mvar|B}} को क्लस्टर कहा जाता है {{Mvar|x}} (या ले लो {{Mvar|x}} फ़िल्टर के क्लस्टर बिंदु के रूप में) यदि और केवल यदि प्रत्येक तत्व {{Mvar|B}} के प्रत्येक पड़ोस के साथ गैर-खाली चौराहा है {{Mvar|x}}. प्रत्येक सीमा बिंदु एक क्लस्टर बिंदु है लेकिन इसका विपरीत सामान्य रूप से सत्य नहीं है। हालाँकि, प्रत्येक क्लस्टर बिंदु {{em|ultra}}फ़िल्टर एक सीमा बिंदु है.
+यदि {{Math|''B'' &rarr; ''x''}} के समान हैं तब इस स्थिति में {{Mvar|x}} को फ़िल्टर (बिंदु) की सीमा {{Mvar|B}} कहा जाता है, इस प्रकार इसके कारण प्रीफ़िल्टर {{Mvar|B}} को क्लस्टर {{Mvar|x}} कहा जाता है, जो या {{Mvar|x}} फ़िल्टर के क्लस्टर बिंदु के रूप में प्रदर्शित होता हैं। जिसके लिए यदि प्रत्येक तत्व {{Mvar|B}} के प्रत्येक समीपस्थ होने के साथ गैर-रिक्त प्रतिच्छेदन {{Mvar|x}} के समान होता है। इसके लिए प्रत्येक सीमा बिंदु क्लस्टर बिंदु है, अपितु इसका विपरीत सामान्य रूप से सत्य नहीं है। चूंकि प्रत्येक क्लस्टर बिंदु {{em|ultra}} फ़िल्टर सीमा बिंदु को दर्शाता है।
 == यह भी देखें ==
-* {{annotated link|Filtration (mathematics)}}
+* {{annotated link|निस्पंदन (गणित)}}
-* {{annotated link|Filtration (probability theory)}}
+* {{annotated link|निस्पंदन (संभावना सिद्धांत)}}
-* {{annotated link|Filtration (abstract algebra)}}
+* {{annotated link|निस्पंदन (अमूर्त बीजगणित)}}
-* {{annotated link|Generic filter}}
+* {{annotated link|सामान्य फ़िल्टर}}
-* {{annotated link|Ideal (set theory)}}
+* {{annotated link|आदर्श (समुच्चय सिद्धांत)}}
 ==टिप्पणियाँ==
@@ Line 136: / Line 139: @@
 {{reflist|group=note}}
 {{reflist}}
 ==संदर्भ==
 * [[Nicolas Bourbaki]], <cite>General Topology</cite> (<cite>Topologie Générale</cite>), {{ISBN|0-387-19374-X}} (Ch. 1-4): Provides a good reference for filters in general topology (Chapter I) and for Cauchy filters in uniform spaces (Chapter II)
-* {{Bourbaki Topological Vector Spaces Part 1 Chapters 1–5}} <!--{{sfn|Bourbaki|1987|p=}}-->
+* {{Bourbaki Topological Vector Spaces Part 1 Chapters 1–5}}
 * {{cite book|last1=Burris|first1=Stanley|last2=Sankappanavar|first2=Hanamantagouda P.|year=2012|title=A Course in Universal Algebra|publisher=Springer-Verlag|isbn=978-0-9880552-0-9|url=http://www.thoralf.uwaterloo.ca/htdocs/ualg.html|archive-url=https://web.archive.org/web/20220401154440/https://www.math.uwaterloo.ca/~snburris/htdocs/UALG/univ-algebra2012.pdf|archive-date=1 April 2022}}
-* {{cite journal|last=Cartan|first=Henri|author-link=Henri Cartan|title=Théorie des filtres|title-link=|journal=[[Comptes rendus hebdomadaires des séances de l'Académie des sciences]]|volume=205|year=1937a|pages=595–598|url=http://gallica.bnf.fr/ark:/12148/bpt6k3157c/f594.image}} <!--{{sfn|Cartan|1937a|p=}}-->
+* {{cite journal|last=Cartan|first=Henri|author-link=Henri Cartan|title=Théorie des filtres|title-link=|journal=[[Comptes rendus hebdomadaires des séances de l'Académie des sciences]]|volume=205|year=1937a|pages=595–598|url=http://gallica.bnf.fr/ark:/12148/bpt6k3157c/f594.image}}
-* {{cite journal|last=Cartan|first=Henri|author-link=Henri Cartan|title=Filtres et ultrafiltres|title-link=|journal=[[Comptes rendus hebdomadaires des séances de l'Académie des sciences]]|volume=205|year=1937b|pages=777–779|url=http://gallica.bnf.fr/ark:/12148/bpt6k3157c/f776.image}} <!--{{sfn|Cartan|1937b|p=}}-->
+* {{cite journal|last=Cartan|first=Henri|author-link=Henri Cartan|title=Filtres et ultrafiltres|title-link=|journal=[[Comptes rendus hebdomadaires des séances de l'Académie des sciences]]|volume=205|year=1937b|pages=777–779|url=http://gallica.bnf.fr/ark:/12148/bpt6k3157c/f776.image}}
 * {{Dolecki Mynard Convergence Foundations Of Topology}}
-* {{Dugundji Topology}} <!-- {{sfn|Dugundji|1966|p=}} -->
+* {{Dugundji Topology}}
-* {{cite journal|last1=Koutras|first1=Costas D.|last2=Moyzes|first2=Christos|last3=Nomikos|first3=Christos|last4=Tsaprounis|first4=Konstantinos|last5=Zikos|first5=Yorgos|title=On Weak Filters and Ultrafilters: Set Theory From (and for) Knowledge Representation|journal=[[Logic Journal of the IGPL]]|date=20 October 2021|doi=10.1093/jigpal/jzab030}} <!-- {{sfn|Koutras|Moyzes|Nomikos|2021|p=}} -->
+* {{cite journal|last1=Koutras|first1=Costas D.|last2=Moyzes|first2=Christos|last3=Nomikos|first3=Christos|last4=Tsaprounis|first4=Konstantinos|last5=Zikos|first5=Yorgos|title=On Weak Filters and Ultrafilters: Set Theory From (and for) Knowledge Representation|journal=[[Logic Journal of the IGPL]]|date=20 October 2021|doi=10.1093/jigpal/jzab030}}
 * {{cite web|last=MacIver R.|first=David|title=Filters in Analysis and Topology|date=1 July 2004|url=http://www.efnet-math.org/~david/mathematics/filters.pdf |archive-url=https://web.archive.org/web/20071009170540/http://www.efnet-math.org/~david/mathematics/filters.pdf |archive-date=2007-10-09 }} (Provides an introductory review of filters in topology and in metric spaces.)
-* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!-- {{sfn|Koutras|Moyzes|Nomikos|Tsaprounis|2021|p=}} -->
+* {{Narici Beckenstein Topological Vector Spaces|edition=2}}
-* {{Willard General Topology}} <!-- {{sfn|Willard|2004|p=}} -->
+* {{Willard General Topology}}
-* {{Wilansky Modern Methods in Topological Vector Spaces|edition=1}} <!-- {{sfn|Wilansky|2013|p=}} -->
+* {{Wilansky Modern Methods in Topological Vector Spaces|edition=1}}
 ==अग्रिम पठन==
-* {{cite journal|last1=Bergman|first1=George M.|author-link1=George Mark Bergman|last2=Hrushovski|first2=Ehud|author-link2=Ehud Hrushovski|title=Linear ultrafilters|journal=Communications in Algebra|volume=26|issue=12|year=1998|pages=4079–4113|doi=10.1080/00927879808826396 |citeseerx=10.1.1.54.9927 }} <!-- {{sfn|Bergman|Hrushovski|1998|p=}} -->
+* {{cite journal|last1=Bergman|first1=George M.|author-link1=George Mark Bergman|last2=Hrushovski|first2=Ehud|author-link2=Ehud Hrushovski|title=Linear ultrafilters|journal=Communications in Algebra|volume=26|issue=12|year=1998|pages=4079–4113|doi=10.1080/00927879808826396 |citeseerx=10.1.1.54.9927 }}
-{{Order theory}}
-[[Category: सामान्य टोपोलॉजी]] [[Category: आदेश सिद्धांत]]
-[[Category: Machine Translated Page]]
+[[Category:Articles with hatnote templates targeting a nonexistent page]]
+[[Category:CS1 English-language sources (en)]]
 [[Category:Created On 01/07/2023]]
+[[Category:Lua-based templates]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Templates Vigyan Ready]]
+[[Category:Templates that add a tracking category]]
+[[Category:Templates that generate short descriptions]]
+[[Category:Templates using TemplateData]]
+[[Category:आदेश सिद्धांत]]
+[[Category:सामान्य टोपोलॉजी]]

Anonymous

Search

फ़िल्टर (गणित): Difference between revisions

Namespaces

More

Page actions

Latest revision as of 17:26, 13 July 2023

Contents

प्रेरणा