Showing 1–26 of 26 results for author: Głąb, S

On the complexity of upper frequently hypercyclic vectors

Authors: Szymon Glab, Paolo Leonetti

Abstract: Given a continuous linear operator $T:X\to X$, where $X$ is a topological vector space, let $\mathrm{UFHC}(T)$ be the set of upper frequently hypercyclic vectors, that is, the set of vectors $x \in X$ such that $\{n \in ω: T^nx \in U\}$ has positive upper asymptotic density for all nonempty open sets $U\subseteq X$. It is known that $\mathrm{UFHC}(T)$ is a $G_{δσδ}$-set which is either empty or co… ▽ More Given a continuous linear operator $T:X\to X$, where $X$ is a topological vector space, let $\mathrm{UFHC}(T)$ be the set of upper frequently hypercyclic vectors, that is, the set of vectors $x \in X$ such that $\{n \in ω: T^nx \in U\}$ has positive upper asymptotic density for all nonempty open sets $U\subseteq X$. It is known that $\mathrm{UFHC}(T)$ is a $G_{δσδ}$-set which is either empty or contains a dense $G_δ$-set. Using a purely topological proof, we improve it by showing that $\mathrm{UFHC}(T)$ is always a $G_{δσ}$-set. Bonilla and Grosse-Erdmann asked in [Rev. Mat. Complut. \textbf{31} (2018), 673--711] whether $\mathrm{UFHC}(T)$ is always a $G_δ$-set. We answer such question in the negative, by showing that there exists a continuous linear operator $T$ for which $\mathrm{UFHC}(T)$ is not a $F_{σδ}$-set (hence not $G_δ$). In addition, we study the [non-]equivalence between (the ideal versions of) upper frequently hypercyclicity in the product topology and upper frequently hypercyclicity in the norm topology. △ Less

Submitted 27 June, 2025; originally announced June 2025.

Topological complexity of ideal limit points

Authors: Marek Balcerzak, Szymon Glab, Paolo Leonetti

Abstract: Given an ideal $\mathcal{I}$ on the nonnegative integers $ω$ and a Polish space $X$, let $\mathscr{L}(\mathcal{I})$ be the family of subsets $S\subseteq X$ such that $S$ is the set of $\mathcal{I}$-limit points of some sequence taking values in $X$. First, we show that $\mathscr{L}(\mathcal{I})$ may attain arbitrarily large Borel complexity. Second, we prove that if $\mathcal{I}$ is a $G_{δσ}$-ide… ▽ More Given an ideal $\mathcal{I}$ on the nonnegative integers $ω$ and a Polish space $X$, let $\mathscr{L}(\mathcal{I})$ be the family of subsets $S\subseteq X$ such that $S$ is the set of $\mathcal{I}$-limit points of some sequence taking values in $X$. First, we show that $\mathscr{L}(\mathcal{I})$ may attain arbitrarily large Borel complexity. Second, we prove that if $\mathcal{I}$ is a $G_{δσ}$-ideal then all elements of $\mathscr{L}(\mathcal{I})$ are closed. Third, we show that if $\mathcal{I}$ is a simply coanalytic ideal and $X$ is first countable, then every element of $\mathscr{L}(\mathcal{I})$ is simply analytic. Lastly, we studied certain structural properties and the topological complexity of minimal ideals $\mathcal{I}$ for which $\mathscr{L}(\mathcal{I})$ contains a given set. △ Less

Submitted 16 July, 2024; originally announced July 2024.

Evolutions of finite graphs

Authors: Stefan Geschke, Szymon Głąb, Wiesław Kubiś

Abstract: Every countable graph can be built from finite graphs by a suitable infinite process, either adding new vertices randomly or imposing some rules on the new edges. On the other hand, a profinite topological graph is built as the inverse limit of finite graphs with graph epimorphisms. We propose to look at both constructions simultaneously. We consider countable graphs that can be built from finit… ▽ More Every countable graph can be built from finite graphs by a suitable infinite process, either adding new vertices randomly or imposing some rules on the new edges. On the other hand, a profinite topological graph is built as the inverse limit of finite graphs with graph epimorphisms. We propose to look at both constructions simultaneously. We consider countable graphs that can be built from finite ones by using both embeddings and projections, possibly adding a single vertex at each step. We show that the Rado graph can be built this way, while Henson's universal triangle-free graph cannot. We also study the corresponding profinite graphs. Finally, we present a concrete model of the projectively universal profinite graph, the projective Fraisse limit of finite graphs, showing in particular that it has a dense subset of isolated vertices. △ Less

