خاصية التمام للأعداد الحقيقية
خاصية التمام للأعداد الحقيقية ح (The completen property of R ) خاصية التمام أو ( The supremum) (أصغر حد علوي ) خاصية ضرورية لـ ح وسنقول أن ح عبارة عن نظام حقل كامل. هذه الخاصية المميزة تسمح لنا بتعريف وتوضيح مختلف العمليات على النهايات.

هناك عدة طرق مختلفة لوصف خاصية التمام، من خلال افتراض أن كل مجموعة غير خالية ومحدودة وجزئية من ح تمتلك حد علوي أصغر (Supremum) .

مفاهيم الحد العلوي والحد السفلي لمجموعة من الأعداد الحقيقية.

تعريف أول
لتكن س مجموعة غير خالية جزئية من ح .               
يُقال عن المجموعة س أنها محدودة من أعلى إذا وُجد عدد ع∈ح بحيث أن ش≤ع لكل ش∈س . وأي عدد ع على هذا النحو يسمى حد علوي لـ س.
 يُقال عن المجموعة س أنها محدودة من أسفل إذا وُجد عدد ف∈ح بحيث أن ف≤ش لكل ش∈س.وأي عدد ف على هذا النحو يسمى حد سفلي لـ س.
 يُقال عن المجموعة أنها محدودة إذا كانت محدودة من أعلى ومحدودة من أسفل. 
 يُقال عن المجموعة أنها غير محدودة إذا لم يكن لها حدود.

مثال

المجموعة S:={ x∈R : x<2 } محدودة من أعلى ; العدد 2 وأي عدد أكبر من 2 يعتبر حد علوي لـ S . هذه المجموعة ليس لها حد سفلي، لذلك هذه المجموعة ليست محدودة من أسفل. وبالتالي فهي غير محدودة ( على الرغم من أنها محدودة من أعلى ).

إذا كانت المجموعة تمتلك حد علوي واحد، إذا هي تمتلك عدد لا نهائي من الحدود العلوية، لأنه إذا كان u حد علوي لـ S فإن الأعداد u+1,u+2,… هي أيضا حدود علوية لـ S ( نفس الملاحظة تنطبق على الحدود السفلية ) .

في مجموعة الحدود العلوية لـ S ومجموعة الحدود السفلية لـ S سننتقي العنصر الأصغر والأكبر على التوالي. لنعاملهما معاملة خاصة في التعريف التالي.

تعريف ثان

لتكن س مجموعة غير خالية جزئية من مجموعة الاعداد الحقيقية ح.

إذا كانت س محدودة من أعلى فإنه يقال عن العدد ع أنه أصغر حد علوي لـ س إذا حقق هذه الشروط:
 حد علوي لـ س , وَ:#إذا كان ف أي حد علوي لـ س فإن ف≥ع.
 إذا كانت S محدودة من أسفل فإنه يُقال عن العدد w أنه أكبر حد سفلي (infimum) لـ S إذا حقق هذه الشروط: 
 w حد سفلي لـ S , وَ:# إذا كان t أي حد سفلي لـ S فإن w≥ t.
ليس من الصعب أن نرى أنه يمكن أن يكون للمجموعة الجزئية S من R حد علوي واحد فقط.(ثم يمكننا الرجوع إلى الحد العلوي الأصغر للمجموعة S بدلا من الحد العلوي الأصغر) .لنفترض أن u1 و u2 يعتبر كل منهما أصغر حد علوي لـ S . إذا كان u2 < u1 فإن الفرضية تعني أن u2أصغر حد علوي وهذا يعني أن u1 لا يمكن أن يكون حداً علوياً للمجموعة S ، بالمثل نرى أن u2 < u1 غير ممكن، بالتالي يجب أن يكون u1=u2 بطريقة مماثلة يمكن اظهار أن أكبر حد سفلي للمجموعة وحيد.                           إذا كان أصغر حد علوي وأكبر حد سفلي للمجموعة موجودين فإننا نرمز لهما بالآتي:
Sup S & inf S 
نلاحظ أيضاً أنه إذا كان u' أي حد علوي اختياري للمجموعة الغير خالية S فإن u≥ S sup .وهذا لأن sup S هو الأصغر من الحدود العلوية للمجموعة S .                                            أولاً: لابد من التأكيد على أنه حتى يكون للمجموعة الغير خالية S والجزئية من R أصغر حد علوي يجب أن تمتلك حد علوي.وبالتالي ليس كل مجموعة جزئية من R تمتلك أصغر حد علوي.بالمثل ليس كل مجموعة جزئية من R تمتلك أكبر حد سفلي. في الواقع هناك أربعة احتمالات للمجموعة الغير خالية S والجزئية من R , وهي:     
 أن تمتلك أصغر حد علوي وأكبر حد سفلي.                                                                                                                                   # أن تمتلك أصغر حد علوي ولا تمتلك أكبر حد سفلي.                                                                                                                                             # أن تمتلك أكبر حد سفلي ولا تمتلك أصغر حد علوي.                                                                                                                                # أن لاتمتلك أصغر حد علوي ولا أكبر حد سفلي.

