Zweistellige Verknüpfung

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 f\colon A \times B \to C vom kartesischen Produkt zweier Mengen A und B nach einer dritten Menge C. Anders gesagt, eine solche Verknüpfung f ordnet jedem Paar von Elementen a \in A und b \in B ein Element c = f(a,b) in C zu: das Ergebnis der Verknüpfung.

Schreibweisen

Zweistellige Verknüpfungen f schreibt man oft in Infixnotation a\,f\,b anstelle der gewöhnlichen Präfixnotation f(a,b). Zum Beispiel schreibt man eine Addition als a + b anstelle von + (a,b). Eine Multiplikation \cdot wird oft ganz ohne Symbol geschrieben, also a b = 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

  • Die Komposition von Abbildungen ist eine zweistellige Verknüpfung: Sie ordnet jeder Abbildung f\colon X \to Y und jeder Abbildung g\colon Y \to Z ihre Hintereinanderausführung g \circ f\colon X \to Z zu. Dies entspricht demnach einer Verknüpfung \circ \colon \mathrm{Abb}(Y,Z) \times \mathrm{Abb}(X,Y) \to \mathrm{Abb}(X,Z). Hierbei können die Mengen X, Y und Z beliebig gewählt werden. Diese Verknüpfung tritt in fast allen Gebieten der Mathematik auf und liegt der Kategorientheorie zugrunde.

Innere zweistellige Verknüpfung

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

Ganz allgemein nennt man eine Menge A mit einer beliebigen inneren Verknüpfung * \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üpfungen erster Art ist eine zweistellige Verknüpfung f \colon O \times A \to A, die man Linksoperation von O auf A nennt, bzw. f\colon A \times O \to A, die man Rechtsoperation von O auf A nennt. Sie unterscheiden sich von inneren zweistelligen Verknüpfungen dadurch, dass die als Operatorenbereich bezeichnete Menge O (welche die Operatoren beinhaltet) nicht notwendigerweise eine Teilmenge von A ist, von außerhalb kommt. Man sagt dann O operiert von links bzw. von rechts auf A, und die Elemente von O heißen Links- bzw. Rechtsoperatoren.

Bei multiplikativer Schreibweise schreibt man statt o\,f\,a, bzw. a\,f\,o auch kurz oa bzw. ao; man spricht dann von der Operatorenschreibweise. Durch jeden Operator o \in O ist genau eine Abbildung \tau_{of}\colon A \to A,\, a \mapsto \tau_{of}(a) := o\,f\,a, bzw. \tau_{fo}\colon A \to A,\, a \mapsto \tau_{fo}(a) := a\,f\,o, definiert, die auch die Transformation zu o genannt wird. Zwischen dem Operator o und der zugehörigen Transformation τof bzw. τfo wird dabei in der Regel nicht unterschieden.

Beispiele

  • Bei einer Gruppenoperation \bullet \colon G \times X \to X ist G eine Gruppe und X eine Menge. Man fordert zusätzlich eine gewisse Verträglichkeit dieser Operation mit der Gruppenstruktur (G,\cdot), nämlich 1 \bullet x = x und g_1 \bullet (g_2 \bullet x) = (g_1 \cdot g_2) \bullet x für alle g_1,g_2 \in G und x \in X.
  • Bei der Skalarmultiplikation \bullet \colon K \times V \to V in der linearen Algebra ist der Operatorenbereich K ein Körper, meist \mathbb R oder \mathbb C, und V eine abelsche Gruppe, etwa \mathbb R^n bzw. \mathbb C^n. Man fordert zusätzlich die Verträglichkeit der Skalarmultiplikation mit den bereits gegebenen Strukturen (K,+,\cdot) und (V, + ). Ausgestattet mit der Operation \bullet wird V zu einem Vektorraum über K.

Bemerkung

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

Äußere zweistellige Verknüpfungen zweiter Art

Eine äußere zweistellige Verknüpfung zweiter Art ist eine Abbildung f \colon A \times A \to B, das heißt f ist eine zweistellige Verknüpfung auf einer Menge A, aber bezüglich dieser ist A nicht abgeschlossen.

