FB18 - Das Forum für Informatik

fb18.de / Diplom Informatik / Unterbereich Grundstudium / Formale Informatik

Mü-Operator Definition

Mü-Operator Definition 2006-09-25 19:32
Anonymer User
Ich hab in einem Buch folgende Definition für den mü-Operator gefunden:
[img]http://mokrates.de/cgi-bin/texstring?%5Cmu%20%5Bf%5D(x_%7B1%7D;...;x_%7Bk%7D)%20=min%20%5C%7Bz%7C(x_%7B1%7D;...;x_%7Bk%7D,y)%20%5Cin%20Def(f)%20fuer%20y%20%5Cleq%20z%20und%20f(x_%7B1%7D;...;x_%7Bk%7D,%20z)=0%20%5C%7D[/img]
Ist das äquivalent mit dem was im Skript steht? Ich glaube nicht, denn dort steht ja k < i, also y<z oder?

Re: Mü-Operator Definition 2006-09-25 19:44
georg
Hm, irgendwie hat das mit dem Latex nicht ganz geklappt, aber
ich nehme mal an, es geht weiter mit
"…und [img]http://mokrates.de/cgi-bin/texstring?f(x_1%3B%5Cdots%3Bx_k%2Cz)%3D0%5C%7D[/img]".
Ja, das ist äquivalent, denn dadurch, dass im Skript
[img]http://mokrates.de/cgi-bin/texstring?f(x_1%2C%5Cldots%2Cx_n%2Ci)%3D0[/img] steht, wird ja implizit auch
[img]http://mokrates.de/cgi-bin/texstring?(x_1%2C%5Cldots%2Cx_n%2Ci)%5Cin%20Def(f)[/img] gefordert.