Einschränkung

In d​er Mathematik w​ird der Begriff Einschränkung (auch Restriktion) m​eist für d​ie Verkleinerung d​es Definitionsbereichs e​iner Funktion verwendet.

Auch für Relationen i​st es möglich, d​ie Einschränkung a​uf eine Teilmenge d​er Grundmenge z​u betrachten.

Gelegentlich w​ird in mathematischen Beweisen d​ie Formulierung „ohne Beschränkung d​er Allgemeinheit“ (o. B. d. A.) benutzt. Diese h​at mit d​en hier erläuterten mathematischen Begriffen nichts z​u tun.

Einschränkung einer Funktion

Definition

Ist ${\displaystyle f\colon A\to B}$ eine beliebige Funktion und ${\displaystyle X}$ eine Teilmenge der Definitionsmenge ${\displaystyle A}$, dann versteht man unter der Einschränkung (oder Restriktion) ${\displaystyle f|_{X}}$ von ${\displaystyle f}$ auf ${\displaystyle X}$ diejenige Funktion ${\displaystyle g\colon X\to B}$, die auf ${\displaystyle X}$ mit ${\displaystyle f}$ übereinstimmt. Fasst man die Funktion ${\displaystyle f}$ als rechtseindeutige, linkstotale Relation auf, dann reproduziert diese Definition die der Vorbeschränkung ${\displaystyle \upharpoonleft }$. Mit Hilfe der Inklusionsabbildung ${\displaystyle i\colon X\to A,\,x\mapsto x}$ lässt sich die Einschränkung kurz schreiben als

${\displaystyle f|_{X}:=f\circ i}$.

In der Situation ${\displaystyle g=f|_{X}}$ nennt man ${\displaystyle f}$ auch eine Fortsetzung von ${\displaystyle g}$.[1] Ein Beispiel hierfür ist die stetige Fortsetzung.

Beispiel

${\displaystyle \mathbb {R} }$ sei die Menge der reellen Zahlen und ${\displaystyle f\colon \mathbb {R} \to \mathbb {R} }$ mit ${\displaystyle f(x)=x^{2}}$ die Quadratfunktion. ${\displaystyle f}$ ist nicht injektiv, die Einschränkung ${\displaystyle f|_{S}}$ auf das Intervall ${\displaystyle S:=[0,\infty )}$ der nichtnegativen reellen Zahlen ist dies aber schon. Wenn man auch noch die Zielmenge auf die Bildmenge (ebenfalls ${\displaystyle S}$) einschränkt, erhält man die bijektive Quadratfunktion ${\displaystyle g\colon S\to S}$ mit ${\displaystyle g(x)=x^{2}}$, die also eine Umkehrfunktion hat, nämlich die Quadratwurzelfunktion.

Verträglichkeitsregeln

Die Vereinigung der (Graphen der) Einschränkungen einer Funktion ${\displaystyle f}$ auf eine Menge ${\displaystyle X_{1}}$ und eine Menge ${\displaystyle X_{2}}$ ist gleich der Einschränkung auf die Vereinigung dieser beiden Mengen. Gleiches gilt für den Schnitt:

${\displaystyle f|_{X_{1}}\cup \;f|_{X_{2}}=f|_{X_{1}\cup X_{2}}}$

${\displaystyle f|_{X_{1}}\cap \;f|_{X_{2}}=f|_{X_{1}\cap X_{2}}}$

Ähnliches gilt für andere Mengenoperationen, sowie für unendliche Vereinigung und Schnitt. Daraus folgt: Sind die beiden Mengen ${\displaystyle X_{1}}$ und ${\displaystyle X_{2}}$ disjunkt, so sind es auch die (Graphen der) eingeschränkten Funktionen ${\displaystyle f|_{X_{1}}}$ und ${\displaystyle f|_{X_{2}}}$.

Einschränkung einer Relation

Zweistellige Relationen

Sei ${\displaystyle R\subseteq A\times B}$ eine zweistellige Relation aus dem Vorbereich ${\displaystyle A}$ in den Nachbereich ${\displaystyle B}$ und seien ${\displaystyle X,Y}$ Mengen, dann heißt[1]

${\displaystyle R\upharpoonleft X\equiv R|X:=R\cap (X\times Wb(R))=\{(a,b)\in R\mid a\in X\}}$

die Vorbeschränkung von ${\displaystyle R}$ in ${\displaystyle X}$ und

${\displaystyle R\upharpoonright Y:=R\cap (Db(R)\times Y)=\{(a,b)\in R\mid b\in Y\}}$

