परिमित चरित्र

गणित में, समुच्चय का एक समूह $$\mathcal{F}$$ समुच्चय (गणित) परिमित चरित्र का होता है यदि प्रत्येक $$A$$ के लिए, $$A$$, $$\mathcal{F}$$ से संबंधित होता है यदि और केवल यदि $$A$$ का प्रत्येक परिमित उपसमुच्चय $$\mathcal{F}$$ से संबंधित होता है
 * 1) प्रत्येक $$A\in \mathcal{F}$$ के लिए $$A$$ का प्रत्येक परिमित उपसमुच्चय $$\mathcal{F}$$ से संबंधित है।
 * 2) यदि किसी दिए गए समुच्चय $$A$$ का प्रत्येक परिमित उपसमुच्चय $$\mathcal{F}$$ से संबंधित है, तो $$A$$ $$\mathcal{F}$$ से संबंधित है।

गुण
परिमित चरित्र के समुच्चयों का एक समूह $$\mathcal{F}$$ निम्नलिखित गुणों का आनंद लेता है:


 * 1) प्रत्येक $$A\in \mathcal{F}$$ के लिए, $$A$$ का प्रत्येक (परिमित या अनंत) उपसमुच्चय $$\mathcal{F}$$ से संबंधित है।
 * 2) परिमित चरित्र के प्रत्येक गैर-रिक्त समूह में समावेशन के संबंध में एक अधिकतम तत्व होता है (तुके की लेम्मा)$$\mathcal{F}$$ इसलिए, Zorn के लेम्मा द्वारा, $$\mathcal{F}$$ में कम से कम एक अधिकतम तत्व होता है।

उदाहरण
माना कि $$V$$ एक सदिश समष्टि है और $$\mathcal{F}$$ $$V$$ के रैखिक रूप से स्वतंत्र उपसमुच्चयों का कुल है। फिर $$\mathcal{F}$$ परिमित चरित्र का एक समूह है (क्योंकि एक उपसमुच्चय $$X \subseteq V $$ रैखिक रूप से निर्भर है यदि और केवल यदि $$X$$ का एक परिमित उपसमुच्चय है जो रैखिक रूप से निर्भर है)। इसलिए, प्रत्येक वेक्टर अंतरिक्ष में, रैखिक रूप से स्वतंत्र तत्वों का एक अधिकतम समूह सम्मिलित होता है। जैसा कि अधिकतम समूह एक सदिश आधार है, प्रत्येक सदिश समष्टि का एक (संभवतः अनंत) सदिश आधार होता है।

यह भी देखें

 * वंशानुगत रूप से परिमित समुच्चय