Antilinear Map¶

An additive map between complex vector spaces that transports scalar multiplication through complex conjugation, so A(lambda v) = conjugate(lambda) A(v) rather than lambda A(v).

Version: v3 · 2026-09-19 · History
Domain-specific #: 1293
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Complex Linear Algebra → Mathematics
Aliases: Conjugate Linear Map, Conjugate Linear Operator, Semilinear Map with Complex Conjugation

Core Idea¶

An Antilinear Map, also called a conjugate-linear map, is a function \(A:V\to W\) between complex vector spaces satisfying

\[ A(v+w)=A(v)+A(w), \qquad A(\lambda v)=\overline{\lambda}\,A(v) \]

for all \(v,w\in V\) and \(\lambda\in\mathbb C\). Equivalently,

\[ A(\alpha v+\beta w)=\overline{\alpha}A(v)+\overline{\beta}A(w). \]

The map preserves vector addition but twists scalar transport by the distinguished field automorphism \(z\mapsto\overline z\). This is not arbitrary nonlinearity. It is a precise semilinear rule: over the underlying real vector spaces, (A) is linear, while multiplication by (i) reverses sign, (A(iv)=-iA(v)).

How would you explain it like I'm…

No faithful explanation at this level. All three generators agree that without complex numbers any kid-level picture ('a mirror copy', 'adds but twists multiplying') collapses into generic reflection or arbitrary nonlinearity, which the concept explicitly excludes; the defining conjugate-homogeneity has no five-year-old form.

The Mirror-Twin Scaling Map

Mathematicians use 'complex numbers', which have an ordinary part and an 'imaginary' part. Each complex number has a mirror twin, called its conjugate, made by flipping the sign of the imaginary part. An antilinear map is a rule that takes arrows (vectors) built from complex numbers and sends them to other arrows. It keeps addition the same: adding first or after gives the same result. But when you scale an arrow by a complex number, the map scales the output by that number's mirror twin instead. It's not a messy rule — it's a very exact, twisted kind of 'straight-line' map.

Conjugate-Linear Map

An antilinear (or conjugate-linear) map A between complex vector spaces satisfies A(v + w) = A(v) + A(w) and A(λv) = λ̄·A(v), where λ̄ is the complex conjugate of λ. So it preserves addition, like a linear map, but pulls scalars through with a conjugation. This isn't random nonlinearity: viewed as a map between real vector spaces, A is linear, but multiplication by i gets reversed, A(iv) = −i·A(v). In coordinates, any antilinear map on finite-dimensional spaces can be written as A(z) = M z̄: first conjugate each coordinate, then multiply by an ordinary matrix. Antilinear maps appear in inner products (fixing one slot of a complex inner product gives a linear or antilinear functional, depending on convention) and in quantum mechanics, where time reversal is represented by an antilinear operator.

An antilinear map A: V → W between complex vector spaces is additive and conjugate-homogeneous: A(αv + βw) = ᾱA(v) + β̄A(w). It is a semilinear map with respect to the field automorphism z ↦ z̄ — precise twisted linearity, not arbitrary nonlinearity. Over the underlying real spaces A is ℝ-linear, but it anticommutes with multiplication by i: A(iv) = −iA(v). With chosen bases and coordinatewise conjugation, every finite-dimensional antilinear map has the form A(z) = M z̄ for a complex matrix M. Coordinate-free, an antilinear map V → W is the same underlying function as a linear map from the conjugate space V̄ to W (or V → W̄). Antilinearity is essential in complex inner-product theory and duality — whether fixing a slot yields a linear or antilinear functional depends on the declared convention — as well as in real structures, spinors, and quantum symmetries, where time reversal is antiunitary: antilinear and probability-preserving, with its square carrying physical information.

Scope of Application¶

In finite-dimensional complex linear algebra, coordinatewise conjugation \(K(z)=\overline z\) is the canonical example. Every antilinear \(A:\mathbb C^n\to\mathbb C^m\) has the form (A=M K), hence is determined by a complex matrix once a conjugation associated with bases is chosen. Changing bases transforms that matrix differently from an ordinary linear-operator matrix because the input transition matrix is conjugated.

Clarity¶

The word anti means “twisted by conjugation,” not “negative.” The map \(z\mapsto-\overline z\) is antilinear, but so is \(z\mapsto\overline z\); sign is irrelevant to the class.

The field matters. Over (mathbb R), conjugation is the identity, so the antilinear law collapses to ordinary linearity. Over a general field (F) with automorphism (sigma), a (sigma)-semilinear map satisfies \(A(\lambda v)=\sigma(\lambda)A(v)\).

Manages Complexity¶

Antilinearity prevents repeated coordinate calculations involving conjugated scalars from looking like exceptions to linear algebra. By naming the twist, one retains additivity, basis descriptions, kernels, images, rank, continuity, and composition while tracking exactly where conjugation enters.

The conjugate-space equivalence is especially compressive. Instead of rebuilding every construction, an antilinear map can be treated as linear with one endpoint conjugated.

Abstract Reasoning¶

If (A) is both complex-linear and antilinear, then (A(iv)=iA(v)=-iA(v)), so (A=0) over characteristic zero.
If (A) and (B) are antilinear, \(B\circ A\) is complex-linear because conjugation is applied twice.
If (L) is linear and (A) antilinear, both \(L\circ A\) and \(A\circ L\) are antilinear.
If a bijective antilinear map has an inverse, the inverse is antilinear.

Knowledge Transfer¶

The exact abstraction transfers among finite-dimensional vector spaces, complex Banach and Hilbert spaces, operator spaces, complex representations, bundles, and quantum state spaces whenever the same conjugate-scalar law holds. Topology and domains add requirements—boundedness, continuity, closedness, dense definition—but do not alter the algebraic invariant.

It transfers to fields with other automorphisms only through the broader term semilinear. Frobenius-semilinear maps over finite fields, for example, share the twist pattern but are not normally called complex-antilinear. Keeping the automorphism explicit prevents a false alias.

Relationships to Other Abstractions¶

Current abstraction Antilinear Map Domain-specific

Parents (1) — outgoing typed relations

Antilinear Map presupposes Linearity Prime

addition and a disciplined scalar law remain central, but the scalar is conjugated; this is the smallest the broader abstraction by presupposition, not subtype.

Hierarchy path (1) — routes to 1 parentless root

Antilinear Map → presupposes Linearity

Neighborhood in Abstraction Space¶

Antilinear Map sits in a sparse region of the domain-specific corpus (89^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25