Eduard Study (1862-1930) - ein mathematischer Mephistopheles im geometrischen Gärtchen

Diese Arbeit befasst sich mit Eduard Study (1862-1930), einem der deutschen Geometer um die Jahrhundertwende, der seine Zeit zum Einen durch seine Kontakte zu Klein, Hilbert, Engel, Lie, Gordan, Halphen, Zeuthen, Einstein, Hausdorff und Weyl geprägt hat, zum Anderen in ihr aber auch für seine beißenden und stilistisch ausgefeilten Kritiken ebenso berühmt wie berüchtigt war. Da sich Study mit einer Vielzahl mathematischer Themen beschäftigt hat, führen wir zunächst in die von ihm bearbeiteten Gebiete der Geometrie des 19. Jahrhunderts ein (analytische und synthetische Geometrie im Sinne von Monge, Poncelet, Plücker und Reye, Invariantentheorie Clebsch-Gordan'scher Prägung, abzählende Geometrie von Chasles und Halphen, die Werke Lie's und Grassmann’s, Liniengeometrie sowie Axiomatik und Grundlagenkrise). In seiner darauf folgenden Biographie finden sich als zentrale Stellen seine Habilitation bei Klein über die Chasles’sche Vermutung, sein Streit mit Zeuthen darüber als eine der Debatten der Mathematischen Annalen (aus der er historisch zwar nicht, mathematisch aber tatsächlich als Gewinner hätte herausgehen müssen, wie wir an der Lösung des Problems durch van der Waerden sehen werden) und seine Auseinandersetzungen als etablierter Bonner Professor mit Engel über Lie, Weyl über Invariantentheorie, zahlreichen philosophischen Richtungen über das Raumproblem, Pasch’s Axiomatik, Hilbert’s Formalismus sowie Brouwer’s und Weyl’s Intuitionismus.

High precision swept volume approximation with conservative error bounds

In technical design processes in the automotive industry, digital prototypes rapidly gain importance, because they allow for a detection of design errors in early development stages. The technical design process includes the computation of swept volumes for maintainability analysis and clearance checks. The swept volume is very useful, for example, to identify problem areas where a safety distance might not be kept. With the explicit construction of the swept volume an engineer gets evidence on how the shape of components that come too close have to be modified.rnIn this thesis a concept for the approximation of the outer boundary of a swept volume is developed. For safety reasons, it is essential that the approximation is conservative, i.e., that the swept volume is completely enclosed by the approximation. On the other hand, one wishes to approximate the swept volume as precisely as possible. In this work, we will show, that the one-sided Hausdorff distance is the adequate measure for the error of the approximation, when the intended usage is clearance checks, continuous collision detection and maintainability analysis in CAD. We present two implementations that apply the concept and generate a manifold triangle mesh that approximates the outer boundary of a swept volume. Both algorithms are two-phased: a sweeping phase which generates a conservative voxelization of the swept volume, and the actual mesh generation which is based on restricted Delaunay refinement. This approach ensures a high precision of the approximation while respecting conservativeness.rnThe benchmarks for our test are amongst others real world scenarios that come from the automotive industry.rnFurther, we introduce a method to relate parts of an already computed swept volume boundary to those triangles of the generator, that come closest during the sweep. We use this to verify as well as to colorize meshes resulting from our implementations.

Il teorema di rappresentazione di Riesz

Lo spazio duale V* di un K-spazio vettoriale V, con K = R, o C, è definito come l'insieme dei funzionali lineari e continui da V in K. Definendo su di esso le operazioni di somma tra funzionali lineari e di prodotto per scalare, V* acquisisce una struttura di K-spazio vettoriale che risulta molto utile. Infatti il suo studio permette di comprendere meglio le caratteristiche dello spazio V. A tal proposito interviene l'argomento che è oggetto dell'elaborato: il Teorema di Rappresentazione di Riesz. Diversi risultati sono raggruppati sotto questo nome, che deriva dal matematico ungherese Frigyes Riesz, e tutti permettono di caratterizzare chiaramente gli elementi del duale dello spazio a cui si riferiscono. Scopo della tesi è quello di presentare il teorema nelle sue varie forme a partire da una delle più elementari: quella relativa a spazi vettoriali finiti. Ripercorrendo via via le sue generalizzazioni si arriverà all'enunciato inerente allo spazio delle funzioni continue f da X in C che si annullano all'infinito, dove X è uno spazio di Hausdorff localmente compatto. Si vedrà inoltre un esempio di applicazione del teorema.

Geometria frattale: analisi della lacunarita cerebrale in MRI

