Compact-like properties in hyperspaces
Compactly generated shape theories
Compactness and convergence of set-valued measures
We prove criteria for relative compactness in the space of set-valued measures whose values are compact convex sets in a Banach space, and we generalize to set-valued measures the famous theorem of Dieudonné on convergence of real non-negative regular measures.
Compactness and countable compactness in weak topologies
A bounded closed convex set K in a Banach space X is said to have quasi-normal structure if each bounded closed convex subset H of K for which diam(H) > 0 contains a point u for which ∥u-x∥ < diam(H) for each x ∈ H. It is shown that if the convex sets on the unit sphere in X satisfy this condition (which is much weaker than the assumption that convex sets on the unit sphere are separable), then relative to various weak topologies, the unit ball in X is compact whenever it is countably compact....
Compactness and extreme points of the set of quasi-measure extensions of a quasi-measure [Book]
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