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

لعبة مكعب روبيك الشهيرة، اللى ابتكرها إرنو روبيك سنة 1974 استُخدمت كمثال توضيحى لمجموعات التبديل . انظر مجموعة مكعب روبيك .

نظرية المجموعه
مجالات الرياضيات
رياضيات
جزء من	جبر

لنك عشوائى
تصانيف	شوف كمان
مصطلحات | مهن جهاز| جوايز كل الليستات	لستة المدن المستضيفه للالعاب الاوليمبيه

نظرية المجموعة (Group Theory) هيا فرع من الجبر المجرّد بيدرس هياكل رياضية اسمها “المجموعات”، و بتركّز على فكرة التناظر و التجريد فى الرياضيات. المجموعة ببساطة هيا مجموعة عناصر مش فاضية، ومعاها عملية بين كل عنصرين (زى الجمع أو الضرب) بتدى عنصر تالت من نفس المجموعة، و لازم تحقق أربع شروط: القفل، والتجميع، و وجود عنصر محايد، و وجود عنصر معكوس.

المبادئ الأساسية بتقول إن “المجموعة” هيا تجمّع لكائنات رياضية ودى من أهم أساسيات الرياضيات الحديثة، و“العملية” هيا القاعدة اللى بتربط بين أى عنصرين و تطلع عنصر تالت من نفس المجموعة. عشان تبقى البنية مجموعة فعل، لازم تحقق المسلّمات الأربع: القفل (العملية تفضل جوه المجموعة)، والتجميع ((a \cdot b) \cdot c = a \cdot (b \cdot c))، و وجود عنصر محايد (e \cdot a = a \cdot e = a)، و وجود عنصر معكوس (a \cdot a^{-1} = e).

أهمية نظرية المجموعة كبيرة، لأنها بتستخدم فى دراسة التناظر فى الهندسة والفيزياء، و بتعتبر أساس لفهم فروع أعقد فى الجبر المجرّد، و كمان ليها تطبيقات فى الكيمياء (زى دراسة الجزيئات) والفيزياء (زى فيزياء الجسيمات).

وفيه مفاهيم مرتبطة بيها، زى “نظرية المجموعات” (Set Theory) اللى هيا فرع تانى مختلف بيركّز على تجميع الكائنات، و“التشاكل” (Isomorphism) اللى معناه إن مجموعتين ممكن يتصرفوا بنفس الطريقة، بحيث تقدر تنقل العمليات من واحدة للتانية.

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

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

التاريخ المبكر لنظرية المجموعه يرجع للقرن التسعتاشر. واحد من أهم الإنجازات الرياضية فى القرن العشرين كان هو الجهد التعاوني، اللى استغرق اكتر من 10000 صفحة من المجلات واتنشر معظمها بين 1960 و2004، اللى توج بتصنيف كامل للمجموعات البسيطة المنتهية .

تاريخ

نظرية المجموعه تستند ل3 مصادر تاريخية رئيسية: نظرية الأعداد ، ونظرية المعادلات الجبرية ، والهندسة . ابتدا ليونارد أويلر فرع نظرية الأعداد، وطوّره غاوس بعمله على الحساب النمطى والمجموعات الجمعية والضربية المرتبطة بالحقول التربيعية . حقق لاغرانج وروفينى وآبل نتايج مبكرة حول زمر التبديل فى سعيهم لإيجاد حلول عامة لمعادلات متعددة الحدود من الدرجات العالية. صاغ إيفاريست غالوا مصطلح "المجموعه " و أرسى صلة، معروفه دلوقتى بنظرية غالوا ، بين نظرية المجموعه الناشئة ونظرية الحقول . فى الهندسة، برزت أهمية المجموعات أول فى الهندسة الإسقاطية ، بعدين فى الهندسة اللى مشإقليدية . أعلن برنامج إرلانجن اللى وضعه فيليكس كلاين أن نظرية المجموعه هيا المبدأ المنظم للهندسة.غالوا ، فى تلاتينات القرن التسعتاشر، كان أول من استخدم المجموعات لتحديد قابلية حل المعادلات متعددة الحدود . طوّر آرثر كايلى واوجستين لويس كوشى دى الأبحاث بوضع نظرية زمر التبديل. أما المصدر التاريخى التانى للزمر فيرجع لالمسائل الهندسية . ففى محاولة لفهم الهندسات الممكنة ( زى الهندسة الإقليدية والزائدية و الإسقاطية) باستخدام نظرية المجموعه، أطلق فيليكس كلاين برنامج إرلانجن . سنة 1884، ابتدا سوفوس لى باستخدام المجموعات (اللى معروفه دلوقتى بزمر لى ) فى المسائل التحليلية . أخير، استُخدمت الزمر، فى البداية ضمنى بعدين صراحةً، فى نظرية الأعداد الجبرية .

