Linear fractional transformation¶

An invertible map represented by a ratio of two linear expressions, including Mobius transformations over suitable scalar or algebraic settings.

Version: v2 · 2026-09-06 · History
Domain-specific #: 2188
Origin domain: mathematics
Subdomain: complex analysis and projective linear actions
Aliases: Möbius transformation, Homographic transformation

Core Idea¶

Linear fractional transformation is an invertible map represented by a ratio of two linear expressions, including Mobius transformations over suitable scalar or algebraic settings. ^[1]

A linear fractional transformation sends z to (az+b)/(cz+d), with coefficients defined up to common nonzero scale and determinant ad−bc nonzero. On the extended complex plane it is a bijective conformal map represented by a projective 2×2 matrix, sends generalized circles to generalized circles, and preserves cross-ratios.

Its operative boundary is not supplied by the name alone. Preserve this identity: An invertible map represented by a ratio of two linear expressions, including Mobius transformations over suitable scalar or algebraic settings. Validity boundary: The coefficient determinant must support invertibility and numerator and denominator must retain the specified linear-fractional form. The entry therefore captures a reusable specialist role structure rather than a topic label, a single historical instance, or a loose analogy.

Structural Signature¶

Sig role-phrases:

the scalar or projective domain — the extended complex plane or another stated field/projective line
the coefficient matrix — a 2×2 matrix modulo nonzero scalar
the numerator — the linear expression az+b
the denominator — the linear expression cz+d
the nonzero determinant — the invertibility condition ad−bc≠0
the pole and infinity rules — the projective extension at cz+d=0 and z=∞
the induced bijection — the projective action of the matrix
the preserved cross-ratio or circles — key geometric invariants

Recognition test. A case qualifies only when the analyst can map the declared the scalar or projective domain, the coefficient matrix, the numerator, the denominator, the nonzero determinant and preserve the specialist validity conditions. Shared vocabulary, a similar output, or a generic instance of one parent relation is insufficient.

What It Is Not¶

Not an arbitrary rational function. Both numerator and denominator have degree at most one and determinant is nonzero.
Not a singular constant map. ad−bc=0 collapses the transformation.
Not an affine map only. Affine maps are the c=0 subfamily.
Not a linear map on C. Translation and inversion make the action projective, not vector-linear.
Not undefined at the finite pole. On the Riemann sphere the pole maps to infinity.

Scope of Application¶

The abstraction recurs literally within complex analysis, projective lines, conformal geometry, hyperbolic models, and rational dynamics. The following habitats preserve the same recognition machinery; they are not invitations to extend the name metaphorically.

Riemann sphere. all biholomorphic automorphisms are Möbius transformations.
Half-plane and disk. specific maps carry boundaries and interiors between standard domains.
Projective geometry. PGL(2) acts on the projective line.
Cross-ratio geometry. three points determine a unique map to three target points.
Circle geometry. lines and circles are mapped to generalized circles.

Clarity¶

Specify the field and compactification. Coefficient matrices differing by a nonzero scalar define the same transformation, and composition follows matrix multiplication modulo scale. Over the complex plane, denominator zeros require the Riemann-sphere convention.

A practical identification audit begins with the typed roles rather than the title: establish the scalar or projective domain, verify the coefficient matrix, then test the remaining conditions and exclusions. If the case retains only the portable skeleton described below, it should be named through a parent abstraction rather than as Linear fractional transformation.

Manages Complexity¶

The matrix representation turns nonlinear-looking rational composition into projective linear algebra. Three-point normalization and cross-ratio invariance reduce many conformal geometry problems to standard configurations.

The compression remains accountable because each simplification has a named failure condition. Disagreement can be localized to a missing role, an invalid assumption, an ambiguous measurement, or a neighboring abstraction instead of being hidden inside an unanalyzed label.

Abstract Reasoning¶

R1. Write the map with a,b,c,d over the declared scalar field. R2. Verify ad−bc is nonzero and quotient coefficient matrices by common scale. R3. Extend the pole and infinity using projective coordinates. R4. Compose or invert through the corresponding matrix operation. R5. Use cross-ratio, circle preservation, or conformality only in settings where the theorem applies.

These moves separate definition, derivation, measurement, and interpretation. A formal consequence does not by itself prove that an observed case instantiates the abstraction, while an observed resemblance does not relax the formal or institutional recognition conditions.

Knowledge Transfer¶

The construction transfers literally across projective lines and suitable scalar or Clifford settings with adjusted definitions. Function mapping and invariance are parents; any ratio or nonlinear coordinate transform is not linear fractional.

The transfer boundary is explicit: DOMAIN-SPECIFIC PASS / PRIME FAIL: The form recurs across parameter choices and acts on extended lines or planes in complex, projective, and related algebraic settings. Literal recognition retains the specialist vocabulary and validity conditions of complex analysis and projective geometry; outside that setting only broader parent operations transfer. The safe move beyond the home habitat is to carry the applicable parent relation and leave the specialist name behind unless every defining role remains literal.

