English
Related papers

Related papers: Ultrafilters on metric Spaces

200 papers

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.…

General Topology · Mathematics 2019-12-11 Andrea Medini , David Milovich

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…

General Topology · Mathematics 2016-08-30 Paolo Lipparini

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…

General Topology · Mathematics 2012-09-14 Michael Shulman

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 ,…

Functional Analysis · Mathematics 2019-05-07 A. Pashapournia , M. Akbari Tootkaboni , D. Ebrahimbagha

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…

General Topology · Mathematics 2014-02-26 M. R. Koushesh

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…

General Topology · Mathematics 2022-08-18 Anastasiya Groznova , Ol'ga Sipacheva

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.…

Logic · Mathematics 2019-10-03 Boris Šobot

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…

General Topology · Mathematics 2024-12-17 E. A. Reznichenko

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$…

General Topology · Mathematics 2021-04-22 Jerzy Kakol , Arkady Leiderman

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…

Algebraic Geometry · Mathematics 2015-03-27 José F. Fernando , J. M. Gamboa

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…

General Topology · Mathematics 2022-08-19 Salahddeen Khalifa

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…

General Topology · Mathematics 2019-04-15 Y. F. Ortiz-Castillo , V. O. Rodrigues , A. H. Tomita

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…

General Topology · Mathematics 2022-02-01 Michael Megrelishvili

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…

Commutative Algebra · Mathematics 2013-09-23 Carmelo A. Finocchiaro

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…

General Topology · Mathematics 2025-10-07 I. Juhász , J. van Mill , L. Soukup , Z. Szentmiklóssy

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…

General Topology · Mathematics 2025-11-18 Ujjal Kumar Hom , Manoranjan Singha

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…

Logic in Computer Science · Computer Science 2024-02-13 Michał R. Przybyłek

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,…

General Topology · Mathematics 2020-04-27 Igor Protasov

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…

General Topology · Mathematics 2007-05-23 Joan E. Hart , Kenneth Kunen

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…