Forum:  Kombinatorik & Graphentheorie
Thema: Permutationsproblem formulieren - Differenzen
Themen-Übersicht
hari01071983
Aktiv
Dabei seit: 16.10.2006
Mitteilungen: 610
Wohnort: Österreich
Themenstart: 2021-04-10 18:49
Liebe Alle, kämpfe gerade mit folgender Aufgabe: Gegeben: \[\sigma \text{ ist eine Permutation (bijektive Abbildung auf sich selbst) } M:=\{ 1\dots n \} \\ \begin{eqnarray*} \sigma : M &\rightarrow M \\ i &\mapsto \sigma(i) \end{eqnarray*} \] Wie kann ich jetzt folgendes Problem sauber mit Quantoren, Mengen, Folgen, etc.. formulieren: Zeigen Sie dass die Folge der Differenzen \( j-i\) bis auf die Reihenfolge und das Vorzeichen gleich mit den Differenzen \(\sigma(j)-\sigma(i)\) ist, wobei gilt: \( (i,j \in M) \wedge (i

StrgAltEntf
Senior
Dabei seit: 19.01.2013
Mitteilungen: 7085
Wohnort: Milchstraße
Beitrag No.1, eingetragen 2021-04-10 19:13
Hallo hari01071983, ist das wirklich die Aufgabenstellung? Was soll z. B. die "Folge der Differenzen" sein? Was meinst du mit \((i,j)\in M\)? Möchtest du nur eine andere Formulierung der Aufgabenstellung oder eine Lösung der Aufgabe?

hari01071983
Aktiv
Dabei seit: 16.10.2006
Mitteilungen: 610
Wohnort: Österreich
Beitrag No.2, vom Themenstarter, eingetragen 2021-04-10 23:16
Zuerst will ich mal die Formulierung des Problems dann natürlich die Lösung. Wenn ich das Problem nicht mal formulieren kann, werde ich es auch nicht lösen können. Für alle Folgenglieder soll gelten \(i1<2, 1<3 und 2<3 Bsp identische Permutation mit 3 Elementen: \[ \begin{eqnarray*} \sigma_1 = \left( \begin{array}{rrr} 1 & 2 & 3 \\ 1 & 2 & 3 \end{array} \right) & \\ \text{Folge der Differenzen } j-i = & (2-1,3-1,3-2) =(1,2,1) \\ \text{ und } &\\ \text{Folge der Differenzen } \sigma(j)-\sigma(i) = & (2-1,3-1,3-2) =(1,2,1) \end{eqnarray*} \] Bsp andere Permutation mit 3 Elementen: \[ \begin{eqnarray*} \sigma_2 = \left( \begin{array}{rrr} 1 & 2 & 3 \\ 1 & 3 & 2 \end{array} \right) & \\ \text{Folge der Differenzen } j-i = & (2-1,3-1,3-2) =(1,2,1) \\ \text{ und } &\\ \text{Folge der Differenzen } \sigma(j)-\sigma(i) = & (3-1,2-1,2-3) =(2,1,-1) \end{eqnarray*} \]

Nuramon
Senior
Dabei seit: 23.01.2008
Mitteilungen: 3011
Beitrag No.3, eingetragen 2021-04-11 02:06
\(\begingroup\)\(\renewcommand{\Re}{\operatorname{Re}} \renewcommand{\Im}{\operatorname{Im}} \newcommand{\End}{\operatorname{End}} \newcommand{\id}{\operatorname{id}} \newcommand{\GL}{\operatorname{GL}} \newcommand{\im}{\operatorname{im}} \newcommand{\sgn}{\operatorname{sgn}} \newcommand{\d}{{\rm d}} \newcommand{\rg}{\operatorname{rg}} \newcommand{\spur}{\operatorname{spur}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\tr}{\operatorname{tr}} \newcommand{\opn}{\operatorname}\) Hallo, du willst zeigen, dass es für jedes $k\geq 0$ eine Bijektion zwischen der Menge $\{(i,j)\in M^2\mid i\(\endgroup\)

StrgAltEntf
Senior
Dabei seit: 19.01.2013
Mitteilungen: 7085
Wohnort: Milchstraße
Beitrag No.4, eingetragen 2021-04-11 09:58
Oder so: Sei \(N=\{(i,j)\in M^2\mid i

hari01071983
Aktiv
Dabei seit: 16.10.2006
Mitteilungen: 610
Wohnort: Österreich
Beitrag No.5, vom Themenstarter, eingetragen 2021-04-12 21:27
\quoteon(2021-04-11 09:58 - StrgAltEntf in Beitrag No. 4) Oder so: Sei \(N=\{(i,j)\in M^2\mid i

StrgAltEntf
Senior
Dabei seit: 19.01.2013
Mitteilungen: 7085
Wohnort: Milchstraße
Beitrag No.6, eingetragen 2021-04-12 22:02
Eigentlich ist doch N = {(1,2), (1,3), (2,3)}. Wenn du nun auf jede Komponente eines jeden Elements von N \(\sigma_2\) anwendest, ergibt sich {(1,3), (1,2), (3,2)}. Das ist nicht gleich N; das ist wohl richtig, da \((3,2)\not\in N\). Aber es geht doch nur um den Betrag der Differenzen, wenn ich dich richtig verstanden habe. Hier passt also \(\varphi(1,2)=(1,3),~\varphi(1,3)=(1,2),~\varphi(2,3)=(2,3)\).

hari01071983
Aktiv
Dabei seit: 16.10.2006
Mitteilungen: 610
Wohnort: Österreich
Beitrag No.7, vom Themenstarter, eingetragen 2021-04-12 22:10
Du hast natürlich in allen Punkten recht. Es ist mir halt nur aufgefallen das (m,n) nicht aus N sein muss. Und ja: mir geht es eigentlich nur um den Betrag . Wie ich das aber zeigen soll, dass diese Beträge im Allgemeinen übereinstimmen ist mir ein Rätsel. (Es muss ja für jede beliebige Permutation gelten.) Vielen herzlichen Dank

hari01071983
Aktiv
Dabei seit: 16.10.2006
Mitteilungen: 610
Wohnort: Österreich
Beitrag No.8, vom Themenstarter, eingetragen 2021-04-12 22:22
\[ \begin{eqnarray*} \sigma_2 = \left( \begin{array}{rrr} 1 & 2 & 3 \\ 2 & 3 & 1 \end{array} \right) \end{eqnarray*} \] hier ist es nicht so trivial: \(\varphi(1,2)=(2,3),~\varphi(1,3)=(2,1),~\varphi(2,3)=(3,1)\) Bilden wir jetzt die Beträge der Differenzen: hier haben wir einmal: 1,2,1 und dann: 1,1,2. Die Frage ist: wie kann ich im Allgemeinen zeigen dass hier z.B. gleich viele 1er und gleich viele 2er auftreten.

StrgAltEntf
Senior
Dabei seit: 19.01.2013
Mitteilungen: 7085
Wohnort: Milchstraße
Beitrag No.9, eingetragen 2021-04-12 22:25
Das ist mehr oder weniger trivial, wie ich finde. Betrachte statt N die Menge N' der Paare {i,j} mit \(i\neq j\). Durch eine Permutation von M werden dann lediglich die Elemente von N' umbenannt. Eine Permutation \(\sigma\) von M ergibt also auf natürliche Weise eine Permutation \(\varphi\) von N', nämlich \(\varphi(\{i,j\})=\{\sigma(i),\sigma(j)\}\). Somit bleiben die (Beträge) der Differenzen dieselben. [Die Antwort wurde nach Beitrag No.7 begonnen.]



Dieses Forumbeitrag kommt von Matroids Matheplanet
https://https://matheplanet.de

Die URL für dieses Forum-Thema ist:
https://https://matheplanet.de/default3.html?topic=253257=70
Druckdatum: 2021-09-26 12:42