संचयी पदानुक्रम

गणित में, विशेष रूप से समुच्चय सिद्धान्त, एक संचयी पदानुक्रम समुच्चय $$W_\alpha$$ का एक परिवार है जिसे क्रमसूचक $$\alpha$$ द्वारा अनुक्रमित किया जाता है जैसे कि

संक्षेप में कुछ लेखकों को इसकी आवश्यकता होती है $$W_{\alpha + 1} \subseteq \mathcal P(W_\alpha)$$ या कि $$W_0 \ne \emptyset$$.
 * $$W_\alpha \subseteq W_{\alpha + 1}$$
 * यदि $$\lambda$$ एक सीमा क्रमसूचक है, तब $W_\lambda = \bigcup_{\alpha < \lambda} W_{\alpha}$

संचयी पदानुक्रम के समुच्चय का संघ $W = \bigcup_{\alpha \in \mathrm{On}} W_\alpha$ प्रायः समुच्चय सिद्धांत के प्रारूप के रूप में उपयोग किया जाता है।

वाक्यांश संचयी पदानुक्रम आमतौर पर मानक संचयी पदानुक्रम को संदर्भित करता है $$\mathrm{V}_\alpha$$ वॉन न्यूमैन ब्रह्मांड के साथ $$\mathrm{V}_{\alpha + 1} = \mathcal P(W_\alpha)$$ इनके द्वारा पेश किया गया.

प्रतिबिंब सिद्धांत
एक संचयी पदानुक्रम प्रतिबिंब सिद्धांत के एक रूप को संतुष्ट करता है: संघ में धारण करने वाले समुच्चय सिद्धांत की भाषा में कोई भी सुव्यवस्थित सूत्र $$W$$ पदानुक्रम का भी कुछ चरणों में होता है $$W_\alpha$$.

उदाहरण

 * वॉन न्यूमैन ब्रह्मांड एक संचयी पदानुक्रम से बनाया गया है $$\mathrm{V}_\alpha$$.
 * समुच्चय $$\mathrm{L}_\alpha$$ रचनात्मक ब्रह्मांड का एक संचयी पदानुक्रम बनाते हैं।
 * फोर्सिंग (गणित) द्वारा निर्मित बूलियन-मूल्यवान मॉडल एक संचयी पदानुक्रम का उपयोग करके बनाए गए हैं।
 * समुच्चय थ्योरी के एक मॉडल में अच्छी तरह से स्थापित समुच्चय (संभवतः नींव के स्वयंसिद्ध को संतुष्ट नहीं करते) एक संचयी पदानुक्रम बनाते हैं जिसका संघ नींव के स्वयंसिद्ध को संतुष्ट करता है।