Submitted 29 September, 2022; originally announced September 2022.

Comments: 35 pages

MSC Class: 05C76; 05C63; 03C50

Set of uniqueness for Cantorvals

Authors: Szymon Glab, Jacek Marchwicki

Abstract: The main result is that the celebrated Guthrie-Nymann's Cantorval has comeager set of uniqueness. On the other hand many other Cantorvals have meager set of uniqueness. The main result is that the celebrated Guthrie-Nymann's Cantorval has comeager set of uniqueness. On the other hand many other Cantorvals have meager set of uniqueness. △ Less

Submitted 23 March, 2022; originally announced March 2022.

Comments: 14 pages

MSC Class: 40A05; 11K31

On $n$-saturated closed graphs

Authors: Szymon Głab, Przemysław Gordinowicz

Abstract: Geschke proved that there is clopen graph on $2^ω$ which is 3-saturated, but the clopen graphs on $2^ω$ do not even have infinite subgraphs that are 4-saturated; however there is $F_σ$ graph that is $ω_1$-saturated. It turns out that there is no closed graph on $2^ω$ which is $ω$-saturated. In this note we complete this picture by proving that for every $n$ there is an $n$-saturated closed graph o… ▽ More Geschke proved that there is clopen graph on $2^ω$ which is 3-saturated, but the clopen graphs on $2^ω$ do not even have infinite subgraphs that are 4-saturated; however there is $F_σ$ graph that is $ω_1$-saturated. It turns out that there is no closed graph on $2^ω$ which is $ω$-saturated. In this note we complete this picture by proving that for every $n$ there is an $n$-saturated closed graph on the Cantor space $2^ω$. The key lemma is based on probabilistic argument. The final construction is an inverse limit of finite graphs. △ Less

Submitted 26 January, 2022; originally announced January 2022.

Comments: 5 pages

MSC Class: 05C63; 05C60

Another characterization of meager ideals

Authors: Marek Balcerzak, Szymon Glab, Paolo Leonetti

Abstract: We show that an ideal $\mathcal{I}$ on the positive integers is meager if and only if there exists a bounded nonconvergent real sequence $x$ such that the set of subsequences [resp. permutations] of $x$ which preserve the set of $\mathcal{I}$-limit points is comeager and, in addition, every accumulation point of $x$ is also an $\mathcal{I}$-limit point (that is, a limit of a subsequence… ▽ More We show that an ideal $\mathcal{I}$ on the positive integers is meager if and only if there exists a bounded nonconvergent real sequence $x$ such that the set of subsequences [resp. permutations] of $x$ which preserve the set of $\mathcal{I}$-limit points is comeager and, in addition, every accumulation point of $x$ is also an $\mathcal{I}$-limit point (that is, a limit of a subsequence $(x_{n_k})$ such that $\{n_1,n_2,\ldots,\} \notin \mathcal{I}$). The analogous characterization holds also for $\mathcal{I}$-cluster points. △ Less

Submitted 11 September, 2021; originally announced September 2021.

Comments: 10pp

On the structure of Borel ideals in-between the ideals $\mathcal{ED}$ and $\mathrm{Fin}\otimes\mathrm{Fin}$ in the Katětov order

Authors: Pratulananda Das, Rafał Filipów, Szymon Głąb, Jacek Tryba

Abstract: For a family $\mathcal{F}\subseteq ω^ω$ we define the ideal $\mathcal{I}(\mathcal{F})$ on $ω\timesω$ to be the ideal generated by the family $\{A\subseteq ω\timesω:\exists f\in \mathcal{F}\,\forall^\infty n\, (|\{k:(n,k)\in A\}|\leq f(n))\}.$ Using ideals of the form $\mathcal{I}(\mathcal{F})$, we show that the structure of Borel ideals in-between two well known Borel ideals… ▽ More For a family $\mathcal{F}\subseteq ω^ω$ we define the ideal $\mathcal{I}(\mathcal{F})$ on $ω\timesω$ to be the ideal generated by the family $\{A\subseteq ω\timesω:\exists f\in \mathcal{F}\,\forall^\infty n\, (|\{k:(n,k)\in A\}|\leq f(n))\}.$ Using ideals of the form $\mathcal{I}(\mathcal{F})$, we show that the structure of Borel ideals in-between two well known Borel ideals $\mathcal{ED} = \{A\subseteqω\timesω:\exists m \, \forall^\infty n\, (|\{k:(n,k)\in A\}|<m))\}$ and $\mathrm{Fin}\otimes\mathrm{Fin} = \{A\subseteqω\timesω:\forall^\infty n \, (|\{k:(n,k)\in A\}|<\aleph_0))\}$ in the Katětov order is fairly complicated. Namely, there is a copy of $\mathcal{P}(ω)/\mathrm{Fin}$ in-between $\mathcal{ED}$ and $\mathrm{Fin}\otimes\mathrm{Fin}$, and consequently there are increasing and decreasing chains of length $\mathfrak{b}$ and antichains of size $\mathfrak{c}$. △ Less

