Einschränkung
In der Mathematik wird der Begriff Einschränkung (auch Restriktion) meist für die Verkleinerung des Definitionsbereichs einer Funktion verwendet.
Auch für Relationen ist es möglich, die Einschränkung auf eine Teilmenge der Grundmenge zu betrachten.
Gelegentlich wird in mathematischen Beweisen die Formulierung „ohne Beschränkung der Allgemeinheit“ (o. B. d. A.) benutzt. Diese hat mit den hier erläuterten mathematischen Begriffen nichts zu tun.
Einschränkung einer Funktion
BearbeitenDefinition
BearbeitenIst eine beliebige Funktion und eine Teilmenge der Definitionsmenge , dann versteht man unter der Einschränkung (oder Restriktion) von auf diejenige Funktion , deren Werte auf mit den Werten von übereinstimmen. Fasst man die Funktion als rechtseindeutige, linkstotale Relation auf, dann reproduziert diese Definition die der Vorbeschränkung . Mit Hilfe der Inklusionsabbildung lässt sich die Einschränkung kurz als Verkettung von Funktionen schreiben:
In der Situation nennt man auch eine Fortsetzung von .[1] Ein Beispiel hierfür ist die stetige Fortsetzung.
Beispiel
Bearbeitensei die Menge der reellen Zahlen und mit die Quadratfunktion. ist nicht injektiv, die Einschränkung auf das Intervall der nichtnegativen reellen Zahlen hingegen schon. Wenn man auch noch die Zielmenge auf die Bildmenge einschränkt, erhält man die bijektive Quadratfunktion mit , die also eine Umkehrfunktion hat, nämlich die Quadratwurzelfunktion.
Verträglichkeitsregeln
BearbeitenDie Vereinigung der (Graphen der) Einschränkungen einer Funktion auf eine Menge und eine Menge ist gleich der Einschränkung auf die Vereinigung dieser beiden Mengen. Gleiches gilt für den Schnitt:
Analoges gilt für andere Mengenoperationen, auch für unendliche Vereinigung und Schnitt. Daraus folgt: Sind die beiden Mengen und disjunkt, so sind es auch die (Graphen der) eingeschränkten Funktionen und .
Einschränkung einer Relation
BearbeitenZweistellige Relationen
BearbeitenSei eine zweistellige Relation aus dem Vorbereich in den Nachbereich und seien Mengen, dann heißt[1]
die Vorbeschränkung von in und
die Nachbeschränkung von in .[2][3][4] In der Praxis wird dabei meist und gelten, obwohl das keine Voraussetzung sein muss.
Legt man die alternative ausführliche Definition von Relationen mit zugrunde, dann stellt sich die Vorbeschränkung von auf eine Menge dar als
und die Nachbeschränkung auf eine Menge als
- .
Solange die Definitions- bzw. Wertebereiche nicht eingeschränkt werden ( bzw. ), sind die Vor- bzw. Nachbeschränkungen im Wesentlichen gleich der ursprünglichen Relation (insbesondere im Fall der Gleichheit ).
Homogene zweistellige Relationen
BearbeitenBei homogenen zweistelligen Relationen auf der Menge (d. h. ) spricht man von einer totalen Einschränkung (oder einfach Einschränkung), wenn diese Relation gleichzeitig in dieselbe Menge vor- und nachbeschränkt wird:
Auf die Reihenfolge, in der Vor- und Nachbeschränkung angewendet werden, kommt es nicht an.
Insbesondere gilt: Ist eine homogene zweistellige Relation auf der Menge und eine Teilmenge von dann ist die Relation auf die Einschränkung von auf wenn für alle und aus gilt:
- .
n-stellige Relationen
BearbeitenPrinzipiell lässt sich die obige Definition auf beliebige -stellige Relationen erweitern. Für eine -stellige homogene Relationen auf einer Menge (d. h. ) ist die (totale) Einschränkung gegeben durch
Insbesondere gilt analog zu Obigem: Sind eine homogene -stellige Relation auf einer Menge (d. h. ) und eine Teilmenge von , dann ist die -stellige Relation auf die Einschränkung von auf wenn für alle -gliedrigen Sequenzen aus gilt:
Beispiel
BearbeitenDie Kleiner-Relation auf der Menge der ganzen Zahlen ist eine Einschränkung der Kleiner-Relation auf der Menge der rationalen Zahlen.
Einschränkung einer Darstellung
BearbeitenEine lineare Darstellung einer Gruppe auf einem Vektorraum ist ein Homomorphismus von in die allgemeine lineare Gruppe . Unter einer Einschränkung können zwei verschiedene Konstruktionen verstanden werden.
- Falls ein invarianter Unterraum ist, dann erhält man eine eingeschränkte Darstellung .
- Falls eine Untergruppe ist, dann ist eine Darstellung von , die mit (für Restriktion) bezeichnet wird. Falls keine Verwechslungsgefahr besteht, schreibt man auch nur oder auch kurz Man verwendet auch die Schreibweise bzw. für die Einschränkung einer Darstellung (auf) von auf
Literatur
Bearbeiten- 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 anstelle von . Im Artikel hier ist jedoch durchgängig und (Graph von ) benutzt.
- Willard van Orman Quine: Set Theory And Its Logic. 1. Auflage. 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 und ) und Relationen im Besonderen. Die Seitenangaben beziehen sich auf die deutsche Übersetzung.
Einzelnachweise und Anmerkungen
Bearbeiten- ↑ a b Gelegentlich wird in der Mengenlehre eine abweichende Notation verwendet:
- ↑ D. Klaua: Mengenlehre. S. 66, Definition 8 (a), Teil 1, Teil 2, Teil 3.
- ↑ W. v. O. Quine: Mengenlehre und ihre Logik. Seite 47, 9.16 f.
- ↑ Dabei sind
- ↑ D. Klaua: Mengenlehre. S. 66, Definition 8 (a), Teil 4.