In this paper we study the concept of cotopology in the areas of cocon·tinuous functions and cocompact spaces. Initially we investigate and provide needed results concerning closed bases for a topological space. We then study cocontinuous functions by relating them to various other weaker forms of continuous functions, namely c-continuous, almost continuous and weakly continuous. We show that if (Y,U) is locally compact T₂, then f:(X,T)-->(Y,U) is cocontinuous if and only if f⁻¹(0) ε T for every 0 ε U such that (Y - 0) is compact. We note that every almost continuous function is cocontinuous, and we provide conditions under which a weakly continuous function is cocontinuous. We also show that a cocontinuous function from a saturated space to a regular space is continuous. In the area of cocompact spaces we first provide a partial answer to a question of J. M. Aarts as to when the union of cocompact subsets of a space is cocompact. We show that the union of a closed cocompact subset and a closed compact subset is cocompact. We then introduce the properties, locally cocompact and somewhere cocompact, and relate them to property L which was introduced by R. McCoy. We show that every somewhere cocompact regular space has property L, and that every locally cocompact regular space has property L locally. We provide examples to show that neither cocompact nor locally cocompact is equivalent to property L. / Ph. D.

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.

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 continuous functions 𝑓ₙ. Since 𝑤 is a contraction map in the compact metric space 𝐹(𝑋), 𝑤 has a unique fixed point. Hence, these iterations converge to the fixed point-which turns out to be the graph of our continuous, nowhere-differentiable function 𝑓. Chapter 2 contains the background we will need to engage our task. Chapter 3 includes two results from the Baire Category Theorem. The first is the well known fact that the set of continuous, nowhere-differentiable functions on [0,1] is a residual set in 𝐶[0,1]. The second fact is that the set of continuous functions on [0,1] which have a dense set of proper local extrema is residual in 𝐶[0,1]. In the fourth and last chapter we actually construct our function and prove it is continuous, nowhere-differentiable and has a dense set of proper local extrema. Lastly we iterate the set {(0,0), (1,1)} under 𝑤 and plot its points. Any terms not defined in Chapters 2 through 4 may be found in [2,4]. The same applies to the basic properties of metric spaces which have not been explicitly stated. Throughout, we will let 𝒩 and 𝕽 denote the natural numbers and the real numbers, respectively.

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.

We study ideals of pointfree function rings. In particular, we study the lattices of z-ideals and d-ideals of the ring RL of continuous real-valued functions on a completely regular frame L. We show that the lattice of z-ideals is a coherently normal Yosida frame; and the lattice of d-ideals is a coherently normal frame. The lattice of z-ideals is demonstrated to be atly projectable if and only if the ring RL is feebly Baer. On the other hand, the frame of d-ideals is projectable precisely when the frame is cozero-complemented. These ideals give rise to two functors as follows: Sending a frame to the lattice of these ideals is a functorial assignment. We construct a natural transformation between the functors that arise from these assignments. We show that, for a certain collection of frame maps, the functor associated with z-ideals preserves and re ects the property of having a left adjoint. A ring is called a UMP-ring if every maximal ideal in it is the union of the minimal prime ideals it contains. In the penultimate chapter we give several characterisations for the ring RL to be a UMP-ring. We observe, in passing, that if a UMP ring is a Q-algebra, then each of its ideals when viewed as a ring in its own right is a UMP-ring. An example is provided to show that the converse fails. Finally, piggybacking on results in classical rings of continuous functions, we show that, exactly as in C(X), nth roots exist in RL. This is a consequence of an earlier proposition that every reduced f-ring with bounded inversion is the ring of fractions of its bounded part relative to those elements in the bounded part which are units in the bigger ring. We close with a result showing that the frame of open sets of the structure space of RL is isomorphic to L. / Mathematical Sciences / Mathematics / D.Phil. (Mathematics)

We study ideals of pointfree function rings. In particular, we study the lattices of z-ideals and d-ideals of the ring RL of continuous real-valued functions on a completely regular frame L. We show that the lattice of z-ideals is a coherently normal Yosida frame; and the lattice of d-ideals is a coherently normal frame. The lattice of z-ideals is demonstrated to be atly projectable if and only if the ring RL is feebly Baer. On the other hand, the frame of d-ideals is projectable precisely when the frame is cozero-complemented. These ideals give rise to two functors as follows: Sending a frame to the lattice of these ideals is a functorial assignment. We construct a natural transformation between the functors that arise from these assignments. We show that, for a certain collection of frame maps, the functor associated with z-ideals preserves and re ects the property of having a left adjoint. A ring is called a UMP-ring if every maximal ideal in it is the union of the minimal prime ideals it contains. In the penultimate chapter we give several characterisations for the ring RL to be a UMP-ring. We observe, in passing, that if a UMP ring is a Q-algebra, then each of its ideals when viewed as a ring in its own right is a UMP-ring. An example is provided to show that the converse fails. Finally, piggybacking on results in classical rings of continuous functions, we show that, exactly as in C(X), nth roots exist in RL. This is a consequence of an earlier proposition that every reduced f-ring with bounded inversion is the ring of fractions of its bounded part relative to those elements in the bounded part which are units in the bigger ring. We close with a result showing that the frame of open sets of the structure space of RL is isomorphic to L. / Mathematical Sciences / D.Phil. (Mathematics)

Orientador: Eduardo Sebastiani Ferreira / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-12T16:45:36Z (GMT). No. of bitstreams: 1 Nascimento_CarlosOciranSilva_M.pdf: 1149568 bytes, checksum: 55e0d949e2788fe967b2b439442bc9f1 (MD5) Previous issue date: 2008 / Resumo: Este trabalho é voltado para a área de História da Matemática, notadamente a do século XIX, tendo como um dos objetivos, fornecer material para o ensino de Cálculo e História da matemática, tomando como base o resgate da vida e obra do matemático maranhense Joaquim Gomes de Souza, com foco em uma de suas proposições, a saber: Redução de Funções Descontínuas à Forma de Funções Contínuas. Tal resultado tem relação direta com a série de Fourier, convergência de séries, continuidade, derivada, culminando com o exemplo de função contínua sem derivada de Weierstrass. Constitui-se, dessa forma, material com o fim de auxiliar pesquisadores, professores e alunos nessas disciplinas. / Abstract: This work belongs to the area of History of Mathematics, especially to the one of the nineteenth century, with the main objective of providing educational materials for the teaching of Calculus and History of the mathematics, recovering the life and work of the mathematician from Maranhão, Joaquim Gomes de Souza, with a focus on one of their propositions, namely: Reduction of discontinuous Functions to the form of Continuous Functions. This result is related has directey with the convergence of series, continuity, derivative, culminating with the example of continuous function without derivative of the Weierstrass. constituting, this way, material to support researchers, teachers and students in this discipline. / Mestrado / Historia da Matematica / Mestre em Matemática

Robbins' problem is an optimal stopping problem where one seeks to minimize the expected rank of their observations among all observations. We examine random walk analogs to Robbins' problem in both discrete and continuous time. In discrete time, we consider full information and relative ranks versions of this problem. For three step walks, we give the optimal stopping rule and the expected rank for both versions. We also give asymptotic upper bounds for the expected rank in discrete time. Finally, we give upper and lower bounds for the expected rank in continuous time, and we show that the expected rank in the continuous time problem is at least as large as the normalized asymptotic expected rank in the full information discrete time version.