Compactness and other questions in spaces of uniform measures
Compactness and Tightness in a Space of Measures with the Topology of Weak Convergence.
Compactness as -pseudocompactness
Compactness conditions for semigroups of linear maps.
Compactness in intuitionistic fuzzy topological spaces.
Compactness in Metric Spaces
In this article, we mainly formalize in Mizar [2] the equivalence among a few compactness definitions of metric spaces, norm spaces, and the real line. In the first section, we formalized general topological properties of metric spaces. We discussed openness and closedness of subsets in metric spaces in terms of convergence of element sequences. In the second section, we firstly formalize the definition of sequentially compact, and then discuss the equivalence of compactness, countable compactness,...
Compactness in spaces of uniform measures (Preliminary communication)
Compactness in the First Baire Class and Baire-1 Operators
For a polish space M and a Banach space E let B1 (M, E) be the space of first Baire class functions from M to E, endowed with the pointwise weak topology. We study the compact subsets of B1 (M, E) and show that the fundamental results proved by Rosenthal, Bourgain, Fremlin, Talagrand and Godefroy, in case E = R, also hold true in the general case. For instance: a subset of B1 (M, E) is compact iff it is sequentially (resp. countably) compact, the convex hull of a compact bounded subset of B1 (M,...
Compactness Notions in Fuzzy Neighborhood Spaces.
Compactness of Powers of ω
We characterize exactly the compactness properties of the product of κ copies of the space ω with the discrete topology. The characterization involves uniform ultrafilters, infinitary languages, and the existence of nonstandard elements in elementary extensions. We also have results involving products of possibly uncountable regular cardinals.
Compactness of the hyperplane topology
Compactness of trajectories of dynamical systems in complete uniform spaces
Compactness type properties in topological groups
Compacts de fonctions mesurables et filtres non mesurables
Comparing sets of the Baire space by means of general recursive operators
Comparing measure theoretic entropy for -finite measures with topological entropy
Compatibility of type (P) in modified intuitionistic fuzzy metric space.
Compatible mapping and common fixed points.
Compatible mappings and common fixed points. II.