On sequences of finitely supported measures related to the Josefson--Nissenzweig theorem

Abstract

Given a Tychonoff space $X$, we call a sequence $\langleμ_n\colon n\inω\rangle$ of signed Borel measures on $X$ a finitely supported Josefson--Nissenzweig sequence (in short a JN-sequence) if: 1) for every $n\inω$ the measure $μ_n$ is a finite combination of one-point measures and $\|μ_n\|=1$, and 2) $\int_Xf\,\mathrm{d}μ_n\to0$ for every continuous function $f\in C(X)$. Our main result asserts that if a Tychonoff space $X$ admits a JN-sequence, then there exists a JN-sequence $\langleμ_n\colon n\inω\rangle$ such that: i) $\mbox{supp}(μ_n)\cap\mbox{supp}(μ_k)=\emptyset$ for every $n\neq k\inω$, and ii) the union $\bigcup_{n\inω}\mbox{supp}(μ_n)$ is a discrete subset of $X$. We also prove that if a Tychonoff space $X$ carries a JN-sequence, then either there is a JN-sequence $\langleμ_n\colon n\inω\rangle$ on $X$ such that $|\mbox{supp}(μ_n)|=2$ for every $n\inω$, or for every JN-sequence $\langleμ_n\colon n\inω\rangle$ on $X$ we have $\lim_{n\to\infty}|\mbox{supp}(μ_n)|=\infty$.