Submitted 18 August, 2023; v1 submitted 7 November, 2020; originally announced November 2020.

Comments: Added: journal reference and table of contents. Corrected: list of references and some metadata

MSC Class: 03E05 (Primary) 03E17; 03E15; 28A05; 40A35 (Secondary)

Journal ref: Ann. Pure Appl. Logic 172 (2021), no. 8, 102976

Cardinal functions of purely atomic measures

Authors: Szymon Głab, Jacek Marchwicki

Abstract: Let $μ$ be a purely atomic measure. By $f_μ:[0,\infty)\to\{0,1,2,\dots,ω,\mathfrak{c}\}$ we denote its cardinal function $f_μ(t)=\vert\{A\subset\mathbb N:μ(A)=t\}\vert$. We study the problem for which sets $R\subset\{0,1,2,\dots,ω,\mathfrak{c}\}$ there is a measure $μ$ such that $R$ is the range of $f_μ$. We are also interested in the set-theoretic and topological properties of the set of $μ$-valu… ▽ More Let $μ$ be a purely atomic measure. By $f_μ:[0,\infty)\to\{0,1,2,\dots,ω,\mathfrak{c}\}$ we denote its cardinal function $f_μ(t)=\vert\{A\subset\mathbb N:μ(A)=t\}\vert$. We study the problem for which sets $R\subset\{0,1,2,\dots,ω,\mathfrak{c}\}$ there is a measure $μ$ such that $R$ is the range of $f_μ$. We are also interested in the set-theoretic and topological properties of the set of $μ$-values which are obtained uniquely. △ Less

Submitted 4 November, 2019; originally announced November 2019.

MSC Class: 40A05; 11K31

A lower density operator for the Borel algebra

Authors: Marek Balcerzak, Szymon Głab

Abstract: We prove that the existence of a Borel lower density operator (a Borel lifting) with respect to the $σ$-ideal of countable sets, for an uncountable Polish space, is equivalent to the Continuum Hypothesis. We prove that the existence of a Borel lower density operator (a Borel lifting) with respect to the $σ$-ideal of countable sets, for an uncountable Polish space, is equivalent to the Continuum Hypothesis. △ Less

Submitted 26 February, 2019; originally announced March 2019.

MSC Class: Primary: 28A51; Secondary: 03E50; 03E35

Haar-$\mathcal I$ sets: looking at small sets in Polish groups through compact glasses

Authors: Taras Banakh, Szymon Głąb, Eliza Jabłońska, Jarosław Swaczyna

