Showing 1–2 of 2 results for author: Orhan, C
-
On generalized limits and ultrafilters
Authors:
Paolo Leonetti,
Cihan Orhan
Abstract:
Given an ideal $\mathcal{I}$ on $ω$, we denote by $\mathrm{SL}(\mathcal{I})$ the family of positive normalized linear functionals on $\ell_\infty$ which assign value $0$ to all characteristic sequences of sets in $\mathcal{I}$. We show that every element of $\mathrm{SL}(\mathcal{I})$ is a Choquet average of certain ultrafilter limit functionals. Also, we prove that the diameter of…
▽ More
Given an ideal $\mathcal{I}$ on $ω$, we denote by $\mathrm{SL}(\mathcal{I})$ the family of positive normalized linear functionals on $\ell_\infty$ which assign value $0$ to all characteristic sequences of sets in $\mathcal{I}$. We show that every element of $\mathrm{SL}(\mathcal{I})$ is a Choquet average of certain ultrafilter limit functionals. Also, we prove that the diameter of $\mathrm{SL}(\mathcal{I})$ is $2$ if and only if $\mathcal{I}$ is not maximal, and that the latter claim can be considerably strengthened if $\mathcal{I}$ is meager. Lastly, we provide several applications: for instance, recovering a result of Freedman in [Bull. Lond. Math. Soc. 13 (1981), 224--228], we show that the family of bounded sequences for which all functionals in $\mathrm{SL}(\mathcal{I})$ assign the same value coincides with the closed vector space of bounded $\mathcal{I}$-convergent sequences.
△ Less
Submitted 29 May, 2025;
originally announced May 2025.
-
On some locally convex FK spaces
Authors:
Paolo Leonetti,
Cihan Orhan
Abstract:
We provide necessary and/or sufficient conditions on vector spaces $V$ of real sequences to be a Fréchet space such that each coordinate map is continuous, that is, to be a locally convex FK space.
In particular, we show that if $c_{00}(\mathcal{I})\subseteq V\subseteq \ell_\infty(\mathcal{I})$ for some ideal $\mathcal{I}$ on $ω$, then $V$ is a locally convex FK space if and only if there exists…
▽ More
We provide necessary and/or sufficient conditions on vector spaces $V$ of real sequences to be a Fréchet space such that each coordinate map is continuous, that is, to be a locally convex FK space.
In particular, we show that if $c_{00}(\mathcal{I})\subseteq V\subseteq \ell_\infty(\mathcal{I})$ for some ideal $\mathcal{I}$ on $ω$, then $V$ is a locally convex FK space if and only if there exists an infinite set $S\subseteq ω$ for which every infinite subset does not belong to $\mathcal{I}$.
△ Less
Submitted 30 May, 2022;
originally announced May 2022.
