مجموعة المستويات

النقاط عند شرائح ثابتة من x 2 = f ( x 1 ) .
الخطوط عند شرائح ثابتة من x 3 = f ( x 1 , x 2 ) .
المستويات عند شرائح ثابتة من x 4 = f ( x 1 , x 2 , x 3 ) .
مجموعات المستوى ( n − 1) ذات الأبعاد للدوال من الشكل f ( x 1 , x 2 , …, x n ) = a 1 x 1 + a 2 x 2 + ⋯ + a n x n حيث a 1 , a 2 , …, a n هي ثوابت، في الفضاء الإقليدي ( n + 1) ذي الأبعاد، لـ n = 1, 2, 3 .
النقاط عند شرائح ثابتة من x 2 = f ( x 1 ) .
منحنيات الكفاف عند شرائح ثابتة من x 3 = f ( x 1 , x 2 ) .
الأسطح المنحنية عند شرائح ثابتة من x 4 = f ( x 1 , x 2 , x 3 ) .
مجموعات المستوى ( n − 1) ذات الأبعاد للدوال غير الخطية f ( x 1 , x 2 , …, x n ) في الفضاء الإقليدي ( n + 1) ذي الأبعاد ، لـ n = 1, 2, 3 .

في الرياضيات ، تُعرف مجموعة المستوى لدالة حقيقية f ذات n متغير حقيقي بأنها مجموعة تأخذ فيها الدالة قيمة ثابتة معينة c ، أي:

لج(و)={(x1،...،xن)|و(x1،...،xن)=ج} .{\displaystyle L_{c}(f)=\left\{(x_{1},\ldots ,x_{n})\mid f(x_{1},\ldots ,x_{n})=c\right\}~.}

عندما يكون عدد المتغيرات المستقلة اثنين، تُسمى مجموعة المستوى منحنى المستوى ، ويُعرف أيضًا بخط الكفاف أو خط التساوي ؛ لذا فإن منحنى المستوى هو مجموعة جميع الحلول الحقيقية لمعادلة في متغيرين x1 و x2 . عندما n = 3 ، تُسمى مجموعة المستوى سطح المستوى (أو سطح التساوي )؛ لذا فإن سطح المستوى هو مجموعة جميع الجذور الحقيقية لمعادلة في ثلاثة متغيرات x1 و x2 و x3 . بالنسبة لقيم n الأعلى ، تُسمى مجموعة المستوى سطحًا فائقًا للمستوى ، وهو مجموعة جميع الجذور الحقيقية لمعادلة في n > 3 متغيرات ( سطح فائق ذو أبعاد أعلى ).

مجموعة المستويات هي حالة خاصة من الألياف .

أسماء بديلة

تقاطعات أسطح مستوى دالة الإحداثيات مع عقدة ثلاثية الفصوص . المنحنيات الحمراء هي الأقرب إلى المشاهد، بينما المنحنيات الصفراء هي الأبعد.

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

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

أمثلة

ضع في اعتبارك المسافة الإقليدية ثنائية الأبعاد:د(x،y)=x2+y2{\displaystyle d(x,y)={\sqrt {x^{2}+y^{2}}}}مجموعة مستوياتلر(د){\displaystyle L_{r}(d)}يتكون جزء من هذه الدالة من تلك النقاط التي تقع على مسافةر{\displaystyle r}من نقطة الأصل، تشكل دائرة . على سبيل المثال،(3،4)ل5(د){\displaystyle (3,4)\in L_{5}(d)}، لأند(3،4)=5{\displaystyle d(3,4)=5}هندسياً، هذا يعني أن النقطة(3،4){\displaystyle (3,4)}تقع على دائرة نصف قطرها 5 ومركزها نقطة الأصل. وبشكل أعم، هي كرة في فضاء متري(م،م){\displaystyle (M,m)}بنصف قطرر{\displaystyle r}مركزها فيxم{\displaystyle x\in M}يمكن تعريفها بأنها مجموعة المستوياتلر(yم(x،y)){\displaystyle L_{r}(y\mapsto m(x,y))}.

مثال آخر هو رسم دالة هيملبلاو الموضح في الشكل على اليمين. كل منحنى معروض هو منحنى مستوى للدالة، والمسافة بينها لوغاريتمية: إذا كان المنحنى يمثللx{\displaystyle L_{x}}يمثل المنحنى الموجود مباشرة "داخل"لx/10{\displaystyle L_{x/10}}والمنحنى الواقع مباشرة "في الخارج" يمثلل10x{\displaystyle L_{10x}}.

رسم بياني لمنحنى المستوى ذي المسافات اللوغاريتمية لدالة هيميلبلاو [ 1 ]

مجموعات المستويات مقابل التدرج

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

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

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

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

مجموعة من الشكل

لج-(و)={(x1،...،xن)|و(x1،...،xن)ج}{\displaystyle L_{c}^{-}(f)=\left\{(x_{1},\dots ,x_{n})\mid f(x_{1},\dots ,x_{n})\leq c\right\}}

تُسمى مجموعة المستوى الفرعي لـ f (أو، بدلاً من ذلك، مجموعة المستوى الأدنى أو خندق لـ f ). مجموعة المستوى الفرعي الصارمة لـ f هي

{(x1،...،xن)|و(x1،...،xن)<ج}{\displaystyle \left\{(x_{1},\dots ,x_{n})\mid f(x_{1},\dots ,x_{n})<c\right\}}

بصورة مماثلة

لج+(و)={(x1،...،xن)|و(x1،...،xن)ج}{\displaystyle L_{c}^{+}(f)=\left\{(x_{1},\dots ,x_{n})\mid f(x_{1},\dots ,x_{n})\geq c\right\}}

تُسمى مجموعة المستوى الفائق لـ f (أو، بدلاً من ذلك، مجموعة المستوى الأعلى لـ f ). ومجموعة المستوى الفائق الصارمة لـ f هي

{(x1،...،xن)|و(x1،...،xن)>ج}{\displaystyle \left\{(x_{1},\dots ,x_{n})\mid f(x_{1},\dots ,x_{n})>c\right\}}

تُعدّ مجموعات المستويات الفرعية مهمة في نظرية التصغير . وبحسب نظرية فايرشتراس ، فإنّ محدودية بعض مجموعات المستويات الفرعية غير الفارغة ، واستمرارية الدالة من الأسفل، يستلزمان أن الدالة تصل إلى قيمتها الصغرى. ويُميّز تحدب جميع مجموعات المستويات الفرعية الدوال شبه المحدبة . [ 2 ]

انظر أيضاً

مراجع

  1. سيميونيسكو، ب.أ. (2011). "بعض التطورات في تصوير الدوال المقيدة والمتباينات لمتغيرين". مجلة علوم الحاسوب والمعلومات في الهندسة . 11 (1) 014502. doi : 10.1115/1.3570770 .
  2. كيوييل، كريستوف سي. (2001). "تقارب وكفاءة طرق التدرج الفرعي للتصغير شبه المحدب". البرمجة الرياضية، السلسلة أ . 90 (1). برلين، هايدلبرغ: سبرينغر: 1-25 . doi : 10.1007 /PL00011414 . ISSN 0025-5610 . MR 1819784. S2CID 10043417 .