UNT Libraries - 37 Matching Results

Search Results

The Reciprocal Dunford-Pettis and Radon-Nikodym Properties in Banach Spaces

Description: 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.
Date: August 1984
Creator: Leavelle, Tommy L. (Tommy Lee)

Measurable Selection Theorems for Partitions of Polish Spaces into Gδ Equivalence Classes

Description: 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.
Date: May 1980
Creator: Simrin, Harry S.

Finite Element Solutions to Nonlinear Partial Differential Equations

Description: 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.
Date: August 1981
Creator: Beasley, Craig J. (Craig Jackson)

Geometric Problems in Measure Theory and Parametrizations

Description: 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).
Date: August 1981
Creator: Ingram, John M. (John Michael)

Dually Semimodular Consistent Lattices

Description: 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 the elements covering x, and the rank of x; the maximum reach of all elements in L is the reach of L. Sharp lower bounds for the total number of elements and the number of elements of a given reach in a semimodular consistent lattice given the rank, the reach, and the number of join-irreducibles are found. Extremal lattices attaining these bounds are described. Similar results are then obtained for finite dually semimodular consistent lattices.
Date: May 1988
Creator: Gragg, Karen E. (Karen Elizabeth)

Operators on Continuous Function Spaces and Weak Precompactness

Description: 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 bounded is given. In chapter IV, weakly precompact subsets of L1(μ,X) are examined. For a Banach space X whose dual has the Radon-Nikodym property, it is shown that the weakly precompact subsets of L1(μ,X) are exactly the uniformly integrable subsets of L1(μ,X). Furthermore, it is shown that this characterization does not hold in Banach spaces X for which X* does not have the weak Radon-Nikodym property.
Date: August 1988
Creator: Abbott, Catherine Ann

Polynomial Isomorphisms of Cayley Objects Over a Finite Field

Description: In this dissertation the Bays-Lambossy theorem is generalized to GF(pn). The Bays-Lambossy theorem states that if two Cayley objects each based on GF(p) are isomorphic then they are isomorphic by a multiplier map. We use this characterization to show that under certain conditions two isomorphic Cayley objects over GF(pn) must be isomorphic by a function on GF(pn) of a particular type.
Date: December 1989
Creator: Park, Hong Goo

Containment Relations Between Classes of Regular Ideals in a Ring with Few Zero Divisors

Description: 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.
Date: May 1987
Creator: Race, Denise T. (Denise Tatsch)

The Maximum Size of Combinatorial Geometries Excluding Wheels and Whirls as Minors

Description: We show that the maximum size of a geometry of rank n excluding the (q + 2)-point line, the 3-wheel W_3, and the 3-whirl W^3 as minor is (n - 1)q + 1, and geometries of maximum size are parallel connections of (q + 1)-point lines. We show that the maximum size of a geometry of rank n excluding the 5-point line, the 4-wheel W_4, and the 4-whirl W^4 as minors is 6n - 5, for n ≥ 3. Examples of geometries having rank n and size 6n - 5 include parallel connections of the geometries V_19 and PG(2,3).
Date: August 1989
Creator: Hipp, James W. (James William), 1956-

Dynamics of One-Dimensional Maps: Symbols, Uniqueness, and Dimension

Description: 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 itinerary of λ(P) under the map is λ(P)f_e is H_ϖ(P). In Chapter four it is shown that only period doubling or period halving bifurcations can occur for the family λf_e, λΣ[0,1]. Results concerning how the size of a stable orbit changes as bifurcations of the family λf_e occur are given. Let λΣ[0,1] be such that 1/2 is a periodic point of λf_e. In this case 1/2 is superstable. Chapter five investigates the boundary of the basin of attraction of this stable orbit. An algorithm is given that yields a graph directed construction such that the object constructed is the basin ...
Date: May 1988
Creator: Brucks, Karen M. (Karen Marie), 1957-

Applications of Graph Theory and Topology to Combinatorial Designs

Description: 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.
Date: December 1988
Creator: Somporn Sutinuntopas

Invertible Ideals and the Strong Two-Generator Property in Some Polynomial Subrings

Description: 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 explored in detail and the following results are established: 1. K^1[X] and Q^1β[X] are not strongly two-generated, 2. In either ring, any polynomial with a constant term, or of degree two or three is a strong two-generator. 3. In K^1[X] any polynomial divisible by X^4 is not a strong two-generator, 4. An ideal I in K^1[X] or Q^1β[X] is strongly two-generated if and only if it is invertible.
Date: May 1987
Creator: Chapman, Scott T. (Scott Thomas)

