Analytic Ideals

1996 ◽  
Vol 2 (3) ◽  
pp. 339-348 ◽  
Author(s):  
Sławomir Solecki
Keyword(s):  
Partial Order ◽  
Polish Space ◽  
Equivalence Relations ◽  
Baire Class ◽  
Maximal Ideals ◽  
Borel Ideal ◽  
Class 1 ◽  
Long Time ◽  
Analytic Ideals ◽  
Substantial Interest

§1. Introduction. Ideals and filters of subsets of natural numbers have been studied by set theorists and topologists for a long time. There is a vast literature concerning various kinds of ultrafilters (or, dually, maximal ideals). There is also a substantial interest in nicely definable (Borel, analytic) ideals—these by old results of Sierpiński are very far from being maximal— and the structure of such ideals will concern us in this announcement. In addition to being interesting in their own right, Borel and analytic ideals occur naturally in the investigations of compact subsets of the space of all Baire class 1 functions on a Polish space (Rosenthal compacta), see [12, 18]. Also, certain objects associated with such ideals are of considerable interest and were quite extensively studied by several authors. Let us list here three examples; in all three of them I stands for an analytic or Borel ideal.1. The partial order induced by I on P(ω): X ≥I Y iff X \ Y ϵ I ([16]) and the partial order (I, ⊂)([18]).2. Boolean algebras of the form P(ω)/I and their automorphisms ([6, 5, 19, 20]).3. The equivalence relation associated with I: XEI Y iff X Δ ϵ I ([4, 14, 15,9]).In Section 4, we will have an opportunity to state some consequences of our results for equivalence relations as in 3.

scholarly journals Transfinite sequences of continuous and Baire class 1 functions

2002 ◽  
Vol 131 (8) ◽  
pp. 2453-2457 ◽  
Author(s):  
Márton Elekes ◽  
Kenneth Kunen
Keyword(s):  
Baire Class ◽  
Class 1

scholarly journals A Classification of Baire Class 1 Functions

1990 ◽  
Vol 318 (1) ◽  
pp. 209 ◽  
Author(s):  
A. S. Kechris ◽  
A. Louveau
Keyword(s):  
Baire Class ◽  
Class 1

On the geometric ergodicity for a generalized IFS with probabilities

2021 ◽  
pp. 2150051
Author(s):  
Grzegorz Guzik ◽  
Rafał Kapica
Keyword(s):  
Polish Space ◽  
Iterated Function Systems ◽  
Wasserstein Distance ◽  
Multiple Delays ◽  
Time Behavior ◽  
Limiting Behavior ◽  
Borel Measures ◽  
Long Time ◽  
Convergence Of Sequences ◽  
Unique Distribution

Main goal of this paper is to formulate possibly simple and easy to verify criteria on existence of the unique attracting probability measure for stochastic process induced by generalized iterated function systems with probabilities (GIFSPs). To do this, we study the long-time behavior of trajectories of Markov-type operators acting on product of spaces of Borel measures on arbitrary Polish space. Precisely, we get the desired geometric rate of convergence of sequences of measures under the action of such operator to the unique distribution in the Hutchinson–Wasserstein distance. We apply the obtained results to study limiting behavior of random trajectories of GIFSPs as well as stochastic difference equations with multiple delays.

Baire class 1

2001 ◽  
pp. 13-20
Author(s):  
Casper Goffman ◽  
Togo Nishiura ◽  
Daniel Waterman
Keyword(s):  
Baire Class ◽  
Class 1

scholarly journals Note on limits of simply continuous and cliquish functions

1994 ◽  
Vol 17 (3) ◽  
pp. 447-450 ◽  
Author(s):  
Janina Ewert
Keyword(s):  
Metric Space ◽  
Continuous Functions ◽  
Baire Space ◽  
Baire Property ◽  
Baire Class ◽  
Class 1 ◽  
Pointwise Limit ◽  
Separable Metric Space

The main result of this paper is that any functionfdefined on a perfect Baire space(X,T)with values in a separable metric spaceYis cliquish (has the Baire property) iff it is a uniform (pointwise) limit of sequence{fn:n≥1}of simply continuous functions. This result is obtained by a change of a topology onXand showing that a functionf:(X,T)→Yis cliquish (has the Baire property) iff it is of the Baire class 1 (class 2) with respect to the new topology.

scholarly journals Infinite-dimensional Ellentuck spaces and Ramsey-classification theorems

