SlideShare a Scribd company logo
1 of 398
Download to read offline
§4. Выпуклые задачи
4.1 Элементы выпуклого анализа. Выпуклые множества
Пусть X — линейное нормированное пространство
(для простоты понимания можно считать, что X = Rn).
отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1},
интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1},
выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A,
т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1,
конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0,
аффинное множество A, если ∀ a, b ∈ A точка
(1 − t)a + tb ∈ A ∀ t ∈ R.
Очевидно: аффинное множество выпукло.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
§4. Выпуклые задачи
4.1 Элементы выпуклого анализа. Выпуклые множества
Пусть X — линейное нормированное пространство
(для простоты понимания можно считать, что X = Rn).
отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1},
интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1},
выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A,
т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1,
конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0,
аффинное множество A, если ∀ a, b ∈ A точка
(1 − t)a + tb ∈ A ∀ t ∈ R.
Очевидно: аффинное множество выпукло.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
§4. Выпуклые задачи
4.1 Элементы выпуклого анализа. Выпуклые множества
Пусть X — линейное нормированное пространство
(для простоты понимания можно считать, что X = Rn).
отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1},
интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1},
выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A,
т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1,
конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0,
аффинное множество A, если ∀ a, b ∈ A точка
(1 − t)a + tb ∈ A ∀ t ∈ R.
Очевидно: аффинное множество выпукло.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
§4. Выпуклые задачи
4.1 Элементы выпуклого анализа. Выпуклые множества
Пусть X — линейное нормированное пространство
(для простоты понимания можно считать, что X = Rn).
отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1},
интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1},
выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A,
т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1,
конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0,
аффинное множество A, если ∀ a, b ∈ A точка
(1 − t)a + tb ∈ A ∀ t ∈ R.
Очевидно: аффинное множество выпукло.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
§4. Выпуклые задачи
4.1 Элементы выпуклого анализа. Выпуклые множества
Пусть X — линейное нормированное пространство
(для простоты понимания можно считать, что X = Rn).
отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1},
интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1},
выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A,
т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1,
конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0,
аффинное множество A, если ∀ a, b ∈ A точка
(1 − t)a + tb ∈ A ∀ t ∈ R.
Очевидно: аффинное множество выпукло.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
§4. Выпуклые задачи
4.1 Элементы выпуклого анализа. Выпуклые множества
Пусть X — линейное нормированное пространство
(для простоты понимания можно считать, что X = Rn).
отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1},
интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1},
выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A,
т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1,
конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0,
аффинное множество A, если ∀ a, b ∈ A точка
(1 − t)a + tb ∈ A ∀ t ∈ R.
Очевидно: аффинное множество выпукло.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
§4. Выпуклые задачи
4.1 Элементы выпуклого анализа. Выпуклые множества
Пусть X — линейное нормированное пространство
(для простоты понимания можно считать, что X = Rn).
отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1},
интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1},
выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A,
т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1,
конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0,
аффинное множество A, если ∀ a, b ∈ A точка
(1 − t)a + tb ∈ A ∀ t ∈ R.
Очевидно: аффинное множество выпукло.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
§4. Выпуклые задачи
4.1 Элементы выпуклого анализа. Выпуклые множества
Пусть X — линейное нормированное пространство
(для простоты понимания можно считать, что X = Rn).
отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1},
интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1},
выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A,
т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1,
конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0,
аффинное множество A, если ∀ a, b ∈ A точка
(1 − t)a + tb ∈ A ∀ t ∈ R.
Очевидно: аффинное множество выпукло.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
§4. Выпуклые задачи
4.1 Элементы выпуклого анализа. Выпуклые множества
Пусть X — линейное нормированное пространство
(для простоты понимания можно считать, что X = Rn).
отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1},
интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1},
выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A,
т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1,
конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0,
аффинное множество A, если ∀ a, b ∈ A точка
(1 − t)a + tb ∈ A ∀ t ∈ R.
Очевидно: аффинное множество выпукло.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
§4. Выпуклые задачи
4.1 Элементы выпуклого анализа. Выпуклые множества
Пусть X — линейное нормированное пространство
(для простоты понимания можно считать, что X = Rn).
отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1},
интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1},
выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A,
т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1,
конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0,
аффинное множество A, если ∀ a, b ∈ A точка
(1 − t)a + tb ∈ A ∀ t ∈ R.
Очевидно: аффинное множество выпукло.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
§4. Выпуклые задачи
4.1 Элементы выпуклого анализа. Выпуклые множества
Пусть X — линейное нормированное пространство
(для простоты понимания можно считать, что X = Rn).
отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1},
интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1},
выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A,
т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1,
конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0,
аффинное множество A, если ∀ a, b ∈ A точка
(1 − t)a + tb ∈ A ∀ t ∈ R.
Очевидно: аффинное множество выпукло.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
§4. Выпуклые задачи
4.1 Элементы выпуклого анализа. Выпуклые множества
Пусть X — линейное нормированное пространство
(для простоты понимания можно считать, что X = Rn).
отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1},
интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1},
выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A,
т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1,
конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0,
аффинное множество A, если ∀ a, b ∈ A точка
(1 − t)a + tb ∈ A ∀ t ∈ R.
Очевидно: аффинное множество выпукло.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
§4. Выпуклые задачи
4.1 Элементы выпуклого анализа. Выпуклые множества
Пусть X — линейное нормированное пространство
(для простоты понимания можно считать, что X = Rn).
отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1},
интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1},
выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A,
т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1,
конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0,
аффинное множество A, если ∀ a, b ∈ A точка
(1 − t)a + tb ∈ A ∀ t ∈ R.
Очевидно: аффинное множество выпукло.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
§4. Выпуклые задачи
4.1 Элементы выпуклого анализа. Выпуклые множества
Пусть X — линейное нормированное пространство
(для простоты понимания можно считать, что X = Rn).
отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1},
интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1},
выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A,
т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1,
конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0,
аффинное множество A, если ∀ a, b ∈ A точка
(1 − t)a + tb ∈ A ∀ t ∈ R.
Очевидно: аффинное множество выпукло.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
§4. Выпуклые задачи
4.1 Элементы выпуклого анализа. Выпуклые множества
Пусть X — линейное нормированное пространство
(для простоты понимания можно считать, что X = Rn).
отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1},
интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1},
выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A,
т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1,
конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0,
аффинное множество A, если ∀ a, b ∈ A точка
(1 − t)a + tb ∈ A ∀ t ∈ R.
Очевидно: аффинное множество выпукло.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
§4. Выпуклые задачи
4.1 Элементы выпуклого анализа. Выпуклые множества
Пусть X — линейное нормированное пространство
(для простоты понимания можно считать, что X = Rn).
отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1},
интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1},
выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A,
т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1,
конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0,
аффинное множество A, если ∀ a, b ∈ A точка
(1 − t)a + tb ∈ A ∀ t ∈ R.
Очевидно: аффинное множество выпукло.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Пусть точки a1, . . . , am ∈ X,
m
i=1
tiai — комбинация, ti ∈ R.
выпуклая комбинация, если ti ≥ 0,
m
i=1
ti = 1;
коническая комбинация, если ti ≥ 0;
аффинная комбинация, если
m
i=1
ti = 1;
выпуклая оболочка
conv{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0,
m
i=1
ti = 1 —
совокупность всех выпуклых комбинаций;
коническая выпуклая оболочка
conev{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0 ;
аффинная оболочка
aff{a1, . . . , am}:= a =
m
i=1
tiai
m
i=1
ti = 1 .
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Пусть точки a1, . . . , am ∈ X,
m
i=1
tiai — комбинация, ti ∈ R.
выпуклая комбинация, если ti ≥ 0,
m
i=1
ti = 1;
коническая комбинация, если ti ≥ 0;
аффинная комбинация, если
m
i=1
ti = 1;
выпуклая оболочка
conv{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0,
m
i=1
ti = 1 —
совокупность всех выпуклых комбинаций;
коническая выпуклая оболочка
conev{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0 ;
аффинная оболочка
aff{a1, . . . , am}:= a =
m
i=1
tiai
m
i=1
ti = 1 .
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Пусть точки a1, . . . , am ∈ X,
m
i=1
tiai — комбинация, ti ∈ R.
выпуклая комбинация, если ti ≥ 0,
m
i=1
ti = 1;
коническая комбинация, если ti ≥ 0;
аффинная комбинация, если
m
i=1
ti = 1;
выпуклая оболочка
conv{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0,
m
i=1
ti = 1 —
совокупность всех выпуклых комбинаций;
коническая выпуклая оболочка
conev{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0 ;
аффинная оболочка
aff{a1, . . . , am}:= a =
m
i=1
tiai
m
i=1
ti = 1 .
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Пусть точки a1, . . . , am ∈ X,
m
i=1
tiai — комбинация, ti ∈ R.
выпуклая комбинация, если ti ≥ 0,
m
i=1
ti = 1;
коническая комбинация, если ti ≥ 0;
аффинная комбинация, если
m
i=1
ti = 1;
выпуклая оболочка
conv{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0,
m
i=1
ti = 1 —
совокупность всех выпуклых комбинаций;
коническая выпуклая оболочка
conev{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0 ;
аффинная оболочка
aff{a1, . . . , am}:= a =
m
i=1
tiai
m
i=1
ti = 1 .
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Пусть точки a1, . . . , am ∈ X,
m
i=1
tiai — комбинация, ti ∈ R.
выпуклая комбинация, если ti ≥ 0,
m
i=1
ti = 1;
коническая комбинация, если ti ≥ 0;
аффинная комбинация, если
m
i=1
ti = 1;
выпуклая оболочка
conv{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0,
m
i=1
ti = 1 —
совокупность всех выпуклых комбинаций;
коническая выпуклая оболочка
conev{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0 ;
аффинная оболочка
aff{a1, . . . , am}:= a =
m
i=1
tiai
m
i=1
ti = 1 .
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Пусть точки a1, . . . , am ∈ X,
m
i=1
tiai — комбинация, ti ∈ R.
выпуклая комбинация, если ti ≥ 0,
m
i=1
ti = 1;
коническая комбинация, если ti ≥ 0;
аффинная комбинация, если
m
i=1
ti = 1;
выпуклая оболочка
conv{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0,
m
i=1
ti = 1 —
совокупность всех выпуклых комбинаций;
коническая выпуклая оболочка
conev{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0 ;
аффинная оболочка
aff{a1, . . . , am}:= a =
m
i=1
tiai
m
i=1
ti = 1 .
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Пусть точки a1, . . . , am ∈ X,
m
i=1
tiai — комбинация, ti ∈ R.
выпуклая комбинация, если ti ≥ 0,
m
i=1
ti = 1;
коническая комбинация, если ti ≥ 0;
аффинная комбинация, если
m
i=1
ti = 1;
выпуклая оболочка
conv{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0,
m
i=1
ti = 1 —
совокупность всех выпуклых комбинаций;
коническая выпуклая оболочка
conev{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0 ;
аффинная оболочка
aff{a1, . . . , am}:= a =
m
i=1
tiai
m
i=1
ti = 1 .
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Пусть точки a1, . . . , am ∈ X,
m
i=1
tiai — комбинация, ti ∈ R.
выпуклая комбинация, если ti ≥ 0,
m
i=1
ti = 1;
коническая комбинация, если ti ≥ 0;
аффинная комбинация, если
m
i=1
ti = 1;
выпуклая оболочка
conv{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0,
m
i=1
ti = 1 —
совокупность всех выпуклых комбинаций;
коническая выпуклая оболочка
conev{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0 ;
аффинная оболочка
aff{a1, . . . , am}:= a =
m
i=1
tiai
m
i=1
ti = 1 .
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Пусть точки a1, . . . , am ∈ X,
m
i=1
tiai — комбинация, ti ∈ R.
выпуклая комбинация, если ti ≥ 0,
m
i=1
ti = 1;
коническая комбинация, если ti ≥ 0;
аффинная комбинация, если
m
i=1
ti = 1;
выпуклая оболочка
conv{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0,
m
i=1
ti = 1 —
совокупность всех выпуклых комбинаций;
коническая выпуклая оболочка
conev{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0 ;
аффинная оболочка
aff{a1, . . . , am}:= a =
m
i=1
tiai
m
i=1
ti = 1 .
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Пусть точки a1, . . . , am ∈ X,
m
i=1
tiai — комбинация, ti ∈ R.
выпуклая комбинация, если ti ≥ 0,
m
i=1
ti = 1;
коническая комбинация, если ti ≥ 0;
аффинная комбинация, если
m
i=1
ti = 1;
выпуклая оболочка
conv{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0,
m
i=1
ti = 1 —
совокупность всех выпуклых комбинаций;
коническая выпуклая оболочка
conev{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0 ;
аффинная оболочка
aff{a1, . . . , am}:= a =
m
i=1
tiai
m
i=1
ti = 1 .
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Пусть точки a1, . . . , am ∈ X,
m
i=1
tiai — комбинация, ti ∈ R.
выпуклая комбинация, если ti ≥ 0,
m
i=1
ti = 1;
коническая комбинация, если ti ≥ 0;
аффинная комбинация, если
m
i=1
ti = 1;
выпуклая оболочка
conv{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0,
m
i=1
ti = 1 —
совокупность всех выпуклых комбинаций;
коническая выпуклая оболочка
conev{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0 ;
аффинная оболочка
aff{a1, . . . , am}:= a =
m
i=1
tiai
m
i=1
ti = 1 .
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Пусть точки a1, . . . , am ∈ X,
m
i=1
tiai — комбинация, ti ∈ R.
выпуклая комбинация, если ti ≥ 0,
m
i=1
ti = 1;
коническая комбинация, если ti ≥ 0;
аффинная комбинация, если
m
i=1
ti = 1;
выпуклая оболочка
conv{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0,
m
i=1
ti = 1 —
совокупность всех выпуклых комбинаций;
коническая выпуклая оболочка
conev{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0 ;
аффинная оболочка
aff{a1, . . . , am}:= a =
m
i=1
tiai
m
i=1
ti = 1 .
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Пусть точки a1, . . . , am ∈ X,
m
i=1
tiai — комбинация, ti ∈ R.
выпуклая комбинация, если ti ≥ 0,
m
i=1
ti = 1;
коническая комбинация, если ti ≥ 0;
аффинная комбинация, если
m
i=1
ti = 1;
выпуклая оболочка
conv{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0,
m
i=1
ti = 1 —
совокупность всех выпуклых комбинаций;
коническая выпуклая оболочка
conev{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0 ;
аффинная оболочка
aff{a1, . . . , am}:= a =
m
i=1
tiai
m
i=1
ti = 1 .
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Пусть точки a1, . . . , am ∈ X,
m
i=1
tiai — комбинация, ti ∈ R.
выпуклая комбинация, если ti ≥ 0,
m
i=1
ti = 1;
коническая комбинация, если ti ≥ 0;
аффинная комбинация, если
m
i=1
ti = 1;
выпуклая оболочка
conv{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0,
m
i=1
ti = 1 —
совокупность всех выпуклых комбинаций;
коническая выпуклая оболочка
conev{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0 ;
аффинная оболочка
aff{a1, . . . , am}:= a =
m
i=1
tiai
m
i=1
ti = 1 .
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Пусть точки a1, . . . , am ∈ X,
m
i=1
tiai — комбинация, ti ∈ R.
выпуклая комбинация, если ti ≥ 0,
m
i=1
ti = 1;
коническая комбинация, если ti ≥ 0;
аффинная комбинация, если
m
i=1
ti = 1;
выпуклая оболочка
conv{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0,
m
i=1
ti = 1 —
совокупность всех выпуклых комбинаций;
коническая выпуклая оболочка
conev{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0 ;
аффинная оболочка
aff{a1, . . . , am}:= a =
m
i=1
tiai
m
i=1
ti = 1 .
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Пусть точки a1, . . . , am ∈ X,
m
i=1
tiai — комбинация, ti ∈ R.
выпуклая комбинация, если ti ≥ 0,
m
i=1
ti = 1;
коническая комбинация, если ti ≥ 0;
аффинная комбинация, если
m
i=1
ti = 1;
выпуклая оболочка
conv{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0,
m
i=1
ti = 1 —
совокупность всех выпуклых комбинаций;
коническая выпуклая оболочка
conev{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0 ;
аффинная оболочка
aff{a1, . . . , am}:= a =
m
i=1
tiai
m
i=1
ti = 1 .
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Пусть точки a1, . . . , am ∈ X,
m
i=1
tiai — комбинация, ti ∈ R.
выпуклая комбинация, если ti ≥ 0,
m
i=1
ti = 1;
коническая комбинация, если ti ≥ 0;
аффинная комбинация, если
m
i=1
ti = 1;
выпуклая оболочка
conv{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0,
m
i=1
ti = 1 —
совокупность всех выпуклых комбинаций;
коническая выпуклая оболочка
conev{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0 ;
аффинная оболочка
aff{a1, . . . , am}:= a =
m
i=1
tiai
m
i=1
ti = 1 .
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Пусть точки a1, . . . , am ∈ X,
m
i=1
tiai — комбинация, ti ∈ R.
выпуклая комбинация, если ti ≥ 0,
m
i=1
ti = 1;
коническая комбинация, если ti ≥ 0;
аффинная комбинация, если
m
i=1
ti = 1;
выпуклая оболочка
conv{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0,
m
i=1
ti = 1 —
совокупность всех выпуклых комбинаций;
коническая выпуклая оболочка
conev{a1, . . . , am}:= a =
m
i=1
tiai ti ≥ 0 ;
аффинная оболочка
aff{a1, . . . , am}:= a =
m
i=1
tiai
m
i=1
ti = 1 .
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Теорема
1. Пересечение любого числа выпуклых (конических,
аффинных) множеств является выпуклым (коническим,
аффинным) множеством.
2. f : X → Y — линейное отображение1, A — выпуклое
(коническое, аффинное) множество ⇔ f(A) — выпуклое
(коническое, аффинное) множество.
3. Сдвиг A → b + A выпуклого (аффинного) множества
является выпуклым (аффинным) множеством.vspace*-1mm
¡ (для выпуклых множеств) 1. Aα — выпуклые множества
⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α
⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A.
2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A.
(1 − t)y + tz = (1 − t)f(a) + tf(b)
f −линейное
= f (1 − t)a + tb
⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £
1
f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R.
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма (1-v)
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
¡ Индукция по n. n = 1 – очевидно. Предположим, лемма
верна ∀ выпуклой оболочки не более, чем n − 1 точки.
Пусть a ∈ conv {a1, . . . , an} ⇒ a =
n
i=1
tiai,
n
i=1
ti = 1, ti ≥ 0.
Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем
˜tk = tk
1−t1
при k = 2, . . . , n. Так как
n
k=2
˜tk =
n
k=2
tk
1−t1
= 1−t1
1−t1
= 1,
то ˜a =
n
k=2
˜tk ak – выпуклая комбинация, и по индукции ˜a∈A.
Тогда, в силу выпуклости A имеем a = t1a1 +
n
k=2
tk ak
= t1a1 +
n
k=2
(1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Обозначим conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Из определения (n = 1) следует, что conv A ⊃ A.
Лемма (2-v)
Множество conv A — выпукло.
¡ Возьмем a, b ∈ conv A ⇒ a =
m
i=1
λiai, b =
n
j=1
µjbj,
m
i=1
λi =
n
j=1
µj = 1. Тогда ∀ t ∈ [0; 1] имеем
(1−t)a+tb = (1−t)
m
i=1
λiai +t
n
j=1
µjbj =
m
i=1
(1−t)λiai +
n
j=1
tµjbj.
Заметим, что все множители (1 − t)λi и tµj неотрицательны
и
m
i=1
(1 − t)λi +
n
j=1
tµj = 1, значит, получили выпуклую
комбинацию точек a1, . . . , am, b1, . . . , bn, которая
принадлежит conv A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Обозначим conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Из определения (n = 1) следует, что conv A ⊃ A.
Лемма (2-v)
Множество conv A — выпукло.
¡ Возьмем a, b ∈ conv A ⇒ a =
m
i=1
λiai, b =
n
j=1
µjbj,
m
i=1
λi =
n
j=1
µj = 1. Тогда ∀ t ∈ [0; 1] имеем
(1−t)a+tb = (1−t)
m
i=1
λiai +t
n
j=1
µjbj =
m
i=1
(1−t)λiai +
n
j=1
tµjbj.
Заметим, что все множители (1 − t)λi и tµj неотрицательны
и
m
i=1
(1 − t)λi +
n
j=1
tµj = 1, значит, получили выпуклую
комбинацию точек a1, . . . , am, b1, . . . , bn, которая
принадлежит conv A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Обозначим conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Из определения (n = 1) следует, что conv A ⊃ A.
Лемма (2-v)
Множество conv A — выпукло.
¡ Возьмем a, b ∈ conv A ⇒ a =
m
i=1
λiai, b =
n
j=1
µjbj,
m
i=1
λi =
n
j=1
µj = 1. Тогда ∀ t ∈ [0; 1] имеем
(1−t)a+tb = (1−t)
m
i=1
λiai +t
n
j=1
µjbj =
m
i=1
(1−t)λiai +
n
j=1
tµjbj.
Заметим, что все множители (1 − t)λi и tµj неотрицательны
и
m
i=1
(1 − t)λi +
n
j=1
tµj = 1, значит, получили выпуклую
комбинацию точек a1, . . . , am, b1, . . . , bn, которая
принадлежит conv A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Обозначим conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Из определения (n = 1) следует, что conv A ⊃ A.
Лемма (2-v)
Множество conv A — выпукло.
¡ Возьмем a, b ∈ conv A ⇒ a =
m
i=1
λiai, b =
n
j=1
µjbj,
m
i=1
λi =
n
j=1
µj = 1. Тогда ∀ t ∈ [0; 1] имеем
(1−t)a+tb = (1−t)
m
i=1
λiai +t
n
j=1
µjbj =
m
i=1
(1−t)λiai +
n
j=1
tµjbj.
Заметим, что все множители (1 − t)λi и tµj неотрицательны
и
m
i=1
(1 − t)λi +
n
j=1
tµj = 1, значит, получили выпуклую
комбинацию точек a1, . . . , am, b1, . . . , bn, которая
принадлежит conv A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Обозначим conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Из определения (n = 1) следует, что conv A ⊃ A.
Лемма (2-v)
Множество conv A — выпукло.
¡ Возьмем a, b ∈ conv A ⇒ a =
m
i=1
λiai, b =
n
j=1
µjbj,
m
i=1
λi =
n
j=1
µj = 1. Тогда ∀ t ∈ [0; 1] имеем
(1−t)a+tb = (1−t)
m
i=1
λiai +t
n
j=1
µjbj =
m
i=1
(1−t)λiai +
n
j=1
tµjbj.
Заметим, что все множители (1 − t)λi и tµj неотрицательны
и
m
i=1
(1 − t)λi +
n
j=1
tµj = 1, значит, получили выпуклую
комбинацию точек a1, . . . , am, b1, . . . , bn, которая
принадлежит conv A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Обозначим conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Из определения (n = 1) следует, что conv A ⊃ A.
Лемма (2-v)
Множество conv A — выпукло.
¡ Возьмем a, b ∈ conv A ⇒ a =
m
i=1
λiai, b =
n
j=1
µjbj,
m
i=1
λi =
n
j=1
µj = 1. Тогда ∀ t ∈ [0; 1] имеем
(1−t)a+tb = (1−t)
m
i=1
λiai +t
n
j=1
µjbj =
m
i=1
(1−t)λiai +
n
j=1
tµjbj.
Заметим, что все множители (1 − t)λi и tµj неотрицательны
и
m
i=1
(1 − t)λi +
n
j=1
tµj = 1, значит, получили выпуклую
комбинацию точек a1, . . . , am, b1, . . . , bn, которая
принадлежит conv A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Обозначим conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Из определения (n = 1) следует, что conv A ⊃ A.
Лемма (2-v)
Множество conv A — выпукло.
¡ Возьмем a, b ∈ conv A ⇒ a =
m
i=1
λiai, b =
n
j=1
µjbj,
m
i=1
λi =
n
j=1
µj = 1. Тогда ∀ t ∈ [0; 1] имеем
(1−t)a+tb = (1−t)
m
i=1
λiai +t
n
j=1
µjbj =
m
i=1
(1−t)λiai +
n
j=1
tµjbj.
Заметим, что все множители (1 − t)λi и tµj неотрицательны
и
m
i=1
(1 − t)λi +
n
j=1
tµj = 1, значит, получили выпуклую
комбинацию точек a1, . . . , am, b1, . . . , bn, которая
принадлежит conv A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Обозначим conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Из определения (n = 1) следует, что conv A ⊃ A.
Лемма (2-v)
Множество conv A — выпукло.
¡ Возьмем a, b ∈ conv A ⇒ a =
m
i=1
λiai, b =
n
j=1
µjbj,
m
i=1
λi =
n
j=1
µj = 1. Тогда ∀ t ∈ [0; 1] имеем
(1−t)a+tb = (1−t)
m
i=1
λiai +t
n
j=1
µjbj =
m
i=1
(1−t)λiai +
n
j=1
tµjbj.
Заметим, что все множители (1 − t)λi и tµj неотрицательны
и
m
i=1
(1 − t)λi +
n
j=1
tµj = 1, значит, получили выпуклую
комбинацию точек a1, . . . , am, b1, . . . , bn, которая
принадлежит conv A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Обозначим conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Из определения (n = 1) следует, что conv A ⊃ A.
Лемма (2-v)
Множество conv A — выпукло.
¡ Возьмем a, b ∈ conv A ⇒ a =
m
i=1
λiai, b =
n
j=1
µjbj,
m
i=1
λi =
n
j=1
µj = 1. Тогда ∀ t ∈ [0; 1] имеем
(1−t)a+tb = (1−t)
m
i=1
λiai +t
n
j=1
µjbj =
m
i=1
(1−t)λiai +
n
j=1
tµjbj.
Заметим, что все множители (1 − t)λi и tµj неотрицательны
и
m
i=1
(1 − t)λi +
n
j=1
tµj = 1, значит, получили выпуклую
комбинацию точек a1, . . . , am, b1, . . . , bn, которая
принадлежит conv A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Обозначим conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Из определения (n = 1) следует, что conv A ⊃ A.
Лемма (2-v)
Множество conv A — выпукло.
¡ Возьмем a, b ∈ conv A ⇒ a =
m
i=1
λiai, b =
n
j=1
µjbj,
m
i=1
λi =
n
j=1
µj = 1. Тогда ∀ t ∈ [0; 1] имеем
(1−t)a+tb = (1−t)
m
i=1
λiai +t
n
j=1
µjbj =
m
i=1
(1−t)λiai +
n
j=1
tµjbj.
Заметим, что все множители (1 − t)λi и tµj неотрицательны
и
m
i=1
(1 − t)λi +
n
j=1
tµj = 1, значит, получили выпуклую
комбинацию точек a1, . . . , am, b1, . . . , bn, которая
принадлежит conv A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Обозначим conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Из определения (n = 1) следует, что conv A ⊃ A.
Лемма (2-v)
Множество conv A — выпукло.
¡ Возьмем a, b ∈ conv A ⇒ a =
m
i=1
λiai, b =
n
j=1
µjbj,
m
i=1
λi =
n
j=1
µj = 1. Тогда ∀ t ∈ [0; 1] имеем
(1−t)a+tb = (1−t)
m
i=1
λiai +t
n
j=1
µjbj =
m
i=1
(1−t)λiai +
n
j=1
tµjbj.
Заметим, что все множители (1 − t)λi и tµj неотрицательны
и
m
i=1
(1 − t)λi +
n
j=1
tµj = 1, значит, получили выпуклую
комбинацию точек a1, . . . , am, b1, . . . , bn, которая
принадлежит conv A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Обозначим conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Из определения (n = 1) следует, что conv A ⊃ A.
Лемма (2-v)
Множество conv A — выпукло.
¡ Возьмем a, b ∈ conv A ⇒ a =
m
i=1
λiai, b =
n
j=1
µjbj,
m
i=1
λi =
n
j=1
µj = 1. Тогда ∀ t ∈ [0; 1] имеем
(1−t)a+tb = (1−t)
m
i=1
λiai +t
n
j=1
µjbj =
m
i=1
(1−t)λiai +
n
j=1
tµjbj.
Заметим, что все множители (1 − t)λi и tµj неотрицательны
и
m
i=1
(1 − t)λi +
n
j=1
tµj = 1, значит, получили выпуклую
комбинацию точек a1, . . . , am, b1, . . . , bn, которая
принадлежит conv A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Обозначим conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Из определения (n = 1) следует, что conv A ⊃ A.
Лемма (2-v)
Множество conv A — выпукло.
¡ Возьмем a, b ∈ conv A ⇒ a =
m
i=1
λiai, b =
n
j=1
µjbj,
m
i=1
λi =
n
j=1
µj = 1. Тогда ∀ t ∈ [0; 1] имеем
(1−t)a+tb = (1−t)
m
i=1
λiai +t
n
j=1
µjbj =
m
i=1
(1−t)λiai +
n
j=1
tµjbj.
Заметим, что все множители (1 − t)λi и tµj неотрицательны
и
m
i=1
(1 − t)λi +
n
j=1
tµj = 1, значит, получили выпуклую
комбинацию точек a1, . . . , am, b1, . . . , bn, которая
принадлежит conv A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Обозначим conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Из определения (n = 1) следует, что conv A ⊃ A.
Лемма (2-v)
Множество conv A — выпукло.
¡ Возьмем a, b ∈ conv A ⇒ a =
m
i=1
λiai, b =
n
j=1
µjbj,
m
i=1
λi =
n
j=1
µj = 1. Тогда ∀ t ∈ [0; 1] имеем
(1−t)a+tb = (1−t)
m
i=1
λiai +t
n
j=1
µjbj =
m
i=1
(1−t)λiai +
n
j=1
tµjbj.
Заметим, что все множители (1 − t)λi и tµj неотрицательны
и
m
i=1
(1 − t)λi +
n
j=1
tµj = 1, значит, получили выпуклую
комбинацию точек a1, . . . , am, b1, . . . , bn, которая
принадлежит conv A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Обозначим conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Из определения (n = 1) следует, что conv A ⊃ A.
Лемма (2-v)
Множество conv A — выпукло.
¡ Возьмем a, b ∈ conv A ⇒ a =
m
i=1
λiai, b =
n
j=1
µjbj,
m
i=1
λi =
n
j=1
µj = 1. Тогда ∀ t ∈ [0; 1] имеем
(1−t)a+tb = (1−t)
m
i=1
λiai +t
n
j=1
µjbj =
m
i=1
(1−t)λiai +
n
j=1
tµjbj.
Заметим, что все множители (1 − t)λi и tµj неотрицательны
и
m
i=1
(1 − t)λi +
n
j=1
tµj = 1, значит, получили выпуклую
комбинацию точек a1, . . . , am, b1, . . . , bn, которая
принадлежит conv A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Обозначим conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Из определения (n = 1) следует, что conv A ⊃ A.
Лемма (2-v)
Множество conv A — выпукло.
¡ Возьмем a, b ∈ conv A ⇒ a =
m
i=1
λiai, b =
n
j=1
µjbj,
m
i=1
λi =
n
j=1
µj = 1. Тогда ∀ t ∈ [0; 1] имеем
(1−t)a+tb = (1−t)
m
i=1
λiai +t
n
j=1
µjbj =
m
i=1
(1−t)λiai +
n
j=1
tµjbj.
Заметим, что все множители (1 − t)λi и tµj неотрицательны
и
m
i=1
(1 − t)λi +
n
j=1
tµj = 1, значит, получили выпуклую
комбинацию точек a1, . . . , am, b1, . . . , bn, которая
принадлежит conv A. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма 1-v.
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Лемма 2-v. Множество conv A — выпукло.
Теорема
A — выпукло ⇔ conv A = A.
¡ A — выпукло ⇒ по лемме 1-v conv A ⊂ A.
Вложение conv A ⊃ A следует из определения conv A (n = 1).
Обратно. Пусть conv A = A. По лемме 2-v conv A — выпукло
⇒ A — выпукло. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма 1-v.
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Лемма 2-v. Множество conv A — выпукло.
Теорема
A — выпукло ⇔ conv A = A.
¡ A — выпукло ⇒ по лемме 1-v conv A ⊂ A.
Вложение conv A ⊃ A следует из определения conv A (n = 1).
Обратно. Пусть conv A = A. По лемме 2-v conv A — выпукло
⇒ A — выпукло. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма 1-v.
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Лемма 2-v. Множество conv A — выпукло.
Теорема
A — выпукло ⇔ conv A = A.
¡ A — выпукло ⇒ по лемме 1-v conv A ⊂ A.
Вложение conv A ⊃ A следует из определения conv A (n = 1).
Обратно. Пусть conv A = A. По лемме 2-v conv A — выпукло
⇒ A — выпукло. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма 1-v.
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Лемма 2-v. Множество conv A — выпукло.
Теорема
A — выпукло ⇔ conv A = A.
¡ A — выпукло ⇒ по лемме 1-v conv A ⊂ A.
Вложение conv A ⊃ A следует из определения conv A (n = 1).
Обратно. Пусть conv A = A. По лемме 2-v conv A — выпукло
⇒ A — выпукло. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма 1-v.
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Лемма 2-v. Множество conv A — выпукло.
Теорема
A — выпукло ⇔ conv A = A.
¡ A — выпукло ⇒ по лемме 1-v conv A ⊂ A.
Вложение conv A ⊃ A следует из определения conv A (n = 1).
Обратно. Пусть conv A = A. По лемме 2-v conv A — выпукло
⇒ A — выпукло. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма 1-v.
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Лемма 2-v. Множество conv A — выпукло.
Теорема
A — выпукло ⇔ conv A = A.
¡ A — выпукло ⇒ по лемме 1-v conv A ⊂ A.
Вложение conv A ⊃ A следует из определения conv A (n = 1).
Обратно. Пусть conv A = A. По лемме 2-v conv A — выпукло
⇒ A — выпукло. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма 1-v.
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Лемма 2-v. Множество conv A — выпукло.
Теорема
A — выпукло ⇔ conv A = A.
¡ A — выпукло ⇒ по лемме 1-v conv A ⊂ A.
Вложение conv A ⊃ A следует из определения conv A (n = 1).
Обратно. Пусть conv A = A. По лемме 2-v conv A — выпукло
⇒ A — выпукло. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма 1-v.
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Лемма 2-v. Множество conv A — выпукло.
Теорема
A — выпукло ⇔ conv A = A.
¡ A — выпукло ⇒ по лемме 1-v conv A ⊂ A.
Вложение conv A ⊃ A следует из определения conv A (n = 1).
Обратно. Пусть conv A = A. По лемме 2-v conv A — выпукло
⇒ A — выпукло. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
Лемма 1-v.
A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A.
conv A:=
a1,...,an∈A, n∈N
conv {a1, . . . , an}.
Лемма 2-v. Множество conv A — выпукло.
Теорема
A — выпукло ⇔ conv A = A.
¡ A — выпукло ⇒ по лемме 1-v conv A ⊂ A.
Вложение conv A ⊃ A следует из определения conv A (n = 1).
Обратно. Пусть conv A = A. По лемме 2-v conv A — выпукло
⇒ A — выпукло. £
Галеев Э. М. МГУ
Лекции: Выпуклый анализ
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу
презентация лекции по выпуклому анализу

More Related Content

What's hot

о построении цены производных инструментов
о построении цены производных инструментово построении цены производных инструментов
о построении цены производных инструментов
Ilya Gikhman
 
геометрический смысл производной
геометрический смысл производнойгеометрический смысл производной
геометрический смысл производной
tkachenko_anna
 
20110403 quantum algorithms_vyali_lecture03
20110403 quantum algorithms_vyali_lecture0320110403 quantum algorithms_vyali_lecture03
20110403 quantum algorithms_vyali_lecture03
Computer Science Club
 
20091129 algorithmsfornphardproblems kulikov_lecture10
20091129 algorithmsfornphardproblems kulikov_lecture1020091129 algorithmsfornphardproblems kulikov_lecture10
20091129 algorithmsfornphardproblems kulikov_lecture10
Computer Science Club
 
20110224 systems of_typed_lambda_calculi_moskvin_lecture02
20110224 systems of_typed_lambda_calculi_moskvin_lecture0220110224 systems of_typed_lambda_calculi_moskvin_lecture02
20110224 systems of_typed_lambda_calculi_moskvin_lecture02
Computer Science Club
 

What's hot (20)

1.4 Точечные оценки и их свойства
1.4 Точечные оценки и их свойства1.4 Точечные оценки и их свойства
1.4 Точечные оценки и их свойства
 
23
2323
23
 
20131027 h10 lecture5_matiyasevich
20131027 h10 lecture5_matiyasevich20131027 h10 lecture5_matiyasevich
20131027 h10 lecture5_matiyasevich
 
Лекция 12 Теоретико-числовые алгоритмы Часть 1
Лекция 12 Теоретико-числовые алгоритмы Часть 1Лекция 12 Теоретико-числовые алгоритмы Часть 1
Лекция 12 Теоретико-числовые алгоритмы Часть 1
 
о построении цены производных инструментов
о построении цены производных инструментово построении цены производных инструментов
о построении цены производных инструментов
 
геометрический смысл производной
геометрический смысл производнойгеометрический смысл производной
геометрический смысл производной
 
Линейная алгебра ll. Разбор задач второго модуля
Линейная алгебра ll. Разбор задач второго модуляЛинейная алгебра ll. Разбор задач второго модуля
Линейная алгебра ll. Разбор задач второго модуля
 
Pr i-6
Pr i-6Pr i-6
Pr i-6
 
20110403 quantum algorithms_vyali_lecture03
20110403 quantum algorithms_vyali_lecture0320110403 quantum algorithms_vyali_lecture03
20110403 quantum algorithms_vyali_lecture03
 
Opredelennyj integral
Opredelennyj integralOpredelennyj integral
Opredelennyj integral
 
Pr i-7
Pr i-7Pr i-7
Pr i-7
 
20131027 h10 lecture5_matiyasevich
20131027 h10 lecture5_matiyasevich20131027 h10 lecture5_matiyasevich
20131027 h10 lecture5_matiyasevich
 
20091129 algorithmsfornphardproblems kulikov_lecture10
20091129 algorithmsfornphardproblems kulikov_lecture1020091129 algorithmsfornphardproblems kulikov_lecture10
20091129 algorithmsfornphardproblems kulikov_lecture10
 
Разбор задач модуля Комбинаторика l
Разбор задач модуля Комбинаторика lРазбор задач модуля Комбинаторика l
Разбор задач модуля Комбинаторика l
 
Основы комбинаторики - I
Основы комбинаторики - IОсновы комбинаторики - I
Основы комбинаторики - I
 
Pr i-6
Pr i-6Pr i-6
Pr i-6
 
Скорость роста функций
Скорость роста функцийСкорость роста функций
Скорость роста функций
 
L2: Задача классификации и регрессии. Метрики ошибок
L2: Задача классификации и регрессии. Метрики ошибокL2: Задача классификации и регрессии. Метрики ошибок
L2: Задача классификации и регрессии. Метрики ошибок
 
20110224 systems of_typed_lambda_calculi_moskvin_lecture02
20110224 systems of_typed_lambda_calculi_moskvin_lecture0220110224 systems of_typed_lambda_calculi_moskvin_lecture02
20110224 systems of_typed_lambda_calculi_moskvin_lecture02
 
Pr i-8
Pr i-8Pr i-8
Pr i-8
 

Viewers also liked (14)

Stephen woodley
Stephen woodleyStephen woodley
Stephen woodley
 
Creating poster and how i edited real
Creating poster and how i edited realCreating poster and how i edited real
Creating poster and how i edited real
 
Evaluation of magazine
Evaluation of magazineEvaluation of magazine
Evaluation of magazine
 
Media Evaluation
Media EvaluationMedia Evaluation
Media Evaluation
 
Sam titmarsh
Sam titmarshSam titmarsh
Sam titmarsh
 
A2 Media Evaluation
A2 Media EvaluationA2 Media Evaluation
A2 Media Evaluation
 
Evaluation 4march
Evaluation 4marchEvaluation 4march
Evaluation 4march
 
Gateway 2nd edition
Gateway 2nd editionGateway 2nd edition
Gateway 2nd edition
 
Ket reading and writing practice
Ket reading and writing practiceKet reading and writing practice
Ket reading and writing practice
 
Gateway
GatewayGateway
Gateway
 
Practica del KET
Practica del KETPractica del KET
Practica del KET
 
Vocabulary for pet (with answers)
Vocabulary for pet (with answers)Vocabulary for pet (with answers)
Vocabulary for pet (with answers)
 
209420610 pet-cambridge-exams-book-keys
209420610 pet-cambridge-exams-book-keys209420610 pet-cambridge-exams-book-keys
209420610 pet-cambridge-exams-book-keys
 
Pet Cambridge
Pet CambridgePet Cambridge
Pet Cambridge
 

Similar to презентация лекции по выпуклому анализу

интегралы
интегралыинтегралы
интегралы
tomik1044
 
Задачи Пятой олимпиады Эйлера учителей Санкт-Петербурга
Задачи Пятой олимпиады Эйлера учителей Санкт-ПетербургаЗадачи Пятой олимпиады Эйлера учителей Санкт-Петербурга
Задачи Пятой олимпиады Эйлера учителей Санкт-Петербурга
eekdiary
 
20111023 csseminar geometry_algorithms_implementation_kovalev
20111023 csseminar geometry_algorithms_implementation_kovalev20111023 csseminar geometry_algorithms_implementation_kovalev
20111023 csseminar geometry_algorithms_implementation_kovalev
Computer Science Club
 
Теорема Алона о нулях и её применения
Теорема Алона о нулях и её примененияТеорема Алона о нулях и её применения
Теорема Алона о нулях и её применения
Alex Dainiak
 
предел последовательности
предел последовательностипредел последовательности
предел последовательности
tomik1044
 

Similar to презентация лекции по выпуклому анализу (15)

L6: Метод опорных векторов
L6: Метод опорных векторовL6: Метод опорных векторов
L6: Метод опорных векторов
 
интегралы
интегралыинтегралы
интегралы
 
Задачи Пятой олимпиады Эйлера учителей Санкт-Петербурга
Задачи Пятой олимпиады Эйлера учителей Санкт-ПетербургаЗадачи Пятой олимпиады Эйлера учителей Санкт-Петербурга
Задачи Пятой олимпиады Эйлера учителей Санкт-Петербурга
 
ЕГЭ_№18
ЕГЭ_№18ЕГЭ_№18
ЕГЭ_№18
 
20111023 csseminar geometry_algorithms_implementation_kovalev
20111023 csseminar geometry_algorithms_implementation_kovalev20111023 csseminar geometry_algorithms_implementation_kovalev
20111023 csseminar geometry_algorithms_implementation_kovalev
 
Question04
Question04Question04
Question04
 
презентация к уроку2
презентация к уроку2презентация к уроку2
презентация к уроку2
 
производящие функции(продолжение)
производящие функции(продолжение)производящие функции(продолжение)
производящие функции(продолжение)
 
Линейная алгебра - II
Линейная алгебра - IIЛинейная алгебра - II
Линейная алгебра - II
 
Теорема Алона о нулях и её применения
Теорема Алона о нулях и её примененияТеорема Алона о нулях и её применения
Теорема Алона о нулях и её применения
 
Квадратные уравнения
Квадратные уравненияКвадратные уравнения
Квадратные уравнения
 
предел последовательности
предел последовательностипредел последовательности
предел последовательности
 
презентация уравнений
презентация уравненийпрезентация уравнений
презентация уравнений
 
№18_1
№18_1№18_1
№18_1
 
Площадь криволинейной трапециии
Площадь криволинейной трапециииПлощадь криволинейной трапециии
Площадь криволинейной трапециии
 

More from gthtcnhjqrf1952 (8)

Pr i-1
Pr i-1Pr i-1
Pr i-1
 
Pr i-8
Pr i-8Pr i-8
Pr i-8
 
Pr i-7
Pr i-7Pr i-7
Pr i-7
 
Pr i-5
Pr i-5Pr i-5
Pr i-5
 
Pr i-4
Pr i-4Pr i-4
Pr i-4
 
Pr i-3
Pr i-3Pr i-3
Pr i-3
 
Pr i-2
Pr i-2Pr i-2
Pr i-2
 
Pr i-1
Pr i-1Pr i-1
Pr i-1
 

презентация лекции по выпуклому анализу

  • 1. §4. Выпуклые задачи 4.1 Элементы выпуклого анализа. Выпуклые множества Пусть X — линейное нормированное пространство (для простоты понимания можно считать, что X = Rn). отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1}, интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1}, выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A, т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1, конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0, аффинное множество A, если ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ t ∈ R. Очевидно: аффинное множество выпукло. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 2. §4. Выпуклые задачи 4.1 Элементы выпуклого анализа. Выпуклые множества Пусть X — линейное нормированное пространство (для простоты понимания можно считать, что X = Rn). отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1}, интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1}, выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A, т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1, конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0, аффинное множество A, если ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ t ∈ R. Очевидно: аффинное множество выпукло. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 3. §4. Выпуклые задачи 4.1 Элементы выпуклого анализа. Выпуклые множества Пусть X — линейное нормированное пространство (для простоты понимания можно считать, что X = Rn). отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1}, интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1}, выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A, т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1, конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0, аффинное множество A, если ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ t ∈ R. Очевидно: аффинное множество выпукло. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 4. §4. Выпуклые задачи 4.1 Элементы выпуклого анализа. Выпуклые множества Пусть X — линейное нормированное пространство (для простоты понимания можно считать, что X = Rn). отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1}, интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1}, выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A, т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1, конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0, аффинное множество A, если ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ t ∈ R. Очевидно: аффинное множество выпукло. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 5. §4. Выпуклые задачи 4.1 Элементы выпуклого анализа. Выпуклые множества Пусть X — линейное нормированное пространство (для простоты понимания можно считать, что X = Rn). отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1}, интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1}, выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A, т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1, конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0, аффинное множество A, если ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ t ∈ R. Очевидно: аффинное множество выпукло. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 6. §4. Выпуклые задачи 4.1 Элементы выпуклого анализа. Выпуклые множества Пусть X — линейное нормированное пространство (для простоты понимания можно считать, что X = Rn). отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1}, интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1}, выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A, т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1, конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0, аффинное множество A, если ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ t ∈ R. Очевидно: аффинное множество выпукло. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 7. §4. Выпуклые задачи 4.1 Элементы выпуклого анализа. Выпуклые множества Пусть X — линейное нормированное пространство (для простоты понимания можно считать, что X = Rn). отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1}, интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1}, выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A, т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1, конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0, аффинное множество A, если ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ t ∈ R. Очевидно: аффинное множество выпукло. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 8. §4. Выпуклые задачи 4.1 Элементы выпуклого анализа. Выпуклые множества Пусть X — линейное нормированное пространство (для простоты понимания можно считать, что X = Rn). отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1}, интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1}, выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A, т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1, конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0, аффинное множество A, если ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ t ∈ R. Очевидно: аффинное множество выпукло. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 9. §4. Выпуклые задачи 4.1 Элементы выпуклого анализа. Выпуклые множества Пусть X — линейное нормированное пространство (для простоты понимания можно считать, что X = Rn). отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1}, интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1}, выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A, т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1, конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0, аффинное множество A, если ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ t ∈ R. Очевидно: аффинное множество выпукло. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 10. §4. Выпуклые задачи 4.1 Элементы выпуклого анализа. Выпуклые множества Пусть X — линейное нормированное пространство (для простоты понимания можно считать, что X = Rn). отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1}, интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1}, выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A, т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1, конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0, аффинное множество A, если ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ t ∈ R. Очевидно: аффинное множество выпукло. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 11. §4. Выпуклые задачи 4.1 Элементы выпуклого анализа. Выпуклые множества Пусть X — линейное нормированное пространство (для простоты понимания можно считать, что X = Rn). отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1}, интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1}, выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A, т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1, конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0, аффинное множество A, если ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ t ∈ R. Очевидно: аффинное множество выпукло. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 12. §4. Выпуклые задачи 4.1 Элементы выпуклого анализа. Выпуклые множества Пусть X — линейное нормированное пространство (для простоты понимания можно считать, что X = Rn). отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1}, интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1}, выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A, т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1, конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0, аффинное множество A, если ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ t ∈ R. Очевидно: аффинное множество выпукло. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 13. §4. Выпуклые задачи 4.1 Элементы выпуклого анализа. Выпуклые множества Пусть X — линейное нормированное пространство (для простоты понимания можно считать, что X = Rn). отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1}, интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1}, выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A, т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1, конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0, аффинное множество A, если ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ t ∈ R. Очевидно: аффинное множество выпукло. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 14. §4. Выпуклые задачи 4.1 Элементы выпуклого анализа. Выпуклые множества Пусть X — линейное нормированное пространство (для простоты понимания можно считать, что X = Rn). отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1}, интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1}, выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A, т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1, конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0, аффинное множество A, если ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ t ∈ R. Очевидно: аффинное множество выпукло. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 15. §4. Выпуклые задачи 4.1 Элементы выпуклого анализа. Выпуклые множества Пусть X — линейное нормированное пространство (для простоты понимания можно считать, что X = Rn). отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1}, интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1}, выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A, т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1, конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0, аффинное множество A, если ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ t ∈ R. Очевидно: аффинное множество выпукло. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 16. §4. Выпуклые задачи 4.1 Элементы выпуклого анализа. Выпуклые множества Пусть X — линейное нормированное пространство (для простоты понимания можно считать, что X = Rn). отрезок [a, b] = {x ∈ X | x = a + t(b − a), 0 ≤ t ≤ 1}, интервал (a, b) = {x ∈ X | x = a + t(b − a), 0 < t < 1}, выпуклое множество A, если ∀ a, b∈A отрезок [a, b]⊂A, т. е. ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ 0 ≤ t ≤ 1, конус K (K = ∅), если ∀ x ∈ K точка tx ∈ K ∀ t ≥ 0, аффинное множество A, если ∀ a, b ∈ A точка (1 − t)a + tb ∈ A ∀ t ∈ R. Очевидно: аффинное множество выпукло. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 17. Пусть точки a1, . . . , am ∈ X, m i=1 tiai — комбинация, ti ∈ R. выпуклая комбинация, если ti ≥ 0, m i=1 ti = 1; коническая комбинация, если ti ≥ 0; аффинная комбинация, если m i=1 ti = 1; выпуклая оболочка conv{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0, m i=1 ti = 1 — совокупность всех выпуклых комбинаций; коническая выпуклая оболочка conev{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0 ; аффинная оболочка aff{a1, . . . , am}:= a = m i=1 tiai m i=1 ti = 1 . Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 18. Пусть точки a1, . . . , am ∈ X, m i=1 tiai — комбинация, ti ∈ R. выпуклая комбинация, если ti ≥ 0, m i=1 ti = 1; коническая комбинация, если ti ≥ 0; аффинная комбинация, если m i=1 ti = 1; выпуклая оболочка conv{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0, m i=1 ti = 1 — совокупность всех выпуклых комбинаций; коническая выпуклая оболочка conev{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0 ; аффинная оболочка aff{a1, . . . , am}:= a = m i=1 tiai m i=1 ti = 1 . Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 19. Пусть точки a1, . . . , am ∈ X, m i=1 tiai — комбинация, ti ∈ R. выпуклая комбинация, если ti ≥ 0, m i=1 ti = 1; коническая комбинация, если ti ≥ 0; аффинная комбинация, если m i=1 ti = 1; выпуклая оболочка conv{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0, m i=1 ti = 1 — совокупность всех выпуклых комбинаций; коническая выпуклая оболочка conev{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0 ; аффинная оболочка aff{a1, . . . , am}:= a = m i=1 tiai m i=1 ti = 1 . Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 20. Пусть точки a1, . . . , am ∈ X, m i=1 tiai — комбинация, ti ∈ R. выпуклая комбинация, если ti ≥ 0, m i=1 ti = 1; коническая комбинация, если ti ≥ 0; аффинная комбинация, если m i=1 ti = 1; выпуклая оболочка conv{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0, m i=1 ti = 1 — совокупность всех выпуклых комбинаций; коническая выпуклая оболочка conev{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0 ; аффинная оболочка aff{a1, . . . , am}:= a = m i=1 tiai m i=1 ti = 1 . Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 21. Пусть точки a1, . . . , am ∈ X, m i=1 tiai — комбинация, ti ∈ R. выпуклая комбинация, если ti ≥ 0, m i=1 ti = 1; коническая комбинация, если ti ≥ 0; аффинная комбинация, если m i=1 ti = 1; выпуклая оболочка conv{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0, m i=1 ti = 1 — совокупность всех выпуклых комбинаций; коническая выпуклая оболочка conev{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0 ; аффинная оболочка aff{a1, . . . , am}:= a = m i=1 tiai m i=1 ti = 1 . Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 22. Пусть точки a1, . . . , am ∈ X, m i=1 tiai — комбинация, ti ∈ R. выпуклая комбинация, если ti ≥ 0, m i=1 ti = 1; коническая комбинация, если ti ≥ 0; аффинная комбинация, если m i=1 ti = 1; выпуклая оболочка conv{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0, m i=1 ti = 1 — совокупность всех выпуклых комбинаций; коническая выпуклая оболочка conev{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0 ; аффинная оболочка aff{a1, . . . , am}:= a = m i=1 tiai m i=1 ti = 1 . Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 23. Пусть точки a1, . . . , am ∈ X, m i=1 tiai — комбинация, ti ∈ R. выпуклая комбинация, если ti ≥ 0, m i=1 ti = 1; коническая комбинация, если ti ≥ 0; аффинная комбинация, если m i=1 ti = 1; выпуклая оболочка conv{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0, m i=1 ti = 1 — совокупность всех выпуклых комбинаций; коническая выпуклая оболочка conev{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0 ; аффинная оболочка aff{a1, . . . , am}:= a = m i=1 tiai m i=1 ti = 1 . Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 24. Пусть точки a1, . . . , am ∈ X, m i=1 tiai — комбинация, ti ∈ R. выпуклая комбинация, если ti ≥ 0, m i=1 ti = 1; коническая комбинация, если ti ≥ 0; аффинная комбинация, если m i=1 ti = 1; выпуклая оболочка conv{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0, m i=1 ti = 1 — совокупность всех выпуклых комбинаций; коническая выпуклая оболочка conev{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0 ; аффинная оболочка aff{a1, . . . , am}:= a = m i=1 tiai m i=1 ti = 1 . Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 25. Пусть точки a1, . . . , am ∈ X, m i=1 tiai — комбинация, ti ∈ R. выпуклая комбинация, если ti ≥ 0, m i=1 ti = 1; коническая комбинация, если ti ≥ 0; аффинная комбинация, если m i=1 ti = 1; выпуклая оболочка conv{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0, m i=1 ti = 1 — совокупность всех выпуклых комбинаций; коническая выпуклая оболочка conev{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0 ; аффинная оболочка aff{a1, . . . , am}:= a = m i=1 tiai m i=1 ti = 1 . Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 26. Пусть точки a1, . . . , am ∈ X, m i=1 tiai — комбинация, ti ∈ R. выпуклая комбинация, если ti ≥ 0, m i=1 ti = 1; коническая комбинация, если ti ≥ 0; аффинная комбинация, если m i=1 ti = 1; выпуклая оболочка conv{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0, m i=1 ti = 1 — совокупность всех выпуклых комбинаций; коническая выпуклая оболочка conev{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0 ; аффинная оболочка aff{a1, . . . , am}:= a = m i=1 tiai m i=1 ti = 1 . Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 27. Пусть точки a1, . . . , am ∈ X, m i=1 tiai — комбинация, ti ∈ R. выпуклая комбинация, если ti ≥ 0, m i=1 ti = 1; коническая комбинация, если ti ≥ 0; аффинная комбинация, если m i=1 ti = 1; выпуклая оболочка conv{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0, m i=1 ti = 1 — совокупность всех выпуклых комбинаций; коническая выпуклая оболочка conev{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0 ; аффинная оболочка aff{a1, . . . , am}:= a = m i=1 tiai m i=1 ti = 1 . Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 28. Пусть точки a1, . . . , am ∈ X, m i=1 tiai — комбинация, ti ∈ R. выпуклая комбинация, если ti ≥ 0, m i=1 ti = 1; коническая комбинация, если ti ≥ 0; аффинная комбинация, если m i=1 ti = 1; выпуклая оболочка conv{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0, m i=1 ti = 1 — совокупность всех выпуклых комбинаций; коническая выпуклая оболочка conev{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0 ; аффинная оболочка aff{a1, . . . , am}:= a = m i=1 tiai m i=1 ti = 1 . Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 29. Пусть точки a1, . . . , am ∈ X, m i=1 tiai — комбинация, ti ∈ R. выпуклая комбинация, если ti ≥ 0, m i=1 ti = 1; коническая комбинация, если ti ≥ 0; аффинная комбинация, если m i=1 ti = 1; выпуклая оболочка conv{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0, m i=1 ti = 1 — совокупность всех выпуклых комбинаций; коническая выпуклая оболочка conev{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0 ; аффинная оболочка aff{a1, . . . , am}:= a = m i=1 tiai m i=1 ti = 1 . Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 30. Пусть точки a1, . . . , am ∈ X, m i=1 tiai — комбинация, ti ∈ R. выпуклая комбинация, если ti ≥ 0, m i=1 ti = 1; коническая комбинация, если ti ≥ 0; аффинная комбинация, если m i=1 ti = 1; выпуклая оболочка conv{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0, m i=1 ti = 1 — совокупность всех выпуклых комбинаций; коническая выпуклая оболочка conev{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0 ; аффинная оболочка aff{a1, . . . , am}:= a = m i=1 tiai m i=1 ti = 1 . Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 31. Пусть точки a1, . . . , am ∈ X, m i=1 tiai — комбинация, ti ∈ R. выпуклая комбинация, если ti ≥ 0, m i=1 ti = 1; коническая комбинация, если ti ≥ 0; аффинная комбинация, если m i=1 ti = 1; выпуклая оболочка conv{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0, m i=1 ti = 1 — совокупность всех выпуклых комбинаций; коническая выпуклая оболочка conev{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0 ; аффинная оболочка aff{a1, . . . , am}:= a = m i=1 tiai m i=1 ti = 1 . Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 32. Пусть точки a1, . . . , am ∈ X, m i=1 tiai — комбинация, ti ∈ R. выпуклая комбинация, если ti ≥ 0, m i=1 ti = 1; коническая комбинация, если ti ≥ 0; аффинная комбинация, если m i=1 ti = 1; выпуклая оболочка conv{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0, m i=1 ti = 1 — совокупность всех выпуклых комбинаций; коническая выпуклая оболочка conev{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0 ; аффинная оболочка aff{a1, . . . , am}:= a = m i=1 tiai m i=1 ti = 1 . Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 33. Пусть точки a1, . . . , am ∈ X, m i=1 tiai — комбинация, ti ∈ R. выпуклая комбинация, если ti ≥ 0, m i=1 ti = 1; коническая комбинация, если ti ≥ 0; аффинная комбинация, если m i=1 ti = 1; выпуклая оболочка conv{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0, m i=1 ti = 1 — совокупность всех выпуклых комбинаций; коническая выпуклая оболочка conev{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0 ; аффинная оболочка aff{a1, . . . , am}:= a = m i=1 tiai m i=1 ti = 1 . Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 34. Пусть точки a1, . . . , am ∈ X, m i=1 tiai — комбинация, ti ∈ R. выпуклая комбинация, если ti ≥ 0, m i=1 ti = 1; коническая комбинация, если ti ≥ 0; аффинная комбинация, если m i=1 ti = 1; выпуклая оболочка conv{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0, m i=1 ti = 1 — совокупность всех выпуклых комбинаций; коническая выпуклая оболочка conev{a1, . . . , am}:= a = m i=1 tiai ti ≥ 0 ; аффинная оболочка aff{a1, . . . , am}:= a = m i=1 tiai m i=1 ti = 1 . Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 35. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 36. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 37. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 38. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 39. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 40. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 41. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 42. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 43. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 44. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 45. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 46. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 47. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 48. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 49. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 50. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 51. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 52. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 53. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 54. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 55. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 56. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 57. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 58. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 59. Теорема 1. Пересечение любого числа выпуклых (конических, аффинных) множеств является выпуклым (коническим, аффинным) множеством. 2. f : X → Y — линейное отображение1, A — выпуклое (коническое, аффинное) множество ⇔ f(A) — выпуклое (коническое, аффинное) множество. 3. Сдвиг A → b + A выпуклого (аффинного) множества является выпуклым (аффинным) множеством.vspace*-1mm ¡ (для выпуклых множеств) 1. Aα — выпуклые множества ⇒ A = ∩αAα — выпуклое. Возьмем a, b ∈ A ⇒ a, b ∈ Aα ∀ α ⇒ (1 − t)a + tb ∈ Aα (0 ≤ t ≤ 1) ∀ α ⇒ (1 − t)a + tb ∈ A. 2. Возьмем y, z ∈ f(A) ⇒ y = f(a), z = f(b), a, b ∈ A. (1 − t)y + tz = (1 − t)f(a) + tf(b) f −линейное = f (1 − t)a + tb ⇒ (1 − t)y + tz ∈ f(A) ⇒ f(A) — выпукло. £ 1 f — линейное, если f(λa + µb) = λf(a) + µf(b) ∀ a, b ∈ X, ∀ λ, µ ∈ R. Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 60. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 61. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 62. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 63. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 64. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 65. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 66. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 67. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 68. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 69. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 70. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 71. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 72. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 73. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 74. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 75. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 76. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 77. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 78. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 79. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 80. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 81. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 82. Лемма (1-v) A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. ¡ Индукция по n. n = 1 – очевидно. Предположим, лемма верна ∀ выпуклой оболочки не более, чем n − 1 точки. Пусть a ∈ conv {a1, . . . , an} ⇒ a = n i=1 tiai, n i=1 ti = 1, ti ≥ 0. Если t1 = 1, то a = a1 ∈ A. Если же t1 = 1, то полагаем ˜tk = tk 1−t1 при k = 2, . . . , n. Так как n k=2 ˜tk = n k=2 tk 1−t1 = 1−t1 1−t1 = 1, то ˜a = n k=2 ˜tk ak – выпуклая комбинация, и по индукции ˜a∈A. Тогда, в силу выпуклости A имеем a = t1a1 + n k=2 tk ak = t1a1 + n k=2 (1 − t1)˜tk ak = t1a1 + (1 − t1)˜a ∈ A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 83. Обозначим conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Из определения (n = 1) следует, что conv A ⊃ A. Лемма (2-v) Множество conv A — выпукло. ¡ Возьмем a, b ∈ conv A ⇒ a = m i=1 λiai, b = n j=1 µjbj, m i=1 λi = n j=1 µj = 1. Тогда ∀ t ∈ [0; 1] имеем (1−t)a+tb = (1−t) m i=1 λiai +t n j=1 µjbj = m i=1 (1−t)λiai + n j=1 tµjbj. Заметим, что все множители (1 − t)λi и tµj неотрицательны и m i=1 (1 − t)λi + n j=1 tµj = 1, значит, получили выпуклую комбинацию точек a1, . . . , am, b1, . . . , bn, которая принадлежит conv A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 84. Обозначим conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Из определения (n = 1) следует, что conv A ⊃ A. Лемма (2-v) Множество conv A — выпукло. ¡ Возьмем a, b ∈ conv A ⇒ a = m i=1 λiai, b = n j=1 µjbj, m i=1 λi = n j=1 µj = 1. Тогда ∀ t ∈ [0; 1] имеем (1−t)a+tb = (1−t) m i=1 λiai +t n j=1 µjbj = m i=1 (1−t)λiai + n j=1 tµjbj. Заметим, что все множители (1 − t)λi и tµj неотрицательны и m i=1 (1 − t)λi + n j=1 tµj = 1, значит, получили выпуклую комбинацию точек a1, . . . , am, b1, . . . , bn, которая принадлежит conv A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 85. Обозначим conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Из определения (n = 1) следует, что conv A ⊃ A. Лемма (2-v) Множество conv A — выпукло. ¡ Возьмем a, b ∈ conv A ⇒ a = m i=1 λiai, b = n j=1 µjbj, m i=1 λi = n j=1 µj = 1. Тогда ∀ t ∈ [0; 1] имеем (1−t)a+tb = (1−t) m i=1 λiai +t n j=1 µjbj = m i=1 (1−t)λiai + n j=1 tµjbj. Заметим, что все множители (1 − t)λi и tµj неотрицательны и m i=1 (1 − t)λi + n j=1 tµj = 1, значит, получили выпуклую комбинацию точек a1, . . . , am, b1, . . . , bn, которая принадлежит conv A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 86. Обозначим conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Из определения (n = 1) следует, что conv A ⊃ A. Лемма (2-v) Множество conv A — выпукло. ¡ Возьмем a, b ∈ conv A ⇒ a = m i=1 λiai, b = n j=1 µjbj, m i=1 λi = n j=1 µj = 1. Тогда ∀ t ∈ [0; 1] имеем (1−t)a+tb = (1−t) m i=1 λiai +t n j=1 µjbj = m i=1 (1−t)λiai + n j=1 tµjbj. Заметим, что все множители (1 − t)λi и tµj неотрицательны и m i=1 (1 − t)λi + n j=1 tµj = 1, значит, получили выпуклую комбинацию точек a1, . . . , am, b1, . . . , bn, которая принадлежит conv A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 87. Обозначим conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Из определения (n = 1) следует, что conv A ⊃ A. Лемма (2-v) Множество conv A — выпукло. ¡ Возьмем a, b ∈ conv A ⇒ a = m i=1 λiai, b = n j=1 µjbj, m i=1 λi = n j=1 µj = 1. Тогда ∀ t ∈ [0; 1] имеем (1−t)a+tb = (1−t) m i=1 λiai +t n j=1 µjbj = m i=1 (1−t)λiai + n j=1 tµjbj. Заметим, что все множители (1 − t)λi и tµj неотрицательны и m i=1 (1 − t)λi + n j=1 tµj = 1, значит, получили выпуклую комбинацию точек a1, . . . , am, b1, . . . , bn, которая принадлежит conv A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 88. Обозначим conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Из определения (n = 1) следует, что conv A ⊃ A. Лемма (2-v) Множество conv A — выпукло. ¡ Возьмем a, b ∈ conv A ⇒ a = m i=1 λiai, b = n j=1 µjbj, m i=1 λi = n j=1 µj = 1. Тогда ∀ t ∈ [0; 1] имеем (1−t)a+tb = (1−t) m i=1 λiai +t n j=1 µjbj = m i=1 (1−t)λiai + n j=1 tµjbj. Заметим, что все множители (1 − t)λi и tµj неотрицательны и m i=1 (1 − t)λi + n j=1 tµj = 1, значит, получили выпуклую комбинацию точек a1, . . . , am, b1, . . . , bn, которая принадлежит conv A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 89. Обозначим conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Из определения (n = 1) следует, что conv A ⊃ A. Лемма (2-v) Множество conv A — выпукло. ¡ Возьмем a, b ∈ conv A ⇒ a = m i=1 λiai, b = n j=1 µjbj, m i=1 λi = n j=1 µj = 1. Тогда ∀ t ∈ [0; 1] имеем (1−t)a+tb = (1−t) m i=1 λiai +t n j=1 µjbj = m i=1 (1−t)λiai + n j=1 tµjbj. Заметим, что все множители (1 − t)λi и tµj неотрицательны и m i=1 (1 − t)λi + n j=1 tµj = 1, значит, получили выпуклую комбинацию точек a1, . . . , am, b1, . . . , bn, которая принадлежит conv A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 90. Обозначим conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Из определения (n = 1) следует, что conv A ⊃ A. Лемма (2-v) Множество conv A — выпукло. ¡ Возьмем a, b ∈ conv A ⇒ a = m i=1 λiai, b = n j=1 µjbj, m i=1 λi = n j=1 µj = 1. Тогда ∀ t ∈ [0; 1] имеем (1−t)a+tb = (1−t) m i=1 λiai +t n j=1 µjbj = m i=1 (1−t)λiai + n j=1 tµjbj. Заметим, что все множители (1 − t)λi и tµj неотрицательны и m i=1 (1 − t)λi + n j=1 tµj = 1, значит, получили выпуклую комбинацию точек a1, . . . , am, b1, . . . , bn, которая принадлежит conv A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 91. Обозначим conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Из определения (n = 1) следует, что conv A ⊃ A. Лемма (2-v) Множество conv A — выпукло. ¡ Возьмем a, b ∈ conv A ⇒ a = m i=1 λiai, b = n j=1 µjbj, m i=1 λi = n j=1 µj = 1. Тогда ∀ t ∈ [0; 1] имеем (1−t)a+tb = (1−t) m i=1 λiai +t n j=1 µjbj = m i=1 (1−t)λiai + n j=1 tµjbj. Заметим, что все множители (1 − t)λi и tµj неотрицательны и m i=1 (1 − t)λi + n j=1 tµj = 1, значит, получили выпуклую комбинацию точек a1, . . . , am, b1, . . . , bn, которая принадлежит conv A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 92. Обозначим conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Из определения (n = 1) следует, что conv A ⊃ A. Лемма (2-v) Множество conv A — выпукло. ¡ Возьмем a, b ∈ conv A ⇒ a = m i=1 λiai, b = n j=1 µjbj, m i=1 λi = n j=1 µj = 1. Тогда ∀ t ∈ [0; 1] имеем (1−t)a+tb = (1−t) m i=1 λiai +t n j=1 µjbj = m i=1 (1−t)λiai + n j=1 tµjbj. Заметим, что все множители (1 − t)λi и tµj неотрицательны и m i=1 (1 − t)λi + n j=1 tµj = 1, значит, получили выпуклую комбинацию точек a1, . . . , am, b1, . . . , bn, которая принадлежит conv A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 93. Обозначим conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Из определения (n = 1) следует, что conv A ⊃ A. Лемма (2-v) Множество conv A — выпукло. ¡ Возьмем a, b ∈ conv A ⇒ a = m i=1 λiai, b = n j=1 µjbj, m i=1 λi = n j=1 µj = 1. Тогда ∀ t ∈ [0; 1] имеем (1−t)a+tb = (1−t) m i=1 λiai +t n j=1 µjbj = m i=1 (1−t)λiai + n j=1 tµjbj. Заметим, что все множители (1 − t)λi и tµj неотрицательны и m i=1 (1 − t)λi + n j=1 tµj = 1, значит, получили выпуклую комбинацию точек a1, . . . , am, b1, . . . , bn, которая принадлежит conv A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 94. Обозначим conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Из определения (n = 1) следует, что conv A ⊃ A. Лемма (2-v) Множество conv A — выпукло. ¡ Возьмем a, b ∈ conv A ⇒ a = m i=1 λiai, b = n j=1 µjbj, m i=1 λi = n j=1 µj = 1. Тогда ∀ t ∈ [0; 1] имеем (1−t)a+tb = (1−t) m i=1 λiai +t n j=1 µjbj = m i=1 (1−t)λiai + n j=1 tµjbj. Заметим, что все множители (1 − t)λi и tµj неотрицательны и m i=1 (1 − t)λi + n j=1 tµj = 1, значит, получили выпуклую комбинацию точек a1, . . . , am, b1, . . . , bn, которая принадлежит conv A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 95. Обозначим conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Из определения (n = 1) следует, что conv A ⊃ A. Лемма (2-v) Множество conv A — выпукло. ¡ Возьмем a, b ∈ conv A ⇒ a = m i=1 λiai, b = n j=1 µjbj, m i=1 λi = n j=1 µj = 1. Тогда ∀ t ∈ [0; 1] имеем (1−t)a+tb = (1−t) m i=1 λiai +t n j=1 µjbj = m i=1 (1−t)λiai + n j=1 tµjbj. Заметим, что все множители (1 − t)λi и tµj неотрицательны и m i=1 (1 − t)λi + n j=1 tµj = 1, значит, получили выпуклую комбинацию точек a1, . . . , am, b1, . . . , bn, которая принадлежит conv A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 96. Обозначим conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Из определения (n = 1) следует, что conv A ⊃ A. Лемма (2-v) Множество conv A — выпукло. ¡ Возьмем a, b ∈ conv A ⇒ a = m i=1 λiai, b = n j=1 µjbj, m i=1 λi = n j=1 µj = 1. Тогда ∀ t ∈ [0; 1] имеем (1−t)a+tb = (1−t) m i=1 λiai +t n j=1 µjbj = m i=1 (1−t)λiai + n j=1 tµjbj. Заметим, что все множители (1 − t)λi и tµj неотрицательны и m i=1 (1 − t)λi + n j=1 tµj = 1, значит, получили выпуклую комбинацию точек a1, . . . , am, b1, . . . , bn, которая принадлежит conv A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 97. Обозначим conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Из определения (n = 1) следует, что conv A ⊃ A. Лемма (2-v) Множество conv A — выпукло. ¡ Возьмем a, b ∈ conv A ⇒ a = m i=1 λiai, b = n j=1 µjbj, m i=1 λi = n j=1 µj = 1. Тогда ∀ t ∈ [0; 1] имеем (1−t)a+tb = (1−t) m i=1 λiai +t n j=1 µjbj = m i=1 (1−t)λiai + n j=1 tµjbj. Заметим, что все множители (1 − t)λi и tµj неотрицательны и m i=1 (1 − t)λi + n j=1 tµj = 1, значит, получили выпуклую комбинацию точек a1, . . . , am, b1, . . . , bn, которая принадлежит conv A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 98. Обозначим conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Из определения (n = 1) следует, что conv A ⊃ A. Лемма (2-v) Множество conv A — выпукло. ¡ Возьмем a, b ∈ conv A ⇒ a = m i=1 λiai, b = n j=1 µjbj, m i=1 λi = n j=1 µj = 1. Тогда ∀ t ∈ [0; 1] имеем (1−t)a+tb = (1−t) m i=1 λiai +t n j=1 µjbj = m i=1 (1−t)λiai + n j=1 tµjbj. Заметим, что все множители (1 − t)λi и tµj неотрицательны и m i=1 (1 − t)λi + n j=1 tµj = 1, значит, получили выпуклую комбинацию точек a1, . . . , am, b1, . . . , bn, которая принадлежит conv A. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 99. Лемма 1-v. A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Лемма 2-v. Множество conv A — выпукло. Теорема A — выпукло ⇔ conv A = A. ¡ A — выпукло ⇒ по лемме 1-v conv A ⊂ A. Вложение conv A ⊃ A следует из определения conv A (n = 1). Обратно. Пусть conv A = A. По лемме 2-v conv A — выпукло ⇒ A — выпукло. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 100. Лемма 1-v. A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Лемма 2-v. Множество conv A — выпукло. Теорема A — выпукло ⇔ conv A = A. ¡ A — выпукло ⇒ по лемме 1-v conv A ⊂ A. Вложение conv A ⊃ A следует из определения conv A (n = 1). Обратно. Пусть conv A = A. По лемме 2-v conv A — выпукло ⇒ A — выпукло. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 101. Лемма 1-v. A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Лемма 2-v. Множество conv A — выпукло. Теорема A — выпукло ⇔ conv A = A. ¡ A — выпукло ⇒ по лемме 1-v conv A ⊂ A. Вложение conv A ⊃ A следует из определения conv A (n = 1). Обратно. Пусть conv A = A. По лемме 2-v conv A — выпукло ⇒ A — выпукло. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 102. Лемма 1-v. A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Лемма 2-v. Множество conv A — выпукло. Теорема A — выпукло ⇔ conv A = A. ¡ A — выпукло ⇒ по лемме 1-v conv A ⊂ A. Вложение conv A ⊃ A следует из определения conv A (n = 1). Обратно. Пусть conv A = A. По лемме 2-v conv A — выпукло ⇒ A — выпукло. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 103. Лемма 1-v. A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Лемма 2-v. Множество conv A — выпукло. Теорема A — выпукло ⇔ conv A = A. ¡ A — выпукло ⇒ по лемме 1-v conv A ⊂ A. Вложение conv A ⊃ A следует из определения conv A (n = 1). Обратно. Пусть conv A = A. По лемме 2-v conv A — выпукло ⇒ A — выпукло. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 104. Лемма 1-v. A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Лемма 2-v. Множество conv A — выпукло. Теорема A — выпукло ⇔ conv A = A. ¡ A — выпукло ⇒ по лемме 1-v conv A ⊂ A. Вложение conv A ⊃ A следует из определения conv A (n = 1). Обратно. Пусть conv A = A. По лемме 2-v conv A — выпукло ⇒ A — выпукло. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 105. Лемма 1-v. A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Лемма 2-v. Множество conv A — выпукло. Теорема A — выпукло ⇔ conv A = A. ¡ A — выпукло ⇒ по лемме 1-v conv A ⊂ A. Вложение conv A ⊃ A следует из определения conv A (n = 1). Обратно. Пусть conv A = A. По лемме 2-v conv A — выпукло ⇒ A — выпукло. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 106. Лемма 1-v. A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Лемма 2-v. Множество conv A — выпукло. Теорема A — выпукло ⇔ conv A = A. ¡ A — выпукло ⇒ по лемме 1-v conv A ⊂ A. Вложение conv A ⊃ A следует из определения conv A (n = 1). Обратно. Пусть conv A = A. По лемме 2-v conv A — выпукло ⇒ A — выпукло. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ
  • 107. Лемма 1-v. A — выпукло ⇒ conv {a1, . . . , an} ⊂ A ∀ a1, . . . , an ∈ A. conv A:= a1,...,an∈A, n∈N conv {a1, . . . , an}. Лемма 2-v. Множество conv A — выпукло. Теорема A — выпукло ⇔ conv A = A. ¡ A — выпукло ⇒ по лемме 1-v conv A ⊂ A. Вложение conv A ⊃ A следует из определения conv A (n = 1). Обратно. Пусть conv A = A. По лемме 2-v conv A — выпукло ⇒ A — выпукло. £ Галеев Э. М. МГУ Лекции: Выпуклый анализ