homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
An antilinear map or conjugate linear map is much like a linear map, but instead of commuting with “scalar multiplication” it “anti-commutes” with it, in that multiplication by a scalar is mapped to multiplication by the scalar’s conjugate .
In order to make sense of this notion, the ground ring of the modules (or ground field of the vector spaces) that serve as the map’s domain and codomain must have the additional structure of an involution, to serve as the conjugation map .
An antilinear map has a central role in the concept of star-algebra. Conversely, an antilinear map can be seen as built on a star-algebra, in that the involution makes the ground ring into a star-algebra over itself.
Given a commutative ring (often a field, or possibly just a rig) , equipped with an involution , meaning an endomorphism with for all .
Then for -modules (or -linear spaces) , a -antilinear map is a function such that for all and ,
This differs from the definition of a linear map in the appearance of on the right-hand side.
Every -linear map is also a -antilinear map, for regarded as equipped with the identity involution.
Any involution is itself an antilinear map.
A motivating class of examples is when is the complex numbers, and is complex conjugation.
In particular, the Hermitian adjoint is an antilinear map from a space of -linear operators to itself.
A -algebra requires by definition its anti-involution to be antilinear.
See also
and see also the references at Wigner's theorem.
Last revised on October 23, 2023 at 08:03:44. See the history of this page for a list of all contributions to it.