Anticommutative property
수학(mathematics)에서, 반-교환성(anticommutativity)은 일부 비-교환(commutative) 연산(operations)의 특정 속성입니다. 대칭(symmetry)이 중요성의 중심에 있는, 수학적 물리학(mathematical physics)에서, 이들 연산은 대부분 반-대칭 연산(antisymmetric operations)이라고 불리고, 둘 보다 많은 인수(arguments)를 다루기 위해 결합(associative) 설정으로 확장됩니다. 비대칭 연산의 두 인수의 위치를 교환하는 것은 교환되지 않은 인수를 가진 결과의 역(inverse)인 결과를 산출합니다. 개념 역(inverse)은 덧셈(addition)과 같은 가능한 또 다른 연산을 가진 연산의 코도메인(codomain) 위에 그룹 구조(group structure)를 참고합니다.
뺄셈(Subtraction)은 반-교환 연산인데 왜냐하면 −(a − b) = b − a이기 때문입니다. 예를 들어, 2 − 10 = −(10 − 2) = −8입니다.
반-교환적 연산의 중요한 예제는 리 괄호(Lie bracket)입니다.
Definition
만약 가 두 아벨 그룹(abelian group)이면, 쌍선형 맵(bilinear map) 은 만약 모든 에 대해 우리가 다음을 가지면 반-교환적입니다:
보다 일반적으로, 다중선형 맵(multilinear map) 은 만약 모든 에 대해 우리가 다음을 가지면 반교환적입니다:
여기서 는 순열(permutation) 의 부호(sign)입니다.
Properties
만약 아벨 그룹 가 이면 을 의미하는 2-꼬임(torsion)을 가지지 않으면, 임의의 반-교환적 쌍-선형 맵 은 다음을 만족시킵니다:
보다 일반적으로, 두 원소를 전위(transposing)함으로써, 임의의 반-교환적 다중-선형 맵 은 만약 의 임의의 것이 같으면, 다음을 만족시킵니다:
그러한 맵은 교대하는(alternating) 것이라고 말합니다. 반대로, 다중선형성을 사용하여, 임의의 교대하는 맵은 반-교환적입니다. 이항 경우에서 이것은 다음처럼 작동합니다: 만약 가 교대하는 것이면, 쌍선형성에 의해 우리는 다음을 가집니다:
그리고 다중선형 경우에서 증명은 같은 것이지만 입력의 오직 둘에서 증명되었습니다.
Examples
반교환적 이항 연산의 예제는 다음을 포함합니다:
See also
- Commutativity
- Commutator
- Exterior algebra
- Graded-commutative ring
- Operation (mathematics)
- Symmetry in mathematics
- Particle statistics (for anticommutativity in physics).
References
- Bourbaki, Nicolas (1989), "Chapter III. Tensor algebras, exterior algebras, symmetric algebras", Algebra. Chapters 1–3, Elements of Mathematics (2nd printing ed.), Berlin-Heidelberg-New York City: Springer-Verlag, ISBN 3-540-64243-9, MR 0979982, Zbl 0904.00001.
External links
![](https://upload.wikimedia.org/wikipedia/commons/thumb/9/99/Wiktionary-logo-en-v2.svg/40px-Wiktionary-logo-en-v2.svg.png)
- Gainov, A.T. (2001) [1994], "Anti-commutative algebra", Encyclopedia of Mathematics, EMS Press. Which references the Original Russian work
- Weisstein, Eric W. "Anticommutative". MathWorld.