

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

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

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

تار يخ الجبر

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


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

العربية

اليونانية

البابلية

الصينية

المايا

المصرية

الهندية


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

المنطق

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

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

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


الجبر

الجبر الخطي

الجبر المجرد

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

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

الضبابية

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

نظرية الزمر

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

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

نظرية الفئات

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

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

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

المثلثات


الهندسة

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

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

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

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


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

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

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

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


التحليل

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

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

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

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

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

التبلوجيا

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

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

نظرية التحكم

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

نظرية الكم

الشفرات

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

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


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

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

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

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

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

هل تعلم

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

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

نظرية البيان
Topological Spaces-Identification Maps and Quotient Topologies
المؤلف:
David R. Wilkins
المصدر:
Algebraic Topology
الجزء والصفحة:
11-12
26-9-2016
1723
Definition : Let X and Y be topological spaces and let q: X → Y be a function from X to Y . The function q is said to be an identification map if
and only if the following conditions are satisfied:
• the function q: X → Y is surjective,
• a subset U of Y is open in Y if and only if q−1 (U) is open in X.
It follows directly from the definition that any identication map is continuous. Moreover, in order to show that a continuous surjection q: X → Y is an identification map, it suffices to prove that if V is a subset of Y with the property that q−1 (V ) is open in X then V is open in Y .
Lemma 1.1 Let X be a topological space, let Y be a set, and let q: X → Y be a surjection. Then there is a unique topology on Y for which the function q: X → Y is an identification map.
Proof Let τ be the collection consisting of all subsets U of Y for whichq−1 (U) is open in X. Now q−1 (∅) = ∅, and q−1 (Y ) = X, so that ∅ ∈ τ andY ∈ τ . If {Vα : α ∈ A} is any collection of subsets of Y indexed by a set A, then it is a straightforward exercise to verify that

(i.e., given any collection of subsets of Y , the union of the preimages of the sets is the preimage of the union of those sets, and the intersection of the preimages of the sets is the preimage of the intersection of those sets). It follows easily from this that unions and finite intersections of sets belonging to τ must themselves belong to τ . Thus τ is a topology on Y , and the function q: X → Y is an identification map with respect to the topology τ . Clearly τ is the unique topology on Y for which the function q: X → Y is an identification map
Let X be a topological space, let Y be a set, and let q: X → Y be a surjection. The unique topology on Y for which the function q is an identification map is referred to as the quotient topology (or identification topology) on Y .
Lemma 1.2 Let X and Y be topological spaces and let q: X → Y be an identification map. Let Z be a topological space, and let f: Y → Z be a function from Y to Z. Then the function f is continuous if and only if the composition function f ◦ q: X → Z is continuous
Proof Suppose that f is continuous. Then the composition function f ◦ q is a composition of continuous functions and hence is itself continuous.
Conversely suppose that f ◦ q is continuous. Let U be an open set in Z.
Then q−1 (f−1 (U)) is open in X (since f ◦ q is continuous), and hence f−1 (U) is open in Y (since the function q is an identification map). Therefore the function f is continuous, as required.
Example Let S1 be the unit circle in R2, and let q: [0, 1] → S1 be the map that sends t ∈ [0, 1] to (cos 2πt,sin 2πt). Then q: [0, 1] → S1is an identification map, and therefore a function f: S1 → Z from S1to some topological space Z is continuous if and only if f ◦q: [0, 1] → Z is continuous.
Example :Let Sn be the n-sphere, consisting of all points x in Rn+1 satisfying |x| = 1. Let RPn be the set of all lines in Rn+1 passing through the origin (i.e., RPnis the set of all one dimensional vector subspaces of Rn+1). Let q: Sn → RPn denote the function which sends a point x of Sn to the element of RPnrepresented by the line in Rn+1 that passes through both x and the origin. Note that each element of RPn is the image (under q) of exactly two antipodal points x and x of Sn. The function q induces a corresponding quotient topology on RPn such that q: Sn → RPn is an identification map. The set RPn, with this topology, is referred to as real projective n-space. In particular RP2 is referred to as the real projective plane. It follows from Lemma 1.10 that a function f: RPn → Z from RPn to any topological space Z is continuous if and only if the composition function f ◦ q: S n → Z is continuous.
الاكثر قراءة في التبلوجيا
اخر الاخبار
اخبار العتبة العباسية المقدسة
الآخبار الصحية

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