Statistical convergence and ideal convergence for sequences of functions

Let I⊂P(N) stand for an ideal containing finite sets. We discuss various kinds of statistical convergence and I-convergence for sequences of functions with values in R or in a metric space. For real valued measurable functions defined on a measure space (X,M,μ), we obtain a statistical version of the Egorov theorem (when μ(X)<∞). We show that, in its assertion, equi-statistical convergence on a big set cannot be replaced by uniform statistical convergence. Also, we consider statistical convergence in measure and I-convergence in measure, with some consequences of the Riesz theorem. We prove that outer and inner statistical convergences in measure (for sequences of measurable functions) are equivalent if the measure is finite.     

Convergence in measure with respect to a matrix-valued measure and some matrix completion problems

For a matrix-valued measure M we introduce a notion of convergence in measure M, which generalizes the notion of convergence in measure with respect to a scalar measure and takes into account the matrix structure of M. Let S be a subset of the set of matrices of given size. It is easy to see that the set of S-valued measurable functions is closed under convergence in measure with respect to a matrix-valued measure if and only if S is a ρ-closed set, i.e. if and only if SP is closed for any orthoprojector P. We discuss the behaviour of ρ-closed sets under operations of linear algebra and the ρ-closedness of particular classes of matrices.     

Generalized notion of a trace for von Neumann algebras

On a von Neumann algebra M, we consider traces with values in the algebra L ⁰ of measurable complex-valued functions. We show that every faithful normal L ⁰-valued trace on M generates an L ⁰-valued metric on the algebra of measurable operators that are affiliated with M. Moreover, convergence in this metric coincides with local convergence in measure.     

The t-median function on graphs

A median of a sequence π=x₁,x₂,…,x_k of elements of a finite metric space (X,d) is an element x for which is minimum. The function M with domain the set of all finite sequences on X and defined by M(π)={x:x is a median of π} is called the median function on X, and is one of the most studied consensus functions. Based on previous characterizations of median sets M(π), a generalization of the median function is introduced and studied on various graphs and ordered sets. In addition, new results are presented for median graphs.     

The parametrized family of metric Mahler measures

Let M(α) denote the (logarithmic) Mahler measure of the algebraic number α. Dubickas and Smyth, and later Fili and the author, examined metric versions of M. The author generalized these constructions in order to associate, to each point in t∈(0,∞], a metric version Mt of the Mahler measure, each having a triangle inequality of a different strength. We further examine the functions Mt, using them to present an equivalent form of Lehmer?s conjecture. We show that the function t?Mtt(α) is constructed piecewise from certain sums of exponential functions. We pose a conjecture that, if true, enables us to graph t?Mt(α) for rational α.     

On the density of the space of continuous and uniformly continuous functions

For X a metrizable space and (Y,ρ) a metric space, with Y pathwise connected, we compute the density of (C(X,(Y,ρ)),σ)—the space of all continuous functions from X to (Y,ρ), endowed with the supremum metric σ. Also, for (X,d) a metric space and (Y,‖⋅‖) a normed space, we compute the density of (UC((X,d),(Y,ρ)),σ) (the space of all uniformly continuous functions from (X,d) to (Y,ρ), where ρ is the metric induced on Y by ‖⋅‖). We also prove that the latter result extends only partially to the case where (Y,ρ) is an arbitrary pathwise connected metric space.To carry such an investigation out, the notions of generalized compact and generalized totally bounded metric space, introduced by the author and A. Barbati in a former paper, turn out to play a crucial rôle. Moreover, we show that the first-mentioned concept provides a precise characterization of those metrizable spaces which attain their extent.     

Strongly e-movable convergence and spaces of ANR's

Let X be a metric space and let ANR(X) denote the hyperspace of all compact ANR's in X. This paper introduces a notion of a strongly e-movable convergence for sequences in ANR(X) and proves several characterizations of strongly e-movable convergence. For a (complete) separable metric space X we show that ANR(X) with the topology induced by strongly e-movable convergence can be metrized as a (complete) separable metric space. Moreover, if X is a finite-dimensional compactum, then strongly e-movable convergence induces on ANR(X) the same topology as that induced by Borsuk's homotopy metric.For a separable Q-manifold M, ANR(M) is locally arcwise connected and A, B ? ANR(M) can be joined by an arc in ANR(M) iff there is a simple homotopy equivalence ?: A → B homotopic to the inclusion of A into M.     