اختلاف نطاق المصادر المبكرة دى اتسبب فى مفاهيم مختلفة للمجموعات. وتم توحيد نظرية المجموعات بدايه من حوالى سنة 1880. من ساعتها ، تزايد تأثير نظرية المجموعات باستمرار،و ده اتسبب فى ظهور الجبر المجرد فى أوائل القرن العشرين، ونظرية التمثيل ، و كتير من المجالات الفرعية المؤثرة التانيه. وبيعتبر تصنيف المجموعات البسيطة المنتهية مجال واسع من الأعمال اللى ابتدت فى نص القرن العشرين، حيث يصنف كل المجموعات البسيطة المنتهية .

تعريف المجموعات

المجموعات هيا مجموعه من العناصر مع عمليه ثنائيه بتربط بين أى عنصرين فيها، بحيث تتحقق الشروط دي:

القفل: حاصل ضرب أى عنصرين فى المجموعاته هو عنصر تانى جواها.

التجميع: العمليه بتكون تجميعيه، يعنى (a • b) • c = a • (b • c).

العنصر المحايد: لازم يكون فيه عنصر محايد (Identity) بحيث a • e = a لكل a.

العكس: لازم كل عنصر فى المجموعاته يكون ليه عنصر عكسى (Inverse) بحيث a • a⁻¹ = e.

أمثله على المجموعات

المجموعات العدديه: زى الأعداد الصحيحه مع عملية الجمع.

المجموعات الدائريه: اللى بتستخدم فى التماثلات الهندسيه.

مجموعات المصفوفات: اللى بتتكون من مصفوفات قابله للعكس مع عملية الضرب.

الفئات الرئيسية للمجموعات

نطاق المجموعات اللى يتم النظر فيها تدريجى اتوسع من مجموعات التبديل المحدودة و أمثلة خاصة من مجموعات المصفوفات لمجموعات مجردة ممكن تحديدها بعرض بالمولدات والعلاقات .

مجموعات التبديل

مجموعات التبديلات كانت أول فئة من المجموعات اللى اتدرست بشكل منهجى. لو عندنا مجموعة X و مجموعة G من الدوال التقابلية (واحد لواحد) من X لنفسها (اللى بنسميها تبديلات)، و كانت مقفولة تحت التركيب و المعكوس، يبقى G هيا مجموعة بتأثّر على X.

لو X فيها n عنصر و G فيها كل التبديلات الممكنة، ساعتها G هيا المجموعة المتناظرة (S_n). بشكل عام، أى مجموعة تبديلات G بتكون مجموعة جزئية من المجموعة المتناظرة لـ X.

بناء مبكر لكايلى أظهر أن أى مجموعة هيا مجموعة تبديلات بتأثر على نفسها ( X = G ) باستخدام التمثيل المنتظم الأيسر. فى كتير من الحالات، ممكن دراسة بنية مجموعة التبديلات باستخدام خصايص تأثيرها على المجموعة المناظرة. زى ، بالطريقه دى يُثبت أنه بالنسبة لـ n ≥ 5 ، المجموعه المتناوبة A _n بسيطة ، أى أنها لا تقبل أى زمر جزئية طبيعية فعلية. تلعب دى الحقيقة دور رئيسى فى استحالة حل معادلة جبرية عامة من الدرجة n ≥ 5 فى الجذور .

مجموعات المصفوفات

الفئة المهمة اللى بعد كده من المجموعات معروفه باسم زمر المصفوفات ، أو المجموعات الخطية . حيث G هيا مجموعة تتكون من مصفوفات قابلة للعكس رتبة معينة n على حقل K مقفول تحت عمليات الضرب والمعكوس. بتأثر دى المجموعه على الفضاء المتجهى K ⁿ ليه البعد n بتحويلات خطية . ده التأثير بيخللى زمر المصفوفات مشابهة حسب المفهوم لزمر التبديل، ويمكن استغلال هندسة ده التأثير بشكل مفيد لتحديد خصايص المجموعه G.

مجموعات التحول

مجموعات التبديل ومجموعات المصفوفات حالات خاصة من مجموعات التحويل : هيا مجموعات بتأثر على فضاء معين X مع الحفاظ على بنيته الجوهرية. فى حالة مجموعات التبديل، يكون X مجموعة؛ أما فى حالة مجموعات المصفوفات، فيكون X فضاء متجهى . يرتبط مفهوم مجموعة التحويل ارتباط وثيق بمفهوم مجموعة التناظر : ففى الغالب تتألف مجموعات التحويل من جميع التحويلات اللى تحافظ على بنية معينة. نظرية مجموعات التحويل تشكل كوبرى يربط نظرية المجموعات بالهندسة التفاضلية . تناول خط بحثى طويل، ابتدا مع لى وكلاين ، تأثيرات المجموعات على المتشعبات بالتشاكلات الموضعية أو التشاكلات التفاضلية . تكون المجموعات نفسها منفصلة أو متصلة .

المجموعات المجردة

معظم المجموعات اللى اتدرست فى بداية تطور نظرية المجموعات كانت “ملموسة”، يعنى كانت بتمثَّل بأعداد أو تبديلات أو مصفوفات. مفهوم المجموعة المجرّدة ما ظهرش بشكل واضح غير فى أواخر القرن التسعتاشر، و المقصود بـ “مجرّدة” إننا بنتجاهل طبيعة العناصر نفسها، بحيث لو مجموعتين بيتصرفوا بنفس الطريقة نعتبرهم فى الأساس نفس المجموعة.

ومن الطرق الشائعة لتعريف مجموعة مجرّدة إنها تتوصف باستخدام المولّدات و العلاقات.

$G=\langle S|R\rangle .$

بناء مجموعة عاملية ، أو مجموعة بره القسمة، G / H ، لمجموعة G بمجموعة جزئية طبيعية H ، مصدر هام للزمر المجردة. كانت زمر الأصناف لحقول الأعداد الجبرية من أوائل الأمثلة على المجموعات العاملية، اللى كسبت باهتمام كبير فى نظرية الأعداد .

لو كانت المجموعة G مجموعة تبديل على مجموعة X، فـ المجموعة العاملية G / H ما بتأثّرش مباشرة على X؛ لكن فكرة المجموعة المجرّدة بتخلّينا نتجاهل التناقض ده.

الانتقال من التفكير فى مجموعات ملموسة للتفكير المجرّد بيسهّل دراسة خصايص المجموعات بشكل مستقل عن أى تمثيل معين، أو اللى بيتسمّى دلوقتى “الثبات تحت التشاكل”، و كمان دراسة فئات كاملة من المجموعات اللى عندها الخاصية دي، زى المجموعات المنتهية، والدورية، والبسيطة، والقابلة للحل، و غيرها.

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

مجموعات ذات بنية إضافية

توسيع مهم لمفهوم المجموعة بيحصل لما نضيف لـ G بنية إضافية، زى زى فضاء طوبولوجي، أو متنوع قابل للتفاضل، أو تنوّع جبرى. لو عملية الضرب فى المجموعة و عملية المعكوس متوافقين مع البنية دى (يعنى دوال متصلة أو ناعمة أو منتظمة)، ساعتها G بتبقى مجموعة طوبولوجية، أو مجموعة لي، أو مجموعة جبرية.

وجود بنية إضافية بيربط الأنواع دى من المجموعات بفروع رياضية تانية، وده بيوفّر أدوات أكتر لدراستها. فمثل، المجموعات الطوبولوجية بتشكّل مجال طبيعى للتحليل التوافقى المجرّد، فى الوقت نفسه مجموعات لى (اللى فى الغالب بتمثّل مجموعات تحويلية) بتعتبر أساس مهم فى الهندسة التفاضلية ونظرية التمثيل.

بعض مسائل التصنيف اللى صعب تتحل بشكل عام ممكن تتحل فى حالات خاصة من المجموعات. وفعل، تم تصنيف مجموعات لى المتصلة والمتراصة بشكل كامل. كمان فيه علاقة مهمة بين المجموعات اللانهائية المجرّدة والمجموعات الطوبولوجية: لو قدرنا نمثّل مجموعة Γ كشَبَكة جوه مجموعة طوبولوجية G، ساعتها الهندسة والتحليل المرتبطين بـ G بيدّوا نتايج مهمة عن Γ.

فى اتجاه حديث نسبى فى دراسة المجموعات المنتهية، بيتم استغلال علاقتها بالمجموعات الطوبولوجية المدمجة (شبه المنتهية). مثال على كده إن مجموعة تحليلية من النوع p-adic G بفيها عيلة من المجموعات الجزئية اللى هيا مجموعات p منتهية برتب مختلفة، و خصايص G بتنعكس على خصايص المجموعات الجزئية دى.