Abstract: Generalizing Christensen's notion of a Haar-null set and Darji's notion of a Haar-meager set, we introduce and study the notion of a Haar-$\mathcal I$ set in a Polish group. Here $\mathcal I$ is an ideal of subsets of some compact metrizable space $K$. A Borel subset $B\subset X$ of a Polish group $X$ is called Haar-$\mathcal I$ if there exists a continuous map $f:K\to X$ such that… ▽ More Generalizing Christensen's notion of a Haar-null set and Darji's notion of a Haar-meager set, we introduce and study the notion of a Haar-$\mathcal I$ set in a Polish group. Here $\mathcal I$ is an ideal of subsets of some compact metrizable space $K$. A Borel subset $B\subset X$ of a Polish group $X$ is called Haar-$\mathcal I$ if there exists a continuous map $f:K\to X$ such that $f^{-1}(B+x)\in\mathcal I$ for all $x\in X$. Moreover, $B$ is generically Haar-$\mathcal I$ if the set of witness functions $\{f\in C(K,X):\forall x\in X\;\;f^{-1}(B+x)\in\mathcal I\}$ is comeager in the function space $C(K,X)$. We study (generically) Haar-$\mathcal I$ sets in Polish groups for many concrete and abstract ideals $\mathcal I$, and construct the corresponding distinguishing examples. We prove some results on Borel hull of Haar-$\mathcal I$ sets, generalizing results of Solecki, Elekes, Vidnyánszky, Doležal, Vlasǎk on Borel hulls of Haar-null and Haar-meager sets. Also we establish various Steinhaus properties of the families of (generically) Haar-$\mathcal I$ sets in Polish groups for various ideals $\mathcal I$. △ Less

Submitted 26 August, 2019; v1 submitted 18 March, 2018; originally announced March 2018.

Comments: 71 pages

MSC Class: 54H05; 54H11; 03E15; 22A15; 28C10

Journal ref: Dissert.Math. 564 (2021), 1-105

Dense free subgroups of automorphism groups of homogeneous partially ordered sets

Authors: Szymon Głąb, Przemysław Gordinowicz, Filip Strobin

Abstract: A countable poset is ultrahomogeneous if every isomorphism between its finite subposets can be extended to an automorphism. The groups $\operatorname{Aut}(A)$ of such posets $A$ have a natural topology in which $\operatorname{Aut}(A)$ are Polish topological groups. We consider the problem whether $\operatorname{Aut}(A)$ contains a dense free subgroup of two generators. We show that if $A$ is ultra… ▽ More A countable poset is ultrahomogeneous if every isomorphism between its finite subposets can be extended to an automorphism. The groups $\operatorname{Aut}(A)$ of such posets $A$ have a natural topology in which $\operatorname{Aut}(A)$ are Polish topological groups. We consider the problem whether $\operatorname{Aut}(A)$ contains a dense free subgroup of two generators. We show that if $A$ is ultrahomogeneous, then $\operatorname{Aut}(A)$ contains such subgroup. Moreover, we characterize whose countable ultrahomogeneous posets $A$ such that for each natural $m$, the set of all cyclically dense elements $\bar{g}\in\operatorname{Aut}(A)^m$ for the diagonal action is comeager in $\operatorname{Aut}(A)^m$. In our considerations we strongly use the result of Schmerl which says that there are essentially four types of countably infinite ultrahomogeneous posets. △ Less

Submitted 2 August, 2017; originally announced August 2017.

MSC Class: 20B27; 06A07; 06A06

Journal ref: Forum Mathematicum, 31 (2019), 215-240

Levy-Steinitz theorem and achievement sets of conditionally convergent series on the real plane

Authors: Szymon Glab, Jacek Marchwicki

Abstract: Levy-Steinitz theorem characterize sum range of conditionally convergent series, that is a set of all its convergent rearrangements; in finitely dimensional spaces -- it is an affine subspace. An achievement of a series is a set of all its subsums. We study the properties of achievement sets of series whose sum range is the whole plane. It turns out that it varies on the number of Levy vectors of… ▽ More Levy-Steinitz theorem characterize sum range of conditionally convergent series, that is a set of all its convergent rearrangements; in finitely dimensional spaces -- it is an affine subspace. An achievement of a series is a set of all its subsums. We study the properties of achievement sets of series whose sum range is the whole plane. It turns out that it varies on the number of Levy vectors of a series. △ Less

Submitted 18 May, 2017; originally announced May 2017.

MSC Class: 40A05

Achievement sets of conditionally convergent series

Authors: Artur Bartoszewicz, Szymon Głab, Jacek Marchwicki

Abstract: Considering the sets of subsums of series (or achievement sets) we show that for conditionally convergent series the multidimensional case is much more complicated than that of the real line. Although we are far from the full topological classification of such sets, we present many surprising examples and catch the ideas standing behind them in general theorems. Considering the sets of subsums of series (or achievement sets) we show that for conditionally convergent series the multidimensional case is much more complicated than that of the real line. Although we are far from the full topological classification of such sets, we present many surprising examples and catch the ideas standing behind them in general theorems. △ Less

