المنطقة المحددة

في الرياضيات، تُعرف المساحة الموجهة أو المساحة الموجهة لمنطقة في مستوى أفيني بأنها مساحتها مع تحديد اتجاهها بواسطة الإشارة الموجبة أو السالبة ، أي "زائد" ( +{\displaystyle +}) أو "ناقص" (-{\displaystyle -}) . وبشكل أعم، فإن المساحة الموقعة لمنطقة سطحية عشوائية هي مساحتها السطحية ذات الاتجاه المحدد. وعندما يكون حد المنطقة منحنى بسيطًا ، فإن المساحة الموقعة تشير أيضًا إلى اتجاه الحد.

المساحة المستوية

المضلعات

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

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

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

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

الأشكال المنحنية

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

التكاملات

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

يمكن تخيل تكامل دالة حقيقية على أنه المساحة الموقعة بينx{\displaystyle x}المحور السيني والمنحنىy=و(x){\displaystyle y=f(x)}على مدى فترة زمنية[أ،ب]{\displaystyle [a,b]}المنطقة الواقعة فوقx{\displaystyle x}يمكن تحديد المحور السيني على أنه موجب ( +{\displaystyle +}) والمنطقة الواقعة أسفلx{\displaystyle x}يمكن تحديد المحور السالب على أنه سالب ( -{\displaystyle -}) . [ 5 ]

تظهر المساحة السالبة في دراسة اللوغاريتم الطبيعي كمساحة مُوَجَّهة أسفل المنحنىy=1/x{\displaystyle y=1/x}لـ0<x<1{\displaystyle 0<x<1}، أي: [ 6 ]lnx=1xدتت=-x1دتت<0.{\displaystyle \ln x=\int _{1}^{x}{\frac {dt}{t}}=-\int _{x}^{1}{\frac {dt}{t}}<0.}