نود أيضا أن نؤكد أنه من أجل إظهار أن  u=supS بالنسبة للمجموعة الغير خالية S والجزئية من R نحتاج لإظهار أن كلا من فقرة (1) و (2) للتعريف2 متحققة. وسيكون من المفيد إعادة صياغة هذه العبارات.                     التعريف لـ u=sups يؤكد أن u حد علوي لـ S بحيث أن u≤v لأي حد علوي v لـ S . من المفيد أن يكون لدينا طرق بديلة للتعبير عن فكرة أن u هو ( الأقل ) من الحدود العلوية لـ S . إحدى الطرق هي ملاحظة أن أي عدد أقل من u ليس حدا علويا لـ S . وهذا يعني وجود عنصر sz  في S بحيث أنz < sz  , بالمثل إذا كان ε>0  فإن u-ε أصغر من u وبالتالي يفشل في أن يكون حدا علويا لـ S .                                                                                                    العبارات التالية حول الحد العلوي u لمجموعة S متكافئة:                                                                                                                                                      # إذا كان v أي حد علوي فإن u < v .                                                                                                                                                                      # إذا كان z < u فإن z ليس حدا علويا لـ S .                                                                                                                                                                     # إذا كان z < u فإنه يوجد sz ∈ S بحيث أن z < sz  .                                                                                                                                                                    # إذا كان >0 ε>0 فإنه يوجد s_εبحيث أن u-ε< s_ε  .                                                                                      وبالتالي يمكننا أن نذكر صياغتين بديلتين لأصغر حد علوي.

فرضية 1 
العدد u يعتبر أصغر حد علوي للمجموعة S الغير خالية والجزئية من R إذا وفقط إذا كان u يحقق الشروط:
 s ≤ u لكل s ∈ S.
 إذا كان v < u فإنه يوجد s∈S بحيث أن v < s.

فرضية 2 
الحد العلويu  للمجموعة الغير الخالية S  في R ، يعتبر أصغر حد علوي إذا وفقط إذا كان لكل ε >0  يوجدS  ∈ s_ε بحيث أن u-ε< s_ε
الإثبات: إذا كان u حد علوي لـ S  فهذا يحقق الشرط المذكور، وإذا كان v < u  فإننا نضع ε=u-v ، وبما أن  ε >0  إذا يوجد عدد S ∈ s_ε بحيث أن < s_ε ε=u-v ، لذلك v ليس حدا علويا لـ S  و نستنتج أن.u = sup S
على العكس، نفرض أن u= sups  و لتكن ε>0 . بما أن u-ε < u   إذا u-ε  ليس حدا علويا لـ S  ، لذلك أحد العناصر s_ε  لـ S  يجب أن يكون أكبر من u-ε  ، هذا يعني أن u-ε< s_ε   .
من المهم أن ندرك أن أصغر حد علوي لمجموعة، قد يكون أو لا يكون عنصر لهذه المجموعة. ففي بعض الأحيان يكون عنصر للمجموعة وفي بعض الأحيان لا يكون، وهذا يعتمد على المجموعة المعينة. نستعرض الآن بعض الأمثلة:

