UNT Theses and Dissertations - 391 Matching Results

Search Results

Complete Ordered Fields

Description: The purpose of this thesis is to study the concept of completeness in an ordered field. Several conditions which are necessary and sufficient for completeness in an ordered field are examined. In Chapter I the definitions of a field and an ordered field are presented and several properties of fields and ordered fields are noted. Chapter II defines an Archimedean field and presents several conditions equivalent to the Archimedean property. Definitions of a complete ordered field (in terms of a least upper bound) and the set of real numbers are also stated. Chapter III presents eight conditions which are equivalent to completeness in an ordered field. These conditions include the concepts of nested intervals, Dedekind cuts, bounded monotonic sequences, convergent subsequences, open coverings, cluster points, Cauchy sequences, and continuous functions.
Date: August 1977
Creator: Arnold, Thompson Sharon
Partner: UNT Libraries

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 form solid shapes (polyhedra) having origins though Platonic philosophy and Archimedean works. Kepler gives two additional polyhedra, and a simple means for constructing the “divine” proportion is given.
Date: August 2002
Creator: Arthur, Christopher
Partner: UNT Libraries

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

Uniqueness Results for the Infinite Unitary, Orthogonal and Associated Groups

Description: Let H be a separable infinite dimensional complex Hilbert space, let U(H) be the Polish topological group of unitary operators on H, let G be a Polish topological group and φ:G→U(H) an algebraic isomorphism. Then φ is a topological isomorphism. The same theorem holds for the projective unitary group, for the group of *-automorphisms of L(H) and for the complex isometry group. If H is a separable real Hilbert space with dim(H)≥3, the theorem is also true for the orthogonal group O(H), for the projective orthogonal group and for the real isometry group. The theorem fails for U(H) if H is finite dimensional complex Hilbert space.
Date: May 2008
Creator: Atim, Alexandru Gabriel
Partner: UNT Libraries

Contributions to Descriptive Set Theory

Description: In this dissertation we study closure properties of pointclasses, scales on sets of reals and the models L[T2n], which are very natural canonical inner models of ZFC. We first characterize projective-like hierarchies by their associated ordinals. This solves a conjecture of Steel and a conjecture of Kechris, Solovay, and Steel. The solution to the first conjecture allows us in particular to reprove a strong partition property result on the ordinal of a Steel pointclass and derive a new boundedness principle which could be useful in the study of the cardinal structure of L(R). We then develop new methods which produce lightface scales on certain sets of reals. The methods are inspired by Jackson’s proof of the Kechris-Martin theorem. We then generalize the Kechris-Martin Theorem to all the Π12n+1 pointclasses using Jackson’s theory of descriptions. This in turns allows us to characterize the sets of reals of a certain initial segment of the models L[T2n]. We then use this characterization and the generalization of Kechris-Martin theorem to show that the L[T2n] are unique. This generalizes previous work of Hjorth. We then characterize the L[T2n] in term of inner models theory, showing that they actually are constructible models over direct limit of mice with Woodin cardinals, a counterpart to Steel’s result that the L[T2n+1] are extender models, and finally show that the generalized contiuum hypothesis holds in these models, solving a conjecture of Woodin.
Date: August 2015
Creator: Atmai, Rachid
Partner: UNT Libraries

Infinite Planar Graphs

Description: How many equivalence classes of geodesic rays does a graph contain? How many bounded automorphisms does a planar graph have? Neimayer and Watkins studied these two questions and answered them for a certain class of graphs. Using the concept of excess of a vertex, the class of graphs that Neimayer and Watkins studied are extended to include graphs with positive excess at each vertex. The results of this paper show that there are an uncountable number of geodesic fibers for graphs in this extended class and that for any graph in this extended class the only bounded automorphism is the identity automorphism.
Date: May 2000
Creator: Aurand, Eric William
Partner: UNT Libraries

Uniformly σ-Finite Disintegrations of Measures

Description: A disintegration of measure is a common tool used in ergodic theory, probability, and descriptive set theory. The primary interest in this paper is in disintegrating σ-finite measures on standard Borel spaces into families of σ-finite measures. In 1984, Dorothy Maharam asked whether every such disintegration is uniformly σ-finite meaning that there exists a countable collection of Borel sets which simultaneously witnesses that every measure in the disintegration is σ-finite. Assuming Gödel’s axiom of constructability I provide answer Maharam's question by constructing a specific disintegration which is not uniformly σ-finite.
Date: August 2011
Creator: Backs, Karl
Partner: UNT Libraries

Valuations and Valuation Rings

Description: This paper is an investigation of several basic properties of ordered Abelian groups, valuations, the relationship between valuation rings, valuations, and their value groups and valuation rings. The proofs to all theorems stated without proof can be found in Zariski and Samuel, Commutative Algebra, Vol. I, 1858. In Chapter I several basic theorems which are used in later proofs are stated without proof, and we prove several theorems on the structure of ordered Abelian groups, and the basic relationships between these groups, valuations, and their valuation rings in a field. In Chapter II we deal with valuation rings, and relate the structure of valuation rings to the structure of their value groups.
Date: August 1975
Creator: Badt, Sig H.
Partner: UNT Libraries

