Researcher profile

Artur Bartoszewicz

Artur Bartoszewicz contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
4topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2020arXiv

On the $c_0$-equivalence and permutations of series

Assume that a convergent series of real numbers $\sum\limits_{n=1}^\infty a_n$ has the property that there exists a set $A\subseteq \N$ such that the series $\sum\limits_{n \in A} a_n$ is conditionally convergent. We prove that for a given arbitrary sequence $(b_n)$ of real numbers there exists a permutation $σ\colon \N \to \N$ such that $σ(n) = n$ for every $n \notin A$ and $(b_n)$ is $c_0$-equivalent to a subsequence of the sequence of partial sums of the series $\sum\limits_{n=1}^\infty a_{σ(n)}$. Moreover, we discuss a connection between our main result with the classical Riemann series theorem.

preprint2014arXiv

Large free sets in universal algebras

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

preprint2013arXiv

Additivity and lineability in vector spaces

Gámez-Merino, Munoz-Fernández and Seoane-Sepúlveda proved that if additivity $\mathcal A(\mathcal F)>\mathfrak c$, then $\mathcal F$ is $\mathcal A(\mathcal F)$-lineable where $\mathcal F\subseteq\mathbb R^\mathbb R$. They asked if $\mathcal A(\mathcal F)>\mathfrak c$ can be weakened. We answer this question in negative. Moreover, we introduce and study the notions of homogeneous lineability number and lineability number of subsets of linear spaces.

preprint2013arXiv

Nonseparable spaceability and strong algebrability of sets of continuous singular functions

Let CBV denote the Banach algebra of all continuous real-valued functions of bounded variation, defined in [0,1]. We show that the set of strongly singular functions in CBV is nonseparably spaceable. We also prove that certain families of singular functions constitute strongly c-algebrable sets. The argument is based on a new general criterion of strong c-algebrability.

preprint2012arXiv

Large free linear algebras of real and complex functions

Let $X$ be a set of cardinality $κ$ such that $κ^ω=κ$. We prove that the linear algebra $\mathbb{R}^X$ (or $\mathbb{C}^X$) contains a free linear algebra with $2^κ$ generators. Using this, we prove several algebrability results for spaces $\mathbb{C}^\mathbb{C}$ and $\mathbb{R}^\mathbb{R}$. In particular, we show that the set of all perfectly everywhere surjective functions $f:\mathbb{C}\to\mathbb{C}$ is strongly $2^\mathfrak{c}$-algebrable. We also show that the set of all functions $f:\mathbb{R}\to\mathbb{R}$ whose sets of continuity points equals some fixed $G_δ$ set $G$ is strongly $2^\mathfrak{c}$-algebrable if and only if $\mathbb{R}\setminus G$ is $\mathfrak{c}$-dense in itself.

preprint2012arXiv

The continuity properties of compact-preserving functions

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.