Der Funktor, der ein über einer größeren Basis S definiertes Objekt als Objekt über einer kleineren Basis R auffasst, entlang eines Basismorphismus f: R → S, gewöhnlich durch Vergessen der zusätzlichen S-linearen Struktur und durch Auffassung des zugrundeliegenden Moduls, der Algebra oder Darstellung als R-linear via f.

Prinzip

Die Skalareinschränkung ist die forgetful/rechtsadjungierte Operation zur Erweiterung oder Induktion: sie zieht die algebraische Struktur auf die kleinere Basis zurück, indem sie die Skalarwirkung mit dem Basismorphismus vorverknüpft; sie erhält Limiten und viele Endlichkeits-Eigenschaften, bewahrt aber nicht notwendigerweise Kolimiten oder Freiheitsgrade.

Demonstration

Bei einer Körpererweiterung k ⊂ K kann jeder K-Vektorraum als k-Vektorraum betrachtet werden durch Skalareinschränkung; ein komplexer Vektorraum der Dimension n wird beim Einschränken von C auf R ein reeller Vektorraum der Dimension 2n.

Fehlanwendung

Zu glauben, die Skalareinschränkung erhalte einheitlich Eigenschaften wie Einfachheit oder Freiheit: ein einfaches Modul über S muss nicht einfach über R sein, und ein freies Modul über S kann als Modul über R nicht mehr frei sein oder einen unklar veränderten Rang aufweisen.

Konsequenz

Die Skalareinschränkung bietet ein konservatives Mittel zum Vergleich von Strukturen über verschiedenen Basen, liegt den Adjunktionen in Abstiegs- und Basiswechselargumenten zugrunde und ist als Forgetful-Funktor in abelschen Kategorien exakt, wodurch sie zuverlässig für die Konstruktion von Limiten und Kernen ist.

Umkehrung

Die natürliche Umkehrung ist die Skalarerweiterung (oder Induktion), die versucht, aus einem R-Objekt ein S-Objekt zu erzeugen; die Einschränkung verliert S-lineare Informationen, die ohne zusätzliche Struktur oder universelle Konstruktionen im Allgemeinen nicht wiederherstellbar sind.

Abgrenzung

Gilt immer dann, wenn ein Basismorphismus und ein algebraisches Objekt mit S-Wirkung gegeben sind; sie schafft keine neuen Skalare oder algebraischen Relationen und kann nicht für Lokalisierungen, Komplettierungen oder abgeleitete Konstruktionen einspringen, die Torsionsphänomene verändern.

Semantische Spannung

Es besteht Spannung zwischen der Skalareinschränkung als bloßem Forgetful-Funktor und ähnlich erscheinenden Operationen, die Koeffizienten substantiver ändern (z. B. Basiswechsel durch Tensorisierung); Restriktion bewahrt Limiten, Erweiterung bewahrt Kolimiten und beide nehmen komplementäre, konkurrierende Rollen ein.

Synthese

Die Skalareinschränkung ist der rechtsadjungierte Vergessen-Prozess, der S-Objekte als R-Objekte auffasst, indem die Skalarwirkung mit dem Basismorphismus vorverknüpft wird; sie ist ein konservatives, limitenerhaltendes Werkzeug, das S-lineare Verfeinerungen verliert und mit Erweiterung oder Induktion ergänzt werden muss, um reichere Strukturen wiederherzustellen.