المرجع الالكتروني للمعلوماتية
المرجع الألكتروني للمعلوماتية

الرياضيات
عدد المواضيع في هذا القسم 9761 موضوعاً
تاريخ الرياضيات
الرياضيات المتقطعة
الجبر
الهندسة
المعادلات التفاضلية و التكاملية
التحليل
علماء الرياضيات

Untitled Document
أبحث عن شيء أخر
تنفيذ وتقييم خطة إعادة الهيكلة (إعداد خطة إعادة الهيكلة1)
2024-11-05
مـعاييـر تحـسيـن الإنـتاجـيـة
2024-11-05
نـسـب الإنـتاجـيـة والغـرض مـنها
2024-11-05
المـقيـاس الكـلـي للإنتاجـيـة
2024-11-05
الإدارة بـمؤشـرات الإنـتاجـيـة (مـبادئ الإنـتـاجـيـة)
2024-11-05
زكاة الفطرة
2024-11-05

كيف تكتب تقريرا صحفيا ؟
11-12-2020
أحوال أهل الأعراف
9-08-2015
Reverse Transcriptase PCR (RT-PCR)
18-11-2020
أحوال المدينة أيام عثمان بن عفان
9-9-2019
الشباب والغضب
2023-06-18
Kurt Gödel
3-11-2017

Axiom of Subsets  
  
386   07:22 مساءً   date: 18-2-2022
Author : Enderton, H. B
Book or Source : Elements of Set Theory. New York: Academic Press, 1977.
Page and Part : ...


Read More
Date: 18-2-2022 390
Date: 20-2-2022 511
Date: 18-2-2022 387

Axiom of Subsets

The axiom of Zermelo-Fraenkel set theory which asserts the existence for any set a and a formula A(y) of a set x consisting of all elements of a satisfying A(y),

  exists x forall y(y in x=y in a ^ A(y)),

where  exists  denotes exists,  forall  means for all,  in  denotes "is an element of," = means equivalent, and  ^  denotes logical AND.

This axiom is called the subset axiom by Enderton (1977), while Kunen (1980) calls it the comprehension axiom. Itô (1986) terms it the axiom of separation, but this name appears to not be used widely in the literature and to have the additional drawback that it is potentially confusing with the separation axioms of Hausdorff arising in topology.

This axiom was introduced by Zermelo.


REFERENCES

Enderton, H. B. Elements of Set Theory. New York: Academic Press, 1977.

Itô, K. (Ed.). "Zermelo-Fraenkel Set Theory." §33B in Encyclopedic Dictionary of Mathematics, 2nd ed., Vol. 1. Cambridge, MA: MIT Press, pp. 146-148, 1986.

Kunen, K. Set Theory: An Introduction to Independence Proofs. Dordrecht, Netherlands: Elsevier, 1980.




الجبر أحد الفروع الرئيسية في الرياضيات، حيث إن التمكن من الرياضيات يعتمد على الفهم السليم للجبر. ويستخدم المهندسون والعلماء الجبر يومياً، وتعول المشاريع التجارية والصناعية على الجبر لحل الكثير من المعضلات التي تتعرض لها. ونظراً لأهمية الجبر في الحياة العصرية فإنه يدرّس في المدارس والجامعات في جميع أنحاء العالم. ويُعجب الكثير من الدارسين للجبر بقدرته وفائدته الكبيرتين، إذ باستخدام الجبر يمكن للمرء أن يحل كثيرًا من المسائل التي يتعذر حلها باستخدام الحساب فقط.وجاء اسمه من كتاب عالم الرياضيات والفلك والرحالة محمد بن موسى الخورازمي.


يعتبر علم المثلثات Trigonometry علماً عربياً ، فرياضيو العرب فضلوا علم المثلثات عن علم الفلك كأنهما علمين متداخلين ، ونظموه تنظيماً فيه لكثير من الدقة ، وقد كان اليونان يستعملون وتر CORDE ضعف القوسي قياس الزوايا ، فاستعاض رياضيو العرب عن الوتر بالجيب SINUS فأنت هذه الاستعاضة إلى تسهيل كثير من الاعمال الرياضية.

تعتبر المعادلات التفاضلية خير وسيلة لوصف معظم المـسائل الهندسـية والرياضـية والعلمية على حد سواء، إذ يتضح ذلك جليا في وصف عمليات انتقال الحرارة، جريان الموائـع، الحركة الموجية، الدوائر الإلكترونية فضلاً عن استخدامها في مسائل الهياكل الإنشائية والوصف الرياضي للتفاعلات الكيميائية.
ففي في الرياضيات, يطلق اسم المعادلات التفاضلية على المعادلات التي تحوي مشتقات و تفاضلات لبعض الدوال الرياضية و تظهر فيها بشكل متغيرات المعادلة . و يكون الهدف من حل هذه المعادلات هو إيجاد هذه الدوال الرياضية التي تحقق مشتقات هذه المعادلات.