Zweistellige Verknüpfung - de.LinkFang.org

Zweistellige Verknüpfung




Eine zweistellige Verknüpfung, auch binäre Verknüpfung genannt, ist in der Mathematik eine Verknüpfung, die genau zwei Operanden besitzt. Zweistellige Verknüpfungen treten insbesondere in der Algebra sehr häufig auf und man spricht dort abkürzend auch von Verknüpfung ohne den Zusatz zweistellig. Es gibt aber auch Verknüpfungen mit anderer Stelligkeit, die zum Beispiel drei oder mehr Operanden miteinander verknüpfen.

Inhaltsverzeichnis

Definition


Eine zweistellige Verknüpfung ist eine Abbildung \({\displaystyle f\colon A\times B\to C}\) vom kartesischen Produkt zweier Mengen \({\displaystyle A}\) und \({\displaystyle B}\) nach einer dritten Menge \({\displaystyle C}\). Eine solche Verknüpfung \({\displaystyle f}\) ordnet jedem geordneten Paar \({\displaystyle (a,b)}\) von Elementen \({\displaystyle a\in A}\) und \({\displaystyle b\in B}\) als den zwei Operanden mit \({\displaystyle f(a,b)=c}\) ein Element \({\displaystyle c\in C}\) zu als das Resultat oder Ergebnis der Verknüpfung. Wenn die Mengen \({\displaystyle A}\), \({\displaystyle B}\) und \({\displaystyle C}\) gleich sind, wird die Verknüpfung auch innere Verknüpfung genannt; andernfalls spricht man von einer äußeren Verknüpfung.

Schreibweisen

Zweistellige Verknüpfungen \({\displaystyle f}\) schreibt man oft in Infixnotation \({\displaystyle a\,f\,b}\) anstelle der gewöhnlichen Präfixnotation \({\displaystyle f(a,b)}\). Zum Beispiel schreibt man eine Addition als \({\displaystyle a+b}\) anstelle von \({\displaystyle {+}(a,b)}\). Eine Multiplikation \({\displaystyle \cdot }\) wird oft ganz ohne Symbol geschrieben, also \({\displaystyle ab=a\cdot b=\cdot (a,b)}\). Die bekannteste Postfixnotation ist die umgekehrte polnische Notation, die ohne Klammern auskommt. Die gewählte Schreibweise, ob Präfix, Infix, oder Postfix, richtet sich im Wesentlichen nach der Nützlichkeit im gegebenen Kontext und den jeweiligen Traditionen.

Beispiele

Innere zweistellige Verknüpfung


Eine innere zweistellige Verknüpfung oder zweistellige Operation auf einer Menge \({\displaystyle A}\) ist eine zweistellige Verknüpfung \({\displaystyle f\colon A\times A\to A}\), die also jedem geordneten Paar aus \({\displaystyle A}\) ein Element von \({\displaystyle A}\) zuordnet. Dies entspricht der obigen allgemeinen Definition im Spezialfall \({\displaystyle A=B=C}\). Das zusätzliche Attribut innere drückt aus, dass alle Operanden aus der Menge \({\displaystyle A}\) sind und die Verknüpfung nicht aus \({\displaystyle A}\) hinausführt. Man sagt dazu auch, \({\displaystyle A}\) ist abgeschlossen bezüglich \({\displaystyle f}\).

Innere zweistellige Verknüpfungen sind ein wichtiger Bestandteil von algebraischen Strukturen, die in der abstrakten Algebra untersucht werden. Sie treten auf bei Halbgruppen, Monoiden, Gruppen, Ringen und anderen mathematischen Strukturen.

Ganz allgemein nennt man eine Menge \({\displaystyle A}\) mit einer beliebigen inneren Verknüpfung \({\displaystyle *\colon A\times A\to A}\) auch Magma. Oft haben solche Verknüpfungen noch weitere Eigenschaften, zum Beispiel sind sie assoziativ oder kommutativ. Viele haben auch ein neutrales Element und invertierbare Elemente.

Beispiele

Äußere zweistellige Verknüpfungen erster Art


Eine äußere zweistellige Verknüpfung erster Art ist eine zweistellige Verknüpfung \({\displaystyle f\colon \,A\times B\to A,}\) die man Rechtsoperation von \({\displaystyle B}\) auf \({\displaystyle A}\) nennt, bzw. \({\displaystyle f\colon \,B\times A\to A,}\) die man Linksoperation von \({\displaystyle B}\) auf \({\displaystyle A}\) nennt. Sie unterscheiden sich von inneren zweistelligen Verknüpfungen dadurch, dass die als Operatorenbereich bezeichnete Menge \({\displaystyle B,}\) deren Elemente Operatoren genannt werden, nicht notwendig eine Teilmenge von \({\displaystyle A}\) ist, also von außerhalb kommen kann. Man sagt dann \({\displaystyle B}\) operiert von rechts bzw. von links auf \({\displaystyle A,}\) und die Elemente von \({\displaystyle B}\) heißen Rechts- bzw. Linksoperatoren.

