الوظيفي J [ y ] لديه أقصى بالنسبة لعناصر y من مساحة وظيفة معينة محددة على مجال معين. ويقال عن الوظيفي J [ y ] أن له نفس الإشارة لجميع y في مجال وظيفة صغير بشكل تعسفي. يسمى f وظيفي أقصى أو أقصى. يسمى fJ ≤ 0 في مجال صغير بشكل تعسفي من fJ ، ويقال J [ f ] أقصى محلي إذا كان Δ ≤ 0 في مجال صغير بشكل تعسفي من fJ ، وأقل محلي إذا كان Δ ≥ 0 في كل مكان. بالنسبة لوظيفة متواصلة متواصلة في كل مكان ، تسمى وظائف متواصلة متواصلة متواصلة أو متواصلة متواصلة على مساحة وظيفة معينة. لذلك ، العثور على مصطلح إضافي في وظيفة f إذا كان ΔJ = J [ y ] − J [ f ] لديه نفس الإشارة لجميع y في مجال وظيفة f في مجال وظيفة متواصلة متواصلة أو متواصلة ،
فظيع