La geometria frattale descrive la complessità strutturale di oggetti che presentano, entro certi limiti, invarianza a fattori di scala. Obiettivo di questa tesi è l’analisi di indici frattali della morfologia cerebrale e cerebellare da immagini di risonanza magnetica (MRI) pesate T1 e della loro correlazione con l’età. A tale scopo sono state analizzate la dimensione frattale (D0) e la lacunarità (λs), indice di eterogeneità strutturale, della sostanza grigia (GM) e bianca (WM), calcolate mediante algoritmi di box counting e di differential gliding box, implementati in linguaggio C++, e regressione lineare con scelta automatica delle scale spaziali. Gli algoritmi sono stati validati su fantocci 3D ed è stato proposto un metodo per compensare la dipendenza di λs dalle dimensioni dell’immagine e dalla frazione di immagine occupata. L’analisi frattale è stata applicata ad immagini T1 a 3T del dataset ICBM (International Consortium for Brain Mapping) composto da 86 soggetti (età 19-85 anni). D0 e λs sono state rispettivamente 2.35±0.02 (media±deviazione standard) e 0.41±0.05 per la GM corticale, 2.34±0.03 e 0.35±0.05 per la WM cerebrale, 2.19±0.05 e 0.17±0.02 per la GM cerebellare, 1.95±0.06 e 0.30±0.04 per la WM cerebellare. Il coefficiente di correlazione lineare tra età e D0 della GM corticale è r=−0.38 (p=0.003); tra età e λs, r=0.72 (p<0.001) (mostrando che l’eterogeneità strutturale aumenta con l’invecchiamento) e tra età e λs compensata rispetto al volume della GM cerebrale (GMV), r=0.51 (p<0.001), superiore in valore assoluto a quello tra età e GMV (r=−0.45, p<0.001). In un modello di regressione lineare multipla, dove l’età è stata modellata da D0, λ e GMV della GM corticale, λs è risultato l’unico predittore significativo (r parziale=0.62, p<0.001). La lacunarità λs è un indice sensibile alle variazioni strutturali dovute all’invecchiamento cerebrale e si candida come biomarcatore nella valutazione della complessità cerebrale nelle malattie neurodegenerative.

Pervasive Algebras and Maximal Subalgebras.

A uniform algebra A on its Shilov boundary X is maximal if A is not C(X) and no uniform algebra is strictly contained between A and C(X) . It is essentially pervasive if A is dense in C(F) whenever F is a proper closed subset of the essential set of A. If A is maximal, then it is essentially pervasive and proper. We explore the gap between these two concepts. We show: (1) If A is pervasive and proper, and has a nonconstant unimodular element, then A contains an infinite descending chain of pervasive subalgebras on X . (2) It is possible to find a compact Hausdorff space X such that there is an isomorphic copy of the lattice of all subsets of N in the family of pervasive subalgebras of C(X). (3) In the other direction, if A is strongly logmodular, proper and pervasive, then it is maximal. (4) This fails if the word “strongly” is removed. We discuss examples involving Dirichlet algebras, A(U) algebras, Douglas algebras, and subalgebras of H∞(D), and develop new results that relate pervasiveness, maximality, and relative maximality to support sets of representing measures.

Transient dominance in a central African rain forest

The large-crowned emergent tree Microberlinia bisulcata dominates rain forest groves at Korup National Park, Cameroon, along with two codominants, Tetraberlinia bifoliolata and T. korupensis. M. bisulcata has a pronounced modal size frequency distribution around 110 cm stem diameter: its recruitment potential is very poor. It is a long-lived light-demanding species, one of many found in African forests. Tetraberlinia species lack modality, are more shade tolerant, and recruit better. All three species are ectomycorrhizal. M. bisulcata dominates grove basal area, even though it has similar numbers of trees (≥50 cm stem diameter) as each of the other two species. This situation presented a conundrum that prompted a long-term study of grove dynamics. Enumerations of two plots (82.5 and 56.25 ha) between 1990 and 2010 showed mortality and recruitment of M. bisulcata to be very low (both rates 0.2% per year) compared with Tetraberlinia (2.4% and 0.8% per year), and M. bisulcata grows twice as fast as the Tetraberlinia. Ordinations indicated that these three species determined community structure by their strong negative associations while other species showed almost none. Ranked species abundance curves fitted the Zipf-Mandelbrot model well and allowed “overdominance” of M. bisulcata to be estimated. Spatial analysis indicated strong repulsion by clusters of large (50 to <100 cm) and very large (≥100 cm) M. bisulcata of their own medium-sized (10 to <50 cm) trees and all sizes of Tetraberlinia. This was interpreted as competition by M. bisulcata increasing its dominance, but also inhibition of its own replacement potential. Stem coring showed a modal age of 200 years for M. bisulcata, but with large size variation (50–150 cm). Fifty-year model projections suggested little change in medium, decreases in large, and increases in very large trees of M. bisulcata, accompanied by overall decreases in medium and large trees of Tetraberlinia species. Realistically increasing very-large-tree mortality led to grove collapse without short-term replacement. M. bisulcata most likely depends on climatic events to rebuild its stands: the ratio of disturbance interval to median species' longevity is important. A new theory of transient dominance explains how M. bisulcata may be cycling in abundance over time and displaying nonequilibrium dynamics.