Automorphism Groups of Strong Bruhat Orders of Coxeter Groups

Description: 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.
Date: August 1986
Creator: Sutherland, David C. (David Craig)

Hausdorff, Packing and Capacity Dimensions

Description: In this thesis, Hausdorff, packing and capacity dimensions are studied by evaluating sets in the Euclidean space R^. Also the lower entropy dimension is calculated for some Cantor sets. By incorporating technics of Munroe and of Saint Raymond and Tricot, outer measures are created. A Vitali covering theorem for packings is proved. Methods (by Taylor and Tricot, Kahane and Salem, and Schweiger) for determining the Hausdorff and capacity dimensions of sets using probability measures are discussed and extended. The packing pre-measure and measure are shown to be scaled after an affine transformation. A Cantor set constructed by L.D. Pitt is shown to be dimensionless using methods developed in this thesis. A Cantor set is constructed for which all four dimensions are different. Graph directed constructions (compositions of similitudes follow a path in a directed graph) used by Mauldin and Willjams are presented. Mauldin and Williams calculate the Hausdorff dimension, or, of the object of a graph directed construction and show that if the graph is strongly connected, then the a—Hausdorff measure is positive and finite. Similar results will be shown for the packing dimension and the packing measure. When the graph is strongly connected, there is a constant so that the constant times the Hausdorff measure is greater than or equal to the packing measure when a subset of the realization is evaluated. Self—affine Sierpinski carpets, which have been analyzed by McMullen with respect to their Hausdorff dimension and capacity dimension, are analyzed with respect to their packing dimension. Conditions under which the Hausdorff measure of the construction object is positive and finite are given.
Date: August 1989
Creator: Spear, Donald W.

Iterative Solution of Linear Boundary Value Problems

Description: 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.
Date: August 1983
Creator: Walsh, John Breslin

Universally Measurable Sets And Nonisomorphic Subalgebras

Description: 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 integers (where c = power of the continuum).
Date: August 1983
Creator: Williams, Stanley C. (Stanley Carl)

Properties of R-Modules

Description: This thesis investigates some of the properties of R-modules. The material is presented in three chapters. Definitions and theorems which are assumed are stated in Chapter I. Proofs of these theorems may be found in Zariski and Samuel, Commutative Algebra, Vol. I, 1958. It is assumed that the reader is familiar with the basic properties of commutative rings and ideals in rings. Properties of R-modules are developed in Chapter II. The most important results presented in this chapter include existence theorems for R-modules and properties of submodules in R-modules. The third and final chapter presents an example which illustrates how a ring R, may be regarded as an R-module and speaks of the direct sum of ideals of a ring as a direct sum of submodules.
Date: August 1989
Creator: Granger, Ginger Thibodeaux

Dimension Theory

Description: This paper contains a discussion of topological dimension theory. Original proofs of theorems, as well as a presentation of theorems and proofs selected from Ryszard Engelking's Dimension Theory are contained within the body of this endeavor. Preliminary notation is introduced in Chapter I. Chapter II consists of the definition of and theorems relating to the small inductive dimension function Ind. Large inductive dimension is investigated in Chapter III. Chapter IV comprises the definition of covering dimension and theorems discussing the equivalence of the different dimension functions in certain topological settings. Arguments pertaining to the dimension o f Jn are also contained in Chapter IV.
Date: August 1986
Creator: Frere, Scot M. (Scot Martin)

The Mean Integral

Description: The purpose of this paper is to examine properties of the mean integral. The mean integral is compared with the regular integral. If [a;b] is an interval, f is quasicontinuous on [a;b] and g has bounded variation on [a;b], then the man integral of f with respect to g exists on [a;b]. The following theorem is proved. If [a*;b*] and [a;b] each is an interval and h is a function from [a*;b*] into R, then the following two statements are equivalent: 1) If f is a function from [a;b] into [a*;b*], gi is a function from [a;b] into R with bounded variation and (m)∫^b_afdg exists then (m)∫^b_ah(f)dg exists. 2) h is continuous.
Date: December 1985
Creator: Spear, Donald W.

Banach Spaces and Weak and Weak* Topologies

Description: 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.
Date: August 1989
Creator: Kirk, Andrew F. (Andrew Fitzgerald)