We consider a number of question in computable functional analysis. In the first part of the thesis we construct a computable Banach space that possesses a Schauder basis but does not allow any computable sequence that is a Schauder basis. In the second part we turn our attention to unbounded linear operators and characterize the uncomputability of the elements of a certain subclass of these operators. Answering a question of Traub and Werschulz, we then study the average-case computability of unbounded operators. In preparation, we also develop a general theory of probabilistic computability and give a characterization of computable Gaussian measures on Hilbert spaces. «
We consider a number of question in computable functional analysis. In the first part of the thesis we construct a computable Banach space that possesses a Schauder basis but does not allow any computable sequence that is a Schauder basis. In the second part we turn our attention to unbounded linear operators and characterize the uncomputability of the elements of a certain subclass of these operators. Answering a question of Traub and Werschulz, we then study the average-case computability of u... »
Übersetzte Kurzfassung:
Wir behandeln eine Reihe von Fragen aus der berechenbaren Funktionalanalysis. Im ersten Teil der Arbeit konstruieren wir einen berechenbaren Banachraum, der eine Schauder-Basis besitzt, in welchem aber keine berechenbare Folge eine Schauder-Basis ist. Im zweiten Teil wenden wir uns unbeschränkten linearen Operatoren zu und charakterisieren die Unberechenbarkeit der Elemente einer bestimmten Teilklasse dieser Operatoren. Zur Beantwortung einer Frage von Traub und Werschulz untersuchen wir dann die Berechenbarkeit unbeschränkter Operatoren im Durchschnitt. Vorbereitend entwickeln wir auch eine allgemeine Theorie von probabilistischer Berechenbarkeit und geben eine Charakterisierung berechenbarer Gaußscher Maße auf Hilberträumen an. «
Wir behandeln eine Reihe von Fragen aus der berechenbaren Funktionalanalysis. Im ersten Teil der Arbeit konstruieren wir einen berechenbaren Banachraum, der eine Schauder-Basis besitzt, in welchem aber keine berechenbare Folge eine Schauder-Basis ist. Im zweiten Teil wenden wir uns unbeschränkten linearen Operatoren zu und charakterisieren die Unberechenbarkeit der Elemente einer bestimmten Teilklasse dieser Operatoren. Zur Beantwortung einer Frage von Traub und Werschulz untersuchen wir dann di... »