mathe: funktion mit vorgegeben eigenschaft gesucht

daniel Gast #1078011 
Hallo,

gibt es im alltagsgebrauch eine Funktion, die nicht kommutativ
aber assoziativ ist? Und dieselbe Frage andersrum.

Meist sind die Funktionen beides oder keines.

Am Rande: Interessanterweise lassen sich kommutative und assoziative
Funktionen beliebiger Argumentenanzahl über eine Tabelle
auflösen, so der Fall in VHDL beim Datentyp resolved std_logic.

grüsse
Antwort Zitieren Bearbeiten Thread verschieben Thread sperren Langsamer Modus Anmeldepflicht aktivieren Anpinnen Thread löschen Thread mit anderem zusammenführen Melden Danke
Morin Gast #1078155 
> gibt es im alltagsgebrauch eine Funktion, die nicht kommutativ
> aber assoziativ ist?

Kommt schlicht darauf an, was für dich der Alltagsgebrauch ist:
- Verkettungsoperator für Funktionen
- Matrizen-Multiplikation
- String-Konkatenation
Antwort Zitieren Bearbeiten Löschen Melden Danke
Jörg Gast #1078180 
Wenn du dich auf poly. Funktionen von totalem Grad <= 1 beschränkst:

f(u,v) = a00 + a10*u + a01*v

(O.E. a00 := 0)

Für Kommutativität gilt dann:

f(u,v) = f(v,u)

=> a10 == a01

Für Nicht-Assoziativität:

f(u,f(v,w)) != f(f(u,v),w)

=> a10*a10*u + a01*a10*v + a01*a01*w != a10*a10*u + a10*a01*v + a01*w
=> a10*a10*u             + a01*a01*w != a10*a10*u             + a01*w
=> a10 != a10*a10   ODER    a01*a01 != a01

sollte also machbar sein (Rate mal mit Rosenthal,welches Schweinderl
hatten's dann gern),für höherpolynomiale Funktionen somit erst recht.

Gruss

Jörg
Antwort Zitieren Bearbeiten Löschen Melden Danke
Jörg Gast #1078186 
Sorry, fast vergessen: Für den ersten Teil obiger Aufgabe gilt
dann umgekehrt:

Nicht-Kommutativität:
a10 != a01

Assoziativität:

a10 == a10*a10   UND
a01 == a01*a01

ist ebenfalls erfüllbar.
Antwort Zitieren Bearbeiten Löschen Melden Danke
daniel Gast #1078226 
@Morin
>Kommt schlicht darauf an, was für dich der Alltagsgebrauch ist

naja alle Operationen, deren Ergebnis gefühlsmässig menschlich
deutbar ist. Darunter fallen ganz sicher auch Stringoperationen etc

>Also kommutativ aber nicht assoziativ: Durchschnitt (arithmetisches
>Mittel).

Ich hab erst an Mengen gedacht, dort ist Durchschnittbildung kommutativ
und assoziativ. Arithmetisches Mittel ist f(n), da fehlt doch
der zweite Partner ;)

@Jorg
Danke! Ist zwar nicht alltagsgebrauch, dafür schönes
systematisches Vorgehen.

Grusse, Daniel
Antwort Zitieren Bearbeiten Löschen Melden Danke
Morin Gast #1079159 
> Arithmetisches Mittel ist f(n), da fehlt doch der zweite Partner ;)

Könntest du etwas genauer erklären, was du damit meinst?

Um jetzt doch mal den Beweis zu bringen, dann wird es vielleicht klarer.

Definition vom arithmetischen Mittel: m(x,y) = (x+y)/2

kommutativ: m(x,y) = (x+y)/2 = (y+x)/2 = m(y,x)

nicht assoziativ: m(x,m(y,z)) = (x + (y+z)/2) / 2
= x/2 + y/4 + z/4
!= x/4 + y/4 + z/2
= ((x+y)/2 + z) / 2
= m(m(x, y), z)
Antwort Zitieren Bearbeiten Löschen Melden Danke
Thread beobachten

Antwort schreiben

Eine eigene Frage? Dieser Thread ist über 17 Jahre alt. Stell sie in einem eigenen Thread – dort lesen mehr Leute mit, und sie wird öfter und schneller beantwortet.

Neuen Thread starten

Eine Lösung, Ergänzung oder Rückmeldung zu diesem Thread? Dann antworte hier.

Formatierung
  • [c]C-Code[/c]
  • [code]Code in anderen Sprachen, ASCII-Zeichnungen[/code]
  • [math]Formel in LaTeX-Syntax[/math]
  • [[Titel]] – Link zu einem Artikel
  • Verweis auf einen anderen Beitrag: Rechtsklick auf dessen Beitrags-ID (#8078628), „Adresse kopieren“, in den Text einfügen

Mehr zur Formatierung

Längeren Sourcecode als Anhang, nicht in den Text. JPG nur für Fotos und Scans; Zeichnungen und Screenshots als PNG oder GIF. Siehe Bildformate.

Dein Name und deine E-Mail-Adresse

Schon registriert? Anmelden

Wird nicht angezeigt. Wir schicken dir einen Link; sobald du damit bestätigst, erscheint dein Beitrag.

Mit dem Abschicken legst du einen kostenlosen Account an und erkennst die Nutzungsbedingungen und die Datenschutzerklärung an.