Submitted 26 April, 2016; originally announced April 2016.

On the set of limit points of conditionally convergent series

Authors: Szymon Głab, Jacek Marchwicki

Abstract: Let $\sum_{n=1}^\infty x_n$ be a conditionally convergent series in a Banach space and let $τ$ be a permutation of natural numbers. We study the set $\operatorname{LIM}(\sum_{n=1}^\infty x_{τ(n)})$ of all limit points of a sequence $(\sum_{n=1}^p x_{τ(n)})_{p=1}^\infty$ of partial sums of a rearranged series $\sum_{n=1}^\infty x_{τ(n)}$. We give full characterization of limit sets in finite dimens… ▽ More Let $\sum_{n=1}^\infty x_n$ be a conditionally convergent series in a Banach space and let $τ$ be a permutation of natural numbers. We study the set $\operatorname{LIM}(\sum_{n=1}^\infty x_{τ(n)})$ of all limit points of a sequence $(\sum_{n=1}^p x_{τ(n)})_{p=1}^\infty$ of partial sums of a rearranged series $\sum_{n=1}^\infty x_{τ(n)}$. We give full characterization of limit sets in finite dimensional spaces. Namely, a limit set in $\mathbb{R}^m$ is either compact and connected or it is closed and all its connected components are unbounded. On the other hand each set of one of these types is a limit set of some rearranged conditionally convergent series. Moreover, this characterization does not hold in infinite dimensional spaces. We show that if $\sum_{n=1}^\infty x_n$ has the Rearrangement Property and $A$ is a closed subset of the closure of the $\sum_{n=1}^\infty x_n$ sum range and it is $\varepsilon$-chainable for every $\varepsilon>0$, then there is a permutation $τ$ such that $A=\operatorname{LIM}(\sum_{n=1}^\infty x_{τ(n)})$. As a byproduct of this observation we obtain that series having the Rearrangement Property have closed sum ranges. △ Less

Submitted 21 April, 2016; originally announced April 2016.

MSC Class: 40A05; 46B15; 46B20

Exploring properties of the integrating pixels

Authors: Piotr Julian Kapusta, Yasuo Arai, Szymon Bugiel, Roma Dasgupta, Sebastian Glab, Marek Idzik, Wojciech Kucewicz, Toshinobu Miyoshi, Michal Turala

Abstract: This paper presents some observations and ideas collected during the tests of the SOI sensors, based on the integration type pixels. First, it contains a rough analysis of the Correlated Double Sampling filtering properties with respect to different noise sources and long sampling intervals, which are typical for the pixels under consideration. Second, results of the pixel leakage current measurem… ▽ More This paper presents some observations and ideas collected during the tests of the SOI sensors, based on the integration type pixels. First, it contains a rough analysis of the Correlated Double Sampling filtering properties with respect to different noise sources and long sampling intervals, which are typical for the pixels under consideration. Second, results of the pixel leakage current measurements in the pix_2012 and DIPIX pixel detector chips are presented. △ Less

Submitted 3 July, 2015; originally announced July 2015.

Development of SOI pixel detector in Cracow

Authors: Szymon Bugiel, Roma Dasgupta, Sebastian Glab, Marek Idzik, Jakub Moron, Piotr Julian Kapusta, Wojciech Kucewicz, Michal Turala

Abstract: This paper presents the design of a new monolithic Silicon-On-Insulator pixel sensor in $200~nm$ SOI CMOS technology. The main application of the proposed pixel detector is the spectroscopy, but it can also be used for the minimum ionizing particle (MIP) tracking in particle physics experiments. For this reason few different versions of pixel cells are developed: a source-follower based pixel for… ▽ More This paper presents the design of a new monolithic Silicon-On-Insulator pixel sensor in $200~nm$ SOI CMOS technology. The main application of the proposed pixel detector is the spectroscopy, but it can also be used for the minimum ionizing particle (MIP) tracking in particle physics experiments. For this reason few different versions of pixel cells are developed: a source-follower based pixel for tracking, a low noise pixel with preamplifier for spectroscopy, and a self-triggering pixel for time and amplitude measurements. In addition the design of a Successive Approximation Register Analog-to-Digital Converter (SAR ADC) is also presented. A 10-bit SAR ADC is developed for spectroscopic measurements and a lower resolution 6-bit SAR ADC is integrated in the pixel matrix as a column ADC, for tracking applications. △ Less

