Die Definition einer holonomen Zwangsbedingung ist unvollständig, auch wenn man sie leider in fast allen Lehrbüchern so findet. Das Eingeschlossensein in einem Raum lässt sich nämlich durch eine Gleichung darstellen: Wenn man f als eine Funktion definiert, die auf dem Raum null ist und außerhalb ungleich null (Eine solche Funktion lässt sich finden, sogar eine unendlich oft differenzierbare), kann die Bedingung, dass sich ein Teilchen in dem Raum befindet einfach durch die Gleichung f=0 widergegeben werden. Aber das Eingeschlossensein soll ja gerade ein Beispiel für eine nichtholonome Zwangsbedingung sein, also stimmt etwas mit der Definition nicht. Auch die Definition aus dem verlinkten Artikel "holonom" hilft nicht weiter. Ich glaube die Definition lässt sich reparieren, in dem man eine Bedingung an die Jakobimatrix der Funktion f stellt, die in der definierenden Gleichung einer Zwangsbedingung steht (evtl.: Jakobimatrix nirgends 0, oder auch etwas komplizierteres). Es ist aber lange her, dass ich das nachgelesen habe, und ich bin mir nicht mehr sicher wie es ging. Vielleicht kennt ja jemand die genaue Definition von holonom und trägt sie hier ein. SebK 02:43, 20. Dez. 2007 (CET)