die Nachbeschränkung von ${\displaystyle R}$ in ${\displaystyle Y}$.[2][3][4] In der Praxis wird dabei meist ${\displaystyle X\subseteq A}$ und ${\displaystyle Y\subseteq B}$ gelten, obwohl das keine Voraussetzung sein muss.

Legt man die alternative ausführliche Definition von Relationen ${\displaystyle R=(G_{R},A,B)}$ mit ${\displaystyle G_{R}\equiv }$ ${\displaystyle \operatorname {Graph} (R)}$ ${\displaystyle \subseteq A\times B}$ zugrunde, dann stellt sich die Vorbeschränkung von ${\displaystyle R}$ auf eine Menge ${\displaystyle X}$ dar als

${\displaystyle R\upharpoonleft X\equiv R|X:=(G_{R}\cap (X\times Wb(R)),A\cap X,B)}$

und die Nachbeschränkung auf eine Menge ${\displaystyle Y}$ als

${\displaystyle R\upharpoonright Y:=(G_{R}\cap (Db(R)\times Y),A,B\cap Y)}$.

Solange die Definitions- bzw. Wertebereiche nicht eingeschränkt werden (${\displaystyle X\supseteq Db(R)}$ bzw. ${\displaystyle Y\supseteq Wb(R)}$), sind die Vor- bzw. Nachbeschränkungen im Wesentlichen gleich der ursprünglichen Relation (insbesondere im Fall der Gleichheit ${\displaystyle X=Db(R),Y=Wb(R)}$).

Homogene zweistellige Relationen

Bei homogenen zweistelligen Relationen ${\displaystyle R}$ auf der Menge ${\displaystyle A}$ (d. h. ${\displaystyle R\subseteq A\times A}$) spricht man von einer totalen Einschränkung (oder einfach Einschränkung), wenn diese Relation gleichzeitig in dieselbe Menge vor- und nachbeschränkt wird:

${\displaystyle R\uparrow X\equiv R||X:=R\upharpoonleft X\upharpoonright X=R\cap (X\times X)=\{(a,b)\in R\mid a\in X\land b\in X\}}$[5]

Auf die Reihenfolge, in der Vor- und Nachbeschränkung angewendet werden, kommt es nicht an.
Insbesondere gilt: Ist ${\displaystyle R}$ eine homogene zweistellige Relation auf der Menge ${\displaystyle A}$ und ${\displaystyle X}$ eine Teilmenge von ${\displaystyle A,}$ dann ist die Relation ${\displaystyle S}$ auf ${\displaystyle X}$ die Einschränkung von ${\displaystyle R}$ auf ${\displaystyle X,}$ wenn für alle ${\displaystyle a}$ und ${\displaystyle b}$ aus ${\displaystyle X}$ gilt:

${\displaystyle a\;S\;b\Leftrightarrow a\;R\;b}$.

n-stellige Relationen

Prinzipiell lässt sich die obige Definition auf beliebige ${\displaystyle n}$-stellige Relationen erweitern. Für eine n-stellige homogene Relationen ${\displaystyle R}$ auf einer Menge ${\displaystyle A}$ (d. h. ${\displaystyle R\subseteq A^{n}}$) ist die (totale) Einschränkung gegeben durch

${\displaystyle R\uparrow X:=R\cap X^{n}}$

Insbesondere gilt analog zum obigen: Ist ${\displaystyle R}$ eine homogene ${\displaystyle n}$-stellige Relationen auf einer Menge ${\displaystyle A}$ (d. h. ${\displaystyle R\subseteq A^{n}}$), und ${\displaystyle X}$ eine Teilmenge von ${\displaystyle A}$, dann ist die ${\displaystyle n}$-stellige Relation ${\displaystyle S}$ auf ${\displaystyle X}$ die Einschränkung von ${\displaystyle R}$ auf ${\displaystyle X,}$ wenn für alle ${\displaystyle n}$-gliedrigen Sequenzen ${\displaystyle a_{1},\dotsc ,a_{n}}$ aus ${\displaystyle X}$ gilt:

${\displaystyle (a_{1},\dotsc ,a_{n})\in S\Leftrightarrow (a_{1},\dotsc ,a_{n})\in R}$

Beispiel

Die Kleiner-Relation a​uf der Menge d​er ganzen Zahlen i​st die Einschränkung d​er Kleiner-Relation a​uf der Menge d​er rationalen Zahlen.

Einschränkung einer Darstellung