Submitted 3 July, 2015; originally announced July 2015.

Strong c-algebrability of strong Sierpiński-Zygmund, smooth nowhere analytic and other sets of functions

Authors: Artur Bartoszewicz, Marek Bienias, Malgorzata Filipczak, Szymon Glab

Abstract: We present a useful technique of proving strong $\mathfrak{c}$-algebrability. As an outcome we obtain the strong $\mathfrak{c}$-algebrability of the following sets of functions: strong Sierpiński-Zygmund, nowhere Hölder, Bruckner-Garg, nowhere monotone differentiable, a certain Baire class, smooth and nowhere analytic functions. We present a useful technique of proving strong $\mathfrak{c}$-algebrability. As an outcome we obtain the strong $\mathfrak{c}$-algebrability of the following sets of functions: strong Sierpiński-Zygmund, nowhere Hölder, Bruckner-Garg, nowhere monotone differentiable, a certain Baire class, smooth and nowhere analytic functions. △ Less

Submitted 28 October, 2013; v1 submitted 1 July, 2013; originally announced July 2013.

Comments: 15 pages

MSC Class: 15A03; 46J10; 26A15

Large free sets in universal algebras

Authors: Taras Banakh, Artur Bartoszewicz, Szymon Głab

Abstract: We prove that for each universal algebra $(A,\mathcal A)$ of cardinality $|A|\ge 2$ and an infinite set $X$ of cardinality $|X|\ge|\mathcal A|$, the $X$-th power $(A^X,\mathcal A^X)$ of the algebra $(A,\mathcal A)$ contains a free subset $\mathcal F\subset A^X$ of cardinality $|\mathcal F|=2^{|X|}$. This generalizes the classical Fichtenholtz-Kantorovitch-Hausdorff result on the existence of an in… ▽ More We prove that for each universal algebra $(A,\mathcal A)$ of cardinality $|A|\ge 2$ and an infinite set $X$ of cardinality $|X|\ge|\mathcal A|$, the $X$-th power $(A^X,\mathcal A^X)$ of the algebra $(A,\mathcal A)$ contains a free subset $\mathcal F\subset A^X$ of cardinality $|\mathcal F|=2^{|X|}$. This generalizes the classical Fichtenholtz-Kantorovitch-Hausdorff result on the existence of an independent family $\mathcal I\subset\mathcal P(X)$ of cardinality $|\mathcal I|=|\mathcal P(X)|$ in the Boolean algebra $\mathcal P(X)$ of subsets of an infinite set $X$. △ Less

Submitted 3 December, 2014; v1 submitted 28 September, 2012; originally announced September 2012.

Comments: 4 pages

MSC Class: 05B35; 08A99; 17A50

Journal ref: Algebra Universalis, 71 (2014) 23-29

Algebraic and topological properties of some sets in $l_1$

Authors: T. Banakh, A. Bartoszewicz, Sz. Glab, E. Szymonik

Abstract: For a sequence $x \in l_1 \setminus c_{00}$, one can consider the set $E(x)$ of all subsums of series $\sum_{n=1}^{\infty} x(n)$. Guthrie and Nymann proved that $E(x)$ is one of the following types of sets: (I) a finite union of closed intervals; (C) homeomorphic to the Cantor set; (MC) homeomorphic to the set $T$ of subsums of $\sum_{n=1}^\infty b(n)$ where $b(2n-1) = 3/4^n$ and… ▽ More For a sequence $x \in l_1 \setminus c_{00}$, one can consider the set $E(x)$ of all subsums of series $\sum_{n=1}^{\infty} x(n)$. Guthrie and Nymann proved that $E(x)$ is one of the following types of sets: (I) a finite union of closed intervals; (C) homeomorphic to the Cantor set; (MC) homeomorphic to the set $T$ of subsums of $\sum_{n=1}^\infty b(n)$ where $b(2n-1) = 3/4^n$ and $b(2n) = 2/4^n$. By $I$, $C$ and $MC$ we denote the sets of all sequences $x \in l_1 \setminus c_{00}$, such that $E(x)$ has the corresponding property. In this note we show that $I$ and $C$ are strongly $\mathfrak{c}$-algebrable and $MC$ is $\mathfrak{c}$-lineable. We show that $C$ is a dense $G_δ$-set in $l_1$ and $I$ is a true $F_σ$-set. Finally we show that $I$ is spaceable while $C$ is not spaceable. △ Less

