Related papers: Nonstandard Analysis in Topology: Nonstandard and …
We generalize the dual notions of "expansion" and "collapse" so they can be applied to arbitrary metric spaces. We also expand the theory to allow for infinitely many such moves. Those tools are then employed to prove a variety of…
We examine conditions on a (compact metrizable) space $X$ such that for any space $Y$ and closed subspace $Z$, the set of continuous functions from $Z$ to $X$ which extend to $Y$ is either open or closed in the set of continuous functions…
We study the topological structure of the space $\mathcal{X}$ of isomorphism classes of metric measure spaces equipped with the box or concentration topologies. We consider the scale-change action of the multiplicative group $\mathbb{R}_+$…
We first prove a version of Tietze-Urysohn's theorem for proper functions taking values in non-negative real numbers defined on $\sigma$-compact locally compact Hausdorff spaces. As its application, we prove an extension theorem of proper…
We discuss the topology of the symmetry groups appearing in compactified (super-)gravity, and discuss two applications. First, we demonstrate that for 3 dimensional sigma models on a symmetric space G/H with G non-compact and H the maximal…
In this paper the weak topology on a normed space is studied from the viewpoint of infinite-dimensional topology. Besides the weak topology on a normed space $X$ (coinciding with the topology of uniform convergence on finite subsets of the…
It is a long-standing problem in Hodge theory to generalize the Satake--Baily--Borel (SBB) compactification of a locally Hermitian symmetric space to arbitrary period maps. A proper topological SBB-type completion has been constructed, and…
Topological dynamical systems $(X,T)$ are actions $T \times X \to X$, given as $(t, x) \to tx$, on a compact, Hausdorff topological space $X$ with $T$ as an acting group or monoid. We take up the property of topological transitivity…
These notes are concerned with the existence and the basic properties of the set-theoretic universes for nonstandard analysis, compiled by a beginner in the subject. It assumes a basic background in first-order logic, though the necessary…
A Tychonoff space $X$ is called $\kappa$-pseudocompact if for every continuous mapping $f$ of $X$ into $\mathbb{R}^\kappa$ the image $f(X)$ is compact. This notion generalizes pseudocompactness and gives a stratification of spaces lying…
A space $Y$ is called an {\em extension} of a space $X$ if $Y$ contains $X$ as a dense subspace. Two extensions of $X$ are said to be {\em equivalent} if there is a homeomorphism between them which fixes $X$ point-wise. For two (equivalence…
We consider the locally measure topology $t(\mathcal{M})$ on the *-algebra $LS(\mathcal{M})$ of all locally measurable operators affiliated with a von Neumann algebra $\mathcal{M}$. We prove that $t(\mathcal{M})$ coincides with the…
We investigate a simple class of type II string compactifications which incorporate nongeometric "fluxes" in addition to "geometric flux" and the usual H-field and R-R fluxes. These compactifications are nongeometric analogues of the…
Lattice discretizations of continuous manifolds are common tools used in a variety of physical contexts. Conventional discrete approximations, however, cannot capture all aspects of the original manifold, notably its topology. In this paper…
A stratified pseudomanifold is normal if its links are connected. A normalization of a stratified pseudomanifold $X$ is a normal stratified pseudomanifold $Y$ together with a finite-to-one projection $n:Y\to X$ satisfying a local condition…
We investigate asymmetric orbifold models constructed from non-supersymmetric heterotic strings. We systematically classify the asymmetric orbifold models with standard embeddings and present a list of asymmetric orbifolds which are…
In this work we describe horofunction compactifications of metric spaces and finite dimensional real vector spaces through asymmetric metrics and asymmetric polyhedral norms by means of nonstandard methods, that is, ultrapowers of the…
The $G_\delta$-modification $X_\delta$ of a topological space $X$ is the space on the same underlying set generated by, i.e. having as a basis, the collection of all $G_\delta$ subsets of $X$. Bella and Spadaro recently investigated the…
The S-measure construction from nonstandard analysis is used to prove an extension of a result on the intersection of sets in a finitely-additive measure space. This is then used to give a density-limit version of a representation theorem…
We consider the union of certain irreducible components of cohomological support loci of the canonical bundle, which we call standard. We prove a structure theorem about them and single out some particular cases, recovering and improving…