خاصية الجمع الفرعي
في الرياضيات ، تُعرف خاصية شبه الجمعية بأنها خاصية للدالة ، وتنص، باختصار، على أن حساب مجموع عنصرين من مجال الدالة يُعطي دائمًا قيمة أقل من أو تساوي مجموع قيم الدالة عند كل عنصر. توجد أمثلة عديدة على الدوال شبه الجمعية في مختلف فروع الرياضيات، لا سيما المعايير والجذور التربيعية . وتُعدّ الدوال الجمعية حالات خاصة من الدوال شبه الجمعية.
التعريفات
الدالة شبه الجمعية هي دالة، ولها مجال A ومجال مرتب B وكلاهما مغلق تحت عملية الجمع، مع الخاصية التالية:
ومن الأمثلة على ذلك دالة الجذر التربيعي ، التي يكون مجالها ومجالها المقابل هما الأعداد الحقيقية غير السالبة : بما أنلدينا:
تسلسليُطلق عليه اسم شبه جمعي إذا حقق المتباينة لكل m و n . هذه حالة خاصة من الدالة شبه الجمعية، إذا تم تفسير متتالية ما على أنها دالة على مجموعة الأعداد الطبيعية.
لاحظ أنه بينما تكون المتتالية المقعرة شبه جمعية، فإن العكس غير صحيح. على سبيل المثال، قم بتعيين قيمة عشوائية لـمع القيم فيإذاً، فإن المتتالية تكون شبه جمعية ولكنها ليست مقعرة.
ملكيات
التسلسلات
تُعد ليمّة فيكيت نتيجة مفيدة تتعلق بالمتتاليات شبه الجمعية . [ 1 ]
يترك.
بحسب التعريف،لذا يكفي أن نوضح.
وإلا، فهناك متتالية فرعية.وبحيثللجميع.
منذيوجدبحيث.
بحسب مبدأ خانة الحمام اللانهائية ، توجد متتالية فرعية من، والتي تنتمي جميع مؤشراتها إلى نفس فئة البقايا moduloوبالتالي يتقدمون بمضاعفاتهذا التسلسل، إذا استمر لفترة كافية، سيُجبر بفعل خاصية الجمع الفرعي على الانخفاض إلى ما دون مستوىخط الميل، تناقض.
وبمزيد من التفصيل، من خلال خاصية الجمع الفرعي، لدينا
وهذا يعني، وهو تناقض.
وينطبق نظير لِمّة فيكيت على المتتاليات فوق الجمعية أيضًا، أي: (قد تكون النهاية عندئذٍ موجبة لا نهائية: انظر إلى المتتالية.)
توجد امتدادات لفرضية فيكيت لا تتطلب المتباينةيتحقق ذلك لجميع قيم m و n ، ولكن فقط لقيم m و n التي تحقق ذلك.
استمر في البرهان كما كان من قبل، حتى نكون قد استخدمنا مبدأ خانة الحمام اللانهائية.
ضع في اعتبارك التسلسل. منذلديناوبالمثل، لدينا، إلخ.
بافتراض، لأييمكننا استخدام خاصية الجمع الجزئي عليها إذا
إذا كنا نتعامل مع متغيرات مستمرة، فيمكننا استخدام خاصية الجمع الجزئي للانتقال منلثم إلىوهكذا دواليك، وهو ما يغطي الفترة الزمنية بأكملها.
على الرغم من عدم وجود متغيرات متصلة، إلا أنه لا يزال بإمكاننا تغطية عدد كافٍ من الأعداد الصحيحة لإكمال البرهان. ليكنأن تكون كبيرة بما يكفي، بحيث
ثم دعليكن أصغر عدد في التقاطعبناءً على الافتراضمن السهل أن نرى (ارسم صورة) أن الفتراتوالمس في المنتصف. وهكذا، بتكرار هذه العملية، نغطي كامل.
مع ذلك، كل شيءيتم إجبارها على النزول كما في البرهان السابق.
علاوة على ذلك، فإن الحالةقد يتم إضعافها على النحو التالي:بشرط أنهي دالة متزايدة بحيث يكون التكامليتقارب (بالقرب من اللانهاية). [ 2 ]
توجد أيضًا نتائج تسمح باستنتاج معدل التقارب إلى النهاية التي تم تحديد وجودها في مبرهنة فيكيت، إذا كان هناك نوع من الجمع الفائق والجمع الجزئي. [ 3 ] [ 4 ]
بالإضافة إلى ذلك، تم إثبات نظائر لـ Fekete's lemma للتطبيقات الحقيقية شبه الجمعية (مع افتراضات إضافية) من المجموعات الجزئية المنتهية لمجموعة قابلة للتقريب ، [ 5 ] [ 6 ] [ 7 ] ، وكذلك من شبه مجموعة قابلة للتقريب من اليسار قابلة للإلغاء . [ 8 ]
الوظائف
النظرية: [ 9 ] — لكلدالة فرعية قابلة للقياسالحدموجود ويساوي(قد يكون الحد)
إذا كانت f دالة شبه جمعية، وإذا كان 0 في مجالها، فإن f (0) ≥ 0. ولإثبات ذلك، خذ المتباينة في الأعلى.. لذلك
دالة مقعرةمعوهي أيضًا شبه جمعية. ولرؤية ذلك، يلاحظ المرء أولاً أنثم بالنظر إلى مجموع هذا الحد لـو، سيؤكد ذلك في النهاية أن f شبه جمعية. [ 10 ]
معكوس الدالة شبه الجمعية هو الدالة فوق الجمعية .
أمثلة في مجالات متنوعة
إنتروبيا
يلعب الإنتروبيا دورًا أساسيًا في نظرية المعلومات والفيزياء الإحصائية ، وكذلك في ميكانيكا الكم في صيغة معممة وضعها فون نيومان . يظهر الإنتروبيا دائمًا ككمية شبه جمعية في جميع صيغه، أي أن إنتروبيا أي نظام فائق أو اتحاد مجموعة من المتغيرات العشوائية تكون دائمًا أقل من أو تساوي مجموع إنتروبيات مكوناته الفردية. إضافةً إلى ذلك، يُحقق الإنتروبيا في الفيزياء العديد من المتباينات الأكثر صرامة، مثل شبه الجمعية القوية للإنتروبيا في الميكانيكا الإحصائية الكلاسيكية ونظيرتها في ميكانيكا الكم .
الاقتصاد
خاصية التجميع الفرعي هي خاصية أساسية لبعض دوال التكلفة المحددة . وهي، بشكل عام، شرط ضروري وكافٍ للتحقق من الاحتكار الطبيعي . وتعني أن الإنتاج من شركة واحدة فقط أقل تكلفة اجتماعيًا (من حيث متوسط التكاليف) من إنتاج جزء من الكمية الأصلية من قبل عدد مماثل من الشركات.
يتم تمثيل وفورات الحجم بواسطة دوال متوسط التكلفة شبه الجمعية .
باستثناء السلع المُكمِّلة، يجب أن يكون سعر السلع (كدالة للكمية) أقل من مجموع أسعار السلعتين. وإلا، إذا كان مجموع تكلفة سلعتين أرخص من تكلفة حزمة السلعتين معًا، فلن يشتري أحد الحزمة، مما يجعل سعر الحزمة مساويًا لمجموع سعري السلعتين منفصلتين. وهذا يُثبت أن هذا ليس شرطًا كافيًا للاحتكار الطبيعي، لأن وحدة التبادل قد لا تكون التكلفة الفعلية للسلعة. هذا الوضع مألوف للجميع في الساحة السياسية، حيث تزعم أقلية أن فقدان بعض الحريات في مستوى معين من الحكم يعني أن العديد من الحكومات أفضل، بينما تزعم الأغلبية وجود وحدة تكلفة أخرى صحيحة.
تمويل
تُعدّ خاصية التجميع الفرعي إحدى الخصائص المرغوبة لمقاييس المخاطر المتماسكة في إدارة المخاطر . [ 11 ] ويكمن المنطق الاقتصادي وراء خاصية التجميع الفرعي لمقاييس المخاطر في أن تعرض المحفظة للمخاطر، في أسوأ الأحوال، يجب أن يساوي ببساطة مجموع تعرضات المخاطر للمراكز الفردية التي تُكوّن المحفظة. ويُعدّ غياب خاصية التجميع الفرعي أحد الانتقادات الرئيسية لنماذج القيمة المعرضة للخطر (VaR) التي لا تعتمد على افتراض التوزيع الطبيعي لعوامل المخاطر. وتضمن القيمة المعرضة للخطر الغاوسية خاصية التجميع الفرعي؛ فعلى سبيل المثال، القيمة المعرضة للخطر الغاوسية لمحفظة تتكون من مركزين طويلين متماثلين.على مستوى الثقةبافتراض أن متوسط تباين قيمة المحفظة يساوي صفرًا وأن قيمة المخاطرة تُعرَّف على أنها خسارة سلبية، أينهي معكوس دالة التوزيع التراكمي الطبيعي عند مستوى الاحتمال،هل تمثل هذه النتائج تباينات عوائد المراكز الفردية ويمثل هذا مقياس الارتباط الخطي بين عوائد المركزين الفرديين. وبما أن التباين يكون دائمًا موجبًا، وبالتالي فإن قيمة المخاطر الغاوسية تكون شبه جمعية لأي قيمة منوعلى وجه الخصوص، فإنها تساوي مجموع التعرضات الفردية للمخاطر عندماوهذا هو الحال بالنسبة لعدم وجود تأثيرات للتنويع على مخاطر المحفظة.
الديناميكا الحرارية
يحدث التداخل في الخصائص الديناميكية الحرارية للمحاليل والمخاليط غير المثالية مثل الحجم المولي الزائد وحرارة الخلط أو المحتوى الحراري الزائد .
التوافقية في الكلمات
لغة العامليةهو أحدها حيث إذا كانت الكلمة فيإذن، جميع عوامل تلك الكلمة موجودة أيضاًفي علم التوافيق على الكلمات ، تتمثل إحدى المشكلات الشائعة في تحديد العددمن حيث الطول-كلمات في لغة مضروبية. بوضوح، لذاوهي شبه جمعية، وبالتالي يمكن استخدام ليمّة فيكيت لتقدير نمو[ 12 ]
لكلقم بأخذ عينة من سلسلتين بطولبشكل عشوائي متساوٍ على الأبجديةالطول المتوقع لأطول سلسلة فرعية مشتركة هو دالة فائقة الجمع لـوبالتالي يوجد عددبحيث يزداد الطول المتوقع مععن طريق التحقق من الحالة معلديناالقيمة الدقيقة لـومع ذلك، من المعروف أن قيمته تتراوح بين 0.788 و 0.827 فقط. [ 13 ]
انظر أيضاً
- الخاصية المولية الظاهرية – الفرق في خصائص مول واحد من المادة في خليط مقابل محلول مثالي
- التكامل الشوكيه – التكامل الفرعي أو التكامل الفائق
- خاصية الجمع الفائق – خاصية من خصائص الدالة
- متباينة المثلث – خاصية من خصائص الهندسة، وتُستخدم أيضًا لتعميم مفهوم "المسافة" في الفضاءات المترية
ملحوظات
- ^ فيكيت، م. (1923). "Über die Verteilung der Wurzeln bei gwissen algebraischen Gleichungen mit ganzzahligen Koeffizienten". الرياضيات Zeitschrift . 17 (1): 228-249 . دوى : 10.1007 / BF01504345 . S2CID 186223729 .
- ^ دي بروين، إن جي؛ إردوس، ب. (1952). “بعض الصيغ العودية الخطية وبعض الصيغ التربيعية. II”. نيديرل. أكاد. ويتنش. بروك. سر. أ . 55 : 152– 163. دوى : 10.1016/S1385-7258(52)50021-0 .(نفس الشيء كما في Indagationes Math. 14. ) انظر أيضًا Steele 1997، النظرية 1.9.2.
- ↑ مايكل ج. ستيل. "نظرية الاحتمالات والتحسين التوافقي". سيام، فيلادلفيا (1997). ISBN 0-89871-380-3.
- ↑ مايكل ج. ستيل (2011). محاضرات CBMS حول نظرية الاحتمالات والتحسين التوافقي . جامعة كامبريدج.
- ↑ ليندنشتراوس، إيلون ؛ وايس، بنيامين (2000). "البعد الطوبولوجي المتوسط" . مجلة إسرائيل للرياضيات . 115 (1): 1-24 . CiteSeerX 10.1.1.30.3552 . doi : 10.1007/BF02810577 . ISSN 0021-2172 . النظرية 6.1
- ↑ أورنشتاين، دونالد س .؛ فايس، بنيامين (1987). "نظريات الإنتروبيا والتشاكل لتأثيرات المجموعات القابلة للتقريب" . مجلة التحليل الرياضي . 48 (1): 1-141 . doi : 10.1007/BF02790325 . ISSN 0021-7670 .
- ↑ غروموف، ميشا (1999). "الثوابت الطوبولوجية للأنظمة الديناميكية وفضاءات الخرائط الهولومورفية: الجزء الأول". الفيزياء الرياضية والتحليل والهندسة . 2 (4): 323-415 . Bibcode : 1999MPAG....2..323G . doi : 10.1023/A:1009841100168 . ISSN 1385-0172 . S2CID 117100302 .
- ^ سيشيريني-سيلبرشتاين، توليو؛ كريجر، فابريس. كورنيرت، ميشيل (2014). "تناظرية لـ Fekete's lemma للوظائف الفرعية على المجموعات شبه القابلة للإلغاء" . مجلة تحليل الرياضيات . 124 : 59 – 81. أرخايف : 1209.6179 . دوى : 10.1007/s11854-014-0027-4 .النظرية 1.1
- ↑ هيل 1948، النظرية 6.6.1. (تم تحديد قابلية القياس في القسم 6.2 "المقدمات").)
- ↑ شيشتر، إريك (1997). دليل التحليل وأسسه . سان دييغو: أكاديميك برس. ISBN 978-0-12-622760-4.، ص.314، 12.25
- ↑ راو-بريدو، هـ. (2019). "الأكبر ليس دائمًا الأكثر أمانًا: تحليل نقدي لفرضية الجمع الفرعي لمقاييس المخاطر المتماسكة" . المخاطر . 7 (3): 91. doi : 10.3390/risks7030091 . hdl : 10419/257929 .
- ↑ شور، أرسيني (2012). "خصائص نمو اللغات الخالية من القوى". مراجعة علوم الحاسوب . 6 ( 5-6 ): 187-208 . doi : 10.1016/j.cosrev.2012.09.001 .
- ↑ لوكر، جورج س. (مايو 2009). "تحسين حدود متوسط طول أطول المتتاليات الفرعية المشتركة" . مجلة ACM . 56 (3): 1-38 . doi : 10.1145/1516512.1516519 . ISSN 0004-5411 . S2CID 7232681 .
مراجع
- جيورجي بوليا وجابور زيجو . مشاكل ونظريات في التحليل ، المجلد. 1. سبرينغر-فيرلاغ، نيويورك (1976). رقم ISBN 0-387-05672-6.
- إينار هيل . " التحليل الوظيفي وشبه المجموعات ". الجمعية الرياضية الأمريكية، نيويورك (1948).
- إن إتش بينغهام، إيه جيه أوستازيفسكي. "الدوال شبه الجمعية العامة." وقائع الجمعية الرياضية الأمريكية، المجلد 136، العدد 12 (2008)، الصفحات 4257-4266.
روابط خارجية
تتضمن هذه المقالة مواد من قسم "الجمع الفرعي" على موقع PlanetMath ، وهو مرخص بموجب رخصة Creative Commons Attribution/Share-Alike .
- التحليل الرياضي
- المتتابعات والمتسلسلات
- أنواع الوظائف
