الوجه (الهندسة)

وجه (أحمر) مكعب (أسود)

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

في المعالجات الحديثة لهندسة المجسمات متعددة الأوجه والمجسمات متعددة السطوح ذات الأبعاد الأعلى ، يُعرَّف "الوجه" بحيث يمكن أن يكون له أي بُعد. رؤوس المجسم متعدد الأوجه وحوافه ووجوهه (ثنائية الأبعاد) كلها وجوه بهذا المعنى الأكثر عمومية. [ 1 ]

وجه متعدد الأضلاع

في الهندسة الابتدائية، تُعرَّف المجسمات متعددة الأوجه بطرق مختلفة على أنها أشكال تُحدَّد بأنظمة من الرؤوس (النقاط) والحواف (القطع المستقيمة) والوجوه (المضلعات)، والتي يُشترط في كثير من هذه التعريفات، وليس كلها، أن تُشكِّل سطحًا يُحيط بحجم صلب؛ والوجوه هي المضلعات ثنائية الأبعاد في هذه التعريفات. [ أ ] [ 1 ] [ 2 ] ومن الأسماء الأخرى للوجه المضلع: جانب المجسم متعدد الأوجه وبلاطة المستوى الإقليدي .

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

أمثلة منتظمة بواسطة رمز Schläfli
متعدد الأوجهمتعدد السطوح النجميالتبليط الإقليديالتبليط الزائدي4-متعدد الوجوه
{4,3}{5/2,5}{4,4}{4,5}{4,3,3}
يحتوي المكعب على 3 أوجه مربعة لكل رأس .يحتوي المجسم النجمي الصغير ذو الاثني عشر وجهاً على 5 أوجه خماسية لكل رأس.يحتوي التبليط المربع في المستوى الإقليدي على 4 أوجه مربعة لكل رأس.يحتوي التبليط المربع من الرتبة 5 على 5 أوجه مربعة لكل رأس.يحتوي المكعب الفائق على 3 أوجه مربعة لكل حافة.

عدد الأوجه المضلعة لمتعدد السطوح

أي سطح متعدد السطوح محدب له خاصية أويلر

V-هـ+F=2،{\displaystyle V-E+F=2,}

حيث V هو عدد الرؤوس ، وE هو عدد الحواف ، و F هو عدد الأوجه. تُعرف هذه المعادلة بصيغة أويلر للمجسمات . وبالتالي، فإن عدد الأوجه يزيد بمقدار 2 عن مجموع عدد الحواف مقسومًا على عدد الرؤوس. على سبيل المثال، يحتوي المكعب على 12 حافة و8 رؤوس، وبالتالي 6 أوجه.

الوجه k

في الهندسة متعددة الأبعاد، تُعدّ أوجه متعدد السطوح سماتٍ ذات أبعادٍ متعددة. [ 3 ] [ 4 ] يُطلق على الوجه ذي البُعد k أحيانًا اسم الوجه k- . على سبيل المثال، تُعدّ الأوجه المضلعة لمتعدد السطوح العادي أوجهًا ثنائية الأبعاد. يختلف تعريف كلمة "وجه" باختلاف فروع الرياضيات. فعلى سبيل المثال، يسمح العديد من المؤلفين، وليس جميعهم، بأن يكون متعدد السطوح نفسه والمجموعة الفارغة وجهين لمتعدد السطوح، حيث تُعطى المجموعة الفارغة، من أجل الاتساق، "بُعدًا" يساوي -1. بالنسبة لأي متعدد سطوح ذي بُعد n ، فإن للأوجه بُعدًاك{\displaystyle k}مع-1كن{\displaystyle -1\leq k\leq n}.

على سبيل المثال، بهذا المعنى، تتكون أوجه المكعب من المكعب نفسه (وجه ثلاثي)، ووجوهه المربعة (وجهان)، وحوافه المستقيمة (وجه واحد)، ورؤوسه النقطية (صفر)، والمجموعة الفارغة.

في بعض فروع الرياضيات، مثل التوافقية متعددة الأوجه ، يكون متعدد الأوجه محدبًا بحكم التعريف . وفي هذا السياق، يوجد تعريف دقيق: وجه متعدد الأوجه P في الفضاء الإقليدي.Rن{\displaystyle \mathbf {R} ^{n}}هو تقاطع P مع أي نصف فضاء مغلق تكون حدوده منفصلة عن الجزء الداخلي النسبي لـ P. [ 5 ] وفقًا لهذا التعريف، تشمل مجموعة أوجه متعدد السطوح متعدد السطوح نفسه والمجموعة الفارغة. [ 3 ] [ 4 ] بالنسبة لمتعددات السطوح المحدبة، يكافئ هذا التعريف التعريف العام لوجه مجموعة محدبة، الموضح أدناه .

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

