Search Results

Abelian Group Actions and Hypersmooth Equivalence Relations
We show that any Borel action on a standard Borel space of a group which is topologically isomorphic to the sum of a countable abelian group with a countable sum of lines and circles induces an orbit equivalence relation which is hypersmooth. We also show that any Borel action of a second countable locally compact abelian group on a standard Borel space induces an orbit equivalence relation which is essentially hyperfinite, generalizing a result of Gao and Jackson for the countable abelian groups.
Absolute Continuity and the Integration of Bounded Set Functions
The first chapter gives basic definitions and theorems concerning set functions and set function integrals. The lemmas and theorems are presented without proof in this chapter. The second chapter deals with absolute continuity and Lipschitz condition. Particular emphasis is placed on the properties of max and min integrals. The third chapter deals with approximating absolutely continuous functions with bounded functions. It also deals with the existence of the integrals composed of various combinations of bounded functions and finitely additive functions. The concluding theorem states if the integral of the product of a bounded function and a non-negative finitely additive function exists, then the integral of the product of the bounded function with an absolutely continuous function exists over any element in a field of subsets of a set U.
Abstract Measure
This study of abstract measure covers classes of sets, measures and outer measures, extension of measures, and planer measure.
Abstract Vector Spaces and Certain Related Systems
The purpose of this paper is to make a detailed study of vector spaces and a certain vector-like system.
Ádám's Conjecture and Its Generalizations
This paper examines idam's conjuecture and some of its generalizations. In terms of Adam's conjecture, we prove Alspach and Parson's results f or Zpq and ZP2. More generally, we prove Babai's characterization of the CI-property, Palfy's characterization of CI-groups, and Brand's result for Zpr for polynomial isomorphism's. We also prove for the first time a characterization of the CI-property for 1 SG, and prove that Zn is a CI-Pn-group where Pn is the group of permutation polynomials on Z,, and n is square free.
Additive Functions
The purpose of this paper is the analysis of functions of real numbers which have a special additive property, namely, f(x+y) = f(x)+f(y).
Algebraic Integers
The primary purpose of this thesis is to give a substantial generalization of the set of integers Z, where particular emphasis is given to number theoretic questions such as that of unique factorization. The origin of the thesis came from a study of a special case of generalized integers called the Gaussian Integers, namely the set of all complex numbers in the form n + mi, for m,n in Z. The main generalization involves what are called algebraic integers.
Algebraic Number Fields
This thesis investigates various theorems on polynomials over the rationals, algebraic numbers, algebraic integers, and quadratic fields. The material selected in this study is more of a number theoretical aspect than that of an algebraic structural aspect. Therefore, the topics of divisibility, unique factorization, prime numbers, and the roots of certain polynomials have been chosen for primary consideration.
Algebraic Numbers and Topologically Equivalent Measures
A set-theoretical point of view to study algebraic numbers has been introduced. We extend a result of Navarro-Bermudez concerning shift invariant measures in the Cantor space which are topologically equivalent to shift invariant measures which correspond to some algebraic integers. It is known that any transcendental numbers and rational numbers in the unit interval are not binomial. We proved that there are algebraic numbers of degree greater than two so that they are binomial numbers. Algebraic integers of degree 2 are proved not to be binomial numbers. A few compositive relations having to do with algebraic numbers on the unit interval have been studied; for instance, rationally related, integrally related, binomially related, B1-related relations. A formula between binomial numbers and binomial coefficients has been stated. A generalized algebraic equation related to topologically equivalent measures has also been stated.
Algebraic Properties of Semigroups
This paper is an algebraic study of selected properties of semigroups. Since a semigroup is a result of weakening the group axioms, all groups are semigroups. One facet of the paper is to demonstrate various semigroup properties that induce the group axioms.
Algebraically Determined Rings of Functions
Let R be any of the following rings: the smooth functions on R^2n with the Poisson bracket, the Hamiltonian vector fields on a symplectic manifold, the Lie algebra of smooth complex vector fields on C, or a variety of rings of functions (real or complex valued) over 2nd countable spaces. Then if H is any other Polish ring and φ:H →R is an algebraic isomorphism, then it is also a topological isomorphism (i.e. a homeomorphism). Moreover, many such isomorphisms between function rings induce a homeomorphism of the underlying spaces. It is also shown that there is no topology in which the ring of real analytic functions on R is a Polish ring.
Algebraically Determined Semidirect Products
Let G be a Polish group. We say that G is an algebraically determined Polish group if given any Polish group L and any algebraic isomorphism from L to G, then the algebraic isomorphism is a topological isomorphism. We will prove a general theorem that gives useful sufficient conditions for a semidirect product of two Polish groups to be algebraically determined. This will smooth the way for the proofs for some special groups. For example, let H be a separable Hilbert space and let G be a subset of the unitary group U(H) acting transitively on the unit sphere. Assume that -I in G and G is a Polish topological group in some topology such that H x G to H, (x,U) to U(x) is continuous, then H x G is a Polish topological group. Hence H x G is an algebraically determined Polish group. In addition, we apply the above the above result on the unitary group U(A) of a separable irreducible C*-algebra A with identity acting transitively on the unit sphere in a separable Hilbert space H and proved that the natural semidirect product H x U(A) is an algebraically determined Polish group. A similar theorem is true for the natural semidirect product R^{n} x G(n), where G(n) = GL(n,R), or GL^{+}(n,R), or SL(n,R), or |SL(n,R)|={A in GL(n,R) : |det(A)|=1}. On the other hand, it is known that the Heisenberg group H_{3}(R) , (R, +), (R{0}, x), and GL^{+}(n,R) are not algebraically determined Polish groups.
A*-algebras and Minimal Ideals in Topological Rings
The present thesis mainly concerns B*-algebras, A*-algebras, and minimal ideals in topological rings.
Algorithms of Schensted and Hillman-Grassl and Operations on Standard Bitableaux
In this thesis, we describe Schensted's algorithm for finding the length of a longest increasing subsequence of a finite sequence. Schensted's algorithm also constructs a bijection between permutations of the first N natural numbers and standard bitableaux of size N. We also describe the Hillman-Grassl algorithm which constructs a bijection between reverse plane partitions and the solutions in natural numbers of a linear equation involving hook lengths. Pascal programs and sample output for both algorithms appear in the appendix. In addition, we describe the operations on standard bitableaux corresponding to the operations of inverting and reversing permutations. Finally, we show that these operations generate the dihedral group D_4
The Analogues for t-Continuity of Certain Theorems on Ordinary Continuity
This study investigates the relationship between ordinary continuity and t-continuity.
Analysis Of Sequential Barycenter Random Probability Measures via Discrete Constructions
Hill and Monticino (1998) introduced a constructive method for generating random probability measures with a prescribed mean or distribution on the mean. The method involves sequentially generating an array of barycenters that uniquely defines a probability measure. This work analyzes statistical properties of the measures generated by sequential barycenter array constructions. Specifically, this work addresses how changing the base measures of the construction affects the statististics of measures generated by the SBA construction. A relationship between statistics associated with a finite level version of the SBA construction and the full construction is developed. Monte Carlo statistical experiments are used to simulate the effect changing base measures has on the statistics associated with the finite level construction.
The Analytical Development of the Trigonometric Functions
This thesis is a study of the analytical development of the trigonometric functions.
Annihilators of Bounded Indecomposable Modules of Vec(R)
The Lie algebra Vec(ℝ) of polynomial vector fields on the line acts naturally on ℂ[]. This action has a one-parameter family of deformations called the tensor density modules F_λ. The bounded indecomposable modules of Vec(ℝ) of length 2 composed of tensor density modules have been classified by Feigin and Fuchs. We present progress towards describing the annihilators of the unique indecomposable extension of F_λ by F_(λ+2) in the non-resonant case λ ≠ -½. We give the intersection of the annihilator and the subalgebra of lowest weight vectors of the universal enveloping algebra (Vec(ℝ)) of Vec(ℝ). This result is found by applying structural descriptions of the lowest weight vectors of (Vec(ℝ)).
Annihilators of Irreducible Representations of the Lie Superalgebra of Contact Vector Fields on the Superline
The superline has one even and one odd coordinate. We consider the Lie superalgebra of contact vector fields on the superline. Its tensor density modules are a one-parameter family of deformations of the natural action on the ring of polynomials on the superline. They are parameterized by a complex number, and they are irreducible when this parameter is not zero. In this dissertation, we describe the annihilating ideals of these representations in the universal enveloping algebra of this Lie superalgebra by providing their generators. We also describe the intersection of all such ideals: the annihilator of the direct sum of the tensor density modules. The annihilating ideal of an irreducible non-zero left module is called a primitive ideal, and the space of all such ideals in the universal enveloping algebra is its primitive spectrum. The primitive spectrum is endowed with the Jacobson topology, which induces a topology on the annihilators of the tensor density modules. We conclude our discussion with a description of the annihilators as a topological space.
Applications in Fixed Point Theory
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 conditions on the boundary of a closed ball in a Banach space to obtain a fixed point. Finally, a development of the theorem due to Browder et al. is given with Hilbert spaces replaced by uniformly convex Banach spaces.
Applications of a Model-Theoretic Approach to Borel Equivalence Relations
The study of Borel equivalence relations on Polish spaces has become a major area of focus within descriptive set theory. Primarily, work in this area has been carried out using the standard methods of descriptive set theory. In this work, however, we develop a model-theoretic framework suitable for the study of Borel equivalence relations, introducing a class of objects we call Borel structurings. We then use these structurings to examine conditions under which marker sets for Borel equivalence relations can be concluded to exist or not exist, as well as investigating to what extent the Compactness Theorem from first-order logic continues to hold for Borel structurings.
Applications of Graph Theory and Topology to Combinatorial Designs
This dissertation is concerned with the existence and the isomorphism of designs. The first part studies the existence of designs. Chapter I shows how to obtain a design from a difference family. Chapters II to IV study the existence of an affine 3-(p^m,4,λ) design where the v-set is the Galois field GF(p^m). Associated to each prime p, this paper constructs a graph. If the graph has a 1-factor, then a difference family and hence an affine design exists. The question arises of how to determine when the graph has a 1-factor. It is not hard to see that the graph is connected and of even order. Tutte's theorem shows that if the graph is 2-connected and regular of degree three, then the graph has a 1-factor. By using the concept of quadratic reciprocity, this paper shows that if p Ξ 53 or 77 (mod 120), the graph is almost regular of degree three, i.e., every vertex has degree three, except two vertices each have degree tow. Adding an extra edge joining the two vertices with degree tow gives a regular graph of degree three. Also, Tutte proved that if A is an edge of the graph satisfying the above conditions, then it must have a 1-factor which contains A. The second part of the dissertation is concerned with determining if two designs are isomorphic. Here the v-set is any group G and translation by any element in G gives a design automorphism. Given a design B and its difference family D, two topological spaces, B and D, are constructed. We give topological conditions which imply that a design isomorphism is a group isomorphism.
Applications of Rapidly Mixing Markov Chains to Problems in Graph Theory
In this dissertation the results of Jerrum and Sinclair on the conductance of Markov chains are used to prove that almost all generalized Steinhaus graphs are rapidly mixing and an algorithm for the uniform generation of 2 - (4k + 1,4,1) cyclic Mendelsohn designs is developed.
An Approximate Solution to the Dirichlet Problem
In the category of mathematics called partial differential equations there is a particular type of problem called the Dirichlet problem. Proof is given in many partial differential equation books that every Dirichlet problem has one and only one solution. The explicit solution is very often not easily determined, so that a method for approximating the solution at certain points becomes desirable. The purpose of this paper is to present and investigate one such method.
Around the Fibonacci Numeration System
Let 1, 2, 3, 5, 8, … denote the Fibonacci sequence beginning with 1 and 2, and then setting each subsequent number to the sum of the two previous ones. Every positive integer n can be expressed as a sum of distinct Fibonacci numbers in one or more ways. Setting R(n) to be the number of ways n can be written as a sum of distinct Fibonacci numbers, we exhibit certain regularity properties of R(n), one of which is connected to the Euler φ-function. In addition, using a theorem of Fine and Wilf, we give a formula for R(n) in terms of binomial coefficients modulo two.
Aspects of Universality in Function Iteration
This work deals with some aspects of universal topological and metric dynamic behavior of iterated maps of the interval.
Asymptotic Formula for Counting in Deterministic and Random Dynamical Systems
The lattice point problem in dynamical systems investigates the distribution of certain objects with some length property in the space that the dynamics is defined. This problem in different contexts can be interpreted differently. In the context of symbolic dynamical systems, we are trying to investigate the growth of N(T), the number of finite words subject to a specific ergodic length T, as T tends to infinity. This problem has been investigated by Pollicott and Urbański to a great extent. We try to investigate it further, by relaxing a condition in the context of deterministic dynamical systems. Moreover, we investigate this problem in the context of random dynamical systems. The method for us is considering the Fourier-Stieltjes transform of N(T) and expressing it via a Poincaré series for which the spectral gap property of the transfer operator, enables us to apply some appropriate Tauberian theorems to understand asymptotic growth of N(T). For counting in the random dynamics, we use some results from probability theory.
Atmospheric Gusts and Their Effect on Aircraft
This thesis investigates atmospheric gusts and their effect on aircraft.
Automorphism Groups
This paper will be concerned mainly with automorphisms of groups. The concept of a group endomorphism will be used at various points in this paper.
Automorphism Groups of Strong Bruhat Orders of Coxeter Groups
In this dissertation, we describe the automorphism groups for the strong Bruhat orders A_n-1, B_n, and D_n. In particular, the automorphism group of A_n-1 for n ≥ 3 is isomorphic to the dihedral group of order eight, D_4; the automorphism group of B_n for n ≥ 3 is isomorphic to C_2 x C_2 where C_2 is the cyclic group of order two; the automorphism group of D_n for n > 5 and n even is isomorphic to C_2 x C_2 x C_2; and the automorphism group of D_n for n ≥ 5 and n odd is isomorphic to the dihedral group D_4.
Axiom of Choice Equivalences and Some Applications
In this paper several equivalences of the axiom of choice are examined. In particular, the axiom of choice, Zorn's lemma, Tukey's lemma, the Hausdorff maximal principle, and the well-ordering theorem are shown to be equivalent. Cardinal and ordinal number theory is also studied. The Schroder-Bernstein theorem is proven and used in establishing order results for cardinal numbers. It is also demonstrated that the first uncountable ordinal space is unique up to order isomorphism. We conclude by encountering several applications of the axiom of choice. In particular, we show that every vector space must have a Hamel basis and that any two Hamel bases for the same space must have the same cardinality. We establish that the Tychonoff product theorem implies the axiom of choice and see the use of the axiom of choice in the proof of the Hahn- Banach theorem.
Banach Spaces and Weak and Weak* Topologies
This paper examines several questions regarding Banach spaces, completeness and compactness of Banach spaces, dual spaces and weak and weak* topologies. Examples of completeness and isometries are given using the c₀ and 𝓁ᴰ spaces. The Hahn-Banach extension theorem is presented, along with some applications. General theory about finite and infinite dimensional normed linear spaces is the bulk of the second chapter. A proof of the uniform boundedness principle is also given. Chapter three talks in detail about dual spaces and weak and weak* topologies. An embedding proof and proofs involving weak and weak compactness are also given. The Cauchy-Bunyakowski-Schwarz inequality and Alaoglu's theorem are also proven.
Basic Fourier Transforms
The purpose of this paper is to develop some of the more basic Fourier transforms which are the outgrowth of the Fourier theorem. Although often approached from the stand-point of the series, this paper will approach the theorem from the standpoint of the integral.
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.
Borel Sets and Baire Functions
This paper examines the relationship between Borel sets and Baire functions.
Bounded, Finitely Additive, but Not Absolutely Continuous Set Functions
In leading up to the proof, methods for constructing fields and finitely additive set functions are introduced with an application involving the Tagaki function given as an example. Also, non-absolutely continuous set functions are constructed using Banach limits and maximal filters.
The Buckling of a Uniformly Compressed Plate with Intermediate Supports
This problem has been selected from the mathematical theory of elasticity. We consider a rectangular plate of thickness h, length a, and width b. The plate is subjected to compressive forces. These forces act in the neutral plane and give the plate a tendency to buckle. However, this problem differs from other plate problems in that it is assumed that there are two intermediate supports located on the edges of the plate parallel to the compressive forces.
The Cantor Ternary Set and Certain of its Generalizations and Applications
This thesis covers the Cantor Ternary Set and generalizations of the Cantor Set, and gives a complete existential theory for three set properties: denumerability, exhaustibility, and zero measure.
Centers of Invariant Differential Operator Algebras for Jacobi Groups of Higher Rank
Let G be a Lie group acting on a homogeneous space G/K. The center of the universal enveloping algebra of the Lie algebra of G maps homomorphically into the center of the algebra of differential operators on G/K invariant under the action of G. In the case that G is a Jacobi Lie group of rank 2, we prove that this homomorphism is surjective and hence that the center of the invariant differential operator algebra is the image of the center of the universal enveloping algebra. This is an extension of work of Bringmann, Conley, and Richter in the rank 1case.
Certain Properties of Functions Related to Exhaustibility
In this thesis, we shall attempt to present a study of certain properties of real functions related to the set property exhaustible.
A Characterization of Homeomorphic Bernoulli Trial Measures.
We give conditions which, given two Bernoulli trial measures, determine whether there exists a homeomorphism of Cantor space which sends one measure to the other, answering a question of Oxtoby. We then provide examples, relating these results to the notions of good and refinable measures on Cantor space.
Characterizations of Continua of Finite Degree
In this thesis, some characterizations of continua of finite degree are given. It turns out that being of finite degree (by formal definition) can be described by saying there exists an equivalent metric in which Hausdorff linear measure of the continuum is finite. I discuss this result in detail.
Characterizations of Some Combinatorial Geometries
We give several characterizations of partition lattices and projective geometries. Most of these characterizations use characteristic polynomials. A geometry is non—splitting if it cannot be expressed as the union of two of its proper flats. A geometry G is upper homogeneous if for all k, k = 1, 2, ... , r(G), and for every pair x, y of flats of rank k, the contraction G/x is isomorphic to the contraction G/y. Given a signed graph, we define a corresponding signed—graphic geometry. We give a characterization of supersolvable signed graphs. Finally, we give the following characterization of non—splitting supersolvable signed-graphic geometries : If a non-splitting supersolvable ternary geometry does not contain the Reid geometry as a subgeometry, then it is signed—graphic.
Chebyshev Subsets in Smooth Normed Linear Spaces
This paper is a study of the relation between smoothness of the norm on a normed linear space and the property that every Chebyshev subset is convex. Every normed linear space of finite dimension, having a smooth norm, has the property that every Chebyshev subset is convex. In the second chapter two properties of the norm, uniform Gateaux differentiability and uniform Frechet differentiability where the latter implies the former, are given and are shown to be equivalent to smoothness of the norm in spaces of finite dimension. In the third chapter it is shown that every reflexive normed linear space having a uniformly Gateaux differentiable norm has the property that every weakly closed Chebyshev subset, with non-empty weak interior that is norm-wise dense in the subset, is convex.
A Classification of Regular Planar Graphs
The purpose of this paper is the investigation and classification of regular planar graphs. The motive behind this investigation was a desire to better understand those properties which allow a graph to be represented in the plane in such a manner that no two edges cross except perhaps at vertices.
A Classification of the Homogeneity of Countable Products of Subsets of Real Numbers
Spaces such as the closed interval [0, 1] do not have the property of being homogeneous, strongly locally homogeneous (SLH) or countable dense homogeneous (CDH), but the Hilbert cube has all three properties. We investigate subsets X of real numbers to determine when their countable product is homogeneous, SLH, or CDH. We give necessary and sufficient conditions for the product to be homogeneous. We also prove that the product is SLH if and only if X is zero-dimensional or an interval. And finally we show that for a Borel subset X of real numbers the product is CDH iff X is a G-delta zero-dimensional set or an interval.
The Cohomology for the Nil Radical of a Complex Semisimple Lie Algebra
Let g be a complex semisimple Lie algebra, Vλ an irreducible g-module with high weight λ, pI a standard parabolic subalgebra of g with Levi factor £I and nil radical nI, and H*(nI, Vλ) the cohomology group of Λn'I ⊗Vλ. We describe the decomposition of H*(nI, Vλ) into irreducible £1-modules.
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
Compact Convex Sets in Linear Topological Spaces
The purpose of this paper is to examine properties of convex sets in linear topological spaces with special emphasis on compact convex sets.
Compact Operators and the Schrödinger Equation
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 paper finishes with a discussion of examples of Schrödinger equations and the solutions.
Back to Top of Screen