The problem undertaken in this paper is to determine what the algebraic structure of the class of C-sets is, when the notion of sum is to be the "set sum. " While the preliminary work done by Appling took place in the space of additive and bounded real valued functions, the results here are found in the more general setting of a complete lattice ordered group. As a conseque n c e , G . Birkhof f' s book, Lattice Theory, is used as the standard reference for most of the terminology used in the paper. The direction taken is prompted by a paper by W. D. L. Appling, "A Generalization of Absolute Continuity and of an Analogue of the Lebesgue Decomposition Theorem. " Since some of the results obtained provide another approach to a problem originally studied by Nakano, and improved upon by Bernau, reference is made to their work to provide other terminology and examples of alternative approaches to the problem of lateral completion. Thus Chapter I contains a brief history of the notion of C-sets and their relationship to lattice ordered groups, along with a summary of the properties of lattice ordered groups needed for later developments. …

In 1943 R. C. Buck showed that a sequence x is convergent if some regular matrix sums every subsequence of x. Thus, for example, if every subsequence of x is Cesaro summable, then x is actually convergent. Buck's result was quite surprising, since research in summability theory up to that time gave no hint of such a remarkable theorem. The appearance of Buck's result in the Bulletin of the American Mathematical Society (3) created immediate interest and has prompted considerable research which has taken the following directions: (i) to study regular matrix transformations in order to shed light on Buck's theorem, (ii) to extend Buck's theorem, (iii) to obtain analogs of Buck's theorem for sequence spaces other than the space of convergent sequences, and (iv) to obtain analogs of Buck's theorem involving processes other than subsequencing, such as stretching. The purpose of the present paper is to contribute to all facets of the problem, particularly to (i), (iii), and (iv).

The purpose of this paper is to further investigate R0 spaces, R1 spaces, and hyperspaces. The R0 axiom was introduced by N. A. Shanin in 1943. Later, in 1961, A. S. Davis investigated R0 spaces and introduced R1 spaces. Then, in 1975, William Dunham further investigated R1 spaces and proved that several well-known theorems can be generalized from a T2 setting to an R1 setting. In Chapter II R0 and R1 spaces are investigated and additional theorems that can be generalized from a T2 setting to an R1 setting are obtained.

This paper is a study of T-sets of normed linear spaces. Geometrical properties of normed linear spaces are developed in terms of intersection properties shared by a subcollection of T-sets of the space and in terms of special spanning properties shared by each T-set of a subcollection of T-sets of the space. A characterization of the extreme points of the unit ball of the dual of a normed linear space is given in terms of the T-sets of the space. Conditions on the collection of T-sets of a normed linear space are determined so that the normed linear space has the property that extreme points of the unit ball of the dual space map canonically to extreme points of the unit ball of the third dual space.

Let X be a Polish space and Q a measurable partition of X into Gδ equivalence classes. In 1978, S. M. Srivastava proved the existence of a Borel cross section for Q. He asked whether more can be concluded in case each equivalence class is uncountable. This question is answered here in the affirmative. The main result of the author is a proof that shows the existence of a Castaing Representation for Q.

This paper develops a numerical algorithm that produces finite element solutions for a broad class of partial differential equations. The method is based on steepest descent methods in the Sobolev space H¹(Ω). Although the method may be applied in more general settings, we consider only differential equations that may be written as a first order quasi-linear system. The method is developed in a Hilbert space setting where strong convergence is established for part of the iteration. We also prove convergence for an inner iteration in the finite element setting. The method is demonstrated on Burger's equation and the Navier-Stokes equations as applied to the square cavity flow problem. Numerical evidence suggests that the accuracy of the method is second order,. A documented listing of the FORTRAN code for the Navier-Stokes equations is included.

This dissertation explores geometric measure theory; the first part explores a question posed by Paul Erdös -- Is there a number c > 0 such that if E is a Lebesgue measurable subset of the plane with λ²(E) (planar measure)> c, then E contains the vertices of a triangle with area equal to one? -- other related geometric questions that arise from the topic. In the second part, "we parametrize the theorems from general topology characterizing the continuous images and the homeomorphic images of the Cantor set, C" (abstract, para. 5).