Submitted 15 August, 2012; originally announced August 2012.

Comments: 15 pages

MSC Class: 40A05; 15A03

Journal ref: Colloq. Math. 129:1 (2012) 75-85

The continuity properties of compact-preserving functions

Authors: Taras Banakh, Artur Bartoszewicz, Marek Bienias, Szymon Glab

Abstract: A function $f:X\to Y$ between topological spaces is called {\em compact-preserving} if the image $f(K)$ of each compact subset $K\subset X$ is compact. We prove that a function $f:X\to Y$ defined on a strong Frechet space $X$ is compact-preserving if and only if for each point $x\in X$ there is a compact subset $K_x\subset Y$ such that for each neighborhood $O_{f(x)}\subset Y$ of $f(x)$ there is a… ▽ More A function $f:X\to Y$ between topological spaces is called {\em compact-preserving} if the image $f(K)$ of each compact subset $K\subset X$ is compact. We prove that a function $f:X\to Y$ defined on a strong Frechet space $X$ is compact-preserving if and only if for each point $x\in X$ there is a compact subset $K_x\subset Y$ such that for each neighborhood $O_{f(x)}\subset Y$ of $f(x)$ there is a neighborhood $O_x\subset X$ of $x$ such that $f(O_x)\subset O_{f(x)}\cup K_x$ and the set $K_x\setminus O_{f(x)}$ is finite. This characterization is applied to give an alternative proof of a classical characterization of continuous functions on locally connected metrizable spaces as functions that preserve compact and connected sets. Also we show that for each compact-preserving function $f:X\to Y$ defined on a (strong) Fréchet space $X$, the restriction $f|LI'_f$ (resp. $f|LI_f)$ is continuous. Here $LI_f$ is the set of points $x\in X$ of local infinity of $f$ and $LI'_f$ is the set of non-isolated points of the set $LI_f$. Suitable examples show that the obtained results cannot be improved. △ Less

Submitted 11 August, 2012; originally announced August 2012.

Comments: 6 pages

MSC Class: 54C05; 54D30

Journal ref: Topology Appl. 160 (2013) 937-942

Large structures made of nowhere $L^p$ functions

Authors: Szymon Glab, Pedro L. Kaufmann, Leonardo Pellegrini

