트리플바
Triple bar≡ | |
---|---|
동일한 | |
U+2261 ≡ 동일(&Congent;, ≡) |
≢ | |
---|---|
동일하지 않음 | |
U+2262 ≢ 동일하지 않음(≢, &NotCongent;) |
삼중 막대 또는 트라이바인 ≡는 두 가지 다른 것의 동등성을 나타내는 다수의 문맥 의존적인 의미를 가진 기호입니다.그것의 주된 용도는 수학과 논리학입니다.등호 ⟨= 세 번째 선이 있는 ⟩ ⟩의 모양을 하고 있습니다.
인코딩
유니코드의 세 줄 문자는 코드 포인트 U+2261 ≡ INAMLE TO (&Conguent;, ≡)입니다.밀접하게 연관된 코드 포인트 U+2262 ≢ NOT ELECTICAL TO (≢, &NotConguent;)는 같은 기호로, 그 수학적 의미가 부정됨을 나타냅니다.
LaTeX 수학 공식에서 코드는\equiv
세 개의 막대 기호를 만들어냅니다.\not\equiv
는 부정된 삼중 막대 기호 ≢ }을를) 출력으로 생성합니다.
사용하다
수학과 철학
논리학에서는 서로 다르지만 연관된 두 가지 의미로 사용됩니다.이는 물질 등가성이라고도 불리는 연결된 경우에만 if와 only를 참조할 수 있습니다.[3]이것은 두 인수가 서로 같은 값을 가질 때 값이 참인 이진 연산입니다.[4]또는 일부 텍스트에서는 ⇔이 이 의미와 함께 사용되는 반면, ≡은 논리적 동등성의 상위 수준 금속학적 개념에 사용되며, 이에 따르면 모든 모델이 동일한 값을 제공할 때 두 공식이 논리적으로 동등합니다.고틀롭 프레게는 더 철학적인 정체성 개념을 위해 세 개의 막대를 사용했는데, 만약 의미의 변화 없이 서로 자유롭게 대체할 수 있다면 두 개의 문장(수학이나 형식 논리에서는 반드시 그렇지 않다)은 동일합니다.[6]
수학에서 삼중 막대는 때때로 동일성 또는 동등성 관계의 기호로 사용됩니다(단, 유일한 것은 아니지만, 다른 일반적인 선택에는 ~와 ≈가 포함됩니다).특히 기하학에서는 두 도형이 일치함을 나타내거나 동일함을 나타내기 위해 사용될 수 있습니다.[9]수론에서, 이것은 카를 프리드리히 가우스(Carl Friedrich Gauss, 1801년에 이 의미로 처음 사용)로부터 모듈러 합집합을 의미하는 데 사용되었습니다: 만약 N이 a - b를 나눈다면 ≡ ( b
범주 이론에서 트리플 바는 개체들이 범주의 화살표로 연결되는 것이 아니라 실제로 동일한 개체임을 나타내는 교환 다이어그램에서 개체들을 연결하는 데 사용될 수 있습니다.[12]
이 기호는 또한 방정식의 왼쪽에 기호를 정의하는 방정식의 등호 대신 사용되어 방정식의 양쪽 항이 이미 정의된 방정식과 대조됩니다.[13]이 용법의 대체 표기법은 일반적인 등호 위에 문자 "def를 입력하는 것입니다. = = 마찬가지로, 이 용법의 또 다른 표기법은 등호 앞에 을 붙이는 것입니다. a := a:=대장 표기법은 이미 정의된 객체로부터 하나의 객체를 정의할 때 고유한 비대칭성을 반영한다는 장점이 있습니다.
과학
식물 명명법에서 삼중 막대는 동형 동의어(동일한 유형의 표본을 기준으로 하는 것)를 의미하며, 이는 동형 동의어(동일한 유형의 표본을 기준으로 하는 것)와 구별하기 위해 동등한 기호로 표시되는 이종 동의어(다른 유형의 표본을 기준으로 하는 것)와 구별됩니다.[15]
화학에서, 삼중 막대는 원자들 사이의 삼중 결합을 나타내는데 사용될 수 있습니다.예를 들어, HC ≡CH는 아세틸렌(계통명: ethyne)의 일반적인 축약어입니다.
응용프로그램설계
모바일, 웹 및 일반 애플리케이션 설계에서 유사한 기호가 인터페이스 요소로 사용되기도 하며, 여기서 햄버거 아이콘이라고 합니다.요소는 일반적으로 요소가 활성화되면 탐색 메뉴에 액세스할 수 있음을 나타냅니다. 기호의 막대는 스타일화된 메뉴 항목으로 표시될 수 있으며, 이 기호의 일부 변형은 시각적 유사성을 높이기 위해 각 막대에 막대 또는 글머리 기호를 더 추가합니다.[17]이 기호의 사용은 1980년대 제록스 PARC에서 개발된 초기 컴퓨터 인터페이스로 거슬러 올라갑니다.[18]또한 정당한 텍스트 정렬을 나타내는 데 자주 사용되는 아이콘과 유사합니다.구글의 재료 설계 가이드라인에서 자주 사용되는 구성 요소이며, 이 가이드라인을 따르는 많은 안드로이드 앱과 웹 앱들은 햄버거 메뉴를 사용합니다.
참고문헌
- ^ a b New Hart's Rules: The Oxford Style Guide, Oxford University Press, 2014, p. 295, ISBN 978-0-19-957002-7.
- ^ Lamport, Leslie (1994), LaTeX: A Document Preparation System (2nd ed.), Addison-Wesley, p. 43.
- ^ Salmon, Merrilee H. (1999), Introduction to the Philosophy of Science, Hackett Publishing, p. 50, ISBN 978-0-87220-450-8.
- ^ Hurley, Patrick (2014), A Concise Introduction to Logic (12th ed.), Cengage Learning, p. 338, ISBN 978-1-285-96556-7.
- ^ Dube, Rakesh; Pandey, Adesh; Gupta, Ritu (2006), Discrete Structures and Automata Theory, Alpha Science Int'l Ltd., p. 277, ISBN 978-1-84265-256-5.
- ^ Weiner, Joan (2013), Frege Explained, Open Court, pp. 37–38, ISBN 978-0-8126-9752-0.
- ^ Gallian, Joseph (2009), Contemporary Abstract Algebra (7th ed.), Cengage Learning, p. 16, ISBN 978-0-547-16509-7.
- ^ Lambek, J.; Scott, P.J. (1986), Introduction to higher order categorical logic, Cambridge University Press, p. ix,
Remark on notation: throughout this book, we frequently, though not exclusively, use the symbol ≡ for definitional equality.
- ^ Cajori, Florian (2013), A History of Mathematical Notations, Dover Books on Mathematics, Courier Dover Publications, p. 418, ISBN 978-0-486-16116-7.
- ^ Goldstein, Catherine; Schappacher, Norbert; Schwermer, Joachim (2007), The Shaping of Arithmetic after C.F. Gauss's Disquisitiones Arithmeticae, Springer, p. 21, ISBN 978-3-540-34720-0.
- ^ 카조리 (2013), 34쪽.
- ^ Ganz, Steven E. (2007), Encapsulation of State with Monad Transformers, Ph.D. thesis, Indiana University, p. 25, ISBN 978-0-493-91365-0.
- ^ Meigs, John; Olmsted, Hubbell (1956), Intermediate analysis: an introduction to the theory of functions of one real variable, Appleton-Century-Crofts, p. vi.
- ^ 램포트 (1994), 페이지 50.
- ^ "Guidelines for authors" (PDF), Taxon, 62 (1): 211–214, 2013
- ^ Olmsted, John; Williams, Gregory M. (1997), Chemistry: The Molecular Science, Jones & Bartlett Learning, p. 86, ISBN 978-0-8151-8450-8
- ^ Peterson, Clarissa (2014), Learning Responsive Web Design: A Beginner's Guide, O'Reilly Media, pp. 338–339, ISBN 978-1-4493-6369-7.
- ^ Cox, Norm, "The origin of the hamburger icon", Evernote