فروع نظرية المجموعه

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

خلال القرن العشرين، علما الرياضيات درسو بعض جوانب نظرية المجموعات المنتهية بعمق كبير، و بالخصوص النظرية المحلية للمجموعات المنتهية ونظرية المجموعات القابلة للحل والمجموعات العديمة القوة . و بسبب ده، تم تحقيق التصنيف الكامل للمجموعات البسيطة المنتهية ، ده معناه أن كل تلك المجموعات البسيطة اللى ممكن بناء كل المجموعات المنتهية منها معروفة دلوقتى.

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

تمثيل المجموعات

القول بأن مجموعة G بتأثر على مجموعة X يعنى أن كل عنصر من G يُاتعرف تطبيق تقابلى على المجموعة X بطريقة تتوافق مع بنية المجموعة. لما يكون لـ X بنية اكتر تعقيد، يكون مفيد تقييد المفهوم ده اكتر: تمثيل G على فضاء متجهى V هو تشاكل مجموعة .

$\rho :G\to \operatorname {GL} (V),$

المجموعة GL(V) بتتكوّن من كل التحويلات الخطية القابلة للعكس على الفضاء V. بمعنى تاني، لكل عنصر g فى المجموعة G بنعيّن له تحويل ρ(g)، بحيث الشرط ده يتحقق:

ρ(g) ∘ ρ(h) = ρ(gh) لأى عنصر h فى G.

التعريف ده ممكن نفهمه بطريقتين، وكل واحدة بتفتح مجال مهم فى الرياضيات:

من ناحية، ممكن يدى معلومات جديدة عن المجموعة G نفسها. فى الغالب العملية فى G بتكون معطاة بشكل مجرّد، لكن بρ بنحوّلها لضرب مصفوفات، وده أسهل و أوضح فى التعامل.

ومن ناحية تانية، لو عندنا مجموعة مفهومة كويس وبتشتغل على كائن معقّد، ده بيسهّل دراسة الكائن ده. فمثل، لو G مجموعة منتهية، الفضاء V ممكن يتفكك لأجزاء أصغر اسمها أجزاء غير قابلة للاختزال، ودى أسهل بكتير فى التعامل من V كله مرة واحدة (زى ما بتقول مبرهنة شور).

بالنظر لمجموعة G ، نظرية التمثيل تتساءل عن تمثيلات G الموجودة. فيه شوية سياقات، وتختلف الطرق المستخدمة والنتايج المُتحصل عليها اختلاف كبير فى كل حالة: نظرية تمثيل المجموعات المنتهية وتمثيلات مجموعات لى مجالين فرعيين رئيسيين لهذه النظرية. تخضع مجمل التمثيلات لخصايص المجموعة. زى ، ممكن تفسير كثيرات حدود فورييه على أنها خصايص U(1) ، هيا مجموعة الأعداد المركبة ذات القيمة المطلقة 1 ، اللى بتأثر على فضاء الدوال ^{الدورية} L² .

مجموعة لى هيا مجموعة تعتبر كمان فضاء تفاضلى ، وتتميز بخاصية توافق عملياتها مع بنيتها الملساء . اتسمت زمر لى نسبةً لسوفوس لى ، اللى وضع أسس نظرية زمر التحويل المستمر. ظهر مصطلح "groupes de Lie" لأول مرة باللغة الفرنسية سنة 1893 فى رسالة آرثر تريس ، واحد من طلاب لي، فى الصفحة 3.

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

نظرية المجموعات التوافقية والهندسية

يمكن وصف المجموعات بطرق مختلفة. ممكن وصف المجموعات المنتهية بكتابة جدول المجموعه اللى يتضمن كل عمليات الضرب الممكنة g • h . فيه طريقة اكتر إيجاز لتعريف المجموعه هيا باستخدام المولدات والعلاقات ، وبتتسمما كمان تمثيل المجموعه . لأى مجموعة F من المولدات، $\{g_{i}\}_{i\in I}$ ، المجموعة الحرة المولدة بF تُسقط على المجموعة G. بتتسمما نواة دى الخريطة المجموعة الجزئية للعلاقات، المولدة بمجموعة جزئية D. ويُرمز للتمثيل ده فى العاده بـ $\langle F\mid D\rangle .$ زى ، العرض التقديمى الجماعى $\langle a,b\mid aba^{-1}b^{-1}\rangle$ بييوصف مجموعة متماثلة مع $\mathbb {Z} \times \mathbb {Z} .$ بتتسمما السلسلة المكونة من رموز المولد ومعكوساتها كلمة . نظرية المجموعه التوافقية تدرس المجموعات من منظور المولدات والعلاقات. هيا مفيدة بشكل خاص لما تتحقق افتراضات التناهي، زى المجموعات المولدة نهائى، أو المجموعات المعروضة نهائى (أى أن العلاقات فيها منتهية كمان ). يستفيد المجال ده من ربط الرسوم البيانية عبر زمرها الأساسية . ومن النظريات الأساسية فى المجال ده أن كل مجموعة جزئية من مجموعة حرة هيا مجموعة حرة.