Banach function subspaces of L of a vector measure and related Orlicz spaces

Given a vector measure ν with values in a Banach space X, we consider the space L¹(ν) of real functions which are integrable with respect to ν. We prove that every order continuous Banach function space Y continuously contained in L¹(ν) is generated via a certain positive map related to ν and defined on X* x M, where X* is the dual space of X and M the space of measurable functions. This procedure provides a way of defining Orlicz spaces with respect to the vector measure ν.     

On the fundamental convergence in the (C) mean in problems of information fusion

The Choquet integral can be regarded as one of aggregation operators being used in information fusion. In this study, we offer an interpretation of sequences of measurable functions and the Choquet integral in the framework of information fusion. Based on an efficiency measure space, we also define a new concept of a fundamental convergence in the (C) mean of sequences of measurable functions and discuss its theoretical underpinnings along with related interpretation issues as well as deliver some new results. Furthermore, an application of this concept is discussed in the context of information fusion. More specifically, based on the theoretical investigations, this idea is applied to the determination of a measurable function being used in the Choquet integral.     

Uniformly contractive semigroups and submarkovian semigroups (I)

Let (M, ℱ,d, x) be a σ-finite measure space with a σ-field ℱ countably generated. We call a linear mapT uniformly contractive if which maps measurable functions onM to measurable functions and If a linear mapT which maps measurable functions onM to measurable functions has positivity property, namely,Tf≧0 forf≧0, we call it a submarkovian operator. In this article we prove     

Two valued measure and summability of double sequences in asymmetric context

We extend the ideas of convergence and Cauchy condition of double sequences extended by a two valued measure (called ??-statistical convergence/Cauchy condition and convergence/Cauchy condition in ??-density, studied for real numbers in our recent paper [7]) to a very general structure like an asymmetric (quasi) metric space. In this context it should be noted that the above convergence ideas naturally extend the idea of statistical convergence of double sequences studied by Móricz [15] and Mursaleen and Edely [17]. We also apply the same methods to introduce, for the first time, certain ideas of divergence of double sequences in these abstract spaces. The asymmetry (or rather, absence of symmetry) of asymmetric metric spaces not only makes the whole treatment different from the real case [7] but at the same time, like [3], shows that symmetry is not essential for any result of [7] and in certain cases to get the results, we can replace symmetry by a genuinely asymmetric condition called (AMA).     

Smooth metric measure spaces with weighted Poincaré inequality

In this paper, we study smooth metric measure space (M, g, e ^?f dv) satisfying a weighted Poincaré inequality and establish a rigidity theorem for such a space under a suitable Bakry–Émery curvature lower bound. We also consider the space of f-harmonic functions with finite energy and prove a structure theorem.     

Luzin measurability of Carathéodory type mappings

A topological space X is said to have the Scorza-Dragoni property if the following property holds: For every metric space Y and every Radon measure space (T,μ), any Carathéodory function is Luzin measurable, i.e., given ε>0, there is a compact set K in T with μ(T?K)?ε such that the mapping is continuous. We present a selection of spaces without the Scorza-Dragoni property, among which there are first countable hereditarily separable and hereditarily Lindelöf compact spaces, separable Moore spaces and even countable k-spaces. In the positive direction, it is shown that every space which is an ℵ₀-space and kR-space has the Scorza-Dragoni property. We also prove that every separately continuous mapping , where Y is a metric space, is Luzin measurable, provided the space X is strongly functionally generated by a countable collection of its bounded subsets. If Martin's Axiom is assumed then all metric spaces of density less than c, and all pseudocompact spaces of cardinality less than c, have the Scorza-Dragoni property with respect to every separable Radon measure μ. Finally, the class of countable spaces with the Scorza-Dragoni property is closely examined.     