Complemented Subspaces of Bounded Linear Operators

Description: For many years mathematicians have been interested in the problem of whether an operator ideal is complemented in the space of all bounded linear operators. In this dissertation the complementation of various classes of operators in the space of all bounded linear operators is considered. This paper begins with a preliminary discussion of linear bounded operators as well as operator ideals. Let L(X, Y ) be a Banach space of all bounded linear operator between Banach spaces X and Y , K(X, Y ) be the space of all compact operators, and W(X, Y ) be the space of all weakly compact operators. We denote space all operator ideals by O.
Date: August 2003
Creator: Bahreini Esfahani, Manijeh
Partner: UNT Libraries

Level Curves of the Angle Function of a Positive Definite Symmetric Matrix

Description: Given a real N by N matrix A, write p(A) for the maximum angle by which A rotates any unit vector. Suppose that A and B are positive definite symmetric (PDS) N by N matrices. Then their Jordan product {A, B} := AB + BA is also symmetric, but not necessarily positive definite. If p(A) + p(B) is obtuse, then there exists a special orthogonal matrix S such that {A, SBS^(-1)} is indefinite. Of course, if A and B commute, then {A, B} is positive definite. Our work grows from the following question: if A and B are commuting positive definite symmetric matrices such that p(A) + p(B) is obtuse, what is the minimal p(S) such that {A, SBS^(-1)} indefinite? In this dissertation we will describe the level curves of the angle function mapping a unit vector x to the angle between x and Ax for a 3 by 3 PDS matrix A, and discuss their interaction with those of a second such matrix.
Date: December 2009
Creator: Bajracharya, Neeraj
Partner: UNT Libraries

Near-Rings

Description: The primary objective of this work is to discuss some of the elementary properties of near-rings as they are related to rings. This study is divided into three subdivisions: (1) Basic Properties and Concepts of Near-Rings; (2) The Ideal Structure of Near-Rings; and (3) Homomorphism and Isomorphism of Near-Rings.
Date: May 1972
Creator: Baker, Edmond L.
Partner: UNT Libraries

T-Functions

Description: The main purpose of this paper is to make a detailed study of a certain class T of complex functions. The functions of the class T have a special mapping property and are meromorphic in every region. As an application of this study, certain elementary functions are defined and studied in terms of a special T-function.
Date: June 1960
Creator: Barlow, John Rice
Partner: UNT Libraries

Product and Function Spaces

Description: In this paper the Cartesian product topology for an arbitrary family of topological spaces and some of its basic properties are defined. The space is investigated to determine which of the separation properties of the component spaces are invariant.
Date: August 1971
Creator: Barrett, Lewis Elder
Partner: UNT Libraries

Mycielski-Regular Measures

Description: Let μ be a Radon probability measure on M, the d-dimensional Real Euclidean space (where d is a positive integer), and f a measurable function. Let P be the space of sequences whose coordinates are elements in M. Then, for any point x in M, define a function ƒn on M and P that looks at the first n terms of an element of P and evaluates f at the first of those n terms that minimizes the distance to x in M. The measures for which such sequences converge in measure to f for almost every sequence are called Mycielski-regular. We show that the self-similar measure generated by a finite family of contracting similitudes and which up to a constant is the Hausdorff measure in its dimension on an invariant set C is Mycielski-regular.
Date: August 2011
Creator: Bass, Jeremiah Joseph
Partner: UNT Libraries

A Set of Axioms for a Topological Space

Description: Axioms for a topological space are generally based on neighborhoods where "neighborhood" is an undefined term. Then, limit points are defined in terms of neighborhoods. However, limit points seem to be the basic concept of a topological space, rather than neighborhoods. For this reason, it will be attempted to state a set of axioms for a topological space, using limit point as the undefined concept, and to delete the idea of neighborhoods from the theory.
Date: August 1960
Creator: Batcha, Joseph Patrick
Partner: UNT Libraries

On Sets and Functions in a Metric Space

Description: The purpose of this thesis is to study some of the properties of metric spaces. An effort is made to show that many of the properties of a metric space are generalized properties of R, the set of real numbers, or Euclidean n--space, and are specific cases of the properties of a general topological space.
Date: December 1971
Creator: Beeman, Anne L.
Partner: UNT Libraries

Compactness and Equivalent Notions

Description: One of the classic theorems concerning the real numbers states that every open cover of a closed and bounded subset of the real line contains a finite subcover. Compactness is an abstraction of that notion, and there are several ideas concerning it which are equivalent and many which are similar. The purpose of this paper is to synthesize the more important of these ideas. This synthesis is accomplished by demonstrating either situations in which two ordinarily different conditions are equivalent or combinations of two or more properties which will guarantee a third.
Date: August 1967
Creator: Bell, Wayne Charles
Partner: UNT Libraries