المجسم البسيط ذو البعد n (قطعة مستقيمة ( n = 1 )، مثلث ( n = 2 )، رباعي الأوجه ( n = 3 )، إلخ)، المحدد بـ n + 1 رأسًا، له وجه لكل مجموعة جزئية من الرؤوس، بدءًا من المجموعة الفارغة وصولًا إلى مجموعة جميع الرؤوس. وبالتحديد، يوجد 2n + 1 وجهًا إجمالًا. عدد الوجوه ذات البعد k ، حيث k ∈ {−1, 0, ..., n } ، هو معامل ذات الحدين .(ن+1ك+1){\displaystyle {\binom {n+1}{k+1}}}.

توجد أسماء محددة للوجوه ذات البعد k اعتمادًا على قيمة k ، وفي بعض الحالات، مدى قرب k من البعد n للمضلع.

رأس أو وجه صفري

Vertex هو الاسم الشائع للوجه الصفري.

حافة أو وجه واحد

الحافة هي الاسم الشائع للوجه الواحد.

وجه أو وجهان

إن استخدام كلمة "face" في سياق يكون فيه k محددًا مخصصًا لـ k -face ولكن لم يتم تحديده بشكل صريح هو عادة 2-face.

خلية أو 3 أوجه

الخلية هي عنصر متعدد الأوجه ( ثلاثي الأوجه ) لمتعدد السطوح رباعي الأبعاد أو تبليط ثلاثي الأبعاد، أو أعلى من ذلك. الخلايا هي أوجه لمتعددات السطوح رباعية الأبعاد وخلايا النحل ثلاثية الأبعاد.

أمثلة:

أمثلة منتظمة بواسطة رمز Schläfli
4-متعددات الوجوه3- خلايا النحل
{4,3,3}{5,3,3}{4,3,4}{5,3,4}
يحتوي المكعب الفائق على 3 خلايا مكعبة (3 أوجه) لكل حافة.تحتوي الخلية المكونة من 120 خلية على 3 خلايا اثني عشرية الأوجه (3 وجوه) لكل حافة.يملأ قرص العسل المكعب الفضاء الإقليدي ثلاثي الأبعاد بالمكعبات، مع 4 خلايا (3 أوجه) لكل حافة.يملأ قرص العسل ذو الشكل الاثني عشري من الرتبة الرابعة الفضاء الزائدي ثلاثي الأبعاد بأشكال اثني عشرية، 4 خلايا (3 وجوه) لكل حافة.

وجه أو وجه ( ن - 1)

في الهندسة متعددة الأبعاد، تُعرف أوجه متعدد السطوح ذي البعد n بأنها الأوجه ذات البعد ( n -1 ) (أي الأوجه ذات البعد الأقل بواحد من متعدد السطوح نفسه). [ 6 ] ويُحدد متعدد السطوح بأوجهه.

على سبيل المثال:

الحافة أو الوجه ( ن - 2)

في المصطلحات ذات الصلة، تُسمى الأوجه ( ن - ٢ ) لمتعدد السطوح ذي الـ ن نقطة حواف (وتُسمى أيضًا أوجهًا فرعية ). [ ٧ ] يُنظر إلى الحافة على أنها الحد الفاصل بين وجهين فقط من متعدد السطوح أو قرص العسل.

على سبيل المثال:

قمة أو وجه ( ن - 3)

تُسمى الأوجه (n − 3) لمتعدد السطوح ذي n نقطة قممًا . تحتوي القمة على محور دوران للأوجه والنتوءات في متعدد السطوح المنتظم أو قرص العسل.

على سبيل المثال:

وجه مجموعة محدبة

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

يمكن تعميم مفهوم الوجه من متعددات الوجوه المحدبة إلى جميع المجموعات المحدبة ، كما يلي.ج{\displaystyle C}لتكن مجموعة محدبة في فضاء متجهي حقيقيV{\displaystyle V}وجه منج{\displaystyle C}هي مجموعة جزئية محدبةFج{\displaystyle F\subseteq C}بحيث كلما كانت النقطةصF{\displaystyle p\in F}يقع تمامًا بين نقطتينx{\displaystyle x}وy{\displaystyle y}فيج{\displaystyle C}، كلاهماx{\displaystyle x}وy{\displaystyle y}يجب أن يكون فيF{\displaystyle F}وبالمثل، بالنسبة لأيx،yج{\displaystyle x,y\in C}وأي عدد حقيقي0<θ<1{\displaystyle 0<\theta <1}بحيثθx+(1-θ)y{\displaystyle \theta x+(1-\theta )y}هو فيF{\displaystyle F}،x{\displaystyle x}وy{\displaystyle y}يجب أن يكون فيF{\displaystyle F}[ 8 ]

