This paper is a study of some of the basic properties of the metric half-space topology, a topology on a set which is derived from a metric on the set. In the first it is found that in a complete inner product space, the metric half-space topology is the same as one defined in terms of linear functionals on the space. In the second it is proven that in Rn the metric half-space topology is the same as the usual metric topology. In the third theorem it is shown that in a certain sense the nature of the metric halfspace topology generated by a norm on the space determines whether the norm is quadratic, that is to say, whether or not there exists an inner product on the space with the property that |x|^2=(x,x) for all x in the space.

Rational Catalan combinatorics connects various Catalan numbers to the representation theory of rational Cherednik algebras for Coxeter and complex reflection groups. Lewis, Reiner, and Stanton seek a theory of rational Catalan combinatorics for the general linear group over a finite field. The finite general linear group is a modular reflection group that behaves like a finite Coxeter group. They conjecture a Hilbert series for a space of invariants under the action of this group using (q,t)-binomial coefficients. They consider the finite general linear group acting on the quotient of a polynomial ring by iterated powers of the irrelevant ideal under the Frobenius map. Often conjectures about reflection groups are solved by considering the local case of a group fixing one hyperplane and then extending via the theory of hyperplane arrangements to the full group. The Lewis, Reiner and Stanton conjecture had not previously been formulated for groups fixing a hyperplane. We formulate and prove their conjecture in this local case.

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.

The cardinality of the set of units, and of the set of equivalence classes of primes in non-trivial Euclidean domains is discussed with reference to the categories "finite" and "infinite." It is shown that no Euclidean domains exist for which both of these sets are finite. The other three combinations are possible and examples are given. For the more general Euclidean rings, the first combination is possible and examples are likewise given. Prime factorization is also discussed in both Euclidean rings and Euclidean domains. For Euclidean rings, an alternative definition of prime elements in terms of associates is compared and contrasted to the usual definitions.

This paper was written in response to the following question: what conditions are sufficient to guarantee that if a compact subset A of a topological linear space L^3 is not convex, then for every point x belonging to the complement of A relative to the convex hull of A there exists a line segment yz such that x belongs to yz and y belongs to A and z belongs to A? Restated in the terminology of this paper the question bay be given as follow: what conditions may be imposed upon a compact subset A of L^3 to insure that A is braced?

In this dissertation we study graph directed Markov systems (GDMS) and limit sets associated with these systems. Given a GDMS S, by the Hausdorff dimension spectrum of S we mean the set of all positive real numbers which are the Hausdorff dimension of the limit set generated by a subsystem of S. We say that S has full Hausdorff dimension spectrum (full HD spectrum), if the dimension spectrum is the interval [0, h], where h is the Hausdorff dimension of the limit set of S. We give necessary conditions for a finitely primitive conformal GDMS to have full HD spectrum. A GDMS is said to be regular if the Hausdorff dimension of its limit set is also the zero of the topological pressure function. We show that every number in the Hausdorff dimension spectrum is the Hausdorff dimension of a regular subsystem. In the particular case of a conformal iterated function system we show that the Hausdorff dimension spectrum is compact. We introduce several new systems: the nearest integer GDMS, the Gauss-like continued fraction system, and the Renyi-like continued fraction system. We prove that these systems have full HD spectrum. A special attention is given to the backward continued fraction …

In this dissertation we study the structure of spaces of operators, especially the space of all compact operators between two Banach spaces X and Y. Work by Kalton, Emmanuele, Bator and Lewis on the space of compact and weakly compact operators motivates much of this paper. Let L(X,Y) be the Banach space of all bounded linear operators 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 study problems related to the complementability of different operator ideals (the Banach space of all compact, weakly compact, completely continuous, resp. unconditionally converging) operators in the space of all bounded linear operators. The structure of Dunford-Pettis sets, strong Dunford-Pettis sets, and certain spaces of operators is studied in the context of the injective and projective tensor products of Banach spaces. Bibasic sequences are used to study relative norm compactness of strong Dunford-Pettis sets. Next, we use Dunford-Pettis sets to give sufficient conditions for K(X,Y) to contain c0.

The purpose of this paper is to develop a geometry based on fourteen axioms and four undefined terms.

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.

