Mathematik – Management – Meditation. Bruno Buchberger

Чтение книги онлайн.

СКАЧАТЬ

      „Was wäre, wenn …“ ist immer sehr schwer zu beantworten.

      Da die Probleme, die mit Gröbner-Basen behandelt werden können, doch sehr grundlegend sind, wäre ich wahrscheinlich früher oder später darauf gekommen, dass sich Leute nun mit diesen Fragen befassen, und ich hätte mich einbringen und sagen können, dass ich diese Probleme mit meiner Methode lösen kann.

      In der Tat hat es schon einige Monate vor meinem Vortrag in Deutschland einen Kontakt von Wolfgang Trinks von der Universität Kaiserslautern gegeben, der einen Masterstudenten auf die Implementierung meiner Gröbner-Basen-Methode angesetzt hatte und selbst eine sehr schöne Darstellung meiner Arbeit aus einem allgemeineren Blickwinkel geschrieben hatte. Das Interesse war aber weniger kämpferisch vorgetragen und die Relevanz für die entstehende Welt der mathematischen Softwaresysteme kam nicht heraus! Dementsprechend war ich durch diesen Impuls noch nicht motiviert, mich wieder mit den Gröbner-Basen zu befassen und mein damaliges Forschungsgebiet hintanzustellen.

      Oder es wäre so etwas wie die Gröbner-Basen irgendwann von jemandem anderen erfunden worden. Das ist sehr schwer zu sagen, denn immerhin war das Problem ja vorher – seit 1899 – offen gewesen.

Die Zufallsbekanntschaft mit dem deutschen Kollegen10 war für mich persönlich aber auf jeden Fall sehr entscheidend. Wir sind dann auch sehr schnell freundschaftlich verbundene Kollegen geworden. Die deutsche Mentalität ist halt manchmal etwas harsch, aber geradlinig, und man kommt gleich zum Punkt. Das kann ein großer Vorteil sein. Und in der Wissenschaft ist ohnedies die freie Kritik der Schlüssel für den Fortschritt. Die Kritik wird meist anonym, geschützt durch das sogenannte „peer reviewing system“ ausgeübt, damit der Kritiker nicht möglichen Repressalien durch den Kritisierten ausgesetzt ist. Rüdiger Loos war ehrlich genug, die Kritik persönlich und „ungeschützt“ anzubringen. Das kann man auch als sehr mutig bezeichnen.

      Seine Kritik an meinem damaligen Forschungsgebiet („Schon der Titel Ihres Vortrags ist unsinnig“) hat sich aber als falsch erwiesen. Denn circa seit 1995 werden die Dinge, die ich damals studiert hatte, mit großer Intensität und auch großem Erfolg in der Softwaretechnologie eingesetzt und zwar unter dem Stichwort „Abstract State Machines“. Ich war halt immer ein bisschen „gegen den Strom“ oder jedenfalls nicht immer im Hauptstrom und, wie sich gezeigt hat, damit meist etwas meiner Zeit voraus, wenn ich das einmal unbescheiden sagen darf.

      Jedenfalls hat mich Loos darauf hingestoßen, dass die Dinge, mit denen ich mich in der Dissertation beschäftigt hatte, jetzt von größtem Interesse für die Entwicklung einer neuen Generation mathematischer Softwaresysteme wären, und zwar eben für Probleme, für die man damals keine Methoden hatte. Und das hat mich gewaltig motiviert, mich in der Forschung wieder mit vollem Fokus auf das Gebiet der Gröbner-Basen zu stürzen, das ich seinerzeit aus Frust über die Nichtbeachtung durch Gröbner verlassen hatte. Als Resultat habe ich kurz darauf eine wesentliche Verbesserung meines Algorithmus gefunden und diese 1979 publiziert, ohne die auch mit heutigen Rechnern nur kleine Beispiele in vernünftiger Rechenzeit gelöst werden könnten.