وفقًا لهذا التعريف،ج{\displaystyle C}نفسها والمجموعة الفارغة هما وجهان لـج{\displaystyle C}وتسمى هذه أحيانًا بالوجوه التافهة لـج{\displaystyle C}.

An extreme point of C{\displaystyle C} is a point pC{\displaystyle p\in C} such that {p}{\displaystyle \{p\}} is a face of C{\displaystyle C}.[8] That is, if p{\displaystyle p} lies between two points x,yC{\displaystyle x,y\in C}, then x=y=p{\displaystyle x=y=p}.

For example:

  • A triangle in the plane (including the region inside) is a convex set. Its nontrivial faces are the three vertices and the three edges. (So the only extreme points are the three vertices.)
  • The only nontrivial faces of the closed unit disk{(x,y)R2:x2+y21}{\displaystyle \{(x,y)\in \mathbb {R} ^{2}:x^{2}+y^{2}\leq 1\}} are its extreme points, namely the points on the unit circleS1={(x,y)R2:x2+y2=1}{\displaystyle S^{1}=\{(x,y)\in \mathbb {R} ^{2}:x^{2}+y^{2}=1\}}.

Let C{\displaystyle C} be a convex set in Rn{\displaystyle \mathbb {R} ^{n}} that is compact (or equivalently, closed and bounded). Then C{\displaystyle C} is the convex hull of its extreme points.[9] More generally, each compact convex set in a locally convex topological vector space is the closed convex hull of its extreme points (the Krein–Milman theorem).

An exposed face of C{\displaystyle C} is the subset of points of C{\displaystyle C} where a linear functional achieves its minimum on C{\displaystyle C}. Thus, if f{\displaystyle f} is a linear functional on V{\displaystyle V} and α=inf{f(c) :cC}>{\displaystyle \alpha =\inf\{f(c)\ \colon c\in C\}>-\infty }, then {cC :f(c)=α}{\displaystyle \{c\in C\ \colon f(c)=\alpha \}} is an exposed face of C{\displaystyle C}.

An exposed point of C{\displaystyle C} is a point pC{\displaystyle p\in C} such that {p}{\displaystyle \{p\}} is an exposed face of C{\displaystyle C}. That is, f(p)>f(c){\displaystyle f(p)>f(c)} for all cC{p}{\displaystyle c\in C\setminus \{p\}}. See the figure for examples of extreme points that are not exposed.

Competing definitions

Some authors do not include C{\displaystyle C} and/or {\displaystyle \varnothing } as faces of C{\displaystyle C}. Some authors require a face to be a closed subset; this is automatic for C{\displaystyle C} a compact convex set in a vector space of finite dimension, but not in infinite dimensions.[10] In infinite dimensions, the functional f{\displaystyle f} is usually assumed to be continuous in a given vector topology.

Properties

An exposed face of a convex set is a face. In particular, it is a convex subset.

If F{\displaystyle F} is a face of a convex set C{\displaystyle C}, then a subset EF{\displaystyle E\subseteq F} is a face of F{\displaystyle F} if and only if E{\displaystyle E} is a face of C{\displaystyle C}.

See also

Notes

  1. Some other polygons, which are not faces, have also been considered for polyhedra and tilings. These include Petrie polygons, vertex figures and facets (flat polygons formed by coplanar vertices that do not lie in the same face of the polyhedron).

References

  1. 12Matoušek 2002, p. 86.
  2. Cromwell, Peter R. (1999), Polyhedra, Cambridge University Press, p. 13, ISBN 9780521664059.
  3. 12Grünbaum 2003, p. 17.
  4. 12Ziegler 1995, p. 51.
  5. يستخدم ماتوشيك (2002) وزيغلر (1995) تعريفًا مختلفًا قليلاً ولكنه مكافئ، وهو ما يعادل تقاطع P إما مع مستوى فائق منفصل عن داخل P أو الفضاء بأكمله.
  6. ^ ماتوسيك (2002) ، ص. 87؛ جرونباوم (2003) ، ص. 27؛ زيغلر (1995) ، ص. 17.
  7. ^ ماتوسيك (2002) ، ص. 87؛ زيغلر (1995) ، ص. 71.
  8. 1 2 روكافيلر 1997 ، ص 162.
  9. روكافيلر 1997 ، ص 166.
  10. سيمون، باري (2011). التحدب: وجهة نظر تحليلية . كامبريدج: مطبعة جامعة كامبريدج. ص 123. ISBN  978-1-107-00731-4MR 2814377 . 

فهرس