A lattice L is said to be dually semimodular if for all elements a and b in L, a ∨ b covers b implies that a covers a ∧ b. L is consistent if for every join-irreducible j and every element x in L, the element x ∨ j is a join-irreducible in the upper interval [x,l]. In this paper, finite dually semimodular consistent lattices are investigated. Examples of these lattices are the lattices of subnormal subgroups of a finite group. In 1954, R. P. Dilworth proved that in a finite modular lattice, the number of elements covering exactly k elements is equal to the number of elements covered by exactly k elements. Here, it is established that if a finite dually semimodular consistent lattice has the same number of join-irreducibles as meet-irreducibles, then it is modular. Hence, a converse of Dilworth's theorem, in the case when k equals 1, is obtained for finite dually semimodular consistent lattices. Several combinatorial results are shown for finite consistent lattices similar to those already established for finite geometric lattices. The reach of an element x in a lattice L is the difference between the rank of x*, the join of x and all …

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 purpose of this thesis is to investigate the properties of ideals in quadratic number fields, A field F is said to be an algebraic number field if F is a finite extension of R, the field of rational numbers. A field F is said to be a quadratic number field if F is an extension of degree 2 over R. The set 1 of integers of R will be called the rational integers.

The invariant theory of finite reflection groups has rich connections to geometry, topology, representation theory, and combinatorics. We consider finite reflection groups acting on vector spaces over fields of arbitrary characteristic, where many arguments of classical invariant theory break down. When the characteristic of the underlying field is positive, reflections may be nondiagonalizable. A group containing these so-called transvections has order which is divisible by the characteristic of the underlying field, so is in the modular setting. In this thesis, we examine the action on differential derivations, which include products of differential forms and derivations, and identify the structure of the set of invariants under the action of groups fixing a single hyperplane, groups with maximal transvection root spaces acting on vector spaces over prime fields, as well as special linear groups and general linear groups over finite fields.

First, we show that the Rothberger and 2-Rothberger games are equivalent. Then we adjust the former proof and introduce another game, the restricted Menger game, in order to obtain a broader result. This provides an answer in the context of Hausdorff spaces for an open question posed by Aurichi, Bella, and Dias.

In this paper we explore coloring theorems for the reals, its quotients, cardinals, and their combinations. This work is done under the scope of the axiom of determinacy. We also explore generalizations of Mycielski's theorem and show how these can be used to establish coloring theorems. To finish, we discuss the strange realm of long unions.

The purpose of this thesis is to investigate a theory of integration of real-valued functions defined on fields of sets.

It is known that there are nonlinear wave equations with localized solitary wave solutions. Some of these solitary waves are stable (with respect to a small perturbation of initial data)and have nonzero spin (nonzero intrinsic angular momentum in the centre of momentum frame). In this paper we consider vector-valued solitary wave solutions to a nonlinear Klein-Gordon equation and investigate the behavior of these spinning solitary waves under the influence of an externally imposed uniform magnetic field. We find that the only stationary spinning solitary wave solutions have spin parallel or antiparallel to the magnetic field direction.

The purpose of this thesis is to investigate certain properties of rings, ideals, and a special type of ring called a Boolean ring.

The principal theorem of this thesis is a theorem by Peano on the existence of a solution to a certain integral equation. The two primary notions underlying this theorem are uniform convergence and equi-continuity. Theorems related to these two topics are proved in Chapter II. In Chapter III we state and prove a classical existence and uniqueness theorem for an integral equation. In Chapter IV we consider the approximation on certain functions by means of elementary expressions involving "bent line" functions. The last chapter, Chapter V, is the proof of the theorem by Peano mentioned above. Also included in this chapter is an example in which the integral equation has more than one solution. The first chapter sets forth basic definitions and theorems with which the reader should be acquainted.

The purpose of this paper is to study nth order integral equations. The integrals studied in this paper are of the Riemann type.

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 …

In mathematical physics, Laplace's equation plays an especially significant role. It is fundamental to the solution of problems in electrostatics, thermodynamics, potential theory and other branches of mathematical physics. It is for this reason that this investigation concerns the development of some general properties of continuous solutions of this equation.

The subject of fractal geometry has exploded over the past 40 years with the availability of computer generated images. It was seen early on that there are many interesting questions at the intersection of probability and fractal geometry. In this dissertation we will introduce two random models for constructing fractals and prove various facts about them.

The problem of computing the minimum distance between two convex hulls has applications to many areas including robotics, computer graphics and path planning. Moreover, determining the minimum distance between two convex hulls plays a significant role in support vector machines (SVM). In this study, a new algorithm for finding the minimum distance between two convex hulls is proposed and investigated. A convergence of the algorithm is proved and applicability of the algorithm to support vector machines is demostrated. The performance of the new algorithm is compared with the performance of one of the most popular algorithms, the sequential minimal optimization (SMO) method. The new algorithm is simple to understand, easy to implement, and can be more efficient than the SMO method for many SVM problems.