Given a free ultrafilter p on ℕ we say that x ∈ [0, 1] is the p-limit point of a sequence (x n)n∈ℕ ⊂ [0, 1] (in symbols, x = p -limn∈ℕ x n) if for every neighbourhood V of x, {n ∈ ℕ: x n ∈ V} ∈ p. For a function f: [0, 1] → [0, 1] the function f p: [0, 1] → [0, 1] is defined by f p(x) = p -limn∈ℕ f n(x) for each x ∈ [0, 1]. This map is rarely continuous. In this note we study properties which are equivalent to the continuity of f p. For a filter F we also define the ω F-limit set of f at x. We consider...
We show that the Covering Principle known for continuous maps of the real line also holds for functions whose graph is a connected subset of the plane. As an application we find an example of an approximately continuous (hence Darboux Baire 1) function f: [0,1] → [0,1] such that any closed subset of [0,1] can be translated so as to become an ω-limit set of f. This solves a problem posed by Bruckner, Ceder and Pearson [Real Anal. Exchange 15 (1989/90)].
We show that the Sharkovskiĭ ordering of periods of a continuous real function is also valid for every function with connected graph. In particular, it is valid for every DB₁ function and therefore for every derivative. As a tool we apply an Itinerary Lemma for functions with connected graph.
We prove that if f: → is Darboux and has a point of prime period different from , i = 0,1,..., then the entropy of f is positive. On the other hand, for every set A ⊂ ℕ with 1 ∈ A there is an almost continuous (in the sense of Stallings) function f: → with positive entropy for which the set Per(f) of prime periods of all periodic points is equal to A.
For any Borel ideal ℐ we describe the ℐ-Baire system generated by the family of quasi-continuous real-valued functions. We characterize the Borel ideals ℐ for which the ideal and ordinary Baire systems coincide.
We consider the Katětov order between ideals of subsets of natural numbers ("") and its stronger variant-containing an isomorphic ideal ("⊑ "). In particular, we are interested in ideals for which
for every ideal . We find examples of ideals with this property and show how this property can be used to reformulate some problems known from the literature in terms of the Katětov order instead of the order "⊑ " (and vice versa).
We show that the ideal of nowhere dense subsets of rationals cannot be extended to an analytic P-ideal, ideal nor maximal P-ideal. We also consider a problem of extendability to a non-meager P-ideals (in particular, to maximal P-ideals).
We consider various forms of Ramsey's theorem, the monotone subsequence theorem and the Bolzano-Weierstrass theorem which are connected with ideals of subsets of natural numbers. We characterize ideals with properties considered. We show that, in a sense, Ramsey's theorem, the monotone subsequence theorem and the Bolzano-Weierstrass theorem characterize the same class of ideals. We use our results to show some versions of density Ramsey's theorem (these are similar to generalizations shown in [P....
Download Results (CSV)