Проверка метрики, полноты и пополнение пространство отрезков

[Kunt]

Имеется множество отрезков X, L1 и L2 - отрезки. d(L1, L2) = |L1|+|L2|-2|L1⋂L2|.
1) Как составить неравенство треугольника? меня пугает 3-й член ( 2|L1⋂L2| ) , не понимаю как составить. Не могли бы пояснить ход действий тут?
2)Условие полноты, если любая фундаментальная последовательность будет сходится, а как это для отрезков с такой d? и также не понимаю как пополнить. В литературе кучу примеров находил, но не для отрезков, у самого не получается вникнуть.

[Pphantom]

Тема перемещена из форума «Математика (общие вопросы)» в форум «Карантин»
по следующим причинам:

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);
- отсутствуют собственные содержательные попытки решения задачи.

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.