Examples¶

Canonical: mapping the upper half-plane to the disk¶

The map (z−i)/(z+i) has nonzero determinant and sends the extended real boundary to the unit circle, the upper half-plane to the unit disk, i to zero, and −i to infinity under the sphere convention. ^[1]

Mapped back: the scalar or projective domain; the coefficient matrix; the numerator; the denominator; the pole and infinity rules; the induced bijection.

Applied / In Practice: three-point normalization¶

Given three distinct points z1,z2,z3, a unique Möbius transformation sends them to 0,1,∞. Cross-ratio invariance then expresses every fourth point in a coordinate independent of the chosen projective chart. ^[2]

Mapped back: the nonzero determinant; the induced bijection; the preserved cross-ratio or circles.

Structural Tensions¶

T1: Rational formula vs projective action. The denominator appears singular in affine coordinates while the sphere map is everywhere defined. Diagnostic: Is infinity included?

T2: Matrix representative vs transformation. Scalar multiples change coefficients but not the map. Diagnostic: Are matrices compared in PGL rather than GL?

T3: Conformal local behavior vs global pole. Derivative arguments need the extended-sphere interpretation. Diagnostic: How is the pole handled?

T4: Circle preservation vs metric preservation. Generalized circles map to circles but lengths and ordinary Euclidean angles at infinity need care. Diagnostic: Which geometry is invariant?

T5: Complex case vs generalized fields. Order, conjugation, and determinant conditions change outside C. Diagnostic: Which algebra supports division?

T6: Domain autonomy vs prime reduction. Function (Mapping) and Invariance omit the specialist objects, constraints, and validity tests named above. Diagnostic: Would retaining only the portable parent pattern still satisfy the recognition test?

Structural–Framed Character¶

The five-criterion aggregate is 0.15 (structural). The judgment is criterion-specific:

Vocabulary travels — low (0.25). The complete vocabulary remains tied to the typed roles in the Structural Signature.
Evaluative weight — low (0.00). Application carries the stated degree of normative or interpretive judgment beyond structural recognition.
Institutional origin — low (0.25). The abstraction depends to this degree on a scholarly, technical, legal, or social convention.
Human-practice bound — low (0.00). Recognition depends to this degree on organized practice, language, measurement, or institutional action.
Import versus recognize — low (0.25). Beyond its home habitat, use of the full name increasingly becomes analogy rather than literal recognition.

The portable skeleton is a projective linear action appears in affine coordinates as a ratio while preserving incidence and cross-ratio structure. The named abstraction remains structural because that skeleton alone does not supply its specialist objects, constraints, or tests.

Structural Core vs. Domain Accent¶

Structural core: A projective linear action appears in affine coordinates as a ratio while preserving incidence and cross-ratio structure.

Domain accent: 2×2 projective matrices, determinants, riemann sphere, poles, infinity, cross-ratios, generalized circles, and conformal automorphisms.

Why it does not clear the prime bar: Functions and invariants travel; LFT is the PGL(2) action with a precise ratio form. Generalization therefore routes through parent abstractions; preserving the specialist name requires the full accent.

Function (Mapping) (prime:function_mapping). The formula defines an invertible mapping of a projective line.
Invariance (prime:invariance). The action preserves cross-ratios and generalized-circle structure.

These are prose placement proposals only. They create no dag_edges; endpoint, redundancy, and cycle checks are recorded separately in the bundle's placement memo.

Relationships to Other Abstractions¶

Current abstraction Linear fractional transformation Domain-specific

Parents (2) — more general patterns this builds on

Linear fractional transformation is a kind of Function (Mapping) Prime

Function (Mapping) (prime:function_mapping).
Linear fractional transformation presupposes Invariance Prime

Invariance (prime:invariance).

Hierarchy paths (2) — routes to 2 parentless roots

Linear fractional transformation → Function (Mapping)

Show alternative path (1)

Neighborhood in Abstraction Space¶

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

Family — Algebraic Geometry & Bundle Structure (14 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With¶

Affine transformation. z↦az+b, the c=0 subfamily. Tell: Can the map send a finite point to infinity?
Rational function. a quotient of arbitrary polynomials. Tell: Are numerator and denominator both linear?
Projective transformation in higher dimension. a PGL(n+1) action on projective n-space. Tell: Is the domain a projective line?
Conformal map. any angle-preserving holomorphic local map. Tell: Is it a global sphere automorphism?
Bilinear transform. a named LFT used in signal processing. Tell: Is the general map or a specific application intended?

References¶

[1] Lars V. Ahlfors, Complex Analysis, 3^rd ed., McGraw-Hill, 1979. registry ↩a ↩b

[2] Tristan Needham, Visual Complex Analysis, Oxford University Press, 1997. registry ↩