Тройная полоса

редактировать
Идентично
Не идентично

Тройная полоса, ≡, представляет собой символ с несколькими контекстно-зависимыми значениями. Он имеет вид знака равно ⟨=⟩ с третьей строкой. Тройной штрих в Unicode является кодовой точкой U + 2261 ≡ ИДЕНТИЧНЫЙ ТО (HTML ·≡, ≡). Тесно связанный кодовый пункт U + 2262 ≢ НЕ ИДЕНТИЧНЫЙ ТО (HTML ·≢, ≢) - это тот же символ, через который проходит косая черта, что указывает на отрицание его математического значения. В LaTeX математическая формула Так, код \ Equivсоздает символ с тройной полосой, а \ not \ Equivсоздает инвертированный символ с тройной полосой в качестве вывода.

Содержание
  • 1 Использует
    • 1.1 Математика и философия
    • 1.2 Наука
    • 1.3 Дизайн приложений
  • 2 Ссылки
Использует

Математика и философия

В логике используется с двумя разными, но связанными значениями. Он может относиться к тогда и только тогда, когда соединительный элемент, также называемый материальной эквивалентностью. Это бинарная операция , значение которой истинно, если два ее аргумента имеют одинаковое значение. В качестве альтернативы, в некоторых текстах ⇔ используется с этим значением, а ≡ используется для более высокого уровня металогического понятия логической эквивалентности, согласно которому две формулы логически эквивалентны, когда все модели придают им одинаковую ценность. Готлоб Фреге использовал тройную планку для более философского понятия идентичности, в котором два утверждения (не обязательно в математике или формальной логике) идентичны, если они могут свободно заменять друг друга без изменения значения.

В математике тройная черта иногда используется как символ идентичности или отношения эквивалентности (хотя и не единственный; другие распространенные варианты включают ~ и ≈). В частности, в геометрии он может использоваться либо для того, чтобы показать, что две фигуры конгруэнтны, либо что они идентичны. В теории чисел оно использовалось, начиная с Карла Фридриха Гаусса (который впервые использовал это значение в 1801 году) для обозначения модульной конгруэнтности : a b (mod N) {\ displaystyle a \ Equiv b {\ pmod {N}}}a \ Equiv b \ pmod N , если N делит a - b. Он также используется для «одинакового равенства» функций; записывается f ≡ g {\ displaystyle f \ Equiv g}f \ Equiv g для двух функций f, g, если мы имеем f (x) = g (x) {\ displaystyle f (x) = g (x)}f (x) = г (Икс) для всех x.

В теории категорий тройные столбцы могут использоваться для соединения объектов на коммутативной диаграмме, что указывает на то, что они на самом деле являются одним и тем же объектом, а не связаны стрелкой категории.

Этот символ также иногда используется вместо знака равенства для уравнений, определяющих символ слева - сторона уравнения, чтобы противопоставить их уравнениям, в которых члены обеих сторон уравнения уже были определены. Альтернативное обозначение для этого использования - набрать буквы "def" над обычным знаком равенства, a = defb {\ displaystyle a {\ overset {\ underset {\ mathrm {def}} {}} {=}} b}{\ Displaystyle a {\ overset {\ underset {\ mathrm {def}} {}} {=}} b} .

Наука

В ботанической номенклатуре тройная черта обозначает гомотипические синонимы (основанные на образце того же типа ), чтобы отличить их от гетеротипных синонимов (основанных на образцах разных типов), которые помечены знаком равно.

В химии тройная черта может использоваться для обозначения тройки связь между атомами. Например, HC≡CH - это обычное сокращение для ацетилена (систематическое название: этин).

Дизайн приложения

В мобильном, веб и общем дизайне приложения аналогичный символ иногда используется как элемент интерфейса, где он называется значок гамбургера. Элемент обычно указывает, что меню навигации может быть доступно, когда элемент активирован; полосы символа можно рассматривать как стилизованные пункты меню, а некоторые варианты этого символа добавляют дополнительные полосы или маркеры к каждой полосе, чтобы усилить это визуальное сходство. Использование этого символа восходит к ранним компьютерным интерфейсам, разработанным в Xerox PARC в 1980-х годах. Он также похож на значок, который часто используется для обозначения выравнивания текста по ширине. Это часто используемый компонент руководящих принципов Google Material Design, и многие приложения Android и веб-приложения, которые следуют этим рекомендациям, используют гамбургер-меню.

Ссылки
Последняя правка сделана 2021-06-11 11:50:05
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте