On abstract and almost-abstract density topologies

We concentrate on topologies generated by lower and almost-lower density operators on measurable spaces. Among others the existence of the smallest in the sense of inclusion abstract density topology on measurable space is investigated. Moreover, the separation axioms for such topologies are studied.     

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.     

Sofic equivalence relations

We introduce the notion of sofic measurable equivalence relations. Using them we prove that Connes' Embedding Conjecture as well as the Measurable Determinant Conjecture of Lück, Sauer and Wegner hold for treeable equivalence relations.     

Weakly measurable cardinals

In this article, we introduce the notion of weakly measurable cardinal, a new large cardinal concept obtained by weakening the familiar concept of a measurable cardinal. Specifically, a cardinal κ is weakly measurable if for any collection $\mathcal {A}$ containing at most κ⁺ many subsets of κ, there exists a nonprincipal κ‐complete filter on κ measuring all sets in $\mathcal {A}$. Every measurable cardinal is weakly measurable, but a weakly measurable cardinal need not be measurable. Moreover, while the GCH cannot fail first at a measurable cardinal, I will show that it can fail first at a weakly measurable cardinal. More generally, if κ is measurable, then we can make its weak measurability indestructible by the forcing Add(κ, η) for any η while forcing the GCH to hold below κ. Nevertheless, I shall prove that weakly measurable cardinals and measurable cardinals are equiconsistent. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Measurable Categories and 2-Groups

Using the theory of measurable categories developed in [10], we provide a notion of representations of 2-groups better suited to physically and geometrically interesting examples than that using 2-VECT (cf. [8]). Using this theory we sketch a 2-categorical approach to the state-sum model for Lorentzian quantum gravity proposed in [6], and suggest state-integral constructions for 4-manifold invariants.     

Expanding topological space,study and applications

In this paper, we introduce the notion of expanding topological space. We define the topological expansion of a topological space via local multi-homeomorphism over coproduct topology, and we prove that the coproduct family associated to any fractal family of topological spaces is expanding. In particular, we prove that the more a topological space expands, the finer the topology of its indexed states is. Using multi-homeomorphisms over associated coproduct topological spaces, we define a locally expandable topological space and we prove that a locally expandable topological space has a topological expansion. Specifically, we prove that the fractal manifold is locally expandable and has a topological expansion.     

Extension of an abstract attainability problem with the use of the stone representation space

We consider an attainability problem in a complete metric space on values of an objective operator h. We assume that the latter admits a uniform approximation by mappings which are tier with respect to a given measurable space with an algebra of sets. Let asymptotic-type constraints be defined as a nonempty family of sets in this measurable space. We treat ultrafilters of the measurable space as generalized elements; we equip this space of ultrafilters with a topology of a zero-dimensional compact (the Stone representation space). On this base we construct a correct extension of the initial problem, realizing the set of attraction in the form of a continuous image of the compact of feasible generalized elements. Generalizing the objective operator, we use the limit with respect to ultrafilters of the measurable space. This provides the continuity of the generalized version of h understood as a mapping of the zero-dimensional compact into the topological space metrizable with a total metric.     

Discrete ordering relations

Discreteness is usually defined in terms of topology. In discrete mathematics, however, it was sometimes felt that other notions of discreteness should be at hand. We propose the notion of discreteness as a fixed point property of a relation. Using relational algebra, we prove formally that a strict discrete ordering possesses a (generalized) Hasse-diagram.     

Metric spaces in synthetic topology

We investigate the relationship between the synthetic approach to topology, in which every set is equipped with an intrinsic topology, and constructive theory of metric spaces. We relate the synthetic notion of compactness of Cantor space to Brouwer’s Fan Principle. We show that the intrinsic and metric topologies of complete separable metric spaces coincide if they do so for Baire space. In Russian Constructivism the match between synthetic and metric topology breaks down, as even a very simple complete totally bounded space fails to be compact, and its topology is strictly finer than the metric topology. In contrast, in Brouwer’s intuitionism synthetic and metric notions of topology and compactness agree.     

关于大经济金融市场

在Aumann大经济框架下，本文给出具有可测空间经纪人的大金融市场模型；讨论了资产结构完全时均衡的存在性；给出了以经纪人代表效用表出形式的金融资产定价公式，它推广[3]中相关内容。模型更贴近于具有对称信息充分竞争的涵义．     

On Prebox Module Topologies

Let R be a complete topological division ring whose topology is determined by a real-valued valuation, and let M be a vector space over R. It is proved that M admits a Hausdorff module topology preceding the box topology in the lattice of all module topologies if and only if the dimension of the vector space M over R is a measurable cardinal.     

豫解核对应的狄氏型是拟正则的一个充分必要条件

本文考查了豫解核所对应的狄氏型在什么情况下是拟正则的。得到了一个充分必要条件。利用这一结果，我们减弱了文献［６］中主要定理的条件。     

半直线伸缩调制框架集