Ich habe mich dann auch intensiv in die damals noch kleine internationale Community eingebracht, die das Gebiet der „Computer-Algebra“ und der darauf aufbauenden mathematischen Softwaresysteme hochgezogen hat. Loos verdanke ich auch die Bekanntschaft mit George E. Collins, dessen Methode der „cylindrical algebraic decompositions“ (1975 erstmalig in völliger Allgemeinheit publiziert) einen revolutionären Beitrag zur Computer-Algebra darstellt, deren Bedeutung nicht überschätzt werden kann. Leider kann ich seine Leistung und die Grundgedanken seiner Methode in diesem Rahmen nicht wirklich erklären. Wir haben uns jedenfalls 1982 zusammengetan, um das erste Sammelwerk über das junge Gebiet der Computer-Algebra zu schreiben, was dem Gebiet, wie ich hoffe, einen wesentlichen Impuls gegeben hat.11

      Ein interessantes mathematisches Problem, das Sie in Ihrer Dissertation gelöst haben, und ein interessanter Grund, warum die Gröbner-Basen den Namen von Gröbner haben: Aber was sind nun die Gröbner-Basen?

      Die Theorie der Gröbner-Basen ist eine mathematische Theorie, mit welcher es möglich ist, beliebige sogenannte nicht lineare, algebraische Gleichungssysteme zu behandeln. Der abstrakte Raum, in welchem sich diese Theorie abspielt, ist der Raum der sogenannten „Polynomideale“.

      Nicht lineare Gleichungssysteme kommen faktisch überall in den Naturwissenschaften, in der Technik, Medizin, Wirtschaft vor. Einige Beispiele von Problemen aus Naturwissenschaft und Technik, die durch Polynomideale beschrieben werden können, habe ich in einer der vorigen Fragen gegeben (vgl. Seite 16).

      Die „Nicht-Linearität“ macht hier die Schwierigkeit aus. Eine Tischoberfläche ist etwas „Lineares“, ein Bilderrahmen ist (meist) etwas Lineares. Wenn man einen Bilderrahmen auf einen Tisch stellt, entsteht eine Kante, wo sich Tisch und Bild schneiden. Die ist „linear“. Wenn hingegen ein Ball (etwas „Nicht-Lineares“) in eine spiegelglatte („lineare“) Wasseroberfläche eintaucht, ist die Schnittlinie etwas „Nicht-Lineares“, nämlich ein Kreis. Eine Tischoberfläche ist „zweidimensional“, die Bilderrahmenkante ist „eindimensional“, die Balloberfläche ist „zweidimensional“, der Ball selbst mitsamt seinem Inhalt ist „dreidimensional“. In der Technik, Wirtschaft, Biologie etc. kommen (gedankliche) Gebilde vor, die viele Dimensionen (auch „Freiheitsgrade“/„unabhängige Variable“/„Parameter“ genannt) haben.

      Zum Beispiel hat ein Roboterarm mit drei Gelenken und einem Greifer, der sich in jede Richtung orientieren kann (und dazu weitere drei Gelenke braucht), sechs voneinander unabhängige Möglichkeiten, die Position zu beeinflussen. Er hat also sechs „Freiheitsgrade“, bewegt sich also in einem „sechsdimensionalen“ Raum. Die Abhängigkeit der Position des Greifers von den Gelenkstellungen ist nicht linear. Wenn sich zwei Roboter in einem Arbeitsraum so bewegen sollen, dass sie nicht zusammenstoßen, geht es darum, die Schnittmenge zweier sechsdimensionaler nicht linearer Gebilde zu analysieren, um zum Beispiel herauszufinden, wo durch Kollision der Arme etwas passieren könnte.

      Es ist sehr schwierig, Probleme mit nicht linearen Gebilden mathematisch zu behandeln. Deshalb behilft man sich meist dadurch, dass man die nicht linearen Gebilde durch viele kleine lineare approximiert, zum Beispiel eine Kugel durch lauter kleine Dreiecke an der Oberfläche. Dann werden alle Probleme linear und bei diesen (auch mit sehr vielen Dimensionen) weiß man seit Langem, wie man sie effizient lösen kann. Leider entstehen durch das Ersetzen von nicht linearen Gebilden durch lineare Gebilde Fehler, die sich aufschaukeln und zu gefährlichen Fehlschlüssen, falschen Vorhersagen, fehlerhaften Konstruktionen, Abtriften in gefährliche Bereiche etc. führen können. Man wusste seit 1899 durch die Arbeiten des deutschen Mathematikers Paul Gordan, dass sich faktisch alle wichtigen Probleme für nicht lineare Gebilde und Systeme solcher Gebilde einheitlich lösen ließen, wenn man alle solchen Gebilde in eine gewisse „Standardform“ überführen könnte, bei der die einzelnen Variablen in einem gewissen Sinne entkoppelt sind. Genau das leisten die Gröbner-Basen!

      Anmerkungen

1

      Wolfgang Gröbner (1899 – 1980), ordentlicher Professor für Mathematik an der Universität Innsbruck, wurde vor allem durch seine Arbeiten über die sogenannten Lie-Reihen zur Lösung von Differenzialgleichungen und über die Theorie der sogenannten Polynomideale bekannt. Sehr berühmt war auch seine Integraltafel (mit Nikolaus Hofreiter).

2

      Das СКАЧАТЬ