Completely normal frames and real-valued functions

Up to now point-free insertion results have been obtained only for semicontinuous real functions. Notably, there is now available a setting for dealing with arbitrary, not necessarily (semi-)continuous, point-free real functions, due to Gutiérrez García, Kubiak and Picado, that gives point-free topology the freedom to deal with general real functions only available before to point-set topology. As a first example of the usefulness of that setting, we apply it to characterize completely normal frames in terms of an insertion result for general real functions. This characterization extends a well-known classical result of T. Kubiak about completely normal spaces. In addition, characterizations of completely normal frames that extend results of H. Simmons for topological spaces are presented. In particular, it follows that complete normality is a lattice-invariant property of spaces, correcting an erroneous conclusion in [Y.-M. Wong, Lattice-invariant properties of topological spaces, Proc. Amer. Math. Soc. 26 (1970) 206-208].     

Categorical Geometry and Integration Without Points

The theory of integration over infinite-dimensional spaces is known to encounter serious difficulties. Categorical ideas seem to arise naturally on the path to a remedy. Such an approach was suggested and initiated by Segal in his pioneering article (Segal, Bull Am Math Soc 71:419–489, 1965). In our paper we follow his ideas from a different perspective, slightly more categorical, and strongly inspired by the point-free topology. First, we develop a general (point-free) concept of measurability (extending the standard Lebesgue integration when applying to the classical σ-algebra). Second (and here we have a major difference from the classical theory), we prove that every finite-additive function μ with values in [0,1] can be extended to a measure on an abstract σ-algebra; this correspondence is functorial and yields uniqueness. As an example we show that the Segal space can be characterized by completely canonical data. Furthermore, from our results it follows that a satisfactory point-free integration arises everywhere where we have a finite-additive probability function on a Boolean algebra.     

Reform of the construction of the number system with reference to Gottlob Frege

Due to missing ontological commitments Frege rejected Hilbert’s Fundamentals of Geometry as well as the construction of the system of real numbers by Dedekind and Cantor. Almost all of school mathematics is ontologically committed. Therefore, H.-G. Steiner considered Frege’s viewpoint of mathematics fundamentals, refined by Tarski’s semantics, as suitable for math education. Frege committed numbers ontologically by using measurement to define numbers. He invented the concept of quantitative domain (Größengebiet), which – it is now known by reconstruction of that concept by the New-Fregean Movement – agrees with the concept of quantity domain (Größenbereich) as established in the German reform of the application-oriented construction of the system of real numbers. Concepts of quantity (ratio-scale) and interval-scale in comparative measurement theory – going beyond Frege – show the way how the negative numbers can be ontologically committed and the operations of addition and multiplication can be included. In this work it is shown how Frege’s viewpoint of mathematics fundamentals, as propagated by H.-G. Steiner, can be better implemented in the current construction of the system of real numbers in school.     

Choice-Free Dualities for Domains

A basic tool in domain theory and point-free topology are (Scott) open filters in a partially ordered set. A systematic investigation of that concept shows that central notions and facts like Lawson’s famous self-duality of the category of continuous domains may be established without invoking any choice principles, if only continuous domains are replaced by so-called δ-domains, which coincide with the former in the presence of dependent choices. Many of the conclusions remain valid for the more flexible notion of ζ-domains, comprising important variants such as algebraic or hypercontinuous domains.     

Insights into Dedekind and Weber’s edition of Riemann’s <Emphasis Type="Italic">Gesammelte Werke</Emphasis>

In this paper, I present and analyse Dedekind’s and Weber’s editorial work which led to the edition of Riemann’s Gesammelte Werke in 1876. With several examples, I suggest that this editorial work is to be understood as a mathematical activity in and of itself and provide evidence for it.     

On the formal points of the formal topology of the binary tree

 Formal topology is today an established topic in the development of constructive mathematics and constructive proofs for many classical results of general topology have been obtained by using this approach. Here we analyze one of the main concepts in formal topology, namely, the notion of formal point. We will contrast two classically equivalent definitions of formal points and we will see that from a constructive point of view they are completely different. Indeed, according to the first definition the formal points of the formal topology of the real numbers can be indexed by a set whereas this is not possible according to the second one. Received: 23 May 2000 / Published online: 12 July 2002     

Abstract Logics, Logic Maps, and Logic Homomorphisms