تنشأ شوية أسئلة طبيعية عند إعطاء مجموعة بطريقة عرضها. تتساءل مسألة الكلمات عما إذا كانت كلمتان تمثلان فعلى نفس عنصر المجموعة. بربط المسألة دى بماكينات تورينج ، ممكن إثبات أنه مافيش عموم الجوريزم لحل دى المهمة. هناك مسألة تانيه، أصعب فى العموم ، و مش قابلة للحل خوارزمى، هيا مسألة تماثل المجموعات ، اللى تتساءل عما إذا كانت مجموعتان معطيتان بطرق عرض مختلفة متماثلتين بالفعل. زى ، المجموعة ذات طريقة العرض $\langle x,y\mid xyxyx=e\rangle ,$ هيا متماثلة مع المجموعة الجمعية Z للأعداد الصحيحة، رغم ان ده ممكن ما يكونش واضح على الفور. (كتابة) $z=xy$ ، عند المرء $G\cong \langle z,y\mid z^{3}=y\rangle \cong \langle z\rangle .$ )

الرسم البيانى لكايلى لـ ⟨ x, y ∣ ⟩ ، المجموعة الحرة من الرتبة 2

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

اتصال المجموعات و التناظر

بالنظر لكائن منظم X من أى نوع، التناظر هو تحويل للكائن لنفسه مع الحفاظ على بنيته. ويحدث ده فى كتير من الحالات، زى

• إذا كانت X مجموعة بدون بنية إضافية، التناظر هو دالة تقابلية من المجموعة لنفسها،و ده يوصل لظهور مجموعات التبديل.
• إذا كان الكائن X مجموعة من النقاط فى المستوى ليه البنية المترية أو أى فضاء مترى آخر، التناظر هو تقابل المجموعة مع نفسها بحيث يحافظ على المسافة بين كل جوز من النقاط (أى تماثل قياسى ). وبتتسمما المجموعة المقابلة مجموعة التماثل القياسى لـ X.
• أما إذا تم الحفاظ على الزوايا ، فبيتقال على ذلك اسم الخرائط المدورة . وتؤدى الخرائط المدورة لظهور مجموعات كلاينية ، زى .
• لا تقتصر التناظرات على الأشكال الهندسية فحسب، لكن بتشمل الأشكال الجبرية كمان . زى ، المعادلة $x^{2}-3=0$ فيه حلان ${\sqrt {3}}$ و $-{\sqrt {3}}$ فى دى الحالة، المجموعة اللى تُبدّل الجذرين هيا مجموعة غالوا التبع لمعادلة. لكل معادلة متعددة الحدود بمتغير واحد مجموعة غالوا، أى مجموعة تبديل معينة على جذورها.

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

يمكن توضيح مفهوم "الحفاظ على بنية" الكائن بدقة بالعمل ضمن فئة . وبتتسمما التطبيقات اللى تحافظ على البنية حينها بالتشاكلات ، وبتتسمما مجموعة التناظر بمجموعة التشاكل الذاتى للكائن المعنى.

استخداماتها

نظرية المجموعه ليها استخدامات واسعه فى مجالات كتيره، منها:

الفيزياء: بتستخدم فى دراسة التماثلات فى الميكانيكا الكميه وفيزياء الجسيمات.

الكيمياء: بتحليل التماثلات الجزيئيه.

علم التشفير: المجموعات بتدخل فى تصميم الجوريزمات التشفير الحديثه.

علوم الكمبيوتر: بتستخدم فى بناء الشبكات وتحليل البيانات.

الهندسه: بتظهر فى دراسة التحولات الهندسيه والتصاميم المتماثله.

تطبيقات نظرية المجموعه

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

نظرية غالوا

