antisymmetric

1. (set theory, order theory, of a binary relation R on a set S) Having the property that, for any two distinct elements of S, at least one is not related to the other via R; equivalently, having the property that, for any x, y ∈ S, if both xRy and yRx then x=y.Examples: "1987, David C. Buchthal, Douglas E. Cameron, Modern Abstract Algebra, Prindle, Weber & Schmidt, page 479, The standard example for an antisymmetric relation is the relation less than or equal to on the real number system."; "(i) The identity relation on a set A is an antisymmetric relation. (ii) Let R be a relation on the set N of natural numbers defined by x R y #92;Leftrightarrow 'x divides y' for all x, y ∈ N. This relation is an antisymmetric relation on N."not-comparable

2. (linear algebra, of certain mathematical objects) Whose sign changes on the application of a matrix transpose or some generalisation thereof:Examples: "The eigenvalues of an antisymmetric matrix are all purely imaginary numbers, and occur as conjugate pairs, #43;iw and -iw. As a corollary it follows that an antisymmetric matrix of odd order necessarily has one eigenvalue equal to zero; antisymmetric matrices of odd order are singular."not-comparable

3. (linear algebra, of certain mathematical objects) Whose sign changes on the application of a matrix transpose or some generalisation thereof:Examples: "Notice that the tensors defined by: #92;textstyleT#95;S#92;equiv#92;frac#123;1#125;#123;2#125;(T#43;Tᵀ), #92;textstyleT#95;A#92;equiv#92;frac#123;1#125;#123;2#125;(T-Tᵀ), (3.47) are the symmetric and antisymmetric parts, respectively; they are known as the symmetric and antisymmetric parts of T."not-comparable

4. (linear algebra, of certain mathematical objects) Whose sign changes on the application of a matrix transpose or some generalisation thereof:Examples: "Antisymmetric bilinear forms and wedge products are defined exactly as above, only now they are functions from #92;Rⁿ#92;times#92;Rⁿ to #92;R.[…] Exercise 21 Show that every antisymmetric bilinear form on #92;R³ is a wedge product of two covectors."not-comparable