Abstract: We say that a real-valued function $f$ defined on a positive Borel measure space $(X,μ)$ is nowhere $q$-integrable if, for each nonvoid open subset $U$ of $X$, the restriction $f|_U$ is not in $L^q(U)$. When $(X,μ)$ satisfies some natural properties, we show that certain sets of functions defined in $X$ which are $p$-integrable for some $p$'s but nowhere $q$-integrable for some other $q$'s (… ▽ More We say that a real-valued function $f$ defined on a positive Borel measure space $(X,μ)$ is nowhere $q$-integrable if, for each nonvoid open subset $U$ of $X$, the restriction $f|_U$ is not in $L^q(U)$. When $(X,μ)$ satisfies some natural properties, we show that certain sets of functions defined in $X$ which are $p$-integrable for some $p$'s but nowhere $q$-integrable for some other $q$'s ($0<p,q<\infty$) admit a variety of large linear and algebraic structures within them. The presented results answer a question from Bernal-González, improve and complement recent spaceability and algebrability results from several authors and motivates new research directions in the field of spaceability. △ Less

Submitted 30 October, 2012; v1 submitted 16 July, 2012; originally announced July 2012.

MSC Class: [2010] 46G12; 15A03

Spaceability and algebrability of sets of nowhere integrable functions

Authors: Szymon Glab, Pedro L. Kaufmann, Leonardo Pellegrini

Abstract: We show that the set of Lebesgue integrable functions in $[0,1]$ which are nowhere essentially bounded is spaceable, improving a result from [F. J. García-Pacheco, M. Martín, and J. B. Seoane-Sepúlveda. \textit{Lineability, spaceability, and algebrability of certain subsets of function spaces,} Taiwanese J. Math., \textbf{13} (2009), no. 4, 1257--1269], and that it is strongly $\mathfrak{c}$-algeb… ▽ More We show that the set of Lebesgue integrable functions in $[0,1]$ which are nowhere essentially bounded is spaceable, improving a result from [F. J. García-Pacheco, M. Martín, and J. B. Seoane-Sepúlveda. \textit{Lineability, spaceability, and algebrability of certain subsets of function spaces,} Taiwanese J. Math., \textbf{13} (2009), no. 4, 1257--1269], and that it is strongly $\mathfrak{c}$-algebrable. We prove strong $\mathfrak{c}$-algebrability and non-separable spaceability of the set of functions of bounded variation which have a dense set of jump discontinuities. Applications to sets of Lebesgue-nowhere-Riemann integrable and Riemann-nowhere-Newton integrable functions are presented as corollaries. In addition we prove that the set of Kurzweil integrable functions which are not Lebesgue integrable is spaceable (in the Alexievicz norm) but not 1-algebrable. We also show that there exists an infinite dimensional vector space $S$ of differentiable functions such that each element of the $C([0,1])$-closure of $S$ is a primitive to a Kurzweil integrable function, in connection to a classic spaceability result from [V. I. Gurariy, \textit{Subspaces and bases in spaces of continuous functions (Russian),} Dokl. Akad. Nauk SSSR, \textbf{167} (1966), 971-973]. △ Less

Submitted 28 April, 2012; originally announced April 2012.

Comments: Accepted for publication in 2011

Positive solutions for anisotropic discrete BVP

Authors: Marek Galewski, Szymon Glab, Renata Wieteska

Abstract: Using mountain pass arguments and the Karsuh-Kuhn-Tucker Theorem, we prove the existence of at least two positive solution of the anisotropic discrete Dirichlet boundary value problem. Our results generalize and improve those of [15]. Using mountain pass arguments and the Karsuh-Kuhn-Tucker Theorem, we prove the existence of at least two positive solution of the anisotropic discrete Dirichlet boundary value problem. Our results generalize and improve those of [15]. △ Less

Submitted 6 December, 2012; v1 submitted 20 March, 2012; originally announced March 2012.

Comments: preprint submitted for publication

MSC Class: 39A10; 34B18; 58E30

Algebrability, non-linear properties, and special functions

Authors: Artur Bartoszewicz, Szymon Glab, Daniel Pellegrino, Juan B. Seoane-Sepúlveda

Abstract: We construct uncountably generated algebras inside the following sets of special functions: Sierpiński-Zygmund functions, perfectly everywhere surjective functions and nowhere continuous Darboux functions. All conclusions obtained in this paper are improvements of some already known results. We construct uncountably generated algebras inside the following sets of special functions: Sierpiński-Zygmund functions, perfectly everywhere surjective functions and nowhere continuous Darboux functions. All conclusions obtained in this paper are improvements of some already known results. △ Less

Submitted 16 September, 2011; originally announced September 2011.

Journal ref: Proceedings of the American Mathematical Society, v. 141, p. 3391-3402, 2013

On the discrete boundary value problem for anisotropic equation

Authors: Marek Galewski, Szymon Głąb

Abstract: Using critical point theory methods we undertake the existence and multiplicity of solutions for discrete anisotropic two-point boundary value problems. Using critical point theory methods we undertake the existence and multiplicity of solutions for discrete anisotropic two-point boundary value problems. △ Less

Submitted 19 May, 2011; originally announced May 2011.

Comments: preprint submitted to Elsevier

Journal ref: Marek Galewski, Szymon Gł{\ka}b, On the discrete boundary value problem for anisotropic equation, J.Math.Anal.Appl., 386 (2012), 956-965

Continuous dependence on parameters for second order discrete BVP's

Authors: Marek Galewski, Szymon Głab

Abstract: Using min-max inequality we investigate the existence of solutions and thier dependence on parameters for some second order discrete boundary value problem. The approach is based on variational methods and solutions are obtained as saddle points to the Euler action functional. Using min-max inequality we investigate the existence of solutions and thier dependence on parameters for some second order discrete boundary value problem. The approach is based on variational methods and solutions are obtained as saddle points to the Euler action functional. △ Less

Submitted 18 March, 2011; originally announced March 2011.

Comments: This preprint has been submitted for publication

Journal ref: Marek Galewski, Szymon Glab, Continuous dependence on parameters for second order discrete BVP's, Cent. Eur. J. Math., (2012), 1076 -1083