الإسقاط (نظرية المجموعات)

في نظرية المجموعات ، يُعد الإسقاط أحد نوعين من الدوال أو العمليات المرتبطة ارتباطًا وثيقًا، وهما:

  • عملية نظرية المجموعات التي تتميز بـج{\displaystyle j}خريطة الإسقاط، مكتوبةصرoجج،{\displaystyle \mathrm {proj} _{j},}يأخذ عنصرًاx=(x1، ...، xج، ...، xك){\displaystyle {\vec {x}}=(x_{1},\ \dots ,\ x_{j},\ \dots ,\ x_{k})}من حاصل الضرب الديكارتي(X1××Xج××Xك){\displaystyle (X_{1}\times \cdots \times X_{j}\times \cdots \times X_{k})}إلى القيمةصرoجج(x)=xج.{\displaystyle \mathrm {proj} _{j}({\vec {x}})=x_{j}.}[ 1 ]
  • دالة ترسل عنصرًاx{\displaystyle x}إلى فئة التكافؤ الخاصة بها بموجب علاقة تكافؤ محددةهـ،{\displaystyle E,}[ ٢ ] أو بصورة مكافئة،دالة شاملةمن مجموعة إلى مجموعة أخرى. [ ٣ ] الدالة من العناصر إلى فئات التكافؤ هي دالة شاملة، وكل دالة شاملة تُقابل علاقة تكافؤ يكون فيها عنصران متكافئين عندما يكون لهما نفس الصورة. تُكتب نتيجة هذا التطبيق على النحو التالي:[x]{\displaystyle [x]}متىهـ{\displaystyle E}يُفهم أو يُكتب على النحو التالي:[x]هـ{\displaystyle [x]_{E}}عندما يكون من الضروري القيامهـ{\displaystyle E}صريح.

انظر أيضاً

مراجع

  1. هالموس، بي آر (1960)، نظرية المجموعات البسيطة ، نصوص جامعية في الرياضيات ، سبرينغر، ص  32، رقم ISBN 9780387900926{{citation}}: عدم توافق رقم ISBN / التاريخ ( مساعدة ) .
  2. براون، آرلين؛ بيرسي، كارل م. (1995)، مقدمة في التحليل ، نصوص الدراسات العليا في الرياضيات، المجلد 154، سبرينغر، ص ISBN   9780387943695.
  3. جيتش، توماس (2003)، نظرية المجموعات: طبعة الألفية الثالثة ، سلسلة دراسات سبرينغر في الرياضيات، سبرينغر، ص 34، رقم ISBN  9783540440857.