Degree Discipline

6 Matching Results

Results open in a new window/tab.

Borel Determinacy and Metamathematics (open access)

Borel Determinacy and Metamathematics

Borel determinacy states that if G(T;X) is a game and X is Borel, then G(T;X) is determined. Proved by Martin in 1975, Borel determinacy is a theorem of ZFC set theory, and is, in fact, the best determinacy result in ZFC. However, the proof uses sets of high set theoretic type (N1 many power sets of ω). Friedman proved in 1971 that these sets are necessary by showing that the Axiom of Replacement is necessary for any proof of Borel Determinacy. To prove this, Friedman produces a model of ZC and a Borel set of Turing degrees that neither contains nor omits a cone; so by another theorem of Martin, Borel Determinacy is not a theorem of ZC. This paper contains three main sections: Martin's proof of Borel Determinacy; a simpler example of Friedman's result, namely, (in ZFC) a coanalytic set of Turing degrees that neither contains nor omits a cone; and finally, the Friedman result.
Date: December 2001
Creator: Bryant, Ross
System: The UNT Digital Library
A Collapsing Result Using the Axiom of Determinancy and the Theory of Possible Cofinalities (open access)

A Collapsing Result Using the Axiom of Determinancy and the Theory of Possible Cofinalities

Assuming the axiom of determinacy, we give a new proof of the strong partition relation on ω1. Further, we present a streamlined proof that J<λ+(a) (the ideal of sets which force cof Π α < λ) is generated from J<λ+(a) by adding a singleton. Combining these results with a polarized partition relation on ω1
Date: May 2001
Creator: May, Russell J.
System: The UNT Digital Library
Hyperspace Topologies (open access)

Hyperspace Topologies

In this paper we study properties of metric spaces. We consider the collection of all nonempty closed subsets, Cl(X), of a metric space (X,d) and topologies on C.(X) induced by d. In particular, we investigate the Hausdorff topology and the Wijsman topology. Necessary and sufficient conditions are given for when a particular pseudo-metric is a metric in the Wijsman topology. The metric properties of the two topologies are compared and contrasted to show which also hold in the respective topologies. We then look at the metric space R-n, and build two residual sets. One residual set is the collection of uncountable, closed subsets of R-n and the other residual set is the collection of closed subsets of R-n having n-dimensional Lebesgue measure zero. We conclude with the intersection of these two sets being a residual set representing the collection of uncountable, closed subsets of R-n having n-dimensional Lebesgue measure zero.
Date: August 2001
Creator: Freeman, Jeannette Broad
System: The UNT Digital Library

The Pettis Integral and Operator Theory

Access: Use of this item is restricted to the UNT Community
Let (Ω, Σ, µ) be a finite measure space and X, a Banach space with continuous dual X*. A scalarly measurable function f: Ω→X is Dunford integrable if for each x* X*, x*f L1(µ). Define the operator Tf. X* → L1(µ) by T(x*) = x*f. Then f is Pettis integrable if and only if this operator is weak*-to-weak continuous. This paper begins with an overview of this function. Work by Robert Huff and Gunnar Stefansson on the operator Tf motivates much of this paper. Conditions that make Tf weak*-to-weak continuous are generalized to weak*-to­weak continuous operators on dual spaces. For instance, if Tf is weakly compact and if there exists a separable subspace D X such that for each x* X*, x*f = x*fχDµ-a.e, then f is Pettis integrable. This nation is generalized to bounded operators T: X* → Y. To say that T is determined by D means that if x*| D = 0, then T (x*) = 0. Determining subspaces are used to help prove certain facts about operators on dual spaces. Attention is given to finding determining subspaces far a given T: X* → Y. The kernel of T and the adjoint T* of T are used …
Date: August 2001
Creator: Huettenmueller, Rhonda
System: The UNT Digital Library

Quantization Dimension for Probability Definitions

Access: Use of this item is restricted to the UNT Community
The term quantization refers to the process of estimating a given probability by a discrete probability supported on a finite set. The quantization dimension Dr of a probability is related to the asymptotic rate at which the expected distance (raised to the rth power) to the support of the quantized version of the probability goes to zero as the size of the support is allowed to go to infinity. This assumes that the quantized versions are in some sense ``optimal'' in that the expected distances have been minimized. In this dissertation we give a short history of quantization as well as some basic facts. We develop a generalized framework for the quantization dimension which extends the current theory to include a wider range of probability measures. This framework uses the theory of thermodynamic formalism and the multifractal spectrum. It is shown that at least in certain cases the quantization dimension function D(r)=Dr is a transform of the temperature function b(q), which is already known to be the Legendre transform of the multifractal spectrum f(a). Hence, these ideas are all closely related and it would be expected that progress in one area could lead to new results in another. It would …
Date: December 2001
Creator: Lindsay, Larry J.
System: The UNT Digital Library

Topological uniqueness results for the special linear and other classical Lie Algebras.

Access: Use of this item is restricted to the UNT Community
Suppose L is a complete separable metric topological group (ring, field, etc.). L is topologically unique if the Polish topology on L is uniquely determined by its underlying algebraic structure. More specifically, L is topologically unique if an algebraic isomorphism of L with any other complete separable metric topological group (ring, field, etc.) induces a topological isomorphism. A local field is a locally compact topological field with non-discrete topology. The only local fields (up to isomorphism) are the real, complex, and p-adic numbers, finite extensions of the p-adic numbers, and fields of formal power series over finite fields. We establish the topological uniqueness of the special linear Lie algebras over local fields other than the complex numbers (for which this result is not true) in the context of complete separable metric Lie rings. Along the way the topological uniqueness of all local fields other than the field of complex numbers is established, which is derived as a corollary to more general principles which can be applied to a larger class of topological fields. Lastly, also in the context of complete separable metric Lie rings, the topological uniqueness of the special linear Lie algebra over the real division algebra of quaternions, …
Date: December 2001
Creator: Rees, Michael K.
System: The UNT Digital Library