Beispiele

  • Das Skalarprodukt in \mathbb R^n ordnet je zwei Vektoren aus \mathbb R^n eine reelle Zahl zu und ist somit eine äußere zweistellige Verknüpfung zweiter Art.
  • Ist A ein affiner Raum über einem Vektorraum V, so ist A \times A \to V mit (P,Q)\mapsto\overrightarrow{PQ} eine äußere zweistellige Verknüpfung zweiter Art.

Siehe auch

Weblinks

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

Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Innere zweistellige Verknüpfung — Eine zweistellige Verknüpfung (auch binäre Verknüpfung oder binäre Operation) ist in der Mathematik eine spezielle Art der Verknüpfung, die sich dadurch auszeichnet, dass sie genau zwei Operanden besitzt. Bekannte Beispiele sind die… …   Deutsch Wikipedia

  • Zweistellige innere Verknüpfung — Eine zweistellige Verknüpfung (auch binäre Verknüpfung oder binäre Operation) ist in der Mathematik eine spezielle Art der Verknüpfung, die sich dadurch auszeichnet, dass sie genau zwei Operanden besitzt. Bekannte Beispiele sind die… …   Deutsch Wikipedia

  • Verknüpfung (Mathematik) — In der Mathematik wird Verknüpfung als ein Oberbegriff gebraucht, um neben verschiedenen arithmetischen Rechenoperationen (wie Addition, Subtraktion usw.) auch geometrische Operationen (wie Spiegelung, Drehung u.a.) und weitere (gelegentlich auch …   Deutsch Wikipedia

  • Zweistellige Relation — Eine Relation ist allgemein eine Beziehung, die zwischen Dingen bestehen kann. Relationen im Sinne der Mathematik sind ausschließlich diejenigen Beziehungen, bei denen stets klar ist, ob sie bestehen oder nicht. Zwei Gegenstände können also nicht …   Deutsch Wikipedia

  • Binäre Verknüpfung — Eine zweistellige Verknüpfung (auch binäre Verknüpfung oder binäre Operation) ist in der Mathematik eine spezielle Art der Verknüpfung, die sich dadurch auszeichnet, dass sie genau zwei Operanden besitzt. Bekannte Beispiele sind die… …   Deutsch Wikipedia

  • Innere Verknüpfung — Eine zweistellige Verknüpfung (auch binäre Verknüpfung oder binäre Operation) ist in der Mathematik eine spezielle Art der Verknüpfung, die sich dadurch auszeichnet, dass sie genau zwei Operanden besitzt. Bekannte Beispiele sind die… …   Deutsch Wikipedia

  • Äußere Verknüpfung — Eine zweistellige Verknüpfung (auch binäre Verknüpfung oder binäre Operation) ist in der Mathematik eine spezielle Art der Verknüpfung, die sich dadurch auszeichnet, dass sie genau zwei Operanden besitzt. Bekannte Beispiele sind die… …   Deutsch Wikipedia

  • Einstellige Verknüpfung — In der Mathematik ist eine einstellige Verknüpfung (auch unäre oder monadische Verknüpfung) eine Verknüpfung mit nur einem Operanden. Zum Beispiel ist die logische Negation eine einstellige Verknüpfung von Wahrheitswerten, und das Quadrieren ist… …   Deutsch Wikipedia

  • Assoziative Verknüpfung — Das Assoziativgesetz (lat. associare vereinigen, verbinden, verknüpfen, vernetzen), auf Deutsch Verknüpfungsgesetz oder auch Verbindungsgesetz, ist eine Regel aus der Mathematik. Eine (zweistellige) Verknüpfung ist assoziativ, wenn die… …   Deutsch Wikipedia

  • Logische Verknüpfung — Logische Verknüpfungen sind Operationen der Booleschen Algebra. Mit Hilfe der logischen Verknüpfungen lassen sich in der Aussagenlogik und Schaltalgebra aus einfacheren Aussagen kompliziertere Aussagen zusammensetzen. Dabei muss der Wahrheitswert …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”