Dimension Distortion by Sobolev Mappings in Foliated Metric Spaces

We quantify the extent to which a supercritical Sobolev mapping can increase the dimension of subsets of its domain, in the setting of metric measure spaces supporting a Poincaré inequality. We show that the set of mappings that distort the dimensions of sets by the maximum possible amount is a prevalent subset of the relevant function space. For foliations of a metric space X defined by a David–Semmes regular mapping Π : X → W, we quantitatively estimate, in terms of Hausdorff dimension in W, the size of the set of leaves of the foliation that are mapped onto sets of higher dimension. We discuss key examples of such foliations, including foliations of the Heisenberg group by left and right cosets of horizontal subgroups.

Frequency of Sobolev and quasiconformal dimension distortion

We study Hausdorff and Minkowski dimension distortion for images of generic affine subspaces of Euclidean space under Sobolev and quasiconformal maps. For a supercritical Sobolev map f defined on a domain in RnRn, we estimate from above the Hausdorff dimension of the set of affine subspaces parallel to a fixed m-dimensional linear subspace, whose image under f has positive HαHα measure for some fixed α>mα>m. As a consequence, we obtain new dimension distortion and absolute continuity statements valid for almost every affine subspace. Our results hold for mappings taking values in arbitrary metric spaces, yet are new even for quasiconformal maps of the plane. We illustrate our results with numerous examples.

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality

We study representations of MV-algebras -- equivalently, unital lattice-ordered abelian groups -- through the lens of Stone-Priestley duality, using canonical extensions as an essential tool. Specifically, the theory of canonical extensions implies that the (Stone-Priestley) dual spaces of MV-algebras carry the structure of topological partial commutative ordered semigroups. We use this structure to obtain two different decompositions of such spaces, one indexed over the prime MV-spectrum, the other over the maximal MV-spectrum. These decompositions yield sheaf representations of MV-algebras, using a new and purely duality-theoretic result that relates certain sheaf representations of distributive lattices to decompositions of their dual spaces. Importantly, the proofs of the MV-algebraic representation theorems that we obtain in this way are distinguished from the existing work on this topic by the following features: (1) we use only basic algebraic facts about MV-algebras; (2) we show that the two aforementioned sheaf representations are special cases of a common result, with potential for generalizations; and (3) we show that these results are strongly related to the structure of the Stone-Priestley duals of MV-algebras. In addition, using our analysis of these decompositions, we prove that MV-algebras with isomorphic underlying lattices have homeomorphic maximal MV-spectra. This result is an MV-algebraic generalization of a classical theorem by Kaplansky stating that two compact Hausdorff spaces are homeomorphic if, and only if, the lattices of continuous [0, 1]-valued functions on the spaces are isomorphic.

Remarks on the convergence of pseudospectra

We establish the convergence of pseudospectra in Hausdorff distance for closed operators acting in different Hilbert spaces and converging in the generalised norm resolvent sense. As an assumption, we exclude the case that the limiting operator has constant resolvent norm on an open set. We extend the class of operators for which it is known that the latter cannot happen by showing that if the resolvent norm is constant on an open set, then this constant is the global minimum. We present a number of examples exhibiting various resolvent norm behaviours and illustrating the applicability of this characterisation compared to known results.

On restricted families of projections in ℝ3

We study projections onto non-degenerate one-dimensional families of lines and planes in R 3 . Using the classical potential theoretic approach of R. Kaufman, one can show that the Hausdorff dimension of at most 12 -dimensional sets [Math Processing Error] is typically preserved under one-dimensional families of projections onto lines. We improve the result by an ε , proving that if [Math Processing Error], then the packing dimension of the projections is almost surely at least [Math Processing Error]. For projections onto planes, we obtain a similar bound, with the threshold 12 replaced by 1 . In the special case of self-similar sets [Math Processing Error] without rotations, we obtain a full Marstrand-type projection theorem for 1-parameter families of projections onto lines. The [Math Processing Error] case of the result follows from recent work of M. Hochman, but the [Math Processing Error] part is new: with this assumption, we prove that the projections have positive length almost surely.

Dimensions of projections of sets on Riemannian surfaces of constant curvature

We apply the theory of Peres and Schlag to obtain generic lower bounds for Hausdorff dimension of images of sets by orthogonal projections on simply connected two-dimensional Riemannian manifolds of constant curvature. As a conclusion we obtain appropriate versions of Marstrand's theorem, Kaufman's theorem, and Falconer's theorem in the above geometrical settings.

Aufruf

Selig Hausdorff

Zur Geschichte der Targumim nach talmudischen Quellen

Louis Hausdorff

Zur Geschichte der Targumim nach talmudischen Quellen

Louis Hausdorff