What is a logic? Which properties are preserved by maps between logics? What is the right notion for equivalence of logics? In order to give satisfactory answers we generalize and further develop the topological approach of [4] and present the foundations of a general theory of abstract logics which is based on the abstract concept of a theory. Each abstract logic determines a topology on the set of theories. We develop a theory of logic maps and show in what way they induce (continuous, open) functions on the corresponding topological spaces. We also establish connections to well-known notions such as translations of logics and the satisfaction axiom of institutions [5]. Logic homomorphisms are maps that behave in some sense like continuous functions and preserve more topological structure than logic maps in general. We introduce the notion of a logic isomorphism as a (not necessarily bijective) function on the sets of formulas that induces a homeomorphism between the respective topological spaces and gives rise to an equivalence relation on abstract logics. Therefore, we propose logic isomorphisms as an adequate and precise notion for equivalence of logics. Finally, we compare this concept with another recent proposal presented in [2]. This research was supported by the grant CNPq/FAPESB 350092/2006-0.     

Convergence theorems for λ-strict pseudo-contractions in q-uniformly smooth Banach spaces

In this paper, we continue to discuss the properties of iterates generated by a strict pseudo- contraction or a finite family of strict pseudo-contractions in a real q-uniformly smooth Banach space. The results presented in this paper are interesting extensions and improvements upon those known ones of Marino and Xu [Marino, G., Xu, H. K.： Weak and strong convergence theorems for strict pseudo-contractions in Hilbert spaces. J. Math. Anal. Appl., 324, 336-349 （2007）]. In order to get a strong convergence theorem, we modify the normal Mann＇s iterative algorithm by using a suitable convex combination of a fixed vector and a sequence in C. This result extends a recent result of Kim and Xu [Kim, T. H., Xu, H. K.： Strong convergence of modified Mann iterations. Nonl. Anal., 61, 51- 60 （2005）] both from nonexpansive mappings to λ-strict pseudo-contractions and from Hilbert spaces to q-uniformly smooth Banach spaces.     

The Carathéodory topology for multiply connected domains II

We continue our exposition concerning the Carathéodory topology for multiply connected domains which we began in [Comerford M., The Carathéodory topology for multiply connected domains I, Cent. Eur. J. Math., 2013, 11(2), 322–340] by introducing the notion of boundedness for a family of pointed domains of the same connectivity. The limit of a convergent sequence of n-connected domains which is bounded in this sense is again n-connected and will satisfy the same bounds. We prove a result which establishes several equivalent conditions for boundedness. This allows us to extend the notions of convergence and equicontinuity to families of functions defined on varying domains.     

Stationary distributions of second order stochastic evolution equations with memory in Hilbert spaces

In this paper, we consider stationarity of a class of second-order stochastic evolution equations with memory, driven by Wiener processes or Lévy jump processes, in Hilbert spaces. The strategy is to formulate by reduction some first-order systems in connection with the stochastic equations under investigation. We develop asymptotic behavior of dissipative second-order equations and then apply them to time delay systems through Gearhart–Prüss–Greiner’s theorem. The stationary distribution of the system under consideration is the projection on the first coordinate of the corresponding stationary results of a lift-up stochastic system without delay on some product Hilbert space. Last, two examples of stochastic damped wave equations with memory are presented to illustrate our theory.     

Dedekind sums in function fields

Okada (J Number Theory, 130:1750–1762, 2010) introduced Dedekind sums associated to a certain A-lattice, and established the reciprocity law. In this paper, we introduce Dedekind sums for arbitrary A-lattice and establish the reciprocity law for them. We next introduce higher dimensional Dedekind sums for any A-lattice. These Dedekind sums are analogues of Zagier’s higher dimensional Dedekind sums. We discuss the reciprocity law, rationality and characterization of these sums.     

Differential Algebras with Banach-Algebra Coefficients II: The Operator Cross-Ratio Tau-Function and the Schwarzian Derivative

Several features of an analytic (infinite-dimensional) Grassmannian of (commensurable) subspaces of a Hilbert space were developed in the context of integrable PDEs (KP hierarchy). We extended some of those features when polarized separable Hilbert spaces are generalized to a class of polarized Hilbert modules and then consider the classical Baker and τ-functions as operator-valued. Following from Part I we produce a pre-determinant structure for a class of τ-functions defined in the setting of the similarity class of projections of a certain Banach *-algebra. This structure is explicitly derived from the transition map of a corresponding principal bundle. The determinant of this map leads to an operator τ-function. We extend to this setting the operator cross-ratio which had previously been used to produce the scalar-valued τ-function, as well as the associated notion of a Schwarzian derivative along curves inside the space of similarity classes of a given projection. We link directly this cross-ratio with Fay’s trisecant identity for the τ-function. By restriction to the image of the Krichever map, we use the Schwarzian to introduce the notion of an operator-valued projective structure on a compact Riemann surface: this allows a deformation inside the Grassmannian (as it varies its complex structure). Lastly, we use our identification of the Jacobian of the Riemann surface in terms of extensions of the Burchnall–Chaundy C*-algebra (Part I) provides a link to the study of the KP hierarchy.     

