Linear fractional transformation¶

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

Version: v3 · 2026-09-19 · History
Domain-specific #: 2188
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Complex Analysis and Projective Linear Actions → Mathematics
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.

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.

How would you explain it like I'm…

The Circle-Keeping Magic Map

Imagine a magic rule that moves every dot on a giant drawing board to a new spot, plus one extra spot far, far away. The rule never puts two dots in the same place, and you can always undo it. It has a funny trick: anything shaped like a circle or a straight line ends up as a circle or a straight line again. That rule is a Linear Fractional Transformation.

Circle-Keeping Fraction Rule

A Linear fractional transformation is a rule that takes a number z and gives back a fraction: (a times z plus b) divided by (c times z plus d). The four numbers a, b, c, d must satisfy one condition—ad minus bc can't be zero—so the rule can always be undone. When you use it on the plane of complex numbers (plus one extra 'point at infinity'), it moves every point to exactly one new point. It keeps tiny angles the same, and it turns circles and lines into circles and lines. Multiplying all four numbers by the same nonzero amount gives the very same rule.

Möbius Ratio Maps

A Linear Fractional Transformation sends z to (az + b)/(cz + d), a ratio of two linear expressions, with ad − bc ≠ 0 so that it is invertible. Scaling all four coefficients by the same nonzero number gives the same map, so the map really corresponds to a 2×2 matrix up to scale. On the extended complex plane, which includes a point at infinity, these maps are called Möbius transformations. They are bijective and conformal, meaning they preserve angles. They send generalized circles (circles or lines) to generalized circles. They also preserve the cross-ratio of four points. If the determinant is zero, or the expression isn't really linear over linear, the map is not one of these.

A Linear Fractional Transformation is an invertible map z ↦ (az + b)/(cz + d) given by a ratio of two linear expressions with nonzero determinant ad − bc. The coefficients are defined only up to a common nonzero scale. The map therefore corresponds to a projective 2×2 matrix class, and composition of maps matches matrix multiplication. Over the extended complex plane these are the Möbius transformations. They are bijective and conformal, map generalized circles (circles and lines) to generalized circles, and preserve the cross-ratio. The same form makes sense over other suitable scalar or algebraic settings. Validity requires that the determinant condition guarantee invertibility and that the numerator and denominator keep the linear-over-linear form.

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.

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.

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.

Relationships to Other Abstractions¶

Current abstraction Linear fractional transformation Domain-specific

Parents (2) — outgoing typed relations

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 → is a kind of Function (Mapping)

Show alternative path (1)

Neighborhood in Abstraction Space¶

Linear fractional transformation sits in a moderately populated region (56^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

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