Search Results

open access

Borel Determinacy and Metamathematics

Description: 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… more
Date: December 2001
Creator: Bryant, Ross
open access

Conway's Link Polynomial: a Generalization of the Classic Alexander's Knot Polynomial

Description: The problem under consideration is that of determining a simple and effective invariant of knots. To this end, the Conway polynomial is defined as a generalization of Alexander's original knot polynomial. It is noted, however, that the Conway polynomial is not a complete invariant. If two knots are equivalent, as defined in this investigation, then they receive identical polynomials. Yet, if two knots have identical polynomials, no information about their equivalence may be obtained. To define … more
Date: December 1986
Creator: Woodard, Mary Kay
open access

A Continuous, Nowhere-Differentiable Function with a Dense Set of Proper Local Extrema

Description: In this paper, we use the following scheme to construct a continuous, nowhere-differentiable function 𝑓 which is the uniform limit of a sequence of sawtooth functions 𝑓ₙ : [0, 1] → [0, 1] with increasingly sharp teeth. Let 𝑋 = [0, 1] x [0, 1] and 𝐹(𝑋) be the Hausdorff metric space determined by 𝑋. We define contraction maps 𝑤₁ , 𝑤₂ , 𝑤₃ on 𝑋. These maps define a contraction map 𝑤 on 𝐹(𝑋) via 𝑤(𝐴) = 𝑤₁(𝐴) ⋃ 𝑤₂(𝐴) ⋃ 𝑤₃(𝐴). The iteration under 𝑤 of the diagonal in 𝑋 defines a sequence of graphs of… more
Date: December 1993
Creator: Huggins, Mark C. (Mark Christopher)
open access

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… more
Date: December 1985
Creator: Spear, Donald W.
open access

Hyperspaces

Description: This paper is an exposition of the theory of the hyperspaces 2^X and C(X) of a topological space X. These spaces are obtained from X by collecting the nonempty closed and nonempty closed connected subsets respectively, and are topologized by the Vietoris topology. The paper is organized in terms of increasing specialization of spaces, beginning with T1 spaces and proceeding through compact spaces, compact metric spaces and metric continua. Several basic techniques in hyperspace theory are disc… more
Date: December 1976
Creator: Voas, Charles H.
open access

Integrability, Measurability, and Summability of Certain Set Functions

Description: The purpose of this paper is to investigate the integrability, measurability, and summability of certain set functions. The paper is divided into four chapters. The first chapter contains basic definitions and preliminary remarks about set functions and absolute continuity. In Chapter i, the integrability of bounded set functions is investigated. The chapter culminates with a theorem that characterizes the transmission of the integrability of a real function of n bounded set functions. In Cha… more
Date: December 1977
Creator: Dawson, Dan Paul
open access

Weak and Norm Convergence of Sequences in Banach Spaces

Description: We study weak convergence of sequences in Banach spaces. In particular, we compare the notions of weak and norm convergence. Although these modes of convergence usually differ, we show that in ℓ¹ they coincide. We then show a theorem of Rosenthal's which states that if {𝓍ₙ} is a bounded sequence in a Banach space, then {𝓍ₙ} has a subsequence {𝓍'ₙ} satisfying one of the following two mutually exclusive alternatives; (i) {𝓍'ₙ} is weakly Cauchy, or (ii) {𝓍'ₙ} is equivalent to the unit vector basis… more
Date: December 1993
Creator: Hymel, Arthur J. (Arthur Joseph)
open access

Continuous, Nowhere-Differentiable Functions with no Finite or Infinite One-Sided Derivative Anywhere

Description: In this paper, we study continuous functions with no finite or infinite one-sided derivative anywhere. In 1925, A. S. Beskovitch published an example of such a function. Since then we call them Beskovitch functions. This construction is presented in chapter 2, The example was simple enough to clear the doubts about the existence of Besicovitch functions. In 1932, S. Saks showed that the set of Besicovitch functions is only a meager set in C[0,1]. Thus the Baire category method for showing the e… more
Date: December 1994
Creator: Lee, Jae S. (Jae Seung)
open access

Subdirectly Irreducible Semigroups

