Jump to content

Anticommutative property

This is a fully translated article. Click here for more information.
From DawoumWiki, the free Mathematics self-learning

수학(mathematics)에서, 반-교환성(anticommutativity)은 일부 비-교환(commutative) 연산(operations)의 특정 속성입니다. 대칭(symmetry)이 중요성의 중심에 있는, 수학적 물리학(mathematical physics)에서, 이들 연산은 대부분 반-대칭 연산(antisymmetric operations)이라고 불리고, 둘 보다 많은 인수(arguments)를 다루기 위해 결합(associative) 설정으로 확장됩니다. 비대칭 연산의 두 인수의 위치를 교환하는 것은 교환되지 않은 인수를 가진 결과의 (inverse)인 결과를 산출합니다. 개념 (inverse)덧셈(addition)과 같은 가능한 또 다른 연산을 가진 연산의 코도메인(codomain) 위에 그룹 구조(group structure)를 참고합니다.

뺄셈(Subtraction)은 반-교환 연산인데 왜냐하면 −(ab) = ba이기 때문입니다. 예를 들어, 2 − 10 = −(10 − 2) = −8입니다.

반-교환적 연산의 중요한 예제는 리 괄호(Lie bracket)입니다.

Definition

만약 가 두 아벨 그룹(abelian group)이면, 쌍선형 맵(bilinear map) 은 만약 모든 에 대해 우리가 다음을 가지면 반-교환적입니다:

보다 일반적으로, 다중선형 맵(multilinear map) 은 만약 모든 에 대해 우리가 다음을 가지면 반교환적입니다:

여기서 순열(permutation) 부호(sign)입니다.

Properties

만약 아벨 그룹 이면 을 의미하는 2-꼬임(torsion)을 가지지 않으면, 임의의 반-교환적 쌍-선형 맵 은 다음을 만족시킵니다:

보다 일반적으로, 두 원소를 전위(transposing)함으로써, 임의의 반-교환적 다중-선형 맵 은 만약 의 임의의 것이 같으면, 다음을 만족시킵니다:

그러한 맵은 교대하는(alternating) 것이라고 말합니다. 반대로, 다중선형성을 사용하여, 임의의 교대하는 맵은 반-교환적입니다. 이항 경우에서 이것은 다음처럼 작동합니다: 만약 가 교대하는 것이면, 쌍선형성에 의해 우리는 다음을 가집니다:

그리고 다중선형 경우에서 증명은 같은 것이지만 입력의 오직 둘에서 증명되었습니다.

Examples

반교환적 이항 연산의 예제는 다음을 포함합니다:

See also

References

External links