نظرية غالوا المجموعات تستخدم لوصف تناظرات جذور كتير الحدود (أو بتعبير أدق، التشاكلات الذاتية للجبر الناتج عن دى الجذور). توفر النظرية الأساسية لنظرية غالوا صلةً بين امتدادات الحقول الجبرية و نظرية المجموعه. هيا تقدم معيار فعال لحل معادلات كثيرات الحدود بدلالة قابلية حل مجموعة غالوا المقابلة. زى ، المجموعه المتناظرة S₅ ، المكونة من ₅ عناصر، غير قابلة للحل، ده معناه أن المعادلة الخماسية العامة مش ممكن حلها بالجذور زى ما هو الحال مع المعادلات ذات الدرجات الأدنى. ولسه دى النظرية، باعتبارها واحد من الجذور التاريخية لنظرية المجموعه، بتتطبق بنجاح فى مجالات زى نظرية حقول الأصناف،و ده يُسفر عن نتايج جديدة.

الطوبولوجيا الجبرية

الطوبولوجيا الجبرية مجال آخر يربط بشكل بارز بين المجموعات والكائنات اللى تهتم بيها النظرية. بتستعمل المجموعات هناك لوصف بعض الثوابت فى الفضاءات الطوبولوجية . بتتسمما دى الثوابت "ثوابت" لأنها مُاتعرفة بطريقة لا تتغير إذا تعرض الفضاء لتشوه ما. زى ، تُحسب المجموعة الأساسية عدد المسارات المختلفة جوهرى فى الفضاء. حدسية بوانكاريه ، اللى أثبتها جريجورى بيرلمان فى 2002/2003، تطبيق بارز للفكره دى. رغم ده ، التأثير مش أحادى الاتجاه. زى ، تستخدم الطوبولوجيا الجبرية فضاءات إيلنبرغ-ماكلين، هيا فضاءات ذات مجموعات تماثل مُحددة. وبالمثل، تعتمد نظرية K الجبرية، بطريقة ما، على تصنيف فضاءات المجموعات. أخير، بيبيين اسم المجموعة الفرعية الالتوائية لمجموعة لانهائية إرث الطوبولوجيا فى نظرية المجموعات.

الطارة. يتم استنتاج بنية المجموعة الأبيلية الخاصة بيها من الخريطة C → C/(Z + τZ) ، حيث τ هو معلمة موجودة فى النصف العلوى من المستوى .

الهندسة الجبرية

الهندسة الجبرية تستخدم نظرية المجموعه بطرق كتيرة. سبق تقديم المتنوعات الأبيلية . يوفر وجود عملية المجموعه معلومات إضافية تخللى دى المتنوعات سهلة الفهم. كما أنها بتستعمل فى الغالب لاختبار فرضيات جديدة ( زى فرضية هودج فى بعض الحالات). وتُدرس الحالة أحادية البعد، أى المنحنيات الإهليلجية، بتفصيل خاص. هيا مثيرة للاهتمام من الناحيتين النظرية والعملية. و فى سياق آخر، المتنوعات الطورية من المتنوعات الجبرية اللى يؤثر عليها سطح طورى . وصلت عمليات التضمين الطورية مؤخر لتطورات فى الهندسة الجبرية ، وبالخصوص فى حل النقاط الشاذة .

نظرية الأعداد الجبرية

نظرية الأعداد الجبرية تستخدم المجموعات فى بعض التطبيقات المهمة. زى ، صيغة أويلر للضرب ،

${\begin{aligned}\sum _{n\geq 1}{\frac {1}{n^{s}}}&=\prod _{p{\text{ prime}}}{\frac {1}{1-p^{-s}}},\\\end{aligned}}\!$

ده بيجسّد حقيقة إن أى عدد صحيح ممكن يتحلل بطريقة فريدة لأعداد أولية . ويؤدى عدم صحة دى العبارة بالنسبة للحلقات الاكتر عمومية لظهور مجموعات الفئات و الأعداد الأولية المنتظمة ، اللى تظهر فى معالجة كومر لنظرية فيرما الأخيرة .

التحليل التوافقى

بيتقال على التحليل على زمر لى و بعض المجموعات التانيه اسم التحليل التوافقى . وبتستعمل مقاييس هار ، أى التكاملات الثابتة تحت الإزاحة فى مجموعة لي، فى التعرف على الأنماط وتكنولوجيات معالجة الصور التانيه.

التوافقية

قد تتمتع دايرة الخمسات ببنية مجموعة دورية.

فى علم التوافيق ، فى الغالب يتم استخدام مفهوم مجموعة التبديل ومفهوم فعل المجموعة لتبسيط عد مجموعة من الأشياء؛ انظر على وجه الخصوص لليمّة بيرنسايد .

مزيكا