The purpose of this paper is to develop a general method for using Finite Elements in the Steepest Descent Method. The main application is to a partial differential equation for a Transonic Flow Problem. It is also applied to Burger's equation, Laplace's equation and the minimal surface equation. The entire method is tested by computer runs which give satisfactory results. The validity of certain of the procedures used are proved theoretically. The way that the writer handles finite elements is quite different from traditional finite element methods. The variational principle is not needed. The theory is based upon the calculation of a matrix representation of operators in the gradient of a certain functional. Systematic use is made of local interpolation functions.

Every continuous convex function defined on a separable Banach space is Gateaux differentiable on a dense G^ subset of the space E [Mazur]. Suppose we are given a sequence (xn) that Is dense in E. Can we always find a Gateaux differentiable point x such that x = z^=^anxn.for some sequence (an) with infinitely many non-zero terms so that Ση∞=1||anxn|| < co ? According to this paper, such points are called of "simple type," and shown to be dense in E. Mazur's theorem follows directly from the result and Rybakov's theorem (A countably additive vector measure F: E -* X on a cr-field is absolutely continuous with respect to |x*F] for some x* e Xs) can be shown without deep measure theoretic Involvement.

The investigation is initially a continuation of Neuberger's work on linear boundary value problems. A very general iterative procedure for solution of these problems is described. The alternating-projection theorem of von Neumann is the mathematical starting point for this study. Later theorems demonstrate the validity of numerical approximation for Neuberger's method under certain conditions. A sampling of differential equations within the scope of our iterative method is given. The numerical evidence is that the procedure works well on neutral-state equations, for which no software is written now.

This dissertation is divided into two parts. The first part addresses the following problem: Suppose 𝑣 is a finitely additive probability measure defined on the power set 𝒜 of the integer Z so that each singleton set gets measure zero. Let X be a product space Π/β∈B * Zᵦ where each Zₐ is a copy of the integers. Let 𝒜ᴮ be the algebra of subsets of X generated by the subproducts Π/β∈B * Cᵦ where for all but finitely many β, Cᵦ = Zᵦ. Let 𝑣_B denote the product measure on 𝒜ᴮ which has each factor measure a copy of 𝑣. A subset E of X is said to be 𝑣_B -measurable iff [sic] there is only one finitely additive probability on the algebra generated by 𝒜ᴮ ∪ [E] which extends 𝑣_B. The set E ⊆ X is said to be universally product measurable (u.p.m.) iff [sic] for each finitely additive probability measure μ on 𝒜 which gives each singleton measure zero,E is μ_B -measurable. Two theorems are proved along with generalizations. The second part of this dissertation gives a proof of the following theorem and some generalizations: There are 2ᶜ nonisomorphic subalgebras of the power set algebra of the …

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.

In this paper we give a characterization theorem for the reciprocal Dunford-Pettis property as defined by Grothendieck. The relationship of this property to Pelczynski's property V is examined. In particular it is shown that every Banach space with property V has the reciprocal Dunford-Pettis property and an example is given to show that the converse fails to hold. Moreover the characterizations of property V and the reciprocal Dunford-Pettis property lead to the definitions of property V* and property RDP* respectively. Me compare and contrast results for the reciprocal Dunford-Pettis property and property RDP* with those for properties V and V*. In the final chapter we use a result of Brooks to obtain a characterization for the Radon-Nikodým property.

The method of dual steepest descent is used to solve ordinary differential equations with nonlinear boundary conditions. A general boundary condition is B(u) = 0 where where B is a continuous functional on the nth order Sobolev space Hn[0.1J. If F:HnCO,l] —• L2[0,1] represents a 2 differential equation, define *(u) = 1/2 IIF < u) li and £(u) = 1/2 l!B(u)ll2. Steepest descent is applied to the functional 2 £ a * + £. Two special cases are considered. If f:lR —• R is C^(2), a Type I boundary condition is defined by B(u) = f(u(0),u(1)). Given K: [0,1}xR—•and g: [0,1] —• R of bounded variation, a Type II boundary condition is B(u) = ƒ1/0K(x,u(x))dg(x).

Let L be a lattice. For x ∈ L, we say x is a consistent join-irreducible if x V y is a join-irreducible of the lattice [y,1] for all y in L. We say L is consistent if every join-irreducible of L is consistent. In this dissertation, we study the notion of consistent elements in semimodular lattices.

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.

