Search Results

open access

Hyperspace Topologies

Description: 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 topolog… more
Date: August 2001
Creator: Freeman, Jeannette Broad
Partner: UNT Libraries
open access

Borel Determinacy and Metamathematics

Description: 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… more
Date: December 2001
Creator: Bryant, Ross
Partner: UNT Libraries
open access

Understanding Ancient Math Through Kepler: A Few Geometric Ideas from The Harmony of the World

Description: Euclid's geometry is well-known for its theorems concerning triangles and circles. Less popular are the contents of the tenth book, in which geometry is a means to study quantity in general. Commensurability and rational quantities are first principles, and from them are derived at least eight species of irrationals. A recently republished work by Johannes Kepler contains examples using polygons to illustrate these species. In addition, figures having these quantities in their construction f… more
Date: August 2002
Creator: Arthur, Christopher
Partner: UNT Libraries
open access

Determining Properties of Synaptic Structure in a Neural Network through Spike Train Analysis

Description: A "complex" system typically has a relatively large number of dynamically interacting components and tends to exhibit emergent behavior that cannot be explained by analyzing each component separately. A biological neural network is one example of such a system. A multi-agent model of such a network is developed to study the relationships between a network's structure and its spike train output. Using this model, inferences are made about the synaptic structure of networks through cluster analys… more
Date: May 2007
Creator: Brooks, Evan
Partner: UNT Libraries
open access

A Detailed Proof of the Prime Number Theorem for Arithmetic Progressions

Description: We follow a research paper that J. Elstrodt published in 1998 to prove the Prime Number Theorem for arithmetic progressions. We will review basic results from Dirichlet characters and L-functions. Furthermore, we establish a weak version of the Wiener-Ikehara Tauberian Theorem, which is an essential tool for the proof of our main result.
Date: May 2004
Creator: Vlasic, Andrew
Partner: UNT Libraries
open access

Thermodynamical Formalism

Description: Thermodynamical formalism is a relatively recent area of pure mathematics owing a lot to some classical notions of thermodynamics. On this thesis we state and prove some of the main results in the area of thermodynamical formalism. The first chapter is an introduction to ergodic theory. Some of the main theorems are proved and there is also a quite thorough study of the topology that arises in Borel probability measure spaces. In the second chapter we introduce the notions of topological pressu… more
Date: August 2004
Creator: Chousionis, Vasileios
Partner: UNT Libraries
open access

Lyapunov Exponents, Entropy and Dimension

Description: We consider diffeomorphisms of a compact Riemann Surface. A development of Oseledec's Multiplicative Ergodic Theorem is given, along with a development of measure theoretic entropy and dimension. The main result, due to L.S. Young, is that for certain diffeomorphisms of a surface, there is a beautiful relationship between these three concepts; namely that the entropy equals dimension times expansion.
Date: August 2004
Creator: Williams, Jeremy M.
Partner: UNT Libraries
open access

Applications in Fixed Point Theory

Description: Banach's contraction principle is probably one of the most important theorems in fixed point theory. It has been used to develop much of the rest of fixed point theory. Another key result in the field is a theorem due to Browder, Göhde, and Kirk involving Hilbert spaces and nonexpansive mappings. Several applications of Banach's contraction principle are made. Some of these applications involve obtaining new metrics on a space, forcing a continuous map to have a fixed point, and using condi… more
Date: December 2005
Creator: Farmer, Matthew Ray
Partner: UNT Libraries
open access

Mathematical Modeling of Charged Liquid Droplets: Numerical Simulation and Stability Analysis

Description: The goal of this thesis is to study of the evolution of 3D electrically charged liquid droplets of fluid evolving under the influence of surface tension and electrostatic forces. In the first part of the thesis, an appropriate mathematical model of the problem is introduced and the linear stability analysis is developed by perturbing a sphere with spherical harmonics. In the second part, the numerical solution of the problem is described with the use of the boundary elements method (BEM) on a… more
Date: May 2006
Creator: Vantzos, Orestis
Partner: UNT Libraries
open access

Compact Operators and the Schrödinger Equation

Description: In this thesis I look at the theory of compact operators in a general Hilbert space, as well as the inverse of the Hamiltonian operator in the specific case of L2[a,b]. I show that this inverse is a compact, positive, and bounded linear operator. Also the eigenfunctions of this operator form a basis for the space of continuous functions as a subspace of L2[a,b]. A numerical method is proposed to solve for these eigenfunctions when the Hamiltonian is considered as an operator on Rn. The pape… more
Date: December 2006
Creator: Kazemi, Parimah
Partner: UNT Libraries
open access

On the density of minimal free subflows of general symbolic flows.

Description: This paper studies symbolic dynamical systems {0, 1}G, where G is a countably infinite group, {0, 1}G has the product topology, and G acts on {0, 1}G by shifts. It is proven that for every countably infinite group G the union of the minimal free subflows of {0, 1}G is dense. In fact, a stronger result is obtained which states that if G is a countably infinite group and U is an open subset of {0, 1}G, then there is a collection of size continuum consisting of pairwise disjoint minimal free subfl… more
Date: August 2009
Creator: Seward, Brandon Michael
Partner: UNT Libraries
open access

The History of the Calculus

Description: The purpose of this essay is to trace the development of the concepts of the calculus from their first known appearance, through the formal invention of the method of the calculus in the second half of the seventeenth century, to our own day.
Date: 1945
Creator: Ashburn, Andrew
Partner: UNT Libraries
Back to Top of Screen