

تاريخ الرياضيات

الاعداد و نظريتها

تاريخ التحليل

تار يخ الجبر

الهندسة و التبلوجي


الرياضيات في الحضارات المختلفة

العربية

اليونانية

البابلية

الصينية

المايا

المصرية

الهندية


الرياضيات المتقطعة

المنطق

اسس الرياضيات

فلسفة الرياضيات

مواضيع عامة في المنطق


الجبر

الجبر الخطي

الجبر المجرد

الجبر البولياني

مواضيع عامة في الجبر

الضبابية

نظرية المجموعات

نظرية الزمر

نظرية الحلقات والحقول

نظرية الاعداد

نظرية الفئات

حساب المتجهات

المتتاليات-المتسلسلات

المصفوفات و نظريتها

المثلثات


الهندسة

الهندسة المستوية

الهندسة غير المستوية

مواضيع عامة في الهندسة

التفاضل و التكامل


المعادلات التفاضلية و التكاملية

معادلات تفاضلية

معادلات تكاملية

مواضيع عامة في المعادلات


التحليل

التحليل العددي

التحليل العقدي

التحليل الدالي

مواضيع عامة في التحليل

التحليل الحقيقي

التبلوجيا

نظرية الالعاب

الاحتمالات و الاحصاء

نظرية التحكم

بحوث العمليات

نظرية الكم

الشفرات

الرياضيات التطبيقية

نظريات ومبرهنات


علماء الرياضيات

500AD

500-1499

1000to1499

1500to1599

1600to1649

1650to1699

1700to1749

1750to1779

1780to1799

1800to1819

1820to1829

1830to1839

1840to1849

1850to1859

1860to1864

1865to1869

1870to1874

1875to1879

1880to1884

1885to1889

1890to1894

1895to1899

1900to1904

1905to1909

1910to1914

1915to1919

1920to1924

1925to1929

1930to1939

1940to the present

علماء الرياضيات

الرياضيات في العلوم الاخرى

بحوث و اطاريح جامعية

هل تعلم

طرائق التدريس

الرياضيات العامة

نظرية البيان
Baire Category Theorem
المؤلف:
Rudin, W
المصدر:
Functional Analysis. New York: McGraw-Hill, 1991.
الجزء والصفحة:
...
29-6-2021
2420
Baire Category Theorem
Baire's category theorem, also known as Baire's theorem and the category theorem, is a result in analysis and set theory which roughly states that in certain spaces, the intersection of any countable collection of "large" sets remains "large." The appearance of "category" in the name refers to the interplay of the theorem with the notions of sets of first and second category.
Precisely stated, the theorem says that if a space
is either a complete metric space or a locally compact T2-space, then the intersection of every countable collection of dense open subsets of
is necessarily dense in
.
The above-mentioned interplay with first and second category sets can be summarized by a single corollary, namely that spaces
that are either complete metric spaces or locally compact Hausdorff spaces are of second category in themselves. To see that this follows from the above-stated theorem, let
be either a complete metric space or a locally compact Hausdorff space and note that if {E_i}={E_i}_(i in N)" src="https://mathworld.wolfram.com/images/equations/BaireCategoryTheorem/Inline6.gif" style="height:17px; width:80px" /> is a countable collection of nowhere dense subsets of
and if
denotes the complement in
of the closure
of
, then each set
is necessarily dense in
. Because of the theorem, it follows that the intersection of all the sets
must be nonempty (and indeed must be dense in
), thereby proving that
cannot be written as the union of the sets
. In particular, such spaces
cannot be written as the countable union of sets which are nowhere dense in themselves and are therefore second category sets relative to themselves.
REFERENCES:
Rudin, W. Functional Analysis. New York: McGraw-Hill, 1991.
الاكثر قراءة في التبلوجيا
اخر الاخبار
اخبار العتبة العباسية المقدسة
الآخبار الصحية

قسم الشؤون الفكرية يصدر كتاباً يوثق تاريخ السدانة في العتبة العباسية المقدسة
"المهمة".. إصدار قصصي يوثّق القصص الفائزة في مسابقة فتوى الدفاع المقدسة للقصة القصيرة
(نوافذ).. إصدار أدبي يوثق القصص الفائزة في مسابقة الإمام العسكري (عليه السلام)