Return to Question

While trying to solve an open problem which I formulated earlier (currently "conjecture 1857" in this file), I meet the following problem:

Let $\Delta_{\geq}+\alpha$ be the filter on $\mathbb{R}$ generated by the base $\mathopen[\alpha;\alpha+\epsilon\mathclose[$ where $\epsilon>0$.

Let $X$ be a set of negative numbers having zero as a limit point (that is $X$ has points arbitrarily near to zero).

Question Is $\bigcap_{\alpha\in X}(\Delta_{\geq}+\alpha)$ necessarily a subset of $\uparrow\mathopen]\alpha-\delta;\alpha\mathclose[$ for some $\delta>0$? ($\uparrow K$ denotes the principal filter generated by set $K$.)

While trying to solve an open problem which I formulated earlier (currently "conjecture 1857" in this file), I met the following problem:

Let $\Delta_{\geq}+\alpha$ be the filter on $\mathbb{R}$ generated by the base $\mathopen[\alpha;\alpha+\epsilon\mathclose[$ where $\epsilon>0$.

Let $X$ be a set of negative numbers having zero as a limit point (that is $X$ has points arbitrarily near to zero).

Question Is $\bigcap_{\alpha\in X}(\Delta_{\geq}+\alpha)$ necessarily a subset of $\uparrow\mathopen]\alpha-\delta;\alpha\mathclose[$ for some $\delta>0$? ($\uparrow K$ denotes the principal filter generated by set $K$.)

While trying to solve an open problem which I formulated earlier (currently "conjecture 1857" in this file), I meet the following problem:

Let $\Delta_{\geq}+\alpha$ be the filter on $\mathbb{R}$ generated by the base $\mathopen[\alpha;\alpha+\epsilon\mathclose[$ where $\epsilon>0$.

Let $X$ be a set of negative numbers having zero as a limit point (that is $X$ has points arbitrarily near to zero).

Question Is $\bigcap_{\alpha\in X}(\Delta_{\geq}+\alpha)$ necessarily a subset of $\uparrow\mathopen]\alpha-\delta;\alpha\mathclose[$ for some $\delta>0$? ($\uparrow K$ denotes the principal filter generated by set $K$.)

Or maybe $\bigcap_{\alpha\in X}(\Delta_{\geq}+\alpha)$ is the improper filter?

While trying to solve an open problem which I formulated earlier (currently "conjecture 1857" in this file), I meet the following problem:

Let $\Delta_{\geq}+\alpha$ be the filter on $\mathbb{R}$ generated by the base $\mathopen[\alpha;\alpha+\epsilon\mathclose[$ where $\epsilon>0$.

Let $X$ be a set of negative numbers having zero as a limit point (that is $X$ has points arbitrarily near to zero).

Question Is $\bigcap_{\alpha\in X}(\Delta_{\geq}+\alpha)$ necessarily a subset of $\uparrow\mathopen]\alpha-\delta;\alpha\mathclose[$ for some $\delta>0$? ($\uparrow K$ denotes the principal filter generated by set $K$.)

While trying to solve an open problem which I formulated earlier (currently "conjecture 1857" in this file), I meet the following problem:

Let $\Delta_{\geq}+\alpha$ be the filter on $\mathbb{R}$ generated by the base $\mathopen[\alpha;\alpha+\epsilon\mathclose[$ where $\epsilon>0$.

Let $X$ be a set of negative numbers having zero as a limit point (that is $X$ has points arbitrarily near to zero).

Question Is $\bigcap_{\alpha\in X}(\Delta_{\geq}+\alpha)$ necessarily a subset of $\uparrow\mathopen]\alpha-\delta;\alpha\mathclose[$ for some $\delta>0$? ($\uparrow K$ denotes the principal filter generated by set $K$.)

While trying to solve an open problem which I formulated earlier (currently "conjecture 1857" in this file), I meet the following problem:

Let $\Delta_{\geq}+\alpha$ be the filter on $\mathbb{R}$ generated by the base $\mathopen[\alpha;\alpha+\epsilon\mathclose[$ where $\epsilon>0$.

Let $X$ be a set of negative numbers having zero as a limit point (that is $X$ has points arbitrarily near to zero).

Question Is $\bigcap_{\alpha\in X}(\Delta_{\geq}+\alpha)$ necessarily a subset of $\uparrow\mathopen]\alpha-\delta;\alpha\mathclose[$ for some $\delta>0$? ($\uparrow K$ denotes the principal filter generated by set $K$.)

Or maybe $\bigcap_{\alpha\in X}(\Delta_{\geq}+\alpha)$ is the improper filter?