This dissertation focuses on the significance of containment relations between the above mentioned classes of ideals. The main problem considered in Chapter II is determining conditions which lead a ring to be a P-ring, D-ring, or AM-ring when every regular ideal is a P-ideal, D-ideal, or AM-ideal, respectively. We also consider containment relations between classes of regular ideals which guarantee that the ring is a quasi-valuation ring. We continue this study into the third chapter; in particular, we look at the conditions in a quasi-valuation ring which lead to a = Jr, sr - f, and a = v. Furthermore we give necessary and sufficient conditions that a ring be a discrete rank one quasi-valuation ring. For example, if R is Noetherian, then ft = J if and only if R is a discrete rank one quasi-valuation ring.

Let K be any field and Q be the rationals. Define K^1[X] = {f(X) e K[X]| the coefficient of X in f(X) is zero} and Q^1β[X] = {f(X) e Q[X]| the coefficent of β1(X) in the binomial expansion of f(X) is zero}, where {β1(X)}^∞ i=0 are the well-known binomial polynomials. In this work, I establish the following results: K^1[X] and Q^1β[X] are one-dimensional, Noetherian, non-Prüfer domains with the two-generator property on ideals. Using the unique factorization structure of the overrings K[X] and Q[X], the nonprincipal ideal structures of both rings are characterized, and from this characterization, necessary and sufficient conditions are found for a nonprincipal ideal to be invertible. The nonprincipal invertible ideals are then characterized in terms of the coefficients of the generators, and an explicit formula for the inverse of any proper invertible ideal is found. Finally, the class groups of both rings are shown to be torsion free abelian groups. Let n be any nonnegative integer. Results similar to the above are found in the generalizations of these two rings, K^n[X] and q^nβ[X], where the coefficients on the first n nonconstant basis elements are zero. For the domains K^1[X] and Q^1β[X], the property of strong two-generation is …

In this paper we consider a radially symmetric nonlinear Dirichlet problem in a ball, where the nonlinearity is "superlinear" and "superlinear with jumping."

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 …

This dissertation is a study of the dynamics of one-dimensional unimodal maps and is mainly concerned with those maps which are trapezoidal. The trapezoidal function, f_e, is defined for eΣ(0,1/2) by f_e(x)=x/e for xΣ[0,e], f_e(x)=1 for xΣ(e,1-e), and f_e(x)=(1-x)/e for xΣ[1-e,1]. We study the symbolic dynamics of the kneading sequences and relate them to the analytic dynamics of these maps. Chapter one is an overview of the present theory of Metropolis, Stein, and Stein (MSS). In Chapter two a formula is given that counts the number of MSS sequences of length n. Next, the number of distinct primitive colorings of n beads with two colors, as counted by Gilbert and Riordan, is shown to equal the number of MSS sequences of length n. An algorithm is given that produces a bisection between these two quantities for each n. Lastly, the number of negative orbits of size n for the function f(z)=z^2-2, as counted by P.J. Myrberg, is shown to equal the number of MSS sequences of length n. For an MSS sequence P, let H_ϖ(P) be the unique common extension of the harmonics of P. In Chapter three it is proved that there is exactly one J(P)Σ[0,1] such that the …

In this paper we consider an existence of a solution for a nonlinear nonmonotone wave equation in [0,π]xR and an existence of a positive solution for a non-positone Dirichlet problem in a bounded subset of R^n.

The method of steepest descent is used to minimize typical functionals from elasticity.

If T:C(H,X)-->Y is a bounded linear operator then there exists a unique weakly regular finitely additive set function m:-->L(X,Y**) so that T(f) = ∫Hfdm. In this paper, bounded linear operators on C(H,X) are studied in terms the measure given by this representation theorem. The first chapter provides a brief history of representation theorems of these classes of operators. In the second chapter the represenation theorem used in the remainder of the paper is presented. If T is a weakly compact operator on C(H,X) with representing measure m, then m(A) is a weakly compact operator for every Borel set A. Furthermore, m is strongly bounded. Analogous statements may be made for many interesting classes of operators. In chapter III, two classes of operators, weakly precompact and QSP, are studied. Examples are provided to show that if T is weakly precompact (QSP) then m(A) need not be weakly precompact (QSP), for every Borel set A. In addition, it will be shown that weakly precompact and GSP operators need not have strongly bounded representing measures. Sufficient conditions are provided which guarantee that a weakly precompact (QSP) operator has weakly precompact (QSP) values. A sufficient condition for a weakly precomact operator to be strongly …