في الهندسة التفاضلية ، ترتبط إشارة مساحة منطقة من سطح ما باتجاه ذلك السطح. [ 7 ] مساحة مجموعةأ{\displaystyle A}في الهندسة التفاضلية ، يتم الحصول على ذلك كتكامل للكثافة : μ(أ)=أدxدy،{\displaystyle \mu (A)=\int _{A}dx\wedge dy,} أيندx{\displaystyle dx}ودy{\displaystyle dy}هي أشكال تفاضلية من الدرجة الأولى تُشكّل الكثافة. وبما أن الضرب الخارجي له خاصية مضادة للتبديل ،دyدx=-دxدy{\displaystyle dy\wedge dx=-dx\wedge dy}ترتبط الكثافة بتوجيه مستوٍ، وهو أمر موجود محليًا في فضاء متعدد الشعب، ولكن ليس بالضرورة عالميًا. في حالة اللوغاريتم الطبيعي، الذي يتم الحصول عليه بتكامل المساحة تحت القطع الزائد .xy=1{\displaystyle xy=1}الكثافةدxدy{\displaystyle dx\wedge dy}موجب لـx>1{\displaystyle x>1}، ولكن بما أن التكامل 1xدتت{\displaystyle \int _{1}^{x}{\frac {dt}{t}}} مثبتة على1{\displaystyle 1}، اتجاهx{\displaystyle x}ينعكس محور السينات في الفترة 1. في هذا التكامل، (-دx{\displaystyle -dx}ينتج عن هذا التوجيه كثافة معاكسة لتلك المستخدمة فيx>1{\displaystyle x>1} . مع هذه الكثافة المعاكسة، تُعتبر المساحة الواقعة أسفل القطع الزائد وفوق الفترة 1 مساحة سالبة، وبالتالي يكون اللوغاريتم الطبيعي سالبًا في هذا المجال.

المحددات

ربط فيليكس كلاين المساحات الموقعة بالمحددات في عام 1908. [ 8 ] عندما يتم تحديد مثلث بثلاث نقاط، فإن مساحته هي: 12|x1y11x2y21x3y31|.{\displaystyle {\frac {1}{2}}{\begin{vmatrix}x_{1}&y_{1}&1\\x_{2}&y_{2}&1\\x_{3}&y_{3}&1\end{vmatrix}}.} على سبيل المثال، عندما(x3، y3)=(0،0)،{\displaystyle (x_{3},\ y_{3})=(0,0),}ثم تُعطى المساحة بالصيغة التاليةx1y2-x2y12.{\frac {x_{1}y_{2}-x_{2}y_{1}}{2}}.

للنظر في منطقة قطاعية محددة بمنحنى ، يتم تقريبها بمثلثات رفيعة يكون أحد أضلاعها مكافئًا لـ(دx،دy){\displaystyle (dx,dy)}والتي لها مساحة 12|001xy1x+دxy+دy1|=12(x دy-y دx).{\displaystyle {\frac {1}{2}}{\begin{vmatrix}0&0&1\\x&y&1\\x+dx&y+dy&1\end{vmatrix}}={\frac {1}{2}}(x\ dy-y\ dx).} ثم تُعطى " مساحة القطاع المحصور بين المنحنى ومتجهي نصف القطر" بالصيغة التالية: 1212(x دy-y دx).{\displaystyle {\frac {1}{2}}\int _{1}^{2}(x\ dy-y\ dx).} على سبيل المثال، يُعطى الاتجاه العكسي للقطع الزائد الواحدي بواسطةx=ضرب بالعصات، y=-سينهت.{\displaystyle x=\cosh t,~y=-\sinh t.}ثم x دy-y دx=-ضرب بالعصا2ت دت+سينه2ت دت=-دت،{\displaystyle x\ dy-y\ dx=-\cosh ^{2}t\ dt+\sinh ^{2}t\ dt=-dt,}إذن ، مساحة القطاع الزائدي بين0{\displaystyle 0}وθ{\displaystyle \theta }هو-120θدت=-ت2|0θ=-θ2،{\displaystyle {\frac {-1}{2}}\int _{0}^{\theta }dt=\left.{\frac {-t}{2}}\right|_{0}^{\theta }=-{\frac {\theta }{2}},} إعطاء زاوية زائدية سالبة كمساحة قطاع سالبة.

تكافؤ بوستنيكوف

يستند كتاب ميخائيل بوستنيكوف المدرسي " محاضرات في الهندسة" الصادر عام 1979 إلى تحويلات هندسية معينة - موصوفة بأنها دوال لأزواج الإحداثيات.(x،y){\displaystyle (x,y)}– للتعبير عن "عناصر المساحة العائمة بحرية". [ 9 ] يكون تحويل القص أحد ما يلي: (x،y)(x، y+كx)،(x،y)(x+كy، y){\displaystyle {\begin{aligned}(x,y)&\to (x,\ y+kx),\\(x,y)&\to (x+ky,\ y)\end{aligned}}} لأي عدد حقيقيك{\displaystyle k}، بينمايكون رسم الخرائط المضغوطة(x،y)(λx، y/λ){\displaystyle (x,y)\to (\lambda x,\ y/\lambda )} لأي عدد حقيقي موجبλ{\displaystyle \lambda }يرتبط عنصر المساحة بـ ({\displaystyle \thicksim }) إلى عنصر آخر إذا نتج عن أحد التحويلات العنصر الثاني عند تطبيقه على الأول. وكعلاقة تكافؤ ، تُقسّم عناصر المساحة إلى فئات تكافؤ من العناصر ذات الصلة، وهي متجهات بوستنيكوف ثنائية الاتجاه .

الفرضية: إذا(أ1،ب1)=(كأ+ب، ك1أ+ 1ب){\displaystyle (a_{1},b_{1})=(ka+\ell b,\ k_{1}a+\ \ell _{1}b)}و

دلتا=ك1-ك10،{\displaystyle \delta =k\ell _{1}-\ell k_{1}\neq 0,}ثم(أ،ب)(أ1، (1دلتا)ب1).{\displaystyle (a,b)\thicksim (a_{1},\ ({\frac {1}{\delta }})b_{1}).}
دليل:(أ، ب)(أ+كب، ب){\displaystyle (a,\ b)\thicksim (a+{\frac {\ell }{k}}b,\ b)}رسم خرائط القص
(كأ+ب، 1كب){\displaystyle \thicksim (ka+\ell b,\ {\tfrac {1}{k}}b)}رسم الخرائط بالضغط
(كأ+ب، 1كب+ك1كدلتا(كأ+ب)){\displaystyle \thicksim (ka+\ell b,\ {\tfrac {1}{k}}b+{\frac {k_{1}}{k\delta }}(ka+\ell b))}رسم خرائط القص
=(كأ+ب، ك1كدلتا(كأ+(دلتاك1+)ب){\displaystyle =(ka+\ell b,\ {\frac {k_{1}}{k\delta }}(ka+({\frac {\delta }{k_{1}}}+\ell )b)}
=(كأ+ب، 1دلتا(ك1أ+1ب))  منذ  +دلتاك1=كك11{\displaystyle =(ka+\ell b,\ {\frac {1}{\delta }}(k_{1}a+\ell _{1}b))\ \ {\text{since}}\ \ \ell +{\frac {\delta }{k_{1}}}={\frac {k}{k_{1}}}\ell _{1}}
=(أ1، 1دلتاب1).{\displaystyle =(a_{1},\ {\frac {1}{\delta }}b_{1}).}

انظر أيضاً

مراجع

  1. هويروب، ينس (2005). "Tertium Non Datur: حول أساليب الاستدلال في الرياضيات المبكرة". في مانكوسو، ب.؛ يورغنسن، ك. ف.؛ بيدرسن، س. أ. (محررون). التصور والتفسير وأساليب الاستدلال في الرياضيات . مكتبة سينثيز. المجلد  327. سبرينغر. الصفحات 91-121 . doi : 10.1007/1-4020-3335-4_6 . ISBN  978-1-4020-3334-6.
  2. هيث، توماس ل. (1956). الكتب الثلاثة عشر لأصول إقليدس . المجلد الأول (الطبعة الثانية ). نيويورك: منشورات دوفر . ص 155.   
  3. هيث (1956) ، ص 241 369.
  4. تشين، إيفان (2021). الهندسة الإقليدية في أولمبياد الرياضيات . الجمعية الرياضية الأمريكية . ص 76. ISBN  978-1-61444-411-4. إل سي سي إن 2016933605 . 
  5. كومينتز، مايكل (2002). حساب التفاضل والتكامل: العناصر . وورلد ساينتيفيك . ص 95. ISBN  9810249047.
  6. ستيوارت، جيمس (1991). حساب التفاضل والتكامل لمتغير واحد ( الطبعة الثانية). بروكس/كول . ص 358. ISBN   0-534-16414-5.
  7. كريزيج، إروين ( 1959). الهندسة التفاضلية . مطبعة جامعة تورنتو . ص 114-115 . ISBN  978-1487592462.{{cite book}}عدم توافق رقم ISBN / التاريخ ( مساعدة )
  8. فيليكس كلاين ، ترجمة إي آر هندريك وسي إيه نوبل (1939)[1908] الرياضيات الابتدائية من منظور متقدم - الهندسة ، الطبعة الثالثة، الصفحات 3، 10، 173، 4
  9. بوستنيكوف، ميخائيل (1982) [1979]. "المحاضرة 7: المتجهات الثنائية" . محاضرات في الهندسة: الفصل الدراسي الأول - الهندسة التحليلية . ترجمة: شوكوروف، فلاديمير. موسكو: مير.