2016 ◽  
Vol 16 (01) ◽  
pp. 1650003 ◽  
Author(s):  
Natasha Dobrinen
Keyword(s):  
Partial Order ◽  
Equivalence Relations ◽  
Infinite Dimensions ◽  
Infinite Dimensional ◽  
Finite Dimensional ◽  
Iterative Construction

We extend the hierarchy of finite-dimensional Ellentuck spaces to infinite dimensions. Using uniform barriers [Formula: see text] on [Formula: see text] as the prototype structures, we construct a class of continuum many topological Ramsey spaces [Formula: see text] which are Ellentuck-like in nature, and form a linearly ordered hierarchy under projections. We prove new Ramsey-classification theorems for equivalence relations on fronts, and hence also on barriers, on the spaces [Formula: see text], extending the Pudlák–Rödl theorem for barriers on the Ellentuck space. The inspiration for these spaces comes from continuing the iterative construction of the forcings [Formula: see text] to the countable transfinite. The [Formula: see text]-closed partial order [Formula: see text] is forcing equivalent to [Formula: see text], which forces a non-p-point ultrafilter [Formula: see text]. This work forms the basis for further work classifying the Rudin–Keisler and Tukey structures for the hierarchy of the generic ultrafilters [Formula: see text].

Actions of non-compact and non-locally compact Polish groups

2000 ◽  
Vol 65 (4) ◽  
pp. 1881-1894 ◽  
Author(s):  
Sławomir Solecki
Keyword(s):  
Equivalence Relation ◽  
Polish Space ◽  
Equivalence Relations ◽  
Orbit Equivalence ◽  
Locally Compact ◽  
Continuous Action ◽  
Borel Equivalence Relations ◽  
Polish Groups ◽  
Local Compactness ◽  
Polish Group

AbstractWe show that each non-compact Polish group admits a continuous action on a Polish space with non-smooth orbit equivalence relation. We actually construct a free such action. Thus for a Polish group compactness is equivalent to all continuous free actions of this group being smooth. This answers a question of Kechris. We also establish results relating local compactness of the group with its inability to induce orbit equivalence relations not reducible to countable Borel equivalence relations. Generalizing a result of Hjorth, we prove that each non-locally compact, that is, infinite dimensional, separable Banach space has a continuous action on a Polish space with non-Borel orbit equivalence relation, thus showing that this property characterizes non-local compactness among Banach spaces.

Borel reductions and cub games in generalised descriptive set theory

2013 ◽  
Vol 78 (2) ◽  
pp. 439-458 ◽  
Author(s):  
Vadim Kulikov
Keyword(s):  
Partial Order ◽  
Set Theory ◽  
Regular Cardinal ◽  
Equivalence Relations ◽  
Descriptive Set Theory ◽  
Borel Equivalence Relations ◽  
Power Set ◽  
Borel Reducibility ◽  
Descriptive Set

AbstractIt is shown that the power set of κ ordered by the subset relation modulo various versions of the non-stationary ideal can be embedded into the partial order of Borel equivalence relations on 2κ under Borel reducibility. Here κ is an uncountable regular cardinal with κ<κ = κ.

Separate approximate continuity implies measurability

1973 ◽  
Vol 73 (3) ◽  
pp. 461-465 ◽  
Author(s):  
Roy O. Davies
Keyword(s):  
Continuum Hypothesis ◽  
Measurable Cardinal ◽  
Continuous Functions ◽  
Affirmative Answer ◽  
Baire Class ◽  
Continuous Real Function ◽  
Approximate Continuity ◽  
Class 1 ◽  
Measure Spaces ◽  
First Baire Class

It is known that a real-valued function f of two real variables which is continuous in each variable separately need not be continuous in (x, y), but must be in the first Baire class (1). Moreover if f is continuous in x for each y and merely measurable in y for each x then it must be Lebesgue-measurable (7), and this result can be extended to more general product spaces (2). However, the continuum hypothesis implies that this result fails if continuity is replaced by approximate continuity, as can be seen from the proof of Theorem 2 of (2). This makes Mišik's question (5) very natural: is a function which is separately approximately continuous in both variables necessarily Lebesgue-measurable? Our main aim is to establish an affirmative answer. It will be shown that such a function must in fact be in the second Baire class, although not necessarily in the first Baire class (unlike approximately continuous functions of one variable (3)). Finally, we show that the existence of a measurable cardinal would imply that a separately continuous real function on a product of two topological finite complete measure spaces need not be product-measurable.

Sign in / Sign up

Export Citation Format

Share Document