وجود التكرار الدورى بتاع الـ 12 نغمة فى دايرة الخامسات بيسمح بتطبيقات لنظرية المجموعة الأولية فى نظرية المجموعات المزيكا. ونظرية التحويلات بتصوّر التحويلات المزيكا كعناصر فى مجموعة رياضية.

الفيزيا

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

الكيمياء و علوم المواد

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

جزيء الميه بمحور التناظر

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

فى الكيمياء ، توجد 5 عمليات تناظر أساسية. وهي: عملية التدور ( E )، و عملية الدوران أو الدوران الصحيح ( C _n )، و عملية الانعكاس ( σ )، والانقلاب ( i )، و عملية الدوران والانعكاس أو الدوران اللى مشصحيح ( S _n ). تتمثل عملية التدور ( E ) فى إبقاء الجزيء على حاله. وده يُعادل أى عدد من الدورات الكاملة حول أى محور. بيعتبر ده تناظر لجميع الجزيئات، فى الوقت نفسه تتكون مجموعة التناظر للجزيء الكيرالى من عملية التدور بس. عملية التدور سمة مميزة لكل جزيء و لو ماكانش له تناظر. أما الدوران حول محور ( C _n ) فيتمثل فى تدوير الجزيء حول محور محدد بزاوية محددة. هو دوران بزاوية 360°/ n ، حيث n عدد صحيح، حول محور الدوران. زى ، إذا دار جزيء الماء 180° حول المحور اللى يمر عبر ذرة الأكسجين وبين ذرات الهيدروجين ، فإنه يبقى فى نفس التكوين اللى ابتدا به. فى دى الحالة، n = 2 ، لأن تطبيق العملية مرتين بينتج عملية التدور. فى الجزيئات اللى فيها اكتر من محور دوران، يكون محور C _n بالقيمة الاكبر لـ n هو محور الدوران بالرتبة الأعلى أو المحور الرئيسى. زى ، فى ثلاثى فلوريد البورون (BF ₃ )، يكون محور الدوران بالرتبة الأعلى هو C ₃ ، علشان كده محور الدوران الرئيسى هو C ₃ .

فى عملية الانعكاس ( σ )، تمتلك كتير من الجزيئات مستويات انعكاس، و إن ما كانتش واضحة للعيان. تُبدّل عملية الانعكاس بين اليسار واليمين، كما لو أن كل نقطة قد تحركت عمودى عبر المستوى لموضع يبعد عن المستوى مسافةً تُساوى تمام المسافة اللى كانت عليها فى البداية. لما يكون المستوى عمودى على محور الدوران الرئيسي، بيتسما _σh (أفقى). أما المستويات التانيه اللى فيها محور الدوران الرئيسي، فبتتسمما رأسية ( _σv ) أو ثنائية السطوح ( _σd ).

الانعكاس (i) عملية اكتر تعقيد. كل نقطة بتتحرك عبر مركز الجزيء لموضع مقابل لموضعها الأصلي، وعلى بُعد مسافة من النقطة المركزية تُساوى بُعدها عن نقطة البداية. كتير من الجزيئات اللى تبدو للوهلة الأولى وكأنها تمتلك مركز انعكاس، لا تمتلكه؛ زى ، الميثان وجزيئات رباعية الأوجه تانيه تفتقر لتناظر الانعكاس. لتوضيح ذلك، تخيل نموذج للميثان مع ذرتى هيدروجين فى المستوى الرأسى على اليمين وذرتى هيدروجين فى المستوى الأفقى على اليسار. ينتج عن الانعكاس ذرتى هيدروجين فى المستوى الأفقى على اليمين وذرتى هيدروجين فى المستوى الرأسى على اليسار. لذلك، لا بيعتبر الانعكاس عملية تناظر للميثان، لأن اتجاه الجزيء بعد عملية الانعكاس يختلف عن اتجاهه الأصلى. أما العملية الأخيرة فهى الدوران اللى مشصحيح أو عملية انعكاس الدوران ( S _n )، اللى تتطلب دوران بمقدار 360°/ n ، بعديه انعكاس عبر مستوى عمودى على محور الدوران.

علم التشفير

المجموعة الدورية Z ₂₆ بتشكل أساس شفرة قيصر .