Description: Definition 1.1. The ordered pair (S,*) is a semi-group iff S is a set and * is an associative binary operation (multiplication) on S. Notation. A semigroup (S,*) will ordinarily be referred to by the set S, with the multiplication understood. In other words, if (a,b)e SX , then *[(a,b)] = a*b = ab. The proof of the following proposition is found on p. 4 of Introduction to Semigroups, by Mario Petrich. Proposition 1.2. Every semigroup S satisfies the general associative law.
Date: December 1978
Creator: Winton, Richard Alan
open access

Homotopies and Deformation Retracts

Description: This paper introduces the background concepts necessary to develop a detailed proof of a theorem by Ralph H. Fox which states that two topological spaces are the same homotopy type if and only if both are deformation retracts of a third space, the mapping cylinder. The concepts of homotopy and deformation are introduced in chapter 2, and retraction and deformation retract are defined in chapter 3. Chapter 4 develops the idea of the mapping cylinder, and the proof is completed. Three special cas… more
Date: December 1990
Creator: Stark, William D. (William David)
open access

The Wallman Spaces and Compactifications

Description: If X is a topological space and Y is a ring of closed sets, then a necessary and sufficient condition for the Wallman space W(X,F) to be a compactification of X is that X be T1 andYF separating. A necessary and sufficient condition for a Wallman compactification to be Hausdoff is that F be a normal base. As a result, not all T, compactifications can be of Wallman type. One point and finite Hausdorff compactifications are of Wallman type.
Date: December 1976
Creator: Liu, Wei-kong
open access

Compact Operators and the Schrödinger Equation

Description: 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 pape… more
Date: December 2006
Creator: Kazemi, Parimah
open access

Counting Plane Tropical Curves via Lattice Paths in Polygons

Description: A projective plane tropical curve is a proper immersion of a graph into the real Cartesian plane subject to some conditions such as that the images of all the edges must be lines with rational slopes. Two important combinatorial invariants of a projective plane tropical curve are its degree, d, and genus g. First, we explore Gathmann and Markwig's approach to the study of the moduli spaces of such curves and explain their proof that the number of projective plane tropical curves, counting mult… more
Date: December 2021
Creator: Zhang, Yingyu
open access

Properties of Limit Functions

Description: The purpose of this paper is to investigate properties of functions which are limits of functions with prescribed properties. Chapter II asks the question "Does a function which is the limit of a sequence of functions each of which is endowed with a certain property necessarily have that property?"
Date: December 1972
Creator: Coppin, Anthony M.
open access

Semitopological Groups

Description: This thesis is a study of semitopological groups, a similar but weaker notion than that of topological groups. It is shown that all topological groups are semitopological groups but that the converse is not true. This thesis investigates some of the conditions under which semitopological groups are, in fact, topological groups. It is assumed that the reader is familiar with basic group theory and topology.
Date: December 1971
Creator: Scroggs, Jack David
open access

Completeness Axioms in an Ordered Field

Description: The purpose of this paper was to prove the equivalence of the following completeness axioms. This purpose was carried out by first defining an ordered field and developing some basic theorems relative to it, then proving that lim [(u+u)*]^n = z (where u is the multiplicative identity, z is the additive identity, and * indicates the multiplicative inverse of an element), and finally proving the equivalence of the five axioms.
Date: December 1971
Creator: Carter, Louis Marie
open access

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.
open access

Topological Groups

Description: In the study of groups and topological spaces, the properties of both are often encountered in one system. The following are common examples: groups with discrete topologies, the complex numbers with the usual topology, and matrix groups with metric topologies. The need for a study of how algebraic properties and topological properties affect one another when united and interrelated in one system soon becomes evident. Thus the purpose of this thesis is to study the interrelated group and topolo… more
Date: December 1972
Creator: Haffner, Ophelia Darleen
open access

Separation Properties

Description: The problem with which this paper is concerned is that of investigating a class of topological properties commonly called separation properties. A topological space which satisfies only the definition may be very limited in open sets. By use of the separation properties, specific families of open sets can be guaranteed.
Date: December 1970
Creator: Garvin, Billy Ray
Back to Top of Screen