Подвійна вертикальна лінія

Те, що ця подвійна риска означає в математиці, — це розділювач. У ‖x‖ пара охоплює риски норми: розмір, довжину чи величину, приписану x. У матрицях та ж сама рамка може охоплювати матрицю або її норму, тож читайте навколишню нотацію.

Історія подвійної вертикальної лінії математична, а не декоративна. Нотацію подвійної лінії запровадив Артур Кейлі у 1843 році, із задокументованим матричним ужитком у 1846 році. Вона належить до родини вертикальних знаків, де розділювачі й оператори схожі, але діють по-різному.

Де ще трапляється подвійна лінія?

У поезії вона позначає сильну паузу. Подвійна вертикальна лінія сигналізує цезуру, особливо коли вірш надруковано як прозу. У старих біблійних виданнях подвійні риски могли позначати маргіналію з альтернативним формулюванням.

Схожий індійський знак, подвійна данда, завершує строфу чи розділ. Він належить до власної писемної традиції, а не до цього символу. Математична типографія також відокремлює цей розділювач від ∥, оператора паралельності: дві риски не гарантують одного значення.