Related papers: On Kuratowski partitions

Let f: X -> Y be a separated morphism of schemes of finite type over a finite field of characteristic p, let Lambda be an artinian local Z_p-algebra with finite residue field, let m be the maximal ideal of Lambda, and let L^\bullet be a…

This paper studies various completeness properties of the open-point and bi-point-open topologies on the space C(X) of all real-valued continuous functions on a Tychonoff space X. The properties range from complete metrizability to the…

Let $I\subseteq\mathbb{R}$ be a nonempty open subinterval. We say that a two-variable mean $M:I\times I\to\mathbb{R}$ enjoys the \emph{balancing property} if, for all $x,y\in I$, the equality \begin{equation}\tag{1}…

We derive necessary and sufficient conditions for a continuous bounded function $f: R\to C$ to be a characteristic function of a probability measure. The Cauchy transform $K_f$ of $f$ is used as analytic continuation of $f$ to the upper and…

It is shown that every Leavitt path algebra L of an arbitrary directed graph E over a field K is an arithmetical ring, that is, the two-sided ideals of L form a distributive lattice. It is also shown that L is a multiplication ring, that…

The well-known factorization theorem of Lozanovski{\u \i} may be written in the form $L^{1}\equiv E\odot E^{\prime}$, where $\odot $ means the pointwise product of Banach ideal spaces. A natural generalization of this problem would be the…

We extend Solovay's theorem about definable subsets of the Baire space to the generalized Baire space ${}^\lambda\lambda$, where $\lambda$ is an uncountable cardinal with $\lambda^{<\lambda}=\lambda$. In the first main theorem, we show that…

We say that a metrizable space $M$ is a Krasinkiewicz space if any map from a metrizable compactum $X$ into $M$ can be approximated by Krasinkiewicz maps (a map $g\colon X\to M$ is Krasinkiewicz provided every continuum in $X$ is either…

The concept of the strong Pytkeev property, recently introduced by Tsaban and Zdomskyy in [32], was successfully applied to the study of the space $C_c(X)$ of all continuous real-valued functions with the compact-open topology on some…

For any countable $CW$-complex $K$ and a cardinal number $\tau\geq\omega$ we construct a completely metrizable space $X(K,\tau)$ of weight $\tau$ with the following properties: $\e X(K,\tau)\leq K$, $X(K,\tau)$ is an absolute extensor for…

The KKM theorem, due to Knaster, Kuratowski, and Mazurkiewicz in 1929, is a fundamental result in fixed-point theory, which has seen numerous extensions and applications. In this paper we survey old and recent generalizations of the KKM…

A topological space $X$ is Baire if the Baire Category Theorem holds for $X$, i.e., the intersection of any sequence of open dense subsets of $X$ is dense in $X$. One of the interesting problems for the space $B_1(X)$ of all Baire-one…

We prove the Decomposability Conjecture for functions of Baire class $2$ on a Polish space to a separable metrizable space. This partially answer an important open problem in descriptive set theory.

Let $X,Y$ be two irreducible subvarieties of the projective space $\mathbb{P}^n$, and $d\geq 1$ an integer number. The main result of this paper is an algorithm to construct {\bf explicitly}, in terms of $d$ and the ideals defining $X$ and…

Every computable function has to be continuous. To develop computability theory of discontinuous functions, we study low levels of the arithmetical hierarchy of nonuniformly computable functions on Baire space. First, we classify…

For a set $X\sbst\R$, let $B(X)\sbst\R^X$ denote the space of Borel real-valued functions on $X$, with the topology inherited from the Tychonoff product $\R^X$. Assume that for each countable $A\sbst B(X)$, each $f$ in the closure of $A$ is…

We investigate strongly separately continuous functions on a product of topological spaces and prove that if $X$ is a countable product of real lines, then there exists a strongly separately continuous function $f:X\to\mathbb R$ which is…

Free-minor closed classes [2] and free-planar graphs [3] are considered. Versions of Kuratowski-like theorem for free-planar graphs and Kuratowski theorem for planar graphs are considered.

Motivated by Kuratowski's theorem, a Kuratowski subgraph of a graph is a subgraph that is a subdivided $K_5$ or a subdivided $K_{3,3}$. An edge is crossing-critical if the crossing number decreases after removing the edge. In this note, we…

We prove that for each Polish space X, the space C(X) of continuous real-valued functions on X satisfies a strong version of the Pytkeev property, if endowed with the compact-open topology. (This shows that whereas it need not be…