Durch jeden Operator \({\displaystyle \beta \in B}\) ist genau eine Abbildung \({\displaystyle \vartheta _{f\beta }\colon A\to A,\,a\mapsto \vartheta _{f\beta }(a):=a\,f\,\beta ,}\) bzw. \({\displaystyle \vartheta _{\beta f}\colon A\to A,\,a\mapsto \vartheta _{\beta f}(a):=\beta \,f\,a,}\) definiert, die auch die Transformation zu \({\displaystyle \beta }\) genannt wird. Bei einer Multiplikation \({\displaystyle f}\) schreibt man statt \({\displaystyle a\,f\,\beta }\) bzw. \({\displaystyle \beta \,f\,a}\) auch kurz \({\displaystyle a\beta }\) bzw. \({\displaystyle \beta a}\) und es wird in der Regel zwischen dem Operator \({\displaystyle \beta }\) und der zugehörigen Transformation \({\displaystyle \vartheta _{\beta }\colon a\mapsto a\beta }\) oder \({\displaystyle \vartheta _{\beta }\colon a\mapsto \beta a}\) nicht mehr unterschieden. Man schreibt dann in der sogenannten Operatorenschreibweise: \({\displaystyle \beta \colon A\to A,\,a\mapsto a\beta ,}\) bzw. \({\displaystyle \beta \colon A\to A,\,a\mapsto \beta a.}\)

Beispiele

Bemerkung

Der Begriff Operation bzw. Operator wird, z. B. in der Funktionalanalysis, auch für allgemeine zweistellige Verknüpfungen \({\displaystyle f\colon \,A\times B\to C}\) bzw. \({\displaystyle f\colon \,B\times A\to C}\) gebraucht. Hierbei sind \({\displaystyle A,C}\) Mengen mit gleicher (meist algebraischer) Struktur, und oft soll die Transformation \({\displaystyle \vartheta _{f\beta }\colon A\to C}\) bzw. \({\displaystyle \vartheta _{\beta f}\colon A\to C}\) mit der Struktur auf \({\displaystyle A}\) und \({\displaystyle C}\) verträglich sein.

Äußere zweistellige Verknüpfungen zweiter Art


Eine äußere zweistellige Verknüpfung zweiter Art ist eine Abbildung \({\displaystyle f\colon A\times A\to C,}\) das heißt \({\displaystyle f}\) ist eine zweistellige Verknüpfung auf einer Menge \({\displaystyle A,}\) aber \({\displaystyle A}\) muss bezüglich \({\displaystyle f}\) nicht abgeschlossen sein, es darf also auch \({\displaystyle C\nsubseteq A}\) gelten.

Beispiele

Siehe auch


Literatur


Weblinks


Commons: Binary operations  – Sammlung von Bildern, Videos und Audiodateien








Kategorien: Algebra








Stand der Informationen: 03.07.2020 01:08:11 CEST

Quelle: Wikipedia (Autoren [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Veränderungen: Alle Bilder und die meisten Designelemente, die mit ihnen in Verbindung stehen, wurden entfernt. Icons wurden teilweise durch FontAwesome-Icons ersetzt. Einige Vorlagen wurden entfernt (wie „Lesenswerter Artikel“, „Exzellenter Artikel“) oder umgeschrieben. CSS-Klassen wurden zum Großteil entfernt oder vereinheitlicht.
Wikipedia spezifische Links, die nicht zu Artikeln oder Kategorien führen (wie „Redlink“, „Bearbeiten-Links“, „Portal-Links“) wurden entfernt. Alle externen Links haben ein zusätzliches FontAwesome Icon erhalten. Neben weiteren kleinen Designanpassungen wurden Media-Container, Karten, Navigationsboxen, gesprochene Versionen & Geo-Mikroformate entfernt.

Wichtiger Hinweis Da die gegebenen Inhalte zum angegebenen Zeitpunkt maschinell von Wikipedia übernommen wurden, war und ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.org nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein oder Fehler in der Darstellung vorliegen, bitten wir Sie darum uns per zu kontaktieren: E-Mail.
Beachten Sie auch : Impressum & Datenschutzerklärung.