Fragmentability of groups and metric-valued function spaces

Let (X,τ) be a topological space and let ρ be a metric defined on X. We shall say that (X,τ) is fragmented by ρ if whenever ε>0 and A is a nonempty subset of X there is a τ-open set U such that U∩A≠∅ and ρ−diam(U∩A)<ε. In this paper we consider the notion of fragmentability, and its generalisation σ-fragmentability, in the setting of topological groups and metric-valued function spaces. We show that in the presence of Baireness fragmentability of a topological group is very close to metrizability of that group. We also show that for a compact Hausdorff space X, σ-fragmentability of (C(X),‖⋅_‖∞) implies that the space Cp(X;M) of all continuous functions from X into a metric space M, endowed with the topology of pointwise convergence on X, is fragmented by a metric whose topology is at least as strong as the uniform topology on C(X;M). The primary tool used is that of topological games.     

Mapping properties that preserve convergence in measure on finite measure spaces

Given a finite measure space (X,M,μ) and given metric spaces Y and Z, we prove that if is a sequence of arbitrary mappings that converges in outer measure to an M-measurable mapping and if is a mapping that is continuous at each point of the image of f, then the sequence g○fn converges in outer measure to g○f. We must use convergence in outer measure, as opposed to (pure) convergence in measure, because of certain set-theoretic difficulties that arise when one deals with nonseparably valued measurable mappings. We review the nature of these difficulties in order to give appropriate motivation for the stated result.     

On the m order difference sequence space of generalized weighted mean and compact operators

In this article, using generalized weighted mean and difference matrix of order m, we introduce the paranormed sequence space ?(u, v, p; Δ^(m)), which consist of the sequences whose generalized weighted Δ^(m)-difference means are in the linear space ?(p) defined by I.J. Maddox. Also, we determine the basis of this space and compute its α-, β- and γ-duals. Further, we give the characterization of the classes of matrix mappings from ?(u, v, p, Δ^(m)) to ?_∞, c and c₀. Finally, we apply the Hausdorff measure of noncompacness to characterize some classes of compact operators given by matrices on the space ?_p(u, v, Δ^(m))(1 ≤ p < ∞).     

On the space of measurable functions and its topology determined by the Choquet integral

Let (X,A,μ) be a finite nonadditive measure space and M be the set of all finite measurable functions on X. The topology on M, which is determined by the Choquet integral with respect to μ, is investigated. The relationship between this topology and the one determined by the Sugeno integral is examined. Some interesting examples are included.     

On a subspace metric based on matrix rank

The metric between subspaces M,N⊆C_n,1, defined by δ(M,N)=rk(P_M-P_N), where rk(·) denotes rank of a matrix argument and P_M and P_N are the orthogonal projectors onto the subspaces M and N, respectively, is investigated. Such a metric takes integer values only and is not induced by any vector norm. By exploiting partitioned representations of the projectors, several features of the metric δ(M,N) are identified. It turns out that the metric enjoys several properties possessed also by other measures used to characterize subspaces, such as distance (also called gap), Frobenius distance, direct distance, angle, or minimal angle.     

Complete systems, elementary submodels and the tightness of upper hyperspaces

We introduce and study some completeness properties for systems of open coverings of a given topological space. A Hausdorff space admitting a system of cardinality κ satisfying one of these properties is of type Gκ. Hence, we define several new variants of the ?ech number and use elementary submodels to determine further results. We introduce M-hulls and M-networks, for M elementary submodel. As an application, we give estimates for both the tightness and the Lindelöf number of a generic upper hyperspace. Two recent results of Costantini, Holá and Vitolo on the tightness of co-compact hyperspaces follow from ours as corollaries.     

Young Measures as Measurable Functions and Their Applications to Variational Problems

In this paper, we give a systematic exposition of our approach to the Young measure theory. This approach is based on characterzation of these objects as measurable functions into a compact metric space with a metric of integral form. We explain advantages of this approach in the study of the behavior of integral functionals on weakly convergent sequences. Bibliography: 38 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 310, 2004, pp. 191–212.