مجموعات كبيرة اوى من الأعداد الأولية، المُنشأة فى تشفير المنحنيات الإهليلجية، بتستعمل فى تشفير المفتاح العام . تستفيد أساليب التشفير من النوع ده من مرونة الأشكال الهندسية، و علشان كده من بنيتها الجماعية، و البنية المعقدة لهذه المجموعات، ده يخللى حساب اللوغاريتم المنفصل صعب للغاية. ممكن كمان تفسير واحد من أقدم بروتوكولات التشفير، و هو شيفرة قيصر ، على أنه عملية جماعية (سهلة اوى). تستخدم معظم أنظمة التشفير المجموعات بطريقة أو بتانيه. على وجه الخصوص، يستخدم تبادل مفاتيح ديفي-هيلمان مجموعات دورية منتهية. علشان كده، يشير مصطلح التشفير القائم على المجموعات فى الغالب لبروتوكولات التشفير اللى تستخدم مجموعات غير تبديلية لانهائية، زى مجموعة الجدائل .

شوف كمان

• مواضيع نظرية المجموعه
• أمثلة على المجموعات
• نظرية باس-سير

مراجع

• Borel، Armand (1991)، Linear algebraic groups، Graduate Texts in Mathematics (ط. 2nd)، Berlin, New York: Springer-Verlag، ج. 126، DOI:10.1007/978-1-4612-0941-6، ISBN:978-0-387-97370-8، MR:1102012
• Carter، Nathan C. (2009)، Visual group theory، Classroom Resource Materials Series، Mathematical Association of America، ISBN:978-0-88385-757-1، MR:2504193، مؤرشف من الأصل في 2021-12-19، اطلع عليه بتاريخ 2026-05-01
• Cannon، John J. (1969)، "Computers in group theory: A survey"، Communications of the ACM، ج. 12: 3–12، DOI:10.1145/362835.362837، MR:0290613
• Frucht، R. (1939)، "Herstellung von Graphen mit vorgegebener abstrakter Gruppe"، Compositio Mathematica، ج. 6: 239–50، ISSN:0010-437X، مؤرشف من الأصل في 2008-12-01
• Golubitsky، Martin؛ Stewart، Ian (2006)، "Nonlinear dynamics of networks: the groupoid formalism"، Bull. Amer. Math. Soc. (N.S.)، ج. 43 ع. 3: 305–364، DOI:10.1090/S0273-0979-06-01108-6، MR:2223010 Shows the advantage of generalising from group to groupoid.
• Hamermesh, Morton (1962), Group Theory and Its Application to Physical Problems, Addison-Wesley Publishing.
• Judson، Thomas W. (1997)، Abstract Algebra: Theory and Applications، مؤرشف من الأصل في 2013-07-01، اطلع عليه بتاريخ 2026-05-01 An introductory undergraduate text in the spirit of texts by Gallian or Herstein, covering groups, rings, integral domains, fields and Galois theory. Free downloadable PDF with open-source GFDL license.
• Kleiner، Israel (1986)، "The evolution of group theory: a brief survey"، Mathematics Magazine، ج. 59 ع. 4: 195–215، DOI:10.2307/2690312، ISSN:0025-570X، JSTOR:2690312، MR:0863090
• La Harpe، Pierre de (2000)، Topics in geometric group theory، University of Chicago Press، ISBN:978-0-226-31721-2
• Livio, M. (2005)، The Equation That Couldn't Be Solved: How Mathematical Genius Discovered the Language of Symmetry، Simon & Schuster، ISBN:0-7432-5820-7 Conveys the practical value of group theory by explaining how it points to symmetries in physics and other sciences.
• Mumford، David (1970)، Abelian varieties، Oxford University Press، ISBN:978-0-19-560528-0، OCLC:138290
• Ronan M., 2006. Symmetry and the Monster. Oxford University Press. ISBN 0-19-280722-6ISBN 0-19-280722-6. For lay readers. Describes the quest to find the basic building blocks for finite groups.
• Rotman, Joseph (1994)، An introduction to the theory of groups، New York: Springer-Verlag، ISBN:0-387-94285-8 A standard contemporary reference.
• Schupp، Paul E.؛ Lyndon، Roger C. (2001)، Combinatorial group theory، Berlin, New York: Springer-Verlag، ISBN:978-3-540-41158-1
• Scott, W. R. (1987) [1964]، Group Theory، New York: Dover، ISBN:0-486-65377-3 Inexpensive and fairly readable, but somewhat dated in emphasis, style, and notation.
• Shatz، Stephen S. (1972)، Profinite groups, arithmetic, and geometry، Princeton University Press، ISBN:978-0-691-08017-8، MR:0347778

لينكات برانيه

• تاريخ مفهوم المجموعة المجردة
• ده عرض مفصل للفهم المعاصر لنظرية المجموعات من قبل باحث مبكر فى المجال ده .