Eine lineare Darstellung einer Gruppe ${\displaystyle G}$ auf einem Vektorraum ${\displaystyle V}$ ist ein Homomorphismus ${\displaystyle \rho }$ von ${\displaystyle G}$ in die allgemeine lineare Gruppe ${\displaystyle \operatorname {GL} (V)}$. Unter einer Einschränkung können zwei verschiedene Konstruktionen verstanden werden.

• Falls ${\displaystyle U\subset V}$ ein invarianter Unterraum ist, dann erhält man eine eingeschränkte Darstellung ${\displaystyle G\to GL(U)}$.
• Falls ${\displaystyle H\subset G}$ eine Untergruppe ist, dann ist ${\displaystyle \rho |_{H}}$ eine Darstellung von ${\displaystyle H}$, die mit ${\displaystyle \operatorname {Res} _{H}^{G}(\rho )}$ (für Restriktion) bezeichnet wird. Falls keine Verwechslungsgefahr besteht, schreibt man auch nur ${\displaystyle \operatorname {Res} (\rho )}$ oder auch kurz ${\displaystyle \operatorname {Res} \rho .}$ Man verwendet auch die Schreibweise ${\displaystyle \operatorname {Res} _{H}(V)}$ bzw. ${\displaystyle \operatorname {Res} (V)}$ für die Einschränkung einer Darstellung (auf) ${\displaystyle V}$ von ${\displaystyle G}$ auf ${\displaystyle H.}$

Literatur

• Dieter Klaua: Mengenlehre. De-Gruyter-Lehrbuch. de Gruyter, Berlin, New York 1979, ISBN 3-11-007726-4. Der Autor benutzt die Bezeichnung Korrespondenz im mengentheoretischen Sinn synonym zu Relation, verwendet dann aber das Zeichen ${\displaystyle F}$ anstelle von ${\displaystyle R}$. Im Artikel hier ist jedoch durchgängig ${\displaystyle R}$ und ${\displaystyle G_{R}}$ (Graph von ${\displaystyle R}$) benutzt.
• Willard van Orman Quine: Set Theory And Its Logic. Belknap Press of Harvard University Press, Cambridge, USA 1963, ISBN 0-674-80207-1. S. 359 (HC) / 380 (PB).
  Willard van Orman Quine: Mengenlehre und ihre Logik (= Logik und Grundlagen der Mathematik (deutsche Übersetzung). Band 10). Vieweg+Teubner Verlag, 1973, ISBN 3-528-08294-1, S. 264. Der Autor benutzt griechische Kleinbuchstaben zur Kennzeichnung von Mengen im Allgemeinen (wie hier ${\displaystyle X}$ und ${\displaystyle Y}$) und Relationen im Besonderen. Die Seitenangaben beziehen sich auf die deutsche Übersetzung.

Einzelnachweise und Anmerkungen

1. Gelegentlich wird in der Mengenlehre eine abweichende Notation verwendet:

   ${\displaystyle R{\upharpoonright }_{X\times Y}=R\cap (X\times Y)}$

   ${\displaystyle R{\upharpoonright }_{X}\equiv R|_{X}=\{(x,y)\in R\mid x\in X\}}$

   und ebenso für Abbildungen (Funktionen)

   ${\displaystyle f{\upharpoonright }_{X\times Y}=f\cap (X\times Y)}$

   ${\displaystyle f{\upharpoonright }_{X}\equiv f|_{X}=\{(x,y)\in f\mid x\in X\}}$

   Beispiele siehe Proofwiki: Restriction, Proofwiki: Restriction/Mapping und Martin Ziegler: Vorlesung über Mengenlehre, Universität Freiburg, 1992–2014, Seite 7. Man beachte, dass diese Notation mit dem Harpunensymbol in unterschiedlicher Weise gebraucht wird und teilweise konträr zu der von W. v. O. Quine und D. Klaua ist!
2. D. Klaua: Mengenlehre, S. 66, Definition 8 (a), Teil 1, Teil 2, Teil 3.
3. W. v. O. Quine: Mengenlehre und ihre Logik, Seite 47, 9.16 f.
4. Dabei sind

   ${\displaystyle Db(R)=\{a\in A\mid \exists b\in B\colon (a,b)\in R\},\ \;\ Wb(R)=\{b\in B\mid \exists a\in A\colon (a,b)\in R\}}$

   der Definitions- und Wertebereich der Relation ${\displaystyle R}$; ${\displaystyle \exists }$ ist der Existenzquantor, gelesen: Es gibt (mindestens) ein …
5. D. Klaua, Mengenlehre, S. 66, Definition 8 (a), Teil 4.