本文研究右半直线平方可积函数空间L^2(R+)中的一类伸缩调制系.实际问题中时间变量不可取负值,L^2(R+)可模拟因果信号空间.但因R+按加法不能作成一个群,它不容许小波与Gabor系.我们研究L^2(R+)中由特征函数生成的伸缩调制系(MD-系)框架,引入了R+中MD-框架集的概念,利用"伸缩等价"与"基数函数"方法刻画了L^2(R+)中MD-Bessel集与完备集;得到了关于MD-Riesz基集的两个充分条件,并证明了通过对MD-Riesz基集进行有限可测分解可得到MD-框架集.     

Convergence of finite volume monotone schemes for scalar conservation laws on bounded domains

Summary. This paper is devoted to the study of the finite volume methods used in the discretization of conservation laws defined on bounded domains. General assumptions are made on the data: the initial condition and the boundary condition are supposed to be measurable bounded functions. Using a generalized notion of solution to the continuous problem (namely the notion of entropy process solution, see [9]) and a uniqueness result on this solution, we prove that the numerical solution converges to the entropy weak solution of the continuous problem in for every . This also yields a new proof of the existence of an entropy weak solution. Received May 18, 2000 / Revised version received November 21, 2000 / Published online June 7, 2001     

Toric Kempf-Ness sets

In the theory of algebraic group actions on affine varieties, the concept of a Kempf-Ness set is used to replace the categorical quotient by the quotient with respect to a maximal compact subgroup. Using recent achievements of “toric topology,” we show that an appropriate notion of a Kempf-Ness set exists for a class of algebraic torus actions on quasiaffine varieties (coordinate subspace arrangement complements) arising in the Batyrev-Cox “geometric invariant theory” approach to toric varieties. We proceed by studying the cohomology of these “toric” Kempf-Ness sets. In the case of projective nonsingular toric varieties the Kempf-Ness sets can be described as complete intersections of real quadrics in a complex space. Published in Russian in Trudy Matematicheskogo Instituta imeni V.A. Steklova, 2008, Vol. 263, pp. 159–172.     

Effective Borel measurability and reducibility of functions

The investigation of computational properties of discontinuous functions is an important concern in computable analysis. One method to deal with this subject is to consider effective variants of Borel measurable functions. We introduce such a notion of Borel computability for single‐valued as well as for multi‐valued functions by a direct effectivization of the classical definition. On Baire space the finite levels of the resulting hierarchy of functions can be characterized using a notion of reducibility for functions and corresponding complete functions. We use this classification and an effective version of a Selection Theorem of Bhattacharya‐Srivastava in order to prove a generalization of the Representation Theorem of Kreitz‐Weihrauch for Borel measurable functions on computable metric spaces: such functions are Borel measurable on a certain finite level, if and only if they admit a realizer on Baire space of the same quality. This Representation Theorem enables us to introduce a realizer reducibility for functions on metric spaces and we can extend the completeness result to this reducibility. Besides being very useful by itself, this reducibility leads to a new and effective proof of the Banach‐Hausdorff‐Lebesgue Theorem which connects Borel measurable functions with the Baire functions. Hence, for certain metric spaces the class of Borel computable functions on a certain level is exactly the class of functions which can be expressed as a limit of a pointwise convergent and computable sequence of functions of the next lower level. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

完全相容稳定模糊谓词转换器

谓词转换器语义是用程序验证技术来定义程序语言的一种方式.为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义. 同时给出它与状态转换器之间的一个保序关系,说明完全相容稳定模糊谓词转换器一定是状态转换器.     

On the generalization of density topologies on the real line

The paper concerns the density points with respect to the sequences of intervals tending to zero in the family of Lebesgue measurable sets. It shows that for some sequences analogue of the Lebesgue density theorem holds. Simultaneously, this paper presents proof of theorem that for any sequence of intervals tending to zero a relevant operator ? _J generates a topology. It is almost but not exactly the same result as in the category aspect presented in [WIERTELAK, R.: A generalization of density topology with respect to category, Real Anal. Exchange 32 (2006/2007), 273–286]. Therefore this paper is a continuation of the previous research concerning similarities and differences between measure and category.     

Simple density topology

We introduce a new topology on the real line generated by the simple density points for measure. We show also that a simple category density point does not lead to a new notion. Supported by research project “Analisi Reale”, Italian PRIN funds Visiting Professor at Facoltà di Economia, Università Federico II, Naples, Italy     

The Density Problem for Unbounded Bergman Operators

The unbounded Bergman operator, the operator of multiplication by on an unbounded open subset of the plane, is considered. We give a complete answer regarding the density problem of unbounded Bergman operators in terms of its equivalence to the problem of bounded point evaluations for the Bergman spaces. Using this equivalence and the notion of Wiener capacity, we obtain simple geometric conditions that classify almost those open subsets of the plane for which the corresponding Bergman operators are densely defined. With the aid of an analytic approach, we are also able to give condition for a large collection of open subsets of the plane for which all the positive integer powers of the corresponding Bergman operators are densely defined. Submitted: December 14, 2001? Revised: January 14, 2001.