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).
Core Idea¶
An Antilinear Map, also called a conjugate-linear map, is a function \(A:V\to W\) between complex vector spaces satisfying
for all \(v,w\in V\) and \(\lambda\in\mathbb C\). Equivalently,
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)).
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. 2. If (A) and (B) are antilinear, \(B\circ A\) is complex-linear because conjugation is applied twice. 3. If (L) is linear and (A) antilinear, both \(L\circ A\) and \(A\circ L\) are antilinear. 4. 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) — more general patterns this builds on
-
Antilinear Map presupposes Linearity Prime
addition and a disciplined scalar law remain central, but the scalar is conjugated; this is the smallest prospective parent by presupposition, not subtype.
Hierarchy path (1) — routes to 1 parentless root
- Antilinear Map → Linearity
Neighborhood in Abstraction Space¶
Antilinear Map sits in a sparse region of the domain-specific corpus (88th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (1565 abstractions)
Nearest neighbors
- Banach Space — 0.80
- Real Representation — 0.80
- Semilinear map — 0.80
- Dirichlet convolution — 0.79
- Complex conjugate — 0.79
Computed from structural-signature embeddings · 2026-09-08