مثال:

 إذا كانت المجموعة الغير الخالية S1  تمتلك عدد نهائي من العناصر، فإنه يمكننا إظهار أن S1 تمتلك عنصر أكبر u وعنصرأصغر w.إذا u=supS1  وinfS1  w= ، و كلاهما ينتميان إلى S1  (وهذا يتضح إذا كانت S1 تمتلك عنصر واحد فقط ونستطيع إثباتها بواسطة طريقة الإستقراء الرياضي على عدد العناصر في S1 ).
 المجموعة S2:=  {x:0≤x≤1 } ،من الواضح أنها تمتلك1  كحد علوي. سنثبت أن1  أصغر حد علوي كما يلي:إذا كان v<1 فإنه يوجد عنصرS2  s'∈ بحيث أن v< s' (s' رمز لأحد العناصر ) لذلك v ليس حدا علويا لـ S2 . وبما أن v عدد اختياري v<1 فإننا نستنتج أن، supS2= 1 وبالمثل نظهرأن infS2= 0 . لاحظ أن كلا من أصغر حد علوي وأكبر حد سفلي لـ S2 محتويان في S2 .
 المجموعة S3:= {x:0<x<1} . من الواضح أنها تمتلك 1 كحد علوي. باستخدام نفس المناقشة المعطاة في (b) نرى أنSupS3=1  . في هذه الحالة المجموعة S3  لا تحتوي أصغر حد علوي.بالمثل sup S3= 0غيرمحتوى في S3  .

خاصية التمام لـ R 

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

كل مجموعة غير خالية من الأعداد الحقيقية تمتلك حد علوي هي أيضا تمتلك أصغر حد علوي في R .
هذه الخاصية تدعى أيضا خاصية أصغر حد علوي لـR  . و مثل هذه الخاصية  خاصية أكبر حد سفلي يمكن استخلاصها من خاصية التمام على النحو التالي:
لنفرض أنS  مجموعة غير خالية وجزئية منR وهي محدودة من أسفل، فإن المجموعة الغير خالية Ṥ:={-s:s∈S}  محدودة من أعلى وخاصية أصغر حد علوي تعمي أن u=supṤ موجودة في R.
القارئ ينبغي عليه أن يتحقق بالتفصيل أن –u  أكبر حد سفلي لـṤ .

مراجع 

أعداد حقيقية
خاصية التمام للأعداد الحقيقية ح ( The completen property of R ) خاصية التمام أو ( The supremum ) ( أصغر حد علوي ) خاصية ضرورية لـ ح وسنقول أن ح عبارة عن نظام حقل كامل . هذه الخاصية المميزة تسمح ل نا ب تعريف وتوضيح مختلف العمليات على النهايات . هناك عدة طرق مختلفة لوصف خاصية التمام ، من خلال افتراض أن كل مجموعة غير خالية ومحدودة وجزئية من ح تمتلك حد علوي أصغر ( Supremum ) \ . مفاهيم الحد العلوي و الحد السفلي ل مجموعة من الأعداد الحقيقية . تعريف أول لتكن س مجموعة غير خالية جزئية من ح\ . يُقال عن المجموعة س أن ها محدودة من أعلى إذا وُجد عدد ع ∈ ح ب حيث أن ش ≤ ع ل كل ش ∈ س \ . وأي عدد ع على هذا النحو يسمى حد علوي لـ س . يُقال عن المجموعة س أن ها محدودة من أسفل إذا وُجد عدد ف ∈ ح ب حيث أن ف ≤ ش ل كل ش ∈ س . وأي عدد ف على هذا النحو يسمى حد سفلي لـ س . يُقال عن المجموعة أن ها محدودة إذا كانت محدودة من أعلى ومحدودة من أسفل . يُقال عن المجموعة أن ها غير محدودة إذا لم يكن ل ها حدود . مثال المجموعة S : = { x ∈ R\ : x<2 } محدودة من أعلى ; العددوأي عدد أكبر من يعتبر حد علوي لـ S\ . هذه المجموعة ليس ل ها حد سفلي ، ل ذٰلك هذه المجموعة ليست محدودة من أسفل . و ب التالي ف هي غير محدودة ( على الرغم من أن ها محدودة من أعلى ) . إذا كانت المجموعة تمتلك حد علوي واحد ، إذا هي تمتلك عدد لا نهائي من الحدود العلوية ، لأن ه إذا كان u حد علوي لـ S ف إن الأعداد u + 1,u + 2 , … هي أيضا حدود علوية لـ S ( نفس الملاحظة تنطبق على الحدود السفلية ) \ . في مجموعة الحدود العلوية لـ S و مجموعة الحدود السفلية لـ S سننتقي العنصر الأصغر والأكبر على التوالي . لنعامل هما معاملة خاصة في التعريف التالي . تعريف ثان لتكن س مجموعة غير خالية جزئية من مجموعة الاعداد الحقيقية ح . إذا كانت س محدودة من أعلى ف إن ه يقال عن العدد ع أن ه أصغر حد علوي لـ س إذا حقق هذه الشروط : حد علوي لـ س , وَ : # إذا كان ف أي حد علوي لـ س ف إن ف ≥ ع . إذا كانت S محدودة من أسفل ف إن ه يُقال عن العدد w أن ه أكبر حد سفلي ( infimum ) لـ S إذا حقق هذه الشروط : w حد سفلي لـ S , وَ : # إذا كان t أي حد سفلي لـ S ف إن w ≥ t . ليس من الصعب أن نرى أن ه يمكن أن يكون للمجموعة الجزئية S من R حد علوي واحد فقط . ( ثم يمكن نا الرجوع إلى الحد العلوي الأصغر للمجموعة S بدلا من الحد العلوي الأصغر ) \ . لنفترض أن u1 و u2 يعتبر كل من هما أصغر حد علوي لـ S\ . إذا كان u2 < u1 ف إن الفرضية تعني أن u 2أصغر حد علوي و هٰذا يعني أن u1 لا يمكن أن يكون حداً علوياً للمجموعة S ، ب المثل نرى أن u2 < u1 غير ممكن ، ب التالي يجب أن يكون u1 = u2 ب طريقة مماثلة يمكن اظهار أن أكبر حد سفلي للمجموعة وحيد . إذا كان أصغر حد علوي و أكبر حد سفلي للمجموعة موجودين فإن نا نرمز ل هما ب الآتي : Sup S & inf S نلاحظ أيضاً أن ه إذا كان u ' أي حد علوي اختياري للمجموعة الغير خالية S ف إن u ≥ S sup\ . و هٰذا لأن sup S هو الأصغر من الحدود العلوية للمجموعة S\ . أولاً : لا بد من التأكيد على أن ه حتى يكون للمجموعة الغير خالية S والجزئية من R أصغر حد علوي يجب أن تمتلك حد علوي . و ب التالي ليس كل مجموعة جزئية من R تمتلك أصغر حد علوي . ب المثل ليس كل مجموعة جزئية من R تمتلك أكبر حد سفلي . في الواقع هناك أربعة احتمالات للمجموعة الغير خالية S والجزئية من R , و هي : أن تمتلك أصغر حد علوي و أكبر حد سفلي . # أن تمتلك أصغر حد علوي و لا تمتلك أكبر حد سفلي . # أن تمتلك أكبر حد سفلي و لا تمتلك أصغر حد علوي . # أن لا تمتلك أصغر حد علوي و لا أكبر حد سفلي . نود أيضا أن نؤكد أن ه من أجل إظهار أن u = supS ب النسبة للمجموعة الغير خالية S والجزئية من R نحتاج لإظهار أن كلا من فقرةوللتعريف 2 متحققة . و س يكون من المفيد إعادة صياغة هذه العبارات . التعريف لـ u = sups يؤكد أن u حد علوي لـ S ب حيث أن u ≤ v ل أي حد علوي v لـ S\ . من المفيد أن يكون لدي نا طرق بديلة ل التعبير عن فكرة أن u هو ( الأقل ) من الحدود العلوية لـ S\ . إحدى الطرق هي ملاحظة أن أي عدد أقل من u ليس حدا علويا لـ S\ . و هٰذا يعني وجود عنصر sz في S ب حيث أنz < sz , ب المثل إذا كان ε > 0 ف إن u - ε أصغر من u و ب التالي يفشل في أن يكون حدا علويا لـ S\ . العبارات التالية حول الحد العلوي u ل مجموعة S متكافئة : # إذا كان v أي حد علوي ف إن u < v\ . # إذا كان z < u ف إن z ليس حدا علويا لـ S\ . # إذا كان z < u ف إن ه يوجد sz ∈ S ب حيث أن z < sz\ . # إذا كان > 0 ε > 0 ف إن ه يوجد s_εب حيث أن u - ε < s_ε\ . و ب التالي يمكن نا أن نذكر صياغتين بديلتين لأصغر حد علوي . فرضية العدد u يعتبر أصغر حد علوي للمجموعة S الغير خالية والجزئية من R إذا وفقط إذا كان u يحقق الشروط : s ≤ u ل كل s ∈ S . إذا كان v < u ف إن ه يوجد s ∈ S ب حيث أن v < s . فرضية الحد العلويu للمجموعة الغير الخالية S في R ، يعتبر أصغر حد علوي إذا وفقط إذا كان ل كل ε > 0 يوجدS ∈ s_ε ب حيث أن u - ε < s_ε ال إثبات : إذا كان u حد علوي لـ S ف هٰذا يحقق الشرط المذكور ، و إذا كان v < u فإن نا نضع ε = u - v ، و ب ما أن ε > 0 إذا يوجد عدد S ∈ s_ε ب حيث أن < s_ε ε = u - v ، ل ذٰلك v ليس حدا علويا لـ S و نس تنتج أن .u = sup S على العكس ، نفرض أن u = sups و لتكن ε > 0\ . ب ما أن u - ε < u إذا u - ε ليس حدا علويا لـ S ، ل ذٰلك أحد العناصر s_ε لـ S يجب أن يكون أكبر من u - ε ، هذا يعني أن u - ε < s_ε\ . من المهم أن ندرك أن أصغر حد علوي ل مجموعة ، قد يكون أو لا يكون عنصر ل هٰذه المجموعة . ف في بعض الأحيان يكون عنصر للمجموعة و في بعض الأحيان لا يكون ، و هٰذا يعتمد على المجموعة المعينة . نستعرض الآن بعض ال أمثلة : مثال : إذا كانت المجموعة الغير الخالية S1 تمتلك عدد نهائي من العناصر ، ف إن ه يمكن نا إظهار أن S1 تمتلك عنصر أكبر u وعنصرأصغر w . إذا u = sup S 1 وinf S 1 w = ، و كلى هما ينتميان إلى S1 ( و هٰذا يتضح إذا كانت S1 تمتلك عنصر واحد فقط ونستطيع إثبات ها ب واسطة طريقة الإستقراء الرياضي على عدد العناصر في S1 ) . المجموعة S2 : = {x : 0 ≤ x ≤ 1 } ، من الواضح أن ها تمتلك 1 كحد علوي . سنثبت أن 1 أصغر حد علوي كما يلي : إذا كان v<1 ف إن ه يوجد عنصر S 2 s ' ∈ ب حيث أن v< s ' ( s ' رمز ل أحد العناصر ) ل ذٰلك v ليس حدا علويا لـ S2\ . و ب ما أن v عدد اختياري v<1 فإن نا نس تنتج أن ، sup S 2 = وب المثل نظهرأن inf S 2 = . لاحظ أن كلا من أصغر حد علوي و أكبر حد سفلي لـ S2 محتويان في S2\ . المجموعة S3 : = {x : 0< x <1 } \ . من الواضح أن ها تمتلككحد علوي . ب استخدام نفس ا المناقشة المعطاة في ( b ) نرى أنSup S 3 = 1\ . في هذه الحالة المجموعة S3 لا تحتوي أصغر حد علوي . ب المثل sup S3 = يرمحتوى في S3\ . خاصية التمام لـ R إن ه ليس من الممكن أن نثبت اعتمادا على أساسيات الحقل وخصائص الترتيب لـ R ، أن كل مجموعة غير خالية وجزئية من R إذا كانت محدودة من أعلى ف إن ها تمتلك أصغر حد علوي في R . مع ذلك ف هٰذه الخاصية عميقة وجذرية ل نظام الأعداد الحقيقية و هٰذا هو الحال في الواقع . سوف نجعل الاستخدام الأساسي والمتكرر ل هٰذه الخاصية مخصصا في مناقشات نا للعمليات على النهاية . العبارة التالية التي تتعلق ب وجود أصغر حد علوي هي افتراضنا النهائي عن R و ب التالي نقول أن R حقل مرتب كامل . كل مجموعة غير خالية من الأعداد الحقيقية تمتلك حد علوي هي أيضا تمتلك أصغر حد علوي في R\ . هذه الخاصية تدعى أيضا خاصية أصغر حد علوي لـ R\ . و مثل هذه الخاصية خاصية أكبر حد سفلي يمكن استخلاص ها من خاصية التمام على النحو التالي : لنفرض أنS مجموعة غير خالية وجزئية من R و هي محدودة من أسفل ، ف إن المجموعة الغير خالية Ṥ : = { - s : s ∈ S } محدودة من أعلى وخاصية أصغر حد علوي تعمي أن u = supṤ موجودة في R . القارئ ينبغي علي ه أن يتحقق ب التفصيل أن – u أكبر حد سفلي لـ Ṥ\ . مراجع أعداد حقيقية