On Expansive Mappings

When finding an original proof to a known result describing expansive mappings on compact metric spaces as surjective isometries, we reveal that relaxing the condition of compactness to total boundedness preserves the isometry property and nearly that of surjectivity. While a counterexample is found showing that the converse to the above descriptions do not hold, we are able to characterize boundedness in terms of specific expansions we call anticontractions.

Monotonicity and total boundedness in spaces of “measurable” functions

We define and study the moduli

On completion in the category SSNσFrm

We introduce the category SSN σ Frm of super strong nearness σ-frames and show the existence of a completion for a super strong nearness σ-frame unique up to isomorphism by the similar construction presented in [WALTERS-WAYLAND, J. L.: Completeness and Nearly Fine Uniform Frames. PhD Thesis, Univ. Catholique de Louvain, 1996] and [WALTERS-WAYLAND, J. L.: A Shirota Theorem for frames, Appl. Categ. Structures 7 (1999), 271–277]. Completion is also shown to be a coreflection in SSN σ Frm. We also engage with the notion of total boundedness for nearness σ-frames and provide a characterization of the Samuel compactification of a nearness σ-frame alternative to the description in [NAIDOO, I.: Samuel compactification and uniform coreflection of nearness σ-frames, Czechoslovak Math. J. 56(131) (2006), 1229–1241].

Subcontinuity

We give interesting characterizations using subcontinuity. Let X, Y be topological spaces. We study subcontinuity of multifunctions from X to Y and its relations to local compactness, local total boundedness and upper semicontinuity. If Y is regular, then F is subcontinuous iff $$\bar F$$ is USCO. A uniform space Y is complete iff for every topological space X and for every net {F a}, F a ⊂ X × Y, of multifunctions subcontinuous at x ∈ X, uniformly convergent to F, F is subcontinuous at x. A Tychonoff space Y is Čech-complete (resp. G m-space) iff for every topological space X and every multifunction F ⊂ X × Y the set of points of subcontinuity of F is a G δ-subset (resp. G m-subset) of X.