Zusammenfassung
Die bei der numerischen Behandlung mathematischer Probleme auf digitalen Rechenanlagen auftretenden Rundungsfehler lassen sich, wie in [1], [6] und [8] gezeigt wird, mit Hilfe der Intervallrechnung erfassen.
In der vorliegenden Arbeit werden Struktur und Eigenschaften der in der Intervallrechnung auftretenden Räume untersucht und einige für die Intervallrechnung typische Anwendungsmöglichkeiten aufgezeigt: Die algebraische Struktur dieser Räume wird axiomatisch erfaßt in der Definition des quasilinearen Raumes, einer Verallgemeinerung des linearen Raumes; anschließend werden metrische Strukturen in diesen Räumen behandelt; da für Anwendungen nur Metriken geeignet sind, die eine gewisse Verträglichkeit mit der algebraischen Struktur besitzen, werden diesbezügliche Eigenschaften eingeführt und untersucht. Speziell für die Intervallrechnung mit Vektoren und Matrizen werden Metriken mit solchen Eigenschaften entwickelt, die dann im Zusammenspiel mit der algebraischen Struktur für Abschätzungen geeignet sind. Damit werden für gewisse Gleichungen Existenz und Eindeutigkeit der Lösung bewiesen, sowie intervallmäßige Iterationsverfahren zur Berechnung der Lösung untersucht und die Konvergenzkriterien bestimmt. Die praktische Durchführung solcher Verfahren auf einer Rechenanlage wird abschließend behandelt.
Summary
As in [1], [6] and [8] is shown, round-off errors in numerical computation can be controlled with the aid of the intrrval analysis.
This paper deals with the structure and the characteristics of the spaces occurring in interval analysis and presents some applications. At first the algebraic structure of these spaces is abstractly described by the definition of the quasilinear space, a generalization of the linear space. Then metric structures in these spaces are treated. As for applications only metrics are apt, which have a certain compatibility with the algebraic structure, such properties are introduced and examined. For the interval arithmetic with matrices and vectors metrics are developped, which are compatible with the algebraic structure and so are apt to estimate with. With these results for certain equations existence and uniqueness of the solution is proved as well as some iteration methods of interval analysis for the evaluation of the solution are examined and tests of convergence deduced. Finally it is shown how these iteration methods are to be carried out on a computer.
Article PDF
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
Literatur
Apostolatos, N., undU. Kulisch: Grundlagen einer Maschinenintervallarithmetik. Comp.2, 89–104 (1967).
Apostolatos, N., undU. Kulisch: Grundzüge einer Intervallrechnung für Matrizen und einige Anwendungen. Elektr. Rechenanlagen10, 73–83 (1968).
Apostolatos, N., undU. Kulisch: Über die Konvergenz des Relaxationsverfahrens bei nicht-negativen und diagonaldominanten Matrizen. Comp.2, 17–24 (1967).
Householder, A. S.: The Theory of Matrices in Numerical Analysis. New York-Toronto-London: Blaisdell Publishing Company. 1964.
Kulisch, U.: Grundzüge der Intervallrechnung, Überblicke, Mathematik2, 51–98. Mannheim: Bibliographisches Institut. 1969.
Moore, R. E.: Intervall Analysis. Englewood Cliffs, New Jersey: Prentice Hall, Inc. 1966.
Nickel, K.: Über die Notwendigkeit einer Fehlerschrankenarithmetik für Rechenautomaten. Numerische Mathematik9, 69–79 (1966).
Nickel, K.: Error-bounds and Computer-arithmetic. Vortrag IFIP Congress Edinburgh. 1968.
Schäfer, H. H.: Topological Vector Spaces. Macmillan Series in Advanced Mathematics and Theoretical Physics. 1966.
Varga, R. S.: Matrix Iterative Analysis. Englewood Cliffs, New Jersey: Prentice-Hall, Inc. 1962.
Wippermann, H. W.: Reallsierung einer Intervallarithmetik in einem ALGOL-60-System. Elektronische Rechenanlagen9, 224–233 (1967).
Wulich, B. S.: Einführung in die Funktionalanalysis. Leipzig: Teubner-Verlag. 1961.
Young, R. C.: The Algebra of Many-valued Quantities. Mathematische Annalen,104, 261–290 (1931).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Mayer, O. Algebraische und metrische Strukturen in der Intervallrechnung und einige Anwendungen. Computing 5, 144–162 (1970). https://doi.org/10.1007/BF02235804
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02235804