Closed embeddings of Hilbert spaces

Motivated by questions related to embeddings of homogeneous Sobolev spaces and to comparison of function spaces and operator ranges, we introduce the notion of closely embedded Hilbert spaces as an extension of that of continuous embedding of Hilbert spaces. We show that this notion is a special case of that of Hilbert spaces induced by unbounded positive selfadjoint operators that corresponds to kernel operators in the sense of L. Schwartz. Certain canonical representations and characterizations of uniqueness of closed embeddings are obtained. We exemplify these constructions by closed, but not continuous, embeddings of Hilbert spaces of holomorphic functions. An application to the closed embedding of a homogeneous Sobolev space on Rn in L₂(Rn), based on the singular integral operator associated to the Riesz potential, and a comparison to the case of the singular integral operator associated to the Bessel potential are also presented. As a second application we show that a closed embedding of two operator ranges corresponds to absolute continuity, in the sense of T. Ando, of the corresponding kernel operators.     

SMYTH COMPLETENESS IN TERMS OF NETS: THE GENERAL CASE

Abstract

Smyth completeness is the appropriate notion of completeness for quasi-uniform spaces carrying an additional topology to serve as domains of computation [2, 3]. The goal of this paper is to provide a better understanding of Smyth completeness by giving a characterization in terms of nets. We develop the notion of computational Cauchy net and an appropriate notion of strong convergence to get the result that a space is Smyth complete if and only if every computational Cauchy net strongly converges. As we are dealing with typically non-symmetric spaces, this is not an instance of the classical net-filter translation in general topology.     

The extended Cantor–Bendixson analysis of trees

The Hausdorff analysis of chains is an instance of the Cantor–Bendixson analysis of topological spaces. Using the methods of point-free topology I obtain a considerable extension of Hausdorffs methods applicable to all trees.Received January 27, 2004; accepted in final form August 3, 2004.     

On the compact open and finest splitting topologies

In [M.H. Escardo, J. Lawson, A. Simpson, Comparing cartesian closed categories of (core) compactly generated spaces, Topology Appl. 143 (2004) 105-145] it is shown that in the set C(Nω,N) of all continuous maps of Nω into N, where N is an infinitely countable discrete topological space, the compact-open topology is not the finest splitting topology. Since Nω is consonant (see [S. Dolecki, G.H. Greco, A. Lechicki, When do the upper Kuratowski topology (homeomorphically, Scott topology) and the co-compact topology coincide? Trans. Amer. Math. Soc. 347 (1995) 2869-2884]) the Isbell topology on C(Nω,N) also is not the finest splitting topology. This result is generalized in the present paper proving that it is true also for spaces having the so-called Specific Extension Property. The following spaces have the Specific Extension Property: (a) infinitely countable free unions of non-empty spaces, (b) non-compact Lindelöf zero-dimensional spaces, and (c) metric locally convex linear spaces. In particular, we prove that on the set of all real-valued functions on the (separable infinite dimensional) Hilbert space the compact-open topology does not coincide with the finest splitting topology.     

Symplectic nonsqueezing in Hilbert space and discrete Schrödinger equations

We prove a generalization of Gromov’s symplectic nonsqueezing theorem for the case of Hilbert spaces. Our approach is based on filling almost complex Hilbert spaces by complex discs partially extending Gromov’s results on existence of J-complex curves. We apply our result to the flow of the discrete nonlinear Schrödinger equation.     

The maximal coarse Baum–Connes conjecture for spaces which admit a fibred coarse embedding into Hilbert space

We introduce a notion of fibred coarse embedding into Hilbert space for metric spaces, which is a generalization of Gromov?s notion of coarse embedding into Hilbert space. It turns out that a large class of expander graphs admit such an embedding. We show that the maximal coarse Baum–Connes conjecture holds for metric spaces with bounded geometry which admit a fibred coarse embedding into Hilbert space.     

Multidimensional fixed point theorems in partially ordered complete metric spaces

In this paper we propose a notion of coincidence point between mappings in any number of variables and we prove some existence and uniqueness fixed point theorems for nonlinear mappings verifying different kinds of contractive conditions and defined on partially ordered metric spaces. These theorems extend and clarify very recent results that can be found in [T. Gnana-Bhaskar, V. Lakshmikantham, Fixed point theorems in partially ordered metric spaces and applications, Nonlinear Anal. 65 (7)(2006) 1379–1393], [V. Berinde, M. Borcut, Tripled fixed point theorems for contractive type mappings in partially ordered metric spaces, Nonlinear Anal. 74 (2011) 4889–4897] and [M. Berzig, B. Samet, An extension of coupled fixed point’s concept in higher dimension and applications, Comput. Math. Appl. 63 (8) (2012) 1319–1334].