Related papers: Ultrafilters on metric Spaces
Using the property of being completely Baire, countable dense homogeneity and the perfect set property we will be able, under Martin's Axiom for countable posets, to distinguish non-principal ultrafilters on $\omega$ up to homeomorphism.…
If $\mathcal P$ is a family of filters over some set $I$, a topological space $X$ is \emph{sequencewise $\mathcal P$-\brfrt compact} if, for every $I$-indexed sequence of elements of $X$, there is $F \in \mathcal P$ such that the sequence…
In these expository notes, intended for students without background in point-set topology, we develop the basic theory of the Stone-Cech compactification without reference to open sets, closed sets, filters, or nets. In particular, this…
Let $(S,\cdot)$ be a semigroup and $\mathfrak{m}$ be a $\sigma$-algebra on $S$. We say $(S,\cdot,\mathfrak{m})$ is a measurable semigroup if $\pi:S\times S\longrightarrow S$ by $\pi(x,y)=x\cdot y$ is a measurable function. In this paper ,…
For a given measure space $(X,{\mathscr B},\mu)$ we construct all measure spaces $(Y,{\mathscr C},\lambda)$ in which $(X,{\mathscr B},\mu)$ is embeddable. The construction is modeled on the ultrafilter construction of the Stone--\v{C}ech…
An ultrafilter $p$ on $\omega$ is said to be discrete if, given any function $f\colon \omega \to X$ to any completely regular Hausdorff space, there is an $A \in p$ such that $f(A)$ is discrete. Basic properties of discrete ultrafilters are…
We continue the research of an extension $\widetilde{\mid}$ of the divisibility relation to the Stone-\v Cech compactification $\beta N$. First we prove that ultrafilters we call prime actually possess the algebraic property of primality.…
It is proved that $P(\beta X)=\beta P(X)$ if and only if $P(X)$ is a pseudocompact space, where $P(X)$ is the space of probability Radon measures with weak topology and $\beta X$ is a Stone-Cech extension of the space $X$. A locally compact…
In our paper [18] we showed that a Tychonoff space $X$ is a $\Delta$-space (in the sense of [20], [30]) if and only if the locally convex space $C_{p}(X)$ is distinguished. Continuing this research, we investigate whether the class $\Delta$…
In this work we analyze some topological properties of the remainder $\partial M:=\beta_s^* M\setminus M$ of the semialgebraic Stone-C\v{e}ch compactification $\beta_s^* M$ of a semialgebraic set $M\subset{\mathbb R}^m$ in order to…
To work more accurately with elements of the semigroup of the Stone Cech compactification of the discrete semigroup of natural numbers N under multiplication. We divided these elements into ultrafilters which are on finite levels and…
We study the relations between a generalization of pseudocompactness, named $(\kappa, M)$-pseudocompactness, the countably compactness of subspaces of $\beta \omega$ and the pseudocompactness of their hyperspaces. We show, by assuming the…
Let $G$ be a locally compact group. Then for every $G$-space $X$ the maximal $G$-proximity $\beta_G$ can be characterized by the maximal topological proximity $\beta$ as follows: $$ A \ \overline{\beta_G} \ B \Leftrightarrow \exists V \in…
Let $X$ be the prime spectrum of a ring. In [arXiv:0707.1525] the authors define a topology on $X$ by using ultrafilters and they show that this topology is precisely the constructible topology. In this paper we generalize the construction…
A topological space $X$ is a $\Delta$-space (or $X \in \Delta$) if for any decreasing sequence $\{A_n : n < \omega\}$ of subsets of $X$ with empty intersection there is a (decreasing) sequence $\{U_n : n < \omega\}$ of open sets with empty…
Characterizations of ultrafilters belong to the smallest ideal of Stone-\v{C}ech compactification of a discrete semigroup are exhibited using syndetic sets, strongly central sets and very strongly central sets respectively. These lead to…
Working in Zermelo-Fraenkel Set Theory with Atoms over an $\omega$-categorical $\omega$-stable structure, we show how \emph{infinite} constructions over definable sets can be encoded as \emph{finite} constructions over the Stone-\v{C}ech…
For a coarse space $(X, \mathcal{E})$, $X^\sharp$ denotes the set of all unbounded ultrafilters on $X$ endowed with the parallelity relation: $p||q$ if there exists $E \in \mathcal{E} $ such that $ E[P]\in q $ for each $P\in p$. If $(X,…
If B is an infinite subset of omega and X is a topological group, let C^X_B be the set of all x in X such that <x^n : n in B> converges to 1. If F is a filter of infinite sets, let D^X_F be the union of all the C^X_B for B in F. The C^X_B…
We study ultrafilters from the perspective of the algebra in the \v{C}ech-Stone compactification of the natural numbers, and idempotent elements therein. The first two results that we prove establish that, if $p$ is a Q-point (resp. a…