Неравенство треугольника Ружи - Википедия - Ruzsa triangle inequality

В аддитивная комбинаторика, то Неравенство треугольника Ружи, также известный как Неравенство разностного треугольника Ружи чтобы отличить его от некоторых его вариантов, ограничивает размер разницы двух наборов с точки зрения размеров обоих их различий с третьим набором. Это было доказано Имре Ружа (1996),^[1] и назван так из-за его сходства с неравенство треугольника. Это важная лемма в доказательстве Неравенство Плюннеке-Ружи.

Заявление

Если ${ displaystyle A}$ и ${ displaystyle B}$ являются подмножествами абелева группа, то сумма обозначение ${ displaystyle A + B}$ используется для обозначения ${ displaystyle {a + b: a in A, b in B }}$. По аналогии, ${ displaystyle A-B}$ обозначает ${ displaystyle {a-b: a in A, b in B }}$. Тогда неравенство треугольника Ружи утверждает следующее.

Альтернативная формулировка включает понятие Ружское расстояние.^[2]

Определение. Если ${ displaystyle A}$ и ${ displaystyle B}$ конечные подмножества абелевой группы, то Ружское расстояние между этими двумя наборами, обозначенными ${ Displaystyle д (А, В)}$, определяется как

${ displaystyle d (A, B) = log { frac {| A-B |} { sqrt {| A || B |}}}.}$

Тогда неравенство треугольника Ружи имеет следующую эквивалентную формулировку:

Эта формулировка напоминает неравенство треугольника для метрическое пространство; однако расстояние Ружи не определяет метрическое пространство, поскольку ${ Displaystyle д (А, А)}$ не всегда равно нулю.

Доказательство

Для доказательства утверждения достаточно построить инъекцию по множеству ${ Displaystyle А раз (В-С)}$ к набору ${ Displaystyle (А-В) раз (А-С)}$. Определите функцию ${ displaystyle phi}$ следующее. Для каждого ${ displaystyle x in B-C}$ выберите ${ displaystyle b (x) in B}$ и ${ displaystyle c (x) in C}$ такой, что ${ Displaystyle х = Ь (х) -с (х)}$. По определению ${ displaystyle B-C}$, это всегда можно сделать. Позволять ${ Displaystyle фи: А раз (В-С) вправо (А-В) раз (А-С)}$ быть функцией, которая отправляет ${ Displaystyle (а, х)}$ к ${ Displaystyle (а-б (х), а-с (х))}$. За каждую точку ${ Displaystyle фи (а, х) = (у, г)}$ в наборе есть ${ Displaystyle (А-В) раз (А-С)}$, должно быть так, что ${ Displaystyle х = г-у}$ и ${ Displaystyle а = у + Ь (х)}$. Следовательно, ${ displaystyle phi}$ отображает каждую точку в ${ Displaystyle А раз (В-С)}$ в определенную точку в ${ Displaystyle (А-В) раз (А-С)}$ и таким образом является инъекцией. В частности, должно быть как минимум столько же точек в ${ Displaystyle (А-В) раз (А-С)}$ как в ${ Displaystyle А раз (В-С)}$. Следовательно,

${ Displaystyle | A || В-С | = | А раз (В-С) | leq | (А-В) раз (А-С) | = | А-В || А-С |,}$

завершая доказательство.

Варианты неравенства треугольника Ружи

В Неравенство треугольника сумм Ружи является следствием неравенства Плюннеке-Ружи (которое, в свою очередь, доказывается с помощью обычного неравенства треугольника Ружи).

Доказательство. Доказательство использует следующую лемму из доказательство неравенства Плюннеке-Ружи.

Лемма. Позволять ${ displaystyle A}$ и ${ displaystyle B}$ - конечные подмножества абелевой группы ${ displaystyle G}$. Если ${ Displaystyle X substeq A}$ непустое подмножество, которое минимизирует значение ${ Displaystyle K '= | X + B | / | X |}$, то для всех конечных подмножеств ${ Displaystyle C подмножество G,}$

${ Displaystyle | Икс + В + С | leq К '| Х + С |.}$

Если ${ displaystyle A}$ - пустое множество, то левая часть неравенства принимает вид ${ displaystyle 0}$, значит, неравенство верно. В противном случае пусть ${ displaystyle X}$ быть подмножеством ${ displaystyle A}$ что сводит к минимуму ${ Displaystyle K '= | X + B | / | X |}$. Позволять ${ Displaystyle К = | А + В | / | А |}$. Определение ${ displaystyle X}$ подразумевает, что ${ displaystyle K ' leq K.}$ Потому что ${ Displaystyle X подмножество A}$, применение указанной леммы дает

${ Displaystyle | В + С | Leq | Икс + В + С | Leq К '| Икс + С | Leq К' | А + С | Leq К | А + С | = { гидроразрыва {| А + B || A + C |} {| A |}}.}$

Перестановка дает неравенство треугольника суммы Ружи.

Заменив ${ displaystyle B}$ и ${ displaystyle C}$ в неравенстве треугольника Ружи и неравенстве треугольника сумм Ружи с ${ displaystyle -B}$ и ${ displaystyle -C}$ при необходимости можно получить более общий результат: Если ${ displaystyle A}$, ${ displaystyle B}$, и ${ displaystyle C}$ конечные подмножества абелевой группы, то

${ displaystyle | A || B pm C | leq | A pm B || A pm C |,}$

где выполняются все восемь возможных конфигураций знаков. Эти результаты также иногда собирательно называют Неравенства треугольника Ружи.

Рекомендации