Подпишитесь на наши новости
Вернуться к началу с статьи up
 

НЕРА́ВЕНСТВА

  • рубрика

    Рубрика: Математика

  • родственные статьи
  • image description

    В книжной версии

    Том 22. Москва, 2013, стр. 484-485

  • image description

    Скопировать библиографическую ссылку:




НЕРА́ВЕНСТВА, от­но­ше­ния, свя­зы­ваю­щие два чис­ла $a$ и $b$ по­сред­ст­вом од­но­го из зна­ков: $<$ (мень­ше), $⩽$ (мень­ше или рав­но), $>$ (боль­ше), $⩾$ (боль­ше или рав­но), $≠$ (не рав­но), т. е. $$a < b,\; a ⩽ b,\; a > b,\; a ⩾ b,\; a ≠ b.$$ Ино­гда не­сколь­ко Н. за­пи­сы­ва­ют вме­сте, напр. $a < b < c$

Н. об­ла­да­ют мн. свой­ст­ва­ми, об­щи­ми с ра­вен­ст­ва­ми. Так, Н. ос­та­ёт­ся спра­вед­ли­вым, ес­ли к его обе­им час­тям до­ба­вить (или из обе­их час­тей вы­честь) од­но и то же чис­ло. Точ­но так же мож­но ум­но­жить обе час­ти Н. на од­но и то же по­ло­жи­тель­ное чис­ло. Од­на­ко ес­ли обе час­ти Н. ум­но­жить на от­ри­ца­тель­ное чис­ло, то смысл Н. (кро­ме Н. $≠$) из­ме­нит­ся на про­ти­во­по­лож­ный (знак $<$ за­ме­ня­ет­ся на $>$, а знак $>$ – на $<$). Чле­ны Н. мож­но пе­ре­но­сить из од­ной час­ти в дру­гую с из­ме­не­ни­ем зна­ка, напр. Н. $a+b < c$ эк­ви­ва­лент­но Н. $a < c - b$. Из Н. $a < b$ и $c < d$ сле­ду­ет $a+c < b+d$ и $a-d < b-c$, т. е. од­но­имён­ные Н. ($a < b$ и $c < d$) мож­но по­член­но скла­ды­вать, а раз­но­имён­ные Н. ($a < b$ и $d > c$) – по­член­но вы­чи­тать. Ес­ли чис­ла $a, b, c$ и $d$ по­ло­жи­тель­ны, то из Н. $a < b$$c < d$ и сле­ду­ет так­же $ac < bd$ и $\frac {a}{d} < \frac {b}{c}$, т. е. одно­имён­ные Н. (ме­ж­ду по­ло­жи­тель­ны­ми чис­ла­ми) мож­но по­член­но пе­ре­мно­жать, а раз­но­имён­ные – по­член­но де­лить. 

Н., в ко­то­рые вхо­дят ве­ли­чи­ны, при­ни­маю­щие разл. чи­сло­вые зна­че­ния, мо­гут быть вер­ны для од­них зна­че­ний этих ве­ли­чин и не­вер­ны для дру­гих. Так, Н. $x^2-4x+3 > 0$ вер­но при $x=4$ и не­вер­но при $x=2$. Для Н. это­го ти­па воз­ни­ка­ет во­прос об их ре­ше­нии, т. е. об оп­ре­де­ле­нии гра­ниц, в ко­то­рых сле­ду­ет брать вхо­дя­щие в Н. ве­ли­чи­ны для то­го, что­бы Н. бы­ли спра­вед­ли­вы. Так, пе­ре­пи­сы­вая Н. $x^2-4x+3 > 0$ в ви­де $(x-1)(x-3) > 0$, мож­но за­ме­тить, что оно бу­дет вер­но для всех $x$, для ко­то­рых ли­бо $x < 1$, ли­бо $x > 3$; эти Н. и яв­ля­ют­ся ре­ше­ни­ем ис­ход­но­го не­ра­вен­ст­ва. 

Ни­же при­во­дят­ся од­ни из са­мых из­вест­ных не­ра­венств.

Не­ра­вен­ст­во для мо­ду­лей. Для лю­бых дей­ст­ви­тель­ных или ком­плекс­ных чи­сел $a_1, a_2, ..., a_n$ спра­вед­ли­во Н. $$|a_1+a_2+...+a_n| ⩽ |a_1|+|a_2|+...+|a_n|.$$

Не­ра­вен­ст­ва для сред­них. Наи­бо­лее из­вест­ны Н., свя­зы­ваю­щие гар­мо­ни­че­ское, гео­мет­ри­че­ское, ариф­ме­ти­че­ское и квад­ра­тич­ное сред­ние:$$\frac{n}{a_1^{-1}+a_2^{-1}+\dots+a_n^{-1}} ⩽ \sqrt[n]{a_1a_2\dots a_n} ⩽ \frac{a_1+a_2+\dots + a_n}{n} ⩽ \sqrt{\frac{a_1^2+a_2^2+\dots + a_n^2}{n}};$$

здесь все чис­ла $a_1, a_2, ..., a_n$ по­ло­жи­тель­ны. 

Не­ра­вен­ст­ва для сумм и их ин­те­граль­ные ана­ло­ги. Та­ко­вы, напр., Бу­ня­ков­ско­го не­ра­вен­ст­во, Гёль­де­ра не­ра­вен­ст­во, Ко­ши не­ра­вен­ст­во, Мин­ков­ско­го не­ра­вен­ст­во.

Не­ра­вен­ст­ва для не­ко­то­рых клас­сов по­сле­до­ва­тель­но­стей и функ­ций. При­ме­ром мо­жет слу­жить Че­бы­ше­ва не­ра­вен­ст­во для мо­но­тон­ных чи­сло­вых по­сле­до­ва­тель­но­стей и функ­ций.

В ли­ней­ном про­грам­ми­ро­ва­нии ог­ра­ни­че­ния на не­из­вест­ные $x_1, x_2, ..., x_n$ час­то за­да­ют­ся в ви­де сис­те­мы Н. 

$$a_{i1}x_1+a_{i2}x_2+...+a_{in}x_n ⩽ b_i,$$

$$i=1, 2, ..., m.$$

Н. име­ют су­ще­ст­вен­ное зна­че­ние для всех раз­де­лов ма­те­ма­ти­ки. В тео­рии чи­сел це­лый раз­дел этой дис­ци­п­ли­ны – дио­фан­то­вы при­бли­же­ния – пол­но­стью ос­но­ван на Н., ана­ли­тич. тео­рия чи­сел то­же час­то опе­ри­ру­ет с Н. В гео­мет­рии Н. по­сто­ян­но встре­ча­ют­ся в тео­рии вы­пук­лых тел и в изо­пе­ри­мет­рич. за­да­че (см. Изо­пе­ри­мет­ри­че­ское не­ра­вен­ст­во). В тео­рии ве­ро­ят­но­стей мно­гие ут­вер­жде­ния фор­му­ли­ру­ют­ся с по­мо­щью Н. (напр., не­ра­вен­ст­во Че­бы­ше­ва для ве­ро­ят­но­сти от­кло­не­ния слу­чай­ной ве­личи­ны от её ма­те­ма­тич. ожи­да­ния). В функ­цио­наль­ном ана­ли­зе оп­ре­де­ле­ние нор­мы в ли­ней­ном про­стран­ст­ве вклю­ча­ет ус­ло­вие $\left \|x+y\right \| ⩽ \left \|x\right \|+\left \|y\right \|$, ко­то­рое ино­гда на­зы­ва­ют ак­сио­мой тре­уголь­ни­ка. В вы­чис­лит. ма­те­ма­ти­ке Н. при­ме­ня­ют­ся для оцен­ки по­греш­но­сти при­бли­жён­но­го ре­ше­ния за­да­чи. 

Лит.: Ко­ров­кин П. П. Не­ра­вен­ст­ва. 5-е изд. М., 1983; Бек­кен­бах Э., Белл­ман Р. Не­ра­вен­ст­ва. 2-е изд. М., 2007; Хар­ди Г. Г., Литт­ль­вуд Д. Е., По­лиа Г. Не­ра­вен­ст­